N1 (comparator x (1 - 1e-6)), m = 3: rejected 6/6 (interval, OR_k group) pairs
  FAIL N2 m=3 interval 3: ident False zl False zr True pos True decided True; expected (False, False, False); ortype 2; P = 8*x^2 + (-16)*x + 8
  FAIL N2 m=3 interval 2: ident False zl False zr True pos True decided True; expected (False, False, False); ortype 1; P = 4
  FAIL N2 m=3 interval 2: ident False zl False zr True pos True decided True; expected (False, False, False); ortype 1; P = 4
  FAIL N2 m=3 interval 3: ident False zl False zr True pos True decided True; expected (False, False, False); ortype 2; P = 8*x^2 + (-16)*x + 8
N2 (no tie at q_k for |S| = k-1): rejected: True
  FAIL N2 m=3 interval 2: ident False zl True zr False pos True decided True; expected (False, False, False); ortype 3; P = 12*x^4 + (-48)*x^3 + 72*x^2 + (-48)*x + 12
  FAIL N2 m=3 interval 1: ident False zl True zr False pos True decided True; expected (False, False, False); ortype 2; P = 8*x^2 + (-16)*x + 8
  FAIL N2 m=3 interval 1: ident False zl True zr False pos True decided True; expected (False, False, False); ortype 2; P = 8*x^2 + (-16)*x + 8
  FAIL N2 m=3 interval 2: ident False zl True zr False pos True decided True; expected (False, False, False); ortype 3; P = 12*x^4 + (-48)*x^3 + 72*x^2 + (-48)*x + 12
N2 (no tie at q_(k+1) for |S| = k+1): rejected: True
N3 interior double root at 1/5 in I_2: decided False (must be False); mu_3 factor on I_3: zero at the right end True (must be True, so a non-OR would be flagged); sign change at 3/10 in I_1: decided False (must be False)
N4 just outside I_k (k = 2..6): OR_(k+1) exceeds 4 a_k at q_(k+1) - 1/1000 and OR_(k-1) at q_k + 1/1000: True
ALL NEGATIVE TESTS BEHAVE
