  (1,2,3) f=[(1, 0, 0), (2, 3, 1)]: centralizer dim (deg<=6) = 10
  (1,2,3) f=[(0, 0, 1), (0, 1, 0), (1, 0, 0)]: centralizer dim (deg<=6) = 8
  (1,2,3) f=[(0, 0, 0), (1, 0, 0), (2, 3, 1)]: centralizer dim (deg<=6) = 10
  (1,1,sqrt2) f=[(0, 1, 0), (1, 0, 1)]: centralizer dim (deg<=6) = 16
  (1,1,sqrt2) f=[(0, 1, 0), (1, 1, 1), (2, 0, 2)]: centralizer dim (deg<=6) = 16
  (1,sqrt2,1+sqrt2) f=[(0, 1, 1), (1, 1, 0)]: centralizer dim (deg<=6) = 10
  (1,sqrt2,1+sqrt2) f=[(0, 1, 1), (1, 1, 0), (1, 2, 1)]: centralizer dim (deg<=6) = 10
Lemma 4.2: 2450 (order, pair) tests, 1082 with independent leading exponents, violations: 0; trailing-exponent violations: 0
CONTROL non-additive order (sha256 key): violations in 25 of 175 tests (must be > 0)
CONTROL non-commuting random pairs (Thm-A bracket, grlex): leading exponents non-orthogonal in 198 of 200
