Skip to main content

A registered result in its source context

Original ledger classification: Identity [I] (central charges, embedding) + [P] (net identification)

Recorded statement: G6 route - the seam BOUNDARY measure IS a rigorously constructed conformal net (imports G6 into existing rigor): level-1 central charges c=k dim/(k+h^v) give c(E8)_1=248/31=8=rank E8 (holomorphic c=8 E8-LATTICE VOA, single primary,…

Statement, assumptions and sources

Paper context: Origin Theory

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.METRIC.03

Original ledger classification: Identity [I] (central charges, embedding) + [P] (net identification)

Original claim text

G6 route - the seam BOUNDARY measure IS a rigorously constructed conformal net (imports G6 into existing rigor): level-1 central charges c=k dim/(k+h^v) give c(E8)_1=248/31=8=rank E8 (holomorphic c=8 E8-LATTICE VOA, single primary, Frenkel-Kac-Segal / Kawahigashi-Longo / Carpi), c(D5)_1=45/9=5, c(A3)_1=15/5=3; conformal embedding (D5)_1 x (A3)_1 ⊂ (E8)_1 since 5+3=8 => coset c=0. The gap Delta_eff>0 (v76) => exponential clustering => tightness of the boundary projective limit. So G_metric Tier B reduces to identifying the seam-Calderon boundary measure with the (E8)_1 lattice net; residual = the identification + bulk reconstruction

Original classification detail

Identity [I] + [P] (boundary net identification)

Dependencies as recorded

GATE.METRIC.02; FLAV.CFT (v61); v76

Open the original ledger source, row 143

Location 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.

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.

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.

All 10 linked sections

Registered verification modules

  • v77_e8_conformal_net.pyRegistered verification module · frontier
    Read the description recorded in the module registry

    G6 route: seam boundary = (E₈)₁ lattice net (rigorous); c(E₈)=8, c(D₅)=5, c(A₃)=3, embedding 5+3=8

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.