Analysis, query, and diagnostics facades

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

<SpecPageHeader status="Standard" ownerName="Piotr Mikstacki" ownerEmail="pmikstacki@cybernomad.it" submitterName="Piotr Mikstacki" submitterEmail="pmikstacki@cybernomad.it" />

This feature hub defines the normative contract for Beskid.Compiler.Query and Beskid.Compiler.Diagnostics (and related analysis facades) and links detailed articles.

Language alignment

The process phase uses these modules for semantic questions and compiler-native diagnostics. Diagnostic shape and IDs must align with Rust analysis and LSP surfaces so Mod pipelines integrate with normal tooling.

Implementation anchors

• compiler/crates/beskid_analysis/src/analysis/ — staged rules and semantic state.
• compiler/crates/beskid_analysis/src/resolve/ — resolution products queryable from facades.
• compiler/crates/beskid_lsp/src/diagnostics.rs — diagnostic shaping for editor parity.

Decisions

No open decisions. Closed choices are normative ADRs under adr/ (D-COMP-MODS-0001 … D-COMP-MODS-0003); use the reader ADRs tab for expandable detail.

• Design model
• Flow and algorithm
• Contracts and edge cases
• Examples
• Verification and traceability
• FAQ and troubleshooting