push_kind

Kinds of push: the method of every JSON-RPC notification the daemon sends a client. A push carries metadata, never what a participant wrote; content is read with a request the client chooses (pull, not push).

Value	Meaning
`changed`	A document a `subscribe` matches changed: its heads and splices.
`stale_save`	A mirror save was applied on an older disk base.
`write_held`	The mirror stopped writing a file another program held open.
`notification`	A notification reached the connection's participant: its metadata, read with `notifications.read`.
`response`	A note or hold answered an announcement the connection made.
`thread_message`	A message was added to a thread the connection's participant is in.
`channel_moved`	A channel's value moved (`watch`): the channel and its new frontier ids.
`run`	A runner's run of an action changed state (`watch`).
`presence`	A participant is on a document or in a workspace (`watch`).
`activity`	Something happened in the project, of a bounded kind (`watch`, `activity_kind`).
`resources`	The per-user daemon took a resource sample (`watch` on the host's connection).
`challenge`	A host peer stream's first line: the nonce its `hello` signs.
`pairing`	A pairing a device claimed was confirmed or declined (`auth.pair`, decision 300).
`sign`	A write device's record for it to sign with `auth.sign`.

Cardinality: 14.