Language law lives only in language-meta
Platform spec ADR
Language law lives only in language-meta
Spec standingStandard
- No directly attached article pages for this node.
0 revisions (git unavailable at build; counts may be empty)
No commits recorded for this path.
| Section id | Required | Found |
|---|---|---|
what-this-feature-specifies | no | no |
implementation-anchors | no | no |
Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).
Context
Section titled “Context”Platform-spec domains multiplied without a single place for “what valid Beskid code means,” inviting duplicate type and evaluation tables in compiler and tooling chapters.
Decision
Section titled “Decision”Language law — syntax, types, evaluation, contracts, memory, and cross-cutting language rules — must be defined only under Language meta, except where another domain page declares an explicit cross-domain exception and links to the owning language-meta chapter.
Consequences
Section titled “Consequences”New language semantics start in language-meta; implementation domains link back instead of redefining tables.
Verification anchors
Section titled “Verification anchors”packages/trudoc/src/verify/platform-spec-content.ts; cd site/website && bun run verify:trudoc -- --preset ci.