{
  "status": "PASS",
  "checks": [
    "fixed utilization above baseline gives monotone gain",
    "declining utilization can reverse recall gains",
    "branch probabilities normalize",
    "branch enumeration matches accuracy",
    "logit gradient matches finite difference"
  ],
  "cases": 95,
  "empirical_benchmark": false,
  "source_proofs_verified": false,
  "figure_sha256": "af3825d7b5adbd7cf785f1ab7c74e913ebde5636063cc8bd1753cf9743bdc9a7"
}