B2 half-period Hessian factorization checked on 255 exact pairs
square-lattice Hessian and fourth derivatives checked exactly
leading Jacobian algebra basis size = 9
joint smoothing factorization checked on 4851 exact tuples
one-variable discriminant = 16*a^2*kappa^3
rank-nine discriminant order = 18
all exact checks passed