The Gaussian code bridge: [formula in source] over [formula in source] , the extended Hamming code, and a four-bit information layer
E8 and the Gaussian code
theoremTheorem lemma[theorem]Lemma corollary[theorem]Corollary remark remark[theorem]Remark
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/note_e8_gaussian_code/preamble.tex · lines 1 to 46
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation QuarticHalf.lean
literal source filename/path in TeX
- explicit file citation GaussianCodeBridge.lean
literal source filename/path in TeX
- explicit script identifier v689_gaussian_code_bridge.py
literal short identifier uniquely resolves in local script registry
- cross reference join OrbitPacket.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
- explicit script identifier v690_quartic_half.py
literal short identifier uniquely resolves in local script registry
- cross reference join ProjectiveHamming.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