Enum ValidationError 

#[non_exhaustive]
pub enum ValidationError {
    InvalidSaid {
        expected: Said,
        actual: Said,
    },
    BrokenChain {
        sequence: u64,
        referenced: Said,
        actual: Said,
    },
    InvalidSequence {
        expected: u64,
        actual: u64,
    },
    CommitmentMismatch {
        sequence: u64,
    },
    SignatureFailed {
        sequence: u64,
    },
    NotInception,
    EmptyKel,
    MultipleInceptions,
    Serialization(String),
    MalformedSequence {
        raw: String,
    },
}

Errors specific to KEL validation.

These errors represent protocol invariant violations. They indicate structural corruption or attack, not recoverable conditions.

Invariants Enforced

• Append-only KEL: Sequence numbers must be monotonically increasing
• Self-addressing: Each event’s SAID must match its content hash
• Chain integrity: Each event must reference the previous event’s SAID

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

InvalidSaid

SAID (Self-Addressing Identifier) doesn’t match content hash.

This is a protocol invariant violation. The event’s d field must equal the Blake3 hash of its canonical serialization.

Fields

expected: Said

actual: Said

BrokenChain

Event references wrong previous event.

This is a chain integrity violation. Each event’s p field must equal the SAID of the immediately preceding event.

Fields

sequence: u64

referenced: Said

actual: Said

InvalidSequence

Sequence number is not monotonically increasing.

This is an append-only invariant violation. Sequence numbers must be 0, 1, 2, … with no gaps or duplicates.

Fields

expected: u64

actual: u64

CommitmentMismatch

Fields

sequence: u64

SignatureFailed

Fields

sequence: u64

NotInception

EmptyKel

MultipleInceptions

Serialization(String)

MalformedSequence

Fields

raw: String

Trait Implementations

impl AuthsErrorInfo for ValidationError

fn error_code(&self) -> &'static str

Returns a unique error code string for this error variant.

fn suggestion(&self) -> Option<&'static str>

Returns an optional actionable suggestion for resolving the error.

impl Clone for ValidationError

fn clone(&self) -> ValidationError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl Display for ValidationError

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

Formats the value using the given formatter.

impl Error for ValidationError

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<ValidationError> for AnchorError

fn from(source: ValidationError) -> Self

Converts to this type from the input type.

impl From<ValidationError> for InceptionError

fn from(source: ValidationError) -> Self

Converts to this type from the input type.

impl From<ValidationError> for KelError

fn from(source: ValidationError) -> Self

Converts to this type from the input type.

impl From<ValidationError> for ResolveError

fn from(source: ValidationError) -> Self

Converts to this type from the input type.

impl From<ValidationError> for RotationError

fn from(source: ValidationError) -> Self

Converts to this type from the input type.

impl PartialEq for ValidationError

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

impl StructuralPartialEq for ValidationError