Removed 13 First-Failure Closure

正面回收昨天 08 篇留下的問題:v0.2 曾把 13 條 removed curves 保守標成 VERSION_REGRESSION_REMOVED、reason = OPEN,不敢猜測理由。這篇文件用 14 篇精確定位到的 one-commit diff,加上官方 old/current fixture mapping、LMFDB/Cremona primary curve/isogeny 資料、一個 exact finite-field count,把 13 條逐一算出精確的 first-failure 判準,完成 closure。直方圖統計:$9\times$ P_ISOGENY_3、$2\times$ P_ISOGENY_5、$1\times$ P_ISOGENY_7、$1\times$ A3_ABS_3。文件附完整表格,列出全部 13 條曲線的 Cremona 標籤、LMFDB 標籤與 first failure 判準。其中 26b1 比較特殊:它同時具有次要條件 $a_3=-3$,但 production pipeline 先執行 strict isogeny gate,所以它的 first failure 仍記為 P_ISOGENY_7,不是 A3_ABS_3——這正是「first failure 依賴 gate 執行順序」的具體示範。文件最後把結論收進一個方框:小樣本的 $25\to12$ 不再是黑箱版本漂移,13 條 removed curves 完全由新的 Algorithm 1 判準解釋。