Struct SearchUsage 

pub struct SearchUsage {
    pub actions: u32,
    pub model_turns: u32,
    pub tool_calls: u32,
    pub mutations: u32,
    pub verifier_runs: u32,
    pub tokens: u64,
    pub elapsed_secs: u64,
    pub result_bytes: u64,
    pub workspace_files: u64,
    pub workspace_bytes: u64,
    /* private fields */
}

Monotone usage. All fields are reserved-or-consumed totals; nothing public decrements except SearchUsage::release_unused, which may only return part of a held ticket — never below what was actually consumed.

Fields

actions: u32

model_turns: u32

tool_calls: u32

mutations: u32

verifier_runs: u32

tokens: u64

elapsed_secs: u64

Wall-clock seconds charged against SearchLimits::elapsed_secs (Definition 5’s time dimension; monotone like every other field).

result_bytes: u64

workspace_files: u64

workspace_bytes: u64

Implementations

impl SearchUsage

pub fn reserve( &mut self, limits: &SearchLimits, request: ReservationRequest, ) -> Result<ReservationTicket>

Reserve one action’s resources. Consumes one action unit — action units are never returned — and fails without reserving anything if any limit would be exceeded or the forest is closed.

pub fn charge( &mut self, limits: &SearchLimits, consumed: ReservationRequest, ) -> Result<()>

Charge consumed actuals a reservation could not know in advance (observed turns, calls, mutations, verifier runs, tokens, bytes). Monotone; crossing any limit closes the forest by type — the error is terminal for further reservations.

pub fn charge_elapsed( &mut self, limits: &SearchLimits, seconds: u64, ) -> Result<()>

Charge one wall-clock interval (Definition 5’s time dimension).

pub fn release_unused( &mut self, ticket: ReservationTicket, consumed: ReservationRequest, )

Release the unused part of a held reservation. The action unit is never returned; each dimension may release at most what the ticket reserved.

pub fn close(&mut self)

Close the forest. Terminal: no reservation succeeds afterwards.

pub fn is_closed(&self) -> bool

Trait Implementations

impl Clone for SearchUsage

fn clone(&self) -> SearchUsage

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SearchUsage

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

Formats the value using the given formatter.

impl Default for SearchUsage

fn default() -> SearchUsage

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for SearchUsage

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for SearchUsage

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for SearchUsage

impl StructuralPartialEq for SearchUsage