III.R17 — NS Scope Boundary

NS scope declaration: positive regularity = existence of stabilized ω-germ, not absence of singularity. The singularity predicate is non-denotable in τ (VM-level concept). τ-regularity does NOT claim to solve the Clay Prize NS problem.