docs(agent-server): add bash-events WebSocket streaming example with inline source links\n\nCo-authored-by: openhands <openhands@all-hands.dev>

Author: enyst

sdk/arch/agent-server.mdx

@@ -243,5 +243,37 @@ WebSockets require passing the session key as a query parameter
 [sockets.py](https://github.com/OpenHands/software-agent-sdk/blob/HEAD/openhands-agent-server/openhands/agent_server/sockets.py).
 </Note>
 
-Last updated: 2025-12-09 06:57 UTC  
+
+### WebSocket streaming example (bash-events)
+
+```python
+# Stream bash events over WebSocket
+# Endpoint: /sockets/bash-events?session_api_key=...
+# (source: sockets.py)
+# https://github.com/OpenHands/software-agent-sdk/blob/HEAD/openhands-agent-server/openhands/agent_server/sockets.py
+
+import asyncio
+import json
+import websockets
+
+BASE_WS = "wss://agent-server.example.com"
+API_KEY = "your-api-key"
+
+async def stream_bash_events():
+    ws_url = f"{BASE_WS}/sockets/bash-events?session_api_key={API_KEY}&resend_all=false"
+    async with websockets.connect(ws_url) as ws:
+        while True:
+            raw = await ws.recv()
+            event = json.loads(raw)
+            print(event.get("kind"), event.get("timestamp"))
+
+asyncio.run(stream_bash_events())
+```
+
+<Note>
+Bash WebSocket events include BashCommand and BashOutput items. For filtering or paging
+via REST, see the bash event routes in
+[bash_router.py](https://github.com/OpenHands/software-agent-sdk/blob/HEAD/openhands-agent-server/openhands/agent_server/bash_router.py).
+</Note>
+
 Source commit (software-agent-sdk): `93d405c9`