Theorem 1 — the even carrier code
tfpt 1 architecture e8
tocsectionTheorem 1 Let [formula in source] be the rank- [formula in source] carrier, split [formula in source] (color [formula in source] , weak [formula in source] ). The one-generation spinor packet is the even exterior algebra, equivalently the even-weight binary code The two carrier roots [formula in source] , [formula in source] generate all hypercharges ( [formula in source] , [formula in source] , [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
experiments/theory-contracts/universalraum-native-exterior-reset-20260915/sources/tfpt_1_architecture_e8.tex · lines 4914 to 4947
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v79_review_identities.py
literal source filename/path in TeX
- explicit lean symbol Rigidity.lean
exact texttt symbol under explicit Lean/theorem context