NV=7 WMAX=24: 2629575 sorted weight vectors, 29375 NP-class representatives (positive, sorted)
rounding-mode self-test passed in all 8 threads
total LTF count from orbit formula: 8378070864   (A000609(7) = 8378070864)  MATCH
sum over checked functions of NV!/|Aut(f)|: 8378070864  MATCH (so they are exactly one per permutation class)
functions checked (one per sign-orbit): 2490634; exact OR_k ties: 14; certified boxes: 86254616; max depth 17; FAILURES: 0
max grid ratio P_f/M over non-tie functions: 0.999851749
CERTIFIED: every threshold function on 7 variables satisfies P_f(q) <= max_k k(1-q)^(2k-2) on [0,1/2], with equality only for OR_k-type polynomials.
