A Typed Closure Standard (Paper 2b): A "Killer Demo" on Navier–Stokes Regularity as a Closure Bottleneck

Title: TypedClosure Paper 2b: A "Killer Demo" on Navier–Stokes Regularity as a Closure Bottleneck Description: This paper is the first application of the TypedClosure normative standard (Paper 1) to a hard open problem in mathematics. It applies the Q/NQ regime discipline, typed claim headers, tags, globs, ledger invariants, and the forward/backward audit protocol to the 3D incompressible Navier–Stokes global regularity problem. The contribution is explicitly diagnostic and disambiguating: no proof of global smoothness is claimed and no counterexample is constructed. The "killer demo" is the demonstration that once regime drift is forbidden — PURE versus OPERATIONAL, record versus admissibility, exact versus glob-bounded — the open frontier of the problem can be localised cleanly to a single named proof obligation: a coercive inequality linking vorticity coherence to spatial support under the Leray energy ledger. What regime drift means in the NS context. The most common failure mode in informal discussions of Navier–Stokes is the untyped statement "real fluids never blow up because viscosity / molecular physics / finite resolution." This conflates three distinct typed claims: a PURE claim (the PDE solution remains smooth for all t — open), an OPERATIONAL claim (a physical fluid has a minimum effective length — plausible but a tagged regime change), and an interpretive claim (therefore the PDE is fine — invalid inference). The typed standard forces these apart. The OPERATIONAL cutoff must be declared as a glob with a collapse trigger. It cannot substitute for the PURE PDE question without a declared regime transition. A step that imports OPERATIONAL cutoffs without tagging them fails the backward audit at the point of import. Six typed claims (NS1–NS6) structure the analysis. NS1 declares the model: 3D incompressible NS on ℝ³ with ν > 0, smooth divergence-free finite-energy initial data, PURE tag. NS2 establishes the Leray energy ledger as an exact invariant for smooth evolution — no glob, hard constraint. NS3 immediately excludes a large class of candidate blow-up: non-integrable dissipation blow-up is incompatible with NS2, removing it from the frontier. NS4 narrows the remaining candidate class to concentrated integrable spikes: finite-time singularities compatible with the energy ledger in which dissipation is integrable but vorticity concentrates. NS5 is the named missing bridge — the open proof obligation: a coercive inequality linking coherence to spatial support that would prevent the integrable spike of NS4 from occurring. NS6 declares the role of OPERATIONAL methods (CGI, numerics): as falsification tools that can eliminate incorrect narrowing claims and localise where any coercive bridge must bite, without substituting for PURE proof. The integrable spike is shown to be structurally plausible under NS2. A toy scaling argument demonstrates why NS4 is not trivially excluded: a spatially concentrated vorticity event can in principle respect the global energy ledger while still constituting a blow-up of the declared regularity norm. This is not a proof of blow-up — it is a demonstration that the energy ledger alone is insufficient to close the problem, which is precisely why NS5 is the genuine frontier. The backward audit identifies what has been smuggled in prior arguments. Any step that treats "infinite" as a literal value without declaring a glob or a PURE norm-divergence definition fails. Any step that assumes a coercive bridge exists without naming it as an obligation fails. The audit loop makes these failures explicit and checkable rather than buried in informal reasoning. The falsification menu is executable. F-Ledger: exhibit a smooth solution violating the energy identity — falsifies NS2. F-Alt: produce a plausible blow-up mechanism compatible with NS2 not representable as a concentrated integrable spike — falsifies NS4 narrowing. F-Bridge: identify an established inequality providing the required coercive support/coherence link at full generality — falsifies NS5 as "missing." Each failure mode is a concrete target, not a vague objection. Relation to the rest of the stack. This paper was written before USC-PO-1 was closed in TypedClosure_StateP_InduceBoundary_v1.0. The NS5 missing bridge identified here — the coercive inequality linking coherence to spatial support — is exactly what the StateP paper closes via the +¼𝒢 geometric drift argument and the matched-pair identity between the BKM vorticity accumulation rate and the Kelvin–Helmholtz reconnection rate. Paper 2b is therefore the diagnostic document that correctly identified the gap; the StateP paper is the document that closes it. Reading Paper 2b first makes the significance of the closure precise: the gap named here as NS5 is the gap that is no longer open. Bundle DOI: 10.5281/zenodo.18777607 Keywords: typed closure, Navier–Stokes, global regularity, Clay Millennium Problem, regime typing, PURE vs OPERATIONAL, Leray energy identity, blow-up, integrable spike, coercive inequality, proof obligation, falsification, forward audit, backward audit, tags, globs, regime drift, killer demo, vorticity, coherence, spatial support, NS1–NS6, diagnostic, Paper 1 application, PDE, fluid dynamics, mathematical physics