I would phrase it "contracts" - which has the implication that if you violate the contract, you may be sued. Contracts are how just about everything is "enforced". I think that programmers tend to think that if something is required, we must have programmatic protections in place that ensure it actually happens. Most of the world does not work like that; they rely on contracts.