TypeShade
Rule 3.7
Chapter 3, Textual structure and names Review
A new surface section must take the next free § number in docs/use-typeshade-surface.md as the current tree makes it, and a new diagnostic must take the next free TS80xx code in src/compiler/ts/codes.ts.
A branch working in parallel may instead be handed a block of numbers and take the number from the block.
A number must not be renumbered, a retired number must not be reused, and the unused numbers of a block must stay a gap.
The rule text and the parts under it are the compiler's own English, as the design document writes them.
Rationale
a section number and a code are cited from issues, tests, and CHANGELOG entries that do not move when the document does.
Derives from
How it is verified
Held by review. No file checks it, and the rule names review as what holds it.
Where the rule says the compiler enforces it:
review; src/compiler/ts/codes.ts is a hot-spot file (Rule 13.5).
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:245(the design document)reqs/rules/RULE-0307.md(its traceability item)