sysml-v2-lsp 0.5.1 → 0.7.0

package/CHANGELOG.md

@@ -1,100 +1,188 @@
 # Changelog
 
+## [0.7.0]
+
+### Added
+
+- Workspace-wide semantic validation with cross-file symbol indexes (byName, byParent, byQualifiedName, definitionsByName, portsByName)
+- Three new validation rules: redefinition multiplicity, port type compatibility, constraint body references
+- Quick-fix code actions for all three new rules (align multiplicity, switch port endpoint, suggest nearest member)
+- Context-aware completions: port endpoints in `connect` blocks, type annotation filtering, workspace definition symbols
+- Semantic feedback in hover tooltips — shows diagnostics and repair hints at the hovered position
+- Cached semantic diagnostics per document version to avoid redundant revalidation
+- MCP preview tool falls back to cached/loaded documents when `code` parameter is omitted
+
+### Changed
+
+- Unused-definition rule narrowed to PartDef/ActionDef, excludes types with base types, promoted from Hint to Warning, now workspace-scoped
+- Grammar updated to OMG "2026-02 - SysML v2 Release" — removed local `end <keyword>` patch in favour of upstream `endFeatureUsage` rule
+- MCP non-visual tools annotated with explicit "NOT Visualization" routing guidance
+- MCP preview response stripped to minimal render data (mermaidMarkup + title)
+- MCP tool routing guidance and aliases expanded for diagnostics, validation, and file-focused preview requests
+
+### Fixed
+
+- Semantic validator signal quality: reduced specialization false positives and downgraded low-value unused-definition reports to warnings
+- Document-close diagnostics race: pending validation timers are cancelled and diagnostics publishing is guarded for closed documents
+
+## [0.6.0]
+
+### Added
+
+- Shared utilities: `identUtils.ts` for identifier handling, `symbolKindMapping.ts` for LSP SymbolKind mapping
+- Keywords now derived from ANTLR grammar at runtime — no manual list to maintain
+- Grammar support for `end` keyword syntax in interface/connection definitions
+- DFA snapshot infrastructure for parser serialisation
+
+### Changed
+
+- Code actions use structured diagnostic data instead of message parsing
+- Semantic tokens provider integrates lexer token types for operators/punctuation
+- Library indexing supports qualified name resolution
+- Parser retries with cleared DFA on error
+- Refactored providers to use shared utility modules
+
+### Removed
+
+- Hand-maintained keyword list (replaced by grammar-derived extraction)
+
+## [0.5.1]
+
+### Changed
+
+- Semantic validator: library type and feature reference checks
+- Symbol table: improved keyword and redefinition pattern handling
+
+## [0.5.0]
+
+### Changed
+
+- Symbol table uses `ruleIndex` instead of `constructor.name` for minification safety
+- Removed committed dist/ build artefacts from repository
+
+## [0.4.1]
+
+### Fixed
+
+- Web client graceful shutdown
+- Release pipeline fix
+
+## [0.4.0]
+
+### Added
+
+- Web client: browser-based SysML editor (`clients/web/`)
+- Python LSP client: Jupyter notebook demo
+
+### Changed
+
+- Library index, MCP server, and symbol table improvements
+
+## [0.3.1]
+
+### Fixed
+
+- esbuild: added `keepNames` for debugging
+- Removed committed dist/ build artefacts
+
 ## [0.3.0]
 
 ### Added
 
-- Mermaid diagram preview: SysML → Mermaid diagram generation with 6 diagram types (class, activity, state, sequence, interconnection, use-case) and auto-detection
-- Mermaid focus mode: filter diagram to a specific element, its children, parent, and related types
-- Mermaid diff mode: compare original vs. modified SysML and report structural changes
-- Complexity analyzer: structural complexity metrics (nesting depth, coupling, fan-out, documentation coverage) with composite 0–100 index and per-definition hotspots
-- Semantic validator: unresolved type references, invalid multiplicity bounds, empty enumerations, duplicate definitions — with standard-library type allow-list
-- MCP tool `preview`: generates Mermaid diagrams from SysML with focus/diff support
-- MCP tool `getDiagnostics`: returns semantic diagnostics for parsed documents
-- MCP tool `getComplexity`: exposes complexity analysis as an MCP tool
-- Code action quick-fixes: naming convention (PascalCase/camelCase), missing documentation stub, empty enumeration placeholder, unused definition suppression
-- Library type-level indexing: Go-to-Definition into standard library types at exact declaration lines
-- Multiplicity extraction from parse tree (`0..*`, `1`, etc.) on symbols
-- Documentation extraction from doc/comment nodes on symbols
-- Symbol table caching per URI keyed by document version
-- Multi-specialization support: comma-separated specialization targets with `:>` and `specializes`
-- LSP `sysml/serverStats` request: uptime, memory, and cache statistics
-- LSP `sysml/clearCache` request: flush all in-memory caches
-- LSP `sysml/status` notifications: begin/end parse progress events
-- Language configuration: folding markers (`#region`/`#endregion`), indentation rules, `wordPattern`
-- Model stats: lex/parse timing breakdown and complexity report in `sysml/model` response
-- New tests: codeActions, complexity, libraryIndex, semantic validation, MCP preview/diagnostics
+- Mermaid diagram preview with 6 diagram types, focus mode, and diff mode
+- Complexity analyser: structural metrics with composite 0–100 index
+- Semantic validator: unresolved types, invalid multiplicity, duplicate definitions
+- MCP tools: `preview`, `getDiagnostics`, `getComplexity`
+- Code action quick-fixes: naming conventions, doc stubs, empty enum placeholders
+- Library type-level indexing with Go-to-Definition into standard library
+- Multiplicity and documentation extraction from parse tree
+- LSP `sysml/serverStats`, `sysml/clearCache`, `sysml/status` requests
 
 ### Changed
 
-- MCP `validate` response shape: now returns `syntaxErrors`, `semanticIssues`, and `totalIssues` (was `errors` + `errorCount`)
-- Symbol `typeName` → `typeNames` (array) across MCP core and model provider
-- Definition provider simplified: word-at-position logic moved inline
-- References provider: uses symbol-table–based `findReferences()` instead of cross-file text scanning
-- Diagnostics computed synchronously on document change (removed background parse worker thread)
-- Symbol table kind inference: direct string comparison replaces regex-based rule matching for minification safety
-- Document manager simplified: removed `TextDocuments` integration; parse timing now derived from `ParseResult.timing`
-- esbuild: output format changed from ESM (`.mjs`) to CJS (`.js`); simplified to server + MCP + client bundles
-- Parser simplified: removed SLL/LL two-stage fallback with `BailErrorStrategy`; single-pass parse
-- MCP server: added `instructions` field for tool-call guidance
-- Library index: `resolveLibraryPackage()` replaced by `resolveLibraryType()` for type-level lookups
+- MCP `validate` response: `syntaxErrors` + `semanticIssues` (was `errors` + `errorCount`)
+- Symbol `typeName` → `typeNames` (array)
+- Diagnostics computed synchronously (removed background worker)
+- Parser simplified to single-pass (removed SLL/LL fallback)
+- esbuild output changed from ESM to CJS
 
 ### Removed
 
-- Background parse worker thread (`parseWorker.mjs`) and DFA warm-up
-- `resolveAt()` and `getWordAtPosition()` from symbol table (moved to providers)
-- `findTextReferences()` text-scanning reference finder
-- Keyword typo validation from diagnostics provider (replaced by semantic validator)
-- Several parser and symbol table tests (connection-end parsing, keyword typo, `findTextReferences`)
+- Background parse worker thread and DFA warm-up
+- Text-scanning reference finder (replaced by symbol-table lookups)
 
 ## [0.2.0]
 
 ### Added
 
-- Custom LSP request (`sysml/model`): full semantic model with scoped queries
-- MCP server (`sysml-mcp` CLI): 7 tools, 3 resources, 3 prompts for AI-assisted modelling
-- Standard library: 94 bundled SysML v2 / KerML files from OMG release repo
-- Inlay hints: ghost text for inferred types and supertypes
-- Call hierarchy: action call graph navigation
-- Type hierarchy: specialization chain navigation
-- Signature help: parameter tooltips for action/calc invocations
-- Code lens: reference counts above definitions
-- Document links: clickable `import` statements
-- Workspace symbols: cross-document symbol search
-- Linked editing ranges: simultaneous rename of all occurrences
-- Selection ranges: smart expand/shrink selection
-- Code actions: quick-fix actions for diagnostics
-- Formatting: document and range formatting
-- Keyword validation: typo detection with "did you mean?" suggestions
-- npm package: `sysml-v2-lsp` distributable for third-party extensions
-- Python LSP client: reference JSON-RPC/stdio client
-- Parse worker: background ANTLR parsing with DFA warm-up
-- `make update-library`: fetch latest standard library from upstream
-- `make package-server` / `make test-package`: npm tarball build and validation
+- Custom LSP request `sysml/model` for full semantic model with scoped queries
+- MCP server (`sysml-mcp` CLI): 7 tools, 3 resources, 3 prompts
+- Standard library: 94 bundled SysML v2 / KerML files
+- LSP providers: inlay hints, call/type hierarchy, signature help, code lens, document links, workspace symbols, linked editing, selection ranges, code actions, formatting
+- Keyword validation with "did you mean?" suggestions
+- npm package, Python LSP client, background parse worker
+- `make update-library`, `make package-server`, `make test-package`
 
 ### Changed
 
-- Go-to-definition falls back to standard library for unresolved symbols
-- Recursive type name extraction in symbol table
-- Synthetic `start`/`done` nodes in activity diagram flows
+- Go-to-definition falls back to standard library
 - Element kind enum expanded to 55 kinds
-- esbuild bundles four targets: server, worker, MCP server, VS Code client
+
+## [0.1.7]
+
+### Changed
+
+- Keyword validator: expanded SysML element coverage
+- New parser, symbol table, and provider tests
+
+## [0.1.6]
+
+### Fixed
+
+- Keyword validation diagnostic messages
+- Python LSP client diagnostics handling
+
+## [0.1.5]
+
+### Added
+
+- Inlay hints, call hierarchy improvements
+- Python LSP client with README
+- Client restructured under `clients/vscode/`
+
+## [0.1.4]
+
+### Added
+
+- MCP core module extracted from MCP server
+- Constraint parsing tests, grammar refinements
+
+## [0.1.3]
+
+### Fixed
+
+- `constructor.name` minification breaking code lens
+- ESM bundles renamed to `.mjs` for Node 20 compatibility
+- Bundled deps moved to devDependencies (zero runtime deps)
+
+## [0.1.2]
+
+### Fixed
+
+- Removed unused `antlr4-c3` dependency
+
+## [0.1.1]
+
+### Fixed
+
+- Dropped Node 18 from CI (Vite 7 requires Node 20+)
+- Release pipeline and trusted publishing fixes
 
 ## [0.1.0]
 
 ### Added
 
 - Initial LSP server with ANTLR4-based SysML v2 parser
-- Diagnostics: syntax error reporting
-- Document symbols: outline panel integration
-- Hover: element kind, type, and documentation
-- Go to definition: navigate to declarations
-- Find references: locate all usages
-- Code completion: keywords, snippets, symbol suggestions
-- Semantic tokens: rich syntax highlighting
-- Folding ranges: collapsible blocks and comments
-- Rename: symbol rename with reference updates
+- LSP providers: diagnostics, document symbols, hover, go-to-definition, find references, completion, semantic tokens, folding, rename
 - VS Code Language Client extension
-- vitest unit tests
-- GitHub Actions CI/CD
-- Dev Container support
+- vitest unit tests, GitHub Actions CI/CD, Dev Container