III.D69 — Five Forbidden Moves

Five operations ZFC allows but τ forbids: (1) unbounded fan-out (K3), (2) global equality (K5), (3) succinct circuits (operational closure), (4) exponential quantification (observation-finiteness), (5) non-local disguise (NF uniqueness). Each has a specific bridge consequence.