Jepsen: MariaDB Galera Cluster 12.1.2

Jepsen analyzes MariaDB Galera Cluster 12.1.2, an active-active SQL replication system that claims to offer consistent, synchronous replication across all nodes. The analysis reveals that MariaDB's documentation makes incorrect claims about unanimous replication and data consistency, as the system actually operates with quorum-based fault tolerance. Previous Jepsen testing in 2015 found that Galera intentionally lacked the first-committer-wins property of Snapshot Isolation, allowing data anomalies such as lost or phantom money in bank transfer workloads.