pub const POLISH_TRIGGER: Number = 10.0;Expand description
The polish runs when the reported point’s natural_residual exceeds
this times tol. Not tol itself: the last relaxation is τ = 1e-8 = tol, so a strictly complementary pair ends with its smaller side near
τ, on the threshold, and would trigger a re-solve that buys nothing. The
symptom it exists for sits near sqrt(τ).