Skip to main content

A registered result in its source context

Original ledger classification: Lie/lattice [L] + identity [I]

Recorded statement: Organizing simplification: the compiler atoms ARE the E8 fundamental Casimir invariant degrees deg(E8)={2,8,12,14,18,20,24,30} (exponents+1) [L]. CLEAN/non-trivial readings: 2=|Z2|, 8=rank E8, 14=dim G2 (the [K,Q] commutator G2, v37),…

Statement, assumptions and sources

Paper context: E8 audit and bootstrap

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

ARCH.E8DEG.01

Original ledger classification: Lie/lattice [L] + identity [I]

Original claim text

Organizing simplification: the compiler atoms ARE the E8 fundamental Casimir invariant degrees deg(E8)={2,8,12,14,18,20,24,30} (exponents+1) [L]. CLEAN/non-trivial readings: 2=|Z2|, 8=rank E8, 14=dim G2 (the [K,Q] commutator G2, v37), 20=det L (v10), 24=|W(A3)|=4! (Weyl group A3=S4), 30=h(E8)=2*3*5. Weaker/fittable (flagged): 12=|R(A3)| (A3 roots), 18=p4(a)=2+2^4 (anchor power sum). EXACT sum identities: sum(degrees)=128=2^7 = the de Sitter entropy prefactor (S_dS=e^(2 ainv)/(128 c3^4); 7=scalaron exponent g+n-1) [NEW clean]; sum(exponents)=120=|R+(E8)| (positive roots, v56); prod(degrees)=|W(E8)|=696729600. Since E8 is the audit hull, its invariant degrees being the theory's integers is structurally EXPECTED - confirms the E8 choice, not a coincidence; 6/8 clean, 2/8 fittable (honest)

Original classification detail

Lie/lattice [L] + identity [I]

Dependencies as recorded

v37; v10; v55; v56; h(E8)=30

Open the original ledger source, row 123

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.

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.

Registered verification modules

  • v66_e8_casimir_degrees.pyRegistered verification module · core
    Read the description recorded in the module registry

    compiler atoms = E₈ Casimir degrees; Σ = 128 = 2⁷

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