V.P43 — Classical NS as readout

Classical NS as readout: the classical incompressible Navier-Stokes equation on a chart domain U subset R^3 is the readout-functor image of the macro tau-NS equation on the corresponding region of tau^3, inheriting regularity on every compactly contained chart domain.