Skip to main content

A registered result in its source context

Original ledger classification: Identity [I] (exact arithmetic on frozen integers) + Physical [P] (per-fermion derivation)

Recorded statement: THE ADDRESS TABLE (the open FLAV.H2.02 item structured; exact arithmetic on FROZEN v18/v20 integers): (1) THE LEPTON WORDS ARE THE COMPILER ATOMS [I]: (L_e, L_mu, L_tau) = (8, 5, 3) = (rank E8, g_car, N_fam) = (p0+e2, e2, p0), in mass…

Statement, assumptions and sources

Paper context: 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

FLAV.H2.03

Original ledger classification: Identity [I] (exact arithmetic on frozen integers) + Physical [P] (per-fermion derivation)

Original claim text

THE ADDRESS TABLE (the open FLAV.H2.02 item structured; exact arithmetic on FROZEN v18/v20 integers): (1) THE LEPTON WORDS ARE THE COMPILER ATOMS [I]: (L_e, L_mu, L_tau) = (8, 5, 3) = (rank E8, g_car, N_fam) = (p0+e2, e2, p0), in mass order (longest word = lightest lepton). (2) ADDRESSES = EUCLIDEAN DIVISION BY THE HEXAGON [I]: (r, w) = L divmod p2 with p2 = 6 = |R+(A3)| itself an atom: e -> (2,1), mu -> (5,0), tau -> (3,0); sum r = 10 = p3 = A_Lambda; sum L = 16 = dim S+ = 2^{g-1}. (3) SHEET PARITY [I] (the FLAV.H2.02 dictionary applied): e sits on the untwisted sheet (omega in spec M0), mu and tau on the twisted sheet (-omega, -1 in spec(-M0)); the anchor lepton tau occupies the unique REAL twisted eigenvalue -1 - exactly the site where v20's product rule replaces the resolvent. (4) QUARK SUM RULES [I] (frozen v18 words u,d,s,c,b,t = 7,7,5,3,2,0): up-type sum = 10 = p3; down-type sum = 14 = p1 + p3; ALL QUARKS = 24 = |W(A3)| (the flavor-wall monodromy group order, GATE.UWALL.09); ALL NINE CHARGED FERMIONS = 40 = p1 p3 = a^T R a (ARCH.TRIAD.01 bonus checksum); quark sum r = 12 = 2 p2, sum w = 2 = |Z2|; the top sits at the vacuum site (0,0) (zero word length, no suppression - the established ladder anchor). (5) RESIDUE [P] (recorded): five independent closures (16, 10, 14, 24, 40 - all anchor atoms or today's group orders) constrain the address map, but the per-fermion assignment remains the v18/v20 input; deriving it is the remaining H2 content. FIREWALL: all integers were frozen before today's readings - no degrees of freedom spent

Original classification detail

Identity: lepton words = (rank g N); addresses = divmod hexagon; quark sums = (p3 p1+p3 |W(A3)| p1p3); assignment derivation open

Dependencies as recorded

FLAV.H2.02; GATE.UWALL.09; ARCH.TRIAD.01; v18 (quark words); v20 (lepton words)

Open the original ledger source, row 204

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

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

    THE ADDRESS TABLE (the open H2 item structured; exact arithmetic on FROZEN v18/v20 integers — the red-team firewall): THE LEPTON WORDS ARE THE COMPILER ATOMS [I] — (L_e, L_μ, L_τ) = (8, 5, 3) = (rank E8, g_car, N_fam) = (p₀+e₂, e₂, p₀), in mass order (longest word = lightest lepton); ADDRESSES = EUCLIDEAN DIVISION BY THE HEXAGON [I]: (r,w) = L divmod p₂ with p₂ = 6 = |R⁺(A₃)| itself an atom: e → (2,1), μ → (5,0), τ → (3,0); Σr = 10 = p₃ = A_Λ, ΣL = 16 = dim S⁺; SHEET PARITY [I] (the v118 dictionary applied): e on the untwisted sheet (ω ∈ spec M̃₀), μ/τ on the twisted sheet (−ω, −1) — the anchor lepton τ occupies the unique REAL twisted eigenvalue −1, exactly the site where v20's product rule replaces the resolvent; QUARK SUM RULES [I] (frozen v18 words 7,7,5,3,2,0): up-sum = 10 = p₃, down-sum = 14 = p₁+p₃, ALL QUARKS = 24 = |W(A₃)| (the monodromy group order, v117), ALL NINE CHARGED FERMIONS = 40 = p₁p₃ = aᵀRa (v119); top at the vacuum site (0,0) — zero word, the ladder anchor; residue [P]: five closures (16, 10, 14, 24, 40) constrain the map, the per-fermion assignment derivation remains the open H2 content

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

Search later reviewed research for this identifierRead the coverage boundaries