1{2 "P0": {3 "status": "passed",4 "checks": [5 "contract.md written"6 ],7 "notes": ""8 },9 "P1": {10 "status": "passed",11 "checks": [12 "sha256 recorded",13 "schema/missing/duplicates checked",14 "aggregate inconsistency 14 vs 12 found and handled",15 "exclusions.csv reconciles 2-0=2"16 ],17 "notes": ""18 },19 "P2": {20 "status": "passed",21 "checks": [22 "baseline numerical root price_ratio_numerical=0.875 recorded"23 ],24 "notes": ""25 },26 "P3": {27 "status": "passed",28 "checks": [29 "analysis.py reads only data/, deterministic, no seed"30 ],31 "notes": ""32 },33 "P4": {34 "status": "passed",35 "checks": [36 "clean rerun byte-identical",37 "closed form vs numeric diff 1.1e-16",38 "budget identities hold",39 "market clearing and Walras residual 0",40 "gate passed: out/state/gate_receipts/20261030T041411.554458Z.json"41 ],42 "notes": ""43 },44 "P5": {45 "status": "passed",46 "checks": [47 "report.md 6 sections",48 "claims.json written",49 "gate passed: out/state/gate_receipts/20261030T041411.554458Z.json"50 ],51 "notes": ""52 }53}