Standards state a contract or implication
https://marc.info/?l=openbsd-tech&m=151233832624797&w=2 [marc.info]
2017-12-04 22:05
In reference to the inquiry, gettimeofday(2) does not conform to POSIX.1-2008?
Standards state a contract or implication: *if* you, the developer follow _these_ rules, *then* the standardized item will follow _these_other_ rules (if compliant). If you violate the implication, then the standard no longer applies and you have lost the guarantees of the standard.
Nice summary of the standards situation. If you color inside the lines, you get a pretty picture. If you don’t, you don’t.