TypeShade
Rule 11.1
Chapter 11, Targets and the oracle Test
There must be one IR, and the WGSL writer, the GLSL ES 3.00 writer, and the CPU oracle must consume it over one shared tree walk; a new emit feature must go into the shared walk, or the oracle and the GLSL writer drift.
The rule text and the parts under it are the compiler's own English, as the design document writes them.
Rationale
three backends over one walk is what makes the oracle a reference and not a fourth implementation.
Derives from
AGENTS.md (“one IR, three backends, one tree walk”).
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 examples/glsl-stages-parity.test.ts.
The files that verify it at commit 26de7be8, each at the first line that names the rule:
See also
- Rule 10.5 Test
- Rule 11.2 Test
- Design rules
- Error codes
Source
The rule at commit 26de7be8:
docs/language-design.md:1126(the design document)reqs/rules/RULE-1101.md(its traceability item)