The two probes
E8 and the Gaussian code
@lccl@ probe & checks & verdict & arithmetic\\ gaussian_code_bridge_probe.py & [formula in source] & gaussian-code-bridge-exact & exact [formula in source] / Fraction; SNF via sympy\\ quartic_half_probe.py & [formula in source] & quartic-half-alive & exact [formula in source] / [formula in source] ; no floats\\ Both probes cross-validate their own machinery: the class map is computed twice (Hermite-normal-form labels
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 255 to 294
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v798_seam_clifford_modular_s.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v783_two_qubit_clifford.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v803_e8_jetcode_affine_nsr.py
literal short identifier uniquely resolves in local script registry
- explicit file citation quartic_half_probe.py
literal source filename/path in TeX
- explicit file citation gaussian_code_bridge_probe.py
literal source filename/path in TeX