Struct CriterionCertificate 

pub struct CriterionCertificate {
    pub grad_norm: f64,
    pub analytic_directional: f64,
    pub fd_directional: f64,
    pub fd_error: f64,
    pub agreement_z: f64,
    pub fd_step: f64,
    pub hessian_pd: Option<bool>,
    pub lambdas_railed: Vec<usize>,
}

First-order optimality certificate: gradient-vs-objective FD audit at the returned optimum (#934).

Answers, machine-checkably, the three questions every objective↔gradient desync postmortem asks: does the analytic gradient match the actual criterion value HERE (Self::first_order_consistent); is the outer curvature positive definite HERE (hessian_pd); did any smoothing coordinate rail to a box bound (lambdas_railed).

Fields

grad_norm: f64

‖∇F(θ̂)‖₂ from the analytic gradient path at the returned point.

analytic_directional: f64

Analytic directional derivative ∇F(θ̂)·v along the audit direction.

fd_directional: f64

Richardson-extrapolated central difference of the criterion VALUE path along the same direction: (4·D_h − D_2h)/3 from the h and 2h central-difference pairs.

fd_error: f64

Error bar on fd_directional: the Richardson residual |D_h − D_2h| (which absorbs both truncation and inner-solve value noise) floored by the central-difference roundoff bound ε·|F|/h.

agreement_z: f64

|analytic − fd| / fd_error — standardized disagreement.

fd_step: f64

Base central-difference step h along the unit direction.

hessian_pd: Option<bool>

Whether the final outer Hessian is positive definite 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.

Implementations

impl CriterionCertificate

pub fn first_order_consistent(&self) -> bool

Whether the analytic directional derivative agrees with the finite difference of the actual criterion value at the optimum.

pub fn is_clean(&self) -> bool

Whether every audited fact is clean: gradient matches objective, no definiteness failure, no railed smoothing coordinate.

pub fn summary(&self) -> String

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

Trait Implementations

impl Certificate for CriterionCertificate

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 CriterionCertificate

fn clone(&self) -> CriterionCertificate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CriterionCertificate

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CriterionCertificate

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for CriterionCertificate

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.