Struct BudgetEnvelope 

pub struct BudgetEnvelope {
    pub session_id: String,
    pub max_steps: Option<u32>,
    pub steps_used: u32,
    pub max_revisions: Option<u32>,
    pub revisions_used: u32,
    pub max_cost_usd: Option<f64>,
    pub cost_used_usd: f64,
}

Budget envelope for plan execution.

Tracks cost, step, and revision budgets for a session. The governance layer checks these limits before allowing further execution.

Fields

session_id: String

Session ID.

max_steps: Option<u32>

Maximum number of node execution steps allowed.

steps_used: u32

Steps consumed so far.

max_revisions: Option<u32>

Maximum number of plan revisions allowed.

revisions_used: u32

Revisions consumed so far.

max_cost_usd: Option<f64>

Maximum total cost in USD.

cost_used_usd: f64

Cost consumed so far.

Implementations

impl BudgetEnvelope

pub fn new(session_id: impl Into<String>) -> Self

Create a new budget envelope with no limits.

pub fn steps_exhausted(&self) -> bool

Whether the step budget is exhausted.

pub fn revisions_exhausted(&self) -> bool

Whether the revision budget is exhausted.

pub fn cost_exhausted(&self) -> bool

Whether the cost budget is exhausted.

pub fn any_exhausted(&self) -> bool

Whether any budget limit has been exceeded.

pub fn record_step(&mut self)

Record a step.

pub fn record_revision(&mut self)

Record a plan revision.

pub fn record_cost(&mut self, usd: f64)

Record cost.

Trait Implementations

impl Clone for BudgetEnvelope

fn clone(&self) -> BudgetEnvelope

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BudgetEnvelope

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BudgetEnvelope

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for BudgetEnvelope

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.