2026-06-18 (Three open-residual advances: the [formula in source] solver, [formula in source] from [formula in source] , and the raw-seam [formula in source] mark-locality reduction, v262– v264)
Research changelog · TFPT — Introduction and reading guide
v262_fqcd_mp_me.py ( FR.MPME.02) implements the one contract-only [formula in source] pipeline. A real two-loop [formula in source] solver runs [formula in source] with [formula in source] thresholds (carrier [formula in source] , ) to [formula in source] and [formula in source] \,GeV; with the lattice bridge [formula in source] (external [formula in source] ) and the closed [formula in source] it reproduces [formula
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/018-source.tex · lines 209 to 235
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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v262_fqcd_mp_me.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
- cross reference join Mu4Commutation.lean
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 script identifier v198_modular_commutator_reduction.py
literal short identifier uniquely resolves in local script registry
- cross reference join YukawaStageDExistence.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v264_raw_seam_marklocal.py
literal source filename/path in TeX
- explicit script identifier v264_raw_seam_marklocal.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamDeckClosure.lean
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
- cross reference join AuditContract.lean
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 script identifier v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v231_cp_mu6_phases.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
- cross reference join AxiomCheck.lean
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 file citation v262_fqcd_mp_me.py
literal source filename/path in TeX
- explicit script identifier v233_cp_triality_phase.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v201_seam_subprincipal_marks.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v263_mnu_from_df.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v9_neutrino_texture.py
literal short identifier uniquely resolves in local script registry