This does sound a lot like there's a real risk of C++ imploding, in some form or another. (Arguably, it has been in that state for a while now.)
I personally agree that contracts probably shouldn't be in the standard, but this whole situation looks like a mess.