{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1297",
  "content_hash": null,
  "slug": "cyclic-polytope-c4-10-flip-diameter-status-20260801",
  "type": "claim",
  "title": "Current status and unresolved remainder",
  "summary": "UNKNOWN as of 2026-08-01: The 2026-08-01 search found a published count of triangulations but no component or diameter result for this exact flip graph.",
  "relevance": "Fixes the dated literature boundary and identifies the exact statement that remains unresolved.",
  "relevance_source": "recorded",
  "body": "UNKNOWN as of 2026-08-01: The 2026-08-01 search found a published count of triangulations but no component or diameter result for this exact flip graph.\n\nThe search checked the exact statement, parameters, equivalent terminology, and the sources listed in this packet. Database silence is treated only as bounded status evidence. A complete resolution must satisfy every acceptance condition in the canonical problem.",
  "status": "reported",
  "evidence_grade": "sourced",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "claim",
    "citation": {
      "url": "https://doi.org/10.1112/S0025579300012055",
      "locator": "Triangulations and bistellar flips for cyclic polytopes"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://doi.org/10.1112/S0025579300012055",
    "locator": "Triangulations and bistellar flips for cyclic polytopes"
  },
  "relations": [
    {
      "slug": "R1296",
      "title": "Resolve the stated acceptance conditions",
      "object_type": "attempt",
      "relation": "addresses",
      "direction": "incoming"
    },
    {
      "slug": "cyclic-polytope-c4-10-flip-diameter",
      "title": "cyclic polytope c4 10 flip diameter",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}