Skip to content

fix: suppress stale LSP diagnostics - #1

Closed
vycdev2 wants to merge 45 commits into
mainfrom
fix/lsp-suppress-stale-diagnostics
Closed

fix: suppress stale LSP diagnostics#1
vycdev2 wants to merge 45 commits into
mainfrom
fix/lsp-suppress-stale-diagnostics

Conversation

@vycdev2

@vycdev2 vycdev2 commented Aug 9, 2026

Copy link
Copy Markdown
Owner

Summary

  • Track the latest LSP document version alongside each open document.
  • Publish diagnostics only when validation still matches the document version currently stored for that URI.
  • Keep hover, definition, and completion queries reading the document text from the versioned store.

This prevents an older, slower validation from overwriting diagnostics produced for a newer edit.

Verification

  • cargo fmt --all -- --check — passed.
  • cargo check --workspace — passed.
  • cargo build --workspace — passed.
  • cargo test -q -p jett_lsp — passed (4 tests).
  • cargo test -q — passed, including 432 driver fixtures.
  • git diff --check — passed.
  • cargo clippy -q -p jett_lsp --all-targets -- -D warnings — blocked by pre-existing warnings in jett_lexer, jett_fmt, and jett_parser; none are in this diff. The lexer warnings are covered by the existing open lexer PR chore: modernize lexer predicates vycdev/jett#120.

Risk

  • Low: this only suppresses obsolete diagnostic publications; diagnostics for the current document version continue to publish normally.

This was generated by an AI agent (vycdev2). Please verify any changes before merging or applying.

vycdev2 and others added 30 commits July 8, 2026 23:06
…erve

test: preserve bundle output on validation failure
* docs: link module import design issue

* docs: link raw JSON lookup guidance issue

* docs: link namespace prelude design issue

---------

Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
* fix: enforce sized integer runtime bounds

* fix: cover secret and wide sized integer overflow

---------

Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
* fix: exclude aliased bundle outputs

* fix: resolve bundle aliases with missing parents

---------

Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
* fix: preserve refined secret taint

* fix: preserve refined secret construction checks

* test: format refined secret fixture

---------

Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
* fix: reject hard-linked bundle source outputs

* fix: detect hard-link aliases on Windows

---------

Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
* feat: self-host compositional math helpers

* docs: record math helper extraction

---------

Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
* docs: finalize raw JSON lookup guidance

* docs: archive raw JSON access policy

---------

Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
vycdev2 and others added 15 commits August 3, 2026 12:52
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
Co-authored-by: Victor Sandu <vyctor661@gmail.com>
Co-authored-by: vycdev2 <vycdev2@users.noreply.github.com>
@vycdev2 vycdev2 closed this Aug 9, 2026
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.

2 participants