Coding 2024-06-26
I've gotten everything currently written to verify, loosened some preconditions, and worked on reducing brittleness. At this point, there's just one brittle verification left, following some very subtle changes.
...
Following my efforts to decrease brittleness, there are now two brittle verifications left.
The RNG screw is so, so real.
In any case, there should be just a bit more effort required to get this locked back down, but I can't put that effort in right now. I've got to sleep.
Good night.