QuiltedConformanceSuite

Reusable contract test suite for Quilted (delta-state CRDT) implementations.

Subclass and implement samples to bind any type under test; every Test encodes a law a conforming join-semilattice must satisfy. Lives in commonMain of :kuilt-conformance (not a module's commonTest) so every CRDT type can subclass it from its own test source set.

class GCounterConformanceTest : QuiltedConformanceSuite<GCounter>() {
    override fun samples(): List<GCounter> = listOf(/* representative values */)
 }

samples must return at least three distinct values for the associativity and absorption checks to be meaningful; more variety is better. The type's equals must reflect lattice equality — the laws are checked with ==.