{
 "_doc": "The lab's current claim and limits for one result, copied word for word from the line of its current-claims list named here. A value that is replaced by an object with sha256_of_value and bytes is committed by its hash instead of printed, for the reason it states. Nothing here is typed by hand.",
 "portfolio_id": "inference-limits:linear-state-logistics",
 "title": "Linear state logistics with an exhaustive finite reference",
 "claim": "A state-movement kernel enforcing exactly one live ownership capability, an unreadable escrow phase, epoch and generation binding and stale-transfer refusal, with 9 Lean theorems and an executable finite reference.",
 "limits": "FINDING IN THIS REVIEW: the widely-quoted '288,000 complete-domain decisions with 0 reference divergences' figure has NO LOCATABLE COMMITTED CERTIFICATE in this repository — `grep -rn '288,000\\|288000' --include=*.json results/` returns only unrelated artifacts. The prior document sourced it to another ranking's Tier-1 run and marked it not reproduced. The claim above is narrowed to what the tree actually carries. It proves agreement with the encoded reference and the stated Lean kernel, NOT distributed-system liveness, partition behaviour or secure hardware custody. CORRECTED 2026-09-02 (peer review S02): the command now elaborates the Lean library (`lake build StateLogistics`, a named lean_lib in the lab's formal Lean tree (lakefile.toml:62)) before counting declarations, so the artifact is regenerated rather than grepped (I1).",
 "lab_commit": "9d619007982bf311b1d3b64c929b835bbceb1f97",
 "differs_from_sealed": false,
 "source": {
  "list": "the lab's current claims",
  "line": 86,
  "sha256": "03cbc720dc0c135b24ba7e8060eb92541f7b5759dcd151d4e2c8afa2e47afadb"
 },
 "result_receipt": "/receipts/inference-limits/results/linear-state-logistics.json",
 "vendored_utc": "2026-10-06T02:09:30Z"
}