import { URI } from '@theia/core'; export declare const FileReadTracker: unique symbol; /** Tracks the content an agent has seen per chat session, so that changes by anyone else can be reported back to it. */ export interface FileReadTracker { /** Snapshots `uri` as the session's agent just saw it, or forgets it if it is gone. Pass `content` when at hand to save a read. */ recordRead(sessionId: string, uri: URI, content?: string): Promise; /** Whether `uri` differs from what the session's agent last saw. `false` if never read or gone: neither holds content a write could discard. */ isStale(sessionId: string, uri: URI): Promise; /** Files changed since the session's agent read them, reported again until it reads them anew so an ignored notice cannot get lost. */ getChangedFiles(sessionId: string): Promise; } //# sourceMappingURL=file-read-tracker.d.ts.map