Struct RecoveredLedger 

pub struct RecoveredLedger { /* private fields */ }

RecoveredLedger

Proof object for an allocation ledger that has crossed physical recovery, logical payload-envelope routing, current-format checks, and committed integrity validation.

Recovery checks that physical and logical generations agree before constructing this proof; both generation accessors report that one value.

This type is not serializable and has no public constructor. It is the provenance boundary required before declarations can mint pre-commit crate::ValidatedAllocations.

Implementations

impl RecoveredLedger

pub const fn ledger(&self) -> &AllocationLedger

Borrow the recovered canonical allocation ledger.

The returned ledger is diagnostic/staging state. It is not itself an authority token; callers must keep passing the RecoveredLedger proof across validation boundaries.

pub const fn physical_generation(&self) -> u64

Return the selected physical committed generation. Recovery has established that it equals the current logical generation.

pub const fn current_generation(&self) -> u64

Return the recovered ledger’s current logical generation.

Trait Implementations

impl Clone for RecoveredLedger

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RecoveredLedger

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

Formats the value using the given formatter.

impl Eq for RecoveredLedger

impl PartialEq for RecoveredLedger

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RecoveredLedger