Must-fail controls
E8 and the Gaussian code
A structure claim needs controls that destroy it. Four are run (probe II4, all firing as demanded): Honest negative first. The natural candidate control — flipping the orientation of one pair, [formula in source] — does not fire: [formula in source] with the even sign flip [formula in source] , so [formula in source] preserves all [formula in source] roots. No signed-permutation complex structure can break root compa
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 211 to 252
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
No explicit verification citation is attached to this section in the registry.