# GERES P8：G2 Fiber 的算術幾何與雙有理分析

**G2 Fiber Arithmetic Geometry and Birational Analysis**

版本：v0.1  
系列：GERES — Global Equivalence Reconstruction and Scaling  
階段：P8  
性質：Genus-1 Fiber／Elliptic Model／Exact Arithmetic Analysis  
主要 seed：G2  
Canonical source：UTF-8 Markdown

---

## 摘要

P7 在 bounded rational enumeration 中觀察到：

$$
r=\frac35
$$

與：

$$
s=\frac47
$$

兩條 G2 coordinate fibers 在 denominator bound：

$$
H\le500
$$

內都只有兩個 structural rational hits。

P8 顯示：這種 bounded sparsity **不是因為兩條 fiber 只有有限 rational points**。

兩條 fiber 都可以精確化成非奇異 genus-1 quartic，並雙有理轉換成 elliptic curves。G2 在兩條 elliptic curves 上都對應到非 torsion rational point，因此兩條 fiber 各自至少具有無限多 rational structural points。

固定：

$$
r=\frac35
$$

的 fiber 為：

$$
z^2
=
s^4+\frac{706}{225}s^2+1,
\qquad
z=2Cs,
$$

其 integral elliptic model：

$$
\boxed{
E_r:
Y^2
=
(X+706)(X^2-202500).
}
$$

G2 對應：

$$
\boxed{
P_r=(3390,215040).
}
$$

固定：

$$
s=\frac47
$$

的 fiber 為：

$$
z^2
=
r^4+\frac{2657}{784}r^2+1,
\qquad
z=2Cr,
$$

其 integral elliptic model：

$$
\boxed{
E_s:
Y^2
=
(X+2657)(X^2-2458624).
}
$$

G2 對應：

$$
\boxed{
P_s=(11032,1277640).
}
$$

兩條曲線的 rational torsion subgroup 都被 exact good-reduction checks 限定為 order $8$，並由顯式 torsion points實現：

$$
E_r(\mathbb Q)_{\mathrm{tors}}
\cong
\mathbb Z/2\mathbb Z
\times
\mathbb Z/4\mathbb Z,
$$

$$
E_s(\mathbb Q)_{\mathrm{tors}}
\cong
\mathbb Z/2\mathbb Z
\times
\mathbb Z/4\mathbb Z.
$$

G2 的兩個 points 都不屬於 torsion subgroup，所以：

$$
\operatorname{rank}E_r(\mathbb Q)\ge1,
$$

$$
\operatorname{rank}E_s(\mathbb Q)\ge1.
$$

因此：

$$
\boxed{
\text{兩條 G2 structural fibers 都具有無限多 rational points。}
}
$$

這一結果修正 P7 的直觀：fiber 看起來稀疏，主要是 **rational height 快速爆炸**，不是 rational points 有限。

但 P8 同時強調：無限多 structural rational points 完全不推出存在 Perfect Cuboid。最後的 open-face rational-square condition 是第二道獨立算術閘門。

---

# 1. General Fixed-Parameter Fiber

固定：

$$
\rho
=
\frac ab
\in\mathbb Q_{>0},
$$

其中：

$$
\gcd(a,b)=1.
$$

令另一個 world parameter 為：

$$
x.
$$

Structural body condition：

$$
C^2
=
H(\rho)^2+P(x)^2.
$$

其中：

$$
P(u)
=
\frac{1-u^2}{2u},
$$

$$
H(u)
=
\frac{1+u^2}{2u}.
$$

---

# 2. Quartic Form

乘上：

$$
4x^2,
$$

得到：

$$
(2Cx)^2
=
x^4
+
\left(
\rho^2+\rho^{-2}
\right)x^2
+
1.
$$

定義：

$$
z=2Cx,
$$

以及：

$$
A_\rho
=
\rho^2+\rho^{-2}.
$$

則：

$$
\boxed{
\mathcal Q_\rho:
z^2=x^4+A_\rho x^2+1.
}
$$

---

# 3. 為何是 Genus One

四次多項式：

$$
f(x)=x^4+A_\rho x^2+1
$$

的 discriminant：

$$
\operatorname{Disc}(f)
=
16(A_\rho-2)^2(A_\rho+2)^2.
$$

對：

$$
0<\rho<1,
$$

有：

$$
A_\rho>2.
$$

因此：

$$
\operatorname{Disc}(f)\neq0.
$$

所以 hyperelliptic curve：

$$
z^2=f(x)
$$

是 smooth genus-one quartic。

而：

$$
(x,z)=(0,1)
$$

是 rational point，所以它可被視為 elliptic curve。

---

# 4. General Birational Transformation

令：

$$
B
=
\frac{z+1}{x^2},
$$

$$
u=2B,
$$

$$
v=2x(B^2-1).
$$

則 exact 消去得到：

$$
\boxed{
v^2=(u+A_\rho)(u^2-4).
}
$$

---

# 5. Integral Model

若：

$$
\rho=\frac ab,
$$

定義：

$$
d=ab,
$$

$$
A_0=a^4+b^4.
$$

因為：

$$
A_\rho
=
\frac{A_0}{d^2},
$$

再令：

$$
X=d^2u,
$$

$$
Y=d^3v,
$$

得到 integral elliptic model：

$$
\boxed{
E_\rho:
Y^2
=
(X+A_0)(X^2-4d^4).
}
$$

亦即：

$$
Y^2
=
X^3
+
A_0X^2
-
4d^4X
-
4A_0d^4.
$$

---

# 6. Inverse Map

對非 exceptional point：

$$
X^2\neq4d^4,
$$

先取：

$$
u=\frac{X}{d^2},
$$

$$
v=\frac{Y}{d^3}.
$$

則：

$$
x
=
\frac{2v}{u^2-4}
=
\frac{2dY}{X^2-4d^4}.
$$

再令：

$$
z
=
\frac u2x^2-1,
$$

最後：

$$
C=\frac{z}{2x}.
$$

因此這不是單純 projection，而是有 exact inverse 的 birational chart，除去有限 exceptional points。

---

# 7. Built-In Rational $2$-Torsion

Integral model factorization：

$$
Y^2
=
(X+A_0)
(X-2d^2)
(X+2d^2).
$$

因此天然有三個 nonzero rational $2$-torsion points：

$$
(-A_0,0),
$$

$$
(2d^2,0),
$$

$$
(-2d^2,0).
$$

---

# 8. Built-In Rational $4$-Torsion

注意：

$$
2d^2+A_0
=
(a^2+b^2)^2,
$$

以及：

$$
2d^2-(-2d^2)
=
(2ab)^2.
$$

所以：

$$
(2d^2,0)
$$

可以在 $\mathbb Q$ 上被 halved。

令：

$$
R
=
2ab(a^2+b^2).
$$

則 order-$4$ points 包含：

$$
X_\pm
=
2d^2\pm R,
$$

以及：

$$
Y_+
=
\pm R(a+b)^2,
$$

$$
Y_-
=
\pm R(a-b)^2.
$$

所以 generic fiber 至少含：

$$
\mathbb Z/2\mathbb Z
\times
\mathbb Z/4\mathbb Z
$$

型 torsion。

---

# 9. Fixed $r=3/5$ Fiber

取：

$$
a=3,
\qquad
b=5.
$$

則：

$$
d=15,
$$

$$
A_0=3^4+5^4=706.
$$

quartic：

$$
\boxed{
z^2
=
s^4+\frac{706}{225}s^2+1.
}
$$

integral elliptic curve：

$$
\boxed{
E_r:
Y^2
=
(X+706)(X^2-202500).
}
$$

展開：

$$
Y^2
=
X^3
+
706X^2
-
202500X
-
142965000.
$$

---

# 10. Fixed-$r$ Discriminant

其 elliptic discriminant：

$$
\Delta_r
=
1135012384604160000.
$$

所以：

$$
E_r
$$

非奇異。

---

# 11. G2 在 $E_r$ 上的位置

G2：

$$
s=\frac47,
$$

$$
C=\frac{1073}{840}.
$$

經 P8 birational map：

$$
\boxed{
P_r
=
(3390,215040).
}
$$

P7 fixed-$r$ neighbor：

$$
s=\frac{11}{45},
$$

$$
C=\frac{221}{99}
$$

則映為：

$$
\boxed{
Q_r
=
(15750,2019600).
}
$$

兩者都 exact 位於：

$$
E_r(\mathbb Q).
$$

---

# 12. $E_r$ 的 Torsion

顯式 torsion points：

$$
\mathcal O,
$$

$$
(-706,0),
$$

$$
(-450,0),
$$

$$
(450,0),
$$

$$
(-570,\pm4080),
$$

$$
(1470,\pm65280).
$$

共：

$$
8
$$

點。

---

# 13. Good-Reduction Torsion Bound for $E_r$

選 good primes：

$$
p=7,
\qquad
p=11.
$$

exact point counting 給出：

$$
\#E_r(\mathbb F_7)=8,
$$

$$
\#E_r(\mathbb F_{11})=16.
$$

對 prime-to-$p$ rational torsion，good reduction injective。

任何 $7$-primary torsion 又會被 mod $11$ 排除；

任何 $11$-primary torsion會被 mod $7$ 排除。

其餘 torsion order 必須同時受：

$$
8
$$

與：

$$
16
$$

限制。

因此：

$$
|E_r(\mathbb Q)_{\mathrm{tors}}|
\mid8.
$$

又因前節已顯式找到 $8$ 點，所以：

$$
\boxed{
E_r(\mathbb Q)_{\mathrm{tors}}
\cong
\mathbb Z/2\mathbb Z
\times
\mathbb Z/4\mathbb Z.
}
$$

---

# 14. G2 Point $P_r$ 非 Torsion

因：

$$
P_r=(3390,215040)
$$

不在上述完整 torsion list 中，

所以：

$$
\boxed{
P_r
\text{ has infinite order.}
}
$$

因此：

$$
\boxed{
\operatorname{rank}E_r(\mathbb Q)\ge1.
}
$$

---

# 15. Fixed-$r$ Fiber 有無限多 Rational Structural Points

由：

$$
nP_r,
\qquad
n\in\mathbb Z
$$

可產生無限多 distinct rational elliptic points。

除去有限 exceptional points，經 inverse birational map得到無限多 rational：

$$
(s,C).
$$

因此：

$$
\boxed{
r=\frac35
\text{ 的 structural fiber有無限多 rational points。}
}
$$

這直接修正 P7 對 H500 稀疏性的可能誤讀。

---

# 16. Height Explosion

雖然 rational points 無限，

但 G2 cyclic orbit 的 denominator 很快上升。

$$
P_r
$$

本身：

$$
s=\frac47,
$$

$$
C=\frac{1073}{840}.
$$

而：

$$
2P_r
$$

inverse-map 成：

$$
s=
\frac{32175}{60088},
$$

$$
C=
\frac{5082931681}{3866662800}.
$$

所以第二個 cyclic point的 denominator 已遠超：

$$
H=500.
$$

這解釋為何 bounded enumeration看起來只有少量點。

---

# 17. $3P_r$ 的 Height

第三個 multiple甚至產生：

$$
s
=
\frac{1006111897}{40088532364}.
$$

其 body ratio denominator已達：

$$
1210006480340698035240.
$$

因此：

$$
\boxed{
\text{rational point infinity}
\neq
\text{low-height density}.
}
$$

---

# 18. Fixed $s=4/7$ Fiber

取：

$$
a=4,
\qquad
b=7.
$$

則：

$$
d=28,
$$

$$
A_0=4^4+7^4=2657.
$$

quartic：

$$
\boxed{
z^2
=
r^4+\frac{2657}{784}r^2+1.
}
$$

integral elliptic curve：

$$
\boxed{
E_s:
Y^2
=
(X+2657)(X^2-2458624).
}
$$

展開：

$$
Y^2
=
X^3
+
2657X^2
-
2458624X
-
6532563968.
$$

---

# 19. Fixed-$s$ Discriminant

$$
\Delta_s
=
3331050959834357760000.
$$

所以：

$$
E_s
$$

非奇異。

---

# 20. G2 在 $E_s$ 上的位置

G2：

$$
r=\frac35,
$$

$$
C=\frac{1073}{840}
$$

映為：

$$
\boxed{
P_s
=
(11032,1277640).
}
$$

P7 fixed-$s$ neighbor：

$$
r=\frac7{32},
$$

$$
C=\frac{1105}{448}
$$

映為：

$$
\boxed{
Q_s
=
(68128,18120960).
}
$$

---

# 21. $E_s$ 的 Torsion

顯式 torsion points：

$$
\mathcal O,
$$

$$
(-2657,0),
$$

$$
(-1568,0),
$$

$$
(1568,0),
$$

$$
(-2072,\pm32760),
$$

$$
(5208,\pm440440).
$$

共八點。

---

# 22. Good-Reduction Torsion Bound for $E_s$

取：

$$
p=17,
\qquad
p=19.
$$

exact point counts：

$$
\#E_s(\mathbb F_{17})=16,
$$

$$
\#E_s(\mathbb F_{19})=24.
$$

同樣利用 good reduction，

得到 rational torsion order 必須除：

$$
\gcd(16,24)=8
$$

並排除 $17$ / $19$ primary exceptions。

因此：

$$
\boxed{
E_s(\mathbb Q)_{\mathrm{tors}}
\cong
\mathbb Z/2\mathbb Z
\times
\mathbb Z/4\mathbb Z.
}
$$

---

# 23. G2 Point $P_s$ 非 Torsion

$$
P_s=(11032,1277640)
$$

不在完整 torsion list。

所以：

$$
\boxed{
P_s
\text{ has infinite order,}
}
$$

且：

$$
\boxed{
\operatorname{rank}E_s(\mathbb Q)\ge1.
}
$$

因此 fixed-$s$ structural fiber同樣有無限多 rational points。

---

# 24. Fixed-$s$ Height Explosion

$$
2P_s
$$

inverse-map 得：

$$
r=
\frac{7616}{16095},
$$

$$
C=
\frac{348415681}{245159040}.
$$

已經超出 P7 的：

$$
H=500
$$

枚舉。

第三個 multiple：

$$
r=
\frac{176270965}{1984731507},
$$

而 $C$ 的 denominator達：

$$
19591630128268478280.
$$

---

# 25. P7 的 Sparse-Fiber 結論因此要修改

P7 的 exact statement仍然正確：

> 在 $H\le500$ 的 finite enumeration 中只有兩個 structural hits。

但 P8 現在可以補上：

$$
\boxed{
\text{兩條 fiber globally 都有無限多 rational points。}
}
$$

所以「只看到兩點」本質上是：

$$
\boxed{
\text{height barrier},
}
$$

不是 rational-point finiteness。

---

# 26. 這回答了「只是用算的」的一部分問題

如果 rational point height按照 elliptic group multiples快速增長，

那麼單純按 denominator：

$$
1,2,3,\ldots,H
$$

掃描可能長時間看不到下一個 group-generated point。

但 elliptic group law：

$$
P\mapsto2P,3P,\ldots
$$

可以直接跳到那些巨大高度點。

因此：

$$
\boxed{
\text{arithmetic structure can replace part of ambient enumeration.}
}
$$

這是 P8 比單純「多算」更重要的計算意義。

---

# 27. 但這還不是 Perfect Cuboid

Structural fiber只保證：

- fixed face rational Pythagorean closure；
- moving face with $c$ rational Pythagorean closure；
- body diagonal rational。

Perfect Cuboid還要求：

$$
D^2
=
P(\rho)^2+P(x)^2
$$

本身是 rational square。

因此：

$$
\boxed{
\text{infinite structural rational points}
\not\Rightarrow
\text{one Perfect point exists}.
}
$$

---

# 28. 第二道 Elliptic Condition

固定：

$$
\rho
$$

後，open-face condition：

$$
D^2
=
P(\rho)^2+P(x)^2
$$

乘上：

$$
4x^2
$$

得到：

$$
(2Dx)^2
=
x^4
+
\left(
A_\rho-4
\right)x^2
+
1.
$$

所以最後 Perfect gate自身也是另一條 genus-one quartic：

$$
\boxed{
\mathcal Q_\rho^{\mathrm{open}}:
w^2
=
x^4+
(A_\rho-4)x^2+1.
}
$$

---

# 29. Twin-Elliptic Structure

因此 fixed-parameter Perfect Cuboid問題不是只有一條 elliptic curve。

它要求同一 rational parameter：

$$
x
$$

同時落在：

### Structural / Body Curve

$$
z^2=x^4+A_\rho x^2+1,
$$

以及：

### Open-Face Curve

$$
w^2=x^4+(A_\rho-4)x^2+1.
$$

也就是：

$$
\boxed{
\text{same }x
\text{ must pass two genus-one arithmetic gates.}
}
$$

---

# 30. G2 Fixed-$r$ Twin Curves

對：

$$
r=\frac35,
$$

structural curve：

$$
z^2
=
s^4+\frac{706}{225}s^2+1.
$$

open-face curve：

$$
\boxed{
w^2
=
s^4-\frac{194}{225}s^2+1.
}
$$

其 integral elliptic model可寫成：

$$
\boxed{
E_r^{\mathrm{open}}:
Y^2
=
(X-194)(X^2-202500).
}
$$

---

# 31. G2 Fixed-$s$ Twin Curves

對：

$$
s=\frac47,
$$

structural curve：

$$
z^2
=
r^4+\frac{2657}{784}r^2+1.
$$

open-face curve：

$$
\boxed{
w^2
=
r^4-\frac{479}{784}r^2+1.
}
$$

對應 integral elliptic model：

$$
\boxed{
E_s^{\mathrm{open}}:
Y^2
=
(X-479)(X^2-2458624).
}
$$

---

# 32. Perfect Point 是 Twin Curves 的共同參數點

因此 fixed-$r$ Perfect hit要求存在：

$$
s\in\mathbb Q
$$

使：

$$
s
$$

同時可 lift 到：

$$
E_r(\mathbb Q)
$$

與：

$$
E_r^{\mathrm{open}}(\mathbb Q).
$$

fixed-$s$ 同理。

這比單純在 structural elliptic curve上找更多 rational points困難得多。

---

# 33. Fiber Product View

可以把 Perfect fixed fiber理解成兩個 double covers在共同 parameter line上的 fiber product：

$$
\boxed{
\mathcal Q_\rho
\times_{\mathbb P^1_x}
\mathcal Q_\rho^{\mathrm{open}}.
}
$$

P9 應分析這個共同覆蓋的：

- genus；
- Jacobian；
- possible descent；
- local obstructions；
- rational points。

這可能才是「最後一 bit」真正的算術幾何物件。

---

# 34. G2 Cyclic Orbit Experiment

P8 對：

$$
nP_r,
\qquad
n=1,\ldots,8
$$

與：

$$
nP_s,
\qquad
n=1,\ldots,8
$$

全部 exact inverse-map 回 structural worlds。

兩條 cyclic orbit的前八個 points都沒有通過 Perfect gate：

$$
N_{\mathrm{perfect}}=0.
$$

這只是一個 finite subgroup-orbit experiment，不是 global no-hit。

---

# 35. Height Growth 是新的主要計算問題

P7 的 denominator enumeration是：

$$
H\le500.
$$

P8 顯示 elliptic group law可以直接生成 denominator：

$$
10^4,
10^9,
10^{18},
\ldots
$$

等級的 rational points。

因此未來 search complexity 不應只用：

$$
H
$$

衡量。

還應使用 canonical / logarithmic height：

$$
\hat h(P)
$$

或至少：

$$
h(X(P)).
$$

---

# 36. World-Model Interpretation

P7 的 world fiber現在有了更準確語義：

$$
\boxed{
\text{structural world fiber}
\cong
\text{elliptic arithmetic orbit space}
}
$$

在 birational 意義下。

world deformation不再只是：

$$
x\rightarrow x+\delta.
$$

可以直接使用 elliptic group operation：

$$
P,Q
\mapsto
P+Q.
$$

---

# 37. Elliptic Move 作為 Global World Move

給 elliptic point：

$$
P_E,
$$

先執行：

$$
P_E'
=
P_E+Q_E,
$$

再 inverse birational map：

$$
P_E'
\rightarrow
(x',C'),
$$

最後由 world generator同步重建：

- edge；
- face diagonal；
- body diagonal；
- closure state。

這是一種真正 arithmetic-aware 的 CPGD。

---

# 38. 這比 Decimal Gradient 更接近目標

decimal gradient只能知道：

$$
\Delta x.
$$

elliptic group law則保證 move之後仍停留在 exact rational structural fiber：

$$
S=0.
$$

所以：

$$
\boxed{
\text{group law move}
\gg
\text{floating local perturbation}
}
$$

在 exact-structure preservation 的意義下。

這不是速度結論，而是語義強度結論。

---

# 39. Neighbor Points 不必是 G2 的小倍數

P7 找到的低-height neighbor：

$$
Q_r,
Q_s
$$

不等於目前檢查的小倍數：

$$
nP_r,
nP_s
$$

中的簡單案例。

所以 structural fiber可能具有：

- 更高 rank；
- 其他 independent generators；
- G2 generator加 torsion以外的方向。

P8 尚未計算完整 Mordell-Weil rank或 basis。

---

# 40. Rank Claim Boundary

目前只安全證明：

$$
\operatorname{rank}E_r(\mathbb Q)\ge1,
$$

$$
\operatorname{rank}E_s(\mathbb Q)\ge1.
$$

不能宣稱：

$$
\operatorname{rank}=1.
$$

也不能宣稱 $P_r$ 或 $P_s$ 是 generator。

---

# 41. P8 Exact Artifacts

本 bundle包含：

- `p8_elliptic_fiber.py`
- `p8_elliptic_summary.json`
- `p8_fixed_r_g2_orbit_first8.csv`
- `p8_fixed_s_g2_orbit_first8.csv`

可以 exact replay：

- birational map；
- inverse map；
- elliptic equations；
- torsion points；
- finite-field point counts；
- G2 points；
- cyclic multiples；
- Perfect gate。

---

# 42. P8 核心結果

### P8-R1

兩條 G2 structural fibers都是 smooth genus-one quartics。

### P8-R2

它們雙有理於：

$$
E_r:
Y^2=(X+706)(X^2-202500),
$$

$$
E_s:
Y^2=(X+2657)(X^2-2458624).
$$

### P8-R3

G2 對應非 torsion points：

$$
P_r=(3390,215040),
$$

$$
P_s=(11032,1277640).
$$

### P8-R4

兩條曲線 torsion subgroup均為：

$$
\mathbb Z/2\mathbb Z
\times
\mathbb Z/4\mathbb Z.
$$

### P8-R5

因此：

$$
\operatorname{rank}E_r(\mathbb Q)\ge1,
$$

$$
\operatorname{rank}E_s(\mathbb Q)\ge1.
$$

### P8-R6

兩條 G2 structural fibers各自具有無限多 rational points。

### P8-R7

P7 的 bounded sparsity是 rational-height 現象，而非 rational-point finiteness。

### P8-R8

最後 Perfect closure形成第二個 genus-one arithmetic gate。

---

# 43. 這一輪最重要的認知變化

P7 時我們看到：

$$
H\le500
$$

只有兩點。

如果只用 brute-force 思維，很容易問：

> 那是不是這條路快沒點了？

P8 的答案反而是：

$$
\boxed{
\text{不是。點有無限多；只是它們很快跑到巨大 arithmetic height。}
}
$$

這正是「數量級問題」與「結構問題」第一次非常明確地分開。

---

# 44. 對 Perfect Cuboid 搜尋的直接意義

如果 future search仍只做：

$$
q\le H,
$$

它可能需要跨過巨大的空白 height range才能看到 elliptic orbit的下一點。

但如果已知 elliptic model，

可以直接：

$$
P\mapsto nP.
$$

因此：

$$
\boxed{
\text{不是把同一個 brute force 跑更久，}
\text{而是換掉生成候補的方法。}
}
$$

---

# 45. 但第二道 Gate 仍然可能非常硬

即使 structural fiber有無限多 rational points，

Perfect condition要求同一 parameter通過 twin elliptic gate。

所以最後問題可能從：

$$
\text{巨大整數枚舉}
$$

轉成：

$$
\boxed{
\text{rational points on a higher arithmetic fiber product。}
}
$$

這可能仍然很難，但它是更接近真正 obstruction 的低維物件。

---

# 46. Claim Boundary

P8 沒有宣稱：

- 找到 Perfect Cuboid；
- structural infinity implies Perfect existence；
- 完整 Mordell-Weil ranks已知；
- G2 points是 generators；
- twin elliptic fiber product已有 rational point classification；
- elliptic search一定比所有傳統方法快。

P8 已 exact 建立：

- genus-one fiber；
- birational elliptic models；
- torsion subgroup；
- G2 non-torsion；
- rank lower bound；
- infinite structural rational points；
- twin elliptic final-gate formulation。

---

# 47. 結論

P8 把 P7 的 bounded world fibers真正提升成 arithmetic geometry。

最重要的結論不是：

$$
\text{「又多找到一些 near-hits」。}
$$

而是：

$$
\boxed{
\text{G2 的兩條 structural fiber本身就是 positive-rank elliptic objects。}
}
$$

所以真正的搜尋方向不應再只是：

$$
H=500
\rightarrow
5000
\rightarrow
50000.
$$

而應改成：

$$
\boxed{
\text{elliptic group law}
\rightarrow
\text{exact structural worlds}
\rightarrow
\text{second arithmetic gate}.
}
$$

也就是世界模型所要求的：

$$
\boxed{
\text{先理解世界如何生成，再決定要算哪些點。}
}
$$

---

## 下一階段

**GERES P9 — Twin-Elliptic Perfect Gate and Fiber-Product Analysis**

優先分析：

固定：

$$
r=\frac35
$$

時：

$$
z^2
=
s^4+\frac{706}{225}s^2+1,
$$

以及：

$$
w^2
=
s^4-\frac{194}{225}s^2+1.
$$

固定：

$$
s=\frac47
$$

時：

$$
z^2
=
r^4+\frac{2657}{784}r^2+1,
$$

以及：

$$
w^2
=
r^4-\frac{479}{784}r^2+1.
$$

下一步應求：

- fiber-product genus；
- Jacobian decomposition；
- local solvability；
- rational-point obstructions；
- G2 elliptic orbit是否可能穿過第二 gate。

這才是最後一個 arithmetic bit：

$$
(0,1,1,1)
\rightarrow
(1,1,1,1)
$$

真正應該被研究的低維對象。