True, but (as you say) this merely requires a specification, not a (ISO or other) standard like the GP asked about.

In other words, it's sufficient if the semantics are publicly documented with adequate precision, and the developers of the reference implementation consider any deviation from this specification a bug.