Enum RetrievalProofError 

pub enum RetrievalProofError {
    Io(Error),
    Snapshot {
        source: Box<SnapshotError>,
    },
    Vector(VectorValueError),
    Retrieval {
        source: Box<ExactRetrievalError>,
    },
    Lexical {
        source: Box<LexicalError>,
    },
    Hybrid {
        source: Box<HybridError>,
    },
    Document {
        source: Box<DocumentError>,
    },
    Invalid {
        reason: &'static str,
    },
    UnsupportedVersion {
        found: u16,
        supported: u16,
    },
    UnsupportedOperation {
        found: u16,
    },
    UnsupportedSemantics {
        found: u16,
        supported: u16,
    },
    ProofLimitExceeded {
        actual: u64,
        maximum: u64,
    },
    LengthOverflow,
    ChecksumMismatch,
    DigestMismatch,
    AnchorMismatch,
    SnapshotAnchorMismatch,
    SnapshotFormatMismatch,
    ReexecutionMismatch,
    TimedOut,
}

Failure while encoding, reading, or verifying a retrieval proof.

Variants

Io(Error)

Proof file I/O failed.

Snapshot

Snapshot witness verification failed.

Fields

source: Box<SnapshotError>

Underlying snapshot failure.

Vector(VectorValueError)

Canonical vector value is invalid.

Retrieval

Exact-retrieval replay failed.

Fields

source: Box<ExactRetrievalError>

Underlying deterministic retrieval failure.

Lexical

Lexical-retrieval replay failed.

Fields

source: Box<LexicalError>

Underlying deterministic lexical failure.

Hybrid

Hybrid fusion replay failed.

Fields

source: Box<HybridError>

Underlying deterministic hybrid failure.

Document

Canonical durable document decoding failed.

Fields

source: Box<DocumentError>

Underlying canonical document failure.

Invalid

Proof bytes violate the canonical format.

Fields

reason: &'static str

Stable diagnostic reason.

UnsupportedVersion

Proof format is newer than this verifier.

Fields

found: u16

Version found in proof bytes.

supported: u16

Highest supported version.

UnsupportedOperation

Retrieval operation is not supported.

Fields

found: u16

Operation tag found in proof bytes.

UnsupportedSemantics

Retrieval semantics version is not supported.

Fields

found: u16

Semantics version found in proof bytes.

supported: u16

Supported semantics version.

ProofLimitExceeded

Proof file exceeds caller policy.

Fields

actual: u64

Observed proof bytes.

maximum: u64

Configured maximum.

LengthOverflow

A canonical length or count cannot be represented safely.

ChecksumMismatch

Fast accidental-corruption check failed.

DigestMismatch

Canonical proof content digest failed.

AnchorMismatch

Proof anchor did not match caller-pinned trust state.

SnapshotAnchorMismatch

Snapshot metadata does not match the proof anchor.

SnapshotFormatMismatch

Snapshot uses a format that cannot witness durable vectors.

ReexecutionMismatch

Deterministic replay did not reproduce the embedded outcome.

TimedOut

End-to-end cooperative verification deadline expired.

Trait Implementations

impl Debug for RetrievalProofError

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

Formats the value using the given formatter.

impl Display for RetrievalProofError

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

Formats the value using the given formatter.

impl Error for RetrievalProofError

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 From<DocumentError> for RetrievalProofError

fn from(source: DocumentError) -> Self

Converts to this type from the input type.

impl From<Error> for RetrievalProofError

fn from(source: Error) -> Self

Converts to this type from the input type.

impl From<ExactRetrievalError> for RetrievalProofError

fn from(source: ExactRetrievalError) -> Self

Converts to this type from the input type.

impl From<HybridError> for RetrievalProofError

fn from(source: HybridError) -> Self

Converts to this type from the input type.

impl From<LexicalError> for RetrievalProofError

fn from(source: LexicalError) -> Self

Converts to this type from the input type.

impl From<RetrievalProofError> for EngineError

fn from(source: RetrievalProofError) -> Self

Converts to this type from the input type.

impl From<SnapshotError> for RetrievalProofError

fn from(source: SnapshotError) -> Self

Converts to this type from the input type.

impl From<VectorValueError> for RetrievalProofError

fn from(source: VectorValueError) -> Self

Converts to this type from the input type.