=150 2026-07-24 (I) ( v534 — the straddle cone executed: THE FIRST DYNAMICAL SELECTION OF THE ALIGNMENT BIT — reflection positivity keeps exactly ONE member of the interacting mark family alive, [formula in source] with positive coupling; the literal leading-order cone formalization dies; NO marker moves)
Research changelog · TFPT — Introduction and reading guide
New module v534 ( SEAM.STRADDLE.CONE.01). The 2026-07-23 review-round contract (recorded ``not promoted'' in entry (X)) is executed, double-verdicted. V2 [formula in source] ERFOLG — the selection law (the central datum): with independent couplings [formula in source] on the four mark quartets of [formula in source] and the equivariant (uniform) direction, reflection positivity holds on every admissible cut over the
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/003-source.tex · lines 107 to 148
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v521_seam_bit_rp_blind.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v525_seam_bit_twist_blind.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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 file citation seam_straddle_cone_probe.py
literal source filename/path in TeX
- explicit script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v529_seam_interacting_toy_fk.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
- 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 v528_seam_bit_twist_class_definition.py
literal short identifier uniquely resolves in local script registry