Nachweise der erneuten Prüfung
TFPT Gesamtsynthese 2026-09-28
Die Originalkennungen sind insbesondere FLAV.LEPTONC.01, FLAV.RIGID.01/02, FLAV.CKM.01, FLAV.PMNS.02, FLAV.NUSCALE.05/06, EM.WARD.01 und ALPHA.QUILLEN.EXACT.01. Neu ausgeführt wurden v20 (12/12), v71 (7/7), v118 (6/6), v88 (11/11), v3 (14/14) und v485 (5/5); diese Läufe prüfen ihre angegebenen Formeln und Operatorrechnungen. Eine neue Ausführung der gesamten Lean- oder Repository-Suite wird damit nicht behauptet.
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_explorer--docs--session-2026-09-28--TFPT_Gesamtsynthese_2026-09-28/sections/004-subsection-auch-die-skalen-besitzen-einen-gemeinsamen-va.tex · lines 173 to 177
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v20_lepton_c_derivation.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v485_contact_diagonal_closed.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.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 v88_cp_phase_audit.py
literal short identifier uniquely resolves in local script registry
- explicit file citation PROOF.md
literal source filename/path in TeX
- cross reference join tfpt_readouts.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 v117_monodromy_weyl_a3.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
- explicit script identifier v118_hexagon_family_dictionary.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v71_simple_r_bridge.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v3_em_alpha.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