用途：re-verify-logic 是逆向工程第二阶段（Phase 2）的独立 Critic，用于校验由 re-visualize-logic 生成的逻辑图是否与真实源码一致，并作为第三阶段 re-extract-requirements 的前置门槛。
主要能力与原则：以源码为唯一权威（代码即事实）；图中每个行号必须可解析到真实代码，无法解析视为幻觉；只核对代码所示行为而非意图。校验范围包括：行号准确性（逐节点读取指定行代码比对待验证声明）、Mermaid 语法校验（节点与箭头语法、禁止字符 !=、>=、[]、()，括号匹配与子图有效性）、分支完整性（对照源码 if/else、switch、循环统计分支数并与图中节点比对）、副作用文档（检查数据库操作、网络调用、文件 I/O、日志是否均被记录）。
使用方式：读取 docs/reverse/{analysis}/manifest.json 确定校验对象——给出 component 参数则只校验该组件，否则校验 phase2.completed 中 verification 为 null 的全部条目；对每个组件读取 docs/reverse/{analysis}/02-logic-{component}.md，依次执行行号校验、Mermaid 语法校验、完整性检查，生成报告至 docs/reverse/{analysis}/verification/v2-logic-{component}.md，并更新 manifest 中对应 verification 字段；全部判定为 PASS 或 WARN 时 phase2.status 设为 verified，否则保持 completed。
判定标准：行号匹配度 PASS≥95%、WARN 80–94%、FAIL<80%；Mermaid 语法错误 0/1–2/≥3；分支覆盖 PASS≥90%、WARN 75–89%、FAIL<75%；副作用记录 100%/>80%/≥80% 以下；出现任意一项 FAIL 即整体 FAIL，任一 FAIL 判定即整体 FAIL。
适用场景：需要对逆向工程产出的逻辑图做保真度与可追溯性审查的代码理解、文档生成流程。
限制：禁止修改逻辑图文档与源码文件；禁止批准 FAIL 状态文档；禁止访问执行者的对话上下文。安装命令与具体运行参数资料暂未提供。