=150 2026-07-23 (I) ( v523 — the constructive [formula in source] derivation executed and promoted as the ledger row CELEST.WP5E.WM.01: `` [formula in source] is the Atiyah–Bott / zeta-determinant fixed-point factor, COMPUTED from three independent sources'' — verdict ERFOLG per the frozen preregistration; the residual \ of v516/ v520 is closed at the fibre-zero-mode level and narrows to the GLOBAL BCOV integral on [formula in source] beyond the fibre zero-mode factor; the celestial/twistor story in tfpt_3 gains Step 24 — (1) ATIYAH–BOTT (route i) : the equivariant mode ledger of the fibre [formula in source] equals the closed form [formula in source] exactly in [formula in source] for all [formula in source] ; REGULAR at [formula in source] with Abel value [formula in source] , [formula in source] ; [formula in source] Ces\`aro convergence in exact arithmetic; fixed-point splitting at EVERY truncation level [formula in source] for the phased (skeleton) AND the v520-forced unphased (completion) trace — the Abel-limit [formula in source] is the v516 contact vector COMPUTED, not declared; (2) ZETA/QUILLEN (routes ii/iii) : [formula in source] of the [formula in source] -twisted circle Laplacian [formula in source] EXACTLY (Lerch [formula in source] reflection formula symbolically, Hurwitz certificates [formula in source] ); Quillen split [formula in source] , [formula in source] , the real positive holomorphic section UNIQUE via the [formula in source] conjugation pairing; the [formula in source] [formula in source] block at the [formula in source] nodes carries the exact constant term [formula in source] (deviations [formula in source] ); (3) the CONSISTENCY CHAIN : [formula in source] ; [formula in source] at every scale; [formula in source] ; the [formula in source] budget [formula in source] forces [formula in source] uniquely (leftovers [formula in source] ); per-sector Okubo squares [formula in source] ; total [formula in source] ; [formula in source] , [formula in source] ; [formula in source] , [formula in source] ; (4) NEGATIVE CONTROLS : [formula in source] gives [formula in source] , leftovers [formula in source] , Quillen contradiction; [formula in source] gives [formula in source] ; the [formula in source] /Eguchi–Hanson anchor PASSES with the same derivation ( [formula in source] , [formula in source] , [formula in source] , [formula in source] ); the [formula in source] KILL fires; [formula in source] breaks the zeta [formula in source] AB identity itself; [formula in source] : [formula in source] — the weights wander correctly, only [formula in source] carries the [formula in source] chain; TYPED PREMISES \ (the mandatory fence): TP-REG (Abel/Ces\`aro/zeta regularisation [formula in source] the definition of the equivariant character), TP-Q (Quillen structure of BCOV [formula in source] [formula in source] v520 TP-4), TP-NUM (unphased numerator [formula in source] v520 ERFOLG-A), TP-CH (insertion channel [formula in source] ); : the global BCOV integral beyond the fibre zero-mode factor, the resolved-ALE route not built, SEAM.EQUIV.TWISTOR.01 stays Open; NO marker moves)
Research changelog · TFPT — Introduction and reading guide
Suite. New module v523_celestial_wp5e_wm_derived.py ( [formula in source] checks, [formula in source] s; exact [formula in source] / [formula in source] /cyclotomic arithmetic [formula in source] [formula in source] -digit Hurwitz/block certificates); registered in run_all.py [formula in source] script_registry.csv. Ledger. New row CELEST.WP5E.WM.01 (ERFOLG); the v516 row CELEST.WP5E.M2.01 and the v520 row CELEST.WP5
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/003-source.tex · lines 315 to 336
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v523_celestial_wp5e_wm_derived.py
literal short identifier uniquely resolves in local script registry
- explicit file citation script_registry.csv
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 v523_celestial_wp5e_wm_derived.py
literal source filename/path in TeX
- explicit file citation run_all.py
literal source filename/path in TeX
- 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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v520_celestial_wp5e_measure_decision.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 script identifier v516_celestial_wp5e_m2_twisted_ks_measure.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