# Overview This record releases **SAPZ Singularity Principle for 3D Navier–Stokes (v5. 3) ** together with the companion module paper **AuxProof v5. 3**. The pair is written as a **proof interface**: the main paper states the threshold–criterion theorem and a referee-facing ledger; the companion supplies the analytic modules (RNF/RZ/BN/TCE), the sealed Route-T chain, and a **constant-flow diagram** that makes dependencies and parameter choices auditable. The central diagnostic is fixed in the energy class by a convolution-first envelope\_ (t): =\|\, | u (, t) |² * _\, \|₋^䂲, (t): = ₀_ (t), with the canonical RNF equilibrium threshold\c=² y_+, _+=b+b²+4ac2a. \ # Main theorem (two-direction structure) The theorem is organized in a two-direction logical form: - **Sufficiency (criterion). ** On a finite window \ ( (0, T) \), if there exist \ ( (0, 1) \) and \ (₀>0\) such that \ ₓ (₀, ₓ) ₀< 䃐_^BN (t) (1-) \, c, \ then the solution is smooth on \ ( (0, T]\) and extends beyond \ (T\). (In \ (R³\) or \ (T³\), boundary normalization is trivial. ) - **Necessity (contrapositive). ** Any finite-time loss of regularity forces threshold reach: \ ₓ ₓ^- (t) c. \ # Companion modules (AuxProof v5. 3) AuxProof v5. 3 provides a finite-window closure package for: - **TCE (trace–convolution equivalence): ** treated as a smooth-regime interpretation (not used to justify energy-class steps). - **RNF (Riccati normal form): ** a Dini-derivative inequality for \ (_\) with \ (\) -independent coefficients on finite windows. - **RZ (residual-zero reduction): ** transport/pressure/boundary residual channels with vanishing \ (L¹\) -mass as \ (0\) on finite windows. - **BN (boundary normalization): ** a separate module for bounded no-slip domains. - **Route-T (transport-bypass) localization: ** Littlewood–Paley / weighted almost-orthogonality and tail absorption, plus commutator-based positivity/extraction blocks. # What is new in v5. 3 - **Constant-flow diagram (auditable dependencies). ** A one-page diagram records the order of choices and dependencies: system constants \ (\) fixed kernel/LP/BN profiles \ (\) margin \ (\) \ (\) Route-T slack parameters \ ( (, , ) \) \ (\) contradiction scale \ (_\). It also records how \ ( (, , ) \) propagate to a uniform witness \ (a_^unif\), then to a transport-defect lower bound \ (ₓ, ^tr\), and finally to the CT3 margin bookkeeping. - **Sharper quantitative bookkeeping. ** The fixed-scale short-window persistence step and Route-T bookkeeping are written to make constant losses and scale/time selection steps easy to audit. # Scope they are not used to justify energy-class steps. - Expository figures/FAQs are moved to a separate visual supplement and are not proof inputs. # Contents (files) - Main paper (PDF + TeX): *SAPZSingularityPrincipleNavier-Stokes v5. 3*- Companion modules (PDF + TeX): *AuxProof v5. 3*- (Optional) Visual guide: *SAPZNSVisualGuide* (separate Zenodo record) # Suggested citation Lee Byoungwoo, “SAPZ Singularity Principle for 3D Navier–Stokes (v5. 3): Threshold–Criterion Interface with Constant-Flow Diagram (Main + Companion Modules), ” Zenodo, 2026.
Byoungwoo Lee (Mon,) studied this question.