Topological walkthrough of WebSocket gateways, Redis presence registry, Pub/Sub fanout, E2EE persistence, receipts, and offline recovery