II.T01 — Point Set Well-Defined

The tau-admissible point set is well-defined: the five constraint conditions (prime, non-negativity, remainder, primorial, depth) are jointly satisfiable for all primes from 2 to 20, producing a non-empty finite set at each stage.