Skip to main content

InitialEnrollmentClosureError

Enum InitialEnrollmentClosureError 

Source
pub enum InitialEnrollmentClosureError {
Show 21 variants 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),
}
Expand description

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§

Source§

impl Clone for InitialEnrollmentClosureError

Source§

fn clone(&self) -> InitialEnrollmentClosureError

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for InitialEnrollmentClosureError

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Eq for InitialEnrollmentClosureError

Source§

impl PartialEq for InitialEnrollmentClosureError

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for InitialEnrollmentClosureError

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.