The document defines X safe operation through:
An X safe operation upholds some safety property X even if preconditions are violated.
Later on the document drops the X qualification:
A safe operation will never exhibit undefined behavior, even if preconditions are violated.
The document should use the X qualification in all places, or add a footnote explaining why it doesn't add value anymore.
The document defines X safe operation through:
Later on the document drops the X qualification:
The document should use the X qualification in all places, or add a footnote explaining why it doesn't add value anymore.