本地 Agent 交接

把 Phase 1 後續工作拆給六個角色,銜接 05 篇定義的停止規則。Agent A(Sage Environment Builder)先建 Sage version、LMFDB release、資料庫連線、PARI/mwrank 狀態,從 conductor<150 開始;Agent B(Algorithm 1 Reproducer)輸出每個 filter 後的 row count(initial → semistable/optimal/composite conductor → a3 → p-isogeny → ramification → rank/L-value → CLZ branch → Zhai branch → BSD(E,2)),每條曲線保存 pass/fail 原因;Agent C(2-Descent Referee)專門盯緊 check_BSD_at_2——確認 analytic Sha valuation、保存每個 backend 的 bounds、驗證 sha_an_ord_2 != 0 -> False、檢查 timeout 是否造成 false negative,且明確禁止把 $\dim\Sha[2]$ 當 $\operatorname{ord}_2\#\Sha$;Agent D(Algorithm 2 Cross-Checker)同時跑官方 Sage code 與本包 pure-Python mirror,把 discrepancy 分成六類(number-field index issue、Kronecker convention、negative twist convention、finite-field point count、source-branch mismatch、official code drift);Agent E(Paper/Code Version Auditor)固定 arXiv version、GitHub file SHA、LMFDB release、runtime flags,輸出論文 pseudocode 與現行程式碼的 semantic diff;Agent F(Global Enclosure Referee)每輪只問三個問題——這一輪擴大了 theorem coverage 嗎?增加了證書強度嗎?還是只增加枚舉量?——若只是枚舉量,連續三輪後停止,直接執行 05 篇的停止規則。