Enum EvidenceError 

pub enum EvidenceError {
    Chain(String),
    LauncherNotFound,
    NotALauncher,
    NoLineage,
    RootNotCommitted,
    LineageTooDeep,
    ProofDoesNotFold,
    RootMismatch,
}

The single error type every Evidence gather/verify returns. Each variant is a stable, catalogued failure reason (§6.2) so a consumer can branch on WHY a proof could not be established without parsing prose.

Variants

Chain(String)

A ChainSource read could not be answered (transport, timeout, malformed, unsupported). The answer is UNKNOWN — the proof fails closed, never degrading an unreliable read to “assume valid”. Carries the source’s Display string.

LauncherNotFound

The claimed launcher coin (store_id) does not exist per the chain source. The unforgeable identity anchor is missing, so no root-anchor proof can be built (fail closed).

NotALauncher

A coin was found at store_id, but its puzzle hash is NOT the singleton launcher puzzle hash — so store_id is not a genuine launcher coin. Rejecting this is what makes the launcher-coin anchor unforgeable: identity is anchored on the launcher COIN, never a curried launcher_id.

NoLineage

The store’s singleton lineage could not be resolved — the launcher never produced a singleton, or it has been fully melted. Without an authenticated lineage the claimed root cannot be anchored (fail closed).

RootNotCommitted

The claimed generation root is not committed by any coin in the store’s authenticated lineage (within the bounded walk). The root is not genuinely anchored to this store → reject.

LineageTooDeep

The backward lineage walk exceeded MAX_LINEAGE_DEPTH without resolving the claim. Fails closed rather than walking unboundedly.

ProofDoesNotFold

A merkle inclusion path did not fold to the claimed generation root. The supplied leaf is not provably contained under that root → reject.

RootMismatch

The two roots a composite proof must bind — the merkle-fold root and the chain-anchored root — are not the same 32 bytes. The range proof and the anchor proof describe different content, so their conjunction is meaningless → reject.

Trait Implementations

impl Clone for EvidenceError

fn clone(&self) -> EvidenceError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvidenceError

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

Formats the value using the given formatter.

impl Display for EvidenceError

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

Formats the value using the given formatter.

impl Eq for EvidenceError

impl Error for EvidenceError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl PartialEq for EvidenceError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for EvidenceError