1 files changed, 16 insertions, 0 deletions
diff --git a/docs/campaign/CASCADE_ABLATION_PLAN.md b/docs/campaign/CASCADE_ABLATION_PLAN.md
index 70a9adc..503a321 100644
--- a/docs/campaign/CASCADE_ABLATION_PLAN.md
+++ b/docs/campaign/CASCADE_ABLATION_PLAN.md
@@ -1916,3 +1916,19 @@ Matched 三口径（同窗 434-440k, n=61/臂）:
 - 若地板论成立: dgain 整套装置可退役, 修复=状态路径 fp64/补偿求和; LM 尺度 EP gap 的很大一块重述为
   模拟器精度伪影; 硬件叙事反而加强(基底加性地板的通用设计律: 逐层 nudge 位移必须清过地板 — 板上
   测量2的数字孪生)。1B 迁移律候选: 一次自由相测 disp_ratio 剖面即得逐层规格, 零训练。
+
+## RESULT 77 (2026-07-30): fp32 地板理论三箭全中 — "物理泄漏"死亡, 改判模拟器伪影
+- **fp64 决定臂**: 上半泄漏 −0.703/−0.585/−0.339/−0.364/−0.317/−0.225 → 全部 ±0.003 内, rel 0.89→0.02。
+  双精度下泄漏完全消失。**泄漏 = fp32 状态算术伪影, 非 EP 性质, 非模型物理。**
+- **β-scan 平移验证**: β/8 → 病块全面加深(块6 −0.945), 块5 ratio 落到 1.51e-7 压线开始转病(rel 5×);
+  β×8 → 块6-8 痊愈(−0.02), 底层出现预期 β² 污染。边界随 β 精确平移, 与地板论定量一致。
+- **叙事重写**: C512→C768 冻结配方失效 = 宽度增大 → RMS(z) 增大 → 相对位移跌破 fp32 eps 的伪影
+  随宽度加重。"EP 的宽度墙"不存在; 存在的是模拟器的读出地板。dgain 重新定性: 不是新算法, 是无意中
+  绕开舍入的数值 workaround(它把 (z−o) 抬回 eps 之上)。geo 电池已撤(给 bug 配剂量无意义)。
+- **候选零成本修复 --read_lin(已实装, 验证中)**: 读出恒等式 z−o=d 的两侧数值不等价 — (z−o) 是 d 的
+  fp32 舍入副本(亚 eps 分量被 o 的量级抹零), 而 d 张量自己全程满精度。把读出从 0.5‖z−o‖² 换成代数
+  恒等的 −⟨d,o⟩ 线性形式 → θ-导数逐项相同但绕开舍入。tiny 冒烟与 fp64 臂读数一致; C768 fp32 验证
+  探针在飞(GPU3)。若确认: dgain 全套退役, 修复零成本零开销, 全配方回炉重测真 gap。
+- **硬件含义(为 Dillavou 通话)**: 这就是"读出必须差分"的数字版 — 对比读数要直接测差(d), 不能减两个
+  大数((o+d)−o); 板上对应相关双采样/差分读出。基底加性地板设计律获得数字孪生实证。
+- 1B 迁移: 逐层 disp_ratio(一次自由相可测)+基底地板 → 逐层安全裕度表, 零训练。