TypeShade
Rule 10.5
Chapter 10, Extensions and capabilities Test
A GLSL lowering of a WGSL-only feature (the family #130 to #139: 1d, multisampled, depth read both ways, gather, cube array, storage texture, read-write storage, atomics, and barriers) is deferred by the maintainer, and must not be written until the deferral is lifted. Until it is lifted, each of those features must fail closed on GLSL by Rule 10.3, and the deferral must be written where the refusal is.
The rule text and the parts under it are the compiler's own English, as the design document writes them.
Rationale
the lowering family is one design (#130’s fidelity classes) and is worked one item at a time when the maintainer says so.
Derives from
the deferral recorded in #162, whose summary asks that the lowering family be worked one item at a time.
How it is verified
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:
review; capability-reachability.test.ts records which target each capability has a row for.
The files that verify it at commit 26de7be8, each at the first line that names the rule:
Explained in
The sections of the surface document that explain this rule, at commit 26de7be8:
See also
Source
The rule at commit 26de7be8:
docs/language-design.md:1108(the design document)reqs/rules/RULE-1005.md(its traceability item)