From 4e18fa90cc2377c8a9a08dcd99a5d8663db78ac1 Mon Sep 17 00:00:00 2001
From: Chris Johnstone <chris@johnstone.net>
Date: Mon, 15 Jun 2026 12:06:44 +1200
Subject: [PATCH 1/2] Add OC-140 WebSocket lifecycle task

---
 .../AGENT_GOAL_PROMPTS.md                     |   8 +-
 .../AGENT_PROGRESS.md                         |   3 +-
 docs/open-collection-gap-analysis/README.md   |   3 +-
 .../tasks/14-websocket-lifecycle-ux.md        | 114 ++++++++++++++++++
 4 files changed, 125 insertions(+), 3 deletions(-)
 create mode 100644 docs/open-collection-gap-analysis/tasks/14-websocket-lifecycle-ux.md

diff --git a/docs/open-collection-gap-analysis/AGENT_GOAL_PROMPTS.md b/docs/open-collection-gap-analysis/AGENT_GOAL_PROMPTS.md
index 4d6923e..007060e 100644
--- a/docs/open-collection-gap-analysis/AGENT_GOAL_PROMPTS.md
+++ b/docs/open-collection-gap-analysis/AGENT_GOAL_PROMPTS.md
@@ -82,6 +82,12 @@ If an agent host does not inject the project-local skills, tell the agent to rea
 /goal Complete OC-130 protocol-native request editor first paint using $missio-agent-coordination and $missio-editor-schema-implementer without stopping until opening HTTP, GraphQL, WebSocket, and gRPC requests renders a stable neutral or protocol-aware first-paint shell with no HTTP-default flash for non-HTTP requests, no stale HTTP controls during hydration, safe invalid-YAML fallback, AGENT_PROGRESS updates, and complete automated startup-state, protocol-render, layout-stability, round-trip, validation, and shared request editor regression tests are implemented and passing.
 ```
 
+## WebSocket Lifecycle UX
+
+```text
+/goal Complete OC-140 first-class WebSocket lifecycle UX using $missio-agent-coordination, $missio-protocol-implementer, $missio-editor-schema-implementer, and $missio-demo-server-fixtures without stopping until WebSocket requests have separate connect, disconnect, and send-message flows; persistent session state; editor message history; VS Code bottom status bar session management; command palette, tree, CodeLens, and Copilot lifecycle operations; local demo server and request fixtures; AGENT_PROGRESS updates; and complete automated session-manager, client fixture, editor UI, status bar, command, CodeLens, Copilot tool, cleanup, failure-path, round-trip, validation, and shared WebSocket regression tests are implemented and passing.
+```
+
 ## gRPC Streaming
 
 ```text
@@ -91,5 +97,5 @@ If an agent host does not inject the project-local skills, tell the agent to rea
 ## Final Integration
 
 ```text
-/goal Complete final OpenCollection compatibility integration across all Missio tracks using $missio-agent-coordination without stopping until all OC-000 through OC-130 task rows are Done, all GitButler branches or PRs are linked, the full test suite and required fixture integration tests pass, documentation is consistent, and AGENT_PROGRESS.md contains final verification evidence.
+/goal Complete final OpenCollection compatibility integration across all Missio tracks using $missio-agent-coordination without stopping until all OC-000 through OC-140 task rows are Done, all GitButler branches or PRs are linked, the full test suite and required fixture integration tests pass, documentation is consistent, and AGENT_PROGRESS.md contains final verification evidence.
 ```
diff --git a/docs/open-collection-gap-analysis/AGENT_PROGRESS.md b/docs/open-collection-gap-analysis/AGENT_PROGRESS.md
index 8641365..ea3b4f7 100644
--- a/docs/open-collection-gap-analysis/AGENT_PROGRESS.md
+++ b/docs/open-collection-gap-analysis/AGENT_PROGRESS.md
@@ -20,7 +20,7 @@ Status values: `Unclaimed`, `Claimed`, `In Progress`, `Review Ready`, `Blocked`,
 
 | Role | Owner | Scope | Since | Current Focus |
 | --- | --- | --- | --- | --- |
-| Supervisor | Codex | Sanity-check completed tracks, run build/test/package/install verification, preserve GitButler branch hygiene, and append progress reports. | 2026-06-14 22:31 NZT | OC-000 through OC-110 accepted; OC-120 and OC-130 queued as focused follow-up UX tasks. |
+| Supervisor | Codex | Sanity-check completed tracks, run build/test/package/install verification, preserve GitButler branch hygiene, and append progress reports. | 2026-06-14 22:31 NZT | OC-120 accepted; OC-130 in progress; OC-140 queued as a focused WebSocket lifecycle UX follow-up. |
 
 ## Test Coverage Rules
 
@@ -91,6 +91,7 @@ Use full branch names for stacking existing branches with `but move <child-branc
 | OC-110 | OC-040 runtime schema/engine, OC-060 round-trip safety, OC-100 editor shell; coordinate with OC-070 and OC-080 | Visual authoring completeness for runtime scripts, tests, assertions, and actions |
 | OC-120 | Release PDF.js packaging fix, response preview rendering, request editor webview shell; coordinate with OC-100/OC-110 styles | Inspectable image/PDF response preview UX |
 | OC-130 | OC-100 protocol identity, request editor webview startup path, all protocol editor layouts; coordinate with OC-120 if shared CSS changes | Protocol-native editor first paint and layout stability |
+| OC-140 | OC-020 WebSocket client/executor, OC-070 CodeLens/Copilot patterns, OC-080 WebSocket runtime lifecycle, OC-100 WebSocket editor identity, OC-130 request editor startup/layout if shared UI changes overlap | First-class WebSocket session lifecycle management |
 
 ## Shared Decisions
 
diff --git a/docs/open-collection-gap-analysis/README.md b/docs/open-collection-gap-analysis/README.md
index d004e08..697803c 100644
--- a/docs/open-collection-gap-analysis/README.md
+++ b/docs/open-collection-gap-analysis/README.md
@@ -70,6 +70,7 @@ If a scenario truly cannot be automated in this repo, document the reason, manua
 | OC-110 | Runtime Authoring UX | [11-runtime-authoring-ux.md](tasks/11-runtime-authoring-ux.md) | Visual editor authoring for scripts, tests, assertions, and set-variable actions. |
 | OC-120 | Preview Media Controls | [12-preview-media-controls.md](tasks/12-preview-media-controls.md) | Zoom, rotate, fit, reset, and Ctrl+scroll controls for image/PDF response previews. |
 | OC-130 | Protocol Layout Stability | [13-protocol-layout-stability.md](tasks/13-protocol-layout-stability.md) | Protocol-native first paint and layout stability when opening non-HTTP requests. |
+| OC-140 | WebSocket Lifecycle UX | [14-websocket-lifecycle-ux.md](tasks/14-websocket-lifecycle-ux.md) | First-class connect, disconnect, send, status bar, CodeLens, and Copilot lifecycle management for WebSocket sessions. |
 
 ## Project Skills
 
@@ -86,7 +87,7 @@ Project-local skills live in [.agents/skills/](../../.agents/skills/). They are
 
 ## Final Compatibility Evidence
 
-OC-000 through OC-110 are implemented and tracked in [AGENT_PROGRESS.md](AGENT_PROGRESS.md). OC-120 and OC-130 are follow-up UX tasks for media preview controls and protocol-native editor first paint. The table below records the main evidence surfaces that remain useful for maintenance and future audits.
+OC-000 through OC-120 are implemented and tracked in [AGENT_PROGRESS.md](AGENT_PROGRESS.md). OC-130 and OC-140 are follow-up UX tasks for protocol-native editor first paint and first-class WebSocket lifecycle management. The table below records the main evidence surfaces that remain useful for maintenance and future audits.
 
 | Evidence Surface | Location |
 | --- | --- |
diff --git a/docs/open-collection-gap-analysis/tasks/14-websocket-lifecycle-ux.md b/docs/open-collection-gap-analysis/tasks/14-websocket-lifecycle-ux.md
new file mode 100644
index 0000000..8611011
--- /dev/null
+++ b/docs/open-collection-gap-analysis/tasks/14-websocket-lifecycle-ux.md
@@ -0,0 +1,114 @@
+# OC-140 First-Class WebSocket Lifecycle UX
+
+## Goal
+
+Make WebSocket testing in Missio feel like a first-class persistent connection workflow, not an HTTP-style one-shot request. Users should connect, observe connection state, send one or more messages, receive asynchronous messages, and disconnect through clear editor, VS Code status bar, CodeLens, command, and Copilot surfaces.
+
+## Current Gap
+
+Missio can execute WebSocket requests, but the primary UI still leans toward a combined "connect and send" action. That is useful as a smoke-test shortcut, but it is not the expected workflow for WebSocket API exploration. Tools such as Postman and Bruno treat connection lifecycle and message sending as separate operations: connect first, send messages while connected, inspect the message stream, then disconnect.
+
+| Surface | Gap |
+| --- | --- |
+| Editor action model | Connect and send are coupled too tightly for interactive WebSocket debugging. |
+| Connection state | Users need persistent visible states: disconnected, connecting, connected, disconnecting, error. |
+| Message sending | Sending should be available independently after a connection is open and should support repeated sends. |
+| Message history | Sent, received, close, error, and network events should remain inspectable during the session. |
+| VS Code shell | Active WebSocket connections should be visible and manageable from the bottom status bar, similar to database or remote connections. |
+| CodeLens and commands | WebSocket files should expose protocol-specific connect/disconnect/send actions instead of only generic request send behavior. |
+| Copilot tools | Agent-facing tools should understand WebSocket session lifecycle, not only one-shot request execution. |
+
+## Implementation Plan
+
+1. Define the connection/session model:
+
+| Area | Work |
+| --- | --- |
+| Session manager | Add or extend a service that owns WebSocket sessions by request URI or stable request identity. |
+| State machine | Model disconnected, connecting, connected, disconnecting, closed, and error states with deterministic transitions. |
+| Cleanup | Close sockets on editor disposal, extension deactivation, cancellation, and explicit disconnect. |
+| Multiple connections | Support more than one open WebSocket request without cross-wiring messages or status. |
+| Backward compatibility | Preserve any existing one-shot `send request` behavior as a secondary command or tool path where useful. |
+
+2. Build editor UX around lifecycle:
+
+| Area | Expected Behavior |
+| --- | --- |
+| Primary buttons | Show `Connect` when disconnected, `Disconnect` when connected or connecting, and a separate `Send` message action when connected. |
+| Message editor | Let the user compose and resend messages without reconnecting. Preserve supported text, JSON, XML, and binary/base64 or hex paths already modeled by OpenCollection where available. |
+| Message history | Show sent and received messages with direction, timestamp, payload preview, close/error events, and clear/copy affordances. |
+| Status | Surface current connection state and last error without requiring the user to inspect logs. |
+| Runtime integration | Apply supported before/after runtime behavior consistently with OC-080 without running after-response work until the relevant message/session event exists. |
+
+3. Add VS Code shell integration:
+
+| Area | Expected Behavior |
+| --- | --- |
+| Status bar item | Show active WebSocket connection count and active request state in the bottom bar. |
+| Status bar command | Clicking the item opens a quick pick to view active sessions, focus a request, disconnect one, or disconnect all. |
+| Command palette | Add explicit commands for connect, disconnect, send current message, show active WebSocket connections, and disconnect all WebSockets. |
+| Lifecycle safety | Status bar state updates when sessions connect, fail, close, or are disposed. |
+
+4. Update CodeLens, tree, and Copilot surfaces:
+
+| Surface | Expected Behavior |
+| --- | --- |
+| CodeLens | WebSocket request files expose `Connect`, `Disconnect` when applicable, and `Send Message` lenses rather than only generic send semantics. |
+| Tree/context menus | WebSocket nodes expose lifecycle-aware actions where VS Code UX patterns allow it. |
+| Copilot list/get tools | Report WebSocket lifecycle capability and current connection state when available. |
+| Copilot send/tooling | Add lifecycle-aware operations for connect, disconnect, send message, get status, and list recent messages. Keep one-shot execution explicit if retained. |
+| Diagnostics | Return clear errors for sending while disconnected, connecting twice, unsupported message type, failed handshake, and closed sessions. |
+
+5. Extend local fixtures and examples:
+
+| Area | Work |
+| --- | --- |
+| Demo server | Ensure the local demo WebSocket server supports long-lived sessions, delayed server messages, close events, auth failure, and echo/message variants. |
+| Demo requests | Add or update example WebSocket requests that demonstrate connect-only, repeated sends, server push, auth handshake, and disconnect behavior. |
+| User verification | Include clear fixture names and predictable responses so users can verify the lifecycle manually inside VS Code. |
+
+## Dependencies
+
+| Task | Impact |
+| --- | --- |
+| OC-020 | Provides baseline WebSocket schema, client, execution, fixtures, and tests. |
+| OC-070 | Copilot and CodeLens protocol identity patterns should be reused. |
+| OC-080 | Runtime lifecycle semantics for WebSocket execution should remain consistent. |
+| OC-100 | Request type identity and WebSocket editor shell should drive protocol-specific actions. |
+| OC-130 | Coordinate if both tasks touch request editor startup, protocol-specific editor rendering, or shared toolbar layout. |
+
+## Acceptance Criteria
+
+| Requirement | Acceptance |
+| --- | --- |
+| Separate lifecycle | WebSocket users can connect without sending, send multiple messages while connected, and disconnect explicitly. |
+| First-class state | Editor and status bar accurately reflect connection state and errors. |
+| Message history | Sent, received, close, and error events are visible with stable ordering and useful metadata. |
+| VS Code integration | Bottom status bar and command palette can inspect and manage active WebSocket sessions. |
+| CodeLens integration | WebSocket files expose lifecycle-aware CodeLens actions with protocol-specific labels. |
+| Copilot integration | Copilot tools can connect, disconnect, send a message over an existing session, report status, and diagnose invalid lifecycle operations. |
+| Safe cleanup | Sessions close on disposal/deactivation/cancellation and do not leak listeners or timers. |
+| Demo verification | Local demo API and example requests cover user-verifiable connect, send, receive, server push, auth failure, and disconnect flows. |
+| Tests | Complete automated tests cover session state, editor UI, status bar commands, CodeLens, Copilot tools, fixture execution, cleanup, failure paths, and shared WebSocket regressions. |
+
+## Suggested Tests
+
+| Test | Expected Result |
+| --- | --- |
+| WebSocket session manager unit tests | State transitions, multiple sessions, duplicate connect, send while disconnected, close, error, and cleanup are deterministic. |
+| WebSocket client fixture tests | Local server proves connect-only, repeated sends, server push, close events, auth failure, and cancellation cleanup. |
+| Request editor tests | WebSocket editor renders separate Connect/Disconnect and Send controls, disables invalid actions by state, and records message history. |
+| Status bar command tests | Status item updates for active sessions and commands can focus, disconnect one, or disconnect all sessions. |
+| CodeLens tests | WebSocket YAML receives protocol-specific connect/disconnect/send lenses without adding HTTP-specific actions. |
+| Copilot tool tests | Lifecycle operations return useful status, message, and diagnostic payloads and preserve secret redaction. |
+| Round-trip and validation tests | WebSocket request YAML remains schema-valid and unsupported-but-valid fields are preserved. |
+| Regression suite | Re-run WebSocket, runtime lifecycle, request type UX, CodeLens, sendRequestTool, response provider, schema round-trip, and validation tests touched by shared code. |
+
+## Out Of Scope
+
+| Area | Reason |
+| --- | --- |
+| Full Socket.IO parity | Socket.IO has its own event/ack model and should be a separate task if needed. |
+| Load testing | Persistent session UX is interactive/debugging-focused, not a performance runner. |
+| WebSocket collection runner orchestration | Batch or monitor execution can follow after the interactive lifecycle is stable. |
+| New request type switching | Saved-request type switching remains out of scope per OC-100. |

From bc2215695dda3d4ee420fc22c52c97cf8b1533a1 Mon Sep 17 00:00:00 2001
From: Chris Johnstone <chris@johnstone.net>
Date: Mon, 15 Jun 2026 12:10:24 +1200
Subject: [PATCH 2/2] Refresh supervisor focus for OC-140

---
 docs/open-collection-gap-analysis/AGENT_PROGRESS.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/open-collection-gap-analysis/AGENT_PROGRESS.md b/docs/open-collection-gap-analysis/AGENT_PROGRESS.md
index ea3b4f7..f55c56b 100644
--- a/docs/open-collection-gap-analysis/AGENT_PROGRESS.md
+++ b/docs/open-collection-gap-analysis/AGENT_PROGRESS.md
@@ -20,7 +20,7 @@ Status values: `Unclaimed`, `Claimed`, `In Progress`, `Review Ready`, `Blocked`,
 
 | Role | Owner | Scope | Since | Current Focus |
 | --- | --- | --- | --- | --- |
-| Supervisor | Codex | Sanity-check completed tracks, run build/test/package/install verification, preserve GitButler branch hygiene, and append progress reports. | 2026-06-14 22:31 NZT | OC-120 accepted; OC-130 in progress; OC-140 queued as a focused WebSocket lifecycle UX follow-up. |
+| Supervisor | Codex | Sanity-check completed tracks, run build/test/package/install verification, preserve GitButler branch hygiene, and append progress reports. | 2026-06-14 22:31 NZT | OC-120 and OC-130 accepted; OC-140 queued as a focused WebSocket lifecycle UX follow-up. |
 
 ## Test Coverage Rules