Enum VerificationTier 

pub enum VerificationTier {
    Impossible,
    Rare,
    Emergent,
    External,
}

Verification philosophy tier, following the roadmap’s three-tier model.

Variants

Impossible

Illegal states are unrepresentable in Rust’s type system.

Rare

Statistical evidence makes violations rare in practice.

Emergent

Runtime or search-based discovery catches emergent behavior.

External

External theorem prover or proof assistant evidence.

Trait Implementations

impl Clone for VerificationTier

fn clone(&self) -> VerificationTier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for VerificationTier

impl Debug for VerificationTier

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

Formats the value using the given formatter.

impl Eq for VerificationTier

impl PartialEq for VerificationTier

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