{
 "version": 1,
 "site": "inference",
 "build_date": "2026-09-20",
 "freshness_days": 7,
 "figures": {
  "proof.1": {
   "id": "proof.1",
   "value": 1852,
   "display": "1,852",
   "freshness_days": 7,
   "receipt": {
    "path": "inference/v3/measured/lean_declarations.json",
    "sha256": "f95312592af17b25670f5e882e710fecbd220809dd2a0a54165abed1eb615434",
    "bytes": 766,
    "visibility": "public",
    "pointer": "/total_declarations",
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "Lean 4 theorem and lemma declarations in this codebase: none left unproved, none resting on an axiom of our own, none decided by running compiled code",
   "measured_by": "Every theorem and lemma declaration in this codebase, counted from the tracked Lean 4 files at one revision, with the same pass looking for sorry, a custom axiom and native_decide."
  },
  "proof.2": {
   "id": "proof.2",
   "value": 19.645,
   "display": "19.645%",
   "freshness_days": 7,
   "receipt": {
    "path": "inference/v3/proofs/cache-ceiling/entropy_ceiling_cert.json",
    "sha256": "9ba43c035ce00a1358a39aa321491858e40bfbd93e79139f29c5140ca4bca01d",
    "bytes": 4476,
    "visibility": "public",
    "pointer": "/traces/0/wall_hit_rate_proven",
    "scale": 100,
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "proven ceiling on the hit rate of any demand-fetch cache on the public Mooncake production trace",
   "measured_by": "The proven ceiling on the hit rate of any demand-fetch cache on the public Mooncake production trace, from the trace itself: its references, its distinct blocks and the ceiling those two give."
  },
  "proof.3": {
   "id": "proof.3",
   "value": 32,
   "display": "32 = OPT",
   "freshness_days": 7,
   "receipt": {
    "path": "inference/v3/proofs/fleet-optimal/fleet_optimality_cert.json",
    "sha256": "51d9a5314785dcf8af3ea25900689671d7f406365836a28cb0f1c30c349a07bb",
    "bytes": 2438,
    "visibility": "public",
    "pointer": "/cpsat/objective_min_prefills",
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "pooled KV placement hits the certified optimum; an independent Google OR-Tools solver proves no placement does better",
   "measured_by": "The optimum the CP-SAT solver certified on the committed serving instance, and the number of misses the pooled cache takes on it."
  },
  "proof.4": {
   "id": "proof.4",
   "value": 11,
   "display": "11",
   "freshness_days": 7,
   "receipt": {
    "path": "inference/v3/measured/defect_injection.json",
    "sha256": "635f2b76ceab4566d7f9beb0979530873f22c78b2e6bc491a0bb78e37c36f6bb",
    "bytes": 876,
    "visibility": "public",
    "pointer": "/results_with_a_planted_defect_caught",
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "results whose checking program was shown to catch a deliberately planted defect",
   "measured_by": "Results of this codebase in section 1 of the portfolio record whose checking program was run with a defect planted in what it reads, and failed."
  },
  "theorem.1.forecloses": {
   "id": "theorem.1.forecloses",
   "value": 19.645,
   "display": "19.645% · 5.5%",
   "freshness_days": 7,
   "receipt": {
    "path": "inference/v3/proofs/cache-ceiling/entropy_ceiling_cert.json",
    "sha256": "9ba43c035ce00a1358a39aa321491858e40bfbd93e79139f29c5140ca4bca01d",
    "bytes": 4476,
    "visibility": "public",
    "pointer": "/traces/0/wall_hit_rate_proven",
    "scale": 100,
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "No cache beats the traffic",
   "measured_by": "The proven ceiling on the hit rate of any demand-fetch cache on the Mooncake trace, and the rate simulated LRU reaches at the same capacity."
  },
  "theorem.2.forecloses": {
   "id": "theorem.2.forecloses",
   "value": 93.75,
   "display": "93.75% · 34%",
   "freshness_days": 7,
   "receipt": {
    "path": "inference/v3/proofs/fleet-optimal/fleet_optimality_cert.json",
    "sha256": "51d9a5314785dcf8af3ea25900689671d7f406365836a28cb0f1c30c349a07bb",
    "bytes": 2438,
    "visibility": "public",
    "pointer": "/committed_hit_rates_untouched/16/pooled",
    "scale": 100,
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "Pooled KV placement is optimal",
   "measured_by": "The committed hit rates at sixteen hosts: pooled against per-instance."
  },
  "artifacts.count": {
   "id": "artifacts.count",
   "value": 13,
   "display": "13",
   "freshness_days": 7,
   "receipt": {
    "path": "inference/v3/measured/artifacts.json",
    "sha256": "f42f467d430e22f59b9d7371ec2dd315a5e7c94fad502d94820f1a0ae179fae1",
    "bytes": 2039,
    "visibility": "public",
    "pointer": "/artifacts_linked",
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "open artifacts this page links, each answering 200 when the page was built",
   "measured_by": "Every artifact this page links, fetched over the network when the site was built; each answered 200."
  },
  "ip.total": {
   "id": "ip.total",
   "value": 727,
   "display": "727 claims",
   "freshness_days": 7,
   "receipt": {
    "path": "inference/v3/measured/ip_ledger.json",
    "sha256": "47dd6653206565bbcab663adf1ea661edf71c823fd8760175588f926f979466d",
    "bytes": 2281,
    "visibility": "public",
    "pointer": "/total_claims",
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "claims in the filed provisional",
   "measured_by": "The claims counted in the filed provisional, from the numbered claim set itself."
  },
  "ip.row.0": {
   "id": "ip.row.0",
   "value": 727,
   "display": "727",
   "freshness_days": 7,
   "receipt": {
    "path": "inference/v3/measured/ip_ledger.json",
    "sha256": "47dd6653206565bbcab663adf1ea661edf71c823fd8760175588f926f979466d",
    "bytes": 2281,
    "visibility": "public",
    "pointer": "/ledger/0/claims",
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "claims in the filed provisional",
   "measured_by": "The claims counted in the filed provisional, from the numbered claim set itself."
  },
  "envelope.0": {
   "id": "envelope.0",
   "value": 0.874,
   "display": "0.874× · 0.931×",
   "freshness_days": 7,
   "receipt": {
    "path": "inference/v3/measured/isolation_overhead.json",
    "sha256": "9af2ca386fd8b592b2b1c9ae758b7f384b1b349f64e133be1727ea5b9535bf72",
    "bytes": 1117,
    "visibility": "public",
    "pointer": "/ratios/vs_best_prefix_cache_baseline",
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "operational envelope",
   "measured_by": "Goodput at the service-level objective for every arm of one head-to-head run on the public Mooncake trace, and this layer as a fraction of the fastest prefix-cache baseline."
  },
  "envelope.1": {
   "id": "envelope.1",
   "value": 95,
   "display": "95%",
   "freshness_days": 7,
   "receipt": {
    "path": "inference/v3/measured/leak_closure_a100.json",
    "sha256": "30578ff118f77ed8f695f7b8a2cb1cebf2675fb05a76a9ccd826587152ef5acd",
    "bytes": 12127,
    "visibility": "public",
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true,
   "label": "operational envelope",
   "measured_by": "The live-GPU run itself: cross-tenant reuse per prompt before and after the salt, and the rule-of-three bound the run supports. Ninety-five per cent is the confidence level of that bound, not a measurement."
  }
 }
}