Controlled Limits, Equation Closure, and Singularity Certification: A Conditional Analytical Framework for a Forced Navier–Stokes Blowup Construction

A conditional analytical framework for controlled limits, complete-equation closure, and quantitative singularity and comparison criteria for a designated forced Navier-Stokes construction. The planned deposit comprises the main article, a mathematical and formalization supplement, and a selected collection of 114 unchanged local Lean sources with provenance and review records. The source selection is incomplete: build configurations and named implementation families are not included. It is not an end-to-end verified construction or a newly reproduced build. The article distinguishes paper-level deductions, cited source inputs, implementation reports and evidence limitations. This preprint is not a journal acceptance or an independent proof certification. Documents and author-owned prose: CC BY 4.0. Author-owned code and scripts: Apache-2.0. Third-party rights and notices are retained. No third-party paper PDF is included. Funding: none. Competing interests: none.