Poka-yoke
I recently came upon the term poke-yoke:
Any mechanism in a process that helps an equipment operator avoid mistakes and defects by preventing, correcting, or drawing attention to human errors as they occur. It is a Japanese term that means “mistake-proofing” or “error prevention”, and is also sometimes referred to as a forcing function or a behavior-shaping constraint.
In my mind, typed programming languages are a kind of poka-yoke. Using data structures for constraints is a poka-yoke. Modals and interstitials can be poka-yoke.
I think I already use this concept in my UX designs often, just didn’t have a term for it.