Exact Bell PT: six real identities and six imaginary identities PASS
Exact supporting witness diag(-1,1,1,1)/2 PASS
Exact sample (31, 9, 6, 4): min(p)=2/25 > 0; lambda=12/25 > 0; min(d)=5/19 > 0: PASS
Exact sample (30, 8, 8, 4): min(p)=2/25 > 0; lambda=2/5 > 0; min(d)=3/10 > 0: PASS
Exact sample (30, 10, 5, 5): min(p)=1/10 > 0; lambda=2/5 > 0; min(d)=1/4 > 0: PASS
Exact sample (30, 7, 7, 6): min(p)=3/25 > 0; lambda=2/5 > 0; min(d)=13/40 > 0: PASS
Exact sample (30, 5, 5, 5): min(p)=1/9 > 0; lambda=2/3 > 0; min(d)=1/3 > 0: PASS
Scalar quadrature disagreement < 1e-10: PASS (floating-point check, not interval certification)
All 15 directions x 5 samples: tangent KKT residual < 1e-10: PASS (floating-point check)
