[blacktrs]

Part 7 (top) of the LSP stack. Base: stack-6-lsp-docblock-hover. Merge the stack bottom-up: #529, #530, #531, #532, #533, #534, then this one.

• Sync and lifecycle (LSP: sync and lifecycle (incremental sync, $/cancelRequest, didChangeWatchedFiles/didSave, new files) #524): incremental didChange, cancellable requests ($/cancelRequest), didChangeWatchedFiles with dynamic registration.
• Completion (LSP completion: use-aware insertion, parent::__construct, multi-line chains, keywords #523): use-aware class insertion, parent::__construct, multi-line chains, static via ->, keywords.
• Navigation and hover (LSP: navigation into prelude/stdlib (lib: locations) and constant hover docblocks #525): prelude definitions open as readable files; class constant @var, variadic, union destructuring, quoted shape keys.
• Docblock names and rename (LSP docblock names: strings vs comments in fallback scan, 'use' clause parsing, '@return A new instance' #526, LSP rename: alias sites scoped to use statements, per-kind member case rule, published URI normalisation #527): namespace/use read from lexer tokens, per-kind member case rule, import aliases, client URI echoed in diagnostics.
• Memory (LSP server memory: RSS grows to ~500-630 MB after member queries #528): member queries open closed files one at a time. Native RSS after 60 queries is 421-516 MB against ~128 MB after the scan (was 805 MB), so the 1.5x target is not met; recorded in docs/lsp.md.
• Native runtime fixes found by running the server natively: stream_select polls the real fd of FILE*-backed streams and treats memory streams as ready; poll bindings agree on an int return; stream_set_read_buffer(0) makes stdin unbuffered; Stdio reads whole frames.

Known limits (filed): #518, #519, #520, #521.

Evidence

• tests/semantic/lsp_* green natively and under Zend; AOT stream_select cases green.
• NOT run: full AOT suite, difftest, self-host fixpoint, Linux gate (this layer touches src/Runtime, so the Linux gate is required).