trials (g,h,x):                         400
symplectic sanity:                      all generated g passed g^T J g = J
Lemma 3.1  q0(h^T v) identity mod 2:    400/400
Cor. 3.2   dW in 2Z^4 (tau integral):   400/400
Eq. (9)    carry-cocycle identity:      400/400
THEOREM 5.1 (barred/conjugate reading): 400/400   <-- the load-bearing identity
Theorem 5.1 literal unbarred reading:   1/400   (expected ~0: bar on Psi_gh is a typo)
Lemma 3.3  #zeros of q0 on F_2^4:       10   (paper claims 10)
Lemma 3.3  transvection formula mod 2:  200/200
