Struct OuterCriterionCertificate 

pub struct OuterCriterionCertificate {
    pub stationarity: OuterStationarityCertificate,
    pub hessian_psd: Option<bool>,
    pub lambdas_railed: Vec<usize>,
    pub curvature_floor: Option<CurvatureFloorClearance>,
}

Fields

stationarity: OuterStationarityCertificate

hessian_psd: Option<bool>

Whether the final outer Hessian is positive semidefinite (within a scaled tolerance) at θ̂, when the solver tracked one (None when no final Hessian was available).

lambdas_railed: Vec<usize>

Leading smoothing coordinates (ρ block) pinned within [CERTIFICATE_RAIL_MARGIN] of either box bound at the optimum.

curvature_floor: Option<CurvatureFloorClearance>

The gradient-residue floor’s verdict on that same curvature, when it was computed. hessian_psd above stays the raw measurement; this records whether the most negative interior direction is below the instrument’s own resolution, and by how much.

Implementations

impl OuterCriterionCertificate

pub fn is_stationary(&self) -> bool

First-order (KKT) stationarity: the projected analytic gradient or root-equivalent fixed-point residual clears its declared bound.

pub fn curvature_admissible(&self) -> bool

Second-order admissibility: a certified optimum must not sit on genuinely indefinite analytic curvature. A nearby box rail is only a diagnostic; it cannot waive negative curvature in unrelated free directions. If a future certificate projects onto the exact critical cone, that projected result can be recorded here instead.

pub fn certifies(&self) -> bool

Whether the certificate accepts the returned point as a constrained minimum. This is the load-bearing verdict: a false here rejects the fit with typed non-convergence.

pub fn is_clean(&self) -> bool

Whether every audited fact is clean (stationary, PSD-or-untracked curvature, no railed smoothing coordinate) — the report-level verdict.

pub fn summary(&self) -> String

One-line human-readable rendering for logs and reports.

Trait Implementations

impl Certificate for OuterCriterionCertificate

fn claim(&self) -> Claim

What this certificate certifies — stable id + human sentence.

fn evidence(&self) -> BTreeMap<&'static str, EvidenceValue>

The named evidence quantities behind the claim.

fn verdict(&self) -> Verdict

The conservative verdict. MUST be derived from the certificate’s own (unchanged) decision rule, and MUST return Verdict::Unavailable / Verdict::Insufficient rather than a silent pass when the evidence is missing or below margin.

fn ledger_entry(&self) -> LedgerEntry

Fold claim + evidence + verdict into one ledger record.

impl Clone for OuterCriterionCertificate

fn clone(&self) -> OuterCriterionCertificate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OuterCriterionCertificate

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for OuterCriterionCertificate

fn deserialize<__D>( __deserializer: __D, ) -> Result<OuterCriterionCertificate, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for OuterCriterionCertificate

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

where __S: Serializer,

Serialize this value into the given Serde serializer.