import type { ProjectConfig, VerifyResult, AcceptanceItem } from "../../types/index.js";
/**
 * 验证命令生成器 — 根据项目配置和变更文件生成编译、测试、验收检查命令。
 *
 * 核心职责:
 * - 检测受影响的仓库（基于变更文件路径匹配）
 * - 为每个受影响仓库解析构建和测试命令（配置优先，启发式兜底）
 * - 从验收项中分离自动检查和人工确认项
 * - 生成证据分级项（E1 静态分析 / E2 脚本验证）
 * - 构建覆盖率矩阵（API / 页面 / 业务流三个维度）
 * - 三重否定推演（机制 2: 掘地三尺契约）
 */
/** 三重否定推演结果 */
export interface TripleNegationResult {
    /** 推演出的潜在崩溃场景 */
    crash_scenarios: string[];
    /** 修复建议 */
    mitigation_suggestions: string[];
    /** 终局宣言 */
    audit_declaration: string;
    /** 是否通过推演 */
    passed: boolean;
}
export declare function getVerifierConsumptionTrace(): ReadonlyArray<{
    task_id: string;
    consumed_hard_blocks: string[];
    consumed_required_evidence: string[];
    consumed_at: string;
}>;
export declare function performTripleNegation(params: {
    changedFiles: string[];
    acceptanceItems: AcceptanceItem[];
    projectConfig: ProjectConfig;
}): TripleNegationResult;
/**
 * 生成完整的验证命令集，包含构建、测试、自动验收和人工验收。
 * @param config - 项目配置，包含仓库定义和构建命令
 * @param changedFiles - 变更文件路径列表
 * @param acceptanceItems - 验收项列表（自动 + 人工）
 * @param route - 可选，当前路由类型
 * @param executionShape - 可选，当前执行形态
 * @returns 验证结果，包含命令列表、摘要、证据项和覆盖率矩阵
 */
export declare function generateVerifyCommands(config: ProjectConfig, changedFiles: string[], acceptanceItems: AcceptanceItem[], route?: string, executionShape?: string): VerifyResult;
//# sourceMappingURL=verifier.d.ts.map