import { Effect } from "effect";
import { QuintError, QuintNotFoundError } from "./errors.js";
import type { RunOptions } from "./run-options.js";
import type { TraceGenerationAdapter } from "./trace-adapter.js";
import type { ItfTraceJson } from "./trace-files.js";
interface EvaluatorResult {
    readonly stdout: string;
    readonly exitCode: number;
    readonly stderr: string;
}
interface CompiledEvaluatorAdapterDeps {
    readonly compiledInputExists: (path: string) => boolean;
    readonly cpuCount: () => number;
    readonly getEvaluatorPath: () => string;
    readonly randomSeedHex: () => string;
    readonly readCompiledInput: (path: string) => Effect.Effect<string, QuintError>;
    readonly runEvaluator: (evaluatorPath: string, inputStr: string) => Effect.Effect<EvaluatorResult, QuintNotFoundError>;
}
interface PatchedCompiledInput {
    readonly input: string;
    readonly seedHex: string;
}
export declare const patchCompiledEvaluatorInput: (rawInput: string, opts: RunOptions, cpuCount: number, randomSeedHex: string) => PatchedCompiledInput;
export declare const normalizeEvaluatorOutput: (stdout: string) => Effect.Effect<ReadonlyArray<ItfTraceJson>, QuintError>;
export declare const makeCompiledEvaluatorTraceAdapter: (deps?: CompiledEvaluatorAdapterDeps) => TraceGenerationAdapter;
export declare const compiledEvaluatorTraceAdapter: TraceGenerationAdapter;
export {};
//# sourceMappingURL=compiled-evaluator-adapter.d.ts.map