C++ 标准中“好像”规则的声明或基础在哪里？

Question

经过一些谷歌搜索（例如，site:eel.is "as if rule"）后，我找不到一个合适的地方，在 C++ 标准中明确规定了所谓的“好像”规则。我所能找到的是，在标准中调用它的那些地方，intro.execution给出了参考。

但intro.execution似乎没有明确引用该规则的任何一般形式。我可能在这里遗漏了一些微妙的东西，但是你能指出一个或多个地方，在那里传达了对规则的精确规范性理解吗？也许整体intro.execution确实是为了传达我们所谓的野外“好像”规则？我承认我只是略读了一下。

我正在使用这个网站浏览标准的工作草案。

例如，可以在cppreference 站点中找到“as if”规则的定义，它表示只要满足某些约束，例如出于优化原因，编译器就可以对程序执行转换。