2026-07-21 (X) ( v500 — WP5c of CELEST.SEAM.01 ``the GNS limit state'' promoted as CELEST.WP5C.01: the quasi-free family [formula in source] exists, is positive, stabilises exactly at the WP5a threshold, and its limit carries the null ideal in its GNS kernel — the full [formula in source] -block exact level-2 Gram has rank [formula in source] exactly with kernel [formula in source] weight by weight; [formula in source] IS the GNS zero vector (the WP5b S4.10 tension resolved at the state level); a CCR obstruction proves the family formulation necessary; preregistered SUCCESS criterion met, KILL not triggered; Wolfram extension [formula in source] (verified engine run); SEAM.EQUIV.01 stays , no marker moves)
Research changelog · TFPT — Introduction and reading guide
v500_celestial_wp5c_gns_limit_state.py ( CELEST.WP5C.01, 35 checks, exact integer/Fraction, no floats, deterministic). WP5a ( v497) made the boundary limit precise, WP5b ( v498) built the deleting operator; WP5c constructs the state. [formula in source] is quasi-free: loop sector [formula in source] the affine [formula in source] vacuum [formula in source] -point functions via the machine-determined compact anti-invo
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/007-source.tex · lines 1 to 46
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
- explicit script identifier v500_celestial_wp5c_gns_limit_state.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
- explicit script identifier v497_celestial_wp5a_null_ideal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v498_celestial_wp5b_singular_vector.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v500_celestial_wp5c_gns_limit_state.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