Enum Verification 

#[non_exhaustive]
pub enum Verification {
    ExhaustiveU8,
    ExhaustiveU16,
    WitnessedU32 {
        seed: u64,
        count: u64,
    },
    ExhaustiveFloat {
        typ: FloatType,
    },
}

Evidence attached to a declared law in the frozen data contract.

Example: Verification::WitnessedU32 { seed: 7, count: 1024 } records a deterministic witness run for a full-width integer law.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

ExhaustiveU8

Exhaustively verified over the u8 input domain.

ExhaustiveU16

Exhaustively verified over the u16 input domain.

WitnessedU32

Witnessed over u32 using a deterministic seed and count.

Fields

seed: u64

Deterministic random seed used by the proof engine.

count: u64

Number of witnesses checked; coverage rejects zero.

ExhaustiveFloat

Exhaustively verified for a restricted floating-point type.

Fields

typ: FloatType

Floating-point format covered by the exhaustive pass.

Implementations

impl Verification

pub fn witness_count(&self) -> Option<u64>

Return the witness count for witnessed variants, or None for exhaustive variants.

Trait Implementations

impl Clone for Verification

fn clone(&self) -> Verification

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Verification

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

Formats the value using the given formatter.

impl PartialEq for Verification

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

impl StructuralPartialEq for Verification