Enum Fault 

pub enum Fault {
    TypeViolation {
        expected: ValType,
        actual: ValType,
        message: String,
    },
    UnknownLabel {
        label: String,
    },
    ChannelClosed {
        endpoint: Endpoint,
    },
    InvalidSignature {
        edge: Edge,
    },
    VerificationFailed {
        edge: Edge,
        message: String,
    },
    Invoke {
        failure: EffectFailure,
    },
    Acquire {
        layer: String,
        failure: EffectFailure,
    },
    Transfer {
        message: String,
    },
    Speculation {
        message: String,
    },
    Close {
        message: String,
    },
    FlowViolation {
        message: String,
    },
    NoProgressToken {
        edge: Edge,
    },
    OutputCondition {
        predicate_ref: String,
    },
    OutOfRegisters,
    PcOutOfBounds,
    BufferFull {
        endpoint: Endpoint,
    },
    OutOfCredits,
}

Runtime fault.

Variants

TypeViolation

Instruction violated the session type.

Fields

expected: ValType

Expected runtime value type.

actual: ValType

Actual runtime value type.

message: String

Description of the type violation.

UnknownLabel

Unknown label in offer/choose.

Fields

label: String

The unrecognized label.

ChannelClosed

Channel/endpoint closed.

Fields

endpoint: Endpoint

The closed endpoint.

InvalidSignature

Signature evidence failed edge validation.

Fields

edge: Edge

Edge whose signature check failed.

VerificationFailed

Verification backend rejected a signed payload/proof.

Fields

edge: Edge

Edge whose verification failed.

message: String

Failure reason.

Invoke

Effect handler error.

Fields

failure: EffectFailure

Typed failure from the handler boundary.

Acquire

Guard layer failure.

Fields

layer: String

Guard layer identifier.

failure: EffectFailure

Typed failure.

Transfer

Ownership transfer failure.

Fields

message: String

Error message.

Speculation

Speculation failure.

Fields

message: String

Error message.

Close

Session close error.

Fields

message: String

Error message from close.

FlowViolation

Protocol-level flow invariant violation.

Fields

message: String

Violation detail.

NoProgressToken

Missing progress token for a required edge action.

Fields

edge: Edge

Edge missing a valid progress token.

OutputCondition

Output-condition commit gate rejected emitted outputs.

Fields

predicate_ref: String

Predicate reference that failed verification.

OutOfRegisters

Register out of bounds.

PcOutOfBounds

PC out of bounds.

BufferFull

Buffer full and backpressure policy is error.

Fields

endpoint: Endpoint

The full endpoint buffer.

OutOfCredits

Coroutine exhausted its deterministic execution budget.

Implementations

impl Fault

pub fn type_violation(message: impl Into<String>) -> Self

Build a type-violation fault when only a textual diagnostic is available.

Trait Implementations

impl Clone for Fault

fn clone(&self) -> Fault

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Fault

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Fault

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Fault

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

Formats the value using the given formatter.

impl PartialEq for Fault

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Fault

impl StructuralPartialEq for Fault