Struct CriterionCertificateRow

Source

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

Expand description

First-order optimality certificate row (#934): the fit’s self-audit of its analytic gradient against a finite difference of the actual criterion value at the returned optimum, plus curvature-definiteness and λ-rail facts. consistent / clean are precomputed verdicts so the renderer never re-derives policy.

Fields§

§analytic_directional: f64§fd_directional: f64§fd_error: f64§agreement_z: f64§grad_norm: f64§hessian_pd: Option<bool>§lambdas_railed: Vec<usize>§consistent: bool§clean: bool

Auto Trait Implementations§

§

CriterionCertificateRow

Struct CriterionCertificateRow Copy item path

Fields§

Auto Trait Implementations§

impl Freeze for CriterionCertificateRow

impl RefUnwindSafe for CriterionCertificateRow

impl Send for CriterionCertificateRow

impl Sync for CriterionCertificateRow

impl Unpin for CriterionCertificateRow

impl UnsafeUnpin for CriterionCertificateRow

impl UnwindSafe for CriterionCertificateRow

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct CriterionCertificateRow

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,