[kazinator]

I don't agree with the suggestion that there is no difference (other than word semantics) between relying on empirical observations and relying on a privately communicated piece of spec.

The one playing semantics is you, since your apparent concern is the definition of the term "undefined behavior" and whether something falls under that definition.

My point is about how well an engineering decision is justified, not what term applies to it according to some document.