| name | omd-review |
| description | 对一批 diff 做对抗式审查:默认多维并行召回 + 确定性跨模型证伪,gate 阶梯控深度,deep 档单 agent 读全仓深审;finding≠真理,按误报裁决程序证伪后再定性。Trigger:/omd-review、审查这批改动、代码审查、review diff、release 闸、深审。 |
/omd-review — 对抗式改动审查
经 omd MCP dag_review(可能带 mcp__omd__ 前缀;未加载先 ToolSearch "dag_review")对一批改动做对抗审查:默认多维并行 find(召回)+ 确定性跨模型 verify(证伪);deep 档单 agent 读全仓 + 实测(实测最优,见档位选择)。
用法(异步三段式)
gate:G0 浅扫(快/便宜)· G1 轻量 · G2 默认(branch diff 全维度)· G3 release 闸(spec 轴强制对照 SDD)。不给 = G2。scope:收窄审查范围(路径/模块);不给 = 当前 branch diff 全量。deep:深审档(true)。一个 pi agent 读全仓 + 实测(库/runtime API 主张必跑 bun -e 复现,治外部 API 幻觉)→ 确定性跨模型 verify。比默认贵,但精度更高、自然去重。
dag_review(gate?, scope?, deep?) → runId;dag_status(runId) 轮询(跑几分钟,别重复发起);dag_result(runId) → 报告落盘路径,自己 Read 再转述(按严重度先讲 top 项)。
档位选择:默认 vs 深审(deep)
- 默认(多维并行 find + 确定性 verify):廉价召回档,diff-可见的 bug 够抓,适合日常/大 diff。
- 深审
deep:true(单 agent):实测最干净(3 方召回测:满召回 + 0 假阳性 + 推理最好 + 自然去重)。用于敏感接缝(会计/authz/迁移/状态机)、需读 diff 外真身、或默认档出噪音时。贵在一个 agent 全仓读+跑,别对大批量机械 diff 滥用。
- 模型(review 自成体系,不碰引擎
verifier 角色):find = review 角色(OMD_REVIEW_MODEL);verify = OMD_REVIEW_VERIFY_MODEL 覆盖,否则回落 find 模型(跨模型 verify 靠显式配 OMD_REVIEW_VERIFY_MODEL)。无需任何配置也能跑,fallback 优雅降级、不假设 key。
误报裁决程序(承终裁手册:finding ≠ ground truth)
车队产出是候选,你终裁。每条 finding:
- 定位代码事实——必须看 diff 视野外(审查器只看 diff,这是误报主源)。
- oracle 证伪:typecheck / 测试 / 活库实测 / 既有测试钉。
- 证伪成立 → 驳,记驳的依据;证伪不了 → 修;拿不准 →
? 升级 owner。
已知误报模式(直接警惕):
- 「X 未导出/未定义」而 X 是 diff 外既有代码(ugrep 确认真身,build 绿即证伪)。
- 「缺权限守卫」而守卫以 JOIN/EXISTS 已在查询里(空集测试即证伪)。
- 用「可能/如果内部没校验」推测行为——去读那个函数,不接受推测性 P0。
gate 分档:插在 ROI 高处,别铺满(承终裁手册)
审核 ROI = P(缺陷) × 逃逸代价 ÷ 成本。
- P(缺陷)高 = 机械铺量 / 敏感接缝(会计写·状态机·迁移)/ 大 diff。
- 逃逸代价高 = 账面污染 / 绕审计——错了是灾难,再贵也审(上 G3)。
- 小改 + 自己写 + typecheck/test 全绿 → G0/G1 够,别 G3。
- 0 P0/P1 ≠ 白审,可能是"插错位置"信号:过程审(写码前判定)> 结果审(post-code gate)。
与既有 skill 的边界
- omd-review = 对 diff 的通用正确性审查。专项安全(信任边界/注入/fail-open)→ /omd-audit;确定性 semgrep → /omd-sast;只找过度工程 → /omd-slim;某失败的根因 → /omd-debug。
