{
  "status": "PASS",
  "checks": [
    "ambiguous examples preserve prior",
    "posterior odds agree with normalization",
    "future noisy-label predictive mixture",
    "future noisy-label probability bounds",
    "equal-prior zero-evidence symmetry",
    "regression recurrence matches closed form",
    "reciprocal-curvature one-step solution"
  ],
  "cases": 241,
  "empirical_benchmark": false,
  "source_proofs_verified": false,
  "figure_sha256": "63cba490545fb0ddb8235666be510b6669c5c82219ca3025af6f634a7dd1d4d7"
}