/** sf_verify — 完整验证与验证状态 MCP 入口。 */
import type { TaskContextManager } from "../../core/task_context.js";
import { type DomainName, type EvidenceView } from "../../core/types.js";
import type { FullVerificationResult } from "../../core/verification/types.js";
import { SF_VERIFY_ACTIONS } from "../../gate/contracts/tool_actions.js";
import type { ToolRegistrationContext } from "./middleware.js";
import type { ChangeType } from "../../core/change_impact_engine.js";
export declare function validateVerifyActionArgs(action: typeof SF_VERIFY_ACTIONS[number], args: Record<string, unknown>): string | null;
/** sf_verify full 失败(passed=false 业务结果 / success=false 工具失败)时,据 findings/error 分类生成可执行 next_step。
 *  纯读 result.record.findings(GateFinding)分类补引导文本,不改 evaluator/gate/schema/result 语义。
 *  - missing(产物/必填章节/字段缺失,resolver 未找到产物)→ 补齐产物
 *  - stale/freshness(hash 不一致/过期/快照漂移)→ 重新生成 evidence
 *  - 其他 gate fail → 按 findings 修复 */
export declare function buildVerifyNextStep(result: FullVerificationResult): string;
/** 查询任务验证状态，并把原始历史记录与当前可推进/可交付性分开呈现。 */
export declare function readVerificationStatus(projectPath: string, taskContext: TaskContextManager, taskId: string, domain?: DomainName, artifact?: string, changeType?: ChangeType): Promise<{
    success: false;
    error: string;
    next_step: string;
    task?: undefined;
    readiness?: undefined;
    records?: undefined;
} | {
    success: true;
    task: {
        task_id: string;
        status: "active" | "done" | "cancelled";
        domain_focus: DomainName | undefined;
    };
    readiness: {
        available: false;
        error: string;
        next_step: string;
        advance?: undefined;
        deliver?: undefined;
    };
    records: EvidenceView[];
    error?: undefined;
    next_step?: undefined;
} | {
    success: true;
    task: {
        task_id: string;
        status: "active" | "done" | "cancelled";
        domain_focus: DomainName | undefined;
    };
    readiness: {
        available: true;
        advance: {
            adversarial_review_passed?: boolean | undefined;
            applicable: boolean;
            passed: boolean;
            missing: string[];
            invalid: string[];
            issues: import("../../core/task_service/evidence_evaluator.js").EvidenceDiagnostic[];
        };
        deliver: {
            adversarial_review_passed?: boolean | undefined;
            applicable: boolean;
            passed: boolean;
            missing: string[];
            invalid: string[];
            issues: import("../../core/task_service/evidence_evaluator.js").EvidenceDiagnostic[];
        };
        error?: undefined;
        next_step?: undefined;
    };
    records: EvidenceView[];
    error?: undefined;
    next_step?: undefined;
}>;
export declare function registerSfVerifyTools(ctx: ToolRegistrationContext): Promise<void>;