A registered result in its source context
Original ledger classification: Formal/Identity [E] (exact equivariant arithmetic: Atiyah-Bott denominators/characters, per-sector Okubo decomposition with the rigid 32 T3 residual, index bridge f(m) = ch2(T_m) with the -78 defect, geometric level dials, axion-slot weight arithmetic -- sympy/Fraction exact, Wolfram-mirrored) + [C] (the dictionaries above) + [O] (the global BCOV quantisation = WP5e proper; SEAM.EQUIV.01 unchanged)
Recorded statement: WP5e-BETA OF THE CELESTIAL-HOLOGRAPHIC CONTRACT EXECUTED (2026-07-21; CELEST.SEAM.01 work package 5e, beta stage -- 'the equivariant anomaly ledger on twistor space', the twistor-side milestone of the BCOV/Costello-Li uplift; WP5e-alpha =…
Statement, assumptions and sources
Paper context: tfpt research contracts
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
CELEST.WP5E.BETA.01
Original ledger classification: Formal/Identity [E] (exact equivariant arithmetic: Atiyah-Bott denominators/characters, per-sector Okubo decomposition with the rigid 32 T3 residual, index bridge f(m) = ch2(T_m) with the -78 defect, geometric level dials, axion-slot weight arithmetic -- sympy/Fraction exact, Wolfram-mirrored) + [C] (the dictionaries above) + [O] (the global BCOV quantisation = WP5e proper; SEAM.EQUIV.01 unchanged)
Original claim text
WP5e-BETA OF THE CELESTIAL-HOLOGRAPHIC CONTRACT EXECUTED (2026-07-21; CELEST.SEAM.01 work package 5e, beta stage -- 'the equivariant anomaly ledger on twistor space', the twistor-side milestone of the BCOV/Costello-Li uplift; WP5e-alpha = v502 anchored the CFT side): exact sympy/Fraction arithmetic, no floats (47 checks). Roadmap target: the anomaly-inflow side of the boundary partition function; preregistered KILL = 'the anomaly inflow demands a level != 1'. [E] ATIYAH-BOTT LEDGER: denominators det(1 - g_j^{-1}|_{T0 C^2}) = (2, 4, 2) for j = 1,2,3; sum of reciprocals 5/4 = (|Z4|^2 - 1)/12 (the A-series Dedekind identity); the origin is the only fixed point; equivariant characters tr_{g_j}(Ad E8) = (248, 0, -8, 0) by TWO independent routes (graded dims / root sum); invariant average 60 = the D5+A3 carrier; Frobenius 61568; tr_{g_2} = -8 = 120 - 128 (so16 adjoint-minus-spinor supertrace). [E] OKUBO PER SECTOR (the honest sharpening): the INVARIANT sector obeys Okubo exactly -- Q^(0) = 36<x,x>^2 with 36 = lambda~^2_e8 (the v495 identity re-derived through the mu4-glue grading); the TWISTED sectors do NOT reduce to (tr_{g_j} X^2)^2 (independent-quartic content T5: (-8, 32, -8), T3: (48, -64, 48)); in the AB-weighted fixed-point sum the D5 quartic CANCELS exactly and the A3 quartic leaves the RIGID residual 32 T3 (32 = (h,h) + (h',h'), a [C] coincidence); no nonzero reweighting of the twisted sectors alone is quartic-free, and the only quartic-free weighting on the class blocks is the uniform Z4 average (= the invariant projector); the graded GS-exchange ansatz cancels sector 0 and is exactly rank-obstructed in sectors 1, 2, 3 -- twisted-sector closed strings must carry the rest [O]; heterotic identities exact (Tr_120 = 8tr^4 + 3(tr^2)^2, Tr_128 = -8tr^4 + 6(tr^2)^2, Tr_E8 = 9(tr^2)^2). [E] INDEX BRIDGE (the centrepiece): the per-character AB sum f(m) = (1/4) sum_j (i^{jm} - 1)/det_j = (0, -3/8, -1/2, -3/8) equals ch2(T_m) = -(C^{-1})_mm/2 EXACTLY for m = 1, 2, 3 -- the E1 fixed-point ledger and the E2 McKay/Kronheimer intersection ledger are the SAME arithmetic; the glue-bundle ch2 defect is -78 by BOTH routes (integer; per-class (-24, -30, -24), the middle -30 = -h_vee a [C] coincidence); bridge identity sum_m h_A3(m) = 5/4 = sum_j 1/det_j; sphere pairing <alpha,h> integer on all 240 roots, per-class Killing sums (320, 320, 240, 320), total 1200 = 2 h_vee (h,h). [E] k = 1 GEOMETRIC: the lattice current count (norm-2/k vectors in the glue cosets) = 240 at k = 1 and EXACTLY 0 at k = 2, 3, 4 (no adjoint closure); embedding residual 47k^2 + 219k - 266 = (0, 360, 814, 1362); h(J;k) = k integer for ALL k -- integrality alone fixes nothing (honest, exactly as v502); v493 lockstep periods => ONE scale => ONE level (det(A-1) = -4, no invariant flux vector). [E] E3 REFUTATION (prominent): the clock-invariant modulus a0 in O(8) generates a Hamiltonian in O(2) -- a0 fills the BSS GRAVITON slot (s = 2), NOT the axion slot O(-2) (s = 0): Hamiltonian weights X = -2 != +2 = Y, mismatch 4 = -deg K_PT = |mu4| (a [C] coincidence) -- 'the theory brings its GS axion as a0' is REFUTED; what DOES match: the three H2(ALE) classes carry exactly the Coxeter eigencharacters {i, -1, -i} = the three twisted ledger sectors (bijection, no invariant class: det(A-1) = -4); slot count 1 tower slot O(-2) + 3 sphere classes = 4 = |mu4| (soft count, not a construction). [E] NEGATIVE CONTROLS: diag(i,i) breaks the ledger FOUR independent ways (complex denominators, reciprocal sum 1/4 != 5/4, omega-weight -1 not Calabi-Yau, invariant ring needs 5 generators); SO(16) glue: a mere Z2 monodromy (classes {0,2}), characters (120, 0, +120, 0) wrong sign AND magnitude at j = 2, odd McKay nodes empty, ch2 defect -30 != -78, and bulk Okubo FAILS (T5 = 16, T3 = -32: independent quartic Casimir, no single-axion GS -- the v495 sl4-style control transplanted); k = 2: current count 0, residual 360, c-prefactor -31/48 != -1/3, while naive integrality dials stay integer (the kill is the closure dial). [C] dictionaries: CS(rho) mod 1 = discriminant weight; 32 = (h,h) + (h',h'); -30 = -h_vee; the Omega-contraction identification of the axion slot. [O] HONEST FENCE: the global BCOV/Kodaira-Spencer theory on PT/Z4 (quantisation, non-fixed-point contributions, the twisted closed-string measure), the O(-2) bulk-axion construction, the Costello-Paquette-Sharma level-from-flux mechanism, and the pairing of the rigid 32 T3 twisted residual with the three sphere axions all stay OPEN. VERDICT B: the preregistered kill ('inflow demands a level != 1') does NOT fire on the equivariant skeleton -- all computable twistor-side pieces are consistent with k = 1 and kill k = 2, 3, 4 via the closure dial; what the skeleton cannot decide is the actual BCOV one-loop coefficient on PT/Z4. WP5e: alpha (v502) + beta (v505) executed; SEAM.EQUIV.01 untouched; no gate closes, no marker moves.
Original classification detail
WP5e-beta [E]/[C]/[O]: the Atiyah-Bott/Lefschetz skeleton of the twistor inflow exact -- denominators (2,4,2) with Dedekind sum 5/4, characters (248,0,-8,0) two routes, invariant Okubo 36<x,x>^2 with the twisted sectors NOT reducing and the AB sum leaving the rigid 32 T3 residual; index bridge f(m) = ch2(T_m) exact with glue defect -78 both routes; level dials k = 1 geometric (current count 240/0/0/0, residual 0/360/814/1362, one scale => one level -- since v509 (WP5e-epsilon-2) a THEOREM of clock invariance, no longer a heuristic); E3 refuted: a0 = graviton modulus O(2), not the axion O(-2) (mismatch 4 = |mu4|), the three sphere classes = the three twisted axion slots; controls diag(i,i)/SO(16)/k = 2 quantified; kill branch does not fire on the equivariant skeleton; the global BCOV quantisation stays [O] -- with the rigid 32 T3 twisted residual and the sphere-axion pairing as the named remaining targets; SEAM.EQUIV.01 untouched
Dependencies as recorded
CELEST.SEAM.01; CELEST.WP1.01; CELEST.WP2.01; CELEST.WP3.01; CELEST.WP4.01; CELEST.WP5E.ALPHA.01; SEAM.EQUIV.01; v492; v493; v495; v496; v502
Open the original ledger source, row 569Location 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.
- Research contracts
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.
- Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)tfpt research contracts
- 2026-07-21 (XV) ( v505 — WP5e- [formula in source] of CELEST.SEAM.01 ``the equivariant anomaly ledger on twistor space'' promoted as CELEST.WP5E.BETA.01: the Atiyah–Bott/Lefschetz fixed-point skeleton of the one-loop twistor inflow is EXACT — denominators [formula in source] with Dedekind sum [formula in source] , equivariant characters [formula in source] by two routes, invariant Okubo [formula in source] with the twisted sectors NOT reducing and the AB sum leaving the RIGID residual [formula in source] , the index bridge [formula in source] exact with glue defect [formula in source] both routes, the level dials [formula in source] geometric (current count [formula in source] ), and the honest E3 REFUTATION: [formula in source] fills the GRAVITON slot [formula in source] , NOT the axion slot [formula in source] — the three sphere classes fill the three twisted axion slots instead; the preregistered kill (``inflow demands a level [formula in source] '') does NOT fire on the equivariant skeleton; WP5e: [formula in source] (CFT side, v502) [formula in source] [formula in source] (equivariant twistor skeleton, v505) executed, the global BCOV quantisation stays ; Wolfram extension [formula in source] (verified engine run); SEAM.EQUIV.01 stays , no marker moves)Research changelog; TFPT — Introduction and reading guide
- Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)tfpt research contracts
- Front matter / supportResearch contracts
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Front matter / supportResearch 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-07-21 (XVIII) ( v508 — WP5e- [formula in source] of CELEST.SEAM.01 ``the sphere-axion pairing check'' promoted as CELEST.WP5E.GAMMA.01, an honest rigid NEGATIVE result: the VERTEX-SPACE THEOREM — the [formula in source] -invariant quadratics on the [formula in source] -dim glue Cartan are EXACTLY [formula in source] (dim [formula in source] ) and the quartics EXACTLY [formula in source] (dim [formula in source] ), with the PRODUCT THEOREM as the master kill (any two invariant quadratics multiply into [formula in source] — zero [formula in source] content, so [formula in source] annihilates EVERY exchange image while [formula in source] ); the strict two-index [formula in source] rule COLLAPSES (the sphere axions have no invariant bilinear Cartan vertex at all), the twist-insertion channels give a rank- [formula in source] exchange matrix with [formula in source] and the annihilator certificate [formula in source] ; side discovery [formula in source] ; naturalness DISSOLVES (ch [formula in source] -natural and AB-weight couplings both certify [formula in source] vs required [formula in source] — scale-independent); controls: [formula in source] has no sphere partners AND uncancelled [formula in source] , [formula in source] no [formula in source] structure; the O-fence is SHARPENED: the exchange sub-branch is dead, the [formula in source] residual MUST be carried by twisted BCOV contact terms ( [formula in source] binary: coefficient exactly [formula in source] , computed not fitted; escape [formula in source] : the full-tensor ledger); Wolfram extension [formula in source] (verified engine run); NO marker moves — CELEST.SEAM.01 stays Open, the slot bijection untouched, the preregistered level-kill still does not fire, SEAM.EQUIV.01 stays )Research changelog; TFPT — Introduction and reading guide
- Front matter / supportResearch contracts
- 2026-07-21 (XX) ( v509 — WP5e- [formula in source] of CELEST.SEAM.01 ``the CPS level-from-flux dial'' promoted as CELEST.WP5E.EPS2.01, verdict B: the Costello–Paquette–Sharma Burns-holography mechanism (``level [formula in source] flux quantum [formula in source] Dynkin index'') executed on the lockstep spheres — the CPS SKELETON exact ( [formula in source] period [formula in source] with pullback density [formula in source] , exceptional-sphere K\"ahler flux [formula in source] , boundary level magnitude [formula in source] by the symplectic-boson contraction, [formula in source] ); the PAIRING MATRIX pinned, not postulated ( [formula in source] ledger [formula in source] integrality [formula in source] unimodularity [formula in source] effectivity [formula in source] [formula in source] by complete enumeration: rows [formula in source] , [formula in source] unimodular, exactly [formula in source] effective [formula in source] identity [formula in source] diagram flip), fluxes [formula in source] with uniformly ONE quantum per charged current; ``level [formula in source] total flux'' KILLED by the lockstep test itself ( [formula in source] unequal [formula in source] flavour multiplicity), the per-current reading [formula in source] anchored by the lattice current count [formula in source] and embedding index [formula in source] ; ord- [formula in source] -vs-level- [formula in source] RESOLVED (the clock order counts fractional flux sectors: [formula in source] , Lagrangian [formula in source] glue, KLM [formula in source] ) with the NEW sector-counter dial [formula in source] for [formula in source] — exactly ONE sector iff [formula in source] ; the LOCKSTEP THEOREM lifts the v505 ``one scale [formula in source] one level'' to a THEOREM of clock invariance ( [formula in source] equal, monodromy [formula in source] pure phase [formula in source] , [formula in source] : no invariant flux vector; NEW falsifier [formula in source] : [formula in source] orderings lockstep); honest limit: uniform doubling keeps the lockstep (equality, not the value); controls [formula in source] / [formula in source] / [formula in source] separate honestly; Wolfram extension [formula in source] (verified engine run); NO marker moves — WP5e stays \ (the CPS dictionary on [formula in source] typed , the type-I B-model back-reaction ), SEAM.EQUIV.01 stays )Research changelog; TFPT — Introduction and reading guide
- The celestial and twistor continuum routeinput 5 tfpt 3 e8 audit bootstrap
- Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)Research contracts
- The celestial and twistor continuum routeE8 audit and bootstrap
- The celestial and twistor continuum routeinput 5 tfpt 3 e8 audit bootstrap
- 2026-07-22 (VI) ( v516 — WP5e back-reaction milestone M2 ``the twisted Kodaira–Spencer measure'' executed (SUCCESS on the preregistered v514 S8.2 criterion, ON THE DECLARED COMPLETION MEASURE — verdict B), promoted as the ledger row CELEST.WP5E.M2.01: the one-loop box coefficient per sector on [formula in source] under the completion contact term [formula in source] — the twisted-sector LOOP contributes the UNPHASED sector trace with the [formula in source] zero-mode normalisation [formula in source] , of which the Atiyah–Bott skeleton kept only the phase-weighted insertion part — (1) the COMPLETION-WEIGHT IDENTITY (the centrepiece): per glue class [formula in source] EXACTLY ( [formula in source] the v502 sector Casimir energies, [formula in source] the McKay/Kronheimer charges, v505 S4.3 index bridge): THE THREE SPHERE AXIONS PAIR THROUGH THEIR OWN ch [formula in source] CHARGES — an exact identity, NO free scale, no fit; (2) PARAMETER-FREE LOCKS: [formula in source] for ANY scale [formula in source] (the ch [formula in source] pattern alone kills [formula in source] ); ratio [formula in source] the [formula in source] -forced leading ratio (REPRODUCED, not fitted); the [formula in source] budget fixes [formula in source] uniquely (leading system det [formula in source] , unique weights [formula in source] ); (3) the SUCCESS TABLE: [formula in source] — a PERFECT Okubo square ( [formula in source] , [formula in source] in EVERY twisted channel: [formula in source] ); total [formula in source] Dedekind [formula in source] Okubo [formula in source] the UNIQUE quartic-free weighting of v505 S3.8 (the rigidity theorem is exactly what the measure lands on); both v508 certificates KILLED ( [formula in source] , [formula in source] ); the v511 slice [formula in source] SUPPLIED EXACTLY ( [formula in source] ) — NO cubic [formula in source] -channel needed ( [formula in source] free [formula in source] ); remainder inside the exchange span ( [formula in source] , [formula in source] ): the BULK axion cancels every channel with the SAME [formula in source] , the twisted propagator carrying the AB zero-mode factor [formula in source] ; the v514 measure chain stays [formula in source] -blind; (4) NEGATIVE CONTROLS: wrong scale [formula in source] leaves [formula in source] — only [formula in source] clears the budget; the [formula in source] shuffle breaks [formula in source] AND [formula in source] ; [formula in source] glue keeps [formula in source] / [formula in source] — the KILL branch FIRES there (Okubo failure inherited: [formula in source] doubly special); [formula in source] degenerates to the [formula in source] target and breaks the conjugation pairing [formula in source] the index bridge; the [formula in source] /Eguchi–Hanson anchor PASSES with the same mechanism ( [formula in source] , coupling scale [formula in source] centre count); (5) the MULTIPLIER NOTE (cross-reference to the parallel [formula in source] strand): the contact weights [formula in source] are REAL RATIONALS with no multiplier system of their own; the [formula in source] residual phases are the SQUARES of the [formula in source] discriminant [formula in source] -phases [formula in source] — orders [formula in source] squaring to [formula in source] , a finite [formula in source] system; Gauss sums [formula in source] , [formula in source] , full Weil sum [formula in source] ; \ the MANDATORY FENCE: the completion reading (the loop of twisted states carries the UNPHASED sector trace with the same zero-mode normalisation) is DECLARED, supported by the [formula in source] modular-completion finding, NOT derived from the BCOV integral; \ the BCOV-integral derivation ( [formula in source] territory); Wolfram extension [formula in source] (verified engine run); NO marker moves — the KILL (leftover independent quartic in ANY sector) does NOT fire, the completion reading stays -declared, SEAM.EQUIV.TWISTOR.01 stays Open, SEAM.EQUIV.01 untouched)Research changelog; TFPT — Introduction and reading guide
Registered verification modules
- v505_celestial_wp5e_beta_equivariant_ledger.pyRegistered verification module · frontier
Read the description recorded in the module registry
CELEST.WP5E.BETA.01: WP5e-beta of the celestial-holographic research contract CELEST.SEAM.01 -- 'the equivariant anomaly ledger on twistor space', the twistor-side milestone of WP5e (the BCOV/Costello-Li twistor uplift; preregistered kill: the anomaly inflow demands a level != 1); WP5e-alpha (v502) anchored the CFT side. The Atiyah-Bott/Lefschetz fixed-point skeleton of the one-loop box anomaly (Costello arXiv:2111.08879; Bittleston-Sharma-Skinner CMP 403) evaluated EXACTLY on C^2/Z4 with the E8 mu4-glue monodromy. Exact sympy/Fraction, no floats. [E] AB LEDGER: denominators det(1 - g_j^{-1}) = (2, 4, 2); sum of reciprocals 5/4 = (|Z4|^2-1)/12 (Dedekind); equivariant characters tr_{g_j}(Ad E8) = (248, 0, -8, 0) by TWO routes (graded dims / root sum); invariant average 60 = the D5+A3 carrier; Frobenius 61568; tr_{g_2} = -8 = 120 - 128 (so16 supertrace). [E] OKUBO PER SECTOR (honest sharpening): the invariant sector is exactly Okubo-quadratic (Q^(0) = 36<x,x>^2, 36 = lambda~^2_e8 -- v495 re-derived through the glue grading); the TWISTED sectors do NOT reduce (independent-quartic content T5: (-8, 32, -8), T3: (48, -64, 48)); the AB-weighted sum cancels the D5 quartic EXACTLY and leaves the RIGID residual 32 T3; no reweighting of the twisted sectors alone is quartic-free, the only quartic-free weighting is the uniform Z4 projector; the graded GS-exchange ansatz is exactly rank-obstructed in sectors 1, 2, 3; heterotic identities exact (Tr_120 = 8tr^4 + 3(tr^2)^2, Tr_128 = -8tr^4 + 6(tr^2)^2, Tr_E8 = 9(tr^2)^2). [E] INDEX BRIDGE (centrepiece): f(m) = (1/4) sum_j (i^{jm}-1)/det_j = (0, -3/8, -1/2, -3/8) = ch2(T_m) = -(C^{-1})_mm/2 EXACTLY -- fixed-point ledger = McKay/Kronheimer intersection ledger; glue-bundle ch2 defect -78 by BOTH routes (per class (-24, -30, -24); -30 = -h_vee, a [C] coincidence); bridge identity sum_m h_A3(m) = 5/4 = sum_j 1/det_j; sphere pairing <alpha,h> integer on all 240 roots, Killing sums (320, 320, 240, 320), total 1200 = 2 h_vee (h,h). [E] k = 1 GEOMETRIC: lattice current count (norm-2/k in the glue cosets) = 240 at k = 1, EXACTLY 0 at k = 2, 3, 4 (no adjoint closure); embedding residual 47k^2+219k-266 = (0, 360, 814, 1362); h(J;k) = k integer for ALL k -- integrality alone fixes nothing (honest, as v502); one scale => one level (v493 lockstep periods, det(A-1) = -4: no invariant flux vector). [E] E3 REFUTED (prominent): a0 in O(8) fills the GRAVITON slot O(2), NOT the BSS axion slot O(-2) (Hamiltonian weights X = -2 != +2 = Y; mismatch 4 = |mu4|, a [C] coincidence) -- 'the theory brings its GS axion as a0' is REFUTED; instead the three H2(ALE) classes carry exactly the Coxeter eigencharacters {i, -1, -i} = the three twisted ledger slots (bijection, no invariant class); slot count 1 + 3 = 4 = |mu4| soft. [E] NEGATIVE CONTROLS: diag(i,i) breaks the ledger four ways (sum 1/det = 1/4, omega-weight -1 not CY, 5 invariant-ring generators); SO(16) glue: characters (120, 0, +120, 0), defect -30 != -78, bulk Okubo FAILS (T5 = 16, T3 = -32: independent quartic Casimir, no single-axion GS); k = 2: current count 0, c-prefactor -31/48 != -1/3 (integrality dials stay integer -- the kill is the closure dial). [C] dictionaries (CS(rho) mod 1 = discriminant weight; 32 = (h,h)+(h',h'); -30 = -h_vee; the Omega-contraction identification). [O] the global BCOV/Kodaira-Spencer quantisation on PT/Z4, non-fixed-point contributions, the O(-2) bulk-axion construction, CPS level-from-flux, and the pairing of the 32 T3 residual with the three sphere axions. VERDICT B; the preregistered kill ('inflow demands a level != 1') does NOT fire on the equivariant skeleton; SEAM.EQUIV.01 untouched, no marker moves. Exact (sympy/Fraction).
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.