Enum VerifiedTrustState 

pub enum VerifiedTrustState {
    FullChainVerified {
        ceiling: ClaimCeiling,
        witnesses: Vec<WitnessSummary>,
    },
    Partial {
        reasons: Vec<String>,
        witnesses: Vec<WitnessSummary>,
    },
    Broken {
        edge: BrokenEdge,
        witnesses: Vec<WitnessSummary>,
    },
}

One of three outcomes per ADR 0041 §“Stable failure taxonomy”.

Variants

FullChainVerified

Every required witness class is present, disjoint, fresh, well-tiered, and signature-valid. The verifier promotes the claim to the given effective ceiling.

Fields

ceiling: ClaimCeiling

Effective ceiling the claim is allowed at.

witnesses: Vec<WitnessSummary>

Summary of every witness that contributed.

Partial

Some required witness class is missing or insufficient, but no edge outright failed. Advisory-only; cannot promote.

Fields

reasons: Vec<String>

Per-axis reasons the partial result was emitted.

witnesses: Vec<WitnessSummary>

Summary of every witness that did pass.

Broken

A required axis outright failed (digest mismatch, stale, domain overlap, signature invalid, ceiling below required, policy fail-closed).

Fields

edge: BrokenEdge

Exact failing edge with stable invariant name.

witnesses: Vec<WitnessSummary>

Summary of every witness that was supplied. Useful for diagnosis.

Implementations

impl VerifiedTrustState

pub const fn is_full_chain_verified(&self) -> bool

True iff this is FullChainVerified.

pub const fn is_broken(&self) -> bool

True iff this is Broken { .. }.

pub const fn is_partial(&self) -> bool

True iff this is Partial { .. }.

pub const fn wire_str(&self) -> &'static str

Stable wire string for the variant (full_chain_verified, partial, or broken).

Trait Implementations

impl Clone for VerifiedTrustState

fn clone(&self) -> VerifiedTrustState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifiedTrustState

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerifiedTrustState

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for VerifiedTrustState

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for VerifiedTrustState

impl StructuralPartialEq for VerifiedTrustState