Struct Budget 

pub struct Budget {
    pub steps: u64,
    pub lines: usize,
}

Caller-supplied cap on a Speculation’s VM stepping, in place of the runtime’s hardcoded STEP_LIMIT/LINE_LIMIT ceilings.

• steps bounds a single Speculation::advance call’s inner VM step loop (mirrors FlowInstance’s private STEP_LIMIT, 1,000,000 in production).
• lines bounds the total number of visible lines a Speculation may produce over its lifetime, across however many advance calls the caller makes (mirrors FlowInstance::LINE_LIMIT, 10,000 in production).

The Default is well under both production ceilings — a speculative probe is expected to be short-lived, so a runaway one should fail fast rather than approach the live budgets.

Fields

steps: u64

Max VM steps for a single advance call.

lines: usize

Max visible lines this Speculation may ever produce.

Trait Implementations

impl Clone for Budget

fn clone(&self) -> Budget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Budget

impl Debug for Budget

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

Formats the value using the given formatter.

impl Default for Budget

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Budget

impl PartialEq for Budget

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Budget