Until we have formal verification that works across an API boundary where the parties are at different companies or much more extensive than usual test suites,

Until we have formal verification that works across an API boundary where the parties are at different companies or much more extensive than usual test suites, changes to one end of an API endpoint will pass all manner of testing and still fail a customer use case. On Sunday afternoon in industries that ship over the weekend and start working again on Sunday.