/**
 * Scope Guard — 校验实际改动 ⊆ 声明的 expected_files,放行连锁申报。
 *
 * 职责边界:
 * - 负责:比对 actualChangedFiles vs plan.expected_files;宽松模式(降级时不阻断);连锁申报追加
 * - 不负责:实际改动检测(git diff 由调用方传入)、Coding Guard(代码质量)、Contract Guard(API/引用)
 *
 * 设计依据:docs/v2-rebuild/EXECUTION_ENGINE_DESIGN.md 第5节
 * 连锁申报(第5节.3):解 over-constraint——AI 可申报超出 expected 的合法连锁修改,
 * 填 reason 放行记录(博弈边界:比例过高应由 deliver/review 复核,本最小核心仅记录不阻断)。
 */
import type { ExecutionPlan, ScopeCheckResult } from "./execution_types.js";
/** 判定 plan 是否处于宽松模式(Requirement 缺 affected_files 降级)。 */
export declare function isLenientMode(plan: ExecutionPlan): boolean;
/**
 * 校验实际改动是否在声明范围内。
 * - 宽松模式(lenient):不阻断,但 violations 仍记录(降级时 Scope Guard 不检业务范围,显式记录不掩饰)
 * - 严格模式:未声明改动 → allowed=false
 */
export declare function checkScope(plan: ExecutionPlan, actualChangedFiles: string[]): ScopeCheckResult;
/**
 * 连锁申报 — AI 执行中发现需改 expected 之外的文件,申报追加到 expected_files。
 * 返回新 plan(不 mutate 原 plan)。
 */
export declare function declareChain(plan: ExecutionPlan, path: string, reason: string): ExecutionPlan;