You can make things as simple as possible, but no simpler than that. SQLite is a complex program, inherently. It's designed to allow users to do complex things

You can make things as simple as possible, but no simpler than that. SQLite is a complex program, inherently. It's designed to allow users to do complex things, and as such cannot be simpler than its purpose allows. I'm no formal verification expert—so I don't know if SQLite is above or below that fuzzy threshold—but "reduce complexity" is not always an available tool.