Another look at SQLite's WAL-Reset bug

A stale read let a SQLite checkpoint discard committed WAL frames for sixteen years. We reproduce the race with a 100-line C workload, getting both lost writes and a corrupted database file within seconds using only the public SQLite API.