Enum TransitionError 

pub enum TransitionError {
    InvalidEvent(ValidationError),
    MissingInitialAssertion,
    DuplicateAssertion,
    FactIdMismatch,
    FactShapeMismatch,
    ReinforcementValueMismatch,
    TerminalStateMutation(FactLifecycle),
    InsufficientAuthority {
        incumbent: AuthorityLevel,
        challenger: AuthorityLevel,
    },
    CanonicalContradiction,
}

Variants

InvalidEvent(ValidationError)

MissingInitialAssertion

DuplicateAssertion

FactIdMismatch

FactShapeMismatch

ReinforcementValueMismatch

TerminalStateMutation(FactLifecycle)

InsufficientAuthority

A belief-changing event was rejected because its authority strictly under-ranks the incumbent’s. Shared by supersession and retraction (ADR 0008): a replacement or a retraction must out-rank or tie the incumbent. (Supersession is additionally checked for laundering in arbitrate; retraction carries no backing fact, so this authority gate is its complete check. Contradiction is not gated — dissent is always admitted.)

Fields

incumbent: AuthorityLevel

challenger: AuthorityLevel

CanonicalContradiction

A fact.contradicted event targeted a canonical fact. Canonical facts are not softly contested; a genuine change must arrive as an equal-authority supersession. This is the LFI hard-alarm tier.

Trait Implementations

impl Clone for TransitionError

fn clone(&self) -> TransitionError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TransitionError

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

Formats the value using the given formatter.

impl Display for TransitionError

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

Formats the value using the given formatter.

impl Eq for TransitionError

impl Error for TransitionError

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 TransitionError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TransitionError