用途：对单个已完成的 TASK-* 做对抗式语义验证，检查语义正确性、隐藏失败模式与系统性危害，捕捉“流程合规但实质错误”的改动，例如通过验收标准却解决错误问题、局部可用但损害系统完整性、过拟合任务记录而忽略相邻约束、引入架构漂移或状态不一致、因证据面过窄造成虚假信心。
主要能力：输出 red-verification.md 语义风险报告，包含语义裁决、实质风险、隐藏假设、跨边界影响、架构与状态/数据一致性、运维与维护成本、仍可能出错的方式、反提案或升级路径；严重时生成 .memory-bank/bugs/BUG-<short>.md 与后续 .task.json。
使用方式：前置条件为实现已存在、质量门已运行、非平凡任务通常先跑 mb-verify，任务记录含 tier，T2/T3 需有链接的 SDD 规格。输入优先级为任务意图与真实结果、实际代码变更/差异、测试与证据、链接规格与相邻约束、更广规格对账。T2/T3 在调度模式下需本验证通过后调度器才可标记完成；手动模式下需 mb-verify PASS 后再做本验证。T0/T1 通常跳过，除非范围扩大并先更新 tier。
限制：不独立关闭任务、不写 done/failed、不阻塞或提升依赖；调度模式下只写语义裁决并返回建议。semantic-concern 表示需人工复核或阻塞，semantic-fail 表示实质错误或风险过高。T3 还需确认 HUMAN_CHECKPOINT: done 与 ROLLBACK_RECOVERY_NOTE: present 标记。