Struct SecondOpinionRung 

pub struct SecondOpinionRung {
    pub label: &'static str,
    pub assignments: Vec<String>,
}

One rung of the local-infeasibility second-opinion ladder: a label for the console plus the option assignments that define this re-solve’s trajectory.

Assignments are applied on top of the baseline options, not on top of the previous rung — see second_opinion_rungs.

Fields

label: &'static str

assignments: Vec<String>

The knob this rung varies, and only that knob — one read_from_str line per assignment.

A rung does not carry lines undoing the earlier rungs. It used to, and that was a defect: the undo was written as the baseline’s resolved value, so a knob the caller never set came back set. mu_strategy is the one that bites — is_mu_strategy_fallback_enabled is default-on only while mu_strategy is unset, so rung 3 writing back a resolved monotone silently switched off pounce’s own μ-strategy stall retry for the duration of the rung. Measured on KRONOS a18_ackley1: the displaced solve stalls at max_iter, the flip that would have certified it in 237 iterations never fires, and the ladder reports no recovery. Restoring by value is not the same as restoring by set-ness.

The driver restores the baseline with OptionSnapshot::apply before every rung, which does honour set-ness, so a rung starts from the true baseline by construction.

Trait Implementations

impl Clone for SecondOpinionRung

fn clone(&self) -> SecondOpinionRung

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SecondOpinionRung

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

Formats the value using the given formatter.

impl Eq for SecondOpinionRung

impl PartialEq for SecondOpinionRung

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SecondOpinionRung