2026-07-22 (V) ( v515 — WP5e back-reaction milestone M1 ``the [formula in source] [formula in source] '' executed (SUCCESS on the preregistered v514 S8.1 criterion), promoted as the ledger row CELEST.WP5E.M1.01: the back-reacted holomorphic [formula in source] -form [formula in source] is CLOSED FORM on the [formula in source] twistor family, every [formula in source] period is [formula in source] -integral with the lockstep flux vector, and the lens geometry FORCES the source charge [formula in source] — (1) the RESIDUE FORM DERIVED: on [formula in source] all three ambient representatives satisfy [formula in source] exactly and pull back to [formula in source] (Poincar\'e residue, derived not assumed); orbifold-cover pullback at [formula in source] : [formula in source] (flat form) — the residue normalisation CARRIES the source charge [formula in source] ; clock [formula in source] ( v492 S5 replicated); weight ledger [formula in source] , [formula in source] ; (2) the TWISTOR FAMILY CLOSED: from the four [formula in source] centre sections [formula in source] exactly [formula in source] ( [formula in source] identically; [formula in source] gives exactly the v493 family; [formula in source] opens only off-seam), CY-compatible clock lift [formula in source] , [formula in source] , [formula in source] ; (3) [formula in source] CLOSED [formula in source] PERIOD TABLE: [formula in source] with CPS/Bochner–Martinelli kernels on the centre twistor lines, [formula in source] off-source; boundary [formula in source] at the orbifold point [formula in source] (minimal invariant charge [formula in source] — the lens fundamental domain FORCES [formula in source] ), deformed phase [formula in source] , linking [formula in source] uniformly [formula in source] , per-sphere flux vector [formula in source] (forced uniform: clock orbit [formula in source] [formula in source] connectivity), seam-fibre phase vector [formula in source] ; [formula in source] carries ZERO [formula in source] -flux (all flux sourced); [formula in source] fibre residue [formula in source] transversal residue (density [formula in source] ); (4) CLOCK COVARIANCE: [formula in source] for ALL [formula in source] ; the [formula in source] collision nodes sit exactly on the [formula in source] eighth roots of unity ( [formula in source] , the [formula in source] bridge), clock orbits [formula in source] , honest conifold points (Hessian det [formula in source] , quadric rank [formula in source] ); (5) the HONEST KILL PROBE: forbidden family [formula in source] : [formula in source] lockstep (vs [formula in source] ), [formula in source] -support [formula in source] twelfth roots [formula in source] , no antipodal pairing — BUT the [formula in source] quantisation holds there TOO: integrality alone is NOT the discriminator, the discriminator is the lockstep phase structure [formula in source] the clock forcing; the v509 dial survives; (6) ANCHORS [formula in source] CONTROLS: EH/ [formula in source] (charge [formula in source] forced), CPS original (every integer [formula in source] allowed), [formula in source] ( [formula in source] , collapse at step zero), fractional charges [formula in source] excluded; \ global kernel patching / Hitchin small resolution / CPS brane dictionary; \ M2 (twisted KS measure), M3 ( [formula in source] uplift), the quantised BCOV coefficient; Wolfram extension [formula in source] (verified engine run); NO marker moves — M2/M3 and BCOV stay , SEAM.EQUIV.TWISTOR.01 stays Open ( v515 is preparation, not construction), SEAM.EQUIV.01 untouched)
Research changelog · TFPT — Introduction and reading guide
v515_celestial_wp5e_m1_omega_n.py ( CELEST.WP5E.M1.01, 30 checks, [formula in source] 1 s; exact sympy, no floats; deterministic). S1 the residue form (three routes, cover factor [formula in source] , weight ledger, EH anchor, wrong-weight control); S2 the twistor family (closed form, [formula in source] reality, clock lift, section-level dichotomy); S3 periods (generic reduction, lockstep, covariance, collision ledg
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 245 to 283
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation tfpt_readouts_extension.wl
literal source filename/path in TeX
- explicit file citation next.txt
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 script identifier v515_celestial_wp5e_m1_omega_n.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 script identifier v509_celestial_wp5e_eps2_level_from_flux.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 script_registry.csv
literal source filename/path in TeX
- 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
- 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 v515_celestial_wp5e_m1_omega_n.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
- explicit script identifier v514_celestial_wp5e_eps1_axion_slot.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v492_celestial_z4_orbifold.py
literal short identifier uniquely resolves in local script registry