# nexify × Zed 跨语料健康/规模测试报告（v12）

- **日期**: 2026-09-03
- **对象**: `~/clawspace/nexify-verify/zed-snapshot`(zed-industries/zed,commit `8372641`,245 workspace crate,1942 .rs 文件,115M)
- **工具**: nexify release(extract_version=12,#M4-post-1~4+7 后,commit `ead3674`)
- **性质**: 单语料健康/规模验证 + #M4-post-7(glob re-export 展开)主靶子实测;与 v11(8aeafca)同语料对比
- **运行环境**: 同 2C VPS,纯本地 tree-sitter,无 LLM
- **缓存**: `zed-snapshot/.nexify/cache.db`(extract_version=12,冷扫保留)

## 1. 规模与性能（v11 → v12 同语料增量）

| 指标 | v11 | v12 | 变化 |
|---|---:|---:|---|
| 节点 | 209,822 | 209,822 | 0（同源码） |
| edges(calls) | 127,110 | 127,110 | 0（resolve 不增删行） |
| extract | 48.8s | **48.82s** | ≈0 |
| resolve | 40.1s | **40.65s** | ≈0（同量级；另一次采样 32.18s，两次波动 ±20% 为 2C VPS 测量噪声） |
| 冷建图 | 89.0s | **89.77s**（实测） | +0.9%（持平） |
| pending | 241,473 | 241,473 | 0 |

**性能判定**: v12 冷建图实测 89.77s（extract 48.82s + resolve 40.65s），与 v11 89.0s **同量级持平**（resolve 两次采样 32.18/40.65s 波动 ±20%，单机 2C VPS 测量噪声，不构成 −20% 结论；子代理首测 −20% 撤回）。glob 预展开未引入可测退化。

## 2. 绑定质量总览（v11 → v12）

| confidence/state | v11 | v12 | 变化 |
|---|---:|---:|---:|
| EXTRACTED / extracted | 30,276 | 30,276 | 0 |
| INFERRED / extracted | 13,681 | 13,681 | 0 |
| INFERRED / resolved | 31,651 | **36,151** | **+4,500** |
| AMBIGUOUS / resolved | 8,104 | 8,104 | **0（无误绑引入）** |
| UNRESOLVED / resolved | 43,398 | **38,898** | **−4,500** |

## 3. #M4-post-7 靶子符号恢复明细

| 符号 | v11 UNRESOLVED | v12 UNRESOLVED | 恢复 | 落点（抽查唯一真定义） |
|---|---:|---:|---:|---|
| px | 2,516 | 771 | 1,745 | `crates/gpui/src/geometry.rs::px` |
| div | 763 | 97 | 666 | `crates/gpui/src/elements/div.rs::div` |
| point | 671 | 202 | 469 | `geometry.rs` |
| size | 331 | 105 | 226 | `geometry.rs` |
| rgb | 177 | 16 | 161 | `crates/gpui/src/color.rs::rgb` |
| h_flex | 83 | 10 | 73 | `ui/src/components/stack.rs::h_flex` |
| hsla | 108 | 0 | **108（清零）** | `color.rs` |

**合计**: 4,500 条恢复 INFERRED,全部经 `nexify callers` / SQL DISTINCT target 抽查落到唯一 pub 定义。

## 4. 修复机制（本轮新增）

1. re-export 索引收 glob（`pub use <mod>::*;`），resolve 前一次性展开（递归穿透嵌套 glob 与显式项，共享 MAX_REEXPORT_DEPTH 循环/深度语义）。
2. resolve 期 caller glob 导入（`use x::*` / `use ui::prelude::*`）经 crate 感知 `reexport_stations` 展开导出符号表。
3. `resolve_reexport_source` 定义查找限定 function/struct/enum/trait/type_alias（**排除 method**——`div` 撞 `Point::div` 等 4 同名方法曾被误判歧义；显式 re-export 路径同受益）。
4. 常见名保护只挡裸标签全库 fallback，scoped `use` 导入的 ≤2 字符名（`px`）不再误拦。
5. `reexport_source_scope` 修复 crate 根文件（`src/<crate>.rs`）误当模块、bare 路径按 Rust 2018 相对解析。

## 5. 遗留（记 #M4-post-10）

残余 UNRESOLVED（px 771 / div 97 等）主因：`use super::*` 经父模块普通 `use`（非 `pub use`）透传未覆盖、`pub(crate) use` 被 `expand_use` 解析为垃圾导入项。与 #M4-post-9 子机制 b 部分同源，建议下派时合并处理。

## 6. 结论

- **#M4-post-7 主靶子达成**：UNRESOLVED −4,500（预估 4,462 全量恢复 + 同一符号其他调用点），AMBIGUOUS 零变化 → 纯召回，无误绑引入
- **性能持平**：冷建图 89.0s → 89.77s、resolve 40.1s → 40.65s（同量级；glob 预展开收益在召回侧，非耗时侧）
- **泛化确认**：glob + caller glob 导入在 245-crate 大库正确工作；codewhale 侧零回退见 `nexify-version-comparison-v6-v7-v8-v9-v10-v11-v12.md`