TypeShade
Rule 11.5
Chapter 11, Targets and the oracle Code only
Where WGSL fixes a result and GLSL ES 3.00 does not, the oracle must follow WGSL; where a GLSL spelling answers differently on an input WGSL settles, the determinism report must list the operation as target.
The rule text and the parts under it are the compiler's own English, as the design document writes them.
Rationale
see Rule 1.3.
Derives from
surface §38 (“the two targets”).
How it is verified
Only the implementation carries it; no test checks it yet. The file below names the rule in an Implements: tag.
Where the rule says the compiler enforces it:
src/core/passes/determinism.ts and its test.
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:1150(the design document)reqs/rules/RULE-1105.md(its traceability item)