"""WebSocket Manager — Real-time connection handler (ws_manager singleton)."""