Struct PlanBudget 

pub struct PlanBudget { /* private fields */ }

A bounded plan-step counter. Total executed steps can never exceed max_steps — the anti-unbounded-loop guard (ADR 0068 §4).

Implementations

impl PlanBudget

pub fn new(requested_steps: Option<usize>, cap: usize) -> PlanBudget

Build a budget from a per-query STEPS N request and the config cap. The request is clamped so it can never exceed the cap.

pub fn max_steps(&self) -> usize

The clamped ceiling on total executed steps.

pub fn executed_count(&self) -> usize

How many steps have executed so far.

pub fn remaining(&self) -> usize

Steps still available before the budget is exhausted.

pub fn executed_steps(&self) -> &[PlanStep]

The executed steps, in order — surfaced to the audit row.

pub fn charge(&mut self, step: PlanStep) -> Result<(), BudgetExhausted>

Charge one plan step. Returns Err(BudgetExhausted) — without recording the step — when the cap is already reached.

Trait Implementations

impl Clone for PlanBudget

fn clone(&self) -> PlanBudget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PlanBudget

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

Formats the value using the given formatter.