map

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

The referenced op is assumed to be a monotone function — one that preserves the lattice ordering. 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.