new page reference/contracts/contract_violation/evaluation_exception.md(#1419)

Author: rotarymars

reference/contracts/contract_violation.md

@@ -28,7 +28,7 @@ namespace std::contracts {
 | ---- | ---- | ---- |
 | [`comment`](contracts/contract_violation/comment.md) | 契約違反の詳細を記録したchar列を返す | C++26 |
 | [`detection_mode`](contracts/contract_violation/detection_mode.md) | 契約違反が特定された方法を返す | C++26 |
-| [`evaluation_exception`](contracts/contract_violation/evaluation_exception.md.nolink) | 契約が例外を飛ばしたことによって終了した場合の例外へのポインタ | C++26 |
+| [`evaluation_exception`](contracts/contract_violation/evaluation_exception.md) | 契約が例外を飛ばしたことによって終了した場合の例外へのポインタ | C++26 |
 | [`is_terminating`](contracts/contract_violation/is_terminating.md.nolink) | 契約違反によってプログラムがターミネートされるかを返す | C++26|
 | [`kind`](contracts/contract_violation/kind.md.nolink) | 違反した契約の種類 | C++26|
 | [`location`](contracts/contract_violation/location.md.nolink) | 契約違反が発生したソースコードの位置 | C++26|

reference/contracts/contract_violation/evaluation_exception.md

@@ -0,0 +1,35 @@
+# evaluation_exception
+* contracts[meta header]
+* std::contracts[meta namespace]
+* function[meta id-type]
+* cpp26[meta cpp]
+* contract_violation[meta class]
+
+```cpp
+exception_ptr evaluation_exception() const noexcept;
+```
+
+## 概要
+契約の判定時に例外が投げられた場合、その例外へのポインタを返す。
+
+例外が飛ばなければ、空の`std::exception_ptr`を返す。
+
+## 戻り値
+契約の判定時に例外が投げられた場合、その例外へのポインタを返す。
+
+例外が飛ばなければ、空の`std::exception_ptr`を返す。
+
+## 例外
+投げない
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+## 参照
+- [Contracts for C++](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p2900r14.pdf)