This document is a strict proof architecture for global existence and smoothness of the three-dimensional incompressible Navier–Stokes equations on R3. The argument is organized into numbered modules (“nodes”) with explicit dependencies and a claim register, so a reader can verify the chain node-by-node without relying on external narrative context. The snapshot is designed for immutable release fixing and includes a consolidated bibliography.
Vojtěch Svěrák (Fri,) studied this question.