Skip to content
Beskid Platform specification

Beskid

Jump to a Beskid service

Beskid

Jump to a Beskid service

Stage ordering and lowering - Flow and algorithm

Platform spec article

Stage ordering and lowering - Flow and algorithm

Back to Stage ordering and lowering Open feature in platform map

Spec standingStandard

Owner
Piotr Mikstacki
Submitter
Piotr Mikstacki

End-to-end lowering spine

Section titled “End-to-end lowering spine”
flowchart TB
  r[1 Resolve CompilePlan]
  a[2 program.assemble]
  p[3 Parse units]
  m{Mods in graph?}
  mh[4 Mod collect generate reparse]
  s[5 Semantic rules]
  e{Error diagnostics?}
  stop[Abort]
  h[7 HIR resolve type-check]
  l[8 lower to CodegenArtifact]
  r --> a --> p --> m
  m -->|yes| mh --> s
  m -->|no| s
  s --> e
  e -->|yes| stop
  e -->|no| h --> l

Ordered steps

Section titled “Ordered steps”
  1. Resolve source path/text through services (manifest, workspace graph, CompilePlan, optional materialized workspace).
  2. Assemble program — Build ProgramAssembly from effective roots (program.assemble); discover and parse compilation units per Program assembly.
  3. Parse entry (and indexed units) and produce syntax diagnostics.
  4. Mod host (when transitive Mod dependencies exist) — Load AOT artifacts, discover contracts, run collect → generate → analyze → rewrite under Mod host bridge policy, merge typed AST contributions, and re-parse as required (bounded by maxGeneratorRounds). Skip when no mod dependencies apply.
  5. Run builtin staged semantic rules when diagnostics are enabled (same diagnostic channel as mod diagnostics).
  6. Abort on error diagnostics.
  7. Transform to HIR, resolve symbols against ModuleIndex, and type-check the entry unit.
  8. Lower typed program to backend artifact for JIT/AOT.

The canonical lowering entrypoint remains beskid_codegen::services::lower_source (and _with_pipeline); mod orchestration must live in beskid_analysis services (or a dedicated host module re-exported there) so CLI, LSP, and codegen share one scheduling spine.