@ska

I suspect you're aware of this article, but if not, I suspect you may enjoy it.

https://www.sqlite.org/whyc.html

(and its companion: https://www.sqlite.org/testing.html )