Registry · Theorem
I.T11a
established
formalized
I.T11a — Six-Generator Rigidity Failure
A 6-generator tau-like system admits a non-trivial rho-automorphism: the swap eta <-> zeta commutes with rho6 and is an involution, yet is not the identity. This breaks rigidity.
Book I
Part 3
Ch. 12