A registered result in its source context
Original ledger classification: Reduction [E] (modular data + condensation tower + Gauss-Milgram) + [O] (one bit)
Recorded statement: MODULAR-DATA / ANYON-CONDENSATION LAYER OF THE Tier-B HOLOMORPHY BIT (2026-06-18): complements v277 (det+character) with the anyon/modular-data view. [E] #anyons = |det Gram|: E8 -> 1 (holomorphic, single sector), D8=SO(16)_1 -> 4 (anyons…
Statement, assumptions and sources
Paper context: Frontier and open physical interfaces
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
QGAMB.MODULAR.01
Original ledger classification: Reduction [E] (modular data + condensation tower + Gauss-Milgram) + [O] (one bit)
Original claim text
MODULAR-DATA / ANYON-CONDENSATION LAYER OF THE Tier-B HOLOMORPHY BIT (2026-06-18): complements v277 (det+character) with the anyon/modular-data view. [E] #anyons = |det Gram|: E8 -> 1 (holomorphic, single sector), D8=SO(16)_1 -> 4 (anyons 1,v,s,c), carrier D5(+)A3 -> det(D5)*det(A3)=4*4=16. [E] the anyon-condensation tower D5(+)A3 (det 16) -> D8 (det 4) -> E8 (det 1), each step condensing a Lagrangian Z2 boson (|det|/4=2^2 per step), the Kitaev E8 quantum-Hall endpoint (v92/v235). [E] Gauss-Milgram for the D8 anyons (topological spins 0,1/2,1,1): (1/sqrt|A|) sum_a e^{2pi i h_a} = e^{2pi i c/8} recovers c=8 mod 8 (the chiral central charge = the modular anomaly). [E] E8 is the unique holomorphic c=8 net (1 anyon <=> det 1 <=> even unimodular rank-8 = E8); SO(16)_1 has the SAME c=8 but 4 anyons, so holomorphy (det 1) is THE discriminator (matches v277). [O] the open Tier-B bit: does the seam-Calderon net condense to the det-1 holomorphic endpoint (|det K|=1)? Reduced to one bit, not closed.
Original classification detail
[E] #anyons=|det Gram| + the condensation tower 16->4->1 + Gauss-Milgram c=8 + E8 the unique holomorphic point; [O] the single holomorphy bit. The modular-data view of QG.AMB.01 Tier-B; complements v277. Exact core mirrored in Wolfram.
Dependencies as recorded
QGAMB.TIERB.01; GATE.HOLO.02; QGAMB.ROADMAP.01; E8.GLU.01
Open the original ledger source, row 376Location 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.
- Frontier and open physical interfaces
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-18 (self-investigation round: pillowcase DtN, modular data, the E8-at- [formula in source] unification, live scorecard, v280– v283)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Front matter / supportFrontier and open physical interfaces
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.
- Externalization Contract — SEAM.EQUIV.01 (the seam scaling-limit theorem, packaged for external specialists)tfpt research contracts
- 2026-06-30 ( v445 — the rigidity FORCING converse: commuting with the order- [formula in source] clock is exactly [formula in source] -block-diagonality, upgrading the rigidity step from ``permit'' to ``force'')Research changelog; TFPT — Introduction and reading guide
- The unique attractor: a gapped transport selects ONE fixed pointorigin theory
- 2026-06-25 (No-Ambient-Dependency: no frozen readout is computed from QG.AMB.01: v423)Research changelog; TFPT — Introduction and reading guide
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
- 2026-06-19 (an infinite-derivative narrowing of the Stelle-ghost attack, the double-pushout figure, and the ``constancy of [formula in source] '' framing of SEAM.EQUIV.01: v304)Research changelog; TFPT — Introduction and reading guide
- Research Contract 1 — [formula in source]tfpt research contracts
- 2026-06-22 (frontier round: the OS step discharged at the many-body level, the ambient measure built on the gap-decoupled sector, and the carrier Cartan determinants grounded in Lean: v329, v330, FORM.CARTAN.DET.01)Research changelog; TFPT — Introduction and reading guide
All 22 linked sections
- Front matter / support
- 2026-06-18 (closing sprint: the Seam Equivalence Theorem named + both routes attacked, v286– v288)
- The unique attractor: a gapped transport selects ONE fixed point
- The [formula in source] compiler: [formula in source] as a closure, not an input
- The [formula in source] compiler: [formula in source] as a closure, not an input
- Research Contract 1 — [formula in source]
- 2026-06-25 (The (LTO-RP) reduction of the keystone SEAM.EQUIV.01: v424)
- 2026-06-22 (the one keystone bit [formula in source] mapped: six equivalent faces, the genus-1 obstruction, three access routes, the hypergraph-homotopy route the most promising fresh angle: v344)
- The [formula in source] compiler: [formula in source] as a closure, not an input
- Full quantum gravity — induced from the boundary kernel
- Front matter / support
- Externalization Contract — SEAM.EQUIV.01 (the seam scaling-limit theorem, packaged for external specialists)
- The unique attractor: a gapped transport selects ONE fixed point
- Externalization Contract — SEAM.EQUIV.01 (the seam scaling-limit theorem, packaged for external specialists)
Registered verification modules
- v281_holomorphy_modular_data.pyRegistered verification module · frontier
Read the description recorded in the module registry
QGAMB.MODULAR.01 — the modular-data / anyon-condensation layer of the QG.AMB.01 Tier-B holomorphy bit. [E] #anyons=|det Gram|: E8→1 (holomorphic), D8=SO(16)→4, carrier D5⊕A3→16; [E] the anyon-condensation tower D5⊕A3 (16) → D8 (4) → E8 (1), each step condensing a Lagrangian Z2 boson (|det|/4=2²), the Kitaev E8 endpoint (v92/v235); [E] Gauss-Milgram (D8 spins 0,1/2,1,1) recovers c=8; [E] E8 is the unique holomorphic c=8 (det 1) — SO(16) has the same c=8 but 4 anyons, so holomorphy is THE discriminator (v277); [O] the open bit: does the seam-Calderón net condense to det K=1? Reduced to one bit, not closed.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.