Struct FileTracker 

pub struct FileTracker { /* private fields */ }

Tracks when files were last read/written.

Enforces a read-before-write guard: rejects edits to files whose on-disk mtime has changed since the last recorded read. Shared across read, write, edit, and patch tools via Arc<FileTracker>.

Uses parking_lot::RwLock (not tokio) because locks are never held across .await points; parking_lot is adopted on this hot path (every read/ write/edit/patch tool call) for ~2× faster uncontended reads, see T2 in tasks/performance-audit-heartbit-core-2026-05-06.md.

Implementations

impl FileTracker

pub fn new() -> Self

pub fn record_read(&self, path: &Path) -> Result<()>

Record that path was just read. Captures its current mtime.

pub fn check_unmodified(&self, path: &Path) -> Result<(), String>

Check that path has not been modified since the last recorded read.

Returns Ok(()) if the file is safe to write. Returns Err(message) if the file was modified externally or was never read.

pub fn was_read(&self, path: &Path) -> bool

Check whether path has been previously read.

Trait Implementations

impl Default for FileTracker

fn default() -> Self

Returns the “default value” for a type.