2026-07-21 (XIII) ( v503 — the v215 deferred emergence test (lever 7) executed light and promoted as QGEO.EMERGE.LIGHT.01: NO dynamical selection of the square modulus — the free field's global [formula in source] winner is the hexagonal torus, [formula in source] is a saddle, criticality at the square is Palais symmetry; the square is pinned by rigidity alone (the raw DtN is mod- [formula in source] block-diagonal iff [formula in source] , an isolated zero); and the residual converges: QGEO-R1 [formula in source] P2-R1 [formula in source] one common rest, ``why does the raw seam carry the order- [formula in source] clock''; Wolfram extension [formula in source] (verified engine run); NO marker moves — QGEO.REALIZE.01 stays / , AX.P2.01 stays a declared axiom)
Research changelog · TFPT — Introduction and reading guide
v503_qgeo_emergence_light.py ( QGEO.EMERGE.LIGHT.01, 17 checks; mpmath [formula in source] digits [formula in source] v280-style lattice DtN [formula in source] sympy exact). The v215 lever 7 (``the decisive kill is deferred: compute the raw seam-collar DtN without inputting the marks and check whether four square marks emerge'') executed in its first honest light version. No dynamical selection: [formula in source]
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 232 to 279
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v347_seam_closure_modes.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v215_seam_deck_killtest.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v503_qgeo_emergence_light.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamApplicabilityLedger.lean
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
- 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
- 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 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
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v280_pillowcase_steklov.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v499_p2_weights_deligne_bg.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v503_qgeo_emergence_light.py
literal source filename/path in TeX
- 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 script identifier v493_celestial_wp2_clock_deformation.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 v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry