日期：2026-09-28；版本 0.7.9。基于主线 2ba8bc3650f12006a61c7b7272b57cbcaefa0d34
加本轮改动。与导入绑定复测使用相同固定仓库、人工审定清单、
CPython 参照和输入材料；工具链为 Go 1.27.1、CPython 3.14.7。
源码及版本摘要：fffc911ee8ec9956a1221572a732cefa7343e71b851fcbe7630c6d13e009f547。
评测器摘要保持为 e1dde0e53da1cc103dba41dd87378b4e8f70222e2ce60ecb86df04acc54b66a0。
| 仓库 | 审定引用目标命中 | 审定调用目标命中 | 审定引用静默缺口 | 额外引用事实位置 |
|---|---|---|---|---|
| python-stdx | 5 → 7 / 11 | 4 / 4（不变） | 2 → 0 | 1149 → 618 |
| agentue | 2 → 5 / 8 | 3 / 4（不变） | 3 → 0 | 330 → 212 |
评分范围内错误 exact 和额外候选目标均为 0，候选数量上限没有扩大。
新增命中为 watchdog 的 LoopStall 注解、Redis connector 的 RedisConnectionConfig 注解，
以及 agentue 中 UIModel 注解、PatchEvent 注解和 isinstance 中的 PatchEvent 读取。
两仓预期引用读取位置覆盖仍为 6082/6221、1863/1900；减少的是误当成读取的参数绑定位置， 共 649 处。声明、调用表达式和 import 事实覆盖不变。三个 Go 仓库的评分结果不变。 未审定引用边由 211/130 增至 294/157，未审定调用边由 303/132 增至 304/133；这些不计为已验证正确。
原遮蔽判断把 parameters 下的同名标识符一律当成绑定，因而 value: Model 使 Model
在整段函数内被误判为局部参数。引用提取也将带类型及可变参数的部分绑定名误当成读取。
参数处理现在分别提取绑定名和类型/默认值表达式：
- 参数绑定作用于函数体；签名里的读取使用外层作用域，函数体的局部赋值不污染自身签名。
- 嵌套函数签名仍检查外层参数，真实遮蔽继续阻止同名目标绑定。
- 类型注解、泛型/联合类型、默认值和返回注解保留读取；参数名字不再生成读取事实。
- Lambda 默认值中的调用不再被整段 lambda 的延迟执行范围覆盖，函数体仍保留原有缺口。
字符串注解、动态类型求值及完整的 Python 注解运行时语义未扩展。 实例方法引用、f-string 读取和其余写入位置误提取等缺口仍需分别处理。
先加入回归并复现旧实现失败，再完成修复。用本地声明和显式导入分别验证注解、默认值、
泛型/联合类型、返回类型、可变参数、真实遮蔽及嵌套作用域；另验证参数读取事实和默认值调用。
make fix lint test build test-corpus 全部通过，测试含 race detector。
五仓均显式对比上一轮测量报告，基线身份校验和回归门禁全部通过；没有修改评测器、审定目标或旧报告。
本轮原始证据在 .corpus-results/<repo>/，可按以下方式复现：
make test-corpus CORPUS_BASELINE_DIR=<0.7.8 测量报告目录>命中比例仅适用于人工审定样本，不代表整个仓库的绑定准确率。