# Lebesgue Extremal Shape Reconstruction
## Paper 00 — From Skew Fields to Variational Shape Closure
### 歪度場—拓樸—群軌道—支撐函數變分的統一交接

**文件代號：** LESR-SFVC-00-v0.1  
**版本：** v0.1  
**日期：** 2026-09-20  
**作者：** Neo.K  
**AI 協力研究者：** Aletheia / ChatGPT, GPT-5.6 Sol  
**機構：** EveMissLab／一言諾科技有限公司  
**狀態：** Methodological bridge / mathematical program specification  
**前置系列：** SKEW-CALC、GSC、RVSC、Geometric Skew、TGSA、TGSA-P、Subtractive Topology、UESFCM-LUC  
**直接前置文件：**
- `EML-NT-2026-SKEW-CALC_歪度計算綱領_v0.2`
- `Moser_歪度場研究初始化_v0.1`
- `減法拓撲學 v3.0`
- `UESFCM × Lebesgue Cycle 00–17`

---

# 0. 研究定位

本系列開始處理一個與 Lebesgue universal covering constant 同等重要、但此前尚未正式獨立封裝的問題：

$$
\boxed{
\text{如果面積上下界與有限 witness certificates 持續收斂，
那麼 extremal universal cover 本身究竟是什麼形狀？}
}
$$

此前 UESFCM-LUC 主線主要追蹤：

$$
\Delta_A
=
U-L,
$$

即面積上下界 gap。

但：

$$
\Delta_A\to0
$$

本身不推出：

$$
\text{shape uncertainty}\to0.
$$

不同凸體可能具有極接近面積，卻在局部 boundary geometry、support function、contact topology 上顯著不同。

因此新主線不取代 value closure，而是在其上增加：

$$
\boxed{
\textbf{Shape Closure}.
}
$$

本稿的任務不是直接猜出 Lebesgue extremal body，而是把既有歪度場成果與傳統凸幾何、拓樸、群論、變分法接成一個可執行研究架構。

核心鏈：

$$
\boxed{
\text{Topology Envelope}
\rightarrow
\text{Group-Orbit Expansion}
\rightarrow
\text{Skew-Field Perturbation}
\rightarrow
\text{Variational Calculus}
\rightarrow
\text{Skew / Convexity Projection}
\rightarrow
\text{Shape Closure}.
}
$$

---

# 1. 舊歪度場進度：不是從零開始

## 1.1 廣義歪度狀態

既有 SKEW-CALC v0.2 已將歪度從單一 residual：

$$
K=P-C
$$

提升為多分量狀態：

$$
\mathcal S^-
=
(
C,
K_h^-,
V_h^-,
A_h^-,
J_h^-,
Q_h^-,
\Phi_T,
\Theta
).
$$

其中：

- $K$：偏離場；
- $V$：歪速；
- $A$：歪加速度；
- $J$：生成／跳躍密度；
- $Q$：粗糙度／局部變差；
- $\Phi$：頻譜相位；
- $\Theta$：拓樸或代數定位狀態。

因此歪度計算的基本思想早已不是：

> 算一個 error。

而是：

$$
\boxed{
\text{把偏離本身提升成可更新、可比較、可追蹤的狀態變量。}
}
$$

---

# 2. 舊幾何歪度場進度：支撐函數接口已存在

既有 Moser 歪度場初始化稿已明確選擇支撐函數：

$$
h_S(\theta)
=
\sup_{x\in S}
x\cdot u_\theta,
\qquad
u_\theta=(\cos\theta,\sin\theta)
$$

作為凸幾何主接口。

對凸容器 $C$ 與候選曲線／凸體 $\gamma$，剛體放置：

$$
g_{\phi,t}\gamma
$$

滿足：

$$
h_{g_{\phi,t}\gamma}(\theta)
=
h_\gamma(\theta-\phi)
+
t\cdot u_\theta.
$$

並已定義支撐歪度場：

$$
\boxed{
K_{C,\gamma}
(\theta;\phi,t)
=
h_\gamma(\theta-\phi)
+
t\cdot u_\theta
-
h_C(\theta).
}
$$

幾何語義：

$$
K<0
\Rightarrow
\text{仍有容器餘量},
$$

$$
K=0
\Rightarrow
\text{支撐接觸},
$$

$$
K>0
\Rightarrow
\text{該方向逃逸}.
$$

以及：

$$
K^+
=
\max(K,0).
$$

---

# 3. 最佳放置歪度已經是 min–max 幾何

舊稿定義：

$$
E_C(\gamma)
=
\inf_{\phi,t}
\|
K^+_{C,\gamma}
(\cdot;\phi,t)
\|_\infty.
$$

所以：

$$
E_C(\gamma)=0
$$

等價於存在剛體放置，使 $\gamma$ 被 $C$ 完全包含。

Moser 型 convex universal cover 已被寫成：

$$
\inf_C A(C)
\quad
\text{subject to}
\quad
\sup_\gamma E_C(\gamma)=0.
$$

亦即：

$$
\boxed{
\min_{\text{container}}
\max_{\text{witness}}
\min_{\text{placement}}
\max_{\theta}
\text{positive support skew}.
}
$$

這是今天 Lebesgue finite-witness / minimizer-atlas / support-envelope研究的直接前驅。

---

# 4. 舊稿甚至已經有 Shape Update

既有 Moser 歪度稿不只定義 score。

它已經提出由最壞 witness產生 directional pressure：

$$
G_n(\theta)
=
[
K_{C_n,\gamma_n^\star}
(\theta;\phi^\star,t^\star)
]_+.
$$

以及概念容器更新：

$$
\boxed{
h_{C_{n+1}}
=
\Pi_{\mathcal H_{\mathrm{conv}}}
\left(
h_{C_n}
+
\eta G_n
-
\lambda S_n
\right).
}
$$

其中：

- $G_n$：必須向外擴張的方向；
- $S_n$：長期未使用的鬆弛方向；
- $\Pi_{\mathcal H_{\mathrm{conv}}}$：投影回合法凸支撐函數空間。

這表示：

$$
\boxed{
\text{Skew Field}
\rightarrow
\text{Shape Update}
}
$$

其實已經存在。

真正缺少的是：

> 什麼叫合法的 $\mathcal H_{\mathrm{conv}}$？

以及：

> 怎麼把概念 update 改成嚴格的連續變分、群軌道與拓樸分層？

---

# 5. 舊稿已有 Contact Topology

既有幾何歪度場定義活動方向集合：

$$
\mathcal A
=
\{
\theta:
K(\theta)=\|K\|_\infty
\}.
$$

並將接觸拓樸記為：

$$
\Theta
=
(
\text{活動方向數},
\text{循環順序},
\text{接觸段},
\text{邊／角接觸類型}
).
$$

同時已定義：

- 相位歪速；
- 相位歪加速度；
- active-contact switch density；
- angular roughness；
- Fourier phase／harmonic decomposition。

所以現在所需要的：

$$
\boxed{
\text{contact graph}
+
\text{topological stratum}
+
\text{group modes}
}
$$

並不是外加新語言。

它們是舊歪度場中：

$$
\Theta,\Phi,Q,J
$$

的幾何升級版。

---

# 6. 減法拓樸已提供「收斂底層」

Subtractive Topology v3.0 已建立：

- finite complex；
- subtraction morphism；
- strict rank descent；
- composition closure；
- finite termination；
- unique empty fixed point。

本系列不把 Lebesgue shape literal 地離散成「一定要刪到空」。

更有用的接口是：

$$
\boxed{
\text{finite structural responsibility can be represented by a descending combinatorial state.}
}
$$

因此拓樸在本系列中負責：

1. 最大允許形狀／接觸底空間；
2. 最小已被 certificates 強迫保留的 skeleton；
3. topology-change gate；
4. finite stratification；
5. closure responsibility ledger。

這裡拓樸不是 area metric。

它是：

$$
\boxed{
\text{shape-space organization layer}.
}
$$

---

# 7. 新主對象：支撐函數形狀空間

對平面 compact convex body：

$$
K\subset\mathbb R^2,
$$

以：

$$
h_K:S^1\to\mathbb R
$$

表示其支撐函數。

定義研究形狀空間：

$$
\mathscr H_{\mathrm{conv}}
=
\{
h:
h\text{ is a }2\pi\text{-periodic support function}
\}.
$$

Lebesgue extremal shape reconstruction 改寫為：

$$
\boxed{
\text{在 }
\mathscr H_{\mathrm{conv}}
\text{ 中尋找 universal-cover feasible 的 extremal }h^\star.
}
$$

---

# 8. 傳統凸幾何關鍵接口：曲率測度

對 $C^2$ support function：

$$
h(\theta),
$$

定義：

$$
\boxed{
\rho_h(\theta)
=
h(\theta)+h''(\theta).
}
$$

它是 radius-of-curvature density。

凸性要求：

$$
\boxed{
h+h''
\ge0.
}
$$

更一般對非光滑凸體，

$$
h''+h
$$

應理解為非負測度：

$$
\boxed{
\mu_h
=
h''+h
\ge0
}
$$

in distributional sense。

因此：

$$
\boxed{
\mathscr H_{\mathrm{conv}}
=
\{
h:
h''+h\text{ is a nonnegative measure}
\}
}
$$

可作為本系列的主要解析模型。

---

# 9. 這就是歪度場「約束回來」的硬數學

舊稿中的：

$$
\Pi_{\mathcal H_{\mathrm{conv}}}
$$

現在獲得具體內容。

若群論 seed：

$$
h_G
$$

被歪度場擾動：

$$
h_\varepsilon
=
h_G
+
\varepsilon\Xi,
$$

則其曲率測度：

$$
\mu_\varepsilon
=
(h_G+h_G'')
+
\varepsilon(
\Xi+\Xi''
).
$$

所以合法外展要求：

$$
\boxed{
\mu_G
+
\varepsilon
(\Xi+\Xi'')
\ge0.
}
$$

這正是：

> 歪度場製造不規則候補，然後歪度／幾何約束把它拉回合法域。

---

# 10. 定義 — Skew-Admissible Perturbation

給定凸 seed：

$$
h,
$$

定義 perturbation：

$$
\Xi:S^1\to\mathbb R.
$$

若存在：

$$
\varepsilon_0>0
$$

使對：

$$
|\varepsilon|\le\varepsilon_0
$$

皆有：

$$
\boxed{
\mu_h
+
\varepsilon
(\Xi+\Xi'')
\ge0,
}
$$

則稱：

$$
\Xi
$$

為 $h$ 的局部 skew-admissible perturbation。

記：

$$
\boxed{
\Xi\in
T_h^{\mathrm{skew}}
\mathscr H_{\mathrm{conv}}.
}
$$

這不是完整 Banach tangent-cone 公理化。

它是本系列第一版可計算 admissibility condition。

---

# 11. 群論層：內部展開不是單純去重

令：

$$
G
\curvearrowright
\mathscr H_{\mathrm{conv}}.
$$

對 seed：

$$
h_0,
$$

群軌道：

$$
\boxed{
\mathcal O_G(h_0)
=
\{
g\cdot h_0:
g\in G
\}.
}
$$

stabilizer：

$$
\boxed{
G_{h_0}
=
\{
g\in G:
g\cdot h_0=h_0
\}.
}
$$

內部展開包括：

1. orbit-equivalent shapes；
2. stabilizer-preserving branches；
3. symmetry-breaking branches；
4. quotient representatives；
5. isotropy-type changes。

因此群論在此有雙重作用：

$$
\boxed{
\text{redundancy quotient}
+
\text{branch generator}.
}
$$

---

# 12. Euclidean Group 的特殊角色

對平面 rigid motions：

$$
E(2)
=
SO(2)\ltimes\mathbb R^2.
$$

平移：

$$
t=(a,b)
$$

作用於 support function：

$$
h(\theta)
\mapsto
h(\theta)
+
a\cos\theta
+
b\sin\theta.
$$

所以一階 Fourier modes：

$$
\boxed{
\cos\theta,\sin\theta
}
$$

不是 intrinsic shape change。

它們只是 translation gauge。

旋轉：

$$
h(\theta)
\mapsto
h(\theta-\phi).
$$

無窮小旋轉方向：

$$
\boxed{
\delta_{\mathrm{rot}}h
=
-h'.
}
$$

因此 shape reconstruction 應工作在 quotient：

$$
\boxed{
\mathscr H_{\mathrm{shape}}
=
\mathscr H_{\mathrm{conv}}/E(2).
}
$$

---

# 13. Fourier／表示論交接

令 perturbation：

$$
\Xi(\theta)
=
a_0
+
\sum_{m\ge1}
(
a_m\cos m\theta
+
b_m\sin m\theta
).
$$

則：

$$
(\partial_\theta^2+1)\Xi
=
a_0
+
\sum_{m\ge1}
(1-m^2)
(
a_m\cos m\theta
+
b_m\sin m\theta
).
$$

因此：

## $m=0$

scale / mean-support mode。

## $m=1$

$$
1-m^2=0,
$$

即 translation kernel。

## $m\ge2$

真正改變：

$$
\mu_h=h+h''
$$

的 shape modes。

所以舊 Moser 歪度稿中：

> 平移主要消去一階 harmonic，高階 harmonic 反映真實形狀不匹配

現在獲得一個直接 convex-geometric explanation。

---

# 14. 對稱群的內部 mode decomposition

若 seed 具有 stabilizer：

$$
H
\subseteq O(2),
$$

則 perturbation space可依 $H$ 的 irreducible representations 分解：

$$
\boxed{
\Xi
=
\Xi_{\mathrm{sym}}
+
\Xi_{\mathrm{break}}.
}
$$

例如若 seed 具有：

$$
D_n
$$

對稱，

某些 Fourier modes保存對稱，

其餘 modes 產生 symmetry breaking。

因此：

$$
\boxed{
\text{Group Orbit}
\rightarrow
\text{representation modes}
\rightarrow
\text{controlled symmetry breaking}.
}
$$

這就是本系列所稱：

> 群論在內部展開。

---

# 15. 歪度場在群軌道之外製造不規則候補

定義 group-generated seed：

$$
h_G.
$$

再施加：

$$
\Xi_{\mathrm{break}}
$$

得到：

$$
\boxed{
h
=
h_G
+
\varepsilon\Xi_{\mathrm{break}}.
}
$$

若：

$$
\Xi_{\mathrm{break}}
$$

不是 stabilizer invariant，

則：

$$
G_h
\subsetneq
G_{h_G}
$$

可能發生 symmetry breaking。

所以不規則 candidate不是：

$$
\text{random noise}.
$$

而是：

$$
\boxed{
\text{group-decomposed skew modes constrained by convexity}.
}
$$

---

# 16. 第一個真正的傳統微積分接口：Area Functional

對足夠光滑的凸體：

$$
\boxed{
A[h]
=
\frac12
\int_0^{2\pi}
\left(
h^2-(h')^2
\right)
d\theta.
}
$$

等價：

$$
A[h]
=
\frac12
\int_0^{2\pi}
h
(h+h'')
d\theta.
$$

即：

$$
\boxed{
A[h]
=
\frac12
\int
h\,d\mu_h.
}
$$

這是 Shape Closure 微積分的主要 objective。

---

# 17. First Variation

取：

$$
h_\varepsilon
=
h+\varepsilon\phi.
$$

則：

$$
\frac{d}{d\varepsilon}
A[h+\varepsilon\phi]
\Big|_{\varepsilon=0}
=
\int_0^{2\pi}
\phi(h+h'')\,d\theta.
$$

所以：

$$
\boxed{
\delta A[h;\phi]
=
\int
\phi\,d\mu_h.
}
$$

這是一個非常關鍵的接口：

> 面積的一階變化，由 perturbation 與當前 curvature measure配對決定。

---

# 18. Translation Modes 自動消失

令：

$$
\phi(\theta)
=
a\cos\theta+b\sin\theta.
$$

則：

$$
\phi''+\phi=0.
$$

因此平移不改變：

$$
\mu_h.
$$

同時面積在平移下不變：

$$
\delta A=0.
$$

所以：

$$
\boxed{
m=1
\text{ harmonic = group gauge mode, not shape descent mode}.
}
$$

這把：

- 支撐歪度；
- 群論；
- Fourier；
- 變分微積分

在同一個公式上接起來。

---

# 19. Second Variation

沿線性 support perturbation：

$$
h_\varepsilon=h+\varepsilon\phi,
$$

有：

$$
\boxed{
\delta^2A[\phi]
=
\int_0^{2\pi}
\left(
\phi^2-(\phi')^2
\right)
d\theta.
}
$$

注意：

$$
\delta^2A
$$

不對任意 $\phi$ 自動非負。

所以：

$$
\boxed{
\text{stationary}
\neq
\text{local minimum}.
}
$$

真正 extremal shape 必須在：

- convexity tangent cone；
- universal-cover feasible directions；
- topology stratum；
- group quotient

共同允許的 directions 上做 second-variation stability。

---

# 20. 拓樸層：Shape Space 必須分 strata

當 active-contact cyclic order不變時，

shape屬於同一局部 contact stratum：

$$
\mathscr S_\Gamma.
$$

其中：

$$
\Gamma
$$

可包含：

- active witness；
- support winner；
- cyclic contact order；
- tangent bridge；
- arc／corner type；
- stabilizer type。

在：

$$
\mathscr S_\Gamma
$$

內，

傳統微分／變分方法可以使用。

當：

- contact出現或消失；
- crossing reorder；
- corner／arc branch切換；
- stabilizer改變；

則：

$$
\Gamma
\rightarrow
\Gamma'
$$

發生 topology-stratum transition。

此時舊歪度計算的 topology gate：

$$
\tau
$$

應觸發：

$$
\boxed{
\text{local calculus reset / chart switch}.
}
$$

---

# 21. 最大底空間與最小底空間

依本系列用語，定義：

$$
\mathscr T_{\max}^{(n)}
$$

為第 $n$ 輪所有仍未被排除的 admissible shape/contact strata。

定義：

$$
\mathscr T_{\min}^{(n)}
$$

為第 $n$ 輪所有 near-optimal／certificate-compatible candidates共同必須包含的 stable structural skeleton。

因此：

$$
\boxed{
\mathscr T_{\min}^{(n)}
\preceq
\mathscr T^\star
\preceq
\mathscr T_{\max}^{(n)}.
}
$$

這不是經典拓樸學中的固定標準記號。

它是本系列的 research-state topology envelope。

---

# 22. Shape Corridor

對第 $n$ 輪仍可能為 extremal 的形狀集合：

$$
\mathcal C_n,
$$

定義：

$$
\underline h_n(\theta)
=
\inf_{h\in\mathcal C_n}
h(\theta),
$$

$$
\overline h_n(\theta)
=
\sup_{h\in\mathcal C_n}
h(\theta).
$$

得到：

$$
\boxed{
\underline h_n
\le
h^\star
\le
\overline h_n.
}
$$

定義 support uncertainty：

$$
\boxed{
\Delta_h^{(n)}
=
\|
\overline h_n-\underline h_n
\|_\infty.
}
$$

---

# 23. Contact Uncertainty

令所有仍可能的 contact graphs集合：

$$
\mathfrak G_n.
$$

若：

$$
|\mathfrak G_n|=1,
$$

則 contact topology已穩定。

更一般可定義：

$$
\boxed{
\Delta_\Gamma^{(n)}
=
\operatorname{Complexity}
(\mathfrak G_n).
}
$$

其具體 complexity metric可使用：

- graph edit diameter；
- number of admissible strata；
- unresolved transitions；
- active-contact symmetric difference。

---

# 24. Group Uncertainty

令仍可能的 stabilizer classes：

$$
\mathfrak H_n.
$$

則可追蹤：

$$
\boxed{
\Delta_G^{(n)}
=
\operatorname{Complexity}
(\mathfrak H_n).
}
$$

若：

$$
\Delta_G\to0,
$$

則 extremal shape 的 symmetry type被確定。

---

# 25. Shape Closure 不再只追一個 gap

完整閉包狀態至少追蹤：

$$
\boxed{
\Delta_A,
\quad
\Delta_h,
\quad
\Delta_\Gamma,
\quad
\Delta_G.
}
$$

其中：

$$
\Delta_A
=
U-L
$$

是 value gap；

$$
\Delta_h
$$

是 support-function corridor；

$$
\Delta_\Gamma
$$

是 contact-topology uncertainty；

$$
\Delta_G
$$

是 symmetry/stabilizer uncertainty。

真正的 extremal-shape reconstruction要求：

$$
\boxed{
(
\Delta_A,
\Delta_h,
\Delta_\Gamma,
\Delta_G
)
\rightarrow
0
}
$$

或收斂到一個可明確描述的 asymptotic shape class。

---

# 26. 新 Shape Flow

舊稿：

$$
h_{n+1}
=
\Pi_{\mathcal H_{\mathrm{conv}}}
(
h_n+\eta G_n-\lambda S_n
)
$$

現在升級為 continuous flow。

令：

$$
\mathcal V[h]
$$

表示由：

- area descent；
- witness pressure；
- skew-field perturbation；
- contact pressure

組成的 raw variation。

則：

$$
\boxed{
\partial_t h
=
\Pi_{
T_h\mathscr H_{\mathrm{conv}}
\cap
T_h\mathscr T
\cap
G^\perp
}
\mathcal V[h].
}
$$

其中：

- $T_h\mathscr H_{\mathrm{conv}}$：凸性 tangent cone；
- $T_h\mathscr T$：當前 topology/contact stratum允許方向；
- $G^\perp$：移除純群軌道／gauge directions。

---

# 27. 注意：Gradient 依賴 Metric

不能直接把：

$$
\delta A[h;\phi]
=
\int\phi\,d\mu_h
$$

偷寫成唯一的：

$$
\nabla A.
$$

要定義 gradient flow，必須先選 shape-space metric：

$$
\langle\cdot,\cdot\rangle_{\mathcal M}.
$$

例如：

- $L^2(S^1)$；
- Sobolev $H^1$；
- curvature-weighted metric；
- support-measure metric。

所以本稿只固定 first variation。

gradient representation留給後續文章。

這是必要的數學邊界。

---

# 28. Skew Projection

將 raw candidate：

$$
\widetilde h
=
h+\Delta h
$$

投影回：

$$
\boxed{
\mathcal A_n
=
\mathscr H_{\mathrm{conv}}
\cap
[\underline h_n,\overline h_n]
\cap
\mathscr T_{\max}^{(n)}
\cap
\mathcal F_n,
}
$$

其中：

$$
\mathcal F_n
$$

為第 $n$ 輪已知 universal-cover / witness constraints。

所以 skew field不是只負責「弄歪」。

它同時負責：

$$
\boxed{
\text{explore outside the group orbit}
+
\text{project back into the currently legal corridor}.
}
$$

---

# 29. No-Slack Boundary Principle — Programmatic Form

若 extremal candidate的一段 boundary sector：

$$
I
$$

對所有 active / limiting witness constraints都有 strict slack，

且存在一個 convexity-preserving inward perturbation：

$$
\phi<0
\quad
\text{on }I
$$

不破壞 universal-cover feasibility，

則：

$$
\delta A[h;\phi]<0
$$

將與 extremality矛盾。

因此 extremal boundary應滿足一種：

$$
\boxed{
\text{No-Slack Boundary Principle}.
}
$$

目前狀態：

`PROGRAMMATIC PRINCIPLE`

尚未對 Lebesgue universal-cover continuum constraints完成正式 theorem。

---

# 30. Infinite-Dimensional KKT 方向

若 universal-cover constraints寫成：

$$
C_\lambda[h]\ge0,
\qquad
\lambda\in\Lambda,
$$

則 extremal condition預期形成：

$$
\boxed{
\delta A[h;\phi]
-
\int_\Lambda
\mu(d\lambda)
\,
\delta C_\lambda[h;\phi]
=
0
}
$$

對所有 admissible $\phi$。

其中：

$$
\mu
$$

是 active constraint multiplier measure。

這會把：

- finite witness pressure；
- active support contacts；
- limiting witness family

統一成一個 dual pressure object。

這是後續主題，不在 Paper 00 宣稱完成。

---

# 31. 有限 Skeleton vs Asymptotic Shape

本系列不預設 extremal body一定由有限個 arcs／segments描述。

需要區分：

## Finite Stabilization

存在有限：

$$
N
$$

使 contact graph、support pieces與 symmetry type從此穩定。

則 extremal shape可能可由 finite equation system完整描述。

## Asymptotic Shape

每次 refinement仍產生新 active contacts：

$$
\Gamma_1
\prec
\Gamma_2
\prec
\cdots
$$

但：

$$
h_n
\to
h^\star.
$$

則 extremal shape可能只能由 limiting support function／measure描述。

UESFCM 必須允許兩種結局。

---

# 32. Lebesgue 線的實際接法

目前 UESFCM-LUC 已經有：

- finite witness hierarchy；
- support-envelope exact kernel；
- minimizer atlas；
- active contact skeletons；
- reflection quotient；
- contact transitions；
- shape candidates；
- certified lower/upper states。

因此新的 Shape Closure 不需要另起一個完全獨立 project。

它應該讀取每輪 finite closure輸出：

$$
\boxed{
(
\text{witness},
\text{placement},
\text{support winners},
\text{contact graph},
\text{area bounds}
)
}
$$

並更新：

$$
(
\underline h,
\overline h,
\mathfrak G,
\mathfrak H
).
$$

---

# 33. 新研究資料結構

建議每個 candidate shape state保存：

```text
ShapeState:
    support_lower
    support_upper
    curvature_measure_lower
    curvature_measure_upper

    topology_min
    topology_max
    contact_graph_candidates

    group
    stabilizer_candidates
    gauge

    skew_modes
    allowed_variations
    forbidden_variations

    first_variation_bounds
    second_variation_bounds

    lower_area
    upper_area

    proof_dependencies
    unresolved_shape_obligations
```

---

# 34. 傳統延伸系列

從本稿開始，後續可以自然拆為：

## Paper 01
**Topology Envelope and Stratified Shape Space**

正式化：

$$
\mathscr T_{\min},
\mathscr T_{\max},
\mathscr S_\Gamma.
$$

## Paper 02
**Group-Orbit Shape Expansion and Symmetry Breaking**

正式化：

$$
G\curvearrowright\mathscr H,
\quad
G_h,
\quad
\text{Fourier / irrep modes}.
$$

## Paper 03
**Support-Function Variational Calculus**

正式化：

$$
\mu_h=h+h'',
$$

$$
\delta A,
\quad
\delta^2A,
$$

與非光滑 measure version。

## Paper 04
**Skew-Constrained Shape Flow**

正式化 projected flow 與 admissible skew field。

## Paper 05
**Contact Pressure, KKT Measures, and No-Slack Boundary**

接 universal-cover witness family。

## Paper 06
**Lebesgue Extremal Shape Closure**

將 value closure 與 shape closure真正合併。

---

# 35. 第一個新 exact gate

下一篇不直接做 Lebesgue optimum。

先建立：

$$
\boxed{
\text{Support-Function Admissible Variation Compiler}.
}
$$

輸入：

$$
(h,\Xi,\varepsilon).
$$

輸出：

1. convexity是否合法；
2. translation／rotation gauge是否已移除；
3. topology stratum是否穩定；
4. curvature measure變化；
5. first area variation；
6. second area variation；
7. 是否跨越 contact-topology gate。

這會是：

$$
\boxed{
\text{Skew Field}
\rightarrow
\text{Calculus}
}
$$

的第一個可執行交接器。

---

# 36. 本稿結論

此前歪度場系列已經提供：

$$
\boxed{
K,V,A,J,Q,\Phi,\Theta
}
$$

以及支撐歪度：

$$
K_{C,\gamma},
$$

最佳放置歪度：

$$
E_C(\gamma),
$$

和 convex-support projection式 shape update。

因此新系列不是另起爐灶。

真正缺失的只有：

$$
\boxed{
\text{把「歪度更新」提升成「形狀空間上的合法變分」。}
}
$$

傳統凸幾何提供：

$$
\boxed{
\mu_h=h+h''\ge0
}
$$

作為合法性核心。

群論提供：

$$
\boxed{
\text{orbit / stabilizer / symmetry-breaking modes}
}
$$

作為內部展開器。

拓樸提供：

$$
\boxed{
\text{max/min envelope + contact strata}
}
$$

作為底空間。

微積分提供：

$$
\boxed{
\delta A,\delta^2A,\text{shape flow}
}
$$

作為連續逼近器。

最後歪度場再次負責：

$$
\boxed{
\text{生成不規則候補}
+
\text{投影回合法 shape corridor}.
}
$$

因此新的主鏈正式確立：

$$
\boxed{
\text{Topology Envelope}
\rightarrow
\text{Group Orbit}
\rightarrow
\text{Skew Perturbation}
\rightarrow
\text{Variational Expansion}
\rightarrow
\text{Skew / Convexity Projection}
\rightarrow
\text{Shape Closure}.
}
$$

---

# Canonical Source Declaration

本檔為 `Lebesgue Extremal Shape Reconstruction / Skew-Field Variational Calculus` 系列 Paper 00 的 UTF-8 Markdown canonical source。

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

本稿嚴格區分：

- 舊歪度場既有定義；
- 經典凸幾何接口；
- 本系列新增 research-state definitions；
- programmatic principles；
- 尚未完成的 Lebesgue-specific theorems。

===END===