Enum Outcome 

#[non_exhaustive]
pub enum Outcome {
    Pass,
    Fail,
    Warn,
    Excluded,
    Unsupported,
    NotApplicable,
    NotObserved,
}

The outcome of evaluating one requirement against one trace.

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.

Pass

All covering checks ran and produced no findings.

Fail

A MUST / MUST NOT requirement has findings.

Warn

A SHOULD / SHOULD NOT requirement has findings.

Excluded

The registry documents that this requirement is not judged from traces.

Unsupported

The registry references a check this validator build does not implement.

NotApplicable

The requirement is gated on a capability this session never declared (ADR-0006); its checks were not run.

NotObserved

Every covering check ran and found nothing to judge: this session carried none of the traffic the clause binds to.

Distinct from Self::Pass, and the distinction is the whole point. A clause about subscriptions/listen cannot be complied with by a session that never opened a stream — there was no opportunity to break it — so reporting pass states evidence the trace does not carry. Distinct from Self::NotApplicable too: that one is the registry saying the clause is gated on a capability nobody declared, this one is the trace saying it had nothing to show.

Trait Implementations

impl Clone for Outcome

fn clone(&self) -> Outcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Outcome

impl Debug for Outcome

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Outcome

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Outcome

impl PartialEq for Outcome

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Outcome

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Outcome