Rule 1.1

Chapter 1, Introduction Test

A "use typeshade" program must mean what the WGSL program it emits means, unless a rule in this document says otherwise.

The rule text and the parts under it are the compiler's own English, as the design document writes them.

Rationale

TypeShade is a front end; the language it compiles to is the language whose specification decides the meaning.

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:

the compile gate (scripts/compile-gate.ts), which hands every registered example to Tint.

The files that verify it at commit 26de7be8, each at the first line that names the rule:

The rule at commit 26de7be8: