Interesting whirlwind. The only thing I truly disagree with is “There really never has been a mathematical justification for testing.” Like so many other things you covered, it depends. You can quantify the loss of a satellite due to a coding error. The insurance companies have to figure it.