Preconditioner escalation ladder, cross-term collinearity/gauge correctness, convergence certificates — then tag the unreleased 0.4.0 workspace.