B  n = 3: 256 functions, 39 distinct H_f (stated 39); Q = H/g4^m > 0 on [q5-, q4+] fails for 0 (Arb) / 0 (Sturm); H == 0 for 0 f (as stated: True); g4 | H != 0 for 2 f (as stated: True); g5 | H for 0; Delta(OR_S) formula: True; float min of the nonzero H_f on [q5, q4]: 4.441e-16  (0.0s)
   n = 3: multiplicity of g4 in H_f (number of f): {0: 254, 1: 2}; float margins on [q5-, q4+]: min H_f over g4 ∤ H_f = 0.319219, min of H_f/g4^m over g4 | H_f = 2.250000
B  n = 4: 65536 functions, 1630 distinct H_f (stated 1630); Q = H/g4^m > 0 on [q5-, q4+] fails for 0 (Arb) / 0 (Sturm); H == 0 for 2 f (as stated: True); g4 | H != 0 for 8 f (as stated: True); g5 | H for 0; Delta(OR_S) formula: True; float min of the nonzero H_f on [q5, q4]: 4.441e-16  (1.3s)
   n = 4: multiplicity of g4 in H_f (number of f): {0: 65526, 1: 8}; float margins on [q5-, q4+]: min H_f over g4 ∤ H_f = 0.026921, min of H_f/g4^m over g4 | H_f = 2.250000
O  OR-region identity at rational u in [2, 3.5], n = 1..7: exact equality in 345 cases inside the region (all); outside the region the formula fails in 55/55
O  T5/T4 = sqrt(5)*(1 - q)/2, equal to 1 only at q = [1 - 2*sqrt(5)/5] (= q5: True), decreasing in q
RESULT: ALL CHECKS PASSED (2s)

real	0m1.882s
user	0m2.565s
sys	0m0.101s
