Their founder guy says[1] they found some other bugs while doing this that they will report soon, so if that is true, seems more plausibly like a pretty generic thing.

Looking forward to seeing the other bugs they found.

1. https://news.ycombinator.com/item?id=49278351

▲

biorach 2 hours ago | parent [-]

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

▲

carlsverre 2 hours ago | parent [-]

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

	▲	biorach an hour ago \| parent [-]
		oh! damn! I did not notice that. That does answer my question.