{
  "schema": "LOC-018_SYNTHETIC_CASES_v1",
  "policy_note": "Synthetic offline evidence only; no production node or destructive operation is used.",
  "cases": [
    {
      "id": "baseline",
      "backup_id": "B1",
      "source_generation": "g44",
      "source_digest": "src44",
      "backup_digest": "b44",
      "restored_digest": "b44",
      "isolation_confirmed": true,
      "integrity_check_result": "ok",
      "foreign_key_check_result": "ok",
      "application_smoke_result": "PASS",
      "expected_invariant": "schema=v3,count>=3",
      "watchdog_owner": "systemd",
      "independent_supervisor": true,
      "watchdog_deadline_sec": 20,
      "heartbeat_age_sec": 5,
      "restart_count": 0,
      "restart_budget": 3,
      "post_restart_readiness": true,
      "platform": "linux"
    },
    {
      "id": "corrupt_restore_page",
      "backup_id": "B2",
      "source_generation": "g45",
      "source_digest": "src45",
      "backup_digest": "b45",
      "restored_digest": "corrupt45",
      "isolation_confirmed": true,
      "integrity_check_result": "corrupt page",
      "foreign_key_check_result": "ok",
      "application_smoke_result": "FAIL",
      "expected_invariant": "schema=v3",
      "watchdog_owner": "systemd",
      "independent_supervisor": true,
      "watchdog_deadline_sec": 20,
      "heartbeat_age_sec": 4,
      "restart_count": 0,
      "restart_budget": 3,
      "post_restart_readiness": true,
      "platform": "linux"
    },
    {
      "id": "app_invariant_fail",
      "backup_id": "B3",
      "source_generation": "g46",
      "source_digest": "src46",
      "backup_digest": "b46",
      "restored_digest": "b46",
      "isolation_confirmed": true,
      "integrity_check_result": "ok",
      "foreign_key_check_result": "ok",
      "application_smoke_result": "FAIL",
      "expected_invariant": "tenant_count=12",
      "watchdog_owner": "systemd",
      "independent_supervisor": true,
      "watchdog_deadline_sec": 20,
      "heartbeat_age_sec": 4,
      "restart_count": 0,
      "restart_budget": 3,
      "post_restart_readiness": true,
      "platform": "linux"
    },
    {
      "id": "missed_heartbeat_recovered",
      "backup_id": "B4",
      "source_generation": "g47",
      "source_digest": "src47",
      "backup_digest": "b47",
      "restored_digest": "b47",
      "isolation_confirmed": true,
      "integrity_check_result": "ok",
      "foreign_key_check_result": "ok",
      "application_smoke_result": "PASS",
      "expected_invariant": "schema=v3",
      "watchdog_owner": "systemd",
      "independent_supervisor": true,
      "watchdog_deadline_sec": 20,
      "heartbeat_age_sec": 45,
      "restart_count": 1,
      "restart_budget": 3,
      "post_restart_readiness": true,
      "platform": "linux"
    },
    {
      "id": "watchdog_exhausted",
      "backup_id": "B5",
      "source_generation": "g48",
      "source_digest": "src48",
      "backup_digest": "b48",
      "restored_digest": "b48",
      "isolation_confirmed": true,
      "integrity_check_result": "ok",
      "foreign_key_check_result": "ok",
      "application_smoke_result": "PASS",
      "expected_invariant": "schema=v3",
      "watchdog_owner": "systemd",
      "independent_supervisor": true,
      "watchdog_deadline_sec": 20,
      "heartbeat_age_sec": 60,
      "restart_count": 3,
      "restart_budget": 3,
      "post_restart_readiness": false,
      "platform": "linux"
    },
    {
      "id": "self_supervision",
      "backup_id": "B6",
      "source_generation": "g49",
      "source_digest": "src49",
      "backup_digest": "b49",
      "restored_digest": "b49",
      "isolation_confirmed": true,
      "integrity_check_result": "ok",
      "foreign_key_check_result": "ok",
      "application_smoke_result": "PASS",
      "expected_invariant": "schema=v3",
      "watchdog_owner": "worker-self",
      "independent_supervisor": false,
      "watchdog_deadline_sec": 20,
      "heartbeat_age_sec": 3,
      "restart_count": 0,
      "restart_budget": 3,
      "post_restart_readiness": true,
      "platform": "linux"
    },
    {
      "id": "missing_source_digest",
      "backup_id": "B7",
      "source_generation": "g50",
      "source_digest": null,
      "backup_digest": "b50",
      "restored_digest": "b50",
      "isolation_confirmed": true,
      "integrity_check_result": "ok",
      "foreign_key_check_result": "ok",
      "application_smoke_result": "PASS",
      "expected_invariant": "schema=v3",
      "watchdog_owner": "systemd",
      "independent_supervisor": true,
      "watchdog_deadline_sec": 20,
      "heartbeat_age_sec": 3,
      "restart_count": 0,
      "restart_budget": 3,
      "post_restart_readiness": true,
      "platform": "linux"
    },
    {
      "id": "windows_transfer",
      "backup_id": "B8",
      "source_generation": "g51",
      "source_digest": "src51",
      "backup_digest": "b51",
      "restored_digest": "b51",
      "isolation_confirmed": true,
      "integrity_check_result": "ok",
      "foreign_key_check_result": "ok",
      "application_smoke_result": "PASS",
      "expected_invariant": "schema=v3",
      "watchdog_owner": "windows-service-control-manager",
      "independent_supervisor": true,
      "watchdog_deadline_sec": 30,
      "heartbeat_age_sec": 65,
      "restart_count": 1,
      "restart_budget": 2,
      "post_restart_readiness": true,
      "platform": "windows"
    }
  ]
}