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
v505_celestial_wp5e_beta_equivariant_ledger.py ( CELEST.WP5E.BETA.01, 47 checks, [formula in source] 1.3 s; sympy/Fraction exact, no floats; deterministic). The twistor side of WP5e pushed as far as exact arithmetic reaches: the Atiyah–Bott/Lefschetz skeleton of the one-loop box anomaly (Costello; Bittleston–Sharma–Skinner) on [formula in source] with the [formula in source] [formula in source] -glue monodromy. AB le
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/006-source.tex · lines 123 to 173
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- 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 script identifier v506_seam_clock_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v493_celestial_wp2_clock_deformation.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 v502_celestial_wp5e_prefactor_level.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v505_celestial_wp5e_beta_equivariant_ledger.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- 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 script identifier v505_celestial_wp5e_beta_equivariant_ledger.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 v495_celestial_wp3_gs_alignment.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred