/** Versioned, token-only replay metadata shared by verification tools. */
export interface ReplayFile {
    readonly version: 1;
    readonly gate: string;
    readonly case: string;
    readonly seed: string;
    readonly inputsDigest: string;
    readonly meta: Readonly<Record<string, unknown>>;
}
/** Existing adversarial contract replay metadata. Kept as a compatibility envelope. */
export interface LegacyContractReplayFile {
    readonly seed: number;
    readonly caseId: string;
    readonly runtime: string;
}
/** Existing deterministic failure-lab replay metadata. Kept as a compatibility envelope. */
export interface LegacyFailureReplayFile {
    readonly seed: number;
    readonly schedule: readonly Record<string, unknown>[];
}
export type CompatibleReplayFile = ReplayFile | LegacyContractReplayFile | LegacyFailureReplayFile;
export declare function defineReplayFile(input: Omit<ReplayFile, "version">): ReplayFile;
export declare function parseReplayFile(value: unknown): ReplayFile;
/** Parse the unified format while preserving the two pre-existing token-only replay shapes. */
export declare function parseCompatibleReplayFile(value: unknown): CompatibleReplayFile;
//# sourceMappingURL=replay.d.ts.map