III.P16 — NF Discreteness Lemma

The normal-form tower ℤ/Prim(k)ℤ is inherently discrete. No continuum limit within τ: each primorial level has finitely many states. Discreteness earned from K3 divisibility, not imposed.