Struct StatusTool 

pub struct StatusTool { /* private fields */ }

Implementations

impl StatusTool

pub const NAME: &'static str = "status"

The name this tool answers to, read by its registration and by mode::core_tools.

pub fn new(snapshot: StatusSnapshot) -> Result<StatusTool, AxError>

A run that hands nothing down.

Errors

Propagates a malformed parameter schema.

pub fn watching( snapshot: StatusSnapshot, children: Box<dyn Fn() -> Vec<ChildStatus> + Send + Sync>, ) -> Result<StatusTool, AxError>

A run whose delegate desk is asked every time the model calls status.

A closure rather than a field, because delegation happens after this tool is built: a snapshot taken before the run started is empty for the whole run. A closure rather than a seam, because the desk lives in collab and this crate may not depend on it - the assembly layer owns both ends and hands one to the other.

Errors

Propagates a malformed parameter schema.

pub fn metering(self, context: ContextReading) -> StatusTool

The reading the run records the provider’s count into, which the ctx line reports (crates/runtime/spec/Tools.lean §8-14, status).

pub fn clocked(self, clock: ClockReading) -> StatusTool

The reading the run’s clock hook keeps, which the now line reports (crates/runtime/spec/Clock.lean §8-53). It reports the time whatever the run’s stamp granularity: now is a field of this tool’s answer, not an envelope attachment, and a city that turned stamps off has not asked its model to stop knowing the time.

pub fn reporting(self, backlog: Backlog) -> StatusTool

The table whose members at this run’s address the thirteenth line reports (crates/runtime/spec/Backlog.lean §8-28-2).

Trait Implementations

impl Tool for StatusTool

fn meta(&self) -> &ToolMeta

fn invoke(&self, call: &ToolCall) -> Result<ToolOutcome, AxError>

Fail-closed identity: a call whose name differs from meta().name must return E_INVALID_ARGS, never route silently.

fn subject(&self, _call: &ToolCall) -> Result<GateSubject, AxError>

What this call is about, read by the grammar this tool already parses its arguments with.

fn writes(&self, _call: &ToolCall) -> Writes

What this call may have written to the city’s tree once it ran; the default reads the declared effect and nothing more.