Compiler integration

Platform spec area

Compiler integration

Back to Core library ◎ Open in platform map

Owner

Piotr Mikstacki pmikstacki@cybernomad.it

Submitter

Piotr Mikstacki pmikstacki@cybernomad.it

Current document

ADRs

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.

Articles

• No directly attached article pages for this node. Nested descendants exist deeper in this subtree.

History

0 revisions (git unavailable at build; counts may be empty)

Open full history on GitHub

No commits recorded for this path.

Completeness

OKarea · 2 SpecSection(s) · 0 H2 heading(s)

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).

Related spec docs

• Domain
  Core library

  Parent domain

• Domain
  Compiler

  Compiler crates discover and package corelib

Scope

Contracts for corelib discovery, packaging, and compiler/runtime integration points.

Feature index

Use the tiles below for normative feature contracts in this area.

Features

• Corelib discovery and packagingCompiler/runtime contracts for locating, embedding, and validating the canonical corelib package.
• Corelib injection and resolutionHow the compiler discovers, injects, and resolves corelib symbols across analysis and build stages.