Dependency-Preserving Direct-Area Compiler 與 First-Order Renormalized Residual：從 10⁻⁹ Raw Margin 到 R₂^fin ≈ 0.106，把 B01 Hard Core 重新寫成可條件化的有限半徑殘差問題

把 B01 的目標寫成精確恆等式 A − A0 − 0.1ρ² = ρ·Φ1 + ρ²·(R2fin − 0.1)。在 Φ1 ≥ 0（引自 LESR 09E）下，問題化為 inf R2fin ≥ 0.1。全域反向搜尋（10 個 DE 種子、32,768 個 Sobol 點）找到 min R2fin ≈ 0.10608：這是搜尋，不是證書。