Enum ProofError 

pub enum ProofError {
    InvalidHandle,
    StaleCapability,
    InsufficientRights,
    PolicyViolation,
    P3NotImplemented,
    DerivationChainBroken,
}

Errors from proof verification (ADR-135 three-layer system).

Variants

InvalidHandle

P1: Handle does not resolve to a valid capability.

StaleCapability

P1: Capability epoch does not match (revoked).

InsufficientRights

P1: Capability does not carry the required rights.

PolicyViolation

P2: One or more structural invariant checks failed.

Deliberately does not specify which check failed to prevent timing side-channel leakage (ADR-135).

P3NotImplemented

P3: Deep proof verification not implemented in v1.

DerivationChainBroken

P3: The derivation chain is broken — an ancestor is invalid, revoked, or the chain does not terminate at a root.

Trait Implementations

impl Clone for ProofError

fn clone(&self) -> ProofError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ProofError

impl Debug for ProofError

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

Formats the value using the given formatter.

impl Display for ProofError

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

Formats the value using the given formatter.

impl Eq for ProofError

impl From<ProofError> for RvmError

fn from(e: ProofError) -> Self

Converts to this type from the input type.

impl PartialEq for ProofError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ProofError