WebGL 中使用的着色器语言的 BNF 在哪里?

Where is the BNF for the shader language used in WebGL?

我无法找到 WebGL2 着色器语言语法的确切规范。我看到它是 Open GL Shader 语言的 "based on" 版本 3 的参考文献——但显然不完全是这样,因为 Open GL 版本中缺少关键字。为现代浏览器支持的当前版本的 WebGL 指定的着色器语言的精确语法在哪里?

例如 this spec 特别禁止在 WebGL 顶点着色器中使用关键字 "attribute"。哪里指定了正确的 BNF 语法?

The spec for WebGL2 points to the specs for GLSL ES 3.0 其中包含第 9 节中的语法。

WebGL2 规范还指向 the spec for WebGL1 which points to the spec for GLSL ES 1.0,它也恰好在第 9 节中有其语法。