在线翻译实时协作 (Collaboration)
移植自 Poprako 的“页面级独占编辑 + 整页快照广播”协作模型，跑在 Axum WebSocket 上，
使用 SignalR JSON Hub 协议子集与 @microsoft/signalr 前端互通。
signalr：SignalR JSON 协议编解码与握手hub：连接注册表、项目在线状态、页面锁、页面快照、实时增量与跨实例 fanout
Redis 用途：页面锁（NX+TTL 权威）、页面快照（跨实例/重连恢复）、跨实例广播（pub/sub fanout）。