unset

Clear the value tagged with (timestamp, replica) — a last-writer-wins tombstone. It competes under piece exactly like a set: an unset at a later tag hides an earlier value, and a set at a later tag revives the register. After an unset wins, value reads null.

The tag-uniqueness precondition on set applies equally here: never reuse a (replica, timestamp) pair across writes.