Struct StationarityRung 

pub struct StationarityRung {
    pub label: &'static str,
    pub derived_standard: bool,
}

Which rung of the stationarity ladder produced the bound a refusal was measured against (#2458).

A non-convergence refusal reports |Pg| against a bound, but routes reach that bound by different machinery, and only one rung — the curvature resolvability standard √(2·h·τ) — is derived from what a gradient of that size does to the criterion. The rest are gradient-magnitude substitutes adopted where the derived standard was unavailable. Without this field, “did this route hold itself to the derived standard” is an inference from the numbers rather than something the refusal states, which is what made the duchon and #2479 adjudications read the ladder out of prose.

The rung enum itself lives in the solver that owns the ladder; this is the neutral projection of it, so the problem layer carries the provenance without importing a solver-specific vocabulary.

Fields

label: &'static str

Stable rung label, e.g. "curvature-resolvability".

derived_standard: bool

Whether this rung is the derived resolvability standard rather than a gradient-magnitude substitute.

Trait Implementations

impl Clone for StationarityRung

fn clone(&self) -> StationarityRung

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for StationarityRung

impl Debug for StationarityRung

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

Formats the value using the given formatter.

impl Deserialize<'static> for StationarityRung

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'static>,

Deserialize this value from the given Serde deserializer.

impl Display for StationarityRung

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

Formats the value using the given formatter.

impl Eq for StationarityRung

impl PartialEq for StationarityRung

fn eq(&self, other: &StationarityRung) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for StationarityRung

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for StationarityRung