[Luo-root]

关联 Issue

见 #516、#521，补齐已审查 #518 和 #522；依赖前一份算法补齐 PR。

改了什么

#518、#522 各自合入原父分支，但相关父 PR 的旧 head 已先进入 main，后续堆叠内容未传播。本 PR 在算法补齐分支上合入 c2d1f95bc8a5a360132b0bad29e8cbb4008fe407，包含原 #518 的共享声明与 #522 的 Core 中文注释。

没有重新实现：各验证根共享去业务数据的局部声明，真实挂载分别求值，模式与临时 skip 保持原边界；普通冻结模式不保留展开模板，失败候选不发布。中文注释保留执行 token、错误字符串及示例输出。

新增

相对原 #518／#522 无新增 API、运行语义、依赖或性能声明；只补 main 的集成关系。

影响范围

23 文件、580+/141−。后续 Topology 与版本文档仍由最后一份 PR 交付。补齐全部既定运行代码后的 tree 与上一轮体检通过候选完全一致。

测试

Go 1.26.10、Windows amd64，GOWORK=off GOTOOLCHAIN=local。

• 当前分支 go test -mod=readonly -race -count=1 -timeout=120s -run '^TestValidationPlan' . 通过，4.706s。
• git diff --check release/v0.5.2-algorithms-20261030 HEAD 通过。
• 原补丁与已审 perf: 在验证根之间共享冻结声明 #518／chore: 统一 Core 源码与测试中文注释 #522 一致；完整集成及独立反证的上一轮检查见 chore: 统一中文注释与协作模板，完成发版前全仓体检 #521。
• 本次远端 CI 全部通过：test、benchmark-correctness、Ubuntu／Windows production-correctness；run 40996989208。

审查关注点

推荐先合 #529 到本分支，再合本 PR 到 #527 分支，最后 #527 合入 main。若先结束了父 PR，则必须先将本 PR 的 base 调整为 main 再合，不能只停留在已结束的父分支。共享声明不得保存运行数据，且不能减少每次输入、skip、host、额度、切面或恢复检查。

自审

• 已阅读差异并对照原固定提交。
• 无凭据、临时产物或探针入库。
• 无额外 API／运行语义修改。
• 中文注释和原输出断言保持。