Tracker
Roadmap search
Versions, deliverables, workstreams, tasks, and pages
Lowering contract
featureStandard
src/content/docs/platform-spec/compiler/codegen-and-ir/lowering-contract/index.mdx
import SpecPageHeader from '@beskid/beskid-ui/platform-spec/SpecPageHeader.astro'; import DomainTiles from '@beskid/beskid-ui/platform-spec/DomainTiles.astro'; import SpecSection from '@beskid/beskid-ui/platform-spec/SpecSection.astro';
<SpecPageHeader status="Standard" ownerName="Piotr Mikstacki" ownerEmail="pmikstacki@cybernomad.it" submitterName="Piotr Mikstacki" submitterEmail="pmikstacki@cybernomad.it" /> <SpecSection title="What this feature specifies" id="what-this-feature-specifies"> This feature explains how source text becomes a backend-ready artifact without changing language semantics late in the pipeline. It is organized into newcomer-friendly articles that move from model, to flow, to contracts, then practical verification and debugging guidance. </SpecSection> <SpecSection title="Implementation anchors" id="implementation-anchors"> - `beskid_codegen::lower_source` in `compiler/crates/beskid_codegen` - `CodegenArtifact` construction in `compiler/crates/beskid_codegen` - `JitModule` consumption in `compiler/crates/beskid_engine/src/jit_module.rs` - Runtime execution coverage in `compiler/crates/beskid_tests/src/runtime/jit.rs` </SpecSection>Decisions
No open decisions. Closed choices are normative ADRs under adr/ (D-COMP-IR-0007 … D-COMP-IR-0009); use the reader ADRs tab for expandable detail.