m9_k4_rig_check.py k=4, 300 random free sets per (candidate, nu), up to 32 assignments each, seed 1: 797893 critical points; every exact point lies in its enclosure (largest error / bound 2.856e-01) and below its value bound (smallest slack 4.880e-15, in units of Gamma); 0 sampled blocks not certified
