A registered result in its source context

CELEST.WP5E.EPS1.01

Original ledger classification: Formal/Identity [E] (exact slot/residue/GH arithmetic: equivariant Penrose ledger block by block d <= 6, character series P_m, Molien hypersurface relation degree 8, Okubo perfect square (6<x,x>)^2, measure chain mu-exact excluding 3 and 12, flux single-channel iff k = 1, GH centre dichotomy, period lockstep 4 pi t0 (i-1)(1, i, i^2), Coxeter clock from geometry, EH log ledger with asymptotic coefficient exactly 0, multipole selection rule m = 0 mod 4 -- sympy/Fraction exact, Wolfram-mirrored) + [C] (Costello's flat-PT matching lambda_g^2 E = A: the measure chain is CLASSICAL bookkeeping) + [O] (the quantised BCOV one-loop coefficient on PT/Z4; the twisted channels 32 T3 not covered by the bulk axion -- M1-M3 preregistered with success + kill criteria)

Original claim text

WP5e-EPSILON-1 OF THE CELESTIAL-HOLOGRAPHIC CONTRACT EXECUTED (2026-07-22; CELEST.SEAM.01 work package 5e, epsilon-1 stage -- 'the O(-2) bulk-axion slot', verdict B; exact sympy/Fraction arithmetic, no floats, 34 checks, ~4 s): build the s = 0 tower field explicitly (v505 E3: the BSS axion is, via Omega-contraction, the O(-2) slot; a0 does NOT fill it), pin lambda~ = 6 (v495: lambda~^2 = 36 = h_vee + 6) as a residue with explicit factor bookkeeping on PT/Z4, and take the first honest back-reaction step (the Gibbons-Hawking A3 form of the CPS Omega_N mechanism, arXiv:2306.00940). [E] EQUIVARIANT O(-2) SLOT: pushforward ledger pi_* O(-2) on PT' = tot(O(1)+O(1) -> P^1): per spacetime degree d exactly (d+1)^2 = nullspaces of the wave operator (1, 4, 9, 16, 25, 36 for d = 0..5); the v492 action on the fibre coordinates (mu1, mu2) -> (i mu1, i^-1 mu2), incidence forces column weights (+1, +1, -1, -1); the equivariant bookkeeping closes BLOCK BY BLOCK (all d <= 6, all 4 characters); character series P_0 = 1 + 3t^2 + 15t^4 + 21t^6 + 45t^8 + ..., P_1 = P_3 = 2t + 8t^3 + 18t^5 + ..., P_2 = 6t^2 + 10t^4 + 28t^6 + ...; the d = 0 slot has multiplicity (1, 0, 0, 0) -- THE BULK AXION SURVIVES THE PROJECTION (density 1/|Z4|); Molien invariant ring = (1 - t^8)/((1 - t^4)^2 (1 - t^2)) -- Z in O(2), X, Y in O(4), relation degree 8 = the a0 weight (v492/v493 bridge); E3 bijection sharpened: twisted characters {i, -1, -i} with minimal content (2t, 6t^2, 2t) and NO degree-0 mode = the Coxeter eigenvalues on H^2(ALE), det(A-1) = -4; graviton control: the O(+2) slot starts invariant only at fibre degree 4 with multiplicity 3 = {X, Z^2, Y} (the cohomological form of v505 X = -2 != +2 = Y). [E] LAMBDA~ = 6 TRIPLY PINNED: (1) Okubo: Tr_adj X^4 = 36<x,x>^2 = (6<x,x>)^2 on the 240 glue roots, 36 = h_vee + 6, lambda~ = 6 = |Z2| N_fam; (2) measure cancellation: mu = 1/4 enters three times (vertex^2 mu^2, propagator 1/mu, anomaly mu) and cancels EXACTLY -- lambda~_eff^2 = 36 for ARBITRARY mu; wrong bookings quantified and excluded: anomaly-only => lambda~ = 3 = N_fam, missing propagator renormalisation => lambda~ = 12 = |mu4| N_fam; (3) flux: minimal CPS quantum N = 1, a single exchange channel exactly at k = 1 (#primaries), (kappa/c3)^2 = 36/3 = 12 exact. [E] GH/A3 BACK-REACTION STEP: invariant 4-centre configurations = exactly 2 branches (axis^4 = pure resolution or ONE free mu4 orbit = pure deformation); free orbit => prod(Z - i^p z0) = Z^4 - z0^4 => XY = Z^4 + a0 with a0 = -z0^4 (the v493 family RE-DERIVED from the geometry); monodromy a0 -> e^{2 pi i} a0 = one clock step; the GH point of charge k is EXACTLY R^4/Z_k (k = 4 => seam boundary S^3/Z4); periods int omega = 4 pi (x_q - x_p), free orbit: Pi_j = 4 pi t0 (i-1)(1, i, i^2), |Pi_j| equal (LOCKSTEP, counter-check of v509); the Coxeter clock FROM THE GEOMETRY (A^4 = 1, det(A-1) = -4, Pi.A = i Pi); the CPS 'N log' analogue = source charge 4 = |mu4| (flux -4 pi per centre); HONEST SHARPENING: for the Ricci-flat ALE the asymptotic log coefficient is EXACTLY 0 (EH: u K' = sqrt(u^2 + a^4), det g = 1) -- the log lives at the exceptional locus (K' ~ a^2/u, flux 2 pi a^2); Burns contrast (K = u + N log u => det g != 1, only scalar-flat); bonus: multipole selection rule m = 0 mod 4, first symmetry-breaking multipole (4, +-4) carries -a0 with amplitude (35/16) sin^4 th. [E] NEGATIVE CONTROLS: so8 (lambda~^2 = 12 irrational; perfect squares in the Deligne series only {9, 36} = {sl3, e8}); diag(i, i) (Veronese cone, 5 generators, no hypersurface, the bijection collapses); k = 2 (three channels; honest: lambda~^2 = 36 is k-independent, the kill is the closure dial)

Original classification detail

WP5e-epsilon-1 [E]/[C]/[O] (verdict B): the O(-2) bulk-axion slot -- executed. CONSTRUCTED exact: the slot is an explicit equivariant mode ledger (Penrose accounting closes block by block, d <= 6, all 4 characters; d = 0 multiplicity (1, 0, 0, 0): the bulk axion survives the projection; Molien = the v492 hypersurface XY = Z^4 with relation degree 8 = the a0 weight; twisted minimal content (2t, 6t^2, 2t) = the Coxeter eigenvalues -- the E3 bijection per character; graviton control O(+2) separates a0); lambda~ = 6 is pinned by three exact ledgers (Okubo (6<x,x>)^2; measure chain mu-exact with the wrong bookings 3 and 12 excluded; flux single-channel iff k = 1); the GH/A3 back-reaction step re-derives the v493 family and the Coxeter clock from centre geometry (2 branches, period lockstep, source charge 4 = |mu4|, EH asymptotic log exactly 0 -- the CPS log is an exceptional-locus statement, multipole rule m = 0 mod 4 with (4, +-4) carrying -a0). CONDITIONAL [C]: Costello's flat-PT matching. OPEN [O]: the quantised BCOV one-loop coefficient on PT/Z4 and the twisted channels (32 T3) -- M1 (A3 Omega_N), M2 (twisted KS measure), M3 (a0 uplift) preregistered with success + kill criteria; WP5e stays [O]; SEAM.EQUIV.01 untouched; no marker moves

Dependencies as recorded

CELEST.SEAM.01; CELEST.WP5E.BETA.01; CELEST.WP5E.GAMMA.01; CELEST.WP5E.EPS2.01; CELEST.WP5E.DELTA2.01; SEAM.EQUIV.01; v492; v493; v495; v505; v508; v509; v511