A registered result in its source context
Original ledger classification: Independent topological c_-=8 [E]/[C]: the M=1 collar has integer Chern C=+1 (FHS, no fit; C=0 trivial, C=-1 opposite chirality), the open strip carries |C|=1 chiral edge branch per boundary, and the Li-Haldane entanglement spectrum tracks the edge; bulk-edge gives c_-=16*(1/2)*1=8=g_car+N_fam, corroborating v444 from a different observable. SEAM.EQUIV.01 stays [O]
Recorded statement: An INDEPENDENT (topological) reading of the edge central charge c_-=8 (2026-06-30) -- corroborating v444/SEAM.EQUIV.CONTINUUM.EDGE.01 from a different observable. v444 read c_- from the CORRELATOR exponent (eta=1); this module reads the…
Statement, assumptions and sources
Paper context: Research contracts
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
SEAM.EQUIV.EDGE.CHERN.01
Original ledger classification: Independent topological c_-=8 [E]/[C]: the M=1 collar has integer Chern C=+1 (FHS, no fit; C=0 trivial, C=-1 opposite chirality), the open strip carries |C|=1 chiral edge branch per boundary, and the Li-Haldane entanglement spectrum tracks the edge; bulk-edge gives c_-=16*(1/2)*1=8=g_car+N_fam, corroborating v444 from a different observable. SEAM.EQUIV.01 stays [O]
Original claim text
An INDEPENDENT (topological) reading of the edge central charge c_-=8 (2026-06-30) -- corroborating v444/SEAM.EQUIV.CONTINUUM.EDGE.01 from a different observable. v444 read c_- from the CORRELATOR exponent (eta=1); this module reads the SAME c_-=8 from the bulk TOPOLOGY (Chern number) + the bulk-edge correspondence, a robust integer that does not depend on any fit, on the same v367/v368 p+ip collar. [E] INTEGER CHERN NUMBER: the M=1 collar lower band has Chern C=+1 by the Fukui-Hatsugai-Suzuki lattice link-variable method (an EXACT integer on the discretised BZ, no fit) -- one chiral channel per copy. [E] TRIVIAL-PHASE NEG CONTROL: M=3 (v368) has C=0 (no chiral edge); M=-1 gives C=-1 (opposite chirality, consistent with v444's opposite per-edge velocities). [E] BULK-EDGE CORRESPONDENCE: the open strip has EXACTLY |C|=1 in-gap edge branch crossing zero per boundary in the M=1 phase, 0 in the trivial phase -- the chiral edge channel count = |C|. [E] LI-HALDANE ENTANGLEMENT SIGNATURE: the half-cut bulk ground state's single-particle entanglement spectrum has in-gap modes at 1/2 in the topological phase and NONE in the trivial -- the entanglement edge tracks the physical edge. [C] EDGE CENTRAL CHARGE: c_- = N_Maj*(1/2)*|C| = 16*(1/2)*1 = 8 = g_car+N_fam, from the Chern integer + bulk-edge correspondence -- the SAME c_-=8 as v444's correlator route, from a logically independent topological observable. [C]/[O] VERDICT: v444's edge c_-=8=(E8)_1 reading is corroborated by an independent topological invariant; SEAM.EQUIV.01 stays [O] -- the topology fixes the edge central charge and channel count but does not supply the cited continuum existence theorem.
Original classification detail
Numerical
Dependencies as recorded
SEAM.EQUIV.01; SEAM.EQUIV.CONTINUUM.EDGE.01; v444; v367; v368; v376
Open the original ledger source, row 507Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Research contracts
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-06-30 ( v446/ v447/ v448 + Lean + Wolfram — deriving clock-invariance from [formula in source] -symmetry, an independent topological reading of the edge [formula in source] , and pinning the one external MMST fact at four-point order)Research changelog; TFPT — Introduction and reading guide
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- 2026-06-30 ( v449– v453 + Lean + Wolfram — the edge CFT named end-to-end: uniform-in- [formula in source] convergence, three independent reads of [formula in source] , the Ising operator tower, the [formula in source] modular data, and [formula in source] -symmetry derived from the four marks)Research changelog; TFPT — Introduction and reading guide
- Research Contract 1 — [formula in source]tfpt research contracts
- OutcomeRed-team audit
- Front matter / supportResearch contracts
- Research Contract 1 — [formula in source]tfpt research contracts
Registered verification modules
- v447_seam_edge_chern.pyRegistered verification module · frontier
Read the description recorded in the module registry
SEAM.EQUIV.EDGE.CHERN.01: an INDEPENDENT (topological) reading of the edge c_-=8, corroborating v444's correlator route via the bulk-edge correspondence on the same v367/v368 collar. [E] INTEGER CHERN NUMBER: the M=1 collar lower band has Chern C=+1 (Fukui-Hatsugai-Suzuki lattice link-variable method, an EXACT integer, no fit). [E] TRIVIAL-PHASE NEG CONTROL: M=3 (v368) has C=0; M=-1 has C=-1 (opposite chirality, matching v444). [E] BULK-EDGE CORRESPONDENCE: the open strip has EXACTLY |C|=1 in-gap edge branch per boundary (0 trivial). [E] LI-HALDANE: the half-cut bulk ground state's entanglement spectrum has in-gap modes at 1/2 in the topological phase, none trivial. [C] EDGE CENTRAL CHARGE: c_-=N_Maj*(1/2)*|C|=16*(1/2)*1=8=g_car+N_fam, from the Chern integer -- the SAME c_-=8 as v444 from an independent observable. [C]/[O] corroborates v444's (E8)_1 reading; SEAM.EQUIV.01 stays [O]. Python-only (numpy).
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.