Per-connection record of which files have been Read + their observed mtime/size at Read time. Edit uses this to enforce “you must Read before Edit, and the file mustn’t have changed since then.”