Struct AllocationLedger 

pub struct AllocationLedger { /* private fields */ }

AllocationLedger

Durable root of allocation history.

Decoded ledgers are input from persistent storage and should be treated as untrusted until compatibility and integrity validation pass. Public construction goes through AllocationLedger::new, which validates structural history invariants before returning a value. Use AllocationLedger::new_committed when the value should also satisfy the strict committed-generation chain required by recovery and commit.

Implementations

impl AllocationLedger

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

Validate structural ledger invariants before recovery or commit.

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

Validate strict committed-ledger invariants before recovery or commit.

Public durable structs are DTOs: decoded or manually constructed values are untrusted until this method succeeds.

impl AllocationLedger

pub fn new( ledger_schema_version: u32, physical_format_id: u32, current_generation: u64, allocation_history: AllocationHistory, ) -> Result<Self, LedgerIntegrityError>

Build a ledger DTO and validate structural ledger invariants.

This constructor validates duplicate records, lifecycle state, record generation bounds, and schema metadata records. It does not require a complete committed-generation chain. Use AllocationLedger::new_committed when constructing an authoritative committed ledger DTO.

pub fn new_committed( ledger_schema_version: u32, physical_format_id: u32, current_generation: u64, allocation_history: AllocationHistory, ) -> Result<Self, LedgerIntegrityError>

Build a committed ledger DTO and validate strict committed-history invariants.

This constructor runs the same committed-integrity checks used by recovery and commit. Use it when the value should be treated as an authoritative committed ledger, not merely as a structurally valid DTO.

pub const fn ledger_schema_version(&self) -> u32

Return the ledger schema version.

pub const fn physical_format_id(&self) -> u32

Return the protected physical format identifier.

pub const fn current_generation(&self) -> u64

Return the current committed generation selected by recovery.

pub const fn allocation_history(&self) -> &AllocationHistory

Return the historical allocation facts.

impl AllocationLedger

pub fn stage_validated_generation( &self, validated: &ValidatedAllocations, committed_at: Option<u64>, ) -> 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.

pub fn stage_reservation_generation( &self, reservations: &[AllocationDeclaration], committed_at: Option<u64>, ) -> 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.

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

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

Trait Implementations

impl Clone for AllocationLedger

fn clone(&self) -> AllocationLedger

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

fn eq(&self, other: &AllocationLedger) -> 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 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 Eq for AllocationLedger

impl StructuralPartialEq for AllocationLedger