=150 2026-07-31 (X) (closing the round: the winding form's content located exactly ( v574 [formula in source] checks — without it a four-column family survives, exactly one uniform: the compiler), and the half-sided RP restrictions shown blind ( v572 [formula in source] — the interacting construction is the one remaining RP route))
Research changelog · TFPT — Introduction and reading guide
v574 extended (probe [formula in source] ). Dropping the winding demand entirely (arbitrary first column), the self-code package leaves the four-column family [formula in source] — exactly one uniform: the compiler. The winding demand is the uniformity choice ( [formula in source] of [formula in source] ). Final declared list of the reconstruction: involution existence, column uniformity, [formula in source] (E8-glue
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/002-source.tex · lines 316 to 331
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v572_rp_bit_form.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 v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v574_stageb_winding.py
literal short identifier uniquely resolves in local script registry