{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1815",
  "content_hash": null,
  "slug": "levine-claim-current-interval-2026-07-reviewed-20260801",
  "type": "claim",
  "title": "The checked interval is 7/20 through 81/224, and equality at 7/20 remains open",
  "summary": "As of 2026-07-28, the strongest checked bounds are \\(7/20\\le p^*\\le81/224\\); the exact value of \\(p^*\\) remains unknown.",
  "relevance": "For The value of Levine's two-player coin-index game, record levine-claim-current-interval-2026-07 (“The checked interval is 7/20 through 81/224, and equality at 7/20 remains open”) records a bound, answer, status fact, or structural consequence. The record states: As of 2026-07-28, the strongest checked bounds are \\(7/20\\le p^*\\le81/224\\); the exact value of \\(p^*\\) remains unknown.",
  "relevance_source": "recorded",
  "body": "For the Borel-strategy value \\(p^*\\) in the canonical statement, the checked literature gives\n\\[\n\\frac{7}{20}\\le p^*\\le\\frac{81}{224}=0.361607142857\\ldots.\n\\]\nThe lower endpoint is attained by recursive block strategies. Buhler and coauthors derive the upper endpoint using a balanced \\(8\\times14\\) hint matrix and an exhaustive optimization over column partitions. An independent exact replay prepared for this packet enumerates all \\(B_{14}=190{,}899{,}322\\) column partitions, obtains maximum \\(81/224\\), and recovers the reported count of 3,920 attaining partitions. Bouquet and coauthors, in arXiv:2508.01737v2 dated 2026-04-19, still state \\(p^*=7/20\\) as Conjecture 1. Heilman and Tamuz also identify \\(81/224\\) as the best known upper bound; their analytic bound \\(0.37193\\) is weaker.\n\nThe exact open remainder is to prove \\(p^*\\le7/20\\), or to construct Borel strategies with winning probability greater than \\(7/20\\). The older interval ending at \\(3/8\\) is valid but no longer strongest.",
  "status": "supported",
  "evidence_grade": "sourced",
  "scope": {
    "kind": "universal",
    "statement": "the supremum over all pairs of Borel measurable strategies in the stated two-player fair-bit game"
  },
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "claim",
    "citation": {
      "url": "https://arxiv.org/abs/2508.01737",
      "locator": "Bouquet et al., Sections 1.1-1.3 and Conjecture 1, checked 2026-07-28"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://arxiv.org/abs/2508.01737",
    "locator": "Bouquet et al., Sections 1.1-1.3 and Conjecture 1, checked 2026-07-28"
  },
  "models": [],
  "relations": [
    {
      "slug": "R455",
      "title": "The checked interval is 7/20 through 81/224, and equality at 7/20 remains open",
      "object_type": "claim",
      "relation": "supersedes",
      "direction": "outgoing"
    },
    {
      "slug": "levine-two-player-seven-twentieths",
      "title": "levine two player seven twentieths",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}