=150 2026-07-30 (II) (WOIT [formula in source] executed: the [formula in source] duality typed against [formula in source] — the OS cut and the [formula in source] signature forced, the kill branch empty by algebra, the induced member [formula in source] the [formula in source] carrier (SUCCESS) + v565 promoted + contract/paper/diary/website sync)
Research changelog · TFPT — Introduction and reading guide
Discovery probe woit_os_beta3_pt_dual_probe.py ( [formula in source] , [formula in source] \,s, verdict SUCCESS per the frozen preregistration; contract wording verbatim: success [formula in source] Woit's Minkowski conjugation identified with the family-D conjugation on the quotient, kill [formula in source] the duality forces a clock-centralising (family A) structure). The class (block theorem): a [formula in sourc
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 63 to 106
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v524_woit_beta2_os_quotient.py
literal short identifier uniquely resolves in local script registry
- explicit file citation woit_os_beta3_pt_dual_probe.py
literal source filename/path in TeX
- explicit file citation next.txt
literal source filename/path in TeX
- 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 v565_woit_beta3_pt_duality.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 script identifier v565_woit_beta3_pt_duality.py
literal short identifier uniquely resolves in local script registry