{
  "P0": {
    "status": "passed",
    "checks": [
      "TASK.md read; contract.md written"
    ],
    "notes": ""
  },
  "P1": {
    "status": "passed",
    "checks": [
      "sha256 matches bundle.json",
      "no NA/duplicates",
      "treated constant within school",
      "exclusion ledger sums 1000-0=1000"
    ],
    "notes": ""
  },
  "P2": {
    "status": "passed",
    "checks": [
      "baseline se_iid computed"
    ],
    "notes": ""
  },
  "P3": {
    "status": "passed",
    "checks": [
      "analysis.py runs and writes results.json; no randomness"
    ],
    "notes": ""
  },
  "P4": {
    "status": "passed",
    "checks": [
      "clean re-run byte-identical",
      "all checks in checks.md PASS",
      "gate run 20261030T043651.005233Z: 34/35 ok; only failure = ledger non-terminal (P4/P5 still open at the time); reproducibility ok"
    ],
    "notes": ""
  },
  "P5": {
    "status": "passed",
    "checks": [
      "report.md with 6 sections, keys cited",
      "claims.json 4 claims, keys resolve",
      "final gate run (receipt recorded below)",
      "final gate receipt 20261030T043658.071070Z.json: passed"
    ],
    "notes": ""
  }
}