Skip to main content

A registered result in its source context

Original ledger classification: Identity [I] (seed NF, moment, spine, inventory) + [P] (named locality hypothesis) + audit

Recorded statement: EXTERNAL-REVIEW VALIDATION + the DEGREE-2 pattern named: (1) SEED NORMAL FORM [I] - phi0 = (|mu4|/N_fam) c3 + Omega_adm c3^|mu4| exactly: the seed is a linear seam term plus a topological fourth-order correction over all admissible fermion…

Statement, assumptions and sources

Paper context: TFPT — Introduction and reading guide

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.QUAD.01

Original ledger classification: Identity [I] (seed NF, moment, spine, inventory) + [P] (named locality hypothesis) + audit

Original claim text

EXTERNAL-REVIEW VALIDATION + the DEGREE-2 pattern named: (1) SEED NORMAL FORM [I] - phi0 = (|mu4|/N_fam) c3 + Omega_adm c3^|mu4| exactly: the seed is a linear seam term plus a topological fourth-order correction over all admissible fermion states (4/3 = |mu4|/N_fam, 48 = Omega_adm = N_fam dim S+, exponent 4 = |mu4|) - a structured anchor readout, not a fitted formula. (2) HYPERCHARGE SECOND MOMENT [I] computed from the explicit charge table: Tr X = 0, Tr X^2 = 120 = 5! (X = 6Y on one 16-state generation). (3) FACTORIAL SPINE [I] (named lemma): 5! = 120 = |R+(E8)| = sum of E8 exponents = Tr X^2; 240 = 2x120; 1920 = 2^4 x 5! = |W(D5)| - the same factorial moment in four projections (hypercharge, E8 roots, D5 Weyl group, Hawking-power fingerprint): an anti-numerology structure statement. (4) DEGREE-2 INVENTORY [I]: six exact degree-2 structures (Pascal closure truncates at K=2 with UNIQUE solution g=5 on 1..40; glue norms 5/4+3/4 = 2 = root norm; c3 = (1/2) x 1/(4pi) = variational half x 2d-slice Gauss-Bonnet; pair sector C(5,2) = 10 = A_Lambda; second moments; codimension-2 seam). NAMED HYPOTHESIS [P] (recorded, NOT claimed): QUADRATIC BOUNDARY LOCALITY - the seam supports only bilinear data, hence the compiler truncation K=2 is forced rather than chosen; if proven, the Pascal SELECTION (red-team Target B residual, REDTEAM.B.01/CAR.PASCAL.01, typed [A]/[P]) upgrades to [L] and the chain locality => K=2 => g=5 => 16 => D5 => E8 closes the carrier choice - the named reduction target for Target B. (5) AUDIT: 240 = 16x15 (even-code transition reading) exact but non-unique (240 = 16x5x3 established, v1), no bijection exhibited - recorded like the v91 graph reading. NOTES: 'reality compiler = {a, pi, v_geo}' is a restatement of v23+v78 (confirmed); the requested grammar-freeze rule is already implemented by v84 (pre-data freeze) + v100 (declared-grammar census)

Original classification detail

Identity: seed NF + factorial spine + degree-2 inventory; locality hypothesis [P] named

Dependencies as recorded

ARCH.CORE.01 (anchor); CAR.PASCAL.01 / REDTEAM.B.01 (the residual it names); FLAV.MASSVOL.01; HOR.01 (1920); REG.FREEZE.01; v100

Open the original ledger source, row 189

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

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

    External-review validation (v79-style identities + disciplined typing): SEED NORMAL FORM — φ₀ = (|μ₄|/N_fam)·c₃ + Ω_adm·c₃^|μ₄| exactly (linear seam term + topological 4th-order correction; 4/3 = |μ₄|/N_fam, 48 = Ω_adm, exponent = |μ₄|); hypercharge second moment computed from the explicit charge table: Tr X = 0, Tr X² = 120 = 5! (X = 6Y, 16 states); FACTORIAL SPINE: 5! = 120 = |R⁺(E₈)| = Σ E₈ exponents = Tr X², 240 = 2·120, 1920 = 2⁴·5! = |W(D₅)| — one moment, four projections; DEGREE-2 INVENTORY: Pascal K=2 closure UNIQUE at g=5 (scan 1..40), glue norms 5/4+3/4 = 2 = root norm, c₃ = ½·1/(4π), pair sector C(5,2) = 10; NAMED HYPOTHESIS [P]: Quadratic Boundary Locality (seam supports only bilinear data ⇒ K=2 forced — would upgrade the Pascal selection [A]/[P] → [L]: locality ⇒ K=2 ⇒ g=5 ⇒ 16 ⇒ D₅ ⇒ E₈); audit: 240 = 16×15 reading exact but non-unique, not promoted

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