Enum OrdinaryProjectionError 

pub enum OrdinaryProjectionError {
    Conversation,
    NonzeroDebt,
    ClearClosureResidue,
    SenderBinding,
    ObserverBeyondHighWatermark,
    RetainedSuffix,
    RetainedChargeKey {
        index: u64,
    },
    RetainedEntryCharge {
        delivery_seq: DeliverySeq,
        entries: u64,
    },
    MarkerCredit,
    MarkerAnchor,
    MarkerCreditAccounting {
        derived: u64,
        stored: u64,
    },
    MarkerAnchorAccounting {
        derived: u64,
        stored: u64,
    },
    BaselineAccounting {
        derived: WideResourceVector,
        stored: WideResourceVector,
    },
    ArithmeticOverflow {
        dimension: ResourceDimension,
    },
    Order(OrderAdmissionError),
    Sequence(SequenceAdmissionError),
    ObserverBackpressure {
        cap_floor: u128,
        observer_progress: DeliverySeq,
    },
    MarkerAnchorCapacity {
        marker_delivery_seq: DeliverySeq,
        required: WideResourceVector,
        limit: ResourceVector,
    },
    Capacity {
        required: WideResourceVector,
        limit: ResourceVector,
    },
    RequiredCapacity(RequiredCapacityPlanError),
    ResultingAccounting(ClosureAccountingError),
    SequenceRelocation,
    OrderRelocation,
    ObserverSelectorInvariant,
    ClosureSelectorInvariant,
}

Invalid or noncommitting ordinary fixed-point snapshot.

Variants

Conversation

Request and validated frontier name different conversations.

NonzeroDebt

Ordinary admission cannot run while closure debt owns an edge.

ClearClosureResidue

A clear closure snapshot retained nonzero recovery occupancy or churn.

SenderBinding

The verified sender is absent, detached, or bound to another epoch.

ObserverBeyondHighWatermark

Hard observer progress lies beyond the current durable high watermark.

RetainedSuffix

The frontier floor and retained-key suffix disagree.

RetainedChargeKey

A keyed durability charge does not match its validated causal row.

Fields

index: u64

Zero-based retained-row index selected deterministically.

RetainedEntryCharge

One retained row has an impossible zero/multi-entry durability charge.

Fields

delivery_seq: DeliverySeq

Exact offending sequence.

entries: u64

Supplied entry charge.

MarkerCredit

A current marker credit does not name one exact retained marker row.

MarkerAnchor

An unaccepted marker anchor is duplicated or lacks a current credit.

MarkerCreditAccounting

Derived current marker-credit count disagrees with durable accounting.

Fields

derived: u64

Count derived from exact credited records.

stored: u64

Count stored in closure accounting.

MarkerAnchorAccounting

Derived current anchor count disagrees with durable accounting.

Fields

derived: u64

Count derived from exact anchor keys.

stored: u64

Count stored in closure accounting.

BaselineAccounting

Derived retained baseline disagrees with the stored closure baseline.

Fields

derived: WideResourceVector

Baseline derived from keyed records and exact current credits.

stored: WideResourceVector

Baseline stored in closure accounting.

ArithmeticOverflow

Checked-u128 retained or reserve arithmetic failed.

Fields

dimension: ResourceDimension

First component in entry-before-byte order.

Order(OrderAdmissionError)

Caller-major planning failed.

Sequence(SequenceAdmissionError)

Caller/marker sequence planning failed.

ObserverBackpressure

The minimal fitting floor would pass hard observer progress.

Fields

cap_floor: u128

Exact minimal capacity floor.

observer_progress: DeliverySeq

Current hard observer progress.

MarkerAnchorCapacity

An unaccepted marker pins the floor before capacity can fit.

Fields

marker_delivery_seq: DeliverySeq

Earliest unaccepted marker sequence.

required: WideResourceVector

Lowest required capacity reachable without crossing that marker.

limit: ResourceVector

Configured capacity.

Capacity

Even the empty post-append retained suffix cannot fit the ordinary envelope.

Fields

required: WideResourceVector

Lowest reachable required capacity.

limit: ResourceVector

Configured capacity.

RequiredCapacity(RequiredCapacityPlanError)

The required-capacity helper rejected checked arithmetic.

ResultingAccounting(ClosureAccountingError)

The derived poststate could not form valid closure accounting.

SequenceRelocation

Existing exact sequence owners could not be relayed behind the caller record and newly planned marker prefix.

OrderRelocation

Existing exact order owners could not be relayed behind the caller major.

ObserverSelectorInvariant

The shared observer selector disagreed with the successful fixed point.

ClosureSelectorInvariant

The shared closure selector disagreed with the successful fixed point.

Trait Implementations

impl Clone for OrdinaryProjectionError

fn clone(&self) -> OrdinaryProjectionError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OrdinaryProjectionError

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

Formats the value using the given formatter.

impl Eq for OrdinaryProjectionError

impl PartialEq for OrdinaryProjectionError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for OrdinaryProjectionError