{
 "P0": {
  "status": "passed",
  "checks": [
   "contract.md written"
  ],
  "notes": ""
 },
 "P1": {
  "status": "passed",
  "checks": [
   "sha256 recorded",
   "schema/missing/duplicates checked",
   "aggregate inconsistency 14 vs 12 found and handled",
   "exclusions.csv reconciles 2-0=2"
  ],
  "notes": ""
 },
 "P2": {
  "status": "passed",
  "checks": [
   "baseline numerical root price_ratio_numerical=0.875 recorded"
  ],
  "notes": ""
 },
 "P3": {
  "status": "passed",
  "checks": [
   "analysis.py reads only data/, deterministic, no seed"
  ],
  "notes": ""
 },
 "P4": {
  "status": "passed",
  "checks": [
   "clean rerun byte-identical",
   "closed form vs numeric diff 1.1e-16",
   "budget identities hold",
   "market clearing and Walras residual 0",
   "gate passed: out/state/gate_receipts/20261030T041411.554458Z.json"
  ],
  "notes": ""
 },
 "P5": {
  "status": "passed",
  "checks": [
   "report.md 6 sections",
   "claims.json written",
   "gate passed: out/state/gate_receipts/20261030T041411.554458Z.json"
  ],
  "notes": ""
 }
}