Semantic pipeline
Platform spec area
Semantic pipeline
No architecture decision records under adr/ for this feature yet. Standard features must
publish at least one ADR or keep a ## Decisions summary on the hub.
- No directly attached article pages for this node. Nested descendants exist deeper in this subtree.
0 revisions (git unavailable at build; counts may be empty)
No commits recorded for this path.
| Section id | Required | Found |
|---|---|---|
scope | yes | yes |
features | yes | yes |
Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).
Scope
Semantic analysis phases, rule execution, and diagnostic classification in the reference compiler.
Feature index
Use the tiles below for normative feature contracts in this area.
Features
- Diagnostic code registryRegistry contract for semantic diagnostic code ownership and synchronization with compiler sources.
- Resolver contractFeature hub for the resolver contract in the reference compiler.
- Rules and diagnostics catalogSemantic rule execution model and diagnostic-kind catalog contract for compiler analysis.
- Rules pipeline contractFeature hub for the rules pipeline contract in the reference compiler.
- Type-system pass contractFeature hub for the type-system pass contract in the reference compiler.