import type { GoalState } from "../domain/types.js";
export declare const DEFAULT_VERIFIER_AGENT = "opencode-goal-verifier";
export declare const DEFAULT_VERIFIER_TIMEOUT_MS = 60000;
export interface SemanticVerifierOptions {
    timeoutMs?: number | undefined;
    /** OpenCode model ref in provider/model format. When omitted, small_model/model host config is preferred. */
    model?: string | undefined;
}
export declare class SemanticVerifierUnavailableError extends Error {
    readonly code = "SEMANTIC_VERIFIER_UNAVAILABLE";
    constructor(message: string);
}
export declare function createSemanticVerifierRuntime(client: any, root: string, options?: SemanticVerifierOptions): {
    configure: (config: any) => void;
    resultTool: {
        description: string;
        args: {
            auditToken: import("zod").ZodString;
            results: import("zod").ZodArray<import("zod").ZodObject<{
                requirementID: import("zod").ZodString;
                verdict: import("zod").ZodEnum<{
                    proven: "proven";
                    failed: "failed";
                    unknown: "unknown";
                }>;
                reason: import("zod").ZodString;
                evidence: import("zod").ZodArray<import("zod").ZodObject<{
                    path: import("zod").ZodString;
                    quote: import("zod").ZodString;
                }, import("zod/v4/core").$strip>>;
                hostEvidenceIDs: import("zod").ZodArray<import("zod").ZodString>;
            }, import("zod/v4/core").$strip>>;
        };
        execute(args: {
            auditToken: string;
            results: {
                requirementID: string;
                verdict: "proven" | "failed" | "unknown";
                reason: string;
                evidence: {
                    path: string;
                    quote: string;
                }[];
                hostEvidenceIDs: string[];
            }[];
        }, context: import("@opencode-ai/plugin/tool").ToolContext): Promise<import("@opencode-ai/plugin/tool").ToolResult>;
    };
    verify: (parentSessionID: string, goal: GoalState, verifyOptions?: {
        currentMessageID?: string;
        timeoutMs?: number;
        allowTimeoutRetry?: boolean;
    }) => Promise<GoalState>;
    readonly agentName: string;
    readonly model: string | undefined;
    readonly timeout: number;
};
//# sourceMappingURL=verifier.d.ts.map