{
 "P0": {
  "status": "passed",
  "checks": [
   "contract.md written covering question, estimands, outputs, rules, invalidity conditions"
  ],
  "notes": ""
 },
 "P1": {
  "status": "passed",
  "checks": [
   "sha256 + row/col counts recorded for both inputs",
   "no missing/duplicates",
   "exclusions.csv sums: 100000-0=100000"
  ],
  "notes": "no availability violations"
 },
 "P2": {
  "status": "passed",
  "checks": [
   "baseline_indep_ks_sum_vs_normal computed (0.0020) with same KS rule"
  ],
  "notes": ""
 },
 "P3": {
  "status": "passed",
  "checks": [
   "analysis.py reads data/ only, seed from design.csv, writes results.json and counterexample.csv"
  ],
  "notes": ""
 },
 "P4": {
  "status": "passed",
  "checks": [
   "two reruns byte-identical (cmp)",
   "consistency checks in checks.md all PASS",
   "gate run at P4: receipt 20261030T045631.270687Z.json \u2014 all contract/reproducibility checks ok; only failure was non-terminal phase ledger (expected at that time)"
  ],
  "notes": ""
 },
 "P5": {
  "status": "passed",
  "checks": [
   "report.md with 6 required sections, quantities cite results keys",
   "claims.json 4 claims, keys resolve",
   "final gate run (receipt recorded in notes after run)"
  ],
  "notes": "final gate receipt 20261030T045635.872015Z.json: passed=true"
 }
}