{
  "status": "PASS",
  "checks": [
    "impulse recurrence",
    "variance finite geometric sum",
    "Bernoulli-gated zero-mean variance",
    "independent write variances add",
    "unit-retention variance is linear"
  ],
  "cases": 201,
  "empirical_benchmark": false,
  "source_proofs_verified": false,
  "figure_sha256": "53eeffd9e702464a73ea935417ce5edb3b5e88584b8c4cf52a286a550589f5c3"
}