V.R144 — The chart domain is compact

The chart domain is compact: U is the image of a clopen cylinder in tau^3 under the readout functor. The classical NS equation on a bounded domain with smooth boundary data is known to be regular (Leray's theorem); the tau-framework reproduces and extends this.