{
 "P0": {
  "status": "passed",
  "checks": [
   "contract.md written covering question, estimands, outputs, rules"
  ],
  "notes": ""
 },
 "P1": {
  "status": "passed",
  "checks": [
   "sha256 + rows/cols recorded in data_audit.md",
   "exclusions.csv: 100000-0=100000"
  ],
  "notes": ""
 },
 "P2": {
  "status": "passed",
  "checks": [
   "baseline_independent_sum KS=0.0020 computed"
  ],
  "notes": ""
 },
 "P3": {
  "status": "passed",
  "checks": [
   "analysis.py runs, seed 20261029 fixed, writes results.json and counterexample.csv"
  ],
  "notes": ""
 },
 "P4": {
  "status": "passed",
  "checks": [
   "clean rerun byte-identical",
   "checks.md items 1-7 pass",
   "gate run end of P4: out/state/gate_receipts/20261030T045527.460352Z.json (only failure: P5 non-terminal, expected)"
  ],
  "notes": ""
 },
 "P5": {
  "status": "passed",
  "checks": [
   "report.md 6 sections with key citations",
   "claims.json 4 claims resolve",
   "gate re-run end of P5 (see notes)"
  ],
  "notes": "final gate receipt: out/state/gate_receipts/20261030T045534.388484Z.json passed=True"
 }
}