verify-with-controls 是一个技能，用于在把读数变成结论之前先让读数通过对照检验。适用场景是即将报告：零或缺失读数（no matches）、告警发现（half the checks vanished）、成功声明（the work landed）、探针或状态读取的静止（nothing is running）。核心原则：读数不是发现，结论必须经得起对照。
六条规则：
- 要么证据要么报错，绝不裸零：一个探针若对"不存在"和"我没查"都返回 0，属于构造性缺陷。先证明问题可回答再信任零，无法读取时报错，例如路径拼写错误会让空 diff 与真实结果无法区分。
- 零值前先做阳性对照：信任任何零或缺失读数前，用同一仪器取一个必须非零的读数；空世界与盲仪器产出同样的零，只有对照能区分。
- 先怀疑仪器：报告告警读数前用第二种独立方式重新推导；仪器缺陷会给出可信、合理但错误的数字。
- 后置条件才是真相：退出码捕捉硬失败，输出判定捕捉软中止；日志只是近似，需检查世界状态（如 ref 是否真的到位）。对 squash/rebase/cherry-pick，祖系检查不充分，需在 FETCH_HEAD 检查内容本身。
- 打旗前两次观测，发送前重测：跨时间间隔的两次观测决定是否 LOOK；发送前立即重测决定是否 SEND，结论绑定测量时刻。
- 检查器的阴性对照：不能变红的门禁什么都验证不了；必须让检查器在必败的哨兵上走同一断言路径失败过。
此外提供评审标准：安装本技能后，代码评审类技能会展开此节，标记能对"缺失"和"查失败"返回同值的探针、无阴性对照的门禁、从日志或退出码得出的成功结论。
限制：资料未说明具体平台、收费或价格信息。