Specification over implementation notes

Platform spec ADR

Specification over implementation notes

Back to Backends (JIT and AOT) ◎ Open feature in platform map

Spec standingStandard

Owner

Piotr Mikstacki pmikstacki@cybernomad.it

Submitter

Piotr Mikstacki pmikstacki@cybernomad.it

Current document

Articles

• Backends (JIT and AOT) - Contracts and edge cases Required backend guarantees for output kinds, entrypoints, and shared lowering semantics. article Standard
• Backends (JIT and AOT) - Design model Backend responsibility split and shared artifact model for run and build commands. article Standard
• Backends (JIT and AOT) - Examples Example command outcomes for JIT execution and AOT output kinds. article Standard
• Backends (JIT and AOT) - FAQ and troubleshooting Troubleshooting for backend-specific build or run failures. article Standard
• Backends (JIT and AOT) - Flow and algorithm Ordered backend execution for run and build after lowering completes. article Standard
• Backends (JIT and AOT) - Verification and traceability Crate-level anchors and tests that verify backend divergence and shared lowering contract. article Standard

History

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

Open full history on GitHub

No commits recorded for this path.

Completeness

OKfeature · 0 SpecSection(s) · 1 H2 heading(s)

Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).

Related spec docs

• Feature
  Backends (JIT and AOT)

  Parent feature hub

Context

Implementation crates accumulated informal notes that diverged from published contracts.

Decision

Normative platform-spec prose and ADRs under this feature supersede informal comments in implementation crates until explicitly migrated into spec text.

Consequences

Engineers file spec/ADR updates when behavior changes; crate comments are non-authoritative for conformance arguments.

Verification anchors

• compiler/crates/beskid_analysis/