nexify 多语料综合验证报告 · codewhale × Zed × pdf-inspector

extract_version 12(commit ead3674)· 2026-09-03 · 数据源:compare_versions.py v6→v12 / COMPARISON-zed-v11/v12 / pdf-inspector v12 冷扫实测

1. 三库总览(并列)

指标codewhaleZedpdf-inspector
形态workspace · 21 crate · 1,976 文件workspace · 245 crate · 4,018 文件单 package + napi/wasm · 55 .rs
节点 / edges153,640 / 223,687209,822 / 308,85413,349 / 15,833
冷建图33.5s → 35.5s(+2s)89s → 89.8s(+0.8s)1.5s → 1.51s(+0.01s)
resolve7.37s → 7.52s(+0.15s)40.1s → 40.65s(+0.55s)0.21s → 0.2s(−0.01s)
pending128,392 → 128,392(0)241,473 → 241,473(0)9,028 → 9,028(0)
INFERRED resolved21,622 → 22,451(+829)31,651 → 36,151(+4,500)603 → 603(0)
AMBIGUOUS252 → 252(0)8,104 → 8,104(0)4 → 4(0)
UNRESOLVED33,953 → 33,124(−829)43,398 → 38,898(−4,500)1,553 → 1,553(0)
跨文件绑定率(仅 .rs)38.7% → 40.2%(+1.5pp)38.1% → 43.5%(+5.4pp)39.1% → 39.1%(0)

色义:绿 = 进化(耗时下降 / 召回上升 / 漏绑下降);红 = 退化灰 = 持平 / 未测。 v11 时三库绑定率恒稳 38–39%;v12 后 codewhale 40.2%、Zed 43.5%(+5.4pp)——glob 展开(#M4-post-7)把大批真调用从 UNRESOLVED 拉回 INFERRED,AMBIGUOUS 零变化。 pdf-inspector v12 与 v11 零差异(单 package 无 glob 形态,glob 展开零影响,与 codewhale 零回退互证)。 口径:绑定率 = resolved / (resolved + ambiguous + unresolved);Zed 冷建图 v12 为 extract+resolve 合计;codewhale 冷建图 v12 为 06:17 重扫实测(extract 27.29s + resolve 8.08s,含 glob 索引 scan 期成本)。

2. 遗留与路线(按优先级)

#内容来源规模状态
#M4-post-7glob re-export 展开Zed4,500 恢复✅ 已交付(ead3674)
#M4-post-10use super::* 透传 + pub(crate) use 垃圾导入Zed 残余 px 771 / div 97千级待派(建议下个)
#M4-post-9单 package crate 根路径 + 模块级 re-exportpdf-inspector233待派(与 post-10 部分同源)
#M4-post-6夹具/假 crate 混入(test_fixture)Zed67+8 误绑待派(精度)
#M4-post-8嵌套 fn 遮蔽Zed2 确证P4 小项
P3测试双变体方法歧义(接收者消歧增强)Zed8,104 AMBIGUOUS低优先(安全弃绑)
长期references 类型使用边 + 社区/枢纽榜graphify 对比M5 候选
建议下派:#M4-post-10(Zed 残余 px 771 / div 97 主因,与 #M4-post-9 子机制 b 部分同源,可合并排期)。