Rule 9.3

Chapter 9, Built-in functions and the TypeShade extensions Test

A WGSL builtin GLSL ES 3.00 has no spelling for must be behind a capability, and the GLSL emit must fail closed on it.

The rule text and the parts under it are the compiler's own English, as the design document writes them.

Rationale

docs/roadmap.md, “make what does not compile, compile”; #152 for the builtins still to place.

Checked by a test. A test, a gate script or a CI workflow names this rule, and the traceability check fails when a file listed below stops naming it.

Where the rule says the compiler enforces it:

src/core/passes/required-caps.ts and capability-reachability.test.ts.

The files that verify it at commit 26de7be8, each at the first line that names the rule:

The rule at commit 26de7be8: