{
 "_doc": "Sentences of the lab's stated limits for one result, copied word for word. The whole limits field is committed on this site by its sha256 (it uses a word the published record keeps for its own process); these are the sentences of it that carry none of this site's banned words. Each gives its character offsets in the field, so anyone holding the field can check it. The sentence that carries the process word is not here, and neither is the wording it withdraws.",
 "id": "inference-limits:encoder-within-3-bits",
 "source": {
  "lab": "interconnect lab",
  "commit": "21c0c4194d8ab615b585e64efa57c86052eacf81",
  "file": "top40.json",
  "sha256": "c4c9b09c6125ac9961a1e2d90791977971d29344874f122fa57a91779c0e614e",
  "bytes": 300543,
  "entry_id": "encoder-within-3-bits",
  "field": "limits",
  "field_sha256": "3eade9ba255afb23fd50e502799104af7519e1bae2fbb82e63df24492cdd1361",
  "field_chars": 3134
 },
 "claims_receipt": "/receipts/inference-limits/claims/encoder-within-3-bits.json",
 "stretches": [
  {
   "text": "The certificate ships dominance_foil — a theorem PROVING the unconditional claim FALSE — plus a worked counter-case (W=64, g=32) where the dense competitor wins 64 bits to 128.",
   "start": 0,
   "end": 176
  },
  {
   "text": "Two fixtures have dense_over_ours_x below 1.0.",
   "start": 177,
   "end": 223
  },
  {
   "text": "Bit counts were NOT independently re-derived this pass beyond the axiom audit.",
   "start": 405,
   "end": 483
  },
  {
   "text": "Still open, per the grader: the accounting is payload-only and header-inclusive deployed accounting has not been done, so \"the deployed sparse-gap encoder\" has been narrowed to \"the modeled Elias-Fano sparse-gap payload\".",
   "start": 1346,
   "end": 1567
  }
 ]
}