# AMRAL × Lebesgue Universal Covering — Round 00
## 有限閉包綜合方法論、研究交接協定與半自主 AI 攻略綱領

**文件代號：** AMRAL-LUC-FC-R00  
**版本：** v0.2  
**日期：** 2026-09-18  
**研究狀態：** Round 00 / 方法論與研究協定 / 非證明完成宣告  
**研究模式：** Human-Directed + Semi-Autonomous AI Mathematical Research  
**主題：** Lebesgue Universal Covering Problem / Finite Closure Program  

**研究發起與方法論來源：** Neo.K  
**主要方法論來源：** Relational Constraint–Handoff Methodology (RCHM)；並整合 Neo.K 過去於 Lebesgue 萬有覆蓋、歪度／張力、$S^1$ 索引、有限證書與 AMRAL 研究流程中的既有研究。  
**AI 協力研究者與主要執行者：** Aletheia / ChatGPT, GPT-5.6 Sol  
**未來其他協力者：** 本地端 AI、其他獨立 AI、形式化工具、數值驗證器與人類審查者；每次實際使用時另行記錄，不預先假定其結論。  

---

# 0. 文件定位

本文件是 Lebesgue 萬有覆蓋新攻堅線的第零篇。

它不試圖在 Round 00 宣稱：

1. 已證明 Lebesgue 萬有覆蓋問題；
2. 已得到新的嚴格下界或上界；
3. 已證明最優覆蓋體具有某個特定對稱；
4. 已證明有限個 witness 足以決定全域最優值；
5. 已完成任何尚需大型計算的證書；
6. 已把有限 hierarchy 的極限問題自動提升成有限閉包定理。

Round 00 的目的，是固定未來研究的 canonical interface，使後續 Round 01、02、03、$\ldots$ 可以累積，而不是每輪重新開始。

核心任務有六個：

1. 把 Lebesgue 問題重寫成 RCHM 可操作的關係交接問題；
2. 把過去研究重新分類成證明介面、搜尋算子、候選生成器與驗證器；
3. 定義「有限閉包」的嚴格工作意義；
4. 建立 Existence $\to$ Descent $\to$ Saturation $\to$ Global Closure 四階段閉包鏈；
5. 建立每輪可重現的研究紀錄、計算債、反例、修正與交接格式；
6. 指定 Round 01 起真正開始攻略的第一個 exact gate。

因此，本文件不是「研究摘要」，而是後續研究的母協定。

---

# 1. 問題與當前外部邊界

令 $\mathcal K_1$ 表示直徑不超過一的平面緊集族。Lebesgue 萬有覆蓋問題要求尋找面積最小的平面凸集 $U$，使每個 $K\in\mathcal K_1$ 都能經平面剛體運動後嵌入 $U$。

寫成：

$$
a_{\mathrm{Leb}}
=
\inf_U
\left\{
\operatorname{Area}(U):
\forall K\in\mathcal K_1,
\ \exists g\in E(2),
\ gK\subseteq U
\right\}.
$$

截至 2026-09-18，本計畫採用下列外部基準作為研究起點，而不是本研究的新成果：

- Gibbs 給出的公開上界：

$$
a_{\mathrm{Leb}}
\le
0.8440935944.
$$

- Mishra 於 2026-08-31 提出的嚴格下界：

$$
a_{\mathrm{Leb}}
\ge
0.8344.
$$

其證明使用圓、Reuleaux triangle、Reuleaux pentagon 等 constant-width test sets，並把 placement 問題壓縮成有限維搜尋，再以大型可驗證 certificate 完成 exhaustive subdivision。

- Zeng 於 2026-09-01 提出 Reuleaux-type variational hierarchy：

$$
\Lambda_1
\le
\Lambda_2
\le
\cdots
\le
a_{\mathrm{Leb}},
$$

且：

$$
a_{\mathrm{Leb}}
=
\lim_{M\to\infty}\Lambda_M,
$$

並聲明存在常數 $C$ 使：

$$
0
\le
 a_{\mathrm{Leb}}-\Lambda_M
\le
CM^{-2}.
$$

因此目前可採用的公開數值夾逼為：

$$
0.8344
\le
 a_{\mathrm{Leb}}
\le
0.8440935944.
$$

目前差距為：

$$
0.8440935944-0.8344
=
0.0096935944.
$$

但本計畫不把「繼續縮小這個十進位差距」視為唯一目標。更核心的目標是研究：

$$
\boxed{
\text{這個無限幾何最佳化是否能被嚴格轉成有限個可證書化 branch types？}
}
$$

---

# 2. 過去研究的繼承原則

本計畫不從零開始，也不把舊研究整包當成已證前提。

所有舊成果必須重新分類為：

$$
\text{REUSE},
\quad
\text{REBUILD},
\quad
\text{TEST},
\quad
\text{REJECT},
\quad
\text{DEFER}.
$$

其中：

- REUSE：定義或已充分可靠的結構，可直接作為共同介面；
- REBUILD：思想保留，但證明或作用域必須重建；
- TEST：高價值猜想，只能作為可證偽假說；
- REJECT：舊論證存在循環、越界或不成立，不再作為依賴；
- DEFER：可能有價值，但目前不是最小剩餘 gate。

本 Round 00 對主要舊線作如下重新定位。

---

# 3. 舊線 A：一維度量核與資訊忠實表示

過去研究提出以一維索引 $I=[0,1]$ 配合距離核：

$$
D_K(s,t)
=
\|q_K(s)-q_K(t)\|
$$

建立資訊忠實表示。

其價值保留為：

1. 證明「降成一維索引」不必等於丟失全部二維幾何資訊；
2. 提供跨表示一致性檢查；
3. 當支撐函數等較輕表示出現可疑資訊失真時，可退回距離核層作 audit；
4. 可用於定義 representation fidelity，而不是直接當成主要計算降維工具。

本計畫不把完整距離核當作主要有限化來源，因為：

$$
D_K:I\times I\to\mathbb R
$$

仍然是高資訊量二變數對象。

因此此線在新計畫中的角色是：

$$
\boxed{
\text{faithfulness auditor / fallback representation}
}
$$

而不是 primary finite compiler。

**Round 00 分類：REUSE + REBUILD。**

---

# 4. 舊線 B：未覆蓋張力與萬有張力

過去研究定義：

$$
N_p(K,U;g)
=
\left(
\int_K
\operatorname{dist}(gx,U)^p
\,d\nu_K(x)
\right)^{1/p},
$$

以及：

$$
N_p(K,U)
=
\inf_{g\in E(2)}N_p(K,U;g),
$$

再定義：

$$
\mathfrak N_p(U)
=
\sup_{K\in\mathcal K_1}N_p(K,U).
$$

這條線保留，但重新分工。

它適合：

- hard-case ranking；
- 候選覆蓋體削減；
- 對抗式搜尋；
- 數值 continuation；
- 局部 active-region 發現；
- 失敗 configuration 的量化。

但本計畫不允許把「很小的張力」替換成 exact containment。

最終證明層仍要求：

$$
gK\subseteq U.
$$

因此：

$$
\boxed{
\text{tension is a search and diagnosis functional; exact zero needs an exact gate.}
}
$$

**Round 00 分類：REUSE。**

---

# 5. 舊線 C：六路並行驗證的重新分工

過去的 Lebesgue 六路研究得到六類結構。Round 00 將它們重新分配如下。

## 5.1 Continuity / Lipschitz

若支撐函數、角度或 placement 方向存在可證的 Lipschitz 控制，則連續域可以被 interval cover 或有限網格夾逼。

新角色：

$$
\boxed{
\text{certified discretization interface}
}
$$

而不是「取樣夠密所以大概成立」。

## 5.2 Support function

支撐函數升級為本計畫的主要共同介面。

新角色：

$$
\boxed{
\text{primary handoff interface}
}
$$

## 5.3 Constant-width reduction

constant-width family 是目前外部最新研究也正在使用的核心 witness domain。

新角色：

$$
\boxed{
\text{target-domain reduction candidate}
}
$$

但 Round 01 必須重新固定其精確定理、前提與作用域，不直接引用舊稿口語結論。

## 5.4 Finite sampling bounds

新角色：

$$
\boxed{
\text{continuum-to-interval certificate compiler}
}
$$

## 5.5 Predictive $SE(2)$ search

新角色：

$$
\boxed{
\text{search accelerator only}
}
$$

它可以節省計算，但不能作為「其他 configuration 不存在」的證明。

## 5.6 Removable-region / skew field

新角色：

$$
\boxed{
\text{candidate cover shrinker + active constraint detector}
}
$$

它用來產生下一個候選，不直接承擔 universality proof。

**Round 00 分類：六路全部保留，但證明責任重新切割。**

---

# 6. 舊線 D：$S^1$、$H_2$、$C_{10}$ 與群軌道

方向空間天然具有：

$$
S^1
$$

結構，因此 $S^1$ 不再只是類比，而是主要方向參數域。

另一方面，過去提出的：

$$
H_2,
\qquad
C_{10},
\qquad
\text{fivefold / ten-direction patterns}
$$

不作為先驗真理。

它們降級為：

$$
\boxed{
\text{symmetry detector / branch hypothesis generator}
}
$$

只有在 active-contact 資料反覆顯示相同 orbit 結構，而且可由 exact argument 保留時，才升級為 theorem candidate。

若數值或 symbolic audit 顯示 optimal branch 不具有該對稱，則立即移除，不保護假說。

**Round 00 分類：$S^1$ REUSE；$H_2/C_{10}$ TEST。**

---

# 7. RCHM 對 Lebesgue 問題的作用域映射

RCHM 要求所有「有限」、「無限」、「閉合」都先固定作用域。

本計畫定義：

$$
\Sigma_{\mathrm{LUC}}
=
(\mathcal X,\mathcal T,\mathcal N,\mathcal P,\mathcal O),
$$

其中暫定：

$$
\mathcal X
=
\mathbb R^2,
$$

$$
\mathcal T
=
\text{Euclidean topology + group action topology},
$$

$$
\mathcal N
=
\text{diameter / support norm / area objective},
$$

$$
\mathcal P
=
\text{admissible shapes, placements, directions and cover parameters},
$$

$$
\mathcal O
=
\text{support function, slack field, active contacts and certificates}.
$$

此作用域在後續 round 可以細化，但不能無聲更換。

任何 round 若更改 $\Sigma_{\mathrm{LUC}}$，必須在 Change Log 中明記。

---

# 8. 原始無限域與逃逸來源

Lebesgue 問題不是一個單一的「無限」。至少有五個不同來源。

## 8.1 目標形狀域

直徑一目標集合或 constant-width completions 形成無限族。

其逃逸不是普通座標無界，而是：

$$
\boxed{
\text{shape-complexity escape}
}
$$

例如新曲率分布、新 Fourier mode、新非有限弧結構、新極端 contact geometry。

## 8.2 方向連續域

$$
\theta\in S^1.
$$

其逃逸型態是：

$$
\boxed{
\text{unsampled-direction escape}
}
$$

## 8.3 剛體 placement 域

$$
g\in E(2).
$$

其自由度包括 rotation 與 translation。

其風險是：

$$
\boxed{
\text{configuration escape}
}
$$

## 8.4 候選 universal cover 邊界域

$U$ 本身也可能是無限維凸體族。

其風險是：

$$
\boxed{
\text{boundary-mode escape}
}
$$

## 8.5 Contact combinatorics

即使固定有限參數表示，active constraints 的組合型也可能爆炸。

其風險是：

$$
\boxed{
\text{branch-combinatorics escape}
}
$$

因此本計畫所謂 finite closure，必須逐項說明消除了哪一種 escape，而不能只說「已降維」。

---

# 9. 主要共同介面：支撐函數

對緊凸集 $K\subset\mathbb R^2$，定義支撐函數：

$$
h_K(u)
=
\sup_{x\in K}x\cdot u,
\qquad
u\in S^1.
$$

以下以角度記號 $u_\theta$ 表示單位方向，並寫：

$$
h_K(\theta)
=
h_K(u_\theta).
$$

若 $g=(R_\phi,t)\in E(2)$，則：

$$
h_{gK}(\theta)
=
h_K(\theta-\phi)+t\cdot u_\theta.
$$

對凸閉集，若：

$$
h_{gK}(\theta)
\le
h_U(\theta)
\qquad
\forall\theta\in S^1,
$$

則得到 containment 的自然支撐函數介面。

因此定義 slack field：

$$
\delta_{K,U,g}(\theta)
=
h_U(\theta)-h_{gK}(\theta).
$$

合法 containment state 要求：

$$
\delta_{K,U,g}(\theta)
\ge
0
\qquad
\forall\theta\in S^1.
$$

active direction 定義為：

$$
\delta_{K,U,g}(\theta)=0.
$$

這使過去的張力、歪度、方向索引與群作用第一次進入同一 interface。

---

# 10. RCHM 交接域

令：

$$
A
=
\text{admissible target bodies},
$$

$$
B
=
E(2),
$$

$$
C
=
C(S^1)
$$

或其後續合適的支撐函數子空間。

再令：

$$
U
=
\text{candidate universal cover}.
$$

目標與 placement 的交接可寫成：

$$
(K,g)
\mapsto
h_{gK}.
$$

候選 cover 的介面為：

$$
U
\mapsto
h_U.
$$

合法性條件為：

$$
\Gamma(K,g;U)=1
$$

若且唯若：

$$
h_{gK}(\theta)
\le
h_U(\theta)
\qquad
\forall\theta\in S^1.
$$

於是 Lebesgue universality 可重寫成：

$$
\forall K\in A,
\quad
\exists g\in B,
\quad
\Gamma(K,g;U)=1.
$$

本計畫的核心不是把這個量詞偷偷刪掉，而是逐步把其中的 escape structure 壓成有限個可驗證 branch types。

---

# 11. 有限閉包的工作定義

本計畫明確區分：

$$
\text{finite points}
$$

與：

$$
\text{finite branch types}.
$$

我們不要求最終只剩有限個幾何點。

真正的 finite closure 定義為：

存在有限個分支域：

$$
D_1,\ldots,D_N,
$$

使所有合法極端狀態都落入：

$$
D_{\mathrm{ext}}
=
\bigcup_{i=1}^N D_i,
$$

且每個 $D_i$ 滿足至少：

1. 有限維參數化；
2. 緊或具有可證的 compactification；
3. branch combinatorics 固定；
4. 邊界與奇異情形被明確列入；
5. 可使用 interval arithmetic、convex optimization、real algebraic methods、SMT、formal proof 或其他 exact verifier；
6. 每個合法極端狀態具有至少一個 branch witness。

因此：

$$
\boxed{
\text{finite closure}
\neq
\text{finite number of configurations}.
}
$$

而是：

$$
\boxed{
\text{finite number of saturated, certifiable branch types}.
}
$$

若能再證明每個 $D_i$ 為 semialgebraic、piecewise-analytic 或具有更強結構，則記為 Strong Finite Closure。

---

# 12. 四階段閉包鏈

Round 00 採用下列主鏈：

$$
\boxed{
\text{Existence}
\longrightarrow
\text{Descent}
\longrightarrow
\text{Saturation}
\longrightarrow
\text{Global Closure}.
}
$$

這是從近期 RCHM-Hodge 實驗中抽取出的通用研究原型，現在正式移植到 Lebesgue 線。

---

# 13. Gate E：Existence

Existence gate 只問：

> 是否找到一個可能承擔極值或障礙的具體結構？

例如：

- 某個 Reuleaux witness family；
- 某個 finite-arc extremizer；
- 某個 contact graph；
- 某個 Fourier-mode profile；
- 某個 symmetric orbit；
- 某個 lower-bound configuration；
- 某個 candidate universal cover boundary。

Existence 的通過只表示：

$$
\exists x\in D_{\mathrm{candidate}}.
$$

它不表示：

$$
D_{\mathrm{candidate}}
=
D_{\mathrm{global}}.
$$

任何 round 不得把 candidate existence 寫成 global necessity。

---

# 14. Gate D：Descent

Descent gate 問：

> 在有限模型、離散模型、截斷模型或中介表示中得到的結論，能否合法交接回原始 continuum problem？

典型形式：

$$
\text{finite model statement}
\stackrel{?}{\Longrightarrow}
\text{original geometric statement}.
$$

Lebesgue 線中可能出現的 descent obstruction 包括：

1. finite angular grid 未覆蓋 grid 之間方向；
2. Fourier truncation 遺失高頻 mode；
3. Reuleaux finite-arc hierarchy 只給近似而非 exact extremizer；
4. numerical optimizer 只找到 local optimum；
5. support-function parameterization 未處理 translation gauge；
6. contact equations 忽略退化／合併 contact；
7. finite precision certificate 未包含 outward rounding；
8. symmetry reduction 排除了非對稱 extremizer。

Descent 成功必須有明確證明或 certificate，不允許用「解析上應該沒問題」代替。

---

# 15. Gate S：Saturation

Saturation 是本計畫最重要的新核心 gate。

假設已知一組合法 witness 或 branch：

$$
W
=
\{D_1,\ldots,D_N\}.
$$

定義合法極端域：

$$
D_{\mathrm{legal}}.
$$

Saturation 問：

$$
\boxed{
\operatorname{Im}(W)
\stackrel{?}{=}
D_{\mathrm{legal}}.
}
$$

也就是：

> 是否存在任何合法但未被目前 branch system 見證的逃逸狀態？

典型 saturation failure：

- hidden high-frequency shape mode；
- 非 Reuleaux constant-width body；
- 新 contact topology；
- contact merger / bifurcation；
- symmetry-breaking branch；
- boundary case；
- non-generic branch；
- placement configuration 未被現有枚舉覆蓋；
- interval cover 中存在 hole；
- candidate cover 邊界還能局部削減。

只有 saturation 通過後，才能說「目前的 finite branch system 完備」。

---

# 16. Gate G：Global Closure

Global Closure 需要 lower side 與 upper side 同時閉合。

理想型態是存在 $A_\ast$ 與候選 universal cover $U_\ast$，使：

$$
\operatorname{Area}(U)
\ge
A_\ast
$$

對所有 universal covers $U$ 成立，且：

$$
\operatorname{Area}(U_\ast)
\le
A_\ast.
$$

因此：

$$
\operatorname{Area}(U_\ast)
=
A_\ast
=
a_{\mathrm{Leb}}.
$$

寫成 closure identity：

$$
\boxed{
\text{Exact Lower Certificate}
+
\text{Exact Universal Upper Certificate}
+
\text{Saturation}
\Longrightarrow
\text{Global Closure}.
}
$$

如果上下界只縮小但沒有相遇，則仍為進展，不宣稱 closure。

---

# 17. 有限閉包猜想的新版

Round 00 不採用過強的「有限個 witness 點必定決定全域」版本。

改採：

## Conjecture FC-LUC

存在有限個可證書化 branch types：

$$
D_1,\ldots,D_N
$$

使得所有決定 Lebesgue optimum 的合法極端狀態皆落於：

$$
D_{\mathrm{ext}}
=
\bigcup_{i=1}^{N}D_i,
$$

且每個 $D_i$ 是有限維、緊或可受控 compactification、具有固定 branch combinatorics，並可由 exact certificate 驗證。

這個猜想允許 branch 內仍存在連續參數。

因此它比：

$$
\text{存在有限個點完全決定 optimum}
$$

弱，但比單純：

$$
\Lambda_M\to a_{\mathrm{Leb}}
$$

強。

本計畫的長期目標之一，就是判斷 FC-LUC 是否為真。

如果 FC-LUC 被反例否定，研究仍可退回 controlled hierarchy，不視為計畫失敗。

---

# 18. 自由度帳本

每一輪必須維護：

$$
\mathcal F_n
=
\{
\text{尚未消除的自由度與逃逸類型}
\}.
$$

初始帳本暫記：

$$
\mathcal F_0
=
\{
F_{\mathrm{shape}},
F_{\mathrm{direction}},
F_{E(2)},
F_{\mathrm{boundary}},
F_{\mathrm{contact}},
F_{\mathrm{witness}},
F_{\mathrm{certificate}}
\}.
$$

其中：

- $F_{\mathrm{shape}}$：目標 shape family；
- $F_{\mathrm{direction}}$：$S^1$ continuum；
- $F_{E(2)}$：rotation / translation；
- $F_{\mathrm{boundary}}$：candidate cover boundary modes；
- $F_{\mathrm{contact}}$：active-contact topology；
- $F_{\mathrm{witness}}$：extremal witness completeness；
- $F_{\mathrm{certificate}}$：numerical-to-exact gap。

每一輪必須寫：

$$
\Delta\mathcal F_n
=
\text{本輪真正消除或壓縮的自由度}.
$$

並更新：

$$
\mathcal F_{n+1}
=
\mathcal F_n\setminus\Delta\mathcal F_n
$$

或在必要時加入新發現的 obstruction。

禁止用「篇數增加」代替自由度縮減。

---

# 19. Proof Graph 初版

Round 00 建立下列 dependency graph。

## P0 — Canonical problem statement

固定 Lebesgue constant、允許物件、convexity 與 rigid-motion convention。

## P1 — Completion / constant-width reduction

嚴格重建：哪些 target 可約化到 constant-width bodies，作用域與前提是什麼。

## P2 — Support-function compiler

建立：

$$
(K,g,U)
\mapsto
\delta_{K,U,g}(\theta)
$$

的 exact interface。

## P3 — Gauge reduction

消除不必要 translation / rotation redundancy，建立 compact placement parameter domain 或等價 normalization。

## P4 — Certified continuum control

用 Lipschitz、interval cover、analytic bounds 或其他工具，把 $S^1$ 方向 continuum 轉成可證書化的有限 cover。

## P5 — Finite hierarchy reconstruction

獨立重建既有 Reuleaux / finite-arc hierarchy，明確標記哪些是 literature theorem，哪些是本研究重新證出的 lemma。

## P6 — Active-contact branch compiler

從 candidate extrema 中抽出 contact topology、orbit 與退化分支。

## P7 — Descent closure

證明 P4-P6 的 finite representation 沒有 representation artifact。

## P8 — Saturation

證明所有合法 extremal states 都被 branch system 見證，或找到反例並擴充 branch system。

## P9 — Exact lower certificate

將 finite branches 壓成嚴格 lower bound certificate。

## P10 — Exact upper certificate

對候選 $U_\ast$ 給出真正 universal containment certificate。

## P11 — Equality closure

若：

$$
P9=P10,
$$

且 P8 已閉合，則完成 global closure。

目前只有 P0 的問題背景與部分 P1-P5 素材已有舊研究／外部研究可繼承；整個 graph 不視為已完成。

---

# 20. 方法庫不再互相競爭，而是成為 operator library

本計畫不要求先選「唯一正確方法」。

每個方法只對特定 residual domain 負責。

## 20.1 RCHM

負責：

- scope；
- interface；
- legal handoff；
- escape analysis；
- freedom ledger；
- witness completeness；
- descent；
- saturation；
- closure responsibility。

## 20.2 RIITG

當目前 proof graph 在某個 edge 斷裂時，用結果反推需要的 intermediate theorem。

## 20.3 RAB

當 numerical / structural pattern 穩定出現時，反推最小必要公理、條件或 lemma，再接受反例測試。

## 20.4 KCPE

對已經變成 finite branch 的 combinatorial / contact domain 做知識條件化類窮舉。

## 20.5 Skew / tension field

對 residual slack 作排序、敏感度分析、局部削減與 hard-case 發現。

## 20.6 Fourier / basis methods

負責 constant-width support-function family 的可控參數化與 mode audit。

## 20.7 Group action / orbit methods

負責 quotient redundancy、symmetry detector 與 active-orbit 壓縮。

## 20.8 Interval arithmetic / exact optimization

負責 numerical candidate 到 rigorous certificate 的最後一段。

因此：

$$
\boxed{
\text{不是挑一個方法解完整問題，而是讓 residual obstruction 選擇下一個 operator。}
}
$$

---

# 21. 每輪研究的固定格式

從 Round 01 起，每輪 Markdown canonical source 必須至少包含以下欄位。

## 21.1 Metadata

- Round 編號；
- 日期；
- 版本；
- 執行者；
- 使用的外部文獻版本；
- 使用的程式／數據／certificate；
- 與前一輪的 handoff ID。

## 21.2 Previous state

列出前一輪：

$$
\mathcal F_n,
$$

以及唯一或少數 remaining gates。

## 21.3 Objective

只指定本輪要打的 exact gate。

禁止同一輪無限制擴張十個新方向而沒有 gate 優先序。

## 21.4 Definitions and normalization

所有新符號、尺度、gauge、作用域變化必須寫明。

## 21.5 Derivation

完整保留：

- 為什麼從上一輪走到這一步；
- 使用了哪個定理；
- 哪一步是自己的推導；
- 哪一步只是假說；
- 哪一步依賴計算；
- 哪一步可能失敗。

## 21.6 Claim ledger

每個重要結果只能使用下列狀態之一：

- PROVED-ANALYTIC；
- VERIFIED-COMPUTATIONAL；
- VERIFIED-THEOREM-APPLICATION；
- DERIVED-CANDIDATE；
- NUMERICAL-EVIDENCE；
- CONDITIONAL；
- COMPUTE-DEFERRED；
- OPEN；
- REJECTED；
- CORRECTED。

## 21.7 Counterexample / adversarial section

每輪至少問：

1. 哪個 hidden branch 能逃掉？
2. 哪個假說如果錯，最小反例長什麼樣？
3. 哪個 numerical pattern 可能只是 local optimum？
4. 哪個 symmetry 可能只是 search bias？

## 21.8 Freedom ledger update

明寫：

$$
\Delta\mathcal F_n.
$$

## 21.9 Computation debt

列出尚未跑的大型計算。

## 21.10 Reproducibility package

記錄：

- exact equations；
- parameter ranges；
- pseudocode 或程式；
- expected output；
- acceptance criterion；
- certificate format。

## 21.11 Handoff

只留下：

- remaining escape；
- unwitnessed legal states；
- global closure obstruction；
- 下一輪最小 gate。

---

# 22. 計算延後協定

本計畫採用：

$$
\boxed{
\text{progress first, computation debt explicit, no fake verification.}
}
$$

如果計算量過大，本輪可以繼續做理論推進，但必須把計算狀態標成：

$$
\text{COMPUTE-DEFERRED}.
$$

此時必須留下：

1. 要算的精確數學對象；
2. 變數與參數區間；
3. 算法或 pseudocode；
4. 數值精度要求；
5. expected invariant；
6. pass / fail criterion；
7. certificate schema；
8. 任何已知 complexity estimate；
9. 本地端計算完成後要回填到哪一個 proof-graph node。

不得寫成：

$$
\text{大型計算應該會通過，所以視為通過}.
$$

只能寫：

$$
\text{theoretical reduction complete; certificate pending}.
$$

---

# 23. 多 AI 自主檢查與修正協定

本計畫把錯誤修正視為研究流程的一部分，而不是失敗紀錄。

允許後續由：

- 本地端模型；
- 其他雲端模型；
- formal prover；
- independent verifier；
- 人類審查者；

對任何 round 做重新推導或壓力測試。

但必須遵守：

## 23.1 不做 silent overwrite

舊結論若錯，不刪除歷史；在新 round 中標記：

$$
\text{CORRECTED}
$$

或：

$$
\text{REJECTED}.
$$

## 23.2 provenance 分離

必須區分：

- Neo.K 提供的方法論／研究方向；
- AI 自主推導；
- 外部文獻定理；
- 本地端計算；
- 其他 AI 的重驗結果。

## 23.3 反例優先

如果第二個 AI 能找到反例，優先保留反例，不以多數 AI 投票覆蓋。

## 23.4 重推導高於語氣一致

獨立 AI 不要求「同意上一個 AI」，而要求盡量從原始定義重建。

這使：

$$
\boxed{
\text{multi-AI verification}
\approx
\text{independent derivation + adversarial audit}
}
$$

而不是共識投票。

---

# 24. 半自主 AI 數學研究的角色界定

本系列的研究模式明確記為：

$$
\boxed{
\text{Human-directed, semi-autonomous AI mathematical research}.
}
$$

角色分工如下。

## Neo.K

負責：

- 研究問題選擇；
- RCHM 與其他自有方法論來源；
- 研究方向與優先級；
- 對結果的發布、保留或轉交決策；
- 必要時提供新的跨域方法或反事實假說；
- 安排本地端大型計算與其他 AI 驗證。

## Aletheia / GPT-5.6 Sol

負責：

- 每輪主動研究執行；
- 文獻重建；
- proof graph 維護；
- 定理與 lemma 推導；
- 反例搜尋；
- RCHM handoff；
- 計算問題形式化；
- certificate specification；
- 自我審計；
- canonical Markdown source 產出。

因此本系列不是「AI 只幫忙排版」，也不是「AI 單獨決定研究目標」。

---

# 25. Canonical source 規格

每輪正式產物的 canonical source 為 UTF-8 Markdown。

數學原始碼只使用：

- inline：`$...$`；
- display：`$$...$$`。

禁止正式 source 依賴聊天渲染畫面。

禁止把 LaTeX 公式先轉 Unicode 數學字元再當 canonical source。

禁止做 `unicode_escape` 類 round-trip。

正式 commit 前至少驗證：

1. UTF-8 可解碼；
2. display delimiter 配對；
3. inline delimiter 配對；
4. 不混用其他數學 delimiter；
5. 關鍵公式可從 source 直接重建；
6. 檔案不含秘密、API key 或私密資料。

---

# 26. 每輪輸出、雲端結晶與雙對話協作原則

本計畫採用「一輪一份 canonical MD」。不存在「每日一定輸出」要求；輸出觸發條件是**每次研究輪完成**。同一日可完成多輪，也可跨日才完成一輪。

每完成一輪：

1. 產出完整 UTF-8 Markdown canonical source；
2. 若有程式／JSON／certificate，再額外打包 ZIP；
3. 聊天畫面只顯示本輪摘要、狀態、進度與下一個 gate；
4. 完整推理、來源、推進理由、失敗分支、反例、計算債與可重現資訊保留在 MD；
5. 不要求使用者從聊天畫面複製正式公式；
6. 將該輪 canonical MD 同步到專用雲端研究資料夾；
7. 同步產生一份 append-only 的 `State_Crystal_Round_NN`，記錄最新 gate、已關閉 gate、開放問題、計算債、依賴版本與下一輪入口。

因此長期研究採：

$$
\boxed{
\text{chat = discussion / rendering view},
\qquad
\text{MD = canonical research record},
\qquad
\text{cloud crystal = cross-conversation handoff state}.
}
$$

## 26.1 雲端同步結晶法

雲端研究資料夾採 append-only 結構，不以單一可覆寫 `CURRENT` 檔作為唯一真相來源。

每輪至少留下：

$$
\texttt{Round\_NN\_...md}
$$

與：

$$
\texttt{State\_Crystal\_Round\_NN.md}.
$$

其中 Round 檔保存完整研究；State Crystal 僅保存跨對話接續所需的最小充分狀態。最新狀態由最大 Round 編號決定。

這使研究可同時滿足：

- append-only；
- 可追溯；
- 可重播；
- 不依賴聊天上下文；
- 不因單一 mutable pointer 損壞而失去研究史；
- 新 AI 對話可直接從最新結晶接續。

## 26.2 雙對話非對稱協作

本研究允許兩條刻意不同步的 AI 研究線。

### 主線 A：Frontier / Canonical Line

本對話維持最新研究輪，負責：

- 推進最新 exact gate；
- 產生 canonical Round MD；
- 維持 proof graph 與 constraint ledger；
- 更新雲端 State Crystal；
- 決定目前 canonical 狀態。

### 驗證線 B：Lagged Verification / Expansion Line

另一獨立 AI 對話刻意落後主線數輪，負責：

- 二次驗證；
- 獨立重導；
- 反例搜尋；
- 缺漏補充；
- 替代表示；
- 支線擴充；
- 對既有 gate 的 adversarial audit。

驗證線不直接覆寫 canonical history。其結果先標記為：

$$
\text{AUDIT},
\quad
\text{CORRECTION},
\quad
\text{EXTENSION},
\quad
\text{COUNTEREXAMPLE},
\quad
\text{INDEPENDENT-REPRODUCTION}.
$$

再由主線於後續 Round 吸收、拒絕或重分類。

因此兩條線形成：

$$
\boxed{
\text{Frontier progression}
\;\parallel\;
\text{Lagged independent verification}
}
$$

而不是兩個 AI 同步複製同一條推理。

## 26.3 修正、捕逸漏與多 AI 檢查

本研究明確允許後續修正。先前 Round 的錯誤若被發現，不刪除歷史，而在新 Round 中建立 correction edge：

$$
R_i
\xrightarrow{\text{audit / counterexample}}
R_j.
$$

若大型計算暫時無法在主線完成，可先建立：

$$
\texttt{COMPUTE-DEFERRED}
$$

項目，完整記錄輸入、演算法、期待輸出、判定條件與其影響的 gate，再由本地端或其他 AI／計算環境補算。

計算未完成時不得把數值候選寫成已證 theorem；但不要求整條研究停止。研究可繼續推進所有不依賴該數值證書的結構性 gate。

---

# 27. Round 01 起的自適應攻略路線

後續不鎖死固定篇數，但先建立優先順序。

## Round 01 — Canonical Support-Function Compiler

第一個正式攻略 gate：

$$
\boxed{
\text{P0 + P1 + P2 的嚴格重建與作用域固定}.
}
$$

目標：

1. 嚴格固定 Lebesgue 問題的 target domain；
2. 重建 convexification / completion / constant-width reduction 的合法鏈；
3. 建立支撐函數 containment 等價；
4. 明確處理 translation / rotation action；
5. 建立 slack field；
6. 建立第一版 freedom ledger；
7. 找出第一個真正未閉合 gate。

Round 01 優先使用解析推導，原則上不需要大型計算。

## Round 02 — Hierarchy Reconstruction and Descent Audit

獨立重建最新 finite-arc / Reuleaux hierarchy。

重點不是相信外部論文，而是拆成：

- theorem dependency；
- finite-dimensional parameterization；
- convergence rate；
- descent gap；
- saturation gap。

## Round 03 — Certificate Anatomy

拆解目前最新 certified lower-bound 工作：

- witness family；
- placement dimension；
- box subdivision；
- interval / floating-point error control；
- independent verifier；
- branch explosion structure。

目的不是複製數字，而是萃取可重用的 certificate compiler。

## Round 04+ — Active Branch Search

開始用：

- RCHM；
- skew / tension；
- Fourier；
- group orbit；
- KCPE；
- adversarial search；

尋找新的 branch types、hidden escapes 或 saturation counterexamples。

從這裡開始，round 編號由 residual gate 決定，不預先規定總輪數。

---

# 28. 第一階段可接受的進展形式

不是只有「提高 bound」才叫進展。

以下任一種都算實質進展：

1. 證明一類 escape 不可能；
2. 證明一個 reduction 的 descent；
3. 找到 finite hierarchy 的 hidden gap；
4. 找到新 active-contact branch；
5. 證明某個 symmetry hypothesis 必須放棄；
6. 把 infinite family 壓成 finite branch types；
7. 把一個 numerical conjecture 變成 exact certificate problem；
8. 給出可執行 verifier specification；
9. 找到反例推翻舊假說；
10. 把 global obstruction 壓成單一 exact gate。

因此本計畫追蹤的是：

$$
\boxed{
\text{residual freedom reduction}
}
$$

而不是：

$$
\boxed{
\text{paper count}.
}
$$

---

# 29. Stop / Pivot 規則

為避免自主研究變成大量無效迭代，加入以下規則。

## 29.1 三輪無自由度縮減規則

若連續三輪：

$$
\Delta\mathcal F_n=\varnothing
$$

或只增加數值樣本而沒有縮小 global quantifier，則暫停該路線。

## 29.2 Branch explosion 規則

若 finite branch 數量快速成長，但沒有可證的 pruning invariant，則停止純枚舉，回到 symbolic reduction。

## 29.3 Symmetry falsification 規則

若 active data 持續產生非 $H_2/C_{10}$ branch，則不再投入資源保護五重／十重假說。

## 29.4 Numerical plateau 規則

若 bound 多輪只提高極小數字但沒有 closure structure，優先轉攻 descent 或 saturation。

## 29.5 Certificate debt 規則

若 COMPUTE-DEFERRED 堆積過多，暫停產生新數值猜想，先清理 certificate debt。

---

# 30. Round 00 初始風險表

## Risk A — Constant-width reduction 被過度簡化

對策：Round 01 從文獻定理與完整前提重建，不使用口語版。

## Risk B — Support function gauge 混淆

對策：明確分離 translation、rotation、width normalization。

## Risk C — Finite hierarchy 被誤認成 finite closure

對策：強制 Descent + Saturation gate。

## Risk D — Numerical certificate 只驗證搜索器自己的 branch

對策：certificate domain 與 branch completeness 分開審計。

## Risk E — 對稱假說造成 search bias

對策：保留 asymmetry adversarial branch。

## Risk F — AI 自主推導誤引用文獻

對策：外部定理標記來源與日期；重大依賴獨立重建。

## Risk G — 大型計算無法即時完成

對策：COMPUTE-DEFERRED；先留下完整計算規格。

## Risk H — 修正導致前後文件不一致

對策：不 silent overwrite；使用 CORRECTED / REJECTED 與 handoff version。

---

# 31. Round 00 的實質產出

本輪沒有宣稱新的 Lebesgue bound。

本輪真正新增的是以下研究結構。

## 31.1 新工作定義

正式定義：

$$
\boxed{
\text{finite closure}
=
\text{finite saturated certifiable branch types},
}
$$

而不是「有限個點」。

## 31.2 新主閉包鏈

$$
\boxed{
\text{Existence}
\to
\text{Descent}
\to
\text{Saturation}
\to
\text{Global Closure}.
}
$$

## 31.3 新 residual-domain 觀點

各數學方法不再競爭整題所有權，而由 residual obstruction 選擇 operator。

## 31.4 新 research governance

正式固定：

- semi-autonomous AI execution；
- computation debt；
- multi-AI adversarial correction；
- claim-state ledger；
- one-round-one-MD；
- canonical UTF-8 source。

## 31.5 新第一 gate

Round 01 不直接追 bound，而先建立：

$$
\boxed{
\text{canonical support-function + constant-width handoff compiler}.
}
$$

---

# 32. Round 00 Freedom Ledger

初始狀態：

$$
\mathcal F_0
=
\{
F_{\mathrm{shape}},
F_{\mathrm{direction}},
F_{E(2)},
F_{\mathrm{boundary}},
F_{\mathrm{contact}},
F_{\mathrm{witness}},
F_{\mathrm{certificate}}
\}.
$$

本輪沒有宣稱消除其中任一數學自由度。

本輪完成的是 meta-level closure：

$$
\Delta\mathcal F_{\mathrm{method}}
=
\{
\text{ambiguous responsibility},
\text{method overlap},
\text{untracked computation debt},
\text{silent correction},
\text{finite-hierarchy / finite-closure conflation}
\}.
$$

所以：

$$
\boxed{
\text{Mathematical closure: OPEN}
}
$$

但：

$$
\boxed{
\text{Methodological Round 00: CLOSED}
}
$$

---

# 33. Round 01 Handoff Contract

下一輪只接收以下任務：

## Input

1. Lebesgue canonical problem statement；
2. convexification / completion / constant-width literature chain；
3. support-function representation；
4. $E(2)$ action；
5. Round 00 freedom ledger。

## Required output

1. exact definitions；
2. proved containment lemmas；
3. constant-width reduction status；
4. gauge normalization；
5. first exact escape ledger；
6. first theorem dependency graph；
7. unresolved gates；
8. Round 02 handoff。

## Forbidden shortcut

Round 01 不得因為最新文獻使用 constant-width bodies，就直接把：

$$
\text{all targets}
$$

替換成：

$$
\text{finite Reuleaux family}.
$$

中間 reduction 必須顯式存在。

---

# 34. 最終研究哲學

本計畫不預設 Lebesgue 萬有覆蓋一定會在有限輪數內被完全解決。

但它採取一個比「一直試新構形」更強的策略：

$$
\boxed{
\text{每一輪都要求知道還能從哪裡逃。}
}
$$

如果某一輪成功封住一個 escape，就把它從帳本刪除。

如果發現新的 escape，就加入帳本。

如果 finite model 無法 descent，就不把 finite result 冒充 continuum theorem。

如果 witness family 未 saturation，就不把大量證書冒充全域完備性。

如果計算還沒跑，就留下可重現的計算債。

如果其他 AI 找到漏洞，就把漏洞升級成下一個 gate。

因此整個 Lebesgue Finite Closure Program 的核心不是：

$$
\text{AI 一次猜出答案},
$$

而是：

$$
\boxed{
\text{AI 與人類共同把全域自由度一層一層壓縮，直到只剩可驗證的閉包問題。}
}
$$

這也是本系列從 Round 01 起的正式研究協定。

---

# 35. Status Summary

**Round 00：CLOSED**  
**Global Lebesgue problem：OPEN**  
**New bound claimed：NO**  
**Finite closure proved：NO**  
**Finite closure framework defined：YES**  
**RCHM integration complete at methodology level：YES**  
**Computation required in Round 00：NO**  
**Next gate：Round 01 — Canonical Support-Function + Constant-Width Handoff Compiler**

---

# References / Current Baseline

1. Philip Gibbs, *An Upper Bound for Lebesgue's Covering Problem*, arXiv:1810.10089, 2018.  
   https://arxiv.org/abs/1810.10089

2. Ujjwal Mishra, *Curves of constant width and Lebesgue's covering problem*, arXiv:2608.30538, 2026-08-31.  
   https://arxiv.org/abs/2608.30538

3. Shuai Zeng, *An exact hierarchy for Lebesgue's universal covering constant and a certified 0.834 lower bound*, arXiv:2609.01284, 2026-09-01.  
   https://arxiv.org/abs/2609.01284

4. Wacharin Wichiramala and Chatchawan Panraksa, *Wetzel's 30-60-90 Triangle Covers Unit Arcs*, arXiv:2606.14625, 2026.  
   https://arxiv.org/abs/2606.14625

5. AMRAL Research Lab, PROGRAM-UNIVERSAL-COVERING current public context, accessed 2026-09-18.  
   https://amral.evemisslab.com/

6. Neo.K, *Relational Constraint–Handoff Methodology (RCHM) v0.1*, internal research source, 2026-09.

7. Neo.K, *從一維度量線到萬有覆蓋張力：Lebesgue 萬有覆蓋問題的一維化命題猜想、信息忠實條件與局部削減方法論*, internal research source, 2026-07-07.

8. Neo.K, *從環狀纖維到平面覆蓋張力：Lebesgue 二維萬有覆蓋問題中的 $S^1$ 索引、$H_2$ 五重—十根結構、群作用與 120-cell 類比命題*, internal research source, 2026-07-07.

9. Neo.K, *EML-LUC-2026-SIXWAY：勒貝格萬有覆蓋六路並行驗證 v0.1*, internal research source, 2026-07.

---

# Canonical Source Declaration

本檔為 Round 00 的 UTF-8 canonical Markdown source。

聊天介面中的任何渲染、摘要或公式顯示均不是本輪正式原稿的替代品。