Global Regularity for the Three-Dimensional Navier-Stokes Equations via Dyadic Dissipation Budget Exhaustion

We prove, conditional on two classical results (Seregin 2012; Leray 1934), that smooth solutions to the three-dimensional incompressible Navier-Stokes equations with finite-energy initial data exist globally in time. The argument introduces a dyadic W-entropy weakening framework that decomposes the dissipation budget into geometrically shrinking frequency shells, establishes super-geometric contraction of enstrophy across these shells via an iterated propagation squeeze, and derives a contradiction for any proposed Type II blow-up by showing the ancient solution extracted at the singular time outruns its own energy budget. The proof chain consists of 130 formally verified theorems (292 kernel checks) in the Platonic proof language. A parallel module (32 additional theorems) derives the gauge-fixability condition (F6) as a consequence of the Gallay-Wayne spectral gap, further reducing classical dependencies in the broader regularity program. Version 3.0: Added §7.5 (F6 gauge-fixability derivation via neutral bundle exhaustion, 32/32 verified). Updated verification table. Added Gallay-Wayne 2005 reference. Part of The Latent research program.