← Phase 1 / 22 · v0.5 Exact Census Report
21 篇定義的三段式策略中,Gate A(delta-only base verifier)與 Gate B(twist JSON parser diff)在這裡被真正執行、產出精確數字——本頁內容位於套件的 results/ 而非 docs/ 目錄,是本系列中少數不帶 docs/NN 編號、但屬於真正研究產出而非中介 scaffolding 的文件,故仍單獨收錄。文件先揭露一個 provenance 細節:OLD 的 twist JSON 其實在 OLD base file 之前就已凍結(源自更早的 generator commit),導致有 1355 條 OLD base curves 沒有對應的 twist 條目;文件明確指出這是一個「archived output artifact」,不是對 OLD source tree 的新鮮端到端執行。核心精確結果:base curves 為 old=40,749、new=36,687、removed=4,062、added=0;Algorithm 1 失敗分類 ISOGENY_ONLY=1,353、A3_ONLY=2,707、BOTH=2、UNEXPLAINED=0(個別:3-isogeny 1,233、5-isogeny 115、7-isogeny 7);stable-domain 的 Algorithm 2 精確變化是 removed=21,306、added=0 的純縮減,curve-level 分類 UNCHANGED=31,250、SHRINK_ONLY=5,437、EXPAND_ONLY=0、MIXED=0;全域 twist accounting identity 46,091=46,091 exact PASS。26 項 completion gate checklist 全部為 true。
跟其他文件的關係,盡量用它自己文件裡的話,不是我的解讀。
「This is an exact archived-output census of a theorem-producing computation. It is not a fresh end-to-end rerun of every OLD curve, and it is not a proof of the Birch–Swinnerton-Dyer conjecture for all elliptic curves.」— 摘自本文結語。
載入中…