Original ledger status
GATE.UWALL.10
GATE.UWALL.10
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
Recorded status: Identity [I] (column census + spectral normal + orbit control) + Physical [P] (restated programme)
Dependencies, status detail and source
Canonical status: 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: FLAV.DUAL.01; GATE.UWALL.07; GATE.UWALL.09; FLAV.H2.04 (superseded census); FLAV.SURF.01; HOR.NARIAI.01
Scripts: v136_dual_normal_selector.py
Location: tfpt_research_contracts; tfpt_2
Original CSV, line 221