> While the C++26 variant of contracts doesn't provide the benefits of its static-analysis-centric ancestor from 2014

Do you have any information as to why they shifted the focus from static analysis to runtime checks? I only remember that it was based on some Microsoft annotation language or something.