五個潛在二階 Sliver、凸分段線性 Φ₂ 與有限 LP 證書化

在解析選出的主要臨界速度處，二階面積係數化為凸分段線性的 Φ₂ = c₀ + γ_w·w₂ + λ_S(|δ₊|+|δ₋|) + λ_T[δ_T]₊，其名義 LP 最小值 c* ≈ 0.22558634，高於 0.1 的目標。這是高精度重播，原文明言「不是區間證明」。

09C 把二階係數化為一個凸分段線性函數，名義最小值約 0.2256，高於目標 0.1；這是高精度重播，不是區間證明。結尾的狀態區塊把區間 LP、一致餘項與完整一階圖證書列為 OPEN，並寫「GLOBAL LEBESGUE LOWER BOUND: NOT CERTIFIED BY THIS PAPER」。垂直項與「五個細條」的算法後來被 09E 更正；LP 在 09D 不再需要。