验证规划技能用于非简单编码工作中，在动手实现之前先把“如何证明这次改动确实成立”想清楚。它的核心不是挑一个熟悉的技术手段，而是决定这个系统怎样才能揭示这次特定改动的真相。
用途 适用于实现新功能、修复缺陷、重构、跨系统改动，或任何需要高置信度行为结论的工作。技能本身明确建议按比例使用：小型机械改动可直接走常规项目检查；较大、多阶段的工作则先用它建立证据路径，后续工作沿此路径展开。
主要能力 技能把过程拆成六个环节：
- 框定论断：说明需要变为真实的行为，以及哪些条件会使自信结论出错；考虑必须改变什么、必须保持什么、行为在何处跨越边界、哪种失败最关键。完成标准是论断、有意义的不确定性和重要失败模式已具体到可调查。
- 设计证据路径：从系统自身的可控输入、可观测效果、状态转移、不变量、边界、产物以及重复或反转场景的能力中推导可能的路径；先产生备选再选择，优先选择在成本、安全与投入相称的前提下能得出可信结论的路径。完成标准是有首选路径、理解其局限，并在情况变化时有更弱或更强的备选。
- 设置验证预算：在最终状态列出不同论断，为每个论断指定一名负责人去证实或反驳，选择覆盖论断与重要边界的最小非重复证据；仅当相关代码、输入、环境和状态仍有效时才复用证据。仓库与发布所需的检查仍然适用，只有在明确条件成立时才扩大或重复验证。
- 按需构建验证便利设施：当现有系统让决定性真相过于间接或模糊时，增加最小的验证便利能力，使相关状态对智能体可控、可观测、可重复、可诊断；优先增强直接性、确定性、可读性、隔离性、可重置性或未来复用性。该便利设施属于证据路径的一部分，不是自动的产品功能，构建前需明确其是临时还是长期。
- 路径未知时先调研：当正确路径依赖不熟悉的依赖、框架、外部服务或快速变化的能力时，先做聚焦调研，了解官方或项目特定的设施、约束与权衡；若现有项目证据已能解决选择，则直接使用。完成标准是所选路径建立在已知能力与真实约束而非假设之上。
- 让路径可运行：只准备可靠执行证据路径所需的支撑，保持狭窄、可重复、可安全检视；判断该支撑是有长期价值还是仅为解决当前不确定性，有长期价值则有意保留，临时支撑在完成使命后移除。引入依赖、持久诊断面或仅为收集证据的结构性改动前应先询问。
- 闭合证据路径：实现后按计划路径执行，并对照原始论断解释证据，报告论断是被证实、受限还是被反驳，区分已知事实与剩余不确定性，使后续读者能看到结论的依据及其触及不到的部分。
使用方式 技能以流程指引形式给出，没有提供代码或安装命令。实际使用时按上述环节逐步推进，并在需要时借助调研环节解决未知依赖。
适用场景 中大型功能开发、缺陷修复、重构、跨系统变更，或任何失败代价较高、需要明确证据支撑结论的编码工作；也适合多阶段工作中作为前置规划。
限制 资料未提供具体工具、命令、平台或自动化实现；小改动不必使用；引入依赖或结构性改动前需先询问；验证预算与证据复用需以相关代码、输入、环境与状态仍有效为前提。