TypeShade
Rule 13.6
Chapter 13, Change control Test
A new author-facing name must be added only by its source: a WGSL name by citing the specification section that declares it, and an ECMAScript name by citing the Math or console member it is.
A TypeShade extension, including a new type of the f64 family, must be added by Rule 9.7, with the rationale in §9 and, for the f64 family, in Rule 4.4.
The rule text and the parts under it are the compiler's own English, as the design document writes them.
Rationale
see Rule 2.1.
Derives from
the comment above TYPESHADE_EXTENSIONS in surface-names.test.ts, which names §9 and this section.
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:
surface-names.test.ts.
The files that verify it at commit 26de7be8, each at the first line that names the rule:
See also
Source
The rule at commit 26de7be8:
docs/language-design.md:1323(the design document)reqs/rules/RULE-1306.md(its traceability item)