Enum Outcome 

pub enum Outcome {
    Held,
    Tracked {
        class: DivergenceClass,
    },
    Regressed {
        divergences: usize,
    },
    Graduated {
        stale_note: &'static str,
    },
    OracleLost,
}

The adjudicated result of one corpus row: (Expect, Verdict) -> Outcome.

Closed by construction — every pairing above maps into exactly one variant, so a future Verdict variant is a non-exhaustive-match compile error here rather than a silently-unhandled case.

Variants

Held

Declared Match, observed parity. The good case.

Tracked

Declared KnownDiverge, observed divergence. Debt, but known debt.

Fields

class: DivergenceClass

The class carried through from the waiver, so a report can group the ledger without re-deriving it.

Regressed

Declared Match, observed divergence. A conformance regression.

Fields

divergences: usize

How many divergences the differ found, for the failure message.

Graduated

Declared KnownDiverge, observed parity. Fixed but still waived — remove the waiver in the same commit as the fix.

Fields

stale_note: &'static str

The note from the stale waiver, so the message can name what to delete.

OracleLost

The oracle could not be reached. Never a silent skip.

Implementations

impl Outcome

pub fn passes(&self) -> bool

Whether this outcome lets the gate stay green.

Only Self::Held and Self::Tracked pass. In particular Self::Graduated does not — see the module docs for why that is the load-bearing half.

pub fn is_failure(&self) -> bool

Whether this outcome fails the gate — the negation of Self::passes, named positively so a call site reads as intent.

Trait Implementations

impl Clone for Outcome

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Outcome

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

Formats the value using the given formatter.

impl Display for Outcome

Renders the adjudication verdict. write!() inside a Display block is this crate’s sanctioned typed emission (★★ TYPED EMISSION) — the reason text is NEVER format!()-composed free text.

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

Formats the value using the given formatter.

impl Eq for Outcome

impl PartialEq for Outcome

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Outcome