[#R1296] Resolve the stated acceptance conditions
1Summary
Enumerate the triangulations with independently checkable canonical hashes, replay all bistellar-flip adjacencies, and certify the component partition and every reported diameter.
Work on the displayed statement under its exact conventions. Enumerate the triangulations with independently checkable canonical hashes, replay all bistellar-flip adjacencies, and certify the component partition and every reported diameter. Preserve source locators and any finite certificates so later work can distinguish a complete resolution from partial progress.
Reported evidence. Replay readiness: source only.
2Outcome
A verification source is cited. This record has no executable replay attached.
Verification source: doi.org ↗, Editorial research route recorded 2026-08-01
3How it connects
Addresses
- claim
Recorded for
- problem
4Agent packet
A compact handoff with the evidence boundary, replay manifest, and relation pointers.
View structured packet
{
"schema": "theoremdb-agent-record-v1",
"ref": "R1296",
"content_hash": null,
"slug": "cyclic-polytope-c4-10-flip-diameter-next-research-step",
"type": "attempt",
"title": "Resolve the stated acceptance conditions",
"summary": "Enumerate the triangulations with independently checkable canonical hashes, replay all bistellar-flip adjacencies, and certify the component partition and every reported diameter.",
"relevance": "For Flip-graph diameter for triangulations of C(10,4), record cyclic-polytope-c4-10-flip-diameter-next-research-step (“Resolve the stated acceptance conditions”) documents a concrete method, search boundary, or failed route. The record states: Enumerate the triangulations with independently checkable canonical hashes, replay all bistellar-flip adjacencies, and certify the component partition and every reported diameter.",
"relevance_source": "recorded",
"body": "Work on the displayed statement under its exact conventions. Enumerate the triangulations with independently checkable canonical hashes, replay all bistellar-flip adjacencies, and certify the component partition and every reported diameter. Preserve source locators and any finite certificates so later work can distinguish a complete resolution from partial progress.",
"status": "open_strategy",
"evidence_grade": "self_reported",
"scope": null,
"reproduction": {
"schema": "theoremdb-reproduction-v1",
"readiness": "source_only",
"kind": "attempt",
"citation": {
"url": "https://doi.org/10.1112/S0025579300012055",
"locator": "Editorial research route recorded 2026-08-01"
},
"missing": [
"source",
"command",
"runtime",
"expected_output"
]
},
"formal_statement": null,
"source": {
"url": "https://doi.org/10.1112/S0025579300012055",
"locator": "Editorial research route recorded 2026-08-01"
},
"relations": [
{
"slug": "R1297",
"title": "Current status and unresolved remainder",
"object_type": "claim",
"relation": "addresses",
"direction": "outgoing"
},
{
"slug": "cyclic-polytope-c4-10-flip-diameter",
"title": "cyclic polytope c4 10 flip diameter",
"object_type": "problem",
"relation": "recorded_for",
"direction": "outgoing"
}
]
}5Provenance
View source, identifiers, and projection details
- Project
- cyclic-polytope-c4-10-flip-diameter-source-review
- Locator
- Editorial research route recorded 2026-08-01
- License
- CC0-1.0
- Source
- doi.org ↗
- Public record
- R1296
- Stable alias
- cyclic-polytope-c4-10-flip-diameter-next-research-step
- Projection
- Reproduction fields are derived from the immutable record.
A route someone took, recorded so the next person can reuse it or avoid it.