As a practical matter there's disagreement on the meaning of operational semantics. If the text in [structure.requirements]p4 isn't clear, it should be clarified. However, it's not clear whether the disagreement is merely due to people not being aware of the text.