No problem. Jepsen is something we're interested in once the project reaches a certain level of maturity. The replication is pretty basic primary/replica async

No problem. Jepsen is something we're interested in once the project reaches a certain level of maturity. The replication is pretty basic primary/replica async streaming replication so I'm not sure there are too many surprises on that side of it. One unique thing it has is that it does handle divergent primaries since it uses leasing rather than distributed consensus.