Struct SequenceClaims 

pub struct SequenceClaims { /* private fields */ }

Primitive participant-lifecycle claims from which the sequence reserve is derived.

E, L_other, and all three products are deliberately absent from this input. They are derived by the protocol so a caller cannot provide a self-inconsistent canonical budget.

Implementations

impl SequenceClaims

pub const fn new( live_members: u64, binding_terminals: u64, markers: u64, recovery: RecoverySequenceReserve, ) -> Self

Creates the primitive L, T, M, and coupled recovery claim state.

pub const fn live_members(self) -> u64

Returns live members L; flat exit claims E are exactly this value.

pub const fn binding_terminals(self) -> u64

Returns binding-terminal claims T.

pub const fn markers(self) -> u64

Returns required-but-unwritten marker claims M.

pub const fn recovery(self) -> RecoverySequenceReserve

Returns the coupled recovery sequence reserve.

pub fn budget(self, high_watermark: u64) -> SequenceBudget

Derives the canonical ten-field budget at high_watermark.

pub fn checked_required_reserve(self) -> Option<u128>

Computes the exact reserve in the frozen canonical term order.

The order is E, T, M, RS, RT, L*T, L*RT, then L_other*E, with every scalar widened before addition. None means the sum itself exceeds u128; each canonical product remains representable.

Trait Implementations

impl Clone for SequenceClaims

fn clone(&self) -> SequenceClaims

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SequenceClaims

impl Debug for SequenceClaims

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

Formats the value using the given formatter.

impl Default for SequenceClaims

fn default() -> SequenceClaims

Returns the “default value” for a type.

impl Eq for SequenceClaims

impl PartialEq for SequenceClaims

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SequenceClaims