Separate actor counters from visible value deduplication

Review the independently proposed patch below, including its unchanged callers. A replica writing after a remote merge increments its own counter, not the largest counter in the whole clock. Equal concurrent payloads must also render as one visible value while retaining separate dots.

Review focus: Causal replication and compaction

src/services/CounterAllocation.java

BeforeProposed

+1−1

22import models.*;

33public final class CounterAllocation {

44 public static Dot next(Replica replica) {

5 int counter=java.util.Collections.max(replica.clock.values())+1;

5 int counter=replica.clock.get(replica.id)+1;

66 Guard.require(counter<=200,"counter-limit");

77 return new Dot(replica.id,counter);

88 }

Your review

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

30 more characters to give a verdict