P2680R1 proposes stronger rules for evaluating contract predicates
engineeringcppcontractssafetyThe revised safety-focused contracts paper separates restricted predicates from an explicit relaxed form. It also addresses undefined behavior inside the checks themselves through proposed conveyor functions and arithmetic rules.