feat(v0.3.0): LSP salsa, verify assertions, AADL v2.3, diff, SARIF#73

Merged

avrabe merged 10 commits intomainfrom

feat/v030-wave2

Mar 21, 2026

Commits on Mar 21, 2026

feat(verify): add structural assertion engine for `spar verify`

avrabe
and
claude
committed
refactor(lsp): use salsa incremental computation instead of manual caching

avrabe
and
claude
committed
feat(wave2): AADL v2.3 parser, git-aware diff, and SARIF output

avrabe
and
claude
committed
refactor(assertion): replace hand-rolled AST with rowan CST + parse cache

avrabe
and
claude
committed
Merge branch 'feat/verify-assertions' into feat/v030-wave2
avrabe
committed
Merge branch 'feat/wave2-v23-diff-sarif' into feat/v030-wave2
avrabe
committed
style: cargo fmt

avrabe
and
claude
committed
chore: remove accidentally committed artifacts

avrabe
and
claude
committed
fix: resolve clippy warnings (collapsible_if, fold→all/any, upper_case_acronyms)

avrabe
and
claude
committed
fix: clippy sort_by → sort_by_key in weight_power

avrabe
and
claude
committed