Record deletion as a causal tombstone version

Review the independently proposed patch below, including its unchanged callers. Deleting a key must allocate a new dot and preserve the observed context, rather than merely clearing the visible value collection.

Review focus: Causal replication and compaction

src/services/Deletes.java

BeforeProposed

+1−1

22import models.*;

33public final class Deletes {

44 public static void key(Replica replica,String key) {

5 replica.versions(key).clear();

5 Writes.value(replica,key,null);

66 }

77}

Your review

0 / 10,000 characters · A verdict needs supporting evidence.

30 more characters to give a verdict