=150 2026-07-31 (XI) (the continuous half of the cross-ratio check executed and closed: UNIFLOW-DEGENERATE ( v575 promoted) — the native exports are forced degenerate by the single-flow theorem, so the continuous half closes onto v425; both halves of the preregistered check are now executed)
Research changelog · TFPT — Introduction and reading guide
v575_cr_continuous_uniflow.py ( FTR.CRCONT.01, [formula in source] checks; probe [formula in source] , UNIFLOW-DEGENERATE). The frozen protocol exports, recomputed from primitives (F_pole [formula in source] via the v99 generator; F_Boltzmann the SAME contraction by the v425 single-flow theorem; F_QCD [formula in source] ; F_relic adiabatic [formula in source] ), form the quadruple [formula in source] with a forced r
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 298 to 315
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v425_dyn_transfer_universal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v571_cr_discrete_corners.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v99_koide_flow_time.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v575_cr_continuous_uniflow.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v575_cr_continuous_uniflow.py
literal source filename/path in TeX