import { z } from "zod";
import { SF_REVIEW_ACTIONS } from "../../gate/contracts/tool_actions.js";
import type { ToolRegistrationContext } from "./middleware.js";
/** submit findings 的 MCP 边界 schema（导出供入口可达测试：prompt 指令字段须 zod 接受，防 fix_action/repair_evidence 同款「prompt 要求但边界拒绝」缺口）。 */
export declare const reviewFindingSchema: z.ZodObject<{
    severity: z.ZodEnum<["error", "warning", "info"]>;
    artifact: z.ZodString;
    location: z.ZodString;
    quote: z.ZodString;
    issue: z.ZodString;
    suggestion: z.ZodString;
    evidence_type: z.ZodOptional<z.ZodEnum<["deterministic", "llm_subjective"]>>;
    criticality: z.ZodOptional<z.ZodEnum<["security", "finance", "compliance"]>>;
    fix_verification: z.ZodOptional<z.ZodObject<{
        artifact: z.ZodString;
        expected_present: z.ZodOptional<z.ZodString>;
        expected_absent: z.ZodOptional<z.ZodString>;
    }, "strip", z.ZodTypeAny, {
        artifact: string;
        expected_present?: string | undefined;
        expected_absent?: string | undefined;
    }, {
        artifact: string;
        expected_present?: string | undefined;
        expected_absent?: string | undefined;
    }>>;
    repair_evidence: z.ZodOptional<z.ZodObject<{
        repair_type: z.ZodEnum<["ADD", "MODIFY", "REMOVE"]>;
        verification_method: z.ZodEnum<["quote_absent", "anchor_present", "structural"]>;
        old_quote: z.ZodOptional<z.ZodString>;
        new_anchor: z.ZodOptional<z.ZodString>;
        artifact: z.ZodOptional<z.ZodString>;
    }, "strict", z.ZodTypeAny, {
        repair_type: "ADD" | "MODIFY" | "REMOVE";
        verification_method: "quote_absent" | "anchor_present" | "structural";
        artifact?: string | undefined;
        old_quote?: string | undefined;
        new_anchor?: string | undefined;
    }, {
        repair_type: "ADD" | "MODIFY" | "REMOVE";
        verification_method: "quote_absent" | "anchor_present" | "structural";
        artifact?: string | undefined;
        old_quote?: string | undefined;
        new_anchor?: string | undefined;
    }>>;
    fix_action: z.ZodOptional<z.ZodEnum<["remove"]>>;
}, "strict", z.ZodTypeAny, {
    artifact: string;
    severity: "warning" | "error" | "info";
    location: string;
    quote: string;
    issue: string;
    suggestion: string;
    evidence_type?: "deterministic" | "llm_subjective" | undefined;
    criticality?: "security" | "finance" | "compliance" | undefined;
    fix_verification?: {
        artifact: string;
        expected_present?: string | undefined;
        expected_absent?: string | undefined;
    } | undefined;
    fix_action?: "remove" | undefined;
    repair_evidence?: {
        repair_type: "ADD" | "MODIFY" | "REMOVE";
        verification_method: "quote_absent" | "anchor_present" | "structural";
        artifact?: string | undefined;
        old_quote?: string | undefined;
        new_anchor?: string | undefined;
    } | undefined;
}, {
    artifact: string;
    severity: "warning" | "error" | "info";
    location: string;
    quote: string;
    issue: string;
    suggestion: string;
    evidence_type?: "deterministic" | "llm_subjective" | undefined;
    criticality?: "security" | "finance" | "compliance" | undefined;
    fix_verification?: {
        artifact: string;
        expected_present?: string | undefined;
        expected_absent?: string | undefined;
    } | undefined;
    fix_action?: "remove" | undefined;
    repair_evidence?: {
        repair_type: "ADD" | "MODIFY" | "REMOVE";
        verification_method: "quote_absent" | "anchor_present" | "structural";
        artifact?: string | undefined;
        old_quote?: string | undefined;
        new_anchor?: string | undefined;
    } | undefined;
}>;
export declare function validateReviewActionArgs(action: typeof SF_REVIEW_ACTIONS[number], args: Record<string, unknown>): string | null;
export declare function registerSfReviewTools(ctx: ToolRegistrationContext): Promise<void>;