Struct ReadTool 

pub struct ReadTool { /* private fields */ }

What a read answers with, and what it refuses.

Implementations

impl ReadTool

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

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

pub fn new( city_root: &Path, catalog: Arc<Mutex<Catalog>>, bound: ReadBound, block_store: &Path, ) -> Result<ReadTool, AxError>

Errors

Propagates a malformed parameter schema, which is a build-time defect rather than a runtime one.

Trait Implementations

impl Tool for ReadTool

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 effect_of(&self, _call: &ToolCall) -> Result<Effect, AxError>

The effect this one call has, which picks the door it meets.

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.