Struct VerifyConfig 

pub struct VerifyConfig {
    pub threshold: f32,
    pub trials: u32,
    pub p_zero: f32,
}

Configuration for the exact-match numerical correctness protocol.

Defaults

Field	Default	Rationale
threshold	2048.0	FP_BINARY_THRESHOLD — FP16 exact-integer ceiling
trials	16	Enough random binary trials to catch systematic bugs
p_zero	0.7	70% zeros keeps accumulated sums below the threshold

Fields

threshold: f32

Bit-exact ceiling. Positions where the FP32 CPU reference exceeds this value are ignored (they may have lost floating-point exactness).

trials: u32

Number of random binary-input trials to run.

p_zero: f32

Probability of sampling 0.0 vs 1.0 for each input element. Higher zero bias keeps accumulated sums below the threshold for larger problem sizes.

Trait Implementations

impl Clone for VerifyConfig

fn clone(&self) -> VerifyConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for VerifyConfig

impl Debug for VerifyConfig

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

Formats the value using the given formatter.

impl Default for VerifyConfig

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for VerifyConfig

fn eq(&self, other: &VerifyConfig) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for VerifyConfig