add

fun add(replica: ReplicaId, taskId: TaskId): WorkQueue<TaskId>

Add taskId to the pending set on behalf of replica.

A fresh causal dot is minted, so this add survives a concurrent remove of the same task ID on a peer that hasn't seen this add yet (add-wins semantics).