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 validation proofs 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.

impl AllocationLedger

pub fn stage_validated_generation( &self, validated: &ValidatedAllocations, ) -> Result<Self, AllocationStageError>

Return a copy of the ledger with validated recorded as the next generation.

This is a pure logical update. Physical atomicity is the responsibility of the substrate commit protocol.

Empty validated commits are valid. They advance the counter even when no allocation records changed, without retaining an event.

Panics

Panics only if an internal validated-allocation invariant is broken.

pub fn stage_reservation_generation( &self, reservations: &[AllocationDeclaration], ) -> Result<Self, AllocationReservationError>

Return a copy of the ledger with reservations recorded as the next generation.

This is a pure logical update. The caller is responsible for applying framework policy before staging reservations.

Empty reservation commits are valid. They advance the counter without retaining an event.

pub fn stage_retirement_generation( &self, retirement: &AllocationRetirement, ) -> Result<Self, AllocationRetirementError>

Return a copy of the ledger with one explicit retirement committed.

Retirement tombstones any known non-retired allocation identity, including reserved records that never became active.

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