/**
 * PolicyResolver — Policy[] → PolicyEvaluationResult(最小骨架)。
 *
 * 负责:scope 匹配 + requirement 合并 + 冲突检测(require vs forbid)+ identical 冗余识别。
 * 暂不实现:复杂 redundancy 算法(subsumption/marginal benefit)、threshold、单调加严聚合。
 * 确定性,无 IO,无 AI。
 */
import type { Policy, PolicyEvaluationResult, TaskContext, TaskType, ChangeContext } from "./types.js";
export interface PolicyResolverInput {
    task: TaskContext;
    change: ChangeContext;
    policies: Policy[];
    /** Task 分类(可选;generateGovernancePlanExtension 传入做 taskType scope 匹配)。 */
    taskType?: TaskType;
}
/** 解析 policy 集合 → 评估结果(匹配/合并/冲突/冗余)。确定性。 */
export declare function resolvePolicies(input: PolicyResolverInput): PolicyEvaluationResult;