Struct WarmStartDiagnostics 

pub struct WarmStartDiagnostics {

    pub primal_residual: Number,
    pub dual_residual: Number,
    pub complementarity: Number,
    pub mu_in: Number,
    pub mu_out: Number,
    pub bound_duals: BlockVerdict,
    pub eq_duals: BlockVerdict,
    pub bound_duals_reconstructed: usize,
    pub bound_duals_rejected: usize,
    pub eq_duals_rejected: bool,
    pub stationarity_split: bool,
    pub recentering_disabled: bool,
    pub slacks_closed: usize,
    pub slack_close_reverted: bool,
}

What the warm-start initializer accepted, reconstructed, or discarded, and the residuals it based those calls on (gh#606).

Written once per solve, at initialization. mu_in is what mu_init / warm_start_target_mu asked for; mu_out is what the iterate actually starts at.

Fields

primal_residual: Number

Primal infeasibility of the point the solve starts from. Measured on the supplied point before any dual reconstruction (it does not depend on the duals), and re-measured after the gh#988 slack-closing move when that move ran, since it changes the slacks (gh#988 review: it used to report the pre-move 0 beside a start 86 infeasible).

dual_residual: Number

‖∇_x L‖_∞ after reconstruction.

complementarity: Number

Average complementarity after reconstruction.

mu_in: Number

mu_out: Number

bound_duals: BlockVerdict

eq_duals: BlockVerdict

bound_duals_reconstructed: usize

Bound-multiplier entries that arrived unseeded and were filled from μ̂ / slack rather than from the constant floor.

bound_duals_rejected: usize

Bound-multiplier entries that arrived seeded and were refused as incoherent with the primal point, taking the pre-gh#606 constant fill instead (gh#617).

eq_duals_rejected: bool

true when the seeded equality multipliers were refused as incoherent with the primal point, so the stationarity split was not run off them (gh#617). The y block itself is left where the caller put it — that is what the pre-gh#606 path does with a supplied y — but it stops being an input to anything.

stationarity_split: bool

true when the unseeded bound multipliers were re-derived from the stationarity identity rather than left at μ̂ / slack. That needs a caller-supplied y; see [refine_bound_duals_from_stationarity].

recentering_disabled: bool

true when warm_start_recentering=none turned all of the above off and the fields are the legacy constants.

slacks_closed: usize

Inequality slacks closed onto their bound because the seeded multiplier said the row is still active (gh#988), within the [SLACK_CLOSE_CAP] move limit.

slack_close_reverted: bool

true when that move was undone because the re-measured start was more infeasible than the move itself accounts for (gh#988 review).

Trait Implementations

impl Clone for WarmStartDiagnostics

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for WarmStartDiagnostics

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for WarmStartDiagnostics

fn default() -> Self

Returns the “default value” for a type.