1. codewhale(主回归基准)
| 指标 | v11 | v12 | v13 | Δ(最后两版) |
|---|
| EXTRACTED / extracted | 40,673 | 40,673 | 40,673 | 0 |
| 推断已解析(INFERRED resolved) | 21,622 | 22,451 | 22,451 | 0 |
| 推断未决(INFERRED extracted) | 6,621 | 6,621 | 6,621 | 0 |
| 歧义(AMBIGUOUS) | 252 | 252 | 252 | 0 |
| 未解析(UNRESOLVED) | 33,953 | 33,124 | 33,124 | 0 |
| 绑定率(仅 Rust 推断面) | 38.7% | 40.2% | 40.2% | 0 |
| 冷建图耗时中位数(s) | — | 33.36s | 32.71s | −0.65s |
| 解析耗时(s) | — | 7.59s | 6.92s | −0.67s |
2. Zed(超大 workspace)
| 指标 | v11 | v12 | v13 | Δ(最后两版) |
|---|
| EXTRACTED / extracted | 30,276 | 30,276 | 30,276 | 0 |
| 推断已解析(INFERRED resolved) | 31,651 | 36,151 | 37,218 | +1,067 |
| 推断未决(INFERRED extracted) | 13,681 | 13,681 | 13,681 | 0 |
| 歧义(AMBIGUOUS) | 8,104 | 8,104 | 6,752 | −1,352 |
| 未解析(UNRESOLVED) | 43,398 | 38,898 | 38,898 | 0 |
| 绑定率(仅 Rust 推断面) | 38.1% | 43.5% | 44.9% | +1.4% |
| 冷建图耗时中位数(s) | — | 79.64s | 80.62s | +0.98s |
| 解析耗时(s) | — | 34.41s | 34.27s | −0.14s |
3. pdf-inspector(单 package)
| 指标 | v11 | v12 | v13 | Δ(最后两版) |
|---|
| EXTRACTED / extracted | 3,130 | 3,130 | 3,130 | 0 |
| 推断已解析(INFERRED resolved) | 603 | 603 | 603 | 0 |
| 推断未决(INFERRED extracted) | 153 | 153 | 153 | 0 |
| 歧义(AMBIGUOUS) | 4 | 4 | 4 | 0 |
| 未解析(UNRESOLVED) | 1,553 | 1,553 | 1,553 | 0 |
| 绑定率(仅 Rust 推断面) | 27.9% | 27.9% | 27.9% | 0 |
| 冷建图耗时中位数(s) | — | 2.13s | 1.4s | −0.73s |
| 解析耗时(s) | — | 0.26s | 0.18s | −0.08s |
4. 召回哨兵(codewhale,不得回退)
| 哨兵 | v11 | v12 | v13 | 判定 |
|---|
| ToolContext::new 构造器 | 617 | 617 | 617 | 保持 |
| ViewStack::push 方法 | 23 | 23 | 23 | 保持 |
| user_home 跨 crate | 16 | 16 | 16 | 保持 |
| FleetRunId::from 限定路径 | 57 | 57 | 57 | 保持 |
| re-export 五符号主哨兵 | 81 | 81 | 81 | 保持 |
| RuntimeToolServices::default | 9 | 9 | 9 | 保持 |
| drain_pending_steers 方法 | 6 | 6 | 6 | 保持 |
| workspace 子模块直导 | 27 | 27 | 27 | 保持 |
| guard 内调用 | 1 | 1 | 1 | 保持 |
| discover 跨模块 | 5 | 5 | 5 | 保持 |
色义:绿 = 进化(耗时下降 / 召回上升 / 漏绑下降 / 哨兵保持);红 = 退化(耗时上升 / 哨兵回退);灰 = 持平或缺失。耗时来自各版本 scan 采样中位数(≥2 次);Δ=0 灰,无噪声特判。
5. 候选改善清单(按推荐价值排序)
| # | 内容 | 规模 | 推荐价值 | 验收指针 |
|---|
post-10 | `use super::*` 透传 + `pub(crate) use` expand 垃圾导入 | 千级 UNRESOLVED | 高 | 主靶子:px/div 收敛 + 哨兵零回退 |
post-9 | 单 package crate 根路径 + 同 crate 模块级 re-export | 233 条 | 中高 | a=167(crate 根路径)、b=66(模块级 use);与 post-10 部分同源可合并排期 |
post-8 | 嵌套 fn 遮蔽(函数体内嵌套 fn 加入 local_bindings) | 2 确证 | 低 | 小项,可搭车 |
P3 | 测试双变体方法歧义(接收者类型消歧增强) | 8,104 AMBIGUOUS | 低 | 安全弃绑非误绑;需接收者消歧 |
长期 | references 类型使用边 + 社区/枢纽榜(Leiden/god-nodes) | — | 待评估 | M5 候选 |
长期 | ≤2 字符裸标签白名单(scoped use 已解决,剩无 use 裸标签) | 825 条基线 | 待评估 | 常见名保护残余短板 |
循环:本报告 → 从中选取推荐价值最高的候选派活 → 子代理开发 → 新版本 v14 → 三语料全量扫描 + 归档 → 生成 nexify-v11-v14-report.html(数据叠加)。推荐价值 = 收益(召回/精度/规模)÷ 成本(改动量/风险)。