Skip to content

Add the native Stack language server - #23

Merged
konojunya merged 4 commits into
mainfrom
agent/native-stack-lsp
Sep 5, 2026
Merged

konojunya merged 4 commits into
mainfrom
agent/native-stack-lsp

Conversation

@konojunya

Copy link
Copy Markdown
Member

Summary

  • add stack lsp, a bounded LSP 3.18 stdio server with initialization, shutdown, position-encoding negotiation, incremental document synchronization, cancellation bookkeeping, and versioned diagnostics
  • adapt the pinned compiler language-intelligence API to completion, hover, and hierarchical document symbols, and adapt the pinned engine formatter to standard text edits
  • document editor setup, ownership, failure boundaries, and resource limits; include the command in release metadata checks
  • pin the final compiler and engine revisions without adding a new third-party dependency or bundled vendor asset

Verification

  • cargo +stable fmt --check
  • cargo +stable test --locked
  • cargo +stable clippy --all-targets --all-features --locked -- -D warnings
  • RUSTDOCFLAGS=-D warnings cargo +stable doc --no-deps --locked
  • pinned formatter and template conformance suites
  • coverage thresholds: lines 90%, functions 95%, regions 90%
  • cargo +1.85.0 test --locked
  • cargo +1.85.0 clippy --all-targets --all-features --locked -- -D warnings
  • release build, SVG validation, command metadata smoke, catalog/distribution/supply-chain validators
  • Neovim 0.12 client smoke covering initialize, completion, hover, document symbols, formatting, incremental diagnostics, shutdown, and exit

Compatibility and security

Existing commands and exit contracts are unchanged. LSP input is limited to 8 MiB per message, 32 KiB of headers, 4 MiB per document, 64 open documents, and bounded request-ID caches. Malformed JSON is isolated to one response; unsafe framing and truncated input fail closed. Standard output remains protocol-only.

@konojunya
konojunya merged commit 1aea910 into main Sep 5, 2026
2 checks passed
@konojunya
konojunya deleted the agent/native-stack-lsp branch September 5, 2026 06:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant