1{2 "P0": {3 "status": "passed",4 "checks": [5 "contract.md written covering question, estimands, outputs, rules, invalidity conditions"6 ],7 "notes": ""8 },9 "P1": {10 "status": "passed",11 "checks": [12 "sha256 + row/col counts recorded for both inputs",13 "no missing/duplicates",14 "exclusions.csv sums: 100000-0=100000"15 ],16 "notes": "no availability violations"17 },18 "P2": {19 "status": "passed",20 "checks": [21 "baseline_indep_ks_sum_vs_normal computed (0.0020) with same KS rule"22 ],23 "notes": ""24 },25 "P3": {26 "status": "passed",27 "checks": [28 "analysis.py reads data/ only, seed from design.csv, writes results.json and counterexample.csv"29 ],30 "notes": ""31 },32 "P4": {33 "status": "passed",34 "checks": [35 "two reruns byte-identical (cmp)",36 "consistency checks in checks.md all PASS",37 "gate run at P4: receipt 20261030T045631.270687Z.json \u2014 all contract/reproducibility checks ok; only failure was non-terminal phase ledger (expected at that time)"38 ],39 "notes": ""40 },41 "P5": {42 "status": "passed",43 "checks": [44 "report.md with 6 required sections, quantities cite results keys",45 "claims.json 4 claims, keys resolve",46 "final gate run (receipt recorded in notes after run)"47 ],48 "notes": "final gate receipt 20261030T045635.872015Z.json: passed=true"49 }50}