import type { Store } from "./store.js";
import type { WalkthroughCase } from "./walkthrough.js";
import { type WalkthroughRun } from "./walkthrough-record.js";
export type { WalkthroughRun } from "./walkthrough-record.js";
export interface SavedWalkthrough {
    run: WalkthroughRun;
    status: "current" | "stale";
    requiresReconciliation: boolean;
}
/** Save a reproducible model check. This never certifies implementation or execution. */
export declare function saveWalkthrough(store: Store, name: string, example: WalkthroughCase, actor: string, maxSteps?: number, expectedBasis?: string): Promise<WalkthroughRun>;
export declare function getWalkthrough(store: Store, name: string, id: string): Promise<SavedWalkthrough>;
export declare function listWalkthroughs(store: Store, name: string): Promise<SavedWalkthrough[]>;