2026-07-21 (XIV) ( v504 — WP5d- [formula in source] of CELEST.SEAM.01 ``split [formula in source] strong additivity from the lattice'' promoted as CELEST.WP5DB.01: the two remaining KLM legs of complete rationality witnessed for the orbifold prescription — strong additivity ALGEBRAICALLY EXACT with the shared boundary Majorana ( [formula in source] , GF2 spans full, rank [formula in source] ; disjoint exactly index [formula in source] [formula in source] the v501 [formula in source] bit), the entropic touching defect BOUNDED [formula in source] with the Ising [formula in source] -exponent approach ( [formula in source] ) while the preregistered [formula in source] /Dirac control DIVERGES (Klich–Levitov pinned, infinite index), the split property at the elliptic-nome rate [formula in source] ( [formula in source] – [formula in source] ) with EXACT orbifold inheritance ( [formula in source] [formula in source] the [formula in source] compound — Longo heredity), and Pimsner–Popa [formula in source] identically ( [formula in source] , [formula in source] , [formula in source] — two independent index routes); with v501 ALL THREE KLM ingredients carry lattice witnesses; the continuum uplift stays \ — ``finite-group orbifolds of completely rational nets are completely rational'' is XU'S THEOREM, cited not claimed; Wolfram extension [formula in source] (verified engine run); SEAM.EQUIV.01 stays , CELEST.SEAM.01 stays Open, no marker moves)
Research changelog · TFPT — Introduction and reading guide
v504_celestial_wp5d_klm_completeness.py ( CELEST.WP5DB.01, 37 checks, [formula in source] 12 s; numpy/scipy Gaussian machinery ED-validated [formula in source] exact GF2/integer algebra; deterministic). Complete rationality (Kawahigashi–Longo–M\"uger) [formula in source] split [formula in source] strong additivity [formula in source] finite two-interval [formula in source] -index; v501 (WP5d- [formula in source] ) wi
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 174 to 231
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- 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 v504_celestial_wp5d_klm_completeness.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v501_celestial_wp5d_two_interval_index.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v504_celestial_wp5d_klm_completeness.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