Enum KktRefusalDiagnosis 

pub enum KktRefusalDiagnosis {
    RankDeficientHPen,
    PhantomMultiplierWithWellConditionedH,
    ActiveSetIncomplete,
    AliasingDetectedAtFit,
}

Three-way classification of why the cert refused, computed from the H_pen spectrum and the projected residual at the refusing iterate. RankDeficientHPen is the regression canary the nullspace lead’s smooth-construction rework is intended to eliminate; keep this variant intact when extending — it doubles as the user-facing signal for “an unconstrained polynomial null space slipped past absorption.”

Relocated from gam-solve’s custom_family/joint_newton.rs (issue #1521 crate carve): this is the neutral diagnostic carrier that gam-solve’s REML/PIRLS core consumes when classifying a custom-family cert refusal, so it must live BELOW both the core and the (extracted) custom-family subsystem.

Variants

RankDeficientHPen

PhantomMultiplierWithWellConditionedH

ActiveSetIncomplete

AliasingDetectedAtFit

Cross-block identifiability aliasing surfaced mid-inner-solve (e.g., a binding active set materialised a 2-way alias that the pre-fit audit could not see at the cold design). The fix is structural — drop or reparameterise the aliased block; rho-anneal will not recover.

Implementations

impl KktRefusalDiagnosis

pub fn as_str(&self) -> &'static str

pub fn parse_from_error(message: &str) -> Option<Self>

Parse the textual diagnosis: field embedded in the structured bubbled error string. Returns None when no recognised label is present (legacy / non-cert-refusal error strings).

pub fn guidance(self) -> &'static str

Trait Implementations

impl Clone for KktRefusalDiagnosis

fn clone(&self) -> KktRefusalDiagnosis

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for KktRefusalDiagnosis

impl Debug for KktRefusalDiagnosis

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

Formats the value using the given formatter.

impl Eq for KktRefusalDiagnosis

impl PartialEq for KktRefusalDiagnosis

fn eq(&self, other: &KktRefusalDiagnosis) -> 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 KktRefusalDiagnosis