looks like the bug fixes are in individual commits here: https://github.com/sqlite/sqlite/compare/master...antithesis...

I'd be interested in seeing what the SQLite people have to say about them if/when they are submitted upstream

Those are the commits from upstream that resolved the bug. Notice that most of them were committed by Dr. Richard Hipp himself.