AREF / Direct Certificate Materialization 與 Erosion-Lower-Bound Barrier：從舊 AREF Parent Reuse 的零覆蓋，到 box_lower 真實重播，為什麼 B01 Hard Core 需要 Dependency-Preserving Direct-Area Compiler

一個公開的負結果：舊的五個 Cycle-17 AREF 父盒與 B01 管狀區域不相交（重用覆蓋 0%）；有限見證的 box_lower 有 1e-5 到 3e-8 的離散化下限，而 B01 難核的餘裕只有約 1e-9，所以需要保持依賴關係的直接面積路線。官方覆蓋仍是 83.0642%。