The API was lying to me by being fine
Seven real defects found by running the system end to end rather than trusting six green test suites. The worst one reported success while writing nothing.
tail -f ~/notes
Writing
Concepts from the proof, explained in my own words with code from my own systems.