← WSFC: Worm Sequence Freedom Closure / WSFC R22 · Full-domain coverage and uniform convergence

WSFC: Worm Sequence Freedom Closure WSFC R22 · Full-domain coverage and uniform convergence Neo.K / Aletheia

G1 Full-Domain Coverage: Exact-Length Tent Approximation, Uniform Cover Modulus and Broadworm Value Closure

An exact-length two-edge 'tent' construction gives every unit arc an n-segment unit-length polygonal approximation with Hausdorff error ≤ 1/(2⌊n/2⌋); with breadth being 2-Lipschitz this gives 0 ≤ t₀ − t_n ≤ 1/⌊n/2⌋ and (Arzelà–Ascoli plus an assumed classical uniqueness of the broadworm) convergence of the normalized optimizers.

The part independent of G0 is elementary: the approximation bound and the Lipschitz property of breadth; the convergence part relies on an assumed classical uniqueness. The original standalone package is unavailable; a reconstructed standalone package was assembled from R28 on 2026-10-08, retaining identical paper bytes. The R01/R22 bounds still require reconciliation.

Connections · Connections

Standalone reconstructed packageR22 paper, Packet D and provenance
PreviousWSFC R21 · The G0 re-audit · G0 Finite-Stage Exactness Re-Audit: Support-Width Semantics, Convex Shortcut and Global Reduced-Class Necessity
NextWSFC R23 · Strict monotonicity (conditional) · Strict Monotonicity: Tangent-Gap Refinement and the Last Half of 2007 Conjecture (5)

This is a full-text translation of the Chinese source, which remains authoritative for its research claims. Translation is not independent mathematical verification and does not upgrade the original evidence level.

Loading…