{ "_doc": "One result, read from the codebase’s own files at the commit named here. Every value is that file’s own, copied verbatim; nothing here is written by hand. A value replaced by {withheld: true, sha256_of_value, bytes} is committed by its sha256 instead of published, for the reason it states, and is never edited. Each whole source file is committed by sha256 below, and its bytes are published only where its visibility says so. The codebase is named by the public subject its files are published under.", "lane": "inference-limits", "repository": "inference-limits", "commit": "eb76dce3f6dc0889d822db1c7a5af76dc876d2db", "portfolio_id": "inference-limits:counting-wall", "id": "counting-wall", "attestation_row": { "attested_at": "2026-09-12", "attestor": "04-aiscaleout", "repository": { "withheld": true, "why": "a working-directory name (R8)", "sha256_of_value": "dc9a8056162a9f8af22c3358adefec1007380f73db3ac6575018b9f67cec86a6", "bytes": 7 }, "source_doc": "TOP_N_CROWN_JEWELS.md", "source_doc_sha256": "15a64fb189e85a28a6fee2c09ec72d602dd019272769f54e167d6cc5bf3c425a", "state": "attested", "top_n": 11, "note_sha256": "cda096249bc344dc78f7c156eaaaaa4915f346127e628cf67243910f731d04df", "ids_in_row": 11, "file": "dataroom/TOP_N_ATTESTATION.jsonl", "line": 1 }, "claim_source": { "receipt": "inference-limits/top40.json", "sha256": "5d74491a747c903d407b42abbeececaf6268df57216a1fac67aa795bc4092b6e", "field": "entries[9].claim", "file": "top40.json" }, "top40_entry": { "id": "counting-wall", "rank": 10, "native_rank": 21, "title": "A proven demand-policy hit ceiling on a real production trace, with simulated LRU far below it", "claim": "On the held-out Mooncake test stream (21,069 references, 16,930 distinct) the hit rate of ANY demand policy is bounded above by 19.645%, machine-checked in Lean for all traces and all demand policies. The bound is attained by simulated Belady only at a 1,693-block capacity, where simulated LRU reaches 5.497%; at the smallest swept capacity of 423 blocks simulated Belady reaches 12.687% and simulated LRU 4.059%. Every policy number is a cold-start simulation over the held-out stream, not a deployed cache.", "scope": "serving_limits/formal/lean/CacheCeiling.lean; forall-theorems cold_miss_lower and hits_upper_wall quantify over ALL traces and ALL DEMAND policies. 21,069 test refs, 16,930 distinct. The no-prefetch DemandStep hypothesis is load-bearing and is itself MACHINE-FOILED by prefetch_beats_wall_foil, which proves a prefetching policy DOES beat the wall. A second trace (oasst_derived, 2,650 refs) carries a different wall at 0.29887 and is never averaged with the first.", "limits": "A ceiling on DEMAND policies only — prefetching escapes it, and the certificate proves that rather than assuming it. The wall is a property OF THE TRACE, not of any implementation: a different workload has a different wall, and the two traces here differ by 10 points. PROMOTED 2026-08-26 from zero prior ranking: this artifact existed at HEAD since ab032b4 and was cited by NO top-40 entry, while entry 20 (`mooncake-real-trace`) cited the weaker computed-optimum Belady gap on the SAME trace. It does not replace entry 20 (`mooncake-real-trace`); it bounds it. Certificate regenerated BYTE-IDENTICALLY at HEAD on 2026-08-26. A3 2026-09-09: the previous headline spliced two capacities. entropy_ceiling_cert.json traces[0].per_capacity carries four rows; Belady equals the 0.19645 wall only from capacity_blocks 1693 upward, and 0.04059 is the LRU figure at capacity_blocks 423, where Belady is 0.12687 (64.58% of wall). The two numbers were never measured at the same capacity. Nothing here is a deployed LRU: all four policy columns are simulations over the trace's held-out test split.", "artifact_path": "results/data/statefabric/entropy_ceiling_cert.json", "witness_command": "python3 statefabric/experiments/gen_entropy_ceiling_report.py", "witness_result": "exit=0 | mooncake: wall 0.19645 | entropy 11.5413 b/ref | belady@mid 81.45% of wall | evolved@mid 30.62% of wall", "witness_class": "ASSERTING", "third_party_axis": "—", "facts": { "ran_with_receipt": true, "third_party_graded": false, "negative_control_stated": false, "ip_class_known": false, "reproduce_command": true, "regenerates_not_verifies": true }, "fact_count": 3, "repro_command": "python3 statefabric/experiments/gen_entropy_ceiling_report.py", "ip_class": null, "ip_class_basis": { "withheld": true, "why": "a note on the entry's intellectual-property class, which this site does not publish; a hash of the note is kept", "sha256_of_value": "1fa3b0de2499ff0cae5431ddd894e54301c85cc39df867e9e43b4552d055cba7", "bytes": 265 }, "negative_control": null }, "witness_quality_entry": { "id": "counting-wall", "claim": "On the held-out Mooncake test stream (21,069 references, 16,930 distinct) the hit rate of ANY demand policy is bounded above by 19.645%, machine-checked in Lean for all traces and all demand policies. The bound is attained by simulated Belady only at a 1,693-block capacity, where simulated LRU reaches 5.497%; at the smallest swept capacity of 423 blocks simulated Belady reaches 12.687% and simulated LRU 4.059%. Every policy number is a cold-start simulation over the held-out stream, not a deployed cache.", "class": "ASSERTING", "why": "Derived from a committed input by a generator that runs every time. Planted defect: collapsing the block ids of the held-out requests changes the trace's entropy and the assertion disappears. (Mutating the TRAINING half does not — `train, test = reqs[:k], reqs[k:]`, measured in S02 and recorded.)", "witness_command": "python3 statefabric/experiments/gen_entropy_ceiling_report.py", "defect_demonstration": { "id": "counting-wall", "target": "statefabric/fixtures/mooncake_conversation_trace.json", "defect": "the last 200 of the 2,000 requests of the committed Mooncake trace are removed, so the held-out stream is no longer the reference count the wall is computed over", "witness_command": "python3 statefabric/experiments/gen_entropy_ceiling_report.py", "recorded_exit": 0, "recorded_assertion": "mooncake: wall 0.19645", "mutation": "removed the last 200 of 2000 requests", "mutated_exit": 0, "mutated_first_line": "mooncake: wall 0.19268 | entropy 11.5721 b/ref | belady@mid 76.32% of wall | evolved@mid 25.23% of wall", "assertion_present_under_defect": false, "witness_rejects_the_defect": true, "tree_clean_after_restore": true, "restored_exit": 0, "restored_assertion_present": true }, "asserts": "the ceiling is recomputed from the committed Mooncake trace in this run — LZ76 phrase count, entropy, and the proven wall on the held-out half — and prints `mooncake: wall 0.19645`.", "stale_claims_ref": null, "attested": true }, "packet": null, "measured": { "measured": true, "basis": "defect_demonstration.mutated_exit = 0", "exit": 0, "defect_rejected": true }, "register": { "truth_state": "attested", "truth_line": 144, "measured_per_register": true, "witness_class_per_register": "ASSERTING", "ip_class_public": "unknown", "ip_class_sha256": "b23a6a8439c0dde5515893e7c90c1e3233b8616e634470f20dc4928bcf3609bc", "ip_class_source": "reports/TOP_N_CROWN_JEWELS.md:27 @ 7eff877f38ed", "receipt": "register/CROWN_JEWELS_TRUTH.md", "receipt_sha256": "bde06cf0d3e99644522d18e79b6bd5d84ed4f5c86e315a48fef207e9e49c5022", "ip_class_receipt": "register/ip_class.jsonl", "ip_class_receipt_sha256": "b1e8f97aa6779e0fefed2f7a7726e1a03563b536b497392401b49bb8ef84d4ca" }, "withheld_fields": [ { "field": "attestation_row.repository", "codes": [ "LANE_DIRECTORY_NAME" ] } ], "sources": { "attestation": { "receipt": "inference-limits/dataroom/TOP_N_ATTESTATION.jsonl", "source": "dataroom/TOP_N_ATTESTATION.jsonl", "commit": "eb76dce3f6dc0889d822db1c7a5af76dc876d2db", "sha256": "a674007bd1bcc71c72d9033d28bbf3c0fe0f19bff407993b2a71aacfa57fca6f", "bytes": 1701, "visibility": "sealed" }, "top40": { "receipt": "inference-limits/top40.json", "source": "top40.json", "commit": "eb76dce3f6dc0889d822db1c7a5af76dc876d2db", "sha256": "5d74491a747c903d407b42abbeececaf6268df57216a1fac67aa795bc4092b6e", "bytes": 246151, "visibility": "sealed" }, "witness_quality": { "receipt": "inference-limits/dataroom/witness_quality.json", "source": "dataroom/witness_quality.json", "commit": "eb76dce3f6dc0889d822db1c7a5af76dc876d2db", "sha256": "2d25181a8dde236a009eb4264e63f129382d7641862180d6001c0be2856f9049", "bytes": 82971, "visibility": "sealed" }, "repro_index": { "receipt": "inference-limits/repro/INDEX.json", "source": "repro/INDEX.json", "commit": "eb76dce3f6dc0889d822db1c7a5af76dc876d2db", "sha256": "80ed62f5df6a95c42aa44f13ab11a287c303acf258caf8ff2bd72439f5fc0bf0", "bytes": 46450, "visibility": "sealed" } } }