p = 11 的二次 Chabauty 局部標準形、11 進飽和與自訂的形式橢圓對數、Mazur–Tate 11 進高度與雙橢圓二次 Chabauty 函數的校準

R17：規格回合——把微分對角化，找出 p = 11 為好的普通質數，把全域問題約化為二十個剩餘盤中的四個（繞 (1, 961408) 的一個對稱軌道），並說明最後的 Coleman／p 進高度零點計算在該執行環境中沒有被執行。R18：自訂的 11 進後端——證明 Q 與 P_− 是 11-飽和的，算出形式橢圓對數 (U_0, U_−) 與兩個 Mordell–Weil 係數之間 11^5 精度的解析關係 ν_− = Φ_11(ν_0 − 1)。R19：重建 Mazur–Tate 11 進 sigma 函數，得到全域高度 h_11(Q) = 58966、h_11(P_−) = 3035（mod 11^5）以及明確的雙橢圓二次 Chabauty 函數的校準常數 α_1、α_2。