Three Dollar Quill

• Wednesday: I got back into messing around with Dafny.
• Thursday: I gave some thought to code organization.
• Friday: I decided to get a fresh start with the code, and try to get the tooling as nice as can be managed right now.
• Saturday: I tried to make my Dafny code more reliable. In other words, to mitigate the effects of bad RNG.
• Sunday: Those efforts were impeded somewhat by the stark simplicity of some of my proofs. (Dafny verified lemmas with empty bodies.)
• Monday: I ran into trouble proving the commutative property of sigma-summation, because Dafny wanted me to "do actual work" and "actually think about the problem".

Next week, now that I've made some progress (that wasn't written up), I'm going to catch up on documentation, research writing tests, and then circle back around to reducing brittleness.