V.T71 — Macro tau-NS regularity

Macro tau-NS regularity: for every tau-admissible initial datum on tau^3, the macro tau-Navier-Stokes evolution produces a bounded velocity readout at every base point and fiber point; no macro-scale singularity forms. Follows from the three-condition sufficiency and compactness.