Glue-norm arithmetic, and three readings of [formula in source] , [formula in source] , [formula in source]
tfpt 1 architecture e8
The two glue norms generate the carrier integers through sum, difference and product. With [formula in source] : so the glue already contains the full carrier exhaustion [formula in source] , the [formula in source] rank, and the non-trivial transition count [formula in source] ; and [formula in source] is the inverse displacement of the two norms from the unit norm.
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 3406 to 3560
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v137_qplus_cohomology.py
literal source filename/path in TeX
- explicit file citation v74_compiler_micro_lemmas.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join CohomologyGrading.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 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 file citation v91_spine_tetrahedron.py
literal source filename/path in TeX
- explicit file citation v115_anchor_residue.py
literal source filename/path in TeX
- 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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v142_frame_integrality.py
literal source filename/path in TeX
- explicit file citation v117_monodromy_weyl_a3.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v146_moebius_d4.py
literal source filename/path in TeX
- explicit file citation v222_cm_norm_duality.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v141_deck_selection.py
literal source filename/path in TeX
- 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 file citation v116_resonance_uniqueness.py
literal source filename/path in TeX
- cross reference join MobiusUniformisation.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v145_pairing_atoms.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred