WebSocket: Verification and operations
Defines verification and operations for authenticated WebSocket connections, covering handshake origin, message authorization, limits, liveness, backpressure, reconnect, deployment drain, and observability.
Collaborator presence is ephemeral and non-authoritative, expires without heartbeat, and reconnects with versioned session tokens so editing authority never derives from stale presence alone.