import type { Prompter } from './prompter.js'; import type { VerifyAc, VerifyTestRef } from './verifier.js'; export interface InteractiveVerdict { verdict: 'pass' | 'fail'; note?: string; } export interface InteractiveInput { acs: VerifyAc[]; tests: Record; files: string[]; } export interface WalkOptions { /** Test seam — defaults to `process.stdout.write`. */ write?: (chunk: string) => void; } /** * Walk each AC in order, render its context, and prompt the user for a verdict. * Returns one entry per AC the user verdicted on (`pass` or `fail`). Skipped * ACs are omitted from the result so they can fall through to other gates. */ export declare function walkAcsInteractively(input: InteractiveInput, prompter: Prompter, opts?: WalkOptions): Promise>; //# sourceMappingURL=interactive.d.ts.map