Struct CaptureLedger 

pub struct CaptureLedger { /* private fields */ }

Monotone per-run ledger. Reservations cannot be refunded after work begins.

Implementations

impl CaptureLedger

pub fn new(plan: &AdmittedCapturePlan) -> Self

Creates a fresh run ledger with the admitted limits.

pub fn with_inherited_usage( plan: &AdmittedCapturePlan, inherited: CaptureUsage, ) -> Result<Self, CaptureError>

Starts an independently admitted child ledger with the usage already consumed at its fork boundary. Inherited usage counts against the child’s cumulative limits, but not its next step. Later parent work is separate.

pub fn begin_step(&mut self)

Resets step reservations while preserving cumulative accounting.

pub fn step(&self) -> CaptureUsage

Returns current step reservations.

pub fn total(&self) -> CaptureUsage

Returns cumulative reservations.

pub fn reserve( &mut self, usage: CaptureUsage, ) -> Result<Option<CaptureSkipReason>, CaptureError>

Charges a conservative reservation before native work; skipped reservations are not charged.

Trait Implementations

impl Debug for CaptureLedger

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

Formats the value using the given formatter.