Chapter 67: The Five Forbidden Moves

Chapter 64 diagnosed ZFC as an E₂ virtual machine . This chapter identifies five operations that ZFC allows but Category T forbids, each traced to a specific axiom pair. Section 1 lists the five forbidden moves (the relevant definition, III.D69). Section 2 diagnoses each move in detail. Section 3 proves the Move-Bridge Correspondence (the relevant theorem, III.T43): the bridge functor is faithful on the complement of the five moves and degenerates precisely at them. Section 4 maps moves to Millennium Problems.