[P2834R0](https://wg21.link/p2834r0) Semantic Stability Across Contract-Checking Build Modes (Joshua Berne, John Lakos)