Enum PathDemotionReason 

pub enum PathDemotionReason {
    UniformStructural,
    PrewarmStructural,
}

Why the seed cascade asked the path to demote a seed to a heavier regime. Purely a diagnostic tag carried into the demotion ledger — every variant resolves to “re-enter the same seed at a heavier s”, never to a rejection.

Variants

UniformStructural

A uniform structural diagnosis (rank / alias / active-set defect seen consistently across seeds) that the legacy contract would have used to short-circuit the cascade. For a continuation-entry objective it instead demotes to a heavier regime and keeps evaluating.

PrewarmStructural

The continuation pre-warm refused to reach a seed at the current regime (a structural refusal of the seed’s joint design). Demoted to a heavier regime so the joint solver gets a feasible basin the current regime could not reach.

Trait Implementations

impl Clone for PathDemotionReason

fn clone(&self) -> PathDemotionReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PathDemotionReason

impl Debug for PathDemotionReason

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

Formats the value using the given formatter.

impl Eq for PathDemotionReason

impl PartialEq for PathDemotionReason

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for PathDemotionReason