Skip to content

Bound language-server writes and retire failed transports - #58

Merged
ian-pascoe merged 1 commit into
mainfrom
advisor/011-bound-language-server-writes
Sep 8, 2026
Merged

ian-pascoe merged 1 commit into
mainfrom
advisor/011-bound-language-server-writes

Conversation

@ian-pascoe

Copy link
Copy Markdown
Contributor

Summary

  • Bound language-server frame writes with shared absolute operation deadlines.
  • Poison incomplete writes and retire the Owner generation, preserving uncertain/unsafe failure semantics.
  • Cover request, synchronization, shutdown, and immediate I/O failures with deterministic regressions.
  • Complete Plan 011 and record the caller-budget audit.

Closes #46

Verification

  • All 136 tests pass, including 3 new transport and 4 new lifecycle regressions.
  • Ten lifecycle regression repetitions pass.
  • Formatting, Clippy, schema compatibility, stored-state compatibility, and diff checks pass.
  • Independent review findings addressed.
  • Verified locally on Linux Rust 1.98.1; Windows/macOS/MSRV verification remains for CI.

@ian-pascoe
ian-pascoe merged commit 814cb18 into main Sep 8, 2026
16 checks passed
@ian-pascoe
ian-pascoe deleted the advisor/011-bound-language-server-writes branch September 8, 2026 15:47
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.

Plan 011: Bound language-server writes and make incomplete delivery fatal

1 participant