用途：对持久化与数据密集型运行路径做只读审计，覆盖查询与缓存效率、事务与一致性、运行时与资源生命周期。目标是连接静态候选与真实查询、事务、资源或一致性机制，避免在没有证据时声称性能影响。
主要能力：建立数据与运行时上下文（数据库、ORM、驱动、缓存、队列、迁移、连接池、依赖注入作用域与入口点）；审计查询与缓存效率（N+1、循环内查询、过度获取、缺失分页、批量操作、索引与查询计划假设、缓存键与失效）；审计事务与一致性（事务归属、原子性、长事务、隔离假设、幂等与去重、触发器与事件、迁移与回填）；审计运行时与资源生命周期（异步路径阻塞 I/O、重复分配、会话与连接释放、消费者放弃与部分枚举、作用域与资源生命周期、连接池预算、取消传播与重试、ORM 过期与懒加载）。
使用方式：按清单逐项跟踪为 PENDING、PROVEN、CLEARED 或 UNPROVEN，只有观察到的结果才算证据。优先使用原生文件搜索、语言服务器、现有查询日志与追踪、数据库原生 explain 工具、现有性能分析器与仓库测试。EXPLAIN ANALYZE 会执行语句，仅限已确认只读查询且在获批的非生产或一次性目标上使用。禁止连接生产、运行变更性诊断、创建索引、迁移、vacuum、重写数据或更改连接池设置。
适用场景：需要审计数据层正确性、事务边界、资源泄漏或查询效率的代码库，尤其适合在评审或修复前建立证据基线。
限制：只读，不执行修复；性能影响必须标注为未测量，除非有查询、计划、锁或性能分析证据；外部语义需匹配已安装版本的官方文档，否则标记 UNVERIFIED；无法验证关键数据路径或数据库语义时使用 BLOCKED。输出按 Result、Scope、Evidence、Verification、Completion 顺序报告，并给出 P0-P3 分级。