Struct DirectionalSamples 

pub struct DirectionalSamples {
    pub plus_h: f64,
    pub minus_h: f64,
    pub plus_2h: f64,
    pub minus_2h: f64,
    pub step: f64,
    pub grad_norm: f64,
    pub analytic_directional: f64,
    pub well_posed: bool,
}

Samples of the criterion value path taken at the four probe points around ρ̂ along the unit direction v, plus the analytic directional derivative — everything the certificate needs, with no dependence on the SAE term type so this is unit-testable in isolation.

Fields

plus_h: f64

V(ρ̂ + h v).

minus_h: f64

V(ρ̂ − h v).

plus_2h: f64

V(ρ̂ + 2h v).

minus_2h: f64

V(ρ̂ − 2h v).

step: f64

The step h.

grad_norm: f64

‖∇V(ρ̂)‖₂.

analytic_directional: f64

∇V(ρ̂)·v.

well_posed: bool

Whether every value-path evaluation returned a finite criterion at a well-conditioned (undamped-factorable) inner optimum.

Trait Implementations

impl Clone for DirectionalSamples

fn clone(&self) -> DirectionalSamples

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DirectionalSamples

impl Debug for DirectionalSamples

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

Formats the value using the given formatter.