Struct CtxReadTool 

pub struct CtxReadTool;

Trait Implementations

impl McpTool for CtxReadTool

fn publishes_every_source(&self, _args: Option<&Map<String, Value>>) -> bool

Single reads and batches share one implementation per file, handle_inner_prepared, and that is where the lineage is settled:

• the requested file is published on every path — fresh reads through tools::ctx_read::read_file_* (handler thread or TaskSpine::spawn_thread workers), and cache hits, [unchanged] stubs and deltas through publish_requested_source, bound to what is on disk now;
• whenever the reply carries content from anywhere else — graph neighbours, cross-source hints, rule files, proactively expanded content, the kernel supplement of a batch — the capture is marked incomplete there, so that reply’s lineage is unknown;
• a source that cannot be bound (another repository via repo, an image, a path outside the root) marks it incomplete as well.

So a captured set that is still complete at the end IS the whole set, for every mode (the modes differ in rendering, not in what they read).

fn name(&self) -> &'static str

Tool name as registered in the MCP protocol (e.g. “ctx_tree”).

fn produces_machine_readable(&self, args: Option<&Map<String, Value>>) -> bool

Whether this invocation yields a machine-readable payload (e.g. JSON) that must reach the client byte-exact and parseable. When true, the dispatch pipeline suppresses every human-oriented decoration (auto-context briefing, verify footer, hints, checkpoints, deprecation notices) and terse compression for this call, returning the pure body. Keyed on args because most tools emit machine-readable output only for an opt-in format flag (e.g. format=json); defaults to false (#990).

fn tool_def(&self) -> Tool

MCP tool definition including JSON schema. This replaces the corresponding entry in granular_tool_defs().

fn handle( &self, args: &Map<String, Value>, ctx: &ToolContext, ) -> Result<ToolOutput, ErrorData>

Execute the tool. Args are the raw JSON-RPC arguments. ctx provides access to resolved paths and project state.

fn rights_name(&self) -> &'static str

The name of the handler this tool runs, for the session rights’ denied_tools (process-v1 §9): an alias names the tool it delegates to, so denying that tool denies every name it is reachable under.

fn attests_source_free(&self, _args: Option<&Map<String, Value>>) -> bool

Attestation that this invocation derives its output from the caller’s arguments and lean-ctx’s own state only — it reads no project source, provider or stored copy of one. Replay admission relies on it: an output with no captured source set is replayed under protection only when its tool attests this. The default is false: “no source was observed” is not proof, an uninstrumented reader publishes none either. Override only for a tool whose handler was read for exactly this.