PASS tails on known graph [2,1,0,0,3,0]
PASS Sz(512) pair: claim (24814,291) accepted
PASS Sz(512) pair: wrong tail 24813 rejected
PASS Sz(512) pair: wrong tail 24815 rejected
PASS Sz(512) pair: wrong cycle 290 rejected
PASS perturbed x: det != 1 or J not preserved or no Bruhat certificate
PASS x * (I+E12): det 1 but not certified
PASS wrong recursion (2s^2-1) detected on random pairs
PASS restricted x set misses trace triples
PASS Borel-only generators give |H| != |PSL(2,7)| (=168)
PASS wrong map z -> y^-1 z y gives max tail 0 (not 3) on A_5
