用途:对仓库代码按里程碑逐一审计与改进可维护性,采用两阶段、以证据为先的审查流程。除非正确性、实测性能或严重误导性命名提供强反证,否则保留现有行为与公共边界。
主要能力:审查前先阅读工程规范与审查评分标准;涉及复杂度上限、指标驱动重构或类型擦除/推断问题时,还需阅读复杂度与类型完整性指南;涉及测试增删合并时,还需阅读测试组合指南。流程包括:建立基线(读取仓库说明、计划、ADR、变更日志,检查工作区,记录范围、公共 API、测试与基线检查结果);并行只读审计(按里程碑或包边界拆分,每条发现需给出严重度、失败模式、文件与符号、证据、最小可信修正、可区分修正的测试,以及无需变更处的干净结论);编辑前先归类(按价值权威矩阵判定接受、推迟或拒绝);实施有界改动(先用确定性回归区分故障与不变量,保持公共签名);审查每个委托 diff;由窄到宽验证(格式化、静态类型、聚焦单元与回归、集成与确定性模糊冒烟、Rust 严格 lint、产品级端到端或实时 GPU 测试、全仓库检查、生成契约/尺寸/文档/知识包检查);更新计划与知识、刷新 OKF 溯源与摘要、按一致不变量提交小提交;最后以结果为先报告,列明接受项、有意不改项、公共 API 影响、验证、残余风险、文档更新与提交标识。
限制:不接受缺乏论证的“更多抽象、更多类型、拆分文件、去重”;不使用计时器、重试或睡眠掩盖竞态;不得仅为让失败消失而重新生成 golden;子代理不得自行提交,由集成代理负责审查与提交;若未运行实时/手动通道须明确说明。分类标识:coding。