2026-07-22 (III) ( v514 — WP5e- [formula in source] ``the [formula in source] bulk-axion slot'' executed (verdict B), promoted as the ledger row CELEST.WP5E.EPS1.01: the [formula in source] tower field of the celestial route is now a CONSTRUCTION, [formula in source] is pinned three ways, and the first honest back-reaction step is taken in Gibbons–Hawking form — (1) the EQUIVARIANT [formula in source] SLOT: the pushforward ledger [formula in source] on [formula in source] gives per degree [formula in source] exactly [formula in source] classes [formula in source] the exact wave-operator nullspaces ( [formula in source] for [formula in source] ), the v492 action on the fibre coordinates [formula in source] with incidence-forced column weights [formula in source] closes the equivariant bookkeeping BLOCK BY BLOCK (all [formula in source] , all [formula in source] characters); character series [formula in source] , [formula in source] , [formula in source] ; the [formula in source] slot has multiplicity [formula in source] — THE BULK AXION SURVIVES THE PROJECTION; Molien invariant ring [formula in source] — [formula in source] , [formula in source] , relation degree [formula in source] the [formula in source] weight ( v492/ v493 bridge); E3 bijection sharpened (twisted minimal content [formula in source] [formula in source] the Coxeter eigenvalues, [formula in source] ); graviton control: [formula in source] invariant only from fibre degree [formula in source] with multiplicity [formula in source] ; (2) [formula in source] TRIPLY PINNED: Okubo [formula in source] on the [formula in source] glue roots ( [formula in source] , [formula in source] ); the measure chain cancels [formula in source] EXACTLY (vertex [formula in source] [formula in source] , propagator [formula in source] , anomaly [formula in source] ; [formula in source] for arbitrary [formula in source] ; wrong bookings EXCLUDED: anomaly-only [formula in source] , missing propagator renormalisation [formula in source] ); flux (minimal CPS quantum [formula in source] , single channel iff [formula in source] , [formula in source] exact); (3) the GH/ [formula in source] BACK-REACTION STEP: invariant [formula in source] -centre configurations [formula in source] exactly [formula in source] branches, the free orbit re-derives the v493 family ( [formula in source] , [formula in source] , monodromy [formula in source] one clock step), the charge- [formula in source] GH point is exactly [formula in source] ( [formula in source] : seam boundary [formula in source] ), periods [formula in source] LOCKSTEP ( v509 counter-check), Coxeter clock from geometry ( [formula in source] ), source charge [formula in source] , EH asymptotic log coefficient EXACTLY [formula in source] (the CPS log is an exceptional-locus statement; Burns contrast [formula in source] ), multipole rule [formula in source] with [formula in source] carrying [formula in source] ; controls [formula in source] ( [formula in source] irrational, squares only [formula in source] ), [formula in source] (Veronese), [formula in source] (three channels); \ conditional on Costello's flat- [formula in source] matching; \ the quantised BCOV coefficient and the twisted channels ( [formula in source] ) — M1–M3 preregistered (the [formula in source] [formula in source] / the twisted KS measure / the [formula in source] uplift, each with success [formula in source] kill); Wolfram extension [formula in source] (verified engine run); NO marker moves — WP5e stays , SEAM.EQUIV.01 untouched, CELEST.SEAM.01 stays Open)
Research changelog · TFPT — Introduction and reading guide
v514_celestial_wp5e_eps1_axion_slot.py ( CELEST.WP5E.EPS1.01, 34 checks, [formula in source] 4 s; exact sympy/Fraction, no floats; deterministic). S1 Penrose accounting; S2 equivariant ledger [formula in source] character series [formula in source] Molien [formula in source] E3 sharpening [formula in source] graviton control; S3 the [formula in source] residue (Okubo / measure / flux) with honest gaps; S4–S5 GH centr
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/005-source.tex · lines 1 to 36
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v514_celestial_wp5e_eps1_axion_slot.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v514_celestial_wp5e_eps1_axion_slot.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v493_celestial_wp2_clock_deformation.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation script_registry.csv
literal source filename/path in TeX
- explicit script identifier v509_celestial_wp5e_eps2_level_from_flux.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation tfpt_readouts_extension.wl
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation next.txt
literal source filename/path in TeX
- explicit script identifier v492_celestial_z4_orbifold.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation run_all.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred