场景与影响

英文 BC backend 集成指南两处把 LowerCopyPattern 指向不存在的 TlaVectorRegionPass.cpp 和过时行范围2531–2622。实际 LowerCopyPattern 已位于 TlaVectorRegionCommon.cpp，110–199行；对应中文指南已采用新路径。开发者沿英文的 lowering 说明或关键文件索引都无法进入实现。两处失效定位来自同一 pass 拆分，合并修复。

版本与位置

master 基线 698379e0d4b1b94d12728e7181df2cf83a958e8f。

• python/tla_dsl/docs/en/dsl_development/feature_development/bc_backend_integration.md

复现与验证

确认精确基线中旧文件不存在、新文件存在并实际定义 LowerCopyPattern；核对中文对照位置和两个修正后的英文链接，检查 scoped hooks/diff 与最终SHA。仅文档/静态检查，无MLIR或NPU执行。 以本 case 干净基线执行适用 pre-commit hooks 与 diff --check 通过。

核对步骤：打开 实际共享pass，110行开始为 LowerCopyPattern，当前源码树没有 TlaVectorRegionPass.cpp；对照 已正确的中文指南 的lowering段和文件索引。英文两处修正后均指向该存在的共享pass。

预期与修复建议

将英文两处源码链接与 LowerCopyPattern 行范围同步到实际共享 pass，保持其它内容和已正确的中文指南不变。

本地无 NPU，未执行设备运行测试。上述问题通过静态检查或 Host 侧复现验证。