Author of the article here. I am surprised to see the post was submitted and made it to the front page! Happy to answer any questions
Thanks for the nice article. The SQLite docs that explain this bug are emphatic about how utterly rare, even irreproducible it is. How, then, was it found, one wonders?
We should probably blog about it.