從 Secondary LP 解析消元到有限半徑接受盒：把二階證明再壓成五個標量與一個 remainder bound

用 |X+H| + |X−H| ≥ 2|H| 消去 09C 的 LP：當 0 ≤ γ_w/D < 2λ_S 時 Φ₂ ≥ c₀ − γ_w·A/D（名義 0.225586328；在刻意放寬的接受盒上 ≥ 0.202）。若能證得餘項 |R₃| ≤ 30ρ³，就會在 [0, 0.003] 上得到 A(ρ) ≥ A0 + 0.112ρ²。