{
 "_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:essentiality-bits-floor",
 "title": "The >=T*n bits essentiality floor, composed and in bits",
 "claim": "A zero-leak AND full-reuse pooled-KV policy over T tenants and n cache blocks needs at least 2^(T*n) states, i.e. at least T*n bits, as one machine-checked theorem general in T and n.",
 "limits": "T*n is the DENSE rights model; the one-tenant-per-block model that ships pays n*log2(T), exponentially smaller, and is composed separately here. NEG-F5-36 still stands: the old T*n->Theta promotion was killed because cap_engine_state_count is 2^k <= 2^k; kv_pool_theta is a DIFFERENT object. NEG-F5-35 applies: this file imports IsolationBound and calls inj_le, so it is a COMPOSITION, never an independent proof. The pigeonhole is classical. Certificate is UNSEALED (entry 10 (`proof-index-unsealed`)).",
 "lab_commit": "9d619007982bf311b1d3b64c929b835bbceb1f97",
 "differs_from_sealed": false,
 "source": {
  "list": "the lab's current claims",
  "line": 79,
  "sha256": "03cbc720dc0c135b24ba7e8060eb92541f7b5759dcd151d4e2c8afa2e47afadb"
 },
 "result_receipt": "/receipts/inference-limits/results/essentiality-bits-floor.json",
 "vendored_utc": "2026-10-06T02:09:30Z"
}