Round 7: the actual DET parent, its exact factorized gap, and the local-defect obstruction
tfpt research contracts · tfpt research contracts · Research contracts
The displayed arguments below are the proof-bearing source. The current repository regression is v1034_ parent_ mirror.py; its finite checks audit the implementation and do not replace the universal steps in the proof.
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
tex-artefacts/toe_round7_parent_mirror.tex · lines 2 to 46
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_round4.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v1008_master_assembly_scaffold.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v1002_spin10_mirror_projector.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v1027_signed_det_car_wall.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1034_parent_mirror.py
literal source filename/path in TeX
- cross reference join tfpt_round7.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred