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.
ChurnLimit
Frozen J is outside 2..=u32::MAX.
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: ParticipantIndexPresented index.
InitialParticipantIndexNotZero
The empty conversation’s monotone allocator must emit index zero.
Fields
participant_index: ParticipantIndexInvalid first allocated index.
BindingGeneration
Initial enrollment must bind generation one.
Fields
generation: GenerationInvalid 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
NonemptyMarkerState
Empty durable marker state must have no credits or anchors.
BaselineMismatch
Durable empty baseline differs from I * marker_max.
Fields
derived: WideResourceVectorBaseline derived by the protocol.
durable: WideResourceVectorBaseline carried by durable accounting.
StartupEnvelope
The signed startup zero-debt envelope is invalid.
Fields
dimension: ResourceDimensionFirst failing resource dimension.
AttachedChargeExceedsMandatoryBound
Attached charge is outside the mandatory transaction bound.
Fields
dimension: ResourceDimensionFirst failing resource dimension.
AttachedEntryCharge
One Attached lifecycle record has exactly one entry.
RetainedChargeOverflow
Resulting retained charge overflowed its durable u64 representation.
Fields
dimension: ResourceDimensionFirst 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
impl Clone for InitialEnrollmentClosureError
Source§fn clone(&self) -> InitialEnrollmentClosureError
fn clone(&self) -> InitialEnrollmentClosureError
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read more