# 全域等價重建與縮放：從浮點幾何世界到算術代表元的世界模型方法論

**Global Equivalence Reconstruction and Scaling: A World-Model Methodology from Floating Geometry to Arithmetic Representatives**

版本：v0.1  
性質：方法論／命題／猜想論文  
研究狀態：Research Program / Proposition-Conjecture Stage  
主要 benchmark：Perfect Cuboid / Perfect Rectangular Box  
語言：繁體中文  
Canonical source：UTF-8 Markdown

---

## 摘要

本研究提出一條不同於傳統「直接在算術空間中搜尋整數解」的幾何－計算路線：先把候選幾何物件視為一個完整的有限世界，再研究作用於整個世界的全域等價變換、浮點世界的 exact arithmetic reconstruction，以及從計算程序反向抽取可證明數學命題的方法。

核心問題不是「如何把每一個浮點數各自四捨五入成整數」，而是：

> 給定一個由容器、中心、物件、距離、關係與約束共同構成的幾何世界，是否存在一個全域演算法，在保持世界等價類不變的條件下，將其數值表示重建為 exact arithmetic representative，並進一步取得 canonical integer representative？

Perfect Cuboid 被選為第一個 benchmark world，因為其幾何結構簡單、約束明確，但算術閉合極度嚴格。若此方法能在 Perfect Cuboid 或其近鄰浮點候補上形成可驗證的 exact reconstruction pipeline，則同一方法有機會推廣到三角形、多面體、distance geometry、rigid framework、lattice geometry 與其他有限受約束幾何世界。

本文不宣稱 Perfect Cuboid 已被證明存在，也不宣稱任何浮點候補必定對應 exact rational solution。本文的目標，是建立一個可計算、可反駁、可產生證書、並可由演算法轉譯為數學定理的全域研究框架。

---

# 1. 問題重述：從「數」轉向「世界」

傳統表述通常把幾何物件表示為一組數：

$$
L=(L_1,L_2,\ldots,L_n).
$$

但這種表示容易把原本耦合的幾何關係拆成局部變量，並誘發錯誤操作，例如：

$$
L_i\mapsto \operatorname{round}(\lambda L_i).
$$

這種逐項縮放與取整一般不保持原本的 exact constraint，因此不能被視為合法的世界等價變換。

本文改以有限幾何世界作為基本物件。定義

$$
W=
(\mathcal C,c,\mathcal O,\mathcal R,\mathcal M,\Phi),
$$

其中：

- $\mathcal C$ 為 container；
- $c$ 為選定中心或 gauge origin；
- $\mathcal O$ 為幾何物件集合；
- $\mathcal R$ 為 incidence、adjacency、dependency 等關係；
- $\mathcal M$ 為 metric / geometric attributes；
- $\Phi$ 為必須同時成立的 constraint system。

因此，數值不再是彼此獨立的量，而是同一世界狀態中的投影。

---

# 2. 全域等價縮放

## 2.1 中心式全域縮放

對任意 $\lambda>0$，定義以 $c$ 為中心的全域縮放：

$$
T_{\lambda,c}(x)
=
c+\lambda(x-c).
$$

若一個世界中的所有座標與幾何物件均由同一 $T_{\lambda,c}$ 作用，則一階長度滿足：

$$
L'
=
\lambda L.
$$

面積滿足：

$$
A'
=
\lambda^2A.
$$

體積滿足：

$$
V'
=
\lambda^3V.
$$

更一般地，若 quantity $q$ 的尺度權重為 $w(q)$，則：

$$
q'
=
\lambda^{w(q)}q.
$$

---

## 2.2 世界等價

定義兩個世界 $W$ 與 $W'$ 在縮放意義下等價，記為：

$$
W\sim_{\mathrm{scale}}W',
$$

若存在 $\lambda>0$ 與合法中心 $c$，使得 $W'$ 可由 $T_{\lambda,c}$ 作用於 $W$ 得到，且下列資料保持：

1. incidence structure；
2. topology / combinatorial structure；
3. orientation class，在問題需要時；
4. angle relations；
5. dimensionless ratios；
6. normalized constraint relations；
7. 所有由同次齊次 constraint 所定義的 exact relations。

因此，研究基本物件不再是單一數值表示 $W$，而是其 equivalence class：

$$
[W]
=
\{W':W'\sim_{\mathrm{scale}}W\}.
$$

---

# 3. 命題一：加權齊次約束的全域保持性

考慮 constraint：

$$
F(q_1,\ldots,q_n)=0.
$$

若 $F$ 的所有項在尺度作用下具有相同總權重 $d$，則：

$$
F(\lambda^{w_1}q_1,\ldots,\lambda^{w_n}q_n)
=
\lambda^dF(q_1,\ldots,q_n).
$$

因此若：

$$
F(q_1,\ldots,q_n)=0,
$$

則對任意 $\lambda\neq0$：

$$
F(\lambda^{w_1}q_1,\ldots,\lambda^{w_n}q_n)=0.
$$

### 命題 1：Global Weighted-Homogeneous Preservation Proposition

若有限幾何世界 $W$ 的 constraint system $\Phi$ 全部由與全域尺度作用相容的加權齊次等式組成，則任意合法 uniform global scaling 會保持 $\Phi$。

這一命題說明：合法縮放不是「重新近似」世界，而是把整個世界搬到同一 equivalence class 中的另一個代表元。

---

# 4. 命題二：有理世界存在整數代表元

假設一個有限世界的所有一階尺度，在某一基準長度 $L_0>0$ 下均具有有理比：

$$
\frac{L_i}{L_0}\in\mathbb Q.
$$

寫成：

$$
\frac{L_i}{L_0}
=
\frac{p_i}{q_i},
$$

其中：

$$
p_i\in\mathbb Z,
\qquad
q_i\in\mathbb Z_{>0}.
$$

令：

$$
Q
=
\operatorname{lcm}(q_1,\ldots,q_n),
$$

並取：

$$
\lambda
=
\frac{Q}{L_0}.
$$

則：

$$
\lambda L_i
=
Q\frac{p_i}{q_i}
\in\mathbb Z.
$$

### 命題 2：Finite Rational World Integral Representative Proposition

任何有限、具有共同尺度基準、且所有必要尺度比皆為有理數的幾何世界，其 scale-equivalence class 中存在 integral representative。

此命題非常重要，因為它把「找整數幾何物件」轉寫為：

> 先找 exact rational shape representative，再做一次合法的全域 denominator clearing。

---

# 5. 命題三：局部取整一般不保持世界等價

考慮：

$$
\widetilde L_i
=
\operatorname{round}(\lambda L_i).
$$

一般而言，不存在保證使：

$$
F(\widetilde L_1,\ldots,\widetilde L_n)=0
$$

由

$$
F(L_1,\ldots,L_n)=0
$$

推出。

因此：

### 命題 3：Independent Rounding Non-Equivalence Proposition

逐變量取整、逐邊 snap、局部 denominator fitting 或彼此獨立的 rational approximation，一般不構成合法 global world equivalence operation。

這表示未來軟體即使提供視覺上的「吸附」功能，也不得把 visual snapping 當成 exact arithmetic reconstruction。

---

# 6. 關鍵區分：縮放不能創造有理性

若：

$$
\frac{L_i}{L_j}\notin\mathbb Q,
$$

則對任意非零 $\lambda$：

$$
\frac{\lambda L_i}{\lambda L_j}
=
\frac{L_i}{L_j}
\notin\mathbb Q.
$$

因此 pure uniform scaling 無法把 genuinely irrational shape 轉成 rational shape。

這迫使整個研究程序拆成兩個不同問題：

## 6.1 Global Equivalence Reconstruction

$$
\mathrm{GER}:
\widetilde W
\longrightarrow
W^\ast.
$$

目標是判斷浮點世界 $\widetilde W$ 是否為某個 exact world $W^\ast$ 的有限精度投影，並在可證明條件下重建 $W^\ast$。

## 6.2 Global Equivalence Scaling

$$
\mathrm{GES}:
W^\ast
\longrightarrow
W_{\mathrm{can}}.
$$

目標是在已知 exact world 後，於其 equivalence class 中取得 canonical rational / integer representative。

整體研究程序寫成：

$$
\boxed{
\widetilde W
\rightarrow
\mathrm{Recover}(W^\ast)
\rightarrow
\mathrm{Canonicalize}(W^\ast)
\rightarrow
\mathrm{Scale}(W_{\mathbb Z})
\rightarrow
\mathrm{ExactVerify}
}
$$

本文暫稱完整框架為：

$$
\mathrm{GERES}
=
\mathrm{GER}
+
\mathrm{GES}.
$$

即 Global Equivalence Reconstruction and Scaling。

---

# 7. 世界級算術重建，而非單數值近似

傳統 rational approximation 可能分別做：

$$
x_i
\approx
\frac{p_i}{q_i}.
$$

但這不足以證明存在同一個 exact world。

GER 要求的是聯合重建：

$$
\widetilde W
\longrightarrow
W^\ast\in\mathcal V(\mathbb Q),
$$

其中 $\mathcal V$ 是由 constraint system 所定義的 algebraic / geometric locus。

對所有 constraints：

$$
F_k(W^\ast)=0
$$

必須 exact 成立，而不是只要求：

$$
|F_k(\widetilde W)|
\ll1.
$$

因此 reconstruction 的基本單位不是 coordinate，而是整個 constraint-coupled world。

---

# 8. 猜想一：有界高度下的全域 exact recovery

設：

$$
\mathcal V
\subseteq
\mathbb R^n
$$

由有理係數多項式約束定義。

假設存在：

$$
W^\ast\in\mathcal V(\mathbb Q),
$$

並給定 floating observation：

$$
\widetilde W
=
W^\ast+\varepsilon.
$$

再假設：

1. $W^\ast$ 在指定 admissible region 中為 isolated admissible rational solution；
2. rational height 有已知上界 $H$；
3. floating precision 足以區分該高度範圍內的 competing rational worlds；
4. constraint system 與 gauge fixing 足以排除純尺度退化與其他已知 symmetry degeneracy。

### 猜想 1：Bounded-Height Global Arithmetic Recovery Conjecture

存在一個 finite algorithm，使其在上述條件成立時，可以由 $(\widetilde W,\Phi,H)$ 唯一恢復 $W^\ast$，並輸出可獨立驗證的 exact certificate。

這個猜想不是說任意近似點都能被恢復成有理解；它只針對「確實存在有界複雜度 exact rational source world」的情況。

---

# 9. 猜想二：約束耦合重建優於逐座標重建

定義逐座標 reconstruction：

$$
\mathcal R_{\mathrm{local}}
=
\prod_i\mathcal R_i.
$$

定義 joint world reconstruction：

$$
\mathcal R_{\mathrm{global}}
:
(\widetilde W,\Phi)
\mapsto
W^\ast.
$$

### 猜想 2：Constraint-Coupled Reconstruction Conjecture

在相同 precision 與 arithmetic height budget 下，利用全域 constraint graph 的 joint reconstruction，可以排除大量逐座標 approximation 所留下的假候選，並在存在唯一 exact source world 時降低 reconstruction ambiguity。

這一猜想的計算版本可以直接以 benchmark 驗證：

$$
N_{\mathrm{local\ candidates}}
\gg
N_{\mathrm{globally\ admissible\ candidates}}.
$$

---

# 10. 猜想三：Canonical Gauge 可降低算術搜索維度

若世界具有純尺度自由度，則直接在：

$$
(L_1,\ldots,L_n)
$$

上搜尋包含冗餘的一維 orbit。

選定一個合法 gauge，例如：

$$
L_0=1,
$$

並定義：

$$
x_i
=
\frac{L_i}{L_0},
$$

則搜索轉入 shape space。

### 猜想 3：Gauge-Reduced Arithmetic Search Conjecture

對具有 uniform scale symmetry 的有限受約束幾何世界，先 quotient 掉 scale degree of freedom，再執行 arithmetic reconstruction，會得到更低維、更穩定、且更容易建立唯一性證書的 exact search problem。

---

# 11. Perfect Cuboid 作為第一個 benchmark world

設長方體三邊為：

$$
a,b,c>0.
$$

三個 face diagonals 為：

$$
d_{ab},
\qquad
d_{ac},
\qquad
d_{bc},
$$

space diagonal 為：

$$
g.
$$

constraints 為：

$$
a^2+b^2=d_{ab}^2,
$$

$$
a^2+c^2=d_{ac}^2,
$$

$$
b^2+c^2=d_{bc}^2,
$$

$$
a^2+b^2+c^2=g^2.
$$

使用：

$$
g=1
$$

作為 gauge，定義：

$$
x=\frac{a}{g},
\qquad
y=\frac{b}{g},
\qquad
z=\frac{c}{g},
$$

以及：

$$
u=\frac{d_{ab}}{g},
\qquad
v=\frac{d_{ac}}{g},
\qquad
w=\frac{d_{bc}}{g}.
$$

則 normalized world 滿足：

$$
x^2+y^2-u^2=0,
$$

$$
x^2+z^2-v^2=0,
$$

$$
y^2+z^2-w^2=0,
$$

$$
x^2+y^2+z^2-1=0.
$$

因此 Perfect Cuboid 的 arithmetic existence problem 可改寫為：

> 是否存在正的 rational point
>
> $$
> (x,y,z,u,v,w)\in\mathbb Q_{>0}^6
> $$
>
> 同時滿足上述全部 constraints？

若答案為是，命題 2 立即給出某個 integral representative。

因此：

$$
\boxed{
\text{Perfect Cuboid integral existence}
}
$$

可以在此框架下先轉換為：

$$
\boxed{
\text{normalized rational world existence}
}
$$

再執行全域 denominator clearing。

---

# 12. 浮點候補的新角色

已有 floating candidates 不再被理解為「差一點就是整數」的邊長組，而應被理解為：

$$
\widetilde W
\in
\mathbb R^n
$$

中的觀測狀態。

核心問題改為：

> $\widetilde W$ 是否位於某個 $W^\ast\in\mathcal V(\mathbb Q)$ 的可恢復數值鄰域？

因此可以構造 search functional：

$$
J(W)
=
\alpha
\left\|
W-\widetilde W
\right\|^2
+
\beta
\sum_k
\left|
F_k(W)
\right|^2
+
\gamma
\log H(W),
$$

其中：

- 第一項限制與觀測 candidate 的距離；
- 第二項限制 constraint residual；
- 第三項抑制 arithmetic complexity。

但最終 accept condition 不能是 $J(W)$ 很小，而必須是：

$$
W\in\mathcal V(\mathbb Q)
$$

且所有 exact verification 完成。

---

# 13. GERES 原型演算法綱領

## Phase A：World Ingestion

輸入：

$$
\widetilde W,
\qquad
\Phi,
\qquad
\mathcal R.
$$

將 candidate 轉成 world graph，而不是 flat vector。

## Phase B：Canonical Gauge Fixing

消去 uniform scale degree of freedom，例如：

$$
g=1.
$$

必要時同步固定 orientation、ordering 或 symmetry convention。

## Phase C：Precision Elevation

禁止直接信任 binary floating representation。

應使用：

- arbitrary precision arithmetic；
- interval arithmetic；
- exact residual tracking；
- 多 precision consistency test。

## Phase D：Local Arithmetic Proposal

可使用：

- continued fractions；
- rational reconstruction；
- lattice reduction；
- integer relation detection；
- denominator pattern mining。

但此階段只產生 proposals，不產生 theorem。

## Phase E：Global Constraint Coupling

把 proposal 送回整個 constraint graph，聯合求解：

$$
F_k(W)=0.
$$

任何只在局部成立但無法通過 global closure 的 proposal 立即淘汰。

## Phase F：Exact Reconstruction

候選必須被轉換為 exact arithmetic objects：

$$
W^\ast\in\mathbb Q^n
$$

或更一般的指定 arithmetic domain。

## Phase G：Exact Certificate

輸出：

1. exact coordinates；
2. exact constraints；
3. denominator data；
4. symmetry / gauge data；
5. transformation trace；
6. verification hash 或 machine-checkable proof object。

## Phase H：Global Scaling

取所有必要 denominators 的共同尺度：

$$
Q
=
\operatorname{lcm}(q_1,\ldots,q_n).
$$

得到：

$$
W_{\mathbb Z}
=
QW^\ast.
$$

## Phase I：Primitive Canonicalization

若所有 integer quantities 具有共同因子 $G$，則：

$$
W_{\mathrm{primitive}}
=
\frac{1}{G}W_{\mathbb Z}.
$$

## Phase J：World Re-Simulation

將 exact representative 再投影回 virtual world，比較：

- topology；
- incidence；
- angle；
- ratios；
- metric constraints；
- world graph；
- normalized shape。

此步是世界層級的 regression test。

---

# 14. 猜想四：幾何類別間的 transfer principle

Perfect Cuboid 不應成為方法的終點。

考慮一族世界：

$$
\mathfrak W
=
\{W_\theta\}.
$$

只要其 constraints：

1. 可由有限 relation graph 表示；
2. arithmetic domain 可明確指定；
3. transformation law 已知；
4. scale symmetry 可 quotient；
5. exact verification 可計算；

則 GERES 理論上可以套用。

### 猜想 4：World-Class Transfer Conjecture

若兩類有限幾何世界共享相同的 transformation grammar、arithmetic reconstruction interface 與 constraint-preserving certificate structure，則在其中一類世界形成的 GERES 演算法，可以經有限 adaptation transfer 到另一類世界，而不需要重新發明整個 reconstruction paradigm。

候選推廣對象包括：

- rational triangles；
- Heronian geometry；
- tetrahedral distance systems；
- rational polyhedra；
- rigid frameworks；
- lattice embeddings；
- finite distance geometry；
- constrained coordinate worlds。

---

# 15. 猜想五：計算程序可反向編譯成數學證明

GERES 的最終目標不是保留黑箱 heuristic。

對每一個成功的 reconstruction，要求保留：

$$
\mathcal T
=
(T_1,T_2,\ldots,T_m),
$$

其中每個 $T_i$ 都是可描述的 exact transformation / inference step。

### 猜想 5：Algorithm-to-Theorem Compilation Conjecture

若一個全域等價重建演算法可被分解為有限個：

- exact algebraic transformations；
- certified inequality bounds；
- finite rational reconstruction steps；
- constraint-preserving equivalence transformations；

則其成功案例的 computation trace 可以被編譯為 machine-checkable certificate；而在額外抽象化後，部分 trace family 可以提升為一般數學命題或定理。

這建立：

$$
\boxed{
\text{virtual experiment}
\rightarrow
\text{algorithm}
\rightarrow
\text{certificate}
\rightarrow
\text{mathematical theorem}
}
$$

的研究路線。

---

# 16. 可視化軟體：World-Equivalent Scaling Lab

本系列後續應建立一個可視化實驗器。暫稱：

**World-Equivalent Scaling Lab，WESL**

第一版不需要追求大型軟體，而應提供六個核心層：

## 16.1 Container / Center Layer

顯示：

- container；
- center；
- gauge origin；
- global scale orbit。

## 16.2 Geometry Layer

顯示：

- vertices；
- edges；
- faces；
- diagonals；
- dependent metric objects。

## 16.3 Constraint Graph

把：

$$
F_1,\ldots,F_m
$$

視覺化為耦合 network。

## 16.4 Dual Representation

同時顯示：

$$
\text{floating projection}
$$

與：

$$
\text{exact candidate representation}.
$$

## 16.5 Global Scale Control

拖動 $\lambda$ 時，禁止局部物件獨立變化，而必須由：

$$
T_{\lambda,c}
$$

作用整個 world。

## 16.6 Arithmetic Closure Monitor

每一個 arithmetic channel 必須標示：

- floating only；
- rational candidate；
- exact rational；
- exact integer after scaling；
- failed closure。

特別禁止把 visual closeness 標示成 exact closure。

---

# 17. 可直接改造既有可視化系統

若已有 Perfect Cuboid / X-Diagonal / center-container sandbox，後續不需要完全重寫。

改版方向應是：

$$
\text{geometry visualizer}
\rightarrow
\text{world-equivalence laboratory}.
$$

核心新增不是更漂亮的 3D，而是：

1. transformation ledger；
2. constraint graph；
3. arithmetic state；
4. normalized world state；
5. exact certificate panel；
6. scale-orbit visualization。

因此軟體的角色不是「展示一個長方體」，而是讓研究者直接觀察：

> 哪些量正在一起變、哪些不變量必須保持、哪一個 arithmetic channel 尚未 closure，以及候選 exact world 是否真的與 floating world 屬於同一個可驗證來源。

---

# 18. 反駁條件

一個方法論若不可反駁，就不能成為可靠研究計畫。

GERES 至少具有以下明確 failure conditions。

## Failure A：不存在 exact source world

若 floating candidate 的鄰域內不存在任何符合高度與 admissibility bound 的：

$$
W^\ast\in\mathcal V(\mathbb Q),
$$

則 recovery 必須返回：

$$
\mathrm{NO\ CERTIFIED\ RECOVERY}.
$$

## Failure B：多個 exact worlds 無法區分

若 precision 不足以區分兩個或多個 admissible exact worlds，則輸出必須是 ambiguity，而不是任選一個。

## Failure C：局部 rational reconstruction 無法 global closure

任何一組局部有理近似，只要：

$$
F_k(W^\ast)\neq0
$$

對至少一個 $k$ 成立，就必須淘汰。

## Failure D：縮放只改善視覺而未改善算術

若 scale operation 只是讓 decimal pattern 看起來更接近整數，但 ratios 仍 irrational 或 exact constraints 未成立，則不得宣稱 arithmetic progress。

## Failure E：演算法只能對單一手工案例有效

若不能對 synthetic controls、known rational worlds、perturbed worlds、negative controls 重現，則不能提升成一般方法論。

---

# 19. 實驗控制組

正式 Perfect Cuboid candidate 之前，建議先建立四類 benchmark。

## Control 1：Known Exact Rational World

先生成 exact rational geometry，再投影成 float：

$$
W^\ast
\rightarrow
\widetilde W.
$$

測試 GER 是否能恢復原始 $W^\ast$。

## Control 2：Known Irrational World

使用明確 irrational ratio 的幾何物件。

驗證系統不會因為 scaling 而虛構 rational closure。

## Control 3：Near-Rational False Positive

建立極接近低高度 rational point、但實際不在 constraint variety 上的 floating world。

測試 global constraint gate。

## Control 4：Multiple-Solution Ambiguity

故意建立 precision 不足以區分兩個 arithmetic worlds 的案例。

測試系統是否正確輸出 ambiguous。

只有通過這四類控制組，Perfect Cuboid 的實驗結果才具有方法論意義。

---

# 20. 從 Perfect Cuboid 到一般幾何的完成條件

本系列真正的完成，不應只定義為「找到一組數」。

至少分成五個層級：

## Level 1：World Representation

完成世界、中心、容器、關係、constraint 與 equivalence class 的 formal representation。

## Level 2：Verified Global Scaling

完成不破壞世界關係的 scale engine。

## Level 3：Certified Exact Reconstruction

能由人工生成的浮點投影恢復 known exact world。

## Level 4：Perfect Cuboid Benchmark

對既有 floating candidate pool 執行 reconstruction，並得到明確的：

- certified exact recovery；
- certified rejection；
- certified ambiguity；

三者之一。

## Level 5：Cross-Geometry Transfer

同一套 arithmetic world methodology 可合法作用於至少數類不同有限幾何系統。

達到 Level 5 後，才可以合理說：

> 我們完成的不是一個 Perfect Cuboid 技巧，而是一個一般化的全域等價算術重建方法論。

---

# 21. 第一階段研究路線

建議系列依以下順序展開。

### P0：本文

Global Equivalence Reconstruction and Scaling 方法論、命題與猜想。

### P1：Formal World Semantics

形式定義：

$$
W,
\qquad
[W],
\qquad
T_{\lambda,c},
\qquad
\Phi,
\qquad
\mathcal R.
$$

### P2：Global Scale Engine

建立可視化與計算雙版本。

### P3：Synthetic Rational Recovery

先用已知 exact rational worlds 測試。

### P4：Irrational / False-Positive Gate

驗證方法不會把 irrational geometry 強行「整數化」。

### P5：Perfect Cuboid World Encoding

把 Perfect Cuboid 的完整 geometry / arithmetic constraint graph 正式編碼。

### P6：Floating Candidate Reconstruction

輸入既有 floating candidate pool。

### P7：Certificate Compiler

將 successful reconstruction trace 輸出成 exact proof object。

### P8：Theorem Extraction

把程序中穩定成立的 transformation principles 轉成數學命題。

### P9：Cross-Geometry Transfer

測試 triangles、polyhedra、distance geometry 等。

### P10：General Global Arithmetic Equivalence Theory

再決定是否形成更一般的理論名稱與正式公理系統。

---

# 22. 與傳統 Perfect Cuboid 路線的關係

本方法不要求放棄傳統數論、代數幾何、橢圓曲線、Pythagorean parametrization 或 exhaustive search。

兩條線可以保持相對獨立：

$$
\text{Traditional Arithmetic Branch}
$$

以及：

$$
\text{World Reconstruction Branch}.
$$

之後再於 exact certificate 層會合。

這具有一個方法學優點：

若兩條彼此不同的研究路線最後得到同一 arithmetic obstruction、同一 rational family、同一 invariant 或同一 impossibility condition，該交會本身就是強證據。

反之，若兩條線產生矛盾，也能更快速暴露隱藏假設。

---

# 23. 目前最重要的概念轉換

本文最核心的命題不是：

> 把浮點數放大到看起來像整數。

而是：

> 先定義何謂同一個世界，再研究其 equivalence class 中是否存在 exact arithmetic representative。

因此基本研究對象是：

$$
[W],
$$

不是：

$$
(L_1,\ldots,L_n)
$$

的任意數值表。

更完整地說：

$$
\boxed{
\text{Geometry}
\rightarrow
\text{World}
\rightarrow
\text{Equivalence Class}
\rightarrow
\text{Arithmetic Reconstruction}
\rightarrow
\text{Canonical Representative}
}
$$

---

# 24. 結論

GERES 提出一個計算機方法論導向的幾何研究綱領：

1. 不把耦合幾何拆成獨立浮點數；
2. 先建立完整 world model；
3. 以全域 transformation 保持等價結構；
4. quotient 掉純尺度自由度；
5. 對整個 constraint-coupled world 執行 arithmetic reconstruction；
6. 只接受 exact certificate；
7. 再以合法 global scaling 取得 integer representative；
8. 將演算法 trace 反向抽象為可證明的數學命題；
9. 最後跨不同幾何世界測試 transferability。

對 Perfect Cuboid 而言，此框架不預設任何浮點候補必然成功。它真正提供的是一個新的研究問題：

$$
\boxed{
\text{某個浮點幾何世界，是否是某個 exact rational world 的可恢復投影？}
}
$$

如果答案為否，系統應該證明式地拒絕。

如果答案為是，則下一步不是視覺上的「喀一聲對齊」，而是產生：

$$
\boxed{
\text{exact world}
+
\text{global equivalence map}
+
\text{arithmetic certificate}
}
$$

再把這一整條計算路徑編譯回數學。

這才是本系列所稱的：

**全域等價重建與縮放。**

---

## Theorem Status / Claim Boundary

截至本版本：

- 尚未證明 Perfect Cuboid 存在；
- 尚未證明任何目前浮點候補對應 exact Perfect Cuboid；
- 已建立 global scaling preservation 的基本數學框架；
- 已建立 rational world 到 integral representative 的基本命題；
- 已明確區分 scaling 與 arithmetic reconstruction；
- 已提出 bounded-height global recovery、constraint-coupled reconstruction、gauge reduction、cross-geometry transfer 與 algorithm-to-theorem compilation 五項研究猜想；
- 後續必須以 synthetic controls、negative controls 與 exact certificates 驗證。

---

## Canonical Research Formula

$$
\boxed{
\widetilde W
\overset{\mathrm{GER}}{\longrightarrow}
W^\ast
\overset{\mathrm{GES}}{\longrightarrow}
W_{\mathrm{can}}
\overset{\mathrm{Verify}}{\longrightarrow}
\mathcal C
\overset{\mathrm{Compile}}{\longrightarrow}
\text{Mathematical Theorem}
}
$$

其中 $\mathcal C$ 為 machine-checkable certificate。

這條鏈條是本系列後續所有實作、可視化、Perfect Cuboid 實驗與一般化工作的共同主幹。