2026-06-17 (Carrier-native Pati–Salam program: [formula in source] forbids the 126, PS algebra, unification kill-test, Dirac contract, v247– v250)
Research changelog · TFPT — Introduction and reading guide
Four scripts turning the gauge-unification finding into typed claims with negative controls. v247_e8_branching_no126.py ( PS.E8BRANCH.01): the [formula in source] hull branches under [formula in source] as [formula in source] , so the [formula in source] content is exactly [formula in source] and the [formula in source] is absent — the renormalisable [formula in source] is algebraically forbidden and [formula in sour
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/019-source.tex · lines 34 to 51
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v249_ps_unification.py
literal source filename/path in TeX
- explicit script identifier v250_dirac_triple_contract.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v247_e8_branching_no126.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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 v247_e8_branching_no126.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v250_dirac_triple_contract.py
literal source filename/path in TeX
- explicit file citation v248_ps_algebra.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier