[P1517R0](https://wg21.link/p1517r0) Contract Requirements for Iterative High-Assurance Systems (Ryan McDougall)