Module ws_sop_runs 

Live SOP-runs WebSocket: pushes run summaries as the engine transitions.

• WS /ws/sops/runs: initial snapshot then a live run-change feed.

The snapshot and every subsequent frame come from the engine directly (its in-memory active set plus retained terminal runs and its run-change broadcast), never from polling. The engine is the source of truth; this handler is a thin bridge from its subscribe_run_changes feed to the browser.

Functions

handle_ws_sop_runs

WS /ws/sops/runs, real-time SOP run summaries.