Hi Kyle, I am sorry for the delay. It turns out that https://jira.mariadb.org/browse/MDEV-32898 had been filed for a scenario that does not involve other indexes than PRIMARY KEY. I revised my crude initial patch and got the regression test suite pass. 6 tests will need adjustments; I adjusted 4 of them and disabled 2 for now. I think that we may have to remove those tests because they would no longer be meaningful.
modifying it to install a custom .deb file from your build system wouldn't be too hard
I pushed a tentative fix to a specially named branch, so that packages should become available for this build, at https://ci.mariadb.org/42468/ within an hour or two. The branch includes some other work-in-progress changes, but I do not think that they should affect any Jepsen tests. Marko -- Marko Mäkelä, Lead Developer InnoDB MariaDB plc