Primary contract for Analysis, query, and diagnostics facades
Platform spec ADR
Primary contract for Analysis, query, and diagnostics facades
Spec standingStandard
- Analysis, query, and diagnostics facades - Contracts and edge cases Semantic queries, symbol handles, and diagnostic transport available inside meta execution.
- Analysis, query, and diagnostics facades - Design model Semantic queries, symbol handles, and diagnostic transport available inside meta execution.
- Analysis, query, and diagnostics facades - Examples Semantic queries, symbol handles, and diagnostic transport available inside meta execution.
- Analysis, query, and diagnostics facades - FAQ and troubleshooting Semantic queries, symbol handles, and diagnostic transport available inside meta execution.
- Analysis, query, and diagnostics facades - Flow and algorithm Semantic queries, symbol handles, and diagnostic transport available inside meta execution.
- Analysis, query, and diagnostics facades - Verification and traceability Semantic queries, symbol handles, and diagnostic transport available inside meta execution.
0 revisions (git unavailable at build; counts may be empty)
No commits recorded for this path.
Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).
Context
Section titled “Context”This feature hub defines the normative contract for Beskid.Compiler.Query and Beskid.Compiler.Diagnostics (and related analysis facades) and links detailed articles.
Decision
Section titled “Decision”The reference compiler must implement Analysis, query, and diagnostics facades as documented in this feature hub and its article bundle.
Consequences
Section titled “Consequences”Changes require hub/ADR updates and verification anchor extensions.
Verification anchors
Section titled “Verification anchors”compiler/crates/beskid_analysis/src/analysis/compiler/crates/beskid_analysis/src/resolve/compiler/crates/beskid_lsp/src/diagnostics.rs