用途：对一份具体的实现计划做只读、证据优先的二次审查，验证计划而非执行计划。目标是让计划决策完整、贴合真实仓库、明确标注不确定性，且复杂度不超过问题本身所需。
主要能力：按检查清单逐项跟踪状态（PENDING、PROVEN、CLEARED、UNPROVEN），要求以观察到的结果作为证据，读取、委派、工具失败、零退出码和自报成功都不算证明。审查覆盖意图与可追溯性、仓库契合度、架构与所有权、根因与完整性、接口与数据、场景完整性、正确性与失败模式、安全与隐私、依赖与排序、容量与降级、测试与验收等视角。
使用方式：先确定审查契约，读取适用的仓库说明文件，检查 Git 状态，区分字面请求与底层意图，校准可接受复杂度，区分计划缺陷与既有相邻问题，并保持只读。随后在仓库中定位受影响模块、入口、配置、模式、迁移、测试与部署面，核对计划中提到的路径、符号、命令、环境键、接口与依赖。必要时研究外部或易变声明，优先使用与已安装版本匹配的官方文档。
适用场景：在编码、迁移、部署或高风险变更（认证、授权、资金、破坏性操作、数据迁移、公共 API、并发、分布式流程、不可逆发布）执行前，对实现计划做独立复核。
限制：只读，不修改源计划、实现、任务跟踪器、分支或外部系统；修正后的计划只能出现在审查回复中。若不存在具体计划，应停止并标记 BLOCKED，而不是自行编造计划。缺少权威研究时相关声明标记为 UNVERIFIED。审查批准不等于授权执行。具体安装命令、收费与平台信息暂未提供。