Fresh Algorithm2 Semantic Replay

把時間軸再往前推一步,追溯到三個語義節點:generator commit 7286794($G$)、OLD commit 1a0489($O$)、CURRENT commit 31fae2($C$)。$G\to O$ 新增 disc-valuation 條件 $D(E,d)$;$O\to C$ 刪除 $D(E,d)$ 並把 $\gcd(d,N)=1$ 收緊成 $\gcd(d,3N)=1$。因為 generator archived twist JSON 本身已是 generator Algorithm 2 對真實曲線的輸出,只需再對它施加 $D(E,d)$ 即可精確重建 OLD,不必重算 $a_p$、2-division field、Kronecker 條件等未變 gate。對全 $39{,}394$ 條 generator 曲線、$293{,}482$ 組 twist pairs 逐 pair 套用 $D$,得到 $0$ failures,證明 $T_O(E)=T_G(E)$ 在這個資料域成立。對 stable 的 $36{,}687$ 條曲線建立精確 $2\times2$ gate 分割表:$D{=}1,G_3{=}1$ 有 $247{,}391$ 對(共通)、$D{=}1,G_3{=}0$ 有 $21{,}306$ 對(被新 gcd gate 刪除)、$D{=}0,G_3{=}1$ 與 $D{=}0,G_3{=}0$ 都是 $0$——逐曲線比較 mismatch 為 $0$。**這是全文件最關鍵的修正**:先前 07/09/13 篇從 source diff 推測 Algorithm 2 可能同時存在收緊與放寬兩個方向,現在用真實資料的 exact replay 證明——expand mechanism 在這個實際資料域完全沒有被啟動,CURRENT 語義更新在 stable domain 是純單調縮減,全部觀察到的 delta 都落在 Zha16 分支(CLZ20 分支的 twist prime 本就不含 $p=3$,delta 恆為零)。文件誠實劃出知識邊界:仍有 1,355 條 OLD-only curves 因為在 generator twist JSON 生成後才加入 OLD base file 而無法被此重播覆蓋,但這些曲線已全數被 CURRENT 的 Algorithm 1 isogeny gate 排除,對「當前 theorem-qualified universe」而言重播已閉合;補齊那 1,355 條只有歷史重建價值。最後給出停止規則:artifact diff → exact census → source semantic replay 三層閉合已完成,建議在 v0.6 為 Phase 1 reproduction 封頂。