LESR Paper 00: From Skew Fields to Variational Shape Closure — Reusing the Existing Support-Skew-Field and Shape-Update Formula to Establish a Shape-Closure Research Line for the Lebesgue Universal Covering Problem, Independent of Area-Value Closure

This paper (LESR-SFVC-00-v0.1) is Paper 00 in the Lebesgue Extremal Shape Reconstruction / Skew-Field Variational Calculus (LESR/SFVC) series. Its task is to formally hand off the existing skew-field results to a problem that has not previously been independently packaged: if the area upper and lower bounds and the finite witness certificates keep converging (Δ_A=U-L→0), what shape is the extremal universal cover itself? This paper points out that Δ_A→0 does not imply shape uncertainty→0 — different convex bodies can have nearly identical areas while differing substantially in local boundary geometry, support function, and contact topology — so the new research line does not replace the existing UESFCM-LUC value closure, but layers Shape Closure on top of it, and formally fixes the research chain as Topology Envelope → Group-Orbit Expansion → Skew-Field Perturbation → Variational Calculus → Skew/Convexity Projection → Shape Closure. The key argument is: this is not starting from scratch. The existing Moser skew-field initialization draft and SKEW-CALC v0.2 already provide the support skew field K_{C,γ}(θ;φ,t)=h_γ(θ-φ)+t·u_θ-h_C(θ), the min–max optimal-placement skew E_C(γ)=inf_{φ,t}‖K⁺_{C,γ}‖_∞, and the conceptual shape-update formula h_{C_{n+1}}=Π(h_{C_n}+ηG_n-λS_n); this paper's work is only to provide rigor for these existing quantities: using the curvature measure μ_h=h+h''≥0 as the core of convexity legality, using the orbit/stabilizer decomposition of the Euclidean group E(2) to distinguish translation/rotation gauge modes (the m=1 Fourier mode) from genuine shape modes (m≥2), and using the first and second variations δA[h;φ]=∫φ dμ_h and δ²A[φ]=∫(φ²-(φ')²)dθ to make explicit that stationary does not equal local minimum. The closure state is also expanded from a single area gap into the quadruple (Δ_A,Δ_h,Δ_Γ,Δ_G). This paper explicitly marks the No-Slack Boundary Principle as a PROGRAMMATIC PRINCIPLE, not yet a formal theorem completed for the Lebesgue continuum-valued constraints; the infinite-dimensional KKT formulation and the choice of shape-space metric on which the gradient depends are likewise explicitly left to later papers; and the paper rules out neither of the two possible outcomes, finite stabilization or asymptotic shape, in advance. This is a handoff of the existing skew-field/Moser bridge technique to a structurally different new problem, not a revision of or extended claim upon that bridge technique's original conclusions. This series' direction was designed by Neo.K; per the document header, the execution and writing of each paper is attributed to Aletheia / ChatGPT, GPT-5.6 Sol, not Claude.