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

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

1. codewhale(主回归基准)

指标v11v12Δ(最后两版)
EXTRACTED / extracted40,67340,6730
推断已解析(INFERRED resolved)21,62222,451+829
推断未决(INFERRED extracted)6,6216,6210
歧义(AMBIGUOUS)2522520
未解析(UNRESOLVED)33,95333,124−829
绑定率(仅 Rust 推断面)38.7%40.2%+1.5%
冷建图耗时中位数(s)—33.36s—
解析耗时(s)—7.59s—

2. Zed(超大 workspace)

指标v11v12Δ(最后两版)
EXTRACTED / extracted30,27630,2760
推断已解析(INFERRED resolved)31,65136,151+4,500
推断未决(INFERRED extracted)13,68113,6810
歧义(AMBIGUOUS)8,1048,1040
未解析(UNRESOLVED)43,39838,898−4,500
绑定率(仅 Rust 推断面)38.1%43.5%+5.4%
冷建图耗时中位数(s)—79.64s—
解析耗时(s)—34.41s—

3. pdf-inspector(单 package)

指标v11v12Δ(最后两版)
EXTRACTED / extracted3,1303,1300
推断已解析(INFERRED resolved)6036030
推断未决(INFERRED extracted)1531530
歧义(AMBIGUOUS)440
未解析(UNRESOLVED)1,5531,5530
绑定率(仅 Rust 推断面)27.9%27.9%0
冷建图耗时中位数(s)—2.13s—
解析耗时(s)—0.25938s—

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

哨兵v11v12判定
ToolContext::new 构造器617617保持
ViewStack::push 方法2323保持
user_home 跨 crate1616保持
FleetRunId::from 限定路径5757保持
re-export 五符号主哨兵8181保持
RuntimeToolServices::default99保持
drain_pending_steers 方法66保持
workspace 子模块直导2727保持
guard 内调用11保持
discover 跨模块55保持

色义:绿 = 进化(耗时下降 / 召回上升 / 漏绑下降 / 哨兵保持);红 = 退化(耗时上升 / 哨兵回退);灰 = 持平或缺失。耗时来自各版本 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-6夹具/假 crate 混入(test_fixture/fixtures 排除)67+8 误绑中精度项:误绑归零 + 哨兵零回退
post-8嵌套 fn 遮蔽(函数体内嵌套 fn 加入 local_bindings)2 确证低小项,可搭车
P3测试双变体方法歧义(接收者类型消歧增强)8,104 AMBIGUOUS低安全弃绑非误绑;需接收者消歧
长期references 类型使用边 + 社区/枢纽榜(Leiden/god-nodes)—待评估M5 候选
长期≤2 字符裸标签白名单(scoped use 已解决,剩无 use 裸标签)825 条基线待评估常见名保护残余短板

循环:本报告 → 从中选取推荐价值最高的候选派活 → 子代理开发 → 新版本 v13 → 三语料全量扫描 + 归档 → 生成 nexify-v11-v13-report.html(数据叠加)。推荐价值 = 收益(召回/精度/规模)÷ 成本(改动量/风险)。