CRDTs & Bounded Join-Semilattices (SEC)

// Join-Semilattice Merge Operator (Max Set)
class GCounter {
  private counts: Map<string, number> = new Map();

  increment(nodeId: string, amount = 1): void {
    const cur = this.counts.get(nodeId) || 0;
    this.counts.set(nodeId, cur + amount);
  }

  // Merge Operator (⊔): Commutative, Associative, Idempotent
  merge(other: GCounter): void {
    for (const [node, val] of other.counts.entries()) {
      const localVal = this.counts.get(node) || 0;
      this.counts.set(node, Math.max(localVal, val)); // ⊔ = max()
    }
  }

  value(): number {
    let total = 0;
    for (const val of this.counts.values()) total += val;
    return total;
  }
}