Struct ResourceBudget 

#[non_exhaustive]
pub struct ResourceBudget {
    pub max_steps: Option<u64>,
    pub max_value_elements: Option<usize>,
}

Evaluator-side resource budget.

ResourceBudget is deliberately separate from Capabilities: capabilities answer “may the program use this host authority?”, while a budget answers “how much evaluator work/value growth is this host willing to pay for?”. The current implementation still stores these two fields on Capabilities for compatibility; call Self::apply_to_capabilities to bridge the new model into the existing evaluator.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

max_steps: Option<u64>

Maximum evaluator steps. None is unbounded.

max_value_elements: Option<usize>

Maximum number of elements in a single List/Tuple/Dict. None is unbounded.

Implementations

impl ResourceBudget

pub const DEV_MAX_STEPS: u64 = 5_000_000

pub const DEV_MAX_VALUE_ELEMENTS: usize = 100_000

pub const UNTRUSTED_MAX_STEPS: u64 = 1_000_000

pub const UNTRUSTED_MAX_VALUE_ELEMENTS: usize = 10_000

pub fn off() -> Self

No evaluator-side budget.

pub fn dev() -> Self

Local-development guardrails.

pub fn untrusted() -> Self

Tighter evaluator guardrails for externally supplied source.

pub fn from_profile(profile: ResourceBudgetProfile) -> Self

pub fn has_evaluator_limits(self) -> bool

pub fn apply_to_capabilities(self, caps: &mut Capabilities)

Trait Implementations

impl Clone for ResourceBudget

fn clone(&self) -> ResourceBudget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ResourceBudget

impl Debug for ResourceBudget

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

Formats the value using the given formatter.

impl Default for ResourceBudget

fn default() -> ResourceBudget

Returns the “default value” for a type.

impl Eq for ResourceBudget

impl PartialEq for ResourceBudget

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