recordFileRead method
Implementation
void recordFileRead(String path, String content, FileStat stat) {
final normalized = _normalize(path);
_trackedFiles[normalized] = TrackedFileState(
path: normalized,
content: content,
lastModified: stat.modified,
size: stat.size,
);
}