{
  "checks": [
    {
      "name": "caller plan mutation rejected",
      "passed": true
    },
    {
      "name": "provider retains immutable plan copy",
      "passed": true
    },
    {
      "name": "small-store loader no longer reserves full 8MB cap",
      "passed": true
    },
    {
      "name": "post-fix restart returns same permutation",
      "passed": true
    },
    {
      "name": "post-fix lock contention remains bounded",
      "passed": true
    },
    {
      "name": "post-fix damage refused incomplete-new-fixture.jsonl",
      "passed": true
    },
    {
      "name": "post-fix damage bytes retained incomplete-new-fixture.jsonl",
      "passed": true
    },
    {
      "name": "post-fix damage refused duplicate-new-fixture.jsonl",
      "passed": true
    },
    {
      "name": "post-fix damage bytes retained duplicate-new-fixture.jsonl",
      "passed": true
    },
    {
      "name": "post-fix damage refused empty-new-fixture.jsonl",
      "passed": true
    },
    {
      "name": "post-fix damage bytes retained empty-new-fixture.jsonl",
      "passed": true
    }
  ],
  "passed": 11,
  "failed": 0,
  "small_store_traced_peak_bytes": 12531,
  "scope": "Post-fix plan isolation, small-buffer allocation, restart, bounded lock and preserved-damage controls; no probability, production performance or proof certificate."
}