Tag
protocol-state
- Jan 13, 2026 Diagnostics Delivery: Push, Pull, and Stale Results How errors and warnings travel from a language server to the editor: the push notification that owns a document, version binding, the pull request with result identifiers, and the ways a squiggle outlives the code it describes. developer tools
- Oct 25, 2025 Incremental Document Synchronization Between Client and Server How the editor keeps a server copy of the buffer in step with its own: full versus incremental sync, the sequential semantics of change ranges, version numbers, and the divergence that follows an off-by-one. developer tools