Module topic
Expand description
topic IR node (docs/design/subscriptions-websocket.md §3.4, slice
S4): a typed, keyed, cross-replica publish/subscribe channel, declared
once as topic RoomMessage(roomId: String): ChatMessage.
A topic is server-internal: it is not an op, has no route and no policy
of its own. The subscription procedure that returns its stream is the
policy boundary, so nothing about a topic reaches a client contract.