P3197 R0 A response to the Tokyo EWG polls on the Contracts MVP (P2900R6)

[wg21bot]

P3197R0 A response to the Tokyo EWG polls on the Contracts MVP (P2900R6) (Timur Doumler, John Spicer)

[jfbastien]

SG21, please consider in St Louis and send to EWG as appropriate.

[timuraudio]

Considered and approved by SG21, sent to EWG for St. Louis.

2024-04-11, Telecon

Poll 1.
In D3197R0, re-classify Item 6 about throwing violation handlers into Bucket 1:
more work is needed within the scope of the MVP.

SF F N A SA
7 4 4 0 2

Result: Consensus

Poll 2.
In D3197R0, re-classify Item 8 about contracts exposing less undefined
behaviour than regular C++ code into Bucket 1: more work is needed within the
scope of the MVP, related to optimisation barriers.

SF F N A SA
5 10 0 1 0

Result: Consensus

Poll 3.
In D3197R0, re-classify Item 10 about adding contracts to the standard library
specification into Bucket 2: We need to persuade EWG but no changes to the MVP
are needed.

SF F N A SA
5 8 4 0 0

Result: Consensus

Poll 4.
SG21 agrees with the direction outlined in D3197R0 for responding to EWG
feedback on the Contracts MVP, as amended by polls 1-3.

SF F N A SA
6 10 1 0 0

Result: Consensus

[timuraudio]

Closing the issue as the paper is purely informational and does not need to be scheduled in any group.