Roadmap search

Versions, deliverables, workstreams, tasks, and pages

Beskid

Jump to a Beskid service

HomeSpecificationBookpckgTrackerNexus

Platform specification

Docs management

Browse the full normative tree (including ADRs). Draft changes as proposals and open pull requests to the superrepo.

200 documents

TitleLevelStatus
Platform specificationdomain—
Communitydomain—
Project inception decisionsfeatureStandard
Spec maintenancearea—
Domain, Area, Feature, and Article frontmatter templatesfeatureStandard
Canonical platform-spec frontmatter templatesadrStandard
Domain, Area and Feature template bundlefeatureStandard
Markdown-first platform-spec authoringadrStandard
Required Domain Area and Feature hub sectionsadrStandard
Standard feature hubs require adr directoryadrStandard
Anti-stub and circular canon rulesadrStandard
Minimum article payload by roleadrStandard
Last reviewed policyfeatureStandard
lastReviewed on high-churn platform-spec pagesadrStandard
Non-normative bridge docs policyfeatureStandard
Bridge documents are non-normative by defaultadrStandard
Bridge pages must link canonical destinationsadrStandard
Migration mapping page required sectionsadrStandard
Release and versioning policyfeatureStandard
Git is the canonical specification version axisadrStandard
Stable platform-spec URLs across releasesadrStandard
v0.x bands label delivery scope not doc editionsadrStandard
Single normative platform-spec treeadrStandard
Specification authority and embedded decisionsfeatureStandard
Language law lives only in language-metaadrStandard
Implementation domains defer to language-metaadrStandard
Specification leads implementationadrStandard
One ADR file per closed decisionadrStandard
Proposed vs Standard maturity gatesadrStandard
Compilerdomain—
Build pipelinearea—
Backends (JIT and AOT)featureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Shared CodegenArtifact for JIT and AOTadrStandard
Backends (JIT and AOT) - Contracts and edge casesarticleStandard
Backends (JIT and AOT) - Design modelarticleStandard
Backends (JIT and AOT) - ExamplesarticleStandard
Backends (JIT and AOT) - FAQ and troubleshootingarticleStandard
Backends (JIT and AOT) - Flow and algorithmarticleStandard
Backends (JIT and AOT) - Verification and traceabilityarticleStandard
Build and run orchestrationfeatureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Primary contract for Build and run orchestrationadrStandard
Build and run orchestration - Contracts and edge casesarticleStandard
Build and run orchestration - Design modelarticleStandard
Build and run orchestration - ExamplesarticleStandard
Build and run orchestration - FAQ and troubleshootingarticleStandard
Build and run orchestration - Flow and algorithmarticleStandard
Build and run orchestration - Verification and traceabilityarticleStandard
Dependency workspace and lockfilefeatureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Primary contract for Dependency workspace and lockfileadrStandard
Dependency workspace and lockfile - Contracts and edge casesarticleStandard
Dependency workspace and lockfile - Design modelarticleStandard
Dependency workspace and lockfile - ExamplesarticleStandard
Dependency workspace and lockfile - FAQ and troubleshootingarticleStandard
Dependency workspace and lockfile - Flow and algorithmarticleStandard
Dependency workspace and lockfile - Verification and traceabilityarticleStandard
Diagnostics parity (CLI and LSP)featureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Primary contract for Diagnostics parity (CLI and LSP)adrStandard
Diagnostics parity (CLI and LSP) - Contracts and edge casesarticleStandard
Diagnostics parity (CLI and LSP) - Design modelarticleStandard
Diagnostics parity (CLI and LSP) - ExamplesarticleStandard
Diagnostics parity (CLI and LSP) - FAQ and troubleshootingarticleStandard
Diagnostics parity (CLI and LSP) - Flow and algorithmarticleStandard
Diagnostics parity (CLI and LSP) - Verification and traceabilityarticleStandard
Program assemblyfeatureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Primary contract for Program assemblyadrStandard
Program assembly - Contracts and edge casesarticleStandard
Program assembly - Design modelarticleStandard
Program assembly - Flow and algorithmarticleStandard
Program assembly - Verification and traceabilityarticleStandard
Stage ordering and loweringfeatureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Canonical parse-to-lowering phase DAGadrStandard
Stage ordering and lowering - Contracts and edge casesarticleStandard
Stage ordering and lowering - Design modelarticleStandard
Stage ordering and lowering - ExamplesarticleStandard
Stage ordering and lowering - FAQ and troubleshootingarticleStandard
Stage ordering and lowering - Flow and algorithmarticleStandard
Stage ordering and lowering - Verification and traceabilityarticleStandard
Codegen and IRarea—
Codegen artifact schemafeatureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Primary contract for Codegen artifact schemaadrStandard
Codegen artifact schema - Contracts and edge casesarticleStandard
Codegen artifact schema - Design modelarticleStandard
Codegen artifact schema - ExamplesarticleStandard
Codegen artifact schema - FAQ and troubleshootingarticleStandard
Codegen artifact schema - Flow and algorithmarticleStandard
Codegen artifact schema - Verification and traceabilityarticleStandard
Dynamic types and mapping (v0.3 scope)articleStandard
Extern import extraction contractfeatureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Extern import metadata at loweringadrStandard
Extern import extraction contract - Contracts and edge casesarticleStandard
Extern import extraction contract - Design modelarticleStandard
Extern import extraction contract - ExamplesarticleStandard
Extern import extraction contract - FAQ and troubleshootingarticleStandard
Extern import extraction contract - Flow and algorithmarticleStandard
Extern import extraction contract - Verification and traceabilityarticleStandard
Lowering contractfeatureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Cranelift lowering via lower_sourceadrStandard
Contracts and edge casesarticleStandard
Design modelarticleStandard
ExamplesarticleStandard
FAQ and troubleshootingarticleStandard
Flow and algorithmarticleStandard
Verification and traceabilityarticleStandard
Compiler Modsarea—
Analysis, query, and diagnostics facadesfeatureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Primary contract for Analysis, query, and diagnostics facadesadrStandard
Analysis, query, and diagnostics facades - Contracts and edge casesarticleStandard
Analysis, query, and diagnostics facades - Design modelarticleStandard
Analysis, query, and diagnostics facades - ExamplesarticleStandard
Analysis, query, and diagnostics facades - FAQ and troubleshootingarticleStandard
Analysis, query, and diagnostics facades - Flow and algorithmarticleStandard
Analysis, query, and diagnostics facades - Verification and traceabilityarticleStandard
Beskid.Compiler.SyntaxMirror facadefeatureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Primary contract for Beskid.Compiler.SyntaxMirror facadeadrStandard
Beskid.Compiler.SyntaxMirror facade - Contracts and edge casesarticleStandard
Beskid.Compiler.SyntaxMirror facade - Design modelarticleStandard
Beskid.Compiler.SyntaxMirror facade - ExamplesarticleStandard
Beskid.Compiler.SyntaxMirror facade - FAQ and troubleshootingarticleStandard
Beskid.Compiler.SyntaxMirror facade - Flow and algorithmarticleStandard
Beskid.Compiler.SyntaxMirror facade - Verification and traceabilityarticleStandard
Incremental scheduling and determinismfeatureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Deterministic mod invalidation and replayadrStandard
Incremental scheduling and determinism - Contracts and edge casesarticleStandard
Incremental scheduling and determinism - Design modelarticleStandard
Incremental scheduling and determinism - ExamplesarticleStandard
Incremental scheduling and determinism - FAQ and troubleshootingarticleStandard
Incremental scheduling and determinism - Flow and algorithmarticleStandard
Incremental scheduling and determinism - Verification and traceabilityarticleStandard
Mod host bridgefeatureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Mod host AOT-only with descriptor registrationadrStandard
Mod host bridge - AOT artifact contractarticleStandard
mod host bridge - Contracts and edge casesarticleStandard
mod host bridge - Design modelarticleStandard
mod host bridge - ExamplesarticleStandard
mod host bridge - FAQ and troubleshootingarticleStandard
mod host bridge - Flow and algorithmarticleStandard
mod host bridge - Verification and traceabilityarticleStandard
Syntax domain model generationfeatureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Rust AST reflection into Beskid.Compiler SDKadrStandard
Syntax domain model generation - Contracts and edge casesarticleStandard
Syntax domain model generation - Design modelarticleStandard
Syntax domain model generation - ExamplesarticleStandard
Syntax domain model generation - FAQ and troubleshootingarticleStandard
Syntax domain model generation - Flow and algorithmarticleStandard
Syntax domain model generation - Verification and traceabilityarticleStandard
Typed emitter and transformsfeatureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Primary contract for Typed emitter and transformsadrStandard
Typed emitter and transforms - Contracts and edge casesarticleStandard
Typed emitter and transforms - Design modelarticleStandard
Typed emitter and transforms - ExamplesarticleStandard
Typed emitter and transforms - FAQ and troubleshootingarticleStandard
Typed emitter and transforms - Flow and algorithmarticleStandard
Typed emitter and transforms - Verification and traceabilityarticleStandard
Conformancearea—
Conformance evidence policyfeatureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Three-tier conformance evidenceadrStandard
Conformance evidence policy - Contracts and edge casesarticleStandard
Conformance evidence policy - Design modelarticleStandard
Conformance evidence policy - ExamplesarticleStandard
Conformance evidence policy - FAQ and troubleshootingarticleStandard
Conformance evidence policy - Flow and algorithmarticleStandard
Conformance evidence policy - Verification and traceabilityarticleStandard
Test harnesses and fixturesfeatureStandard
Feature hub authorityadrStandard
Specification over implementation notesadrStandard
Primary contract for Test harnesses and fixturesadrStandard
Contracts and edge casesarticleStandard
Design modelarticleStandard