{
  "P0": {
    "status": "passed",
    "checks": [
      "contract.md written covering question, estimands, outputs, info rules, invalidity"
    ],
    "notes": ""
  },
  "P1": {
    "status": "passed",
    "checks": [
      "SHA-256 of both inputs computed; match bundle.json",
      "no missing/duplicates; exclusions.csv: 100000-0=100000"
    ],
    "notes": "no info-rule violations"
  },
  "P2": {
    "status": "passed",
    "checks": [
      "baseline: Prop B independent-normal sum KS vs N(0,2)=0.0024 (numerical_checks.propB_ks_sum_independent_vs_N02)"
    ],
    "notes": "statement_b_true is the task's baseline check"
  },
  "P3": {
    "status": "passed",
    "checks": [
      "analysis.py reads only data/, seed 20261029 from design.csv, writes results.json + counterexample.csv"
    ],
    "notes": ""
  },
  "P4": {
    "status": "passed",
    "checks": [
      "clean rerun byte-identical results.json and CSV hash",
      "consistency checks 1-8 in checks.md all PASS",
      "gate receipt out/state/gate_receipts/20261030T045604.952124Z.json",
      "gate receipt out/state/gate_receipts/20261030T045631.399782Z.json"
    ],
    "notes": ""
  },
  "P5": {
    "status": "passed",
    "checks": [
      "report.md, claims.json written; gate rerun"
    ],
    "notes": ""
  }
}