I1 three-point identity: OK
I2 Cramer identity: OK
I7 Lagrange identity: OK
I3 A_{i-1}+A_i-B_i = kappa_i (independent of x): OK
I4 tangential identity sigma_i - sigma_{i-1} = -(M rho)_i J d_i: OK
I5 w_i rho_i = t_{i-1} + t_i on every branch: OK
I6 Lambda_4 = product over the 8 sign classes: OK
I8 Kummer-basis expansion of the collision determinant (28 pairs of sign classes): OK
I9 n=4: sum_i (M rho)_i d_i = 0 and s(M rho) = sum kappa_k rho_k/(A_(k-1) A_k): OK
I9 n=5: sum_i (M rho)_i d_i = 0 and s(M rho) = sum kappa_k rho_k/(A_(k-1) A_k): OK
I10 first-order identity for sum_i w_i dR_i/de: OK
negative controls (perturbed I1, I6 give nonzero polynomials): True
ALL IDENTITIES OK
