III.D111 — Tower Decidable Check

At each finite primorial level, all three conjectures are decidable. Gap types, forbidden moves, and scope labels all defined.