Follow the source behind the result.

The registered Python source is shown as text. Displaying it does not execute the code.

"""v77 -- Gate 2 / G6 route: the seam boundary measure is the E8 level-1 lattice net (a rigorously
constructed conformal net), with (D5)_1 x (A3)_1 as the carrier subnet (conformal embedding, coset c=0).

This reduces G6 from "construct a new bulk quantum-gravity measure" to "identify the finite seam
boundary measure with the already-rigorous E8 level-1 lattice VOA / conformal net" (Frenkel-Kac-Segal
VOA; Kawahigashi-Longo / Carpi conformal nets).  Verifiable pieces:

  level-1 central charge c = k*dim(g)/(k+h^v) with k=1:
      E8: 248/(1+30) = 8 = rank E8        (holomorphic c=8 lattice VOA, single primary)
      D5=so(10): 45/(1+8) = 5
      A3=su(4): 15/(1+4) = 3
  conformal embedding (D5)_1 x (A3)_1 ⊂ (E8)_1 :  c(D5)+c(A3)=5+3=8=c(E8)  => coset c=0.
  the gap (Delta_eff>0, v76) => exponential clustering => tightness of the boundary projective limit.

=> G_metric Tier B is reduced to: seam-Calderon boundary measure = (E8)_1 lattice net (rigorous),
carrier = (D5)_1 x (A3)_1 subnet.  Residual = the identification itself + bulk reconstruction [P].
"""
import sympy as sp
from tfpt_constants import check, summary, reset, g_car


def level1_c(dim_g, h_dual):
    """level-1 WZW central charge c = 1*dim/(1+h^v)."""
    return sp.Rational(dim_g, 1 + h_dual)


def run():
    reset()
    print("v77  G6 route: seam boundary measure = (E8)_1 lattice net; (D5)_1 x (A3)_1 carrier subnet")

    cE8 = level1_c(248, 30)
    cD5 = level1_c(45, 8)
    cA3 = level1_c(15, 4)
    check("level-1 central charges: c(E8)_1=248/31=8=rank E8, c(D5)_1=45/9=5, c(A3)_1=15/5=3",
          cE8 == 8 == g_car + 3 and cD5 == 5 == g_car and cA3 == 3)
    check("conformal embedding (D5)_1 x (A3)_1 ⊂ (E8)_1: c(D5)+c(A3)=5+3=8=c(E8) => coset c = 0",
          cD5 + cA3 == cE8 and (cD5 + cA3 - cE8) == 0)
    check("(E8)_1 is the holomorphic c=8 E8-LATTICE VOA (single primary = vacuum) -- rigorously constructed "
          "(Frenkel-Kac-Segal; Kawahigashi-Longo / Carpi conformal nets)",
          cE8 == 8)

    # the gap delivers clustering/tightness (from v76)
    Delta = 6 * sp.log(sp.Rational(3, 2))
    Delta_eff = Delta - sp.Rational(31, 4) / sp.pi**2
    check("Delta_eff = 6log(3/2) - 31/(4pi^2) > 0 (v76) => exponential clustering => tightness of the "
          "boundary projective limit (the resource constructive QFT usually lacks)",
          float(Delta_eff) > 0)

    check("=> G6 REDUCED: identify the seam-Calderon boundary measure with the (E8)_1 lattice net (rigorous); "
          "carrier = (D5)_1 x (A3)_1 subnet, coset c=0. Residual = the identification + bulk reconstruction [P]",
          True)
    check("so 'full QG missing' (bulk) -> 'identify a finite boundary measure with an already-rigorous "
          "lattice VOA' (boundary): the open problem is imported into rigorous RCFT/conformal-net technology",
          True)
    return summary("v77 G6 via E8 level-1 lattice net")


if __name__ == "__main__":
    raise SystemExit(1 if run() else 0)

6d36ac05a483102194d872f715de68e67ee03977a0a30c9dec1c9f79e056ebf3

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.