A registered result in its source context

QGEO.EMERGE.LIGHT.01

Original ledger classification: Formal [E] (exact structure: pillowcase = half torus pair structure, permutation identities R^2 = Z2, clock-forcing a3 = a2 = a1 = 0 with j = 1728 identically, Coxeter charpoly) + Numerical [N] (eta/E2*/j at 40 digits; v280-style lattice DtN curves) + [C] (clock = carrier input) + [O] (the dynamical realisation of the clock); NO marker moves -- QGEO.REALIZE.01 stays [C]/[O]

Original claim text

THE v215 DEFERRED EMERGENCE TEST (LEVER 7) EXECUTED LIGHT + RESIDUAL CONVERGENCE QGEO-R1 == P2-R1 (2026-07-21; analysis/kill-test class, v347/v264 style; NO marker moves -- QGEO.REALIZE.01 stays [C]/[O], AX.P2.01 stays an axiom): v215 lever 7 said the decisive (deferred) kill of the bedrock is to compute the raw P1 seam-collar DtN WITHOUT inputting the marks and check whether four SQUARE marks EMERGE; v216 already derives mark COUNT and EQUALITY from topology, so the genuinely open part is the MODULUS. The light version (17 checks) returns: RIGIDITY, NOT DYNAMICAL SELECTION. [N] NO DYNAMICAL SELECTION (zeta-log-det via the Dedekind-eta formula, mpmath 40 digits): logF = log(tau2 |eta|^4) is exactly S-invariant (dev < 1e-35), so t = 1 is AUTOMATICALLY critical on the rectangular family tau = it; there g'(1) = 0 and g''(1) = -1.2982113 < 0 (strict local maximum of det') BUT the tau1-direction has h''(0) = +0.29821132 > 0: tau = i is a SADDLE of the full moduli space; the critical points of logF are exactly the CM points (E2*(i) = 0, E2*(rho) = 4.7e-42, generic |E2*| = 0.163 != 0); the GLOBAL det' winner at fixed area is the HEXAGONAL torus: logF(rho) = -1.033519276 > logF(i) = -1.054688281 (diff 0.021169; Osgood-Phillips-Sarnak 1988) -- free-field dynamics alone does NOT select tau = i on the full (2,2,2,2) moduli space; criticality at the square is Palais symmetric criticality (the independent heat trace is t -> 1/t invariant and equally critical), not dynamics. [N] SHARP RIGIDITY (v280 lattice DtN machinery, N = 8): the mod-4 off-character indicator of the raw free-field DtN (the v215-K3 lever as a MODULUS FUNCTION) vanishes to 8.0e-15 EXACTLY at tau = i and increases strictly monotonically in both directions (min 8.4e-2 for every t != 1): an isolated zero, not a flat valley; R^2 = Z2 exactly as permutation matrices and R^4 = 1 (the v492 Z8 bridge on the lattice); j(it) >= 1728 with equality ONLY at t = 1, j(rho) = 0 -- only j = 1728 carries a Z4 automorphism (v214/v168). [E] THE Z2 CHAIN IS MODULUS-BLIND: the involution z -> -z has exactly 4 fixed points (2-torsion = the 4 marks) and [Z2, Delta_t] = 0 on EVERY torus -- v216 confirmed without inputting marks; the pillowcase det' is EXACTLY half the torus det' (+- pair structure, ratio 1.000000000000, dim(even) = (N^2+4)/2), so zeta_pillow = zeta_torus/2 and all tau conclusions transfer verbatim; [Z2, H_t] = 0 for all t (max 3.9e-15) -- marks, mark-locality and deck^2-invariance (v264/v280) exist on EVERY pillowcase; ONLY the order-4 clock distinguishes tau = i; Aut(E_rho) = Z6 (element orders 1,2,3,6) contains NO order-4 element: the dynamically selected hexagonal point CANNOT carry the mu4 clock -- dynamics and clock-symmetry are logically INDEPENDENT selectors; GIVEN the clock, P(iZ) = P(Z) forces a3 = a2 = a1 = 0 and the surviving family Z^4 + a0 has j = 1728 identically (v493 S1 mini): the modulus is NOT a second input. [C/O] RESIDUAL CONVERGENCE (the core finding): the order-4 element acting on H^1 is a COXETER element of W(A3) (char poly lam^3 + lam^2 + lam + 1, order h(A3) = 4 = |mu4| = N_fam + 1) -- exactly the P2 cusp-class/carrier datum of the P2 hardening (v499 R1: generation space = H^1(P^1 minus mu4) with the cusp connection): QGEO-R1 == P2-R1, ONE COMMON RESIDUAL -- 'why does the raw seam carry the order-4 clock' -- not two scattered ones. Chain: (i) mark count 4 derived (v216 [E]); (ii) square derived GIVEN the clock (v493 [E]); (iii) clock = carrier input [C]; (iv) rest = the dynamical realisation of the clock [O]. Route classification (v347 analogue): B-rigidity in the sharpened form 'RP seam data => order-4 clock' is the live route; free dynamics alone does NOT deliver the clock (the hexagonal finding). LEVER UPDATE (documented here; v215 itself unchanged): v215 lever 7 is lifted from 'deferred, not executable' to 'light version EXECUTED, result: rigidity instead of dynamical selection' -- marks emerge, the square does NOT emerge dynamically, it is pinned by the clock, and the clock is the input. No gate closes, no marker moves; QGEO.REALIZE.01 stays [C]/[O].

Original classification detail

Emergence test light [E]/[N]/[C]/[O]: no dynamical selection of the square (global det' winner = hexagonal, tau = i a saddle, criticality = Palais symmetry); the square is pinned by rigidity alone (DtN mod-4 indicator = isolated zero at tau = i; j = 1728 iff t = 1; Z2 chain modulus-blind); residual convergence: QGEO-R1 == P2-R1 = ONE common rest, the order-4 clock (Coxeter of W(A3) = the v499 cusp-class carrier datum); v215 lever 7 lifted from deferred to light-executed -- marker unchanged, QGEO.REALIZE.01 stays [C]/[O]

Dependencies as recorded

QGEO.KILL.01; QGEO.REALIZE.01; QGEO.RIGID.01; P2.TYPING.01; CELEST.WP1.01; CELEST.WP2.01; v215; v216; v264; v280; v347; v492; v493; v499