kuilt-conformance/us.tractat.kuilt.conformance.convergence/CrdtConvergenceSuite

CrdtConvergenceSuite

abstract class CrdtConvergenceSuite<S : Quilted<S>>

Sibling to us.tractat.kuilt.conformance.QuiltedConformanceSuite. Subclass and implement newHarness to bind a CRDT type.

Provides convergence tests that drive N replicas through random op sequences, then assert every delivery permutation produces the same merged value. Lives in commonMain of :kuilt-conformance so any module's commonTest can subclass it.

Multiplatform: runs on JVM, wasmJs, and native.

Constructors

CrdtConvergenceSuite

constructor()

Functions

convergesAcrossSeeds

fun convergesAcrossSeeds()

Run 32 seeds (~6 permutations each at replicaCount=3 → 192 convergence assertions).

convergesAtSeedZero

fun convergesAtSeedZero()

Pin seed 0 for regression repro — if a specific seed fails, add a test here.

newHarness

abstract fun newHarness(): CrdtConvergenceHarness<S>

Build and return the harness under test — called once per test method.