Enum InitialEnrollmentClosureError 

pub enum InitialEnrollmentClosureError {
    ClosureNotClear,
    ClearOwnsEdgeResources,
    ClearChurnNotReset {
        used: u64,
    },
    ChurnLimit {
        configured: u64,
    },
    ZeroIdentitySlots,
    RecoveryClaimDiffersFromMandatoryBound,
    ParticipantIndexOutsideIdentityLimit {
        participant_index: ParticipantIndex,
        identity_slots: u64,
    },
    InitialParticipantIndexNotZero {
        participant_index: ParticipantIndex,
    },
    BindingGeneration {
        generation: Generation,
    },
    NonemptyOrderLedger,
    NonemptySequenceLedger,
    InitialFloorOrObserver {
        physical_floor: u128,
        observer_progress: u64,
    },
    NonemptyMarkerState {
        credits: u64,
        anchors: u64,
    },
    BaselineMismatch {
        derived: WideResourceVector,
        durable: WideResourceVector,
    },
    StartupEnvelope {
        dimension: ResourceDimension,
    },
    AttachedChargeExceedsMandatoryBound {
        dimension: ResourceDimension,
    },
    AttachedEntryCharge {
        actual: u64,
    },
    RetainedChargeOverflow {
        dimension: ResourceDimension,
    },
    MandatoryCapacity,
    ResultingAccounting(ClosureAccountingError),
    Baseline(BaselineError),
}

Malformed durable/configuration input for initial enrollment projection.

Variants

ClosureNotClear

Initial enrollment requires canonical clear closure state.

ClearOwnsEdgeResources

Clear state retained edge-owned claims or recovery occupancy.

ClearChurnNotReset

A clear episode must have reset its churn counter.

Fields

used: u64

Invalid durable churn count.

ChurnLimit

Frozen J is outside 2..=u32::MAX.

Fields

configured: u64

Invalid configured value.

ZeroIdentitySlots

Initial conversation must have at least one identity slot.

RecoveryClaimDiffersFromMandatoryBound

Frozen configuration requires Q == K componentwise.

ParticipantIndexOutsideIdentityLimit

Reserved participant index is outside 0..<I.

Fields

participant_index: ParticipantIndex

Presented index.

identity_slots: u64

Configured half-open limit.

InitialParticipantIndexNotZero

The empty conversation’s monotone allocator must emit index zero.

Fields

participant_index: ParticipantIndex

Invalid first allocated index.

BindingGeneration

Initial enrollment must bind generation one.

Fields

generation: Generation

Invalid binding generation.

NonemptyOrderLedger

Initial order ledger is not empty and claim-free.

NonemptySequenceLedger

Initial sequence ledger is not the zero watermark with no claims.

InitialFloorOrObserver

Empty log uses exactly F=1 and o=0.

Fields

physical_floor: u128

Presented physical floor.

observer_progress: u64

Presented hard observer progress.

NonemptyMarkerState

Empty durable marker state must have no credits or anchors.

Fields

credits: u64

Durable marker credits.

anchors: u64

Durable marker anchors.

BaselineMismatch

Durable empty baseline differs from I * marker_max.

Fields

derived: WideResourceVector

Baseline derived by the protocol.

durable: WideResourceVector

Baseline carried by durable accounting.

StartupEnvelope

The signed startup zero-debt envelope is invalid.

Fields

dimension: ResourceDimension

First failing resource dimension.

AttachedChargeExceedsMandatoryBound

Attached charge is outside the mandatory transaction bound.

Fields

dimension: ResourceDimension

First failing resource dimension.

AttachedEntryCharge

One Attached lifecycle record has exactly one entry.

Fields

actual: u64

Invalid entry charge.

RetainedChargeOverflow

Resulting retained charge overflowed its durable u64 representation.

Fields

dimension: ResourceDimension

First overflowing component.

MandatoryCapacity

No legal mandatory enrollment poststate exists at the initial floor.

ResultingAccounting(ClosureAccountingError)

Resulting closure accounting violated its structural invariant.

Baseline(BaselineError)

Baseline derivation rejected an impossible credit count.

Trait Implementations

impl Clone for InitialEnrollmentClosureError

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InitialEnrollmentClosureError

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

Formats the value using the given formatter.

impl Eq for InitialEnrollmentClosureError

impl PartialEq for InitialEnrollmentClosureError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InitialEnrollmentClosureError