An intriguing idea but a bit unclear as to exactly how to implement, especially without even an example. I’d be very interested to see how it works and how to notate the automatic assertions… it sounds a bit like the next step beyond unit tests. Hmmm…