Automating Hermitage to see how transactions differ in MySQL and MariaDB

Automating Hermitage to see how transactions differ in MySQL and MariaDB Transaction isolation levels (e.g. Read Uncommitted, Read Committed, Repeatable Read, Serializable) in the official SQL standard are defined in terms of transaction anomalies like Read Skew, Lost Updates, etc. But the SQL standard itself is ambiguous (yes, even the latest 2023 version) and allows some silly behavior. Let's motivate this entire article by looking at the Dirty Writes. If a transaction can overwrite the...