Comet Review

Comet 手动代码审查

对当前选中的 Comet change 执行一次按需、只读的代码审查。这个入口不属于任何阶段，也不替代 Build 或 Verify 的验证和审查。

本入口独立于 review_mode。review_mode 控制流程内的自动审查策略，/comet-review 则由用户手动触发，只执行一次审查；调用本入口不得读取、修改或覆盖当前 change 的 review_mode。

只执行读取和审查操作

本 Skill 的整个调用必须保持只读：

• 不修改、创建或删除文件；
• 不暂存、提交、切换分支、创建分支或创建 worktree；
• 不运行 comet state select、comet native select、comet state set、comet state transition、阶段守卫、comet native next 或归档命令；
• 不修复发现的问题，不推进 phase，不更新 tasks、状态、验证报告或审查记录；
• 不把本次结果称为 Verify 通过，也不把“没有发现”视为测试已经通过。

只允许执行读取文件、查询状态和查看 Git 差异所需的命令。任何可能运行项目代码、安装依赖或产生文件的检查都不属于本入口。

1. 定位项目与当前 change

1. 使用只读 Git 查询确定项目根目录；如果不是 Git 仓库，则使用当前 Comet 项目根目录。

2. 在项目根目录运行：

   bashCopy code
   comet status . --json
   

3. 读取 .comet/current-change.json，并按以下顺序确定审查对象：

   • 文件包含有效的 comet.selection.v2 时，使用其中的 workflow 和 change；
   • 没有 selection 记录，且状态输出中只有一个未归档的 Comet change 时，只在本次审查中使用该 change，不写入 selection；
   • 没有 selection 记录且存在多个 change 时，列出名称、workflow 和 phase，请用户指定一个，然后停止当前调用；
   • selection 指向缺失、已归档或状态无效的 change 时，报告当前选择已过期或无效（stale/invalid selection），然后停止，不自行修复。

忽略不受 Comet 管理的普通 OpenSpec change。不得因为默认 workflow 与 selection 不同而改用默认 workflow。

2. 收集审查上下文

只读取当前 change 的必要上下文，并为每个事实保留来源路径或命令。

Classic

1. 先读取并遵守 comet-classic/reference/classic-layout.md，解析当前项目的 Classic 逻辑根。

2. 读取当前 change 的 proposal.md、design.md、tasks.md 和 specs/*/spec.md；存在关联 Design Doc 时一并读取。

3. 使用以下只读状态查询获得 phase、基线和已有证据引用：

   bashCopy code
   comet state get <change-name> phase
   comet state get <change-name> base_ref
   comet state get <change-name> plan
   comet state get <change-name> verification_report
   

4. 读取已有的 plan、验证报告，以及 comet status . --json 返回的 build/verify 命令检查结果。缺失的证据应标为“未提供”，不能推断为失败或通过。

Native

运行以下只读命令：

bashCopy code
comet native show <change-name> --json
comet native status <change-name> --details --json

根据返回的引用，读取 brief、完整的拟议规格（proposed Specs）、acceptance、Builder handoff、checks、verification、risks、blockers 和验证报告（verification report）。只使用当前 candidate/iteration 的证据；历史轮次只用于解释尚未消除的风险，不能据此覆盖当前状态。

3. 确定实现差异

1. 先运行 git status --short --untracked-files=all，列出工作区中全部已暂存、未暂存和未跟踪的文件。
2. 结合当前 change 的需求、工作区绑定、Git 历史和工作树状态，确定最可信且与当前 change 相关的审查范围。对于 Classic，优先使用有效的 plan base-ref；不存在或无效时回退到状态中的 base_ref，不要求两者一致。只有两者均无效时，才将 Classic 基线视为缺失。对于 Native，将状态中的工作区关系和当前 candidate 的实现范围证据作为判断依据。
3. 查看从可信基线到当前工作树的完整差异，包括已提交、已暂存和未暂存修改。对属于当前 change 的所有未跟踪文件，包括源码、测试、文档、配置和元数据（例如 SKILL.md 与 agents/openai.yaml），直接读取内容并明确标注其未跟踪状态。
4. 排除明确归属于其他 change 或用户无关工作的差异。只有歧义会实质影响审查结论时才询问用户；否则基于现有证据继续审查，并在结果中说明范围判断和假设。

如果结合上述证据仍无法确定可信且可验证的基线，继续审查当前可见的工作树差异，并在结果中显著标注“审查范围不完整”。

4. 执行审查

根据需求、任务和当前差异进行一次聚焦审查，只检查：

• 实现正确性和明显逻辑错误；
• 安全风险、权限或路径边界问题；
• 错误处理、兼容性和重要边界条件；
• 任务遗漏、实现与当前 change 明确要求不一致；
• 测试是否覆盖本次行为变化，以及已有测试证据能否支撑相应结论。

不要把风格偏好、无关重构或没有具体影响的猜测列为审查问题。每条问题都必须指向具体文件和行号，并说明什么情况会触发错误或风险。证据不足时，降低严重程度或放入“开放问题”。

严重度仅使用：

• CRITICAL：安全破坏、数据丢失或核心流程不可用；
• IMPORTANT：明确的正确性错误、核心验收遗漏或高概率回归；
• WARNING：真实但非阻塞的边界风险或测试缺口；
• SUGGESTION：有明确收益但不影响当前正确性的改进。

5. 输出

先列出发现的问题，按严重程度排序。每条使用以下格式：

textCopy code
[IMPORTANT] 简短标题 — path/to/file.ts:123
影响：什么输入或场景会出现什么错误。
依据：与 diff、任务、规格或证据的具体对应关系。

随后输出：

• 审查范围：workflow、change、phase、基线、纳入的差异和任何范围限制；
• 证据状态：已读取哪些测试、构建和验证记录，以及这些记录是否仍适用于当前改动；不重新执行测试；
• 开放问题：只有确实阻碍判断的问题；
• 结论：汇总发现的问题数量，或明确写“未发现具体问题”。

即使没有发现问题，也必须说明尚存的风险和未执行的检查。结尾固定提醒：

这是只读的手动审查，不会推进 Comet phase，也不能替代 /comet-verify 或 Native Verify。

如果用户随后要求修复审查发现的问题，将修复作为新的写入任务处理：退出本 Skill，按仓库当前工作流规则重新进入开发流程。