export interface OpenCodeGoalPluginOptions {
    /** Dedicated semantic verifier model in provider/model format. */
    verifierModel?: string;
    /** Hard semantic verifier deadline in milliseconds. */
    verifierTimeoutMs?: number;
}
export default function OpenCodeGoalPlugin(input: any, options?: OpenCodeGoalPluginOptions): Promise<{
    config: (config: any) => Promise<void>;
    "command.execute.before": (event: any, output: any) => Promise<void>;
    "chat.message": (event: any, output: any) => Promise<void>;
    "chat.params": (event: any) => Promise<void>;
    "tool.execute.before": (event: any) => Promise<void>;
    "tool.execute.after": (event: any, output: any) => Promise<void>;
    "experimental.session.compacting": (event: any, output: any) => Promise<void>;
    "experimental.compaction.autocontinue": (event: any, output: any) => Promise<void>;
    event: ({ event }: any) => Promise<void>;
    tool: {
        opencode_goal_verifier_result: {
            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>;
        };
        opencode_goal_get: {
            description: string;
            args: {};
            execute(args: Record<string, never>, context: import("@opencode-ai/plugin/tool").ToolContext): Promise<import("@opencode-ai/plugin/tool").ToolResult>;
        };
        opencode_goal_progress: {
            description: string;
            args: {
                summary: import("zod").ZodString;
                next: import("zod").ZodOptional<import("zod").ZodString>;
            };
            execute(args: {
                summary: string;
                next?: string | undefined;
            }, context: import("@opencode-ai/plugin/tool").ToolContext): Promise<import("@opencode-ai/plugin/tool").ToolResult>;
        };
        opencode_goal_evidence_file: {
            description: string;
            args: {
                requirementID: import("zod").ZodString;
            };
            execute(args: {
                requirementID: string;
            }, context: import("@opencode-ai/plugin/tool").ToolContext): Promise<import("@opencode-ai/plugin/tool").ToolResult>;
        };
        opencode_goal_complete: {
            description: string;
            args: {
                summary: import("zod").ZodString;
            };
            execute(args: {
                summary: string;
            }, context: import("@opencode-ai/plugin/tool").ToolContext): Promise<import("@opencode-ai/plugin/tool").ToolResult>;
        };
        opencode_goal_wait_for_user: {
            description: string;
            args: {
                reason: import("zod").ZodString;
                needed: import("zod").ZodOptional<import("zod").ZodString>;
            };
            execute(args: {
                reason: string;
                needed?: string | undefined;
            }, context: import("@opencode-ai/plugin/tool").ToolContext): Promise<import("@opencode-ai/plugin/tool").ToolResult>;
        };
        opencode_goal_blocked: {
            description: string;
            args: {
                reason: import("zod").ZodString;
                needed: import("zod").ZodOptional<import("zod").ZodString>;
                key: import("zod").ZodOptional<import("zod").ZodString>;
            };
            execute(args: {
                reason: string;
                needed?: string | undefined;
                key?: string | undefined;
            }, context: import("@opencode-ai/plugin/tool").ToolContext): Promise<import("@opencode-ai/plugin/tool").ToolResult>;
        };
    };
}>;
//# sourceMappingURL=plugin.d.ts.map