Enum SemanticParityVerdict 

pub enum SemanticParityVerdict {
    Equivalent,
    AcceptableDrift,
    Divergent,
}

Overall verdict for hostcall parity and semantic delta proof.

Variants

Equivalent

Repair preserves hostcall surface and semantic behavior.

AcceptableDrift

Minor acceptable drift (e.g., removed dead hostcalls).

Divergent

Repair introduces new hostcall surface or significant semantic drift.

Implementations

impl SemanticParityVerdict

pub const fn is_safe(&self) -> bool

True if the repair passes semantic parity.

Trait Implementations

impl Clone for SemanticParityVerdict

fn clone(&self) -> SemanticParityVerdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SemanticParityVerdict

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

Formats the value using the given formatter.

impl Display for SemanticParityVerdict

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

Formats the value using the given formatter.

impl Hash for SemanticParityVerdict

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SemanticParityVerdict

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

impl Eq for SemanticParityVerdict

impl StructuralPartialEq for SemanticParityVerdict