nexify 版本演进报告 · 基础 v11 → v13

基础版本 v11 → 当前 v13 · 语料:codewhale / zed / pdf-inspector · 生成 2026-09-03T11:29 UTC

1. codewhale(主回归基准)

指标v11v12v13Δ(最后两版)
EXTRACTED / extracted40,67340,67340,6730
推断已解析(INFERRED resolved)21,62222,45122,4510
推断未决(INFERRED extracted)6,6216,6216,6210
歧义(AMBIGUOUS)2522522520
未解析(UNRESOLVED)33,95333,12433,1240
绑定率(仅 Rust 推断面)38.7%40.2%40.2%0
冷建图耗时中位数(s)—33.36s32.71s−0.65s
解析耗时(s)—7.59s6.92s−0.67s

2. Zed(超大 workspace)

指标v11v12v13Δ(最后两版)
EXTRACTED / extracted30,27630,27630,2760
推断已解析(INFERRED resolved)31,65136,15137,218+1,067
推断未决(INFERRED extracted)13,68113,68113,6810
歧义(AMBIGUOUS)8,1048,1046,752−1,352
未解析(UNRESOLVED)43,39838,89838,8980
绑定率(仅 Rust 推断面)38.1%43.5%44.9%+1.4%
冷建图耗时中位数(s)—79.64s80.62s+0.98s
解析耗时(s)—34.41s34.27s−0.14s

3. pdf-inspector(单 package)

指标v11v12v13Δ(最后两版)
EXTRACTED / extracted3,1303,1303,1300
推断已解析(INFERRED resolved)6036036030
推断未决(INFERRED extracted)1531531530
歧义(AMBIGUOUS)4440
未解析(UNRESOLVED)1,5531,5531,5530
绑定率(仅 Rust 推断面)27.9%27.9%27.9%0
冷建图耗时中位数(s)—2.13s1.4s−0.73s
解析耗时(s)—0.26s0.18s−0.08s

4. 召回哨兵(codewhale,不得回退)

哨兵v11v12v13判定
ToolContext::new 构造器617617617保持
ViewStack::push 方法232323保持
user_home 跨 crate161616保持
FleetRunId::from 限定路径575757保持
re-export 五符号主哨兵818181保持
RuntimeToolServices::default999保持
drain_pending_steers 方法666保持
workspace 子模块直导272727保持
guard 内调用111保持
discover 跨模块555保持

色义:绿 = 进化(耗时下降 / 召回上升 / 漏绑下降 / 哨兵保持);红 = 退化(耗时上升 / 哨兵回退);灰 = 持平或缺失。耗时来自各版本 scan 采样中位数(≥2 次);Δ=0 灰,无噪声特判。

5. 候选改善清单(按推荐价值排序)

#内容规模推荐价值验收指针
post-10`use super::*` 透传 + `pub(crate) use` expand 垃圾导入千级 UNRESOLVED高主靶子:px/div 收敛 + 哨兵零回退
post-9单 package crate 根路径 + 同 crate 模块级 re-export233 条中高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(数据叠加)。推荐价值 = 收益(召回/精度/规模)÷ 成本(改动量/风险)。