R9：精確的雙閘 Mordell–Weil 篩與 n = 7/32 纖維上的邊界管強迫

第一次實際的計算：在 17 個 2 的冪約化質數上同時做有限體平方測試，強迫 n = 7/32 切片上任何非邊界解落入撓陪集 T_A 或 T_−B，且 2 進 Mordell–Weil 係數 c = ±1 (mod 2^14)；明說「還不是固定切片的不存在性定理」。