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}
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
0 / 10,000 characters · A verdict needs supporting evidence.
30 more characters to give a verdict
Sign in to view your reviews.