Struct WitnessReport 

pub struct WitnessReport {
    pub max_residual: Precision,
    pub threshold: Precision,
    pub ok: bool,
    pub worst_row: Option<usize>,
}

Result of a witness check.

Fields

max_residual: Precision

max_i |b[i] - A[i,:]·x| over the entries that were checked.

threshold: Precision

Threshold the residual was compared against: tolerance · max(1, ‖b‖_∞).

ok: bool

True iff max_residual ≤ threshold.

worst_row: Option<usize>

Row index of the worst residual (most violating, or simply the largest if all pass). Useful for debugging a failing audit.

Trait Implementations

impl Clone for WitnessReport

fn clone(&self) -> WitnessReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WitnessReport

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

Formats the value using the given formatter.

impl PartialEq for WitnessReport

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