CRDT Skill

CRDT Skill - Conflict-free Replicated Data Types

Status: ✅ Production Ready Framework: Jules Hedges' Compositional Game Theory Language: Ruby (HedgesOpenGames module) Trit: ±1 (covariant/contravariant) Integration: Amp, Codex, Music-Topos CRDT

Overview

The CRDT Skill provides conflict-free replicated data types with bidirectional lens optics for compositional game theory. It implements core CRDT types with full merge semantics and property verification.

Features

Core CRDT Types

1. LWW Register (Last-Write-Wins)

   • Timestamp-based value ordering
   • Simple conflict resolution
   • Use case: Simple mutable state

2. G-Counter (Grow-only Counter)

   • Monotonically increasing counts
   • Distributed increment operations
   • Use case: Metrics and counters

3. PN-Counter (Positive-Negative Counter)

   • Both increment and decrement
   • Composed from two G-Counters
   • Use case: Inventory, balance tracking

4. OR-Set (Observed-Remove Set)

   • Unordered collection with add/remove
   • Unique ID tagging for removal
   • Use case: Group membership, tags

5. Text CRDT (Character-based)

   • Vector clock causality tracking
   • Collaborative text editing
   • Use case: Distributed text documents

Verified Properties

All CRDTs verify these mathematical properties:

• ✓ Idempotence: merge(A, A) = A
• ✓ Commutativity: merge(A, B) = merge(B, A)
• ✓ Associativity: merge(merge(A,B),C) = merge(A,merge(B,C))
• ✓ Causality: Vector clocks maintain partial order

Open Games Interface

# Forward pass (play)
result = skill.play(
  crdt_name: "state",
  operations: [{op: :set, value: 100}],
  strategy: :sequential
)

# Backward pass (coplay)
ack = skill.coplay(
  transfer_id: result[:transfer_id],
  acknowledged: true,
  consistency_verified: true
)

Composition

Compose with other games:

• File transfer verification
• Payment games
• Encryption games
• State synchronization

API

Core Operations