TypeShade
Rule 1.3
Chapter 1, Introduction Test
The CPU oracle is the reference evaluation of the IR: where WGSL fixes a result, the oracle must produce that result, and where WGSL leaves room (§11), the oracle’s answer is one of the permitted ones.
The rule text and the parts under it are the compiler's own English, as the design document writes them.
Rationale
a test that compares a GPU result with the oracle is only meaningful if the oracle is the specification’s answer and not a third opinion.
Derives from
Floating Point Evaluation and AGENTS.md (“one IR, three backends”).
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:
src/core/oracle-backend-parity.test.ts and src/core/passes/determinism.test.ts.
The files that verify it at commit 26de7be8, each at the first line that names the rule:
See also
- Rule 1.2 Code only
- Rule 2.1 Test
- Design rules
- Error codes
Source
The rule at commit 26de7be8:
docs/language-design.md:52(the design document)reqs/rules/RULE-0103.md(its traceability item)