/**
 * Loop-scoped file read tracking.
 *
 * Shared by the Read, Write, and Edit tools to enforce
 * the read-before-write/edit contract. Tracks which files
 * have been read during the current agentic loop, along with
 * metadata (mtime, offset, limit) for file-unchanged dedup.
 *
 * Created once per CortexAgent and cleared at the start
 * of each agentic loop via clear().
 */
export interface ReadState {
    /** File mtime at time of read (ms since epoch). */
    timestamp: number;
    /** 1-based offset used for the read (undefined = full read). */
    offset?: number;
    /** Line limit used for the read (undefined = default/full). */
    limit?: number;
    /**
     * SHA-256 hex digest of the raw file bytes at the time of read.
     * Populated only for non-truncated, full reads; used as a fallback
     * on mtime mismatch to allow writes when the on-disk bytes are
     * actually unchanged (e.g. a formatter or cloud-sync tool touched
     * the mtime without modifying content).
     */
    contentHash?: string;
}
export declare class ReadRegistry {
    private readonly entries;
    /**
     * Mark a file as read with metadata for dedup.
     * The path is normalized to an absolute, platform-canonical form.
     */
    markRead(filePath: string, state?: ReadState): void;
    /**
     * Check whether a file has been read in the current agentic loop.
     */
    hasBeenRead(filePath: string): boolean;
    /**
     * Get the read state for a file, or undefined if not read.
     */
    getState(filePath: string): ReadState | undefined;
    /**
     * Invalidate a single file's read state.
     * Called when the on-disk mtime diverges from the recorded read
     * state (external modification), forcing a fresh Read before
     * the next mutation. Successful Edit/Write calls instead call
     * markRead() with the new mtime, since the agent's own mutation
     * is authoritative knowledge of current file contents.
     */
    invalidate(filePath: string): void;
    /**
     * Clear all read tracking. Called at the start of each agentic loop.
     */
    clear(): void;
    /**
     * Get the number of tracked files (for diagnostics).
     */
    get size(): number;
    /**
     * Normalize a file path for consistent comparison.
     * Resolves to absolute and normalizes separators.
     */
    private normalize;
}
//# sourceMappingURL=read-registry.d.ts.map