Roadmap search

Versions, deliverables, workstreams, tasks, and pages

Beskid

Jump to a Beskid service

HomeSpecificationBookpckgTrackerNexus
← CatalogView on beskid-lang.org

Specification over implementation notes

adrStandard

src/content/docs/platform-spec/compiler/compiler-mods/analysis-query-diagnostics-facade/adr/0002-spec-over-implementation-notes.mdx

import SpecAdrChrome from '@beskid/beskid-ui/platform-spec/SpecAdrChrome.astro';

<SpecAdrChrome />

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/src/analysis/
  • compiler/crates/beskid_analysis/src/resolve/
  • compiler/crates/beskid_lsp/src/diagnostics.rs