ESCALATION_
The order in which constraint refinement and floor raising are tried, as a divisor on the constraint spacing paired with a multiplier on the derivative floor.
The two are escalated separately rather than together, because they address different failures and pull against each other. Verification can fail for want of margin between constraint points, which a higher floor fixes, or because the quantile function wiggles between them, which only more constraints fix. Raising the floor on an already fine grid tends to make the program infeasible outright, especially with few terms, where the derivative has little freedom to stay above a large floor everywhere at once. So the cheap remedy is tried first, then refinement at the original floor.