[2026-03 LWG Motion 7] P3886R0 Wording for AT1-057

source/support.tex

@@ -819,6 +819,8 @@
 #define @\defnlibxname{cpp_lib_reference_wrapper}@                 202403L // freestanding, also in \libheader{functional}
 #define @\defnlibxname{cpp_lib_reflection}@                        202506L // also in \libheader{meta}
 #define @\defnlibxname{cpp_lib_remove_cvref}@                      201711L // freestanding, also in \libheader{type_traits}
+#define @\defnlibxname{cpp_lib_replaceable_contract_violation_handler}@ @\seebelow@
+  // freestanding, also in \libheader{contracts}
 #define @\defnlibxname{cpp_lib_result_of_sfinae}@                  201210L
   // freestanding, also in \libheader{functional}, \libheader{type_traits}
 #define @\defnlibxname{cpp_lib_robust_nonmodifying_seq_ops}@       201304L // freestanding, also in \libheader{algorithm}
@@ -912,6 +914,12 @@
 the requirements of a hosted implementation, and
 to the integer literal \tcode{0} otherwise\iref{new.delete}.
 
+\pnum
+The macro \xname{cpp_lib_replaceable_contract_violation_handler} is defined to
+the integer literal \tcode{202603L}
+if the contract-violation handler is replaceable, and
+to the integer literal \tcode{0} otherwise\iref{basic.contract.handler}.
+
 \pnum
 \recommended
 Freestanding implementations should only define a macro from \libheader{version}