Struct ClosureAccounting 

pub struct ClosureAccounting { /* private fields */ }

Validated unchanged-prestate closure accounting.

This wrapper owns every common field disclosed by a closure refusal. The wire snapshot is derived from it, so a server binding cannot mix current and proposed values or hand-construct an operation-specific refusal.

Implementations

impl ClosureAccounting

pub fn try_new( state: ClosureState, marker_capacity_credits: u64, marker_anchors: u64, edge_sequence_claims: u64, edge_order_position_claims: u64, edge_k_remaining: ResourceVector, baseline: WideResourceVector, configured_cap: ResourceVector, episode_churn_used: u64, episode_churn_limit: u64, ) -> Result<Self, ClosureAccountingError>

Validates one complete durable accounting snapshot.

The edge-owned claim counts remain explicit durable facts because their exact occurrence plan is deliberately not the defective fixed array excluded by docs/design/LP-EXTRACTION-GOAL.md Fix 2.

Errors

Returns ClosureAccountingError for a zero/overused churn bound, impossible anchor count, baseline outside capacity, edge resources in a clear state, or debt that cannot use the frozen u64 wire fields.

pub const fn state(self) -> ClosureState

Returns the typed clear-or-owed closure state.

pub const fn marker_capacity_credits(self) -> u64

Returns identity slots currently owning marker-capacity credits.

pub const fn marker_anchors(self) -> u64

Returns current planned, undelivered, or delivered marker anchors.

pub const fn edge_sequence_claims(self) -> u64

Returns sequence claims owned by the current edge.

pub const fn edge_order_position_claims(self) -> u64

Returns transaction-order positions owned by the current edge.

pub const fn edge_k_remaining(self) -> ResourceVector

Returns the exact current recovery-capacity occupancy.

pub const fn baseline(self) -> WideResourceVector

Returns the current retained baseline B.

pub const fn configured_cap(self) -> ResourceVector

Returns the configured entry/byte capacity.

pub const fn episode_churn_used(self) -> u64

Returns activated churn cycles already used.

pub const fn episode_churn_limit(self) -> u64

Returns the signed churn-cycle limit.

Trait Implementations

impl Clone for ClosureAccounting

fn clone(&self) -> ClosureAccounting

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for ClosureAccounting

impl Debug for ClosureAccounting

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

Formats the value using the given formatter.

impl Eq for ClosureAccounting

impl PartialEq for ClosureAccounting

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ClosureAccounting