Skip to content

[codex] Harden Pocket remote lifecycle#208

Merged
nedtwigg merged 3 commits into
mainfrom
security-model
Jul 5, 2026
Merged

[codex] Harden Pocket remote lifecycle#208
nedtwigg merged 3 commits into
mainfrom
security-model

Conversation

@nedtwigg

@nedtwigg nedtwigg commented Jul 5, 2026

Copy link
Copy Markdown
Member

Summary

  • Ignore message/open/close events from superseded Pocket relay sockets after reconnecting.
  • Mark restored exited terminal panes as exited in the registry so the directory reports them as non-attachable.
  • Filter alive:false directory entries out of the Pocket wall picker and default attachment flow.

Impact

This prevents stale socket events from clearing an active reconnect and prevents Pocket from offering dead or restored-exited terminal panes as attach targets.

Root Cause

Pocket socket event handlers were not scoped to the current WebSocket instance, and restore wrote the exited-process message without updating the registry-level exited flag.

Validation

  • pnpm --filter dormouse-lib test -- terminal-registry.alert.test.ts pocket-client.test.ts wall-model.test.ts

@nedtwigg nedtwigg marked this pull request as ready for review July 5, 2026 00:10
@nedtwigg nedtwigg merged commit 7262215 into main Jul 5, 2026
9 of 10 checks passed
@nedtwigg nedtwigg deleted the security-model branch July 5, 2026 00:30
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