=150 2026-07-22 (VIII) ( v518 — the WP5e [formula in source] chain ( [formula in source] ) DECIDED and promoted as the ledger row CELEST.WP5E.DELTA1.01: ``the derived chiral measure kills the [formula in source] route'' — an honest, decided NEGATIVE result in the v508 style, with the v516 tension stated: does the Harvey–Moore/BCOV fundamental-domain integral on [formula in source] , evaluated under a measure DERIVED from blockwise [formula in source] covariance of the dressed [formula in source] -component Weil system (solved for — not declared, not scanned), deliver the twisted contact vector [formula in source] or the [formula in source] slice? NO — (1) the 16-COMPONENT WEIL COMPLETION ( [formula in source] ): the discriminant module of [formula in source] is [formula in source] with [formula in source] , Gauss sums [formula in source] (signature [formula in source] rank [formula in source] ), the Weil relations hold EXACTLY in [formula in source] ( [formula in source] , [formula in source] , [formula in source] , [formula in source] , tensor split [formula in source] ), the diagonal [formula in source] and anti-diagonal [formula in source] are the two invariant Lagrangians (both counts [formula in source] : two [formula in source] gluings), [formula in source] with [formula in source] of every [formula in source] -image weight on the [formula in source] shifted classes, and the [formula in source] -vector theta [formula in source] -covariance CLOSES: the [formula in source] E1.5 residual [formula in source] (naive [formula in source] -character rule) drops to [formula in source] ; (2) the OBSTRUCTION IS A FINITE [formula in source] CHARACTER, IDENTIFIED ( [formula in source] ): the dressed gauge blocks [formula in source] carry constant transport [formula in source] ( [formula in source] + digits, recognised as exact [formula in source] -grid phases at [formula in source] ), the [formula in source] -fixed pairs [formula in source] carry [formula in source] EXACTLY (the naked level-matching defect), the transport-groupoid loops land in [formula in source] resp.\ [formula in source] with joint holonomy eigenspaces dim [formula in source] resp.\ [formula in source] and every eigen-phase of order [formula in source] ; the KOBOUNDARY TEST: the [formula in source] relation defects [formula in source] , [formula in source] , [formula in source] are [formula in source] EXACTLY on all [formula in source] pairs — the multiplier system is a CHARACTER of the orbit stabilisers, NOT a genuine 2-cocycle, and on [formula in source] it is [formula in source] ; (3) the CANCELLATION EXISTS AND IS THE TWISTED FIBRE BLOCK [formula in source] , NOT THE THREE SPHERE AXIONS: [formula in source] is an exact identity ( [formula in source] + digits; the axion [formula in source] -phases are v502 vacuum-energy data), the T-fix mechanism is one line of exact phase arithmetic — [formula in source] at every [formula in source] -fixed node — and the exact CANCELLATION TABLE reads: none [formula in source] residual order [formula in source] , [formula in source] (the three sphere axions) [formula in source] , [formula in source] , [formula in source] (hol AND anti), wrong weights [formula in source] ; the strict solutions are exactly [formula in source] (dims [formula in source] ) and [formula in source] (dims [formula in source] ) at [formula in source] , certified on the dressed functions at a fresh [formula in source] ( [formula in source] , NO residual multiplier); (4) the DECISION — ALL THREE PREREGISTERED TESTERS FAIL: under both derived solutions the integral ( [formula in source] -digit kernels, negative-exponent cell audit, cut-6 vs cut-8 scan) fails [formula in source] (fractions [formula in source] / [formula in source] ), fails [formula in source] ( [formula in source] ), fails [formula in source] (spreads [formula in source] / [formula in source] ) and the [formula in source] slice, and the honest [formula in source] orbit rebalance rescues nothing in the positive cone ( [formula in source] : [formula in source] only at [formula in source] ; [formula in source] : only at [formula in source] ) — a GENUINE KILL on the derived surface; (5) NEGATIVE CONTROLS: [formula in source] /Eguchi–Hanson (gauge-only residual order [formula in source] — the [formula in source] defect is [formula in source] -specific — and the SAME fibre dressing cancels it to [formula in source] ), [formula in source] (only even sectors, all axion [formula in source] -characters in [formula in source] : the order-4 supply structurally absent), wrong form [formula in source] ( [formula in source] , its [formula in source] -rule fails at [formula in source] ), wrong signature ( [formula in source] exactly); \ the [formula in source] KS-weight identification (deck weights [formula in source] the twistor fibre weights forced by the v514 incidence ledger — exact match, NOT a complete BCOV derivation) [formula in source] the kernel-family convention [formula in source] the discrete [formula in source] choice (both evaluated, both fail); the MANDATORY TENSION FENCE: the DECLARED completion reading ( v516/M2) delivers the [formula in source] slice and cancels [formula in source] ; the DERIVED chiral measure (this module) fails all three testers — both are exact; the sharp open question is which of the two is the true BCOV measure — neither result is hidden behind the other; \ the BCOV-integral derivation on [formula in source] that decides between the two measures; Wolfram extension [formula in source] (verified engine run); NO marker moves — the [formula in source] route is decided negative under the derived measure, the cubic-GS question stays dissolved, SEAM.EQUIV.TWISTOR.01 stays Open, SEAM.EQUIV.01 untouched)
Research changelog · TFPT — Introduction and reading guide
v518_celestial_wp5e_delta1_derived_kill.py ( CELEST.WP5E.DELTA1.01, 30 checks, [formula in source] 20 s; exact [formula in source] /Fraction/1-960-grid phase arithmetic [formula in source] mpmath 30-digit kernels [formula in source] numpy double SVD, deterministic). S0 conventions [formula in source] 16-class ledgers [formula in source] targets; S1 the 16-component Weil system (exact) [formula in source] the E1.5 clo
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 124 to 174
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v518_celestial_wp5e_delta1_derived_kill.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v518_celestial_wp5e_delta1_derived_kill.py
literal source filename/path in TeX
- explicit script identifier v502_celestial_wp5e_prefactor_level.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
- 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 run_all.py
literal source filename/path in TeX
- 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 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
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v508_celestial_wp5e_gamma_pairing.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 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
- 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
- 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