# Overview This record releases **v5. 5r1** of a two-paper set developing the SAPZ (Spectral--Averaged Parabolic Zone) principle for the 3D incompressible Navier--Stokes equations. **Files included in this record (PDF only): **- Main paper (PDF): `SAPZSingularityPrincipleNavier-Stokesᵥ5. 5r1. pdf`- Companion paper (PDF): `AuxProofᵥ5. 5r1. pdf` The framework is organized around a verifiable, scale-uniform threshold envelope built from the convolution-first energy-density observable\_ (t): = \|\, | u (, t) |² * _ \, \|₋^䂲, (t): = _{00\) determined by fixed analytic profiles (mollifier / cutoffs / normalization) and the viscosity. # Main statements (high-level) ## Continuation criterion (finite horizon) For an energy-class weak solution \ (u\) in the Leray--Hopf framework, the main paper establishes a continuation criterion of the following form: - If a uniform-scale subcriticality bound below the universal threshold holds on a given horizon \ ( (0, T) \), then \ (u\) is smooth on \ ( (0, T\) and continues beyond \ (T\). - Conversely, any finite-time singularity forces threshold reach in the quantitative necessity sense formulated in the main paper. ## Companion closure interface (Route--T / Gate A / Gate B) The companion paper supplies theorem-level modules implementing the proof interface: - **Gate A: ** approximate-identity \ (L^\) identification (a Lebesgue differentiation/approximate-identity mechanism applied to \ (f (, t) =| u (, t) |²\) ). - **Route--T (transport-bypass extraction): ** defect \ (\) strictly positive transport residual, using high-frequency filtering and commutator extraction with explicit error budgets. - **Gate B: ** standard CKN \ (\) -regularity closure. # What is new in v5. 5r1 (this record) v5. 5r1 is a **consistency and reviewer-defense release**. It does not change the analytic program, but strengthens the paper's contract to prevent "hidden assumption" misreadings: - The solution-class terminology is normalized: Leray--Hopf is stated with the **global energy inequality**, while steps requiring \ (\) -regularity closure are explicitly aligned with the **suitable weak / local energy inequality (LEI) ** setting. - Statements and remarks that could be misread as attributing LEI to the Leray--Hopf definition are corrected. - The proof-interface descriptions (Gate A / Route--T / Gate B) are updated so the minimal assumptions used by each module are auditable at first pass. # Cognitive defense (reader-facing) This release emphasizes a "trusted core" verification view: independent checking naturally concentrates on Gate A, the persistence/scale selection step, and Route--T commutator extraction (with explicit constant hierarchies and no circular dependencies), after which the endpoint closure reduces to classical \ (\) -regularity. # Scope The framework targets standard 3D incompressible Navier--Stokes settings, including whole-space/periodic geometries and bounded no-slip domains (via boundary-normalized variants handled in the companion). The writing is modular: the main paper isolates the criterion statement, while the companion isolates analytic modules and proof interfaces. # Recommended citation Lee Byoungwoo, "SAPZ Singularity Principle for the 3D Navier--Stokes Equations: A Spectral--Entropy Threshold Criterion with Route--T Discharge" (Version v5. 5r1), with companion "Auxiliary Proof Modules for the SAPZ Singularity Principle" (Version v5. 5r1), Zenodo, 2026.
Byoungwoo Lee (Mon,) studied this question.