Scope and outlook
E8 and the Gaussian code
What is established is finite algebra, fully certified: the pair [formula in source] carries a canonical four-bit quotient on which the [formula in source] roots equidistribute as [formula in source] messages [formula in source] [formula in source] roots ( [formula in source] Gaussian lines) each, with a distinguished coordinate block; the clock [formula in source] equips the quotient with the family/anchor semantics
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/note_e8_gaussian_code/sections/002-section-explicit-character-basis-of-the-eight-coxeter-ch.tex · lines 329 to 396
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join OrbitPacket.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation GaussianCodeBridge.lean
literal source filename/path in TeX
- explicit script identifier v634_st31_structure.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v626_e8_code.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v638_code_semantics.py
literal short identifier uniquely resolves in local script registry
- cross reference join HammingCode.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SquareParity.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation gaussian_code_bridge_probe.py
literal source filename/path in TeX
- explicit file citation QuarticHalf.lean
literal source filename/path in TeX
- cross reference join GaussianCodeBridge.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join G31WordOrders.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation quartic_half_probe.py
literal source filename/path in TeX