{
  "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": "For cyclic polytope c4 10 flip diameter, pins the dated research frontier: 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_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"
  },
  "models": [],
  "continuation": null,
  "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"
    }
  ]
}