import { z } from "zod";
/**
 * Zod schema for a replay case input — mirrors FactSchema in src/state/facts.ts.
 * All timestamps are ISO 8601 strings; the store never reads the clock.
 */
export declare const ReplayCaseSchema: z.ZodObject<{
    contractId: z.ZodString;
    iteration: z.ZodNumber;
    baselineVerdict: z.ZodEnum<["pass", "fail"]>;
    diffDigest: z.ZodString;
    evalDetailsJson: z.ZodString;
    tCaptured: z.ZodString;
}, "strip", z.ZodTypeAny, {
    contractId: string;
    iteration: number;
    baselineVerdict: "pass" | "fail";
    diffDigest: string;
    evalDetailsJson: string;
    tCaptured: string;
}, {
    contractId: string;
    iteration: number;
    baselineVerdict: "pass" | "fail";
    diffDigest: string;
    evalDetailsJson: string;
    tCaptured: string;
}>;
export type ReplayCaseInput = z.infer<typeof ReplayCaseSchema>;
export interface ReplayCaseRecord extends ReplayCaseInput {
    caseId: string;
}
//# sourceMappingURL=replay-types.d.ts.map