2026-07-22 (VII) ( v517 — WP5e back-reaction milestone M3 ``the [formula in source] uplift'' executed (SUCCESS on the preregistered v514 S8.3 criterion), promoted as the ledger row CELEST.WP5E.M3.01: the [formula in source] GH multipole ( [formula in source] the [formula in source] direction) is uplifted to the twistor-potential kernel [formula in source] — the LOG of the v515 family polynomial — and the induced K\"ahler-potential correction is a log-type correction COUPLED TO THE CENTRE COUNT ON FOUR SCALES — (1) the KERNEL BRIDGE: the [formula in source] section is a NULL coordinate ( [formula in source] identically for an ARBITRARY kernel [formula in source] : the uplift is well-typed), the RESIDUE IDENTITY [formula in source] holds EXACTLY (residue [formula in source] ), so the GH potential [formula in source] IS the [formula in source] -derivative of the contour transform of [formula in source] ; flux [formula in source] per centre, source charge [formula in source] (the [formula in source] -ledger matched); (2) the ASYMPTOTIC KERNEL LOG: [formula in source] with LOG COEFFICIENT [formula in source] centre count (the CPS `` [formula in source] '' analogue at kernel level); at the clock-fixed seam fibre [formula in source] the [formula in source] slot closes and the first correction is EXACTLY [formula in source] the [formula in source] multipole in kernel clothes; exact [formula in source] -grading ( [formula in source] pieces PURE [formula in source] , [formula in source] piece [formula in source] [formula in source] -free: the [formula in source] breaking sits exclusively in the [formula in source] pieces); NO [formula in source] power terms (the v514 honest zero preserved — the [formula in source] correction is power-law at infinity); the once-integrated GLT tower [formula in source] with [formula in source] unless [formula in source] and [formula in source] : EVERY correction carries the prefactor [formula in source] centre count; (3) the EXCEPTIONAL-LOCUS LOG: [formula in source] ( [formula in source] -coefficient [formula in source] , clock phase [formula in source] ); the modulus response [formula in source] equals [formula in source] AT the exceptional locus and falls off as [formula in source] at infinity (no constant, no log): the [formula in source] -log lives at the exceptional locus, exactly as v514 S6.3 demanded; (4) the PERIOD RESPONSE: [formula in source] is LINEAR in [formula in source] (uniform first-order shift: lockstep [formula in source] phase ratios [formula in source] preserved exactly), [formula in source] uniformly, and the integrated shift around the [formula in source] circle is the monodromy [formula in source] ONE Coxeter clock step (the v493 monodromy REPRODUCED from perturbation theory; the finite monodromy is the cyclic centre permutation [formula in source] ); the node [formula in source] -support is [formula in source] -FREE (the [formula in source] seam bridge is [formula in source] -rigid), all [formula in source] pair discriminants [formula in source] ( [formula in source] connectivity: the forced uniform flux vector persists), the BM kernel is modulus-free with [formula in source] (the quantised fluxes cannot move); (5) NEGATIVE CONTROLS: the [formula in source] multipole is [formula in source] -independent in [formula in source] AND in the kernel (clock-invariant, breaks nothing); the [formula in source] /Eguchi–Hanson analogue reads [formula in source] on EVERY dial ( [formula in source] amplitude [formula in source] , kernel log [formula in source] , exceptional log [formula in source] , response [formula in source] , monodromy [formula in source] ); wrong centre counts [formula in source] : kernel log coefficient [formula in source] , modulus slot [formula in source] — the observable MOVES with the centre count; forbidden family [formula in source] : [formula in source] (selection rule broken), [formula in source] (no [formula in source] -log) — fails BOTH uplift dials; \ the GLT dictionary ( [formula in source] the GH K\"ahler-potential kernel, Lindstr\"om–Ro cek / Ivanov–Ro cek); \ the full nonlinear K\"ahler potential of the resolved [formula in source] ALE; with v516 the v514 fence M1–M3 is FULLY WORKED OFF; Wolfram extension [formula in source] (verified engine run); NO marker moves — the KILL (decoupling from the centre count) does NOT fire, SEAM.EQUIV.TWISTOR.01 stays Open (preparation, not construction), SEAM.EQUIV.01 untouched)
Research changelog · TFPT — Introduction and reading guide
v517_celestial_wp5e_m3_a0_uplift.py ( CELEST.WP5E.M3.01, 23 checks, [formula in source] 7 s; exact sympy, no floats; deterministic). S0 replication (GH multipole ledger [formula in source] the twistor family at general orbit phase, v515 slice); S1 the kernel bridge (null coordinate, residue [formula in source] -ledger identity, source flux); S2 the uplift (asymptotic log [formula in source] , seam-fibre correction [f
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/004-source.tex · lines 175 to 211
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
- explicit file citation v517_celestial_wp5e_m3_a0_uplift.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
- 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 file citation tfpt_readouts_extension.wl
literal source filename/path in TeX
- explicit script identifier v517_celestial_wp5e_m3_a0_uplift.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v515_celestial_wp5e_m1_omega_n.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v516_celestial_wp5e_m2_twisted_ks_measure.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
- explicit file citation next.txt
literal source filename/path in TeX
- 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
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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 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
- 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