filter

fun filter(opId: OpId): Draft<T>

Appends a DraftStage.Filter stage referencing opId and returns a new Draft.

The referenced op is assumed to be a monotone predicate. The stage is tagged CoordinationKind.Free.

Produces a path: the new node's sole predecessor is the current tip. No op is invoked. Only the name is recorded.