/**
 * Quint subprocess runner — mirrors the `validateBundle v2` pattern at
 * `engines/src/bundles/validate.ts:459-504`. Probes `quint --version`
 * once; skips cleanly if the binary isn't on PATH; runs `quint typecheck`
 * with a 15s per-file timeout; returns a structured result.
 *
 * Used by `analyse-runner.ts` to validate the per-spec Quint module
 * generated by `./index.ts`. Failed typecheck = lifecycle inconsistency
 * the LLM didn't catch.
 */
export interface QuintRunResult {
    status: 'pass' | 'fail' | 'skip';
    /** Reason for skip (e.g. 'quint binary not on PATH'). Only set when status==='skip'. */
    skipReason?: string;
    /** One entry per typecheck error, slice-truncated to 400 chars. Empty when status==='pass'. */
    errors: string[];
    /** Wall-clock duration of the entire run. */
    durationMs: number;
}
/**
 * Run `quint typecheck` against a single Quint file path. Returns a
 * structured result that the analyse-runner formats into a
 * `verify-behavior.txt` log alongside `verify.txt`.
 *
 * Skip semantics: when the `quint` CLI isn't installed (common on user
 * machines), we skip without failing — Quint is an opt-in formal layer,
 * not a hard dependency.
 */
export declare function runQuintTypecheck(filePath: string): QuintRunResult;
/**
 * Format a `QuintRunResult` as a human-readable text block suitable for
 * writing to `verify-behavior.txt` in the run output dir, OR feeding back
 * to the LLM as an error message in a retry prompt.
 */
export declare function formatQuintResult(result: QuintRunResult, sourceFilePath?: string): string;
//# sourceMappingURL=runner.d.ts.map