Enum OutcomeStatus 

#[non_exhaustive]
pub enum OutcomeStatus {
    Success,
    Blocked,
    Unknown,
    FalsePositive,
    NeedsReview,
    ConfirmedNegative,
}

Final classification emitted by a verifier.

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.

Success

The verifier’s success condition was satisfied.

Whether that success may transition the associated hypothesis is an orchestration policy carried outside this core outcome value.

Blocked

Verification could not proceed because the target or a control blocked it.

Unknown

Current evidence cannot support a deterministic conclusion.

FalsePositive

Verification rejected the hypothesis.

NeedsReview

Conflicting or incomplete evidence requires a human decision.

ConfirmedNegative

An audited negative control explicitly disproved the hypothesis.

Unlike FalsePositive, this records a trusted negative result rather than a verifier rejecting the provenance or interpretation of a prior finding.

Implementations

impl OutcomeStatus

pub const fn is_terminal(self) -> bool

Returns whether the verification pipeline should stop at this status.

pub const fn hypothesis_state(self) -> Option<HypothesisState>

Returns the candidate verifier-owned hypothesis transition state associated with this status.

Verification-case and orchestration policy decide whether that candidate state is actually applied.

Trait Implementations

impl Clone for OutcomeStatus

fn clone(&self) -> OutcomeStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for OutcomeStatus

impl Debug for OutcomeStatus

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for OutcomeStatus

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for OutcomeStatus

impl Hash for OutcomeStatus

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

where __H: Hasher,

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 Ord for OutcomeStatus

fn cmp(&self, other: &OutcomeStatus) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for OutcomeStatus

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for OutcomeStatus

fn partial_cmp(&self, other: &OutcomeStatus) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for OutcomeStatus

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 OutcomeStatus