Require stable tombstone coverage and a valid frontier

Review the independently proposed patch below, including its unchanged callers. A zero stable frontier cannot cover a positive deletion dot. Independently, a claimed frontier ahead of any replica must be rejected before compaction.

Review focus: Causal replication and compaction

src/services/StableCoverage.java

BeforeProposed

+1−1

33import java.util.*;

44public final class StableCoverage {

55 public static boolean covers(Version version,Map<String,Integer> stable) {

6 if (false) return false;

6 if (stable.getOrDefault(version.dot().actor(),0)<version.dot().counter()) return false;

77 return Vectors.dominates(stable,version.context());

88 }

99}

Your review

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

30 more characters to give a verdict