{
 "P0": {
  "status": "passed",
  "checks": [
   "TASK.md read fully",
   "contract.md written"
  ],
  "notes": ""
 },
 "P1": {
  "status": "passed",
  "checks": [
   "sha256 computed and matched bundle.json",
   "9 rows x 11 cols, 0 NA, 0 duplicates",
   "len(sizes)==G and sum(sizes)==N for all rows",
   "exclusions.csv written (0 removed)"
  ],
  "notes": "G=5 Rademacher support limitation noted"
 },
 "P2": {
  "status": "passed",
  "checks": [
   "baseline naive iid-SE z-interval coverage computed on the same replications (results.json baseline_iid_coverage)",
   "iid coverage ~0.94-0.96 at ICC=0 and 0.29-0.49 at ICC>0, as expected"
  ],
  "notes": ""
 },
 "P3": {
  "status": "passed",
  "checks": [
   "analysis.py reads only data/design.csv, seeds per cell via default_rng(seed)",
   "runtime ~2s",
   "brute-force check of vectorised WCB passed"
  ],
  "notes": "WCB quantile rule: inverted_cdf (380th order stat of 399)"
 },
 "P4": {
  "status": "passed",
  "checks": [
   "clean re-run byte-identical results.json and table1.csv",
   "12 consistency checks in checks.md all PASS (incl. MC vs analytic rel-bias, max |z|=2.46)",
   "gate run 20261030T054151.239822Z: all results-key and reproducibility checks ok; only failures = P5 deliverables not yet written (report, claims, sections, non-terminal ledger)",
   "figure tick-label cosmetic fix; results.json unchanged (cmp)"
  ],
  "notes": "gate_receipts: out/state/gate_receipts/20261030T054151.239822Z.json",
  "gate_receipts": [
   "out/state/gate_receipts/20261030T054151.239822Z.json"
  ]
 },
 "P5": {
  "status": "passed",
  "checks": [
   "report.md with 6 required sections, numbers cite results.json keys",
   "claims.json 6 claims, all keys exist in results.json",
   "numbers in report cross-checked against table1.csv/results.json",
   "final gate run 20261030T054253.336612Z: PASSED (0 of 34 failed)"
  ],
  "notes": "",
  "gate_receipts": [
   "out/state/gate_receipts/20261030T054253.336612Z.json"
  ]
 }
}