Having things be designed as event-driven may provide more opportunity for something incrementally more akin to proof of correctness. Add a large quantum of sal

Having things be designed as event-driven may provide more opportunity for something incrementally more akin to proof of correctness. Add a large quantum of salt and caveat that; it's simply slightly easier that way. People don't like it in general, but event driven works for me, mostly. Your mileage will almost certainly vary.