Enum Verdict 

pub enum Verdict {
    Unavailable,
    Insufficient,
    Certified,
}

The conservative verdict ladder shared by every certificate.

The ordering is a soundness lattice, weakest → strongest: Unavailable < Insufficient < Certified. A verdict may only move UP this ladder as evidence accrues; it can never claim more than the evidence supports. The weakest state (Verdict::Unavailable) is the default, so a certificate that was never computed, or whose inputs were degenerate, reads as “no claim” — never as a silent pass. This is what makes “certified-but-wrong” structurally impossible: Certified is reachable only when the owning certificate’s own (unchanged) decision rule says the evidence strictly clears its required margin.

Variants

Unavailable

The certificate could not be evaluated: inputs were missing, degenerate, or non-finite. No claim is made. This is the default — the absence of a certificate is this state, not Certified.

Insufficient

The certificate was evaluated and the evidence is present, but it does NOT clear the margin required to certify the claim. The consumer must escalate (refine, gather more evidence, or fall back to the exact path); it must NOT treat this as a pass.

Certified

The evidence strictly clears the claim’s required margin. The claim holds — and, by construction of each owning decision rule, the conservative (worst-case) bound was used, so this verdict cannot be falsely positive.

Implementations

impl Verdict

pub fn is_certified(self) -> bool

Whether the claim is certified. The ONLY true case is Verdict::Certified; Insufficient and Unavailable are both false so no caller can read a missing or below-margin certificate as a pass.

pub fn label(self) -> &'static str

Stable machine label for payloads.

pub fn meet(self, other: Verdict) -> Verdict

Combine two verdicts about the SAME claim conservatively: the result is the WEAKER of the two (the meet on the soundness lattice). Aggregating a batch of per-item verdicts this way guarantees the summary can never be stronger than its weakest member — one uncertified row makes the batch uncertified.

Trait Implementations

impl Clone for Verdict

fn clone(&self) -> Verdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Verdict

impl Debug for Verdict

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

Formats the value using the given formatter.

impl Eq for Verdict

impl Ord for Verdict

fn cmp(&self, other: &Verdict) -> 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 Verdict

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

fn partial_cmp(&self, other: &Verdict) -> 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 StructuralPartialEq for Verdict