{
 "P0": {
  "status": "passed",
  "checks": [
   "contract.md written covering question, estimands, outputs, rules, invalidity"
  ],
  "notes": ""
 },
 "P1": {
  "status": "passed",
  "checks": [
   "sha256 matches bundle.json",
   "10 rows x 3 cols, no missing/duplicates",
   "eval points off-grid recorded",
   "grid adequacy vs closed-form choices checked"
  ],
  "notes": ""
 },
 "P2": {
  "status": "passed",
  "checks": [
   "baseline_savings_rate_closed_form = alpha*beta computed by analysis.py"
  ],
  "notes": ""
 },
 "P3": {
  "status": "passed",
  "checks": [
   "analysis.py runs, writes results.json, no randomness"
  ],
  "notes": ""
 },
 "P4": {
  "status": "passed",
  "checks": [
   "clean re-run byte-identical",
   "consistency checks 1-9 in checks.md all PASS",
   "gate run 1 receipt out/state/gate_receipts/20261030T043757.347619Z.json: all results-key and reproducibility checks ok; only failures were P5 deliverables (report, claims) and non-terminal phase ledger"
  ],
  "notes": ""
 },
 "P5": {
  "status": "passed",
  "checks": [
   "report.md with 6 sections citing results keys",
   "claims.json with 4 claims referencing existing keys",
   "final gate run (receipt recorded below)",
   "gate run 2 receipt out/state/gate_receipts/20261030T043827.897724Z.json: PASSED 0/35 failed"
  ],
  "notes": ""
 }
}