II.D03 — Constraint Lattice

The five constraints (prime, non-negativity, remainder, primorial, depth) on ABCD quadruples that define tau-admissible points. The conjunction forms a lattice whose meet is tau-admissibility.