A registered result in its source context
Original ledger classification: Identity [I] (column census + spectral normal + orbit control) + Physical [P] (restated programme)
Recorded statement: THE DUAL-NORMAL SELECTOR ((d,n) pins R columnwise; the R4' residue is bounded; external review 2026-06-12, validated and sharpened): (1) COLUMN NORMAL FORM [I]: d.c_j = a_j and n.c_j = 8 delta_1j for the columns of R; the common kernel of…
Statement, assumptions and sources
Paper context: Standard Model and flavor structure
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.UWALL.10
Original ledger classification: Identity [I] (column census + spectral normal + orbit control) + Physical [P] (restated programme)
Original claim text
THE DUAL-NORMAL SELECTOR ((d,n) pins R columnwise; the R4' residue is bounded; external review 2026-06-12, validated and sharpened): (1) COLUMN NORMAL FORM [I]: d.c_j = a_j and n.c_j = 8 delta_1j for the columns of R; the common kernel of (d,n) is the primitive vector (6,8,7) (audit: p_2, rank E8, scalaron-7), so within the address box {0..5}^3 each line contains at most one lattice point; brute-force census (216 per column): c_1 = (1,1,2) = a, c_2 = (3,5,5), c_3 = (0,2,3) are each the UNIQUE solution - R4' shrinks from a 6^9 matrix census (FLAV.H2.04) to three 1-of-216 column problems: (d,n) => R. (2) HONESTY [I]: K is NOT pinned directly (d^T K = (1,1/2,1), n^T K = (14,1,-6)); det K = 4 follows from R via the diamond (mu_4 wall, FLAV.SURF.01). (3) SPECTRAL NORMAL [I]: the zero mode of the exact anchor residue A0* (GATE.UWALL.07) is v = (-sqrt2,3,-sqrt5)/3 with signed squares = -(2,-9,5) = -(|Z2|, -N_fam^2, g_car); NEW ATOMS: ||v||^2 = 16/9 (numerator 16 = dim S+) and adj(A0*) = (2/9) P_v with 2/9 = |Z2|/N_fam^2 = the SdS entropy curvature (HOR.NARIAI.01). (4) SIGMA RELATIONS [I]: sigma.1 = -|Z2|, sigma.a = N_fam, n.sigma = 121 = ||Pl(K)||_1^2 (the v119 audit constant). (5) ORBIT CONTROL [I]: exact enumeration |W(A3)| = 24 (GATE.UWALL.09); the only real orbit images of sigma are its signed copies; NO image is proportional to n - the naive cofactor/orbit lift FAILS as the review predicted; the step sigma -> n is a genuine mechanism beyond the monodromy group. (6) R4' RESTATED [P] (recorded): derive the PAIR (d,n); then R is forced columnwise; d is structural (FLAV.DUAL.01), the residue is the derivation of n - bounded by the sigma relations and the negative orbit control
Original classification detail
Identity: (d n) => R columnwise (each column 1-of-216); A0* zero mode = -(2 -9 5) signed squares; n.sigma = 121; W(A3) orbit excludes the naive lift
Dependencies as recorded
FLAV.DUAL.01; GATE.UWALL.07; GATE.UWALL.09; FLAV.H2.04 (superseded census); FLAV.SURF.01; HOR.NARIAI.01
Open the original ledger source, row 221Location 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.
- Standard Model and flavor structure
- Research contracts
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.
- 2026-06-24 (The [formula in source] dual keystone + the flavor residuals it homes: v405– v407)Research changelog; TFPT — Introduction and reading guide
- The closure ledger: what is done, and what genuinely remainsTFPT — Introduction and reading guide
- Certifiability and recommended ordertfpt research contracts
- Research Contract 1 — [formula in source]tfpt research contracts
- What this means for the theory-of-everything questionTFPT — Introduction and reading guide
- The hard reduction: the live residual as typed interfacesTFPT — Introduction and reading guide
- Front matter / supportResearch contracts
- 2026-06-12Research changelog; TFPT — Introduction and reading guide
Registered verification modules
- v136_dual_normal_selector.pyRegistered verification module · registry
Read the description recorded in the module registry
THE DUAL-NORMAL SELECTOR ((d,n) pins R COLUMNWISE; the R4′ residue is bounded): COLUMN NORMAL FORM [I]: d·c_j = a_j and n·c_j = 8δ₁ⱼ for the columns of R; the common kernel of (d,n) is the primitive vector (6,8,7) (audit: p₂, rank E₈, scalaron-7), so within the address box {0..5}³ each line contains at most one lattice point — brute-force census (216 per column): c₁ = (1,1,2) = a, c₂ = (3,5,5), c₃ = (0,2,3) are each the UNIQUE solution, so R4′ shrinks from a 6⁹ matrix census (v121) to three 1-of-216 column problems: (d,n) ⇒ R; HONESTY [I]: K is NOT pinned directly (dᵀK = (1,1/2,1), nᵀK = (14,1,−6)); det K = 4 follows via the diamond (μ₄ wall, v135); SPECTRAL NORMAL [I]: the A₀* zero mode v = (−√2,3,−√5)/3 has signed squares = −(2,−9,5) = −(|ℤ₂|, −N_fam², g_car), with NEW atoms ‖v‖² = 16/9 (16 = dim S⁺) and adj(A₀*) = (2/9)·P_v where 2/9 = the SdS entropy curvature; SIGMA RELATIONS [I]: σ·1 = −|ℤ₂|, σ·a = N_fam, n·σ = 121 = ‖Pl(K)‖₁² (the v119 audit constant); ORBIT CONTROL [I]: |W(A₃)| = 24 exactly, the only real orbit images of σ are its signed copies, NO image proportional to n — the naive cofactor/orbit lift FAILS as the review predicted: the step σ → n is a genuine mechanism beyond the monodromy group; R4′ RESTATED [P]: derive the PAIR (d,n); then R is forced columnwise
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.