[lsp] Accept initialize requests with out-of-range process IDs

[purefunctor]

Fixes #551.

The workspace rejected initialize requests with process IDs above i32::MAX even though it does not use that field. Decode only capabilities and workspace folders, leaving process ID interpretation and monitoring with the protocol actor. Unrepresentable IDs continue to skip monitoring.

The workspace-channel regression sends processId 2147483648 and checks the InitializeResult and UTF-8 negotiation. It reproduced the InvalidParams rejection before the fix and passes afterward. The existing server test separately covers skipping the monitor.

Validation:

• cargo check -p iris-lsp-workspace --tests
• cargo nextest run -p iris-lsp-workspace -p iris-lsp-server: 86 passed
• just t lsp: all passed, no pending snapshots
• just format
• just licenses
• git diff --check

Amp thread: https://ampcode.com/threads/T-01a0fb0c-a2df-760d-95e0-8425796d646d

[purefunctor]

Granite Review

Council

Role	Mode	Status	Attempt	Amp thread
Council member	review-gpt-6-luna	completed	1	T-01a0fb8e-63d0-777d-839b-8e3c230caa58
Council member	review-gpt-6-sol	completed	1	T-01a0fb8e-62f6-726f-8f43-2c20da6a4f2c
Synthesis	review-astra-synthesis	completed	1	T-01a0fb8f-fd68-718e-9aba-429d21a63632

Findings

No actionable findings.

[github-actions]

Compatibility regression report

Package set 81.1.0 for PureScript 0.15.15.

✅ The candidate introduces no compatibility errors.

Diagnostic class	Base	Candidate	Introduced	Fixed
Compiler errors	0	0	0	0
Compiler warnings	36	36	0	0
Verifier errors	0	0	0	0

Introduced errors

None.

Fixed errors (0)

None.

Warning changes (0 introduced, 0 fixed)

Introduced

None.

Fixed

None.

Candidate errors (0)

None.

Candidate warnings (36)

• deno@0.0.5/src/Deno.purs:38:17 — CustomWarning (checking): Data.Map's `Semigroup` instance is now unbiased and differs from the left-biased instance defined in PureScript releases <= 0.13.x.
• deno@0.0.5/src/Deno/Dotenv.purs:41:20 — CustomWarning (checking) × 2: Data.Map's `Semigroup` instance is now unbiased and differs from the left-biased instance defined in PureScript releases <= 0.13.x.
• deno@0.0.5/src/Deno/Http/Request.purs:47:25 — CustomWarning (checking): Data.Map's `Semigroup` instance is now unbiased and differs from the left-biased instance defined in PureScript releases <= 0.13.x.
• literals@1.0.2/src/Literals/Null.purs:11:1 — UnparseableFFIModule (javascript): Oxc could not parse the JavaScript FFI module. Fix the invalid or unsupported JavaScript syntax; Iris treated the module as opaque and skipped export-name validation: Unexpected token
• react-basic-dom-beta@0.1.1/src/Beta/DOM.purs:33:31 — DuplicateImport (indexing): Import list contains multiple references to 'Proxy'
• sparse-polynomials@3.0.1/src/Data/Sparse/Polynomial.purs:1048:1 — MissingPatterns (checking) × 2: Pattern match is not exhaustive. Missing: _
• text-formatting@0.1.0/src/Data/Text/Format/Dodo/Printer.purs:64:25 — CustomWarning (checking) × 23: Debug function usage
• trivial-unfold@0.5.0/src/Data/Unfoldable1/Trivial1.purs:150:17 — MissingPatterns (checking): Pattern match is not exhaustive. Missing: Right _
• xterm@1.0.0/src/XTerm/UnicodeHandling.purs:15:1 — UnparseableFFIModule (javascript) × 2: Oxc could not parse the JavaScript FFI module. Fix the invalid or unsupported JavaScript syntax; Iris treated the module as opaque and skipped export-name validation: Expected a semicolon or an implicit semicolon after a statement, but found none
• yoga-react-dom@2.0.1/src/Yoga/React/DOM.purs:34:31 — DuplicateImport (indexing): Import list contains multiple references to 'Proxy'
• yoga-tree-utils@1.0.0/src/Yoga/Tree/Extended/Path.purs:20:72 — DuplicateImport (indexing): Import list contains multiple references to 'snoc'

View workflow run

[claude]

Review against AGENTS.md: no issues found.

The fix is in the layer that owns the problem. The workspace actor now decodes only the fields it uses (capabilities and workspaceFolders). processId is left to iris-lsp-server, which already reads it leniently in parent::process_id and skips monitoring for out-of-range IDs. The negotiation helpers now take &ClientCapabilities, so they depend only on the data they read.

The new regression test drives the workspace actor through its channel, and it sits beside the existing actor tests in iris-lsp-workspace/src/tests.rs. It doesn't overlap the server test a_process_id_that_cannot_be_represented_installs_no_monitor: this one checks that initialization succeeds, and the server test checks that no monitor is installed.

Checks run:

• cargo check -p iris-lsp-workspace --tests: passed
• cargo nextest run -p iris-lsp-workspace: 49/49 passed
• cargo nextest run -p iris-lsp-server: 37/37 passed
• just t lsp: all tests passed, no pending snapshots
• just format --check: clean
• just licenses: THIRDPARTY.toml unchanged
• git status: clean, with no .snap.new files after the runs

🤖 Generated with Claude Code