Struct EditFile 

pub struct EditFile { /* private fields */ }

Targeted file edit. Locks the file, re-reads under lock, verifies the unique-match invariant, writes to a temp sibling, and atomically renames into place — fixing the v0.1 TOCTOU race between read and write.

Unsandboxed by default. Use EditFile::with_sandbox when exposed to hostile LLM output.

Implementations

impl EditFile

pub fn new() -> Self

pub fn with_sandbox(sandbox: Arc<FilesystemRoot>) -> Self

Trait Implementations

impl Default for EditFile

fn default() -> Self

Returns the “default value” for a type.

impl Tool for EditFile

fn name(&self) -> &str

The tool’s name — used by the model to invoke it and for dispatch.

fn description(&self) -> &str

Human-readable description sent to the model as part of the tool list. This is the primary steering mechanism for tool selection.

fn schema(&self) -> Value

JSON Schema describing the tool’s arguments.

fn call(&self, args: Value) -> Result<String, String>

Execute the tool synchronously. Return a string result or an error message. Callers must enforce result-byte caps and envelope framing before persisting or feeding back to the model.