Comet 阶段 4：验证（Verify）

首次进入阶段、交接给新 Agent 或上下文恢复后，读取并执行 任务上下文与产物语言，优先采用当前 continuation 或已领取 Action 的 contextRequest；同一阶段连续执行不重复获取。

收到入口返回的 layout 后，按 comet-classic/reference/classic-layout.md 确定各逻辑根对应的目录。当前上下文已有这份协议时，无需重复加载。本文件中的 OpenSpec CLI 调用均通过适配器执行，文件路径均基于已绑定的 <classic-*> 根目录，无需先额外运行 root show。

编辑后需要判断实际影响，或 continuation 指向内容判断时，必须读取并执行编辑后续行。由当前 Agent 合并处理变化，保留原 Run、有效批准和检查，只补受影响证据。

SDK Run 路径

首次进入当前 SDK 阶段、换 Agent 或恢复上下文时，读取阶段入口与恢复及该参考的当前阶段章节；本会话已有且仍有效时直接复用。下文按当前阶段执行；nextAction.kind 的恢复路由只适用于没有 continuation mode 的旧响应。

优先复用同一 change、工作区和 Run 的最新有效响应中的 agent.continuation、data.nextAction、phase、revision 和路径摘要。只有冷恢复、工作区或外部状态变化、响应版本已过期或缺少当前步骤必要信息时，才运行 comet state next <change-name> --json；不要因加载下一 Skill 再读一次。后续写操作仍由 Runtime 校验当前版本与证据，不能用缓存跳过检查或批准。确认 data.runtimeFormat: sdk、data.phase: verify 和 nextAction.kind，在已绑定的 projectRoot 执行。路径缺失或绑定发生变化时才运行 comet classic workspace resolve <change-name> --json；缺少当前任务、工作区或证据摘要时才运行 comet state check <change-name> verify --json。reconcile 时改用 comet state check <change-name> verify --recover --json 查明原 Action 和检查结果；结果未明时停止，不重复执行外部检查。

1. 按 SDK 方法参考的风险评估、最终集成审查和 light/full 验证方法检查当前 change，但以 SDK Run 的状态和证据为准；不调用旧 state scale、state set、comet handoff 或旧 comet check 证据路径。实施或任务记录需要修复时，先报告具体失败项；只有当前待执行的是 <profile>.verify.run（<profile> 为 full、hotfix 或 tweak），才运行 comet state transition <change-name> verify-fail --reason "<failure-reason>"。此命令将失败原因作为同一 Run 的 Verify Action 结果并返回 Build；按同次响应的当前 Build Action 继续；缺少续行信息时才读取 state next --json。已有检查失败或结果未明时先读取其 Action，不另报一次 Verify 失败。
2. 验证结论合格后，将实际检查项、证据引用、独立审查结论及可接受偏差写入仓库内的验证报告 <report-ref>。以明确的完整验证命令直接运行 comet guard <change-name> verify --report <report-ref> --apply -- <program> [args...]。Guard 在同一 Run 中提交报告 Action、报告证据和真实检查收据；不能用手工声明代替检查。检查失败后读取同次响应的失败收据和当前 Build/Verify Action；缺少时才读取 state next --json，按最新 Action 处理，不将失败解释为通过。
3. Guard 通过后直接使用同次响应；缺少 phase 或 nextAction 时才运行 comet state next <change-name> --json。只有 phase 为 archive 且 nextAction.kind 指向 Archive，才加载 /comet-archive。Verify 通过不等于用户已经授权归档；由 Archive Skill 获取并记录当前交付决定。

Compat 路径

以下旧 Runtime 步骤仅用于 runtimeFormat: compat。必须读取 Compat 操作，按其中当前阶段继续；SDK 不加载该参考。

可选变更说明

Build 收尾和 Verify 展示结果前，先核对项目 .comet/config.yaml 的 change_walkthrough（默认开启；仅显式 false 关闭）。开启时读取并执行变更说明，用共享模板生成或更新同一 walkthrough.html 并给出打开链接；关闭时跳过额外讲解、详细指引和渲染，保留原有摘要。Archive 只随现有材料保存已有页面并提供实际归档链接，不补生成、不新增确认、不为页面更新重跑代码检查。