import type { RunRecord, SpecContract, VerificationResult } from "./types.js";
/**
 * Read the repo instruction files (AGENTS.md / CLAUDE.md / README.md) plus a
 * generated RUDDER.md if present, truncated for prompt budget. Shared by the
 * spec builder and the planner so both prime an agent with the same context.
 */
export declare function loadInstructionFiles(workspace: string, repoRoot?: string): Promise<Array<{
    path: string;
    content: string;
}>>;
export declare function createSpec(run: RunRecord): Promise<SpecContract>;
export declare function renderContract(spec: SpecContract): string;
export declare function verifyRun(run: RunRecord): Promise<VerificationResult>;
