{
  "all_checks_passed": true,
  "backup_target_rows_before_temp_cleanup": 1,
  "checks": [
    {
      "name": "oracle_detects_false_completion",
      "passed": true
    },
    {
      "name": "buggy_primary_deleted_secondary_remains",
      "passed": true
    },
    {
      "name": "failure_is_named_and_unresolved",
      "passed": true
    },
    {
      "name": "retry_deletes_both",
      "passed": true
    },
    {
      "name": "retry_preserves_other_subject",
      "passed": true
    },
    {
      "name": "repeat_is_idempotent",
      "passed": true
    },
    {
      "name": "restore_reopens_request",
      "passed": true
    },
    {
      "name": "restored_live_row_deleted",
      "passed": true
    },
    {
      "name": "backup_is_explicitly_outside_completion_scope",
      "passed": true
    }
  ],
  "checks_passed": 9,
  "checks_total": 9,
  "generated_at_utc": "2026-10-03T09:29:47.167300+00:00",
  "policy": "TEACHING-ERASURE-1",
  "policy_revision": 1,
  "runtime": {
    "python": "3.14.7",
    "sqlite": "3.53.4"
  },
  "scenarios": [
    {
      "false_completion_detected": true,
      "id": "buggy_partial_failure",
      "observed": {
        "analytics": {
          "control_rows": 1,
          "target_rows": 1
        },
        "profiles": {
          "control_rows": 1,
          "target_rows": 0
        }
      },
      "reported_state": "complete"
    },
    {
      "attempts": 1,
      "destinations": {
        "analytics": "unavailable",
        "profiles": "absent"
      },
      "id": "fixed_partial_failure",
      "observed": {
        "analytics": {
          "control_rows": 1,
          "target_rows": 1
        },
        "profiles": {
          "control_rows": 1,
          "target_rows": 0
        }
      },
      "state": "unresolved"
    },
    {
      "attempts": 2,
      "destinations": {
        "analytics": "absent",
        "profiles": "absent"
      },
      "id": "retry_after_recovery",
      "observed": {
        "analytics": {
          "control_rows": 1,
          "target_rows": 0
        },
        "profiles": {
          "control_rows": 1,
          "target_rows": 0
        }
      },
      "state": "complete"
    },
    {
      "attempts": 3,
      "destinations": {
        "analytics": "absent",
        "profiles": "absent"
      },
      "id": "repeat_completed_request",
      "observed": {
        "analytics": {
          "control_rows": 1,
          "target_rows": 0
        },
        "profiles": {
          "control_rows": 1,
          "target_rows": 0
        }
      },
      "state": "complete"
    },
    {
      "attempts": 3,
      "destinations": {
        "analytics": "present",
        "profiles": "absent"
      },
      "id": "reconcile_after_restore",
      "observed": {
        "analytics": {
          "control_rows": 1,
          "target_rows": 1
        },
        "profiles": {
          "control_rows": 1,
          "target_rows": 0
        }
      },
      "state": "unresolved"
    },
    {
      "attempts": 4,
      "destinations": {
        "analytics": "absent",
        "profiles": "absent"
      },
      "id": "delete_restored_row",
      "observed": {
        "analytics": {
          "control_rows": 1,
          "target_rows": 0
        },
        "profiles": {
          "control_rows": 1,
          "target_rows": 0
        }
      },
      "state": "complete"
    }
  ],
  "schema": "proof.teaching.privacy-obligation.v1",
  "scope": "Synthetic rows in two local SQLite live stores; no production or legal assessment",
  "source_sha256": {
    "deletion.py": "bdacf37a2c63971ced0a972e9a3022cf71d30eb12a7af9dae840dd8dce06cc9d",
    "policy.json": "2e69f8f7399f4e0a8bf62e2e769d359ce06b17098a2cc5f58f972ac5a723a296",
    "run.py": "cb8e3b916e52a8cc48f697a07bf7536289bf843d7d9c8a8907c810f7292b2a2b"
  }
}