Language vision regarding safety guarantees

ia0:

Then what are safety requirements if not (a part of) a safety contract?

Safety requirements are simply the part of the (single) contract that says: "if you, the caller, don't satisfy XYZ, the behavior of this function is undefined and all promises are void". My sort([i32]) example has no safety requirements.