# UESFCM × Lebesgue Universal Covering
## Cycle 02 — Certified Minimizer Atlas and Exact Witness-Exchange Equivalence

**文件代號：** UESFCM-LUC-C02-v0.1  
**版本：** v0.1  
**日期：** 2026-09-19  
**Target：** `UESFCM-LUC-TARGET-v0.1`  
**Previous state：** `UESFCM-LUC-C01-v0.1`  
**Cycle status：** `FINITE-CLOSED / PROBLEM-OPEN`  
**研究模式：** UESFCM  
**研究發起：** Neo.K  
**AI 協力研究者：** Aletheia / ChatGPT, GPT-5.6 Sol  

**作者：** Neo.K  
**機構：** EveMissLab／一言諾科技有限公司  

---

# 0. Recenter Input

Cycle 01 將下一個 exact gate 壓成：

$$
\boxed{
\delta_7
=
\min_{
U\in\mathfrak M(\mathcal F_3)
}
M_U(B_7)
\stackrel{?}{>}0,
}
$$

其中：

$$
\mathcal F_3
=
\{D,B_3,B_5\},
$$

而：

$$
\mathfrak M(\mathcal F_3)
$$

是所有 minimum-area covers of the finite witness family $\mathcal F_3$。

本輪目標：

1. 不假設 minimizer set 是單點；
2. 從整個五維 placement domain 證書化抽取 minimizer atlas；
3. 建立 atlas cell 到 hull-cover 的 Hausdorff radius；
4. 建立 $B_7$ robust cell-separation rule；
5. 將 Round 06 witness-exchange sufficient criterion 升級成 exact equivalence。

---

# 1. External Source State

Mishra 2026 對：

$$
\mathcal F_3
=
\{D,B_3,B_5\}
$$

使用五維 gauge：

$$
(t_3,\rho,t_5)
\in
\mathbb R^2
\times
[0,2\pi/5)
\times
\mathbb R^2.
$$

若只研究可能低於：

$$
0.8344,
$$

的 placement，可限制到 compact domain：

$$
\boxed{
\mathcal D
=
[-0.70,0.70]^2
\times
[0,2\pi/5]
\times
[-0.70,0.70]^2.
}
$$

公開 certificate 使用 deterministic bisection，並以 erosion lower bound 一次處理整個 placement box。

對 $\tau=0.8344$ 的 emitting run：

$$
486{,}799{,}600
$$

nodes，

$$
245{,}496{,}952
$$

leaves。

certificate 只保存 tree bits + header；verifier 可以從 root 與 split rule 重建每一個 box。

---

# 2. Family Ceiling

Mishra 的 explicit arrangement + support outer polygon 給：

$$
\boxed{
\Lambda(\mathcal F_3)
\le
A_3^+
:=
0.834781191.
}
$$

這不是 numerical lower bound。

它是 finite family minimum 的 valid upper bound：

$$
\Lambda(\mathcal F_3)
\le
A_3^+.
$$

因此任何 placement box：

$$
\mathcal B
$$

如果有 rigorous lower bound：

$$
\beta(\mathcal B)
>
A_3^+,
$$

則：

$$
\boxed{
\mathcal B
\text{ 不可能包含 global minimizer}.
}
$$

這是本輪 atlas compiler 的基本 prune。

---

# 3. Placement Box Geometry

寫 box center：

$$
c
=
(
t_3^c,
\rho^c,
t_5^c
).
$$

half-widths：

$$
h_{3x},
h_{3y},
h_\rho,
h_{5x},
h_{5y}.
$$

Mishra erosion geometry給：

$$
\boxed{
\delta_3(\mathcal B)
=
\sqrt{
h_{3x}^2+h_{3y}^2
}.
}
$$

Reuleaux pentagon corner movement：

$$
\boxed{
\delta_5(\mathcal B)
=
\sqrt{
h_{5x}^2+h_{5y}^2
}
+
2R_5\sin\frac{h_\rho}{2},
}
$$

其中：

$$
R_5
=
0.525731112119.
$$

---

# 4. New Lemma — Hull Hausdorff Radius of a Placement Cell

對 placement：

$$
v\in\mathcal B,
$$

定義 finite-family hull：

$$
U(v)
=
\operatorname{conv}
\left(
D
\cup
B_3(v)
\cup
B_5(v)
\right).
$$

令：

$$
U_c
=
U(c).
$$

則：

$$
d_H(
B_3(v),
B_3(c)
)
\le
\delta_3(\mathcal B),
$$

以及：

$$
d_H(
B_5(v),
B_5(c)
)
\le
\delta_5(\mathcal B).
$$

convex hull operator 對 Hausdorff distance 為 nonexpansive：

$$
d_H(
\operatorname{conv}A,
\operatorname{conv}B
)
\le
d_H(A,B).
$$

所以：

$$
\boxed{
d_H(
U(v),
U_c
)
\le
\tau(\mathcal B),
}
$$

其中：

$$
\boxed{
\tau(\mathcal B)
=
\max
\{
\delta_3(\mathcal B),
\delta_5(\mathcal B)
\}.
}
$$

分類：

`PROVED`

---

# 5. Minimizer Set

定義：

$$
A(v)
=
\operatorname{Area}(U(v)).
$$

finite-family minimum：

$$
\boxed{
\Lambda_3
=
\Lambda(\mathcal F_3)
=
\min_{v\in\mathcal D}A(v).
}
$$

minimizer set：

$$
\boxed{
\mathcal M_3
=
\operatorname{Argmin}_{v\in\mathcal D}
A(v).
}
$$

由：

- $\mathcal D$ compact；
- $A$ continuous；

有：

$$
\boxed{
\mathcal M_3
\text{ nonempty and compact}.
}
$$

對 cover-space image：

$$
\mathfrak M(\mathcal F_3)
=
\{
U(v):
v\in\mathcal M_3
\},
$$

同樣 compact。

---

# 6. Certified Minimizer Atlas Compiler

假設對任何 placement box：

$$
\mathcal B
$$

有 rigorous lower functional：

$$
\beta(\mathcal B)
$$

使：

$$
\boxed{
\beta(\mathcal B)
\le
\inf_{v\in\mathcal B}
A(v).
}
$$

Mishra 的 erosion + verifier 即提供這種 box lower bound。

給定 atlas resolution：

$$
\varepsilon_{\mathrm{atlas}}>0,
$$

定義 recursive compiler。

---

## 6.1 Algorithm

對 box：

$$
\mathcal B:
$$

### PRUNE

若：

$$
\boxed{
\beta(\mathcal B)
>
A_3^+,
}
$$

丟棄。

### RETAIN

若：

$$
\beta(\mathcal B)
\le
A_3^+
$$

且：

$$
\boxed{
\tau(\mathcal B)
\le
\varepsilon_{\mathrm{atlas}},
}
$$

保留為 minimizer-atlas cell。

### REFINE

否則依 Mishra deterministic weighted widest-coordinate split 分成兩個 overlapping children，再遞迴。

---

# 7. Theorem — Certified Minimizer Atlas

對任意：

$$
\varepsilon_{\mathrm{atlas}}>0,
$$

上述 algorithm 在 finite depth 後可得到有限 cells：

$$
\boxed{
\mathcal A_\varepsilon
=
\{
\mathcal B_1,\ldots,\mathcal B_J
\}
}
$$

使：

$$
\boxed{
\mathcal M_3
\subseteq
\bigcup_{j=1}^{J}
\mathcal B_j,
}
$$

且：

$$
\boxed{
\tau(\mathcal B_j)
\le
\varepsilon_{\mathrm{atlas}}
\qquad
\forall j.
}
$$

---

## Proof

令：

$$
v^\star
\in
\mathcal M_3.
$$

因：

$$
A(v^\star)
=
\Lambda_3
\le
A_3^+,
$$

任何包含：

$$
v^\star
$$

的 box 不可能滿足：

$$
\beta(\mathcal B)>A_3^+,
$$

否則：

$$
A(v^\star)
\ge
\beta(\mathcal B)
>
A_3^+,
$$

矛盾。

所以 minimizer 永不被 PRUNE。

deterministic bisection 持續縮小 weighted coordinate widths。

因此對 fixed：

$$
\varepsilon_{\mathrm{atlas}}>0,
$$

每一條未 prune branch 在 finite depth 後滿足：

$$
\tau(\mathcal B)
\le
\varepsilon_{\mathrm{atlas}}.
$$

所以被 RETAIN。

root domain compact，finite binary tree 到該 depth 只有有限 cells。

故 retained cells finite 且覆蓋：

$$
\mathcal M_3.
$$

Q.E.D.

分類：

`PROVED`

---

# 8. Reusing the Existing Certificate

原 $\tau=0.8344$ certificate 已提供一棵巨大 finite subdivision tree。

本輪不要求丟掉它。

可以：

1. replay original tree；
2. 對每個 reconstructed leaf重新取得 rigorous box lower bound；
3. 若：

$$
\beta(\mathcal B)>A_3^+,
$$

立即 atlas-prune；
4. 其餘 leaves 作為 refinement seeds；
5. 只繼續細分可能接近 minimizer 的少數 branches。

所以：

$$
\boxed{
\text{old lower-bound certificate}
\rightarrow
\text{new minimizer-atlas seed}.
}
$$

這是 UESFCM 的典型 Self-Referential Reuse：

> 已完成的 closure artifact 再次成為下一輪 expansion object。

---

# 9. $B_7$ Margin Functional

對 compact convex cover：

$$
U,
$$

與 target：

$$
B_7,
$$

定義 signed placement margin：

$$
M_U(B_7).
$$

Round 04 / Round 03 已有 cover-variable Lipschitz：

$$
\boxed{
|M_U(B_7)-M_V(B_7)|
\le
d_H(U,V).
}
$$

因此對 atlas cell：

$$
\mathcal B_j
$$

與 center hull：

$$
U_j,
$$

若有 certified：

$$
\underline m_j
\le
M_{U_j}(B_7),
$$

則對：

$$
v\in\mathcal B_j,
$$

有：

$$
\boxed{
M_{U(v)}(B_7)
\ge
\underline m_j
-
\tau(\mathcal B_j).
}
$$

---

# 10. Robust Cell Separator Rule

若：

$$
\boxed{
\underline m_j
-
\tau(\mathcal B_j)
>
0,
}
$$

則：

$$
B_7
$$

不能放入該 cell 內任何：

$$
U(v).
$$

所以整個 cell 被：

$$
B_7
$$

排除。

分類：

`PROVED`

---

# 11. Global $B_7$ Atlas Criterion

若對 minimizer atlas：

$$
\mathcal A_\varepsilon
=
\{
\mathcal B_1,\ldots,\mathcal B_J
\}
$$

所有 cells 都有：

$$
\underline m_j
-
\tau_j
>
0,
$$

則定義：

$$
\boxed{
s_7
=
\min_j
(
\underline m_j-\tau_j
).
}
$$

有：

$$
s_7>0.
$$

因此：

$$
\boxed{
M_U(B_7)
\ge
s_7
\qquad
\forall
U\in
\mathfrak M(\mathcal F_3).
}
$$

亦即：

$$
\boxed{
\delta_7
:=
\min_{
U\in\mathfrak M(\mathcal F_3)
}
M_U(B_7)
\ge
s_7
>
0.
}
$$

---

# 12. New Theorem — Exact Witness-Exchange Equivalence

令：

$$
\mathcal F
$$

為 finite witness family，

$$
\mathfrak M(\mathcal F)
$$

為其 compact minimizer-cover set。

令：

$$
\mathcal B
$$

為 finite new witness batch。

定義：

$$
\boxed{
S_{\mathcal F}(\mathcal B)
=
\min_{
U\in\mathfrak M(\mathcal F)
}
\max_{
K\in\mathcal B
}
M_U(K).
}
$$

則：

$$
\boxed{
\Lambda(
\mathcal F\cup\mathcal B
)
>
\Lambda(\mathcal F)
}
$$

若且唯若：

$$
\boxed{
S_{\mathcal F}(\mathcal B)
>
0.
}
$$

---

## Proof： $S>0\Rightarrow$ strict increase

Round 06 已證。

若：

$$
S_{\mathcal F}(\mathcal B)>0,
$$

則任何 old minimizer：

$$
U\in\mathfrak M(\mathcal F)
$$

至少漏掉 batch 中某個 witness。

所以不存在 area：

$$
\Lambda(\mathcal F)
$$

的 cover 能 cover：

$$
\mathcal F\cup\mathcal B.
$$

由 attainment：

$$
\Lambda(
\mathcal F\cup\mathcal B
)
>
\Lambda(\mathcal F).
$$

---

## Proof：strict increase $\Rightarrow S>0$

假設：

$$
\Lambda(
\mathcal F\cup\mathcal B
)
>
\Lambda(\mathcal F).
$$

則不存在：

$$
U\in\mathfrak M(\mathcal F)
$$

能 cover 全部：

$$
\mathcal B.
$$

所以對每個：

$$
U\in\mathfrak M(\mathcal F),
$$

都有：

$$
\max_{K\in\mathcal B}
M_U(K)>0.
$$

因：

$$
\mathcal B
$$

finite，

函數：

$$
U
\mapsto
\max_{K\in\mathcal B}M_U(K)
$$

continuous。

而：

$$
\mathfrak M(\mathcal F)
$$

compact。

所以 positive continuous function 在 compact set 上取得 positive minimum：

$$
\boxed{
S_{\mathcal F}(\mathcal B)>0.
}
$$

Q.E.D.

分類：

`PROVED / ROUND-06-STRENGTHENING`

---

# 13. Single-Witness Corollary

對單一 target：

$$
K,
$$

定義：

$$
\delta_{\mathcal F}(K)
=
\min_{
U\in\mathfrak M(\mathcal F)
}
M_U(K).
$$

則：

$$
\boxed{
\Lambda(
\mathcal F\cup\{K\}
)
>
\Lambda(\mathcal F)
\iff
\delta_{\mathcal F}(K)>0.
}
$$

若：

$$
\delta_{\mathcal F}(K)\le0,
$$

則至少存在一個 old minimizer：

$$
U^\star
$$

能容納：

$$
K,
$$

所以：

$$
\boxed{
\Lambda(
\mathcal F\cup\{K\}
)
=
\Lambda(\mathcal F).
}
$$

---

# 14. $B_7$ Gate Is Now Exact

取：

$$
\mathcal F
=
\mathcal F_3,
$$

$$
K=B_7.
$$

則：

$$
\boxed{
\Lambda(D,B_3,B_5,B_7)
>
\Lambda(D,B_3,B_5)
}
$$

若且唯若：

$$
\boxed{
\delta_7>0.
}
$$

所以 Cycle 01 的：

$$
\delta_7>0?
$$

不是 heuristic gate。

它是：

$$
\boxed{
\text{exact necessary-and-sufficient symbolic gate}.
}
$$

---

# 15. Numerical Evidence Status

Cycle 01 在一個 published near-minimum representative 上得到：

$$
M_{U_0}(B_7)
$$

finite-grid structural estimate約：

$$
7.6\times10^{-3}
$$

以上，尚未含完整 verified floating arithmetic。

Mishra 的 independent 8-dimensional numerical search 對：

$$
\{D,B_3,B_5,B_7\}
$$

報告 numerical family optimum：

$$
0.836494901.
$$

而三-body family numerical optimum：

$$
0.834780947.
$$

二者差約：

$$
\boxed{
0.001713954.
}
$$

這些都強烈支持：

$$
\delta_7>0,
$$

但仍然只是：

`NUMERICAL-EVIDENCE`

不能代替 atlas certificate。

---

# 16. Cost Interpretation

Mishra 的 scaling table 顯示：

對：

$$
D,B_3,B_5,
$$

接近 family ceiling 時 box count快速上升。

加入：

$$
B_7
$$

後 placement dimension：

$$
5\to8
$$

且 exhaustive subdivision更加昂貴。

因此：

$$
\boxed{
\text{直接對 8 維 family 重做 global lower certificate}
}
$$

不是目前最小的 proof obligation。

UESFCM 選擇較窄 gate：

$$
\boxed{
\text{5 維 minimizer atlas}
+
\text{one fixed }B_7\text{ separator test}.
}
$$

這是 target-anchored complexity reduction。

---

# 17. Atlas Semi-Decision Theorem

假設：

- box lower bounds consistent；
- atlas resolution：

$$
\varepsilon_n\to0;
$$

- center B7 margin certificate error：

$$
\zeta_n\to0.
$$

若：

$$
\delta_7>0,
$$

則存在 finite：

$$
n_\star
$$

使所有 atlas cells滿足：

$$
\underline m_j-\tau_j>0.
$$

所以：

$$
\boxed{
\delta_7>0
}
$$

會在有限 refinement 層被 certified。

---

## Proof Sketch

由：

$$
\delta_7>0
$$

與 compact minimizer set，存在 uniform positive margin：

$$
\delta_7.
$$

atlas cells center 到任一 contained minimizer cover 的 Hausdorff距離：

$$
\le
\tau_j
\to0.
$$

margin certificate error：

$$
\zeta_n\to0.
$$

充分細時：

$$
\tau_j+\zeta_n
<
\frac{\delta_7}{2}.
$$

因此每個 cell 的 certified robust lower margin：

$$
>
\frac{\delta_7}{2}
>
0.
$$

Q.E.D.

---

# 18. Boundary Case

如果：

$$
\delta_7=0,
$$

則存在 old minimizer：

$$
U^\star
$$

使：

$$
M_{U^\star}(B_7)=0.
$$

亦即 $B_7$ 可剛好放入某 old minimizer。

此時：

$$
\Lambda(D,B_3,B_5,B_7)
=
\Lambda(D,B_3,B_5).
$$

atlas separator search可能永久 refinement 在：

$$
U^\star
$$

附近。

這不是 algorithm failure。

它是：

$$
\boxed{
\text{mathematical boundary case}.
}
$$

---

# 19. Negative Case

若：

$$
\delta_7<0,
$$

則存在 old minimizer對：

$$
B_7
$$

有 strict fit slack。

充分精細 cell + upper margin certificate最終可產生：

$$
M_U(B_7)<0
$$

的 minimizer candidate。

此時：

$$
B_7
$$

不是 strict exchange witness。

UESFCM 不再繼續浪費主線資源在 $B_7$ 全域 separation，而回到 uncovered minimizer cells做新 witness expansion。

---

# 20. Trichotomy

因此 $B_7$ gate 有三種數學狀態：

$$
\boxed{
\delta_7>0
}
$$

strict exchange；

$$
\boxed{
\delta_7=0
}
$$

contact boundary / no strict gain；

$$
\boxed{
\delta_7<0
}
$$

old minimizer already contains $B_7$ with slack。

---

# 21. Atlas Data Schema

每個 minimizer cell 建議保存：

```text
cell_id
parent_id
center:
    x3
    y3
    rho5
    x5
    y5
halfwidth:
    h3x
    h3y
    hrho
    h5x
    h5y
beta_lower
family_ceiling
delta3
delta5
hausdorff_radius
B7_margin_lower_at_center
B7_margin_solver_error
B7_robust_margin
status
provenance
```

---

# 22. Cell Status

### `AREA-PRUNED`

$$
\beta(\mathcal B)>A_3^+.
$$

### `B7-EXCLUDED`

$$
\underline m_7-\tau>0.
$$

### `B7-FITS`

certified upper margin：

$$
\overline m_7+\tau<0.
$$

### `B7-BOUNDARY`

margin interval straddles zero at desired atlas resolution。

### `REFINE`

none of the above。

---

# 23. Cycle 02 Finite Closure

本輪沒有把大型 computation 假裝做完。

但 proof graph 已經從：

$$
\text{construct a minimizer atlas somehow}
$$

壓成：

$$
\boxed{
\text{replay / refine deterministic boxes using }
A_3^+=0.834781191
}
$$

以及：

$$
\boxed{
\text{certify }
\underline m_7-\tau>0
\text{ on every retained cell}.
}
$$

---

# 24. Updated Obligation Ledger

## O2 — Mishra-seed minimizer atlas

狀態：

`ALGORITHM / PROOF SCHEMA CLOSED`

`LARGE COMPUTATION DEFERRED`

---

## O3 — $B_7$ strict separator

等價 gate：

$$
\boxed{
\delta_7>0.
}
$$

狀態：

`EXACT GATE / COMPUTE-DEFERRED`

---

## O4 — New lower value

若：

$$
\delta_7>0,
$$

已能證：

$$
\Lambda(F_3\cup\{B_7\})
>
\Lambda(F_3).
$$

但 numerical threshold仍需新的 lower certificate。

狀態：

`QUALITATIVE STRICT IMPROVEMENT CONDITIONAL`

---

# 25. Recenter

Cycle 03 唯一主問題：

$$
\boxed{
\text{How small can the certified minimizer atlas be made,
and does }B_7\text{ exclude every retained cell?}
}
$$

若 large certificate data不方便在雲端直接 ingest：

1. 輸出 atlas-extractor runtime spec；
2. 本地端 replay Mishra certificate；
3. 只保留：

$$
\beta(\mathcal B)\le0.834781191
$$

的 branches；
4. 繼續 refine 到指定：

$$
\tau_{\max};
$$

5. 對 retained cells跑 $B_7$ margin verifier；
6. 回傳 finite atlas JSON / SQLite / compressed package。

---

# 26. UESFCM Method Observation

Cycle 02 再次完成：

$$
\text{external certificate}
\rightarrow
\text{self-referential reuse}
\rightarrow
\text{new exact gate}.
$$

原本的 486M-node certificate 不再只是：

> 0.8344 已經證過的歷史 artifact。

它被重新解釋成：

$$
\boxed{
\text{minimizer-space pruning oracle}.
}
$$

這正是 UESFCM 的核心：

> 已閉包的有限 artifact 可以再次成為同一 Target 下一輪展開的輸入，但仍然回到同一原始數學命題。

---

# 27. Cycle 02 Verdict

`EXPANSION: PASS`

`LINKBACK: PASS`

`MINIMIZER-ATLAS-THEOREM: PROVED`

`HULL-CELL-HAUSDORFF-RADIUS: PROVED`

`EXACT-WITNESS-EXCHANGE-EQUIVALENCE: PROVED`

`B7-GATE-NECESSARY-AND-SUFFICIENT: PROVED`

`B7-GLOBAL-SEPARATION: COMPUTE-DEFERRED`

`FINITE-CLOSURE: PASS`

`PROBLEM-PROOF-CLOSURE: OPEN`

---

# External References

1. Ujjwal Mishra, *Curves of constant width and Lebesgue's covering problem*, arXiv:2608.30538, 2026.
2. Mishra source-code repository linked from the paper, frozen for the published computation at commit `da956b117a`.
3. AMRAL-LUC-FC Round 01–06.
4. UESFCM-LUC Cycle 00–01.

---

# Canonical Source Declaration

本檔為 UESFCM × Lebesgue Cycle 02 的 UTF-8 Markdown canonical source。

數學 delimiter 僅使用 ` $...$ ` 與 `$$...$$`。

未執行的大型 atlas replay 不得寫成已完成 certificate。

===END===