Shadow 行为隔离
静态和局部证据：Shadow 代码只读取既有 ModelAction、Concrete audit 和转换事实；不调用随机数、Action 选择、排序、Region Gate、Probe 或 Provider。固定输入/动作/RNG harness 的 9 条 constructor/selection trace 与基线完全一致；Native 局部检查 32 项通过；runner 测试 63 项通过。
运行对照：
| 条件 | 时间 | Native steps | execution records | method 数 | 结果 |
|---|---|---|---|---|---|
| Shadow OFF | 301s | 207 | 189 | 5488 | COMPLETED/VALID |
| Shadow ON | 301s | 203 | 187 | 5393 | COMPLETED/VALID（修复前构建） |
ON/OFF 轨迹不同，但本 Smoke 无法仅凭两条轨迹归因策略改变；源码审计和固定输入测试未发现动作选择副作用。两次运行都没有 Probe、Provider 或 Region blocking。单次 ON/OFF 不支持统计显著性结论。