We've seen plenty of trading problems due to direct human error, and we've seen plenty of trading problems due to software bugs. If we got rid of breaking trad

We've seen plenty of trading problems due to direct human error, and we've seen plenty of trading problems due to software bugs. If we got rid of breaking trades, it would presumably force everyone to use carefully specified systems and use avionics-like development practices. Maybe we'd even see machine-checked proofs being compiled to programs and smart contracts via the Curry-Howard correspondence. Long-term, it would probably be good. In the shot term, lots of fallible counterparties going bankrupt would be very destabilizing to the system.