import type { TraceHeader } from "./types.js";
import { Checkpoint } from "../state/checkpointStore.js";
export declare class TraceReader {
    readonly header: TraceHeader;
    readonly checkpoints: Checkpoint[];
    readonly sources: Record<string, string>;
    readonly staticState: Record<string, unknown> | null;
    private constructor();
    static fromFile(filePath: string): TraceReader;
    writeSourcesToDisk(dir: string): void;
}
