2026-01-04 14:32:47 +00:00
|
|
|
import ClawdbotProtocol
|
2025-12-12 22:06:40 +00:00
|
|
|
|
|
|
|
|
/// Server-push messages from the gateway websocket.
|
|
|
|
|
///
|
|
|
|
|
/// This is the in-process replacement for the legacy `NotificationCenter` fan-out.
|
|
|
|
|
enum GatewayPush: Sendable {
|
|
|
|
|
/// A full snapshot that arrives on connect (or reconnect).
|
|
|
|
|
case snapshot(HelloOk)
|
|
|
|
|
/// A server push event frame.
|
|
|
|
|
case event(EventFrame)
|
|
|
|
|
/// A detected sequence gap (`expected...received`) for event frames.
|
|
|
|
|
case seqGap(expected: Int, received: Int)
|
|
|
|
|
}
|
