← BSD 猜想 · 壓力測試
對既有內容的對抗式獨立審核 · 2026-09-08 · VERIFIED_ADVANCE
將現有 BSD 網頁（phase0、phase1、phase2、p5，176 個檔案）當成「不完全可信但可能有價值的研究狀態」， 而非直接繼承的事實，進行一輪完整的稽核、重建歸納選定的進攻目標、實際改擊、對抗審稿。 結論是 VERIFIED_ADVANCE：修復了一個過強的推論、給了局部算子真正的上同調來源， 但沒有證明 BSD，也沒有閉合 389.a1 的複數秩二主項公式。
與 CSM_RH、RH 半自主批次同樣的「壓力測試」類型——對既有內容做獨立對抗式稽核，不是新的主要研究。 本輪歸功於 P5 既有的範數矩陣建構。檔案中首次附上真正可執行的驗證程式碼（src/*.py、tests/*.py） 與實際執行結果（12 項單元測試全部通過），不同於 phase0–phase2、p5 到目前為止都沒有附任何執行碼。 此外還附上給 GPT-6 的實際測試提示（TEST_PROMPT.md）與輸入清單（TEST_INPUT_MANIFEST.txt）作為方法論存檔。 2026-09-10 追加第十二篇：有限 Kurihara 證書，補上本審核第 07 篇點名的指定 witness 缺口，獨立重算全部 392,040 個求和項後，把 R308（rank=corank Selmer₁₁=2、Sha(E/ℚ)[11^∞]=0）由 CONDITIONAL 推進到 VERIFIED_THEOREM_APPLICATION；誠實記錄原稿字面數值未重現，完整強 BSD 主項公式仍 OPEN。
除了12篇正文外，這裡還有驗證程式碼、實際執行結果與方法論文件，原樣列出。