Struct RecoveredLedger 

pub struct RecoveredLedger { /* private fields */ }

RecoveredLedger

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

This type is not serializable and has no public constructor. It is the provenance boundary required before declarations can mint 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.

pub const fn current_generation(&self) -> u64

Return the recovered ledger’s current logical generation.

pub const fn ledger_schema_version(&self) -> u32

Return the schema version routed by the logical payload envelope.

pub const fn envelope_version(&self) -> u16

Return the payload envelope version used during recovery.

Trait Implementations

impl Clone for RecoveredLedger

fn clone(&self) -> RecoveredLedger

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 PartialEq for RecoveredLedger

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for RecoveredLedger

impl StructuralPartialEq for RecoveredLedger