pub struct RecoveredLedger { /* private fields */ }Expand description
RecoveredLedger
Proof object for an allocation ledger that has crossed physical recovery, logical payload-envelope routing, current-format 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§
Source§impl RecoveredLedger
impl RecoveredLedger
Sourcepub const fn ledger(&self) -> &AllocationLedger
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.
Sourcepub const fn physical_generation(&self) -> u64
pub const fn physical_generation(&self) -> u64
Return the selected physical committed generation.
Sourcepub const fn current_generation(&self) -> u64
pub const fn current_generation(&self) -> u64
Return the recovered ledger’s current logical generation.
Trait Implementations§
Source§impl Clone for RecoveredLedger
impl Clone for RecoveredLedger
Source§fn clone(&self) -> RecoveredLedger
fn clone(&self) -> RecoveredLedger
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for RecoveredLedger
impl Debug for RecoveredLedger
Source§impl PartialEq for RecoveredLedger
impl PartialEq for RecoveredLedger
Source§fn eq(&self, other: &RecoveredLedger) -> bool
fn eq(&self, other: &RecoveredLedger) -> bool
Tests for
self and other values to be equal, and is used by ==.impl Eq for RecoveredLedger
impl StructuralPartialEq for RecoveredLedger
Auto Trait Implementations§
impl Freeze for RecoveredLedger
impl RefUnwindSafe for RecoveredLedger
impl Send for RecoveredLedger
impl Sync for RecoveredLedger
impl Unpin for RecoveredLedger
impl UnsafeUnpin for RecoveredLedger
impl UnwindSafe for RecoveredLedger
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more