Struct InitialEnrollmentClosureProjection 

pub struct InitialEnrollmentClosureProjection { /* private fields */ }

Fully derived, persistable initial-enrollment closure projection.

Implementations

impl InitialEnrollmentClosureProjection

pub const fn resulting_closure_accounting(&self) -> ClosureAccounting

Returns the exact closure accounting to persist atomically on success.

pub const fn resulting_closure_state(&self) -> ClosureState

Returns the exact typed clear-or-owed closure state.

pub const fn resulting_retained_charge(&self) -> ResourceVector

Returns the retained closure charge S' after the Attached append.

pub const fn resulting_floor(&self) -> u128

Returns the reproducible physical floor F'.

pub const fn resulting_baseline(&self) -> WideResourceVector

Returns the exact resulting retained baseline B'.

pub const fn debt(&self) -> WideResourceVector

Returns the exact resulting closure debt.

pub const fn remaining_recovery_claim(&self) -> ResourceVector

Returns K_remaining', which is full K while debt is owed and zero when the projection remains clear.

pub const fn recovery_quartet(&self) -> RecoveryQuartetStatus

Returns whether the projection endowed the coupled recovery quartet.

pub fn new_marker_candidates(&self) -> &[PlannedEnrollmentMarker]

Returns the exact newly created marker candidates.

pub const fn required_capacity(&self) -> RequiredCapacityPlan

Returns the componentwise maximum across the complete base successor coverage used by stage 12.

pub const fn participant_index(&self) -> ParticipantIndex

Returns the permanent participant index reserved by this projection.

pub const fn identity_slots(&self) -> u64

Returns the validated half-open identity domain used by the projection.

pub const fn binding_epoch(&self) -> BindingEpoch

Returns the generation-one binding epoch used by the successor proof.

pub const fn current_order(&self) -> OrderLedger

Returns the unchanged current order ledger consumed by stage 9.

pub const fn observer_progress(&self) -> u64

Returns the hard observer progress checked by stage 11.

pub fn remaining_closure_decision( &self, request: &ClosureCheckedEnvelope, ) -> RemainingClosureDecision

Runs the frozen stage-12 selector against the unchanged prestate.

Order, sequence, and observer admission must run before the caller exposes this decision.

Trait Implementations

impl Clone for InitialEnrollmentClosureProjection

fn clone(&self) -> InitialEnrollmentClosureProjection

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InitialEnrollmentClosureProjection

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

Formats the value using the given formatter.

impl Eq for InitialEnrollmentClosureProjection

impl PartialEq for InitialEnrollmentClosureProjection

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InitialEnrollmentClosureProjection