2026-06-12 (third round: both normals anchor data; the R3 mechanism exists, v149– v150)
Research changelog · TFPT — Introduction and reading guide
R4 [formula in source] : both dual normals are anchor data ( v149). In the cusp frame the torsion normal pairs to [formula in source] — one anchor invariant per [formula in source] line (the cusp matrix is unimodular, so this determines [formula in source] uniquely); with [formula in source] the dual normal pair is anchor data through and through. Equivalences to the [formula in source] frame data and the [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 17 to 38
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v150_replica_eh_model.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v73_k_c3_half.py
literal short identifier uniquely resolves in local script registry
- explicit file citation next.txt
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
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v149_cusp_normal.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred