Phase 2 第一個 Agent 實驗

把 02、04 篇的 compiler 目標變成一份七步驟實驗設計,取名 FW-Hypothesis-Compiler / Weight-2 Elliptic Curves。Step 1 刻意不掃全庫,只挑 60 條曲線(20 條 semistable 已知通過、20 條 non-semistable analytic-rank-0、20 條刻意選的壞/控制組),文件明確聲明這只為 compiler correctness,不為統計。Step 2 為每條曲線在一組固定小質數加上 rational isogeny primes、bad reduction primes 建立 local prime table。Step 3、Step 4 是全篇的核心:分別指派獨立 Agent 對 H2、H3 做符號推導——H2 的任務是把 Fouquet–Wan 的 local semisimplification prohibition specialise 到 weight-2 橢圓曲線,依 good ordinary/supersingular/multiplicative/additive 四種 reduction 分類推成可計算的 local criteria,且要求輸出 lemma、proof、allowed assumptions、counterexamples、Sage predicate,不是先寫 code;H3 的任務是比較 Fouquet–Wan 的 auxiliary $\ell$ 條件與 Banwait 既有的 $p\nmid v_\ell(\Delta_E)$ 判準,目標三選一——exact equivalence、strict implication、或 not equivalent——文件明確禁止默認兩者相同。Step 5 把三個 bridge lemmas 形式化,建議 Lean/theorem-style prose 雙輸出。Step 6 搜索 finite exceptional prime theorem,但若無 theorem 保證完整,不得標 complete。Step 7 才輪到掃約 895,988 條 non-semistable analytic-rank-0 搜索池,第一個資料庫輸出必須是 FW_COMPILER_PASS/FAIL/UNKNOWN 三態,UNKNOWN 不可吞掉。文件最後明確放寬 v0.1 的成功 Gate:不需要找到新曲線,只要 H2/H3 exact specialisation 完成、twist-invariance lemmas 完成、finite-prime reduction 至少在一個 nontrivial curve class 上成立,就已經是新的標準語言數學結果。