Struct AllocationLedger 

pub struct AllocationLedger { /* private fields */ }

AllocationLedger

Durable ownership and current metadata, bounded by the usable memory-ID domain. Omitted and retired identities retain their slots; no per-upgrade or schema audit trail is stored.

The counter binds logical generations to physical commits. Decoded DTOs remain untrusted until integrity validation and protected recovery succeed.

Implementations

impl AllocationLedger

pub fn validate_integrity(&self) -> Result<(), LedgerIntegrityError>

Validate count, unique ownership and empty genesis before recovery or commit. Checked field types already enforce key, slot and schema invariants.

impl AllocationLedger

pub fn new( current_generation: u64, records: Vec<AllocationRecord>, ) -> Result<Self, LedgerIntegrityError>

Build a ledger DTO after validating count, ownership and genesis rules. Recovery must still establish the persisted format and physical binding.

pub const fn current_generation(&self) -> u64

Return the current commit counter; this is not retained upgrade history.

pub fn records(&self) -> &[AllocationRecord]

Borrow retained ownership records, including omitted and retired stores.

Trait Implementations

impl Clone for AllocationLedger

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 AllocationLedger

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AllocationLedger

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for AllocationLedger

impl PartialEq for AllocationLedger

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AllocationLedger

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for AllocationLedger