From 0b64a0fdff41f1abed95d1753a688b282eee61ab Mon Sep 17 00:00:00 2001
From: Jens Maurer <Jens.Maurer@gmx.net>
Date: Mon, 30 Mar 2026 22:48:57 +0200
Subject: [PATCH] P3886R0 Wording for AT1-057

- Add cross-reference
---
 source/support.tex | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/source/support.tex b/source/support.tex
index 203a1bf45f..da8379a575 100644
--- a/source/support.tex
+++ b/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}