Codegen and IR

Platform spec area

Codegen and IR

Back to Compiler ◎ 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

• Dynamic types and mapping (v0.3 scope) Normative dynamic cell representation, AOT object-to-object mapping, and runtime fallback for serializable types. article Standard Reviewed Sat May 23

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
  Compiler

  Parent domain

• Domain
  Execution

  Execution engines consume lowered artifacts

Scope

Lowering contracts from analyzed source into backend-ready artifacts and IR-related invariants.

Feature index

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

Features

• Codegen artifact schemaFeature hub for the codegen artifact schema in the reference compiler.
• Dynamic types and mapping (v0.3 scope)Normative dynamic cell representation, AOT object-to-object mapping, and runtime fallback for serializable types.
• Extern import extraction contractFeature hub for the extern import extraction contract in the reference compiler.
• Lowering contractContract for lowering parsed and analyzed source into backend-ready `CodegenArtifact`.