In section 2.3.6 Non-deterministic external functions, we say that we provide a way to denote that an external function is non-deterministic. This feature was removed from our spec, and so the requirement has not been met.
I believe you are merely asking for that fact to be noted in the requirements document?
Yes. The green "Status: this requirement has been met." should become a red "Status: this requirement has not been met."
The WG agrees with the resolution proposed in comment 2.
I believe this is fixed in the internal draft now.