Omd Review

/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。比默认贵,但精度更高、自然去重。

1. dag_review(gate?, scope?, deep?) → runId;
2. dag_status(runId) 轮询(跑几分钟,别重复发起);
3. 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:

1. 定位代码事实——必须看 diff 视野外(审查器只看 diff,这是误报主源)。
2. oracle 证伪:typecheck / 测试 / 活库实测 / 既有测试钉。
3. 证伪成立 → 驳,记驳的依据;证伪不了 → 修;拿不准 → ? 升级 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。

Source & license

This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.

• Author: AbyssCN
• Source: AbyssCN/oh-my-dag
• License: MIT

Install and usage instructions live in the source repository linked above.