Comet VerifySAFE

Comet: agent skill harness for turning ideas into evaluated workflows

The instruction file, verbatim from the audited commit — this is the text the model reads, and the surface the audit's instruction layer examines. Quoted here so you can judge it without cloning anything.

---
name: comet-verify
description: '验证 Classic change 并记录结果。在用户调用 /comet-verify,或 Classic Runtime 进入 Verify 时使用。'
---

# Comet 阶段 4:验证(Verify)

首次进入阶段、交接给新 Agent 或上下文恢复后,读取并执行 [任务上下文与产物语言](../comet-classic/reference/scripts.md#任务上下文与产物语言),优先采用当前 continuation 或已领取 Action 的 `contextRequest`;同一阶段连续执行不重复获取。

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

## SDK Run 路径

首次进入当前 SDK 阶段、换 Agent 或恢复上下文时,读取[阶段入口与恢复](../comet-classic/reference/sdk-methods.md#阶段入口与恢复)及该参考的当前阶段章节;本会话已有且仍有效时直接复用。下文按当前阶段执行;`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 操作](reference/compat.md),按其中当前阶段继续;SDK 不加载该参考。

SAFEgrade B · trust 89/100 Nothing in the source contradicts what it says it does. Grade A is reserved for packages that have also passed the behavioural sandbox.

What the source does

Filesystem

none-observed

Network

none-observed

Shell

none-observed

Dependencies

pinned

Secrets in source

none-found

Findings (0)

No findings outside the package's declared scope.

Gates applied: no_behavioural_pass.

[![ModelsAtlas audit: Comet Verify](https://modelsatlas.com/skills/rpamis/comet-verify/badge.svg)](https://modelsatlas.com/skills/rpamis/comet-verify/)

Not your listing, or something out of date? Claim or update your listing.