{
 "P0": {
  "status": "passed",
  "checks": [
   "contract.md written with estimand, outputs, rules"
  ],
  "notes": ""
 },
 "P1": {
  "status": "passed",
  "checks": [
   "sha256 matches bundle",
   "no NA/duplicates",
   "balanced 40x25, treated constant within school",
   "exclusion ledger sums 1000-0=1000"
  ],
  "notes": ""
 },
 "P2": {
  "status": "passed",
  "checks": [
   "baseline tau_hat and se_iid computed"
  ],
  "notes": ""
 },
 "P3": {
  "status": "passed",
  "checks": [
   "analysis.py reads data only, deterministic, no seed needed"
  ],
  "notes": ""
 },
 "P4": {
  "status": "passed",
  "checks": [
   "clean rerun identical (diff empty)",
   "internal consistency checks in checks.md all PASS",
   "gate run 20261030T043528.473670Z: 34/35 ok, only failure = P4/P5 not yet terminal (expected at that time)"
  ],
  "notes": "gate receipt out/state/gate_receipts/20261030T043528.473670Z.json"
 },
 "P5": {
  "status": "passed",
  "checks": [
   "report.md with 6 sections citing results keys",
   "claims.json 4 claims incl. 5% significance claim",
   "final gate run 20261030T043535.516657Z: PASSED 35/35"
  ],
  "notes": "gate receipt out/state/gate_receipts/20261030T043535.516657Z.json"
 }
}