{
 "_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:fleet-optimality-cpsat",
 "title": "Pooled KV attains a third-party-solver-certified optimum on the committed instance",
 "claim": "On the committed instance, pooled KV placement achieves 32 misses and Google OR-Tools CP-SAT independently returns OPTIMAL with a matching proven bound of 32 — so pooling is not merely better than per-instance caching, it is optimal.",
 "limits": {
  "withheld": true,
  "why": "uses a word the published record keeps for its own process",
  "field": "limits",
  "sha256_of_value": "d1d65bb96238cc8402421d232663a48da30319641b4cfc61828ef6a6edd627c8",
  "bytes": 1125
 },
 "lab_commit": "21c0c4194d8ab615b585e64efa57c86052eacf81",
 "differs_from_sealed": false,
 "source": {
  "list": "the lab's current claims",
  "line": 75,
  "sha256": "7fe8fc3fcd0f88daef78b7f0d64ad414b8780119d854b9e9ead3e42e03bd8507"
 },
 "result_receipt": "/receipts/inference-limits/results/fleet-optimality-cpsat.json",
 "vendored_utc": "2026-09-27T09:21:11Z"
}