Enum VerificationStatus 

pub enum VerificationStatus {
    Passed,
    Failed,
    Skipped {
        missing_metrics: String,
    },
    Error {
        message: String,
    },
}

Verification execution status with explicit states for all outcomes.

Critical Design Decision: Simple pass/fail boolean is insufficient. We need explicit states to distinguish:

• Skipped: Dependency benchmark crashed or was filtered out
• Error: Expression evaluation failed (typo, type mismatch)
• Passed/Failed: Actual verification result

Variants

Passed

Verification passed (expression evaluated to non-zero/true)

Failed

Verification failed (expression evaluated to zero/false)

Skipped

Verification could not run - dependency data missing

Fields

missing_metrics: String

Which metric(s) were unavailable

Error

Verification encountered an error during evaluation

Fields

message: String

Error message

Implementations

impl VerificationStatus

pub fn is_success(&self) -> bool

Returns true if this is a Passed status.

pub fn is_failure(&self) -> bool

Returns true if this is a Failed status.

pub fn is_actionable_failure(&self) -> bool

Returns true if this is either Failed or Error (requires action).

pub fn affects_exit_code(&self, severity: Severity) -> bool

Returns true if this status should cause CI to fail given the severity level.

Only critical failures and critical errors affect exit code; skipped verifications do not fail CI since the underlying dependency crash already did.

Trait Implementations

impl Clone for VerificationStatus

fn clone(&self) -> VerificationStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationStatus

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerificationStatus

fn deserialize<__D>( __deserializer: __D, ) -> Result<VerificationStatus, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for VerificationStatus

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

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for VerificationStatus