Struct OrderLedger 

pub struct OrderLedger { /* private fields */ }

Validated transaction-order high watermark and reserved claims.

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

use liminal_protocol::lifecycle::OrderLedger;

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

Implementations

impl OrderLedger

pub fn try_new( high: OrderHigh, claims: OrderClaims, ) -> Result<Self, OrderLedgerInvariantError>

Restores a ledger only when every unmaterialized claim owns a remaining value.

Errors

Returns OrderLedgerInvariantError if claims exceed the exact suffix.

pub const fn high(self) -> OrderHigh

Returns the persisted high-watermark state.

pub const fn claims(self) -> OrderClaims

Returns the exact four-class claim state.

pub fn remaining(self) -> u128

Returns exact unallocated majors remaining.

Trait Implementations

impl Clone for OrderLedger

fn clone(&self) -> OrderLedger

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for OrderLedger

impl Debug for OrderLedger

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

Formats the value using the given formatter.

impl Eq for OrderLedger

impl PartialEq for OrderLedger

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for OrderLedger