AREA 3 / OBJECT PAGE
Poincaré-labelled example
homology-sphere fixture
PUBLISHED DIAGRAM
Julia OgraphPlotSuite · invariant/C250811MSTinvUR
READOUT
- Object ID
area3-poincare-example- Fixture label
- OgraphPlotSuite / poincare
- Identity status
- fixture-label; independent manifold identification not asserted
- True vertices
- 5
- H₁ summary
- rank 0 · torsion []
- Finite-order readout
- 1 (presentation invariant)
- Evidence
- verified-computationally in a bounded Julia recomputation
- Evidence reference
- PJ260904 recomputation · Poincaré fixture
EDITORIAL OVERLAY
個別コメント
このページは、OgraphPlotSuite / poincare というラベルで管理されている o-graph の公開ノートです。図と有限計算の要約は公開しますが、このページ自体は独立した多様体同定の証明を主張しません。
特に、ここで表示する (H_1) の要約が rank 0 · torsion [] であることは、(S^3) との同定を意味しません。今後、同定器・証明書・所有者確認が揃った段階で、identity_status を別途更新します。
入力列そのものと再現用コードはこの公開面に埋め込まず、図・出典ラベル・検証範囲だけを残します。
このカタログでは図・ラベル・有限計算の要約を公開します。入力列、再現用コード、研究用データベースは公開成果物に含めません。