用途：对生产代码执行广泛的只读健康审计，发现跨领域的具体失败、安全、交付与维护风险，不把检测器命中或个人风格偏好当作结论。不替代文档可信度、测试组合、整体架构或持久化专项评审。
主要能力与检查项：
- 建立范围与基线：识别语言、框架、包管理器、入口点、部署模型、生成区域与仓库支持的验证命令；区分长驻服务、CLI、库、任务、无服务器函数等；读取适用说明，识别安全边界、关键业务路径、公共接口与不可逆操作；检查 Git 状态；建立可构建、lint、类型、测试、冒烟基线并记录执行范围与证据。
- 安全与交付边界：查找提交的密钥、不安全凭据模式、敏感默认值、调试绕过、日志或错误中的意外暴露；对凭据仅报告类型、位置与脱敏证据，不暴露原始值；追踪不可信输入进入 SQL、shell、模板、HTML、文件路径、URL、反序列化、重定向等注入敏感汇；检查认证、授权、租户或所有权隔离、权限转换、不安全直接对象访问与默认拒绝；检查信任边界验证、规范化、大小与速率限制、不安全文件操作、破坏性操作确认；核验编译、lint、类型检查、测试、打包与 CI 中跳过的门禁、忽略失败、环境漂移与不可复现交付。
- 可维护性与依赖：查找有证据的重复；识别过度抽象、未使用扩展点、过多工厂或包装、并行机制、重复平台能力的自定义工具；检查复杂度热点、长方法、上帝模块、深嵌套、过多参数、布尔模式 API、误导命名与职责混杂；检查算法早退错误、重复键丢失、边界错误、无界工作、重复扫描、迭代中修改与隐藏共享状态；检查硬编码运维值；审计依赖漏洞、支持状态、许可与运行时约束、重复包、未使用包与替换机会。
- 可诊断性、并发与生命周期：检查日志结构化、级别、可操作性、跨请求或任务关联、无密钥与过量负载；验证关联上下文跨出站调用、队列、重试、计划任务与分离异步边界；检查指标、追踪、健康信号与错误上下文；追踪共享可变状态、锁顺序、原子性、异步任务所有权、取消、重试与竞态窗口；检查异步路径中的阻塞 I/O、无界并发、孤儿任务、死锁、TOCTOU 与线程不安全资源；检查启动顺序、依赖就绪、配置校验、快速失败、信号处理、优雅关闭与在途工作排空；核对启动与运行期资源获取与幂等清理。
- 验证与报告：仅在能改变结论时研究外部 API、标准、漏洞与运行时行为，使用与版本匹配的官方来源；过滤框架约定、生成代码、有界管理路径、测试、示例与有文档的取舍；尽可能用安全命令、测试、最小调用追踪或完整静态失败路径复现高危问题；应用实质性门槛，要求有证据的具体影响；按可利用性、数据或可用性影响、交付阻塞、复发与修复紧迫性划分 P0-P3。
使用方式：按清单顺序执行，逐项内部标记为 PENDING、有具体证据的 PROVEN、条件不存在的 CLEARED、有缺口的 UNPROVEN；阅读、委托或工具失败不算证明。只运行仓库定义或明显安全的诊断命令，审计期间不发布、不部署、不迁移生产数据、不轮换密钥、不重写文件。
适用场景与限制：适合需要跨领域生产代码健康审计、且无单一专项审计主导时。不适用于单次交付评审，不替代文档、测试组合、整体架构或持久化专项评审。输出需保留 Result、Scope、Evidence、Verification、Completion 五个字段；无法验证安全环境或权威契约时用 BLOCKED；有证据未解决的 P0/P1 用 FAIL；仅有已验证非阻塞风险用 CONCERNS；必需检查完成且无实质发现才 PASS。具体收费、价格与平台信息暂未提供。