# 對抗式審稿結果

對象：05_NEW_MATHEMATICS.md 的實際主稿，而不是研究計畫摘要。主審與獨立 Twin 語境各作檢查；這是本次模型內的獨立審核，不是假稱有外部人類 referee 或期刊接受。

**判定：主定理在明示範圍內通過。** 新閉合點為實際 cyclotomic 環境 Bockstein 的兩地局部投影；沒有通過完整 Selmer-regulator 比較或複數 GPR。

## 1. 逐項攻擊

| 攻擊 | 嘗試造成的錯誤 | 檢查結果／處置 |
|---|---|---|
| 隱藏 BSD | 先假設 Sha11=0，再稱新局部證明無條件 | 主定理只用 U=span(P,Q)；沒有使用full Selmer維數或Sha。 |
| 群階與point混淆 | 乘 #E/11 不一定辨識 E(k)/11 | 此例完整軌道證兩群循環，11恰好除一次，故映射確為同構。 |
| 形式對數過強 | 將所有 ramified formal points 用log等同於整個極大理想 | 刪去此要求；[11]在ell≠11的形式群上可逆即可。 |
| 錯的local field | 把整個F的完備化當totallyramified degree11 | 已補明 Lell=(Fell)w 是單一子域完備化；全合成域的unramified部分另由字符處理。 |
| Frobenius twist錯置 | 把 H1(I,V)當作未twist的V | 保留V(-1)與ell^-1Φ；僅在ell≡1 modp後辨識兩個商。 |
| 暗中半單化 | 對anomalous unipotent F使用eigenbasis | 證明直接處理cokernel，沒有半單假設。 |
| 交叉cyclotomic項 | 在397漏掉991字符的可能Frobenius值 | 該字符可能非零但未分歧；杯積與unramified Kummer類在cd1商群上為零。 |
| 假canonical矩陣 | 定義任意deformation後宣稱就是算術Bockstein | 主稿用實際 G_Q,Σ→Gal(F/Q) 與tautological exact sequence；非任意lift。 |
| 目標維度偷換 | 把兩地2×2 determinant稱整個global determinant | 主稿一律限定selected two-place projection；其他素點未被宣稱消失。 |
| 增廣環混淆 | 在A/J²裡寫XY非零 | 非零位於J²/J³；明示degree-two分次乘法。 |
| 基底／符號 | 把2或6/2=3當無選擇的canonical數 | 局部基底以βψ(locP)定義；generator、direct/inverse action的unit與sign明示。 |
| primitive降模 | 非零mod11^k⇒非零mod11 | 原引證已否定，改以CS較強定理補前提；指定witness未認證。 |
| residual-image不足 | 僅Frob不可約就宣稱滿射 | 另加I1 transvection；兩固定線生成upper/lower root groups，才得到SL2及GL2。 |
| 最適性漏證 | 未驗證optimal標號就用Manin定理 | 用最小次數同源與irreducibility證其degreeprime11，明示微分、period轉移。 |
| non-CM漏項 | CS的standing assumption未列 | j=112³/389非整數；有理CM j必為整數，因此已排除。 |
| 指定δ偷渡 | CS給存在某個witness，被當成393427 witness已算 | eigenspace與δ=6保持UNVERIFIED；未宣稱執行相關程式。 |
| Selmer核消失 | λ在MW兩方向可逆⇒整個Selmer核零 | 證明kerλ≅S/U；若U=MW/p才識別為Sha[p]，没有消失結論。 |
| BKS假設誤配 | 直接套non-anomalous比較 | 397與991群階被11除，Hyp2.2(iii)失敗；這條捷徑停止。 |
| p-adic/complex偷換 | 由mod11 primitive或IMC推出complex leading term | 全程保留CPLX-GPR OPEN；未假設比值有理或天然屬Q11。 |
| 量詞擴張 | 兩個p或有限database通過變成all-prime／all-E | 主定理固定E,p；Phase2全稱假設與twist-uniform exception條件保留。 |
| 引文時間漂移 | HTML生成Date當成新版本 | 引用固定arXiv版本；CS另核PDF；未逐字核對者明示。 |
| 缺失成果 | 根據文中檔名宣稱曾執行 | 原包47筆缺檔引用登錄；新計算與原計算分開。 |

## 2. 對最強結論的正向與反向 witness

正向：兩種點數方法一致，P 的軌道等於整個群，投影矩陣在 121 個源元素上滿射。局部 Bockstein 的同構是 cochain／譜序列證明，不以數值測試代替。

反向：把第二列換成第一列便只剩 11 個像；添加兩個不可見方向的四維源保留相同局部矩陣但核為二維；11 模121非零卻模11為零；兩個相同特殊纖維的自由複形有不同Bockstein。這些測試與例子直接針對想錯推的結論。

## 3. 已採納的 Twin 修正

首次提案只稱局部Bockstein，同意其數學有效但提醒這不足以關閉全域CANON-BocID。主審改為實際C11²擴張的環境映射，Twin確認交叉未分歧項消失。

正式稿審讀另要求明示單一子域完備化，以及用最小次數同源證prime-to11，而非省略同源方向。兩者皆已納入05。Twin未發現主定理方向、U/MW區分或增廣分次的實質錯誤。

原始獨立審核筆記保留在 review/。它们是審查證據，不取代正式稿的假設與證明；若筆記與正式稿有細節精簡差異，以本版05明示的最終命題為準。

## 4. 殘留風險的精確範圍

這是通常的數學證明與精確算術重播，不是Lean級形式化驗證。引用的外部深定理沒有由本輪從頭重證。沒有證明局部元素能無損搬過Selmer local-condition cone、torsion-free投影及canonical determinant比較；也沒有宣稱此基本上同調引理具有文獻新穎性。

最終 verdict 允許 VERIFIED_ADVANCE，是因真正新增的上同調依賴邊與primitive前提修復，而非把12項程式測試當成BSD進展。