2026-06-25 ( v428 — honest self-correction of the over-determination map)
Research changelog · TFPT — Introduction and reading guide
v428 ( OVERDET.WITNESS.RECLASS.01) — applying v427's own multiply-vs-compress test to v427 itself. A pattern search and the right objection exposed that calling the seven arithmetic witnesses ``disjoint grammars that multiply'' overstates independence. \ by the Brieskorn classification ( v236) the [formula in source] singularity is the ONE generator behind the order- [formula in source] clock (Milnor [formula in sour
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/012-source.tex · lines 228 to 248
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v313_golden_atoms_spectral.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v428_overdet_reclass.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 script identifier v236_brieskorn_capstone.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 v427_overdet_witness_map.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v305_witness_independence.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