1{2 "P0":{"status":"passed","checks":["TASK.md read in full","contract.md written with estimands, outputs, rules, invalidity conditions"],"notes":""},3 "P1":{"status":"passed","checks":["SHA-256 of both inputs computed and matched bundle.json","schema/rows/missing/duplicates inspected","exclusions.csv written (0 removed; 100000 analysed)"],"notes":"No availability violations."},4 "P2":{"status":"passed","checks":["baseline: KS of sum of independent normals = 0.0020 under same rule (baseline_* keys)"],"notes":""},5 "P3":{"status":"passed","checks":["analysis.py reads data/ only, seed 20261029 from design, writes results.json and counterexample.csv"],"notes":""},6 "P4":{"status":"passed","checks":["clean re-run produced byte-identical results.json and counterexample.csv","10 consistency checks in state/checks.md all pass"],"notes":""},7 "P5":{"status":"passed","checks":["report.md with required sections citing results keys","claims.json written; all report claims in ledger","argument.md written"],"notes":""}8}9