A registered result in its source context
Original ledger classification: Lattice/CS realisation (exact) [E]/[O]
Recorded statement: SEAM CHERN-SIMONS REALISATION (2026-06-17): the closing step of GATE.HOLO.01 realised in standard abelian Chern-Simons / quantum-Hall language, where 'holomorphic <=> det K = 1' is a THEOREM -- a genuine reduction of the analytic step into…
Statement, assumptions and sources
Paper context: tfpt 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
GATE.HOLO.02
Original ledger classification: Lattice/CS realisation (exact) [E]/[O]
Original claim text
SEAM CHERN-SIMONS REALISATION (2026-06-17): the closing step of GATE.HOLO.01 realised in standard abelian Chern-Simons / quantum-Hall language, where 'holomorphic <=> det K = 1' is a THEOREM -- a genuine reduction of the analytic step into anyon condensation, NOT a closure. A free gapped BOSONIC 2+1d bulk = an even integer K-matrix; #anyons (torus degeneracy) = |det K|, edge chiral central charge c = signature(K), and the edge chiral net is holomorphic (single sector) <=> |det K| = 1. So the v234 condition 'no nontrivial abelian sector' = exactly |det K| = 1. The TFPT extension tower (v92/GATE.METRIC.07) IS the anyon-condensation tower read by determinant: carrier D5(+)A3 (even, det 16, c=8, 16 anyons, mu=16) -> SO(16)_1=D8 (det 4, 4 anyons, mu=4) -> (E8)_1 (det 1, 1 anyon, mu=1, HOLOMORPHIC); all rank 8 with c = signature = 8 = g_car+N_fam. Holomorphic <=> det 1 <=> E8 = the unique even unimodular rank-8 K-matrix = the Kitaev E8 quantum-Hall state (edge (E8)_1). CONDENSATION: a Lagrangian (maximal isotropic) glue of order sqrt(16)=|mu4|=4 takes det 16->16/4^2=1 (carrier->E8); an order-2 isotropic only ->16/2^2=4 (D8). So 'holomorphic' = 'condense the order-|mu4| Lagrangian glue', not a partial. NEG: D8 (det 4) is free+bosonic yet has 4 anyons (not holomorphic, the SO(16)_1 rival); an odd-diagonal K is fermionic (spin-CS) -- 'free+bosonic' does NOT imply holomorphic, det=1 is the extra physical condition. RESIDUAL [O]: the closing step = 'the free RP gapped seam condenses the order-|mu4| Lagrangian glue (det->1), not a partial isotropic (det->4)' -- the same sheet/mu4 selection as GATE.QGEO, now with holomorphy<=>det1 a theorem and the residual a single integer condition.
Original classification detail
[E] free gapped bosonic bulk = K-matrix; #anyons=|det K|, c=signature, holomorphic<=>det 1; the v92 tower D5(+)A3(16)->D8(4)->E8(1) is the condensation tower; holomorphic=E8=Kitaev E8 state; residual = 'condense the |mu4| Lagrangian glue' = the sheet/QGEO selection [O]
Dependencies as recorded
GATE.HOLO.01; GATE.METRIC.07; TOPO.E8.01; QGEO.SYM.01
Open the original ledger source, row 321Location 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.
- 2026-06-17 (CP phases as [formula in source] powers — a reduction of red-team Target D)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportResearch contracts
- Research Contract 1 — [formula in source]tfpt research contracts
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Research Contract 1 — [formula in source]tfpt research contracts
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 (shadow-export coherence — the tfpt5-shadow mirror is now reproducible as shipped: the audit is shadow-aware, the content maps are non-destructive on the website-free subset, and an export gate blocks any incoherent mirror)Research changelog; TFPT — Introduction and reading guide
- The hard reduction: the live residual as typed interfacesTFPT — Introduction and reading guide
- Front matter / supportResearch contracts
Registered verification modules
- v235_seam_chern_simons.pyRegistered verification module · frontier
Read the description recorded in the module registry
The closing step in abelian Chern-Simons language: holomorphic <=> det K = 1 -- a genuine reduction (not a closure) of GATE.HOLO.01 into standard anyon-condensation physics. A free gapped bosonic 2+1d bulk = an even integer K-matrix with #anyons = |det K|, edge c = signature(K), holomorphic <=> |det K| = 1. The TFPT extension tower (v92) IS the condensation tower read by det: carrier D5(+)A3 (det 16, 16 anyons) -> SO(16)_1=D8 (det 4) -> (E8)_1 (det 1, holomorphic), all rank 8, c=signature=8=g_car+N_fam. Holomorphic <=> det 1 <=> E8 = the Kitaev E8 quantum-Hall state. Condensation: a Lagrangian glue of order sqrt(16)=|mu4|=4 takes det 16->1 (a partial order-2 isotropic only ->4=D8). NEG: D8 is free+bosonic but has 4 anyons; an odd K is fermionic -- det=1 is the extra condition. Residual: 'the free RP seam condenses the order-|mu4| Lagrangian glue' = the sheet/QGEO selection, now with holomorphy<=>det1 a theorem.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.