{
 "P0": {
  "status": "passed",
  "checks": [
   "TASK.md read fully",
   "contract.md written"
  ],
  "notes": ""
 },
 "P1": {
  "status": "passed",
  "checks": [
   "sha256 matches bundle.json",
   "7 rows x 3 cols, no missing/duplicates",
   "no availability violations",
   "exclusions.csv written (0 removed)"
  ],
  "notes": "n vs n-1 ambiguity documented"
 },
 "P2": {
  "status": "passed",
  "checks": [
   "se_asymptotic=0.109545 and bias_analytical=-0.113333 computed and hand-verified"
  ],
  "notes": "naive baseline bias 0"
 },
 "P3": {
  "status": "passed",
  "checks": [
   "analysis.py reads only data/, seed 20261029, vectorised MC R=20000 ran"
  ],
  "notes": ""
 },
 "P4": {
  "status": "passed",
  "checks": [
   "clean re-run byte-identical (cmp)",
   "identities in checks.md all pass",
   "gate run 1 receipt 20261030T051437.850545Z.json: 31/32 ok, only phase_ledger non-terminal (expected before ledger update)"
  ],
  "notes": "gate receipt: out/state/gate_receipts/20261030T051437.850545Z.json"
 },
 "P5": {
  "status": "passed",
  "checks": [
   "report.md with 6 sections, keys cited",
   "claims.json 4 claims resolve",
   "final gate receipt 20261030T051446.119747Z.json passed"
  ],
  "notes": "gate receipt: out/state/gate_receipts/20261030T051446.119747Z.json"
 }
}