{
  "schema": "DAT011_LAB_MODEL_CONTRACT_v1",
  "fixture": "customer_credit_incident",
  "recovery_objectives": [
    {
      "id": "logical_portability",
      "need": "portable bounded database export/restore",
      "candidate_mechanism": "pg_dump + pg_restore"
    },
    {
      "id": "incident_point_in_time",
      "need": "recover immediately before destructive update",
      "candidate_mechanism": "base backup + required WAL + explicit target"
    }
  ],
  "must_verify": [
    "restored row count",
    "key account credit values",
    "target marker relation",
    "artifact provenance",
    "measured duration"
  ],
  "must_not_claim": [
    "production readiness",
    "guaranteed organization RPO/RTO",
    "PITR from base backup alone"
  ],
  "safety": "local disposable resources only"
}