# Lebesgue Extremal Shape Reconstruction
## Paper 00 — From Skew Fields to Variational Shape Closure
### The Unified Handoff of Skew Field — Topology — Group Orbit — Support-Function Variation

**Document code:** LESR-SFVC-00-v0.1  
**Version:** v0.1  
**Date:** 2026-09-20  
**Author:** Neo.K  
**AI research collaborator:** Aletheia / ChatGPT, GPT-5.6 Sol  
**Institution:** EveMissLab / Yiyannuo Technology Co., Ltd.  
**Status:** Methodological bridge / mathematical program specification  
**Prerequisite series:** SKEW-CALC, GSC, RVSC, Geometric Skew, TGSA, TGSA-P, Subtractive Topology, UESFCM-LUC  
**Direct prerequisite documents:**
- `EML-NT-2026-SKEW-CALC_Skew-Field_Computation_Program_v0.2`
- `Moser_Skew-Field_Research_Initialization_v0.1`
- `Subtractive Topology v3.0`
- `UESFCM × Lebesgue Cycle 00–17`

---

# 0. Research Positioning

This series begins work on a problem as important as the Lebesgue universal covering constant itself, but not previously formally and independently packaged:

$$
\boxed{
\text{If the area upper and lower bounds and the finite witness certificates keep
converging, what shape is the extremal universal cover itself?}
}
$$

Previously, the UESFCM-LUC main line mainly tracked:

$$
\Delta_A
=
U-L,
$$

i.e., the area upper/lower-bound gap.

But:

$$
\Delta_A\to0
$$

does not by itself imply:

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

Different convex bodies can have very close areas while differing markedly in local boundary geometry, support function, and contact topology.

So the new research line does not replace value closure, but adds to it:

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

This paper's task is not to directly guess the Lebesgue extremal body, but to connect the existing skew-field results with traditional convex geometry, topology, group theory, and the calculus of variations into one executable research architecture.

Core chain:

$$
\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. Prior Skew-Field Progress: Not Starting From Zero

## 1.1 Generalized Skew State

The existing SKEW-CALC v0.2 has already elevated the skew from a single residual:

$$
K=P-C
$$

into a multi-component state:

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

where:

- $K$: the deviation field;
- $V$: skew velocity;
- $A$: skew acceleration;
- $J$: generation/jump density;
- $Q$: roughness/local variation;
- $\Phi$: spectral phase;
- $\Theta$: topological or algebraic localization state.

So the basic idea of skew-field computation has long since stopped being:

> computing an error.

and has instead become:

$$
\boxed{
\text{Elevating the deviation itself into an updatable, comparable, trackable state variable.}
}
$$

---

# 2. Prior Geometric Skew-Field Progress: The Support-Function Interface Already Exists

The existing Moser skew-field initialization draft has already settled on the support function:

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

as the main convex-geometry interface.

For a convex container $C$ and a candidate curve/convex body $\gamma$, the rigid-motion placement:

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

satisfies:

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

and has already defined the support skew field:

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

Geometric semantics:

$$
K<0
\Rightarrow
\text{container margin remains},
$$

$$
K=0
\Rightarrow
\text{support contact},
$$

$$
K>0
\Rightarrow
\text{escape in that direction}.
$$

and:

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

---

# 3. Optimal-Placement Skew Is Already Min–Max Geometry

The prior draft defines:

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

So:

$$
E_C(\gamma)=0
$$

is equivalent to the existence of a rigid-motion placement under which $\gamma$ is fully contained in $C$.

The Moser-type convex universal cover has already been written as:

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

that is:

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

This is the direct precursor of today's Lebesgue finite-witness / minimizer-atlas / support-envelope research.

---

# 4. The Prior Draft Already Has a Shape Update, Too

The existing Moser skew-field draft does not stop at defining a score.

It has already proposed directional pressure generated by the worst-case witness:

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

and a conceptual container update:

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

where:

- $G_n$: the direction that must expand outward;
- $S_n$: a long-unused slack direction;
- $\Pi_{\mathcal H_{\mathrm{conv}}}$: projection back into the legal convex support-function space.

This means:

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

already existed.

What is genuinely missing is:

> what counts as a legal $\mathcal H_{\mathrm{conv}}$?

and:

> how do we turn the conceptual update into rigorous continuous variation, group orbits, and a topological stratification?

---

# 5. The Prior Draft Already Has Contact Topology

The existing geometric skew field defines the set of active directions:

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

and records the contact topology as:

$$
\Theta
=
(
\text{number of active directions},
\text{cyclic order},
\text{contact segments},
\text{edge/corner contact type}
).
$$

It has also already defined:

- phase skew velocity;
- phase skew acceleration;
- active-contact switch density;
- angular roughness;
- Fourier phase/harmonic decomposition.

So what is now needed:

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

is not extra new vocabulary.

These are the geometric upgrade of:

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

from the prior skew field.

---

# 6. Subtractive Topology Already Supplies a "Convergence Substrate"

Subtractive Topology v3.0 has already established:

- finite complex;
- subtraction morphism;
- strict rank descent;
- composition closure;
- finite termination;
- unique empty fixed point.

This series does not literally discretize the Lebesgue shape into "must be deleted down to empty."

The more useful interface is:

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

So topology in this series is responsible for:

1. the maximal admissible shape/contact base space;
2. the minimal skeleton already forced to be retained by the certificates;
3. the topology-change gate;
4. finite stratification;
5. the closure responsibility ledger.

Here topology is not an area metric.

It is:

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

---

# 7. The New Primary Object: Support-Function Shape Space

For a planar compact convex body:

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

let:

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

denote its support function.

Define the research shape space:

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

Lebesgue extremal shape reconstruction is rewritten as:

$$
\boxed{
\text{Searching within }
\mathscr H_{\mathrm{conv}}
\text{ for a universal-cover-feasible extremal }h^\star.
}
$$

---

# 8. The Key Traditional-Convex-Geometry Interface: The Curvature Measure

For a $C^2$ support function:

$$
h(\theta),
$$

define:

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

This is the radius-of-curvature density.

Convexity requires:

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

More generally, for a non-smooth convex body,

$$
h''+h
$$

should be understood as a nonnegative measure:

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

in the distributional sense.

Hence:

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

can serve as this series' primary analytic model.

---

# 9. This Is the Hard Mathematics Behind the Skew Field Being Pulled Back into Constraint

The

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

from the prior draft now acquires concrete content.

If a group-theoretic seed:

$$
h_G
$$

is perturbed by the skew field:

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

then its curvature measure is:

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

So legal outward expansion requires:

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

This is exactly:

> the skew field manufactures irregular candidates, and the skew/geometric constraint then pulls them back into the legal domain.

---

# 10. Definition — Skew-Admissible Perturbation

Given a convex seed:

$$
h,
$$

define a perturbation:

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

If there exists:

$$
\varepsilon_0>0
$$

such that for all:

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

we have:

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

then:

$$
\Xi
$$

is called a local skew-admissible perturbation of $h$.

We write:

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

This is not a full Banach tangent-cone axiomatization.

It is this series' first computable admissibility condition.

---

# 11. The Group-Theoretic Layer: Internal Expansion Is Not Mere Deduplication

Let:

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

For a seed:

$$
h_0,
$$

the group orbit:

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

the stabilizer:

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

Internal expansion includes:

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

So group theory here plays a dual role:

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

---

# 12. The Special Role of the Euclidean Group

For planar rigid motions:

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

Translation:

$$
t=(a,b)
$$

acts on the support function as:

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

So the first-order Fourier modes:

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

are not an intrinsic shape change.

They are merely translation gauge.

Rotation:

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

The infinitesimal rotation direction:

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

So shape reconstruction should work on the quotient:

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

---

# 13. The Fourier/Representation-Theory Handoff

Let the perturbation be:

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

Then:

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

So:

## $m=0$

the scale/mean-support mode.

## $m=1$

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

i.e., the translation kernel.

## $m\ge2$

the shape modes that genuinely change:

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

So the statement in the prior Moser skew-field draft that:

> translation mainly cancels the first-order harmonic, while higher-order harmonics reflect the true shape mismatch

now acquires a direct convex-geometric explanation.

---

# 14. Internal Mode Decomposition of the Symmetry Group

If the seed has stabilizer:

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

then the perturbation space can be decomposed according to the irreducible representations of $H$:

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

For example, if the seed has:

$$
D_n
$$

symmetry,

certain Fourier modes preserve the symmetry,

while the remaining modes produce symmetry breaking.

So:

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

This is what this series calls:

> group theory expanding internally.

---

# 15. The Skew Field Manufactures Irregular Candidates Outside the Group Orbit

Define the group-generated seed:

$$
h_G.
$$

Applying:

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

gives:

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

If:

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

is not stabilizer-invariant,

then:

$$
G_h
\subsetneq
G_{h_G}
$$

may occur — symmetry breaking.

So the irregular candidate is not:

$$
\text{random noise}.
$$

but rather:

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

---

# 16. The First Genuine Traditional-Calculus Interface: The Area Functional

For a sufficiently smooth convex body:

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

Equivalently:

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

that is:

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

This is the main objective of Shape Closure calculus.

---

# 17. First Variation

Take:

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

Then:

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

So:

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

This is a very key interface:

> the first-order change in area is determined by pairing the perturbation with the current curvature measure.

---

# 18. Translation Modes Automatically Vanish

Let:

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

Then:

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

So translation does not change:

$$
\mu_h.
$$

and area is likewise invariant under translation:

$$
\delta A=0.
$$

So:

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

This connects:

- support skew;
- group theory;
- Fourier analysis;
- variational calculus

together within a single formula.

---

# 19. Second Variation

Along a linear support perturbation:

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

we have:

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

Note that:

$$
\delta^2A
$$

is not automatically nonnegative for arbitrary $\phi$.

So:

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

A genuine extremal shape must have second-variation stability on the directions jointly admitted by:

- the convexity tangent cone;
- universal-cover-feasible directions;
- the topology stratum;
- the group quotient.

---

# 20. The Topological Layer: The Shape Space Must Be Split Into Strata

While the active-contact cyclic order is unchanged,

the shape belongs to the same local contact stratum:

$$
\mathscr S_\Gamma.
$$

where:

$$
\Gamma
$$

can include:

- active witness;
- support winner;
- cyclic contact order;
- tangent bridge;
- arc/corner type;
- stabilizer type.

Within:

$$
\mathscr S_\Gamma
$$

traditional differential/variational methods can be used.

When:

- a contact appears or disappears;
- a crossing reorders;
- a corner/arc branch switches;
- the stabilizer changes;

then:

$$
\Gamma
\rightarrow
\Gamma'
$$

a topology-stratum transition occurs.

At that point, the prior skew-field computation's topology gate:

$$
\tau
$$

should trigger:

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

---

# 21. The Maximal Base Space and the Minimal Base Space

Using this series' own terminology, define:

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

as all admissible shape/contact strata not yet excluded at round $n$.

Define:

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

as the stable structural skeleton that all near-optimal/certificate-compatible candidates at round $n$ must jointly contain.

Hence:

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

This is not a fixed standard notation from classical topology.

It is this series' own research-state topology envelope.

---

# 22. Shape Corridor

For the set of shapes still possibly extremal at round $n$:

$$
\mathcal C_n,
$$

define:

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

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

which gives:

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

Define the support uncertainty:

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

---

# 23. Contact Uncertainty

Let the set of all still-possible contact graphs be:

$$
\mathfrak G_n.
$$

If:

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

then the contact topology has already stabilized.

More generally, define:

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

Its concrete complexity metric may use:

- graph edit diameter;
- number of admissible strata;
- unresolved transitions;
- active-contact symmetric difference.

---

# 24. Group Uncertainty

Let the still-possible stabilizer classes be:

$$
\mathfrak H_n.
$$

Then we can track:

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

If:

$$
\Delta_G\to0,
$$

then the symmetry type of the extremal shape is determined.

---

# 25. Shape Closure No Longer Tracks Just One Gap

The full closure state tracks at least:

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

where:

$$
\Delta_A
=
U-L
$$

is the value gap;

$$
\Delta_h
$$

is the support-function corridor;

$$
\Delta_\Gamma
$$

is the contact-topology uncertainty;

$$
\Delta_G
$$

is the symmetry/stabilizer uncertainty.

Genuine extremal-shape reconstruction requires:

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

or convergence to an explicitly describable asymptotic shape class.

---

# 26. The New Shape Flow

The prior draft's:

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

is now upgraded to a continuous flow.

Let:

$$
\mathcal V[h]
$$

denote the raw variation composed of:

- area descent;
- witness pressure;
- skew-field perturbation;
- contact pressure.

Then:

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

where:

- $T_h\mathscr H_{\mathrm{conv}}$: the convexity tangent cone;
- $T_h\mathscr T$: the directions admitted by the current topology/contact stratum;
- $G^\perp$: removes pure group-orbit/gauge directions.

---

# 27. Caution: The Gradient Depends on the Metric

One cannot simply smuggle:

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

into being written as the unique:

$$
\nabla A.
$$

To define a gradient flow, a shape-space metric must first be chosen:

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

For example:

- $L^2(S^1)$;
- Sobolev $H^1$;
- a curvature-weighted metric;
- a support-measure metric.

So this paper fixes only the first variation.

The gradient representation is left to later papers.

This is a necessary mathematical boundary.

---

# 28. Skew Projection

The raw candidate:

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

is projected back into:

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

where:

$$
\mathcal F_n
$$

is the set of known universal-cover/witness constraints at round $n$.

So the skew field is not responsible only for "distorting."

It is simultaneously responsible for:

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

---

# 29. No-Slack Boundary Principle — Programmatic Form

If a boundary sector:

$$
I
$$

of an extremal candidate has strict slack with respect to all active/limiting witness constraints,

and there exists a convexity-preserving inward perturbation:

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

that does not break universal-cover feasibility,

then:

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

would contradict extremality.

So the extremal boundary should satisfy a form of:

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

Current status:

`PROGRAMMATIC PRINCIPLE`

not yet a formal theorem completed for the Lebesgue universal-cover continuum constraints.

---

# 30. The Infinite-Dimensional KKT Direction

If the universal-cover constraints are written as:

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

then the extremal condition is expected to take the form:

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

for all admissible $\phi$.

where:

$$
\mu
$$

is the active-constraint multiplier measure.

This would unify:

- finite witness pressure;
- active support contacts;
- the limiting witness family

into a single dual pressure object.

This is a subject for later work; Paper 00 does not claim it as completed.

---

# 31. Finite Skeleton vs. Asymptotic Shape

This series does not presuppose that the extremal body must be described by finitely many arcs/segments.

Two cases must be distinguished:

## Finite Stabilization

There exists a finite:

$$
N
$$

beyond which the contact graph, support pieces, and symmetry type are stable.

Then the extremal shape may be fully describable by a finite equation system.

## Asymptotic Shape

Every refinement still produces new active contacts:

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

but:

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

Then the extremal shape may only be describable by a limiting support function/measure.

UESFCM must allow for both outcomes.

---

# 32. How This Actually Connects to the Lebesgue Line

UESFCM-LUC currently already has:

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

So the new Shape Closure does not need to start a completely independent project.

It should read the finite-closure output of each round:

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

and update:

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

---

# 33. New Research Data Structure

It is suggested that each candidate shape state store:

```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. The Traditional Extension Series

Starting from this paper, subsequent work can naturally split into:

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

Formalizes:

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

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

Formalizes:

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

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

Formalizes:

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

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

and the non-smooth measure version.

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

Formalizes the projected flow and the admissible skew field.

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

Connects to the universal-cover witness family.

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

Genuinely merges value closure with shape closure.

---

# 35. The First New Exact Gate

The next paper does not go directly at the Lebesgue optimum.

It first builds:

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

Input:

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

Output:

1. whether convexity is legal;
2. whether the translation/rotation gauge has been removed;
3. whether the topology stratum is stable;
4. the change in the curvature measure;
5. the first area variation;
6. the second area variation;
7. whether a contact-topology gate is crossed.

This will be the first executable handoff mechanism for:

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

---

# 36. Conclusion of This Paper

The prior skew-field series has already supplied:

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

as well as the support skew:

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

the optimal-placement skew:

$$
E_C(\gamma),
$$

and a convex-support-projection-style shape update.

So the new series is not starting from scratch.

What is genuinely missing is only:

$$
\boxed{
\text{elevating "skew update" into "a legal variation on shape space."}
}
$$

Traditional convex geometry supplies:

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

as the core of legality.

Group theory supplies:

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

as the internal expander.

Topology supplies:

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

as the base space.

Calculus supplies:

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

as the continuous approximator.

Finally, the skew field is once again responsible for:

$$
\boxed{
\text{generating irregular candidates}
+
\text{projecting back into the legal shape corridor}.
}
$$

So the new main chain is formally established:

$$
\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

This file is the UTF-8 Markdown canonical source for Paper 00 of the `Lebesgue Extremal Shape Reconstruction / Skew-Field Variational Calculus` series.

Mathematical delimiters use only `$...$` and `$$...$$`.

This paper strictly distinguishes between:

- pre-existing definitions from the prior skew field;
- classical convex-geometry interfaces;
- research-state definitions newly added by this series;
- programmatic principles;
- Lebesgue-specific theorems not yet completed.

===END===