Jepsen Analysis: MariaDB Galera Cluster 12.1.2 Fails "No Lost Transactions" Guarantee

MariaDB Galera Cluster is a replicated version of MariaDB, a popular SQL database. While MariaDB claims Galera ensures “no lost transactions”, it loses transactions in at least two scenarios. First, under the recommended configuration settings