crdt

CRDTs (conflict-free replicated data types) enable safe merges by ensuring all replicas converge to the same state through commutative, associative operations. This Skill provides LWW Registers, counters, sets, and text CRDTs with deterministic merge semantics that eliminate manual conflict resolution.

This Skill includes LWW Register for last-write-wins semantics, G-Counter and PN-Counter for monotonic and signed counts, OR-Set for concurrent additions and removals, and Text CRDT for collaborative editing. Each type guarantees idempotence, commutativity, and associativity across replicas.

Vector clocks record the causal history of updates across replicas, enabling the Skill to verify that concurrent operations merge correctly and detect which updates preceded others. They support incremental updates and ensure merge verification satisfies ordering constraints.

Yes. This Skill implements play (forward) and coplay (backward) semantics via Open Games API, enabling bidirectional lens optics for composable state transformations. This supports flexible data access patterns while maintaining merge properties.

CRDTs guarantee both replicas automatically converge to the same final state without coordination. The Skill's merge semantics are commutative and associative, so the order of updates doesn't matter—both paths produce identical results.