Struct SequenceLedger 

pub struct SequenceLedger { /* private fields */ }

Validated delivery-sequence watermark and all unmaterialized claims.

Storage bindings may restore and inspect this factual snapshot, but cannot invoke the lower-level planner directly. Executable admission is owned by the protocol’s total lifecycle operations.

use liminal_protocol::lifecycle::SequenceLedger;

fn bypass_total_operation(ledger: SequenceLedger) {
    let _ = ledger.plan_ordinary_record(0);
}

Implementations

impl SequenceLedger

pub fn try_new( high_watermark: u64, claims: SequenceClaims, ) -> Result<Self, SequenceLedgerInvariantError>

Restores a ledger only when its derived reserve fits the remaining suffix.

Errors

Returns SequenceLedgerInvariantError if the canonical reserve sum overflows u128 or exceeds u64::MAX - high_watermark.

pub const fn high_watermark(self) -> u64

Returns the greatest allocated delivery sequence.

pub const fn claims(self) -> SequenceClaims

Returns the primitive claims from which the reserve is derived.

pub fn budget(self) -> SequenceBudget

Returns the canonical ten-field budget.

pub const fn required_reserve(self) -> u128

Returns the exact checked-wide reserve owned by the claims.

Trait Implementations

impl Clone for SequenceLedger

fn clone(&self) -> SequenceLedger

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SequenceLedger

impl Debug for SequenceLedger

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

Formats the value using the given formatter.

impl Eq for SequenceLedger

impl PartialEq for SequenceLedger

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SequenceLedger