> 本文為英文原文的全文譯本。研究主張仍以原文為權威來源；翻譯不代表獨立數學驗證。

# 完美長方體 Radical-FDRS R21

## 耦合壞素數局部像與模 $11^5$ 的精確有限二次 Chabauty 目標

**系列：** 完美長方體全域閉合  
**分支：** Radical-FDRS / 幾何耦合分支 R  
**階段：** R21 — 精確耦合局部算術  
**日期：** 2026-10-05  
**狀態：** 精確耦合局部像定理與有限目標壓縮 — 最後高度審計與 $11$-進根孤立仍開放

---

# 0. 執行摘要

R20 計算了獨立的定理層級局部高度上界

$$
\Omega_q
$$

對每個壞素數皆如此。其全域 Minkowski 和是極度粗的：

$$
\boxed{
\Omega_{\rm coarse}
\bmod11^5
=
11\mathbb Z_{11}/11^5\mathbb Z_{11}.
}
$$

故：

$$
\boxed{
|\Omega_{\rm coarse}\bmod11^5|
=
11^4
=
14641.
}
$$

原因已精確辨識：定理層級構造，允許第一橢圓商的局部高度、第二商的局部高度，以及虧格-$2$ 座標的賦值，獨立變化。

對正準虧格-$2$ 曲線上的真正局部點，這些量來自同一局部座標。

R21 保留此耦合。

對每個壞素數

$$
q\in
\{2,3,5,7,13,29,37,73,18521\},
$$

定義實際耦合局部像

$$
\boxed{
\Omega_q^{\rm exact}
=
\left\{
-\lambda_q^{E_1}(\varphi_1(P))
+
\lambda_q^{E_2}(\varphi_2(P))
+
2\log|r(P)|_q
:
P\in\mathcal H(\mathbb Q_q)
\right\}.
}
$$

正準偶六次曲線為

$$
\boxed{
\mathcal H:
\qquad
\mathcal Y^2
=
(2-r^2)
\left(
M^2r^4
-
2M^2r^2
+
L^2
\right),
}
$$

其中

$$
M=950625,
\qquad
L=1352033.
$$

明確定理商為

$$
\boxed{
\varphi_1(r,\mathcal Y)
=
(a_6r^2,a_6\mathcal Y),
}
$$

且

$$
\boxed{
\varphi_2(r,\mathcal Y)
=
(a_0r^{-2},a_0\mathcal Yr^{-3}),
}
$$

其中

$$
a_6=-M^2,
\qquad
a_0=2L^2.
$$

R21 精確計算全部九個耦合局部像：

$$
\boxed{
\Omega_2^{\rm exact}
=
\left\{
-\frac{29}{40},
-\frac35,
-\frac{21}{40},
-\frac12
\right\}\log2,
}
$$

$$
\boxed{
\Omega_3^{\rm exact}
=
\{2,3\}\log3,
}
$$

$$
\boxed{
\Omega_5^{\rm exact}
=
\left\{
4,
\frac92,
6
\right\}\log5,
}
$$

$$
\boxed{
\Omega_7^{\rm exact}
=
\{0\},
}
$$

$$
\boxed{
\Omega_{13}^{\rm exact}
=
\{2,3\}\log13,
}
$$

$$
\boxed{
\Omega_{29}^{\rm exact}
=
\Omega_{37}^{\rm exact}
=
\{0\},
}
$$

且

$$
\boxed{
\Omega_{73}^{\rm exact}
=
\Omega_{18521}^{\rm exact}
=
\left\{
-2,
-\frac32,
-\frac98,
-1
\right\}\log q.
}
$$

因此，局部基數為：

$$
\boxed{
4,\ 2,\ 3,\ 1,\ 2,\ 1,\ 1,\ 4,\ 4.
}
$$

將其與 R20 獨立上界的基數比較：

$$
41,\ 8,\ 29,\ 3,\ 12,\ 3,\ 3,\ 24,\ 24.
$$

耦合去除了絕大多數形式上可能、但無法實現的局部組合。

形成精確全域目標：

$$
\boxed{
\Omega^{\rm exact}
=
\sum_{q\ {\rm bad}}
\Omega_q^{\rm exact}.
}
$$

使用 Iwasawa $11$-進對數，並模以下數值約化：

$$
11^5=161051,
$$

R21 得到：

$$
\boxed{
|\Omega^{\rm exact}\bmod11^5|
=
721.
}
$$

每個元素仍可被以下數值整除：

$$
11.
$$

等價地：

$$
\boxed{
\left|
\frac{\Omega^{\rm exact}}{11}
\bmod11^4
\right|
=
721.
}
$$

這是從

$$
14641
$$

個粗類，縮減至

$$
721.
$$

保留比例約為

$$
\boxed{
4.92\%.
}
$$

因此，超過

$$
\boxed{
95\%
}
$$

的 R20 定理層級局部高度組合，被證明不可能。

模以下數值的正規化剩餘類封包：

$$
11^4=14641
$$

記錄於附錄，供下一階段根孤立直接使用。

其 SHA-256 校驗碼為：

$$
\boxed{
\texttt{94bae376fa7d8876fa2b01b584c3c405590cef56255cf3c42c316ed741d5c65f}.
}
$$

---

# 1. 所使用的局部高度演算法

R21 使用明確雙橢圓二次 Chabauty 實作的非阿基米德 Néron 高度正規化。

對極小整數廣義 Weierstrass 模型

$$
y^2+a_1xy+a_3y
=
x^3+a_2x^2+a_4x+a_6,
$$

定義

$$
A(P)
=
v_q
\left(
3x^2+2a_2x+a_4-a_1y
\right),
$$

$$
B(P)
=
v_q
\left(
2y+a_1x+a_3
\right),
$$

並令

$$
N=v_q(\Delta).
$$

在乘法約化處，若

$$
A(P)>0
$$

且

$$
B(P)>0,
$$

則

$$
n(P)
=
\min
\left(
B(P),
\frac N2
\right),
$$

且

$$
\boxed{
\lambda_q(P)
=
-\frac{
n(P)(N-n(P))
}{
N
}
\log q.
}
$$

若點具有非奇異整數約化，有限局部值為

$$
0.
$$

對無窮遠形式鄰域中的點，非整貢獻由以下量控制：

$$
\log\max\{1,|x(P)|_q\}.
$$

對非極小定理模型，在形成耦合差值前，施加精確判別式比修正。

---

# 2. 為何耦合由一個虧格-$2$ 座標控制

定理商的 $x$-座標為：

$$
\boxed{
x_1
=
a_6r^2
=
-M^2r^2,
}
$$

且

$$
\boxed{
x_2
=
a_0r^{-2}
=
\frac{
2L^2
}{
r^2
}.
}
$$

因此：

$$
\boxed{
v_q(x_1)
=
v_q(a_6)+2v_q(r),
}
$$

以及：

$$
\boxed{
v_q(x_2)
=
v_q(a_0)-2v_q(r).
}
$$

兩個商的 $y$-座標，來自同一個

$$
\mathcal Y.
$$

故 $E_1$ 與 $E_2$ 的分量群指標，以及 $r$ 的賦值，並不獨立。

這正是 R20 Minkowski 上界捨棄的資訊。

---

# 3. 精確 $q=2$ 幾何

在

$$
q=2,
$$

兩者

$$
M
$$

且

$$
L
$$

皆為奇數。

若

$$
v_2(r)>0,
$$

則

$$
v_2(2-r^2)=1,
$$

而第二因子為單位。

故：

$$
v_2(F(r))=1,
$$

此值為奇數。

因此，沒有 $\mathbb Q_2$ 點具有：

$$
v_2(r)>0.
$$

若

$$
v_2(r)<0,
$$

主導項為：

$$
-M^2r^6.
$$

其單位平方類為：

$$
[-1].
$$

由於：

$$
-1
$$

在以下體中不是平方：

$$
\mathbb Q_2,
$$

沒有這樣的局部點。

因此，每個局部點均滿足：

$$
\boxed{
v_2(r)=0.
}
$$

所以：

$$
\boxed{
r\in\mathbb Z_2^\times.
}
$$

---

# 4. 兩個 $2$-極小商模型

兩個定理商模型各自減少判別式賦值 $12$，透過一次 $u=2$ Weierstrass 變換。

對 $E_1$，使用：

$$
\boxed{
x_1=4X_1+3,
}
$$

$$
\boxed{
y_1=8Y_1+4X_1+4.
}
$$

所得極小廣義模型具有分裂約化：

$$
\boxed{
I_8.
}
$$

其廣義係數為：

$$
\boxed{
a_1=1,
}
$$

$$
\boxed{
a_2=903687890627,
}
$$

$$
\boxed{
a_3=1,
}
$$

$$
\boxed{
a_4=307408910222356795239259,
}
$$

$$
\boxed{
a_6=46651061590372478437769413454425049.
}
$$

對 $E_2$，使用：

$$
\boxed{
x_2=4X_2+2,
}
$$

$$
\boxed{
y_2=8Y_2+4X_2.
}
$$

所得極小模型具有分裂約化：

$$
\boxed{
I_{10}.
}
$$

其係數為：

$$
\boxed{
a_1=1,
}
$$

$$
\boxed{
a_2=-1360686198896,
}
$$

$$
\boxed{
a_3=0,
}
$$

$$
\boxed{
a_4=825967674442125495246416,
}
$$

$$
\boxed{
a_6=-188732914953705879117342557045695232.
}
$$

由於兩個定理模型的判別式偏移相等，非極小平移項在耦合差值中消去：

$$
-\lambda_2^{E_1}+\lambda_2^{E_2}.
$$

---

# 5. 完整 $2$-進剩餘類分層

方程

$$
\mathcal Y^2=F(r)
$$

對奇數

$$
r
$$

具有四個平方可解分層。

## 分層 A

$$
\boxed{
r\equiv\pm3\pmod8.
}
$$

則：

$$
v_2(F(r))=6.
$$

極小分量深度參數為：

$$
B_1=1,
\qquad
B_2=2.
$$

因此：

$$
\lambda_2^{E_1}
=
-\frac78\log2,
$$

$$
\lambda_2^{E_2}
=
-\frac85\log2.
$$

因此：

$$
\boxed{
w_2
=
-\frac{29}{40}\log2.
}
$$

## 分層 B

$$
\boxed{
r\equiv\pm7\pmod{16}.
}
$$

則：

$$
v_2(F(r))=8,
$$

以及：

$$
B_1=2,
\qquad
B_2=3.
$$

故：

$$
\boxed{
w_2
=
-\frac35\log2.
}
$$

## 分層 C

$$
\boxed{
r\equiv\pm15\pmod{32}.
}
$$

則：

$$
v_2(F(r))=10,
$$

以及：

$$
B_1=3,
\qquad
B_2=4.
$$

因此：

$$
\boxed{
w_2
=
-\frac{21}{40}\log2.
}
$$

## 分層 D

剩餘的平方分支為：

$$
\boxed{
r\equiv\pm1\pmod{256}.
}
$$

分量深度已飽和：

$$
n_1=4,
\qquad
n_2=5.
$$

因此：

$$
\boxed{
w_2
=
-\frac12\log2.
}
$$

中間殼層：

$$
r\equiv\pm31\pmod{64},
$$

$$
r\equiv\pm63\pmod{128},
$$

且

$$
r\equiv\pm127\pmod{256}
$$

不通過 $\mathbb Q_2$ 平方判準。

因此，四個值是完備的。

---

# 6. 精確 $\Omega_2^{\rm exact}$

因此：

$$
\boxed{
\Omega_2^{\rm exact}
=
\left\{
-\frac{29}{40},
-\frac35,
-\frac{21}{40},
-\frac12
\right\}\log2.
}
$$

定理層級上界具有 $41$ 個值。

精確耦合像只有：

$$
\boxed{
4.
}
$$

---

# 7. 素數 $q=3$

有：

$$
v_3(M)=2,
\qquad
v_3(L)=0.
$$

局部點只可能具有：

$$
\boxed{
v_3(r)=0
}
$$

或：

$$
\boxed{
v_3(r)=-1.
}
$$

對於：

$$
v_3(r)=0,
$$

耦合貢獻為：

$$
\boxed{
2\log3.
}
$$

對於：

$$
v_3(r)=-1,
$$

第二商位於非分裂 $I_4$ 纖維的非平凡有理分量中，耦合貢獻為：

$$
\boxed{
3\log3.
}
$$

對於：

$$
v_3(r)\le-2,
$$

主導單位平方類為 $[-1]$，在 $\mathbb Q_3$ 中非平方。

正賦值不可能，因為 $2$ 模 $3$ 非平方。

故：

$$
\boxed{
\Omega_3^{\rm exact}
=
\{2,3\}\log3.
}
$$

---

# 8. 素數 $q=5$

其中：

$$
v_5(M)=4,
\qquad
v_5(L)=0.
$$

有三種耦合情形。

若：

$$
v_5(r)=0,
$$

則：

$$
\boxed{
w_5=4\log5.
}
$$

若：

$$
v_5(r)=-1,
$$

則：

$$
\boxed{
w_5=\frac92\log5.
}
$$

對全部更深的負賦值分支：

$$
v_5(r)\le-2,
$$

包括接近無窮遠的局部分支：

$$
\boxed{
w_5=6\log5.
}
$$

正賦值不可能，因為 $2$ 模 $5$ 非平方。

因此：

$$
\boxed{
\Omega_5^{\rm exact}
=
\left\{
4,
\frac92,
6
\right\}\log5.
}
$$

---

# 9. 素數 $q=13$

賦值模式為：

$$
v_{13}(M)=2,
\qquad
v_{13}(L)=0.
$$

對單位 $r$：

$$
\boxed{
w_{13}=2\log13.
}
$$

對每個負賦值局部分支，包括無窮遠的局部點：

$$
\boxed{
w_{13}=3\log13.
}
$$

沒有正賦值點，因為 $2$ 模 $13$ 非平方。

因此：

$$
\boxed{
\Omega_{13}^{\rm exact}
=
\{2,3\}\log13.
}
$$

---

# 10. 素數 $q=7,29,37$

在這些素數的每一個處：

$$
a_0,
\qquad
a_6
$$

皆為單位。

兩個定理商模型皆為極小分裂：

$$
I_2.
$$

對遠離共同奇異分支的單位 $r$，兩個局部高度皆為零。

在共同奇異分支處，兩個商的分量深度相同：

$$
n_1=n_2=1.
$$

故：

$$
-\lambda_q^{E_1}
+
\lambda_q^{E_2}
=
0.
$$

對 $r$ 的正或負賦值，以下項：

$$
2\log|r|_q
$$

會消去唯一的非整商貢獻。

因此：

$$
\boxed{
\Omega_7^{\rm exact}
=
\Omega_{29}^{\rm exact}
=
\Omega_{37}^{\rm exact}
=
\{0\}.
}
$$

這三個壞素數，對精確全域有限目標沒有貢獻。

---

# 11. 素數 $q=73$ 與 $q=18521$

在兩個素數處：

$$
v_q(M)=0,
\qquad
v_q(L)=1.
$$

第一商具有分裂：

$$
I_4
$$

約化，而第二商具有分裂：

$$
I_8.
$$

兩個素數具有相同的局部賦值幾何。

有四個耦合值。

對正賦值／$r=0$ 分支：

$$
\boxed{
w_q=-2\log q.
}
$$

對負賦值／無窮遠分支：

$$
\boxed{
w_q=-\frac32\log q.
}
$$

對一般單位分支，也出現相同的值：

$$
\boxed{
w_q=-\frac32\log q.
}
$$

對共同奇異單位分支，令：

$$
b=v_q(\mathcal Y).
$$

若：

$$
b=1,
$$

則：

$$
n_1=1,
\qquad
n_2=3,
$$

因此：

$$
\boxed{
w_q=-\frac98\log q.
}
$$

若：

$$
b\ge2,
$$

則：

$$
n_1=2,
\qquad
n_2=4,
$$

因此：

$$
\boxed{
w_q=-\log q.
}
$$

因此，對兩個素數都有：

$$
\boxed{
\Omega_q^{\rm exact}
=
\left\{
-2,
-\frac32,
-\frac98,
-1
\right\}\log q.
}
$$

---

# 12. 精確局部像表

| $q$ | R20 粗大小 | R21 精確大小 | $\Omega_q^{\rm exact}/\log q$ |
|---:|---:|---:|---|
| $2$ | $41$ | $4$ | $\{-29/40,-3/5,-21/40,-1/2\}$ |
| $3$ | $8$ | $2$ | $\{2,3\}$ |
| $5$ | $29$ | $3$ | $\{4,9/2,6\}$ |
| $7$ | $3$ | $1$ | $\{0\}$ |
| $13$ | $12$ | $2$ | $\{2,3\}$ |
| $29$ | $3$ | $1$ | $\{0\}$ |
| $37$ | $3$ | $1$ | $\{0\}$ |
| $73$ | $24$ | $4$ | $\{-2,-3/2,-9/8,-1\}$ |
| $18521$ | $24$ | $4$ | $\{-2,-3/2,-9/8,-1\}$ |

局部精確基數的乘積為：

$$
4\cdot2\cdot3\cdot1\cdot2\cdot1\cdot1\cdot4\cdot4
=
\boxed{
768.
}
$$

因此，在 $11$-進碰撞之前，精確局部值的形式組合至多有 $768$ 個。

---

# 13. 模 $11^5$ 的精確 Iwasawa 對數

全域目標組裝所使用的壞素數對數為：

$$
\boxed{
\log_{11}(2)
\equiv
75086
\pmod{11^5},
}
$$

$$
\boxed{
\log_{11}(3)
\equiv
155243
\pmod{11^5},
}
$$

$$
\boxed{
\log_{11}(5)
\equiv
14685
\pmod{11^5},
}
$$

$$
\boxed{
\log_{11}(7)
\equiv
50798
\pmod{11^5},
}
$$

$$
\boxed{
\log_{11}(13)
\equiv
136136
\pmod{11^5},
}
$$

$$
\boxed{
\log_{11}(29)
\equiv
28468
\pmod{11^5},
}
$$

$$
\boxed{
\log_{11}(37)
\equiv
23826
\pmod{11^5},
}
$$

$$
\boxed{
\log_{11}(73)
\equiv
23980
\pmod{11^5},
}
$$

以及：

$$
\boxed{
\log_{11}(18521)
\equiv
50050
\pmod{11^5}.
}
$$

這些對數，已藉獨立整數乘積的乘法性作交叉檢查。

---

# 14. 全域精確目標

定義：

$$
\boxed{
\Omega^{\rm exact}
=
\left\{
\sum_q
\omega_q
:
\omega_q\in\Omega_q^{\rm exact}
\right\}.
}
$$

模：

$$
11^5,
$$

精確動態規劃加總的基數為：

$$
\boxed{
721.
}
$$

故只剩 $721$ 個，出自原先 $14641$ 個可能的 $11$ 倍數。

壓縮因子為：

$$
\boxed{
\frac{14641}{721}
\approx20.31.
}
$$

保留比例為：

$$
\boxed{
\frac{721}{14641}
\approx4.92\%.
}
$$

---

# 15. 逐步全域壓縮

模 $11^5$ 的不同剩餘類數量，依以下方式演變。

| 加入 $q$ 後 | 精確局部大小 | 全域剩餘類數量 |
|---:|---:|---:|
| $2$ | $4$ | $4$ |
| $3$ | $2$ | $8$ |
| $5$ | $3$ | $24$ |
| $7$ | $1$ | $24$ |
| $13$ | $2$ | $48$ |
| $29$ | $1$ | $48$ |
| $37$ | $1$ | $48$ |
| $73$ | $4$ | $192$ |
| $18521$ | $4$ | $\boxed{721}$ |

最後計數小於原始乘積 $768$，因為不同的精確局部組合，模 $11^5$ 時發生碰撞。

---

# 16. 正規化精確封包

每個精確全域值，均可被以下數值整除：

$$
11.
$$

定義：

$$
\boxed{
\overline\Omega
=
\frac{
\Omega^{\rm exact}
}{
11
}
\bmod11^4.
}
$$

則：

$$
\boxed{
|\overline\Omega|=721.
}
$$

此正規化封包，是下一階段原型圓盤根孤立的首選有限目標。

---

# 17. 機器校驗碼

將正規化剩餘值，寫成一個以逗號分隔、遞增的列表。

其 SHA-256 校驗碼為：

$$
\boxed{
\texttt{94bae376fa7d8876fa2b01b584c3c405590cef56255cf3c42c316ed741d5c65f}.
}
$$

這為未來局部執行，提供一個簡潔的機器驗證目標。

---

# 18. 全域極小模型審計進度

R20 指出，方便的歷史整數 $E_0$ 模型，在 $2$ 處不是全域極小。

R21 辨識出明確的 $2$-極小模型。

從下式出發：

$$
Y^2
=
X^3
-
2MX^2
+
L^2X,
$$

使用：

$$
\boxed{
X=4X'+1,
}
$$

$$
\boxed{
Y=8Y'+4X'.
}
$$

所得廣義 Weierstrass 係數為：

$$
\boxed{
a_1=1,
}
$$

$$
\boxed{
a_2=-475312,
}
$$

$$
\boxed{
a_3=0,
}
$$

$$
\boxed{
a_4=114249339412,
}
$$

$$
\boxed{
a_6=28562364560.
}
$$

其在 $2$ 處的判別式賦值為：

$$
\boxed{
8,
}
$$

與分裂 $I_8$ 纖維相符。

這是 R19 高度正規化審計所需的正確全域極小方向。

---

# 19. 定理 $E_2$ 在 $2$ 處的全域極小模型

定理 $E_2$ 模型，僅在 $2$ 處非極小。

一個極小化變換為：

$$
\boxed{
x=4X+2,
}
$$

$$
\boxed{
y=8Y+4X.
}
$$

所得廣義係數為：

$$
\boxed{
a_1=1,
}
$$

$$
\boxed{
a_2=-1360686198896,
}
$$

$$
\boxed{
a_3=0,
}
$$

$$
\boxed{
a_4=825967674442125495246416,
}
$$

$$
\boxed{
a_6=-188732914953705879117342557045695232.
}
$$

其在 $2$ 處的判別式賦值為：

$$
\boxed{
10,
}
$$

與分裂 $I_{10}$ 相符。

因此，兩個所需的 $2$-極小模型，現已明確。

---

# 20. 證明安全解讀

R21 精確耦合集合，獨立於暫定 R19 全域高度校準。

它們只使用：

- 正準虧格-$2$ 方程；
- 精確局部可解性；
- 精確商映射；
- 精確極小模型變換；
- 精確非阿基米德局部高度賦值公式。

因此，以下縮減：

$$
14641
\longrightarrow
721
$$

不受 R20 高度正規化更正影響。

高度校準與有限目標封包，在邏輯上是分開的層級。

---

# 21. 與一般雙橢圓定理的關係

一般明確雙橢圓二次 Chabauty 定理，構造以下集合：

$$
\Omega_q
$$

作為獨立上界。

R21 計算一個曲線特定細化：

$$
\boxed{
\Omega_q^{\rm exact}
\subseteq
\Omega_q
}
$$

保留兩個橢圓商點都來自同一局部虧格-$2$ 點的事實。

因此，R21 對此特定完美長方體曲線，強化一般定理，而不改變定理本身。

---

# 22. 下一個算術目標

在固定切片有理點定理之前，仍有兩項任務。

## 任務 A — 高度正規化審計

在第 18–19 節的明確全域極小模型上，重算 R19 全域高度常數。

這將把：

$$
\alpha_1,
\qquad
\alpha_2
$$

從暫定常數提升為認證常數。

## 任務 B — 原型圓盤根孤立

計算二次 Chabauty 級數：

$$
\widetilde\rho(1+11u)
$$

達充分精度。

只針對以下集合中的 $721$ 個目標類：

$$
\Omega^{\rm exact},
$$

求解：

$$
\boxed{
\widetilde\rho(1+11u)
=
\omega.
}
$$

使用 Newton 多邊形、Hensel 提升或 Strassmann 定理，認證以下集合中的根數：

$$
u\in\mathbb Z_{11}.
$$

---

# 23. 首選 R22 計畫

R22 應先閉合 R19 極小模型高度審計。

精確極小模型現已得知。

因此：

1. 在那些模型上，重建正準 $11$-進 sigma 函數；
2. 精確轉移 $Q$ 與定理 $E_2$ 秩一點；
3. 重算全域 $11$-進高度；
4. 重算 $\alpha_1,\alpha_2$；
5. 與暫定 R19 剩餘值比較；
6. 認證後，構造 $\widetilde\rho(u)$；
7. 將其像與精確 $721$ 類目標取交集。

---

# 24. R21 定理套件

## 定理 A — 精確 $2$-進耦合像

$$
\boxed{
\Omega_2^{\rm exact}
=
\left\{
-\frac{29}{40},
-\frac35,
-\frac{21}{40},
-\frac12
\right\}\log2.
}
$$

## 定理 B — 消失的壞素數貢獻

$$
\boxed{
\Omega_7^{\rm exact}
=
\Omega_{29}^{\rm exact}
=
\Omega_{37}^{\rm exact}
=
\{0\}.
}
$$

## 定理 C — 完整精確局部表

每個：

$$
\Omega_q^{\rm exact}
$$

對九個壞素數，都已明確確定。

## 定理 D — 全域精確有限目標大小

$$
\boxed{
|\Omega^{\rm exact}\bmod11^5|
=
721.
}
$$

## 定理 E — 耦合壓縮

R20 獨立局部組合中，超過 $95\%$，透過強制兩個橢圓像來自同一局部虧格-$2$ 點而排除。

---

# 25. R21 沒有證明什麼

R21 尚未計算二次 Chabauty 函數的最終零點集。

它沒有認證暫定 R19 高度常數。

它沒有證明原型剩餘圓盤只含邊界點。

它尚未證明，在以下固定切片上不存在非退化有理點：

$$
n=\frac7{32}
$$

如上式所示。

它提供上述最後步驟所需的精確有限局部目標。

---

# 26. 附錄 — 正規化精確目標剩餘值

以下是下列集合的 $721$ 個值：

$$
\overline\Omega
=
\Omega^{\rm exact}/11
\bmod11^4,
$$

以遞增順序列出。

```text
4, 8, 9, 23, 61, 71, 75, 88, 97, 107, 130, 192, 202, 211, 215, 221
225, 359, 369, 382, 383, 387, 396, 397, 409, 418, 428, 451, 482, 513, 520, 532
536, 537, 546, 603, 616, 623, 633, 718, 728, 753, 754, 764, 777, 787, 887, 897
915, 924, 925, 927, 937, 944, 1010, 1074, 1075, 1098, 1099, 1151, 1161, 1165, 1246, 1248
1250, 1256, 1260, 1282, 1292, 1305, 1315, 1332, 1449, 1455, 1459, 1465, 1472, 1486, 1544, 1571
1572, 1603, 1626, 1627, 1653, 1693, 1776, 1778, 1788, 1808, 1818, 1844, 1854, 1860, 1867, 1877
1939, 1949, 1958, 1962, 1968, 1972, 1977, 1987, 2014, 2072, 2099, 2100, 2165, 2181, 2188, 2336
2340, 2346, 2350, 2353, 2363, 2372, 2382, 2395, 2405, 2467, 2477, 2486, 2490, 2496, 2500, 2634
2661, 2662, 2674, 2693, 2716, 2717, 2811, 2831, 2868, 2878, 2881, 2891, 2895, 2898, 2908, 2993
3018, 3028, 3029, 3038, 3039, 3052, 3062, 3152, 3162, 3189, 3190, 3202, 3212, 3216, 3245, 3339
3359, 3423, 3426, 3430, 3436, 3440, 3521, 3525, 3535, 3557, 3566, 3567, 3580, 3590, 3597, 3607
3680, 3724, 3730, 3740, 3744, 3751, 3807, 3918, 3921, 3957, 3958, 3968, 4053, 4063, 4075, 4083
4119, 4125, 4128, 4129, 4135, 4142, 4152, 4214, 4233, 4237, 4242, 4252, 4278, 4279, 4335, 4396
4446, 4449, 4485, 4603, 4611, 4615, 4625, 4628, 4638, 4647, 4656, 4657, 4670, 4680, 4742, 4761
4765, 4770, 4775, 4806, 4897, 4924, 4982, 4992, 5011, 5096, 5106, 5143, 5153, 5156, 5160, 5165
5166, 5170, 5173, 5218, 5293, 5303, 5304, 5327, 5332, 5406, 5417, 5425, 5477, 5481, 5486, 5501
5510, 5520, 5539, 5624, 5634, 5638, 5688, 5693, 5698, 5701, 5705, 5715, 5727, 5746, 5800, 5822
5831, 5832, 5855, 5860, 5872, 5882, 5934, 5945, 5959, 6005, 6009, 6014, 6029, 6072, 6082, 6166
6186, 6196, 6222, 6232, 6233, 6243, 6255, 6328, 6340, 6350, 6393, 6394, 6400, 6410, 6417, 6487
6507, 6543, 6576, 6591, 6600, 6610, 6627, 6650, 6661, 6714, 6724, 6728, 6745, 6750, 6760, 6783
6868, 6878, 6890, 6903, 6912, 6921, 6922, 6945, 6948, 6971, 7035, 7040, 7049, 7066, 7071, 7104
7119, 7155, 7162, 7172, 7178, 7189, 7256, 7257, 7267, 7273, 7276, 7286, 7371, 7381, 7418, 7430
7431, 7435, 7440, 7445, 7476, 7483, 7499, 7568, 7577, 7594, 7597, 7671, 7681, 7690, 7700, 7751
7766, 7776, 7785, 7795, 7804, 7814, 7818, 7835, 7899, 7903, 7909, 7913, 7958, 7963, 7968, 7973
7980, 7992, 8002, 8011, 8087, 8125, 8139, 8147, 8156, 8199, 8209, 8213, 8224, 8279, 8294, 8304
8308, 8346, 8347, 8357, 8363, 8431, 8441, 8461, 8471, 8497, 8507, 8508, 8520, 8530, 8534, 8615
8625, 8629, 8667, 8675, 8684, 8741, 8752, 8836, 8841, 8856, 8866, 8875, 8885, 8892, 8902, 8915
8925, 8989, 8993, 8999, 9003, 9010, 9020, 9025, 9035, 9048, 9058, 9062, 9143, 9153, 9157, 9177
9213, 9236, 9246, 9314, 9331, 9369, 9370, 9384, 9394, 9398, 9420, 9430, 9437, 9443, 9447, 9453
9521, 9531, 9532, 9538, 9548, 9551, 9561, 9646, 9691, 9705, 9710, 9715, 9719, 9741, 9764, 9774
9842, 9859, 9898, 9926, 9946, 9956, 9965, 9975, 10041, 10051, 10060, 10079, 10083, 10089, 10093, 10100
10110, 10174, 10178, 10188, 10219, 10233, 10238, 10243, 10247, 10267, 10404, 10421, 10460, 10474, 10478, 10484
10488, 10569, 10573, 10579, 10583, 10611, 10621, 10622, 10628, 10638, 10706, 10716, 10736, 10772, 10781, 10795
10799, 10805, 10809, 10819, 10890, 10894, 10932, 10949, 10988, 11006, 11016, 11101, 11111, 11131, 11140, 11141
11150, 11167, 11177, 11190, 11200, 11264, 11268, 11278, 11285, 11295, 11300, 11309, 11323, 11327, 11333, 11337
11347, 11418, 11422, 11511, 11550, 11635, 11645, 11659, 11663, 11668, 11669, 11673, 11695, 11705, 11712, 11718
11728, 11796, 11806, 11813, 11823, 11826, 11871, 11909, 11945, 11956, 11980, 11984, 12039, 12040, 12059, 12063
12078, 12163, 12173, 12191, 12201, 12221, 12230, 12231, 12240, 12266, 12316, 12354, 12358, 12361, 12368, 12375
12380, 12384, 12385, 12399, 12437, 12453, 12473, 12484, 12508, 12512, 12568, 12587, 12591, 12725, 12735, 12749
12753, 12758, 12759, 12763, 12794, 12844, 12848, 12858, 12886, 12889, 12896, 12903, 12908, 12912, 12913, 12981
12999, 13046, 13070, 13074, 13084, 13094, 13130, 13153, 13253, 13263, 13281, 13291, 13303, 13320, 13376, 13386
13405, 13406, 13442, 13451, 13465, 13474, 13475, 13527, 13543, 13560, 13574, 13598, 13602, 13612, 13622, 13624
13626, 13658, 13681, 13815, 13825, 13831, 13848, 13910, 13920, 13933, 13934, 13938, 13947, 13948, 13970, 13979
13993, 14002, 14003, 14071, 14088, 14136, 14152, 14154, 14174, 14184, 14210, 14220, 14243, 14305, 14315, 14324
14328, 14334, 14338, 14343, 14353, 14438, 14448, 14466, 14475, 14476, 14495, 14496, 14531, 14541, 14564, 14626
14633
```

---

# 27. 最終結論

R20 顯示，一般的定理層級壞素數上界太粗，無法支持根孤立。

R21 解決此問題。

每個壞素數，現已以兩個商映射透過同一局部虧格-$2$ 點耦合而處理。

精確局部像，從以下數量收縮：

$$
41,8,29,3,12,3,3,24,24
$$

個可能值，至：

$$
\boxed{
4,2,3,1,2,1,1,4,4.
}
$$

全域有限二次 Chabauty 目標，從以下全體縮小：

$$
11\mathbb Z_{11}/11^5\mathbb Z_{11}
$$

至僅有：

$$
\boxed{
721
}
$$

個類。

因此，局部耦合瓶頸已閉合。

下一個證明安全步驟，已明確界定：

$$
\boxed{
\text{極小模型高度審計}
\longrightarrow
\widetilde\rho(u)
\longrightarrow
721\text{ 類根孤立}.
}
$$

這是 R22 的正準起點。