Struct ReadLedger 

pub struct ReadLedger { /* private fields */ }

Per-session record of which paths an agent has read (or written), keyed by the path string as the model passed it (lexical . components are normalized away — see ReadLedger::normalize_key) and valued by a content hash of the FULL file text plus whether the agent actually observed that full text. It backs the read-before-edit / staleness guard on the built-in edit_file/write_file tools: an edit (or an overwrite/append onto an existing file) is licensed only once the session has observed that path’s current content, so the model can’t blind-edit a file it never read or clobber one that changed underneath it.

Interior mutability is a plain std::sync::Mutex (never held across an .await), so a &ReadLedger can live behind a shared Arc<dyn ToolExecutor>.

Implementations

impl ReadLedger

pub fn new() -> Self

pub fn record(&self, path: &str, content: &str, full_read: bool)

Record that path currently holds content (its FULL text). Called on a successful read and after a successful write/edit, so a later edit is licensed and staleness compares against this snapshot. full_read says whether the agent observed all of content, which whole-file writes and replace-all edits require.

pub fn check(&self, path: &str, content: &str) -> ReadState

Classify path against content (its current FULL text).

pub fn mutation_lock(&self, path: &str) -> Arc<Mutex<()>>

Serialize guarded mutations of one lexical path. The guard spans the read/check/write/record sequence so two same-session edits cannot both pass the stale check against one snapshot and lose one update.

pub fn clear(&self)

Trait Implementations

impl Debug for ReadLedger

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

Formats the value using the given formatter.

impl Default for ReadLedger

fn default() -> Self

Returns the “default value” for a type.