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

Author: rotarymars

reference/contracts/contract_violation.md

@@ -29,7 +29,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) | 契約が例外を飛ばしたことによって終了した場合の例外へのポインタ | C++26 |
-| [`is_terminating`](contracts/contract_violation/is_terminating.md.nolink) | 契約違反によってプログラムがターミネートされるかを返す | C++26|
+| [`is_terminating`](contracts/contract_violation/is_terminating.md) | 契約違反によってプログラムがターミネートされるかを返す | C++26|
 | [`kind`](contracts/contract_violation/kind.md.nolink) | 違反した契約の種類 | C++26|
 | [`location`](contracts/contract_violation/location.md.nolink) | 契約違反が発生したソースコードの位置 | C++26|
 | [`semantic`](contracts/contract_violation/semantic.md.nolink) | 契約の評価方法 | C++26|

reference/contracts/contract_violation/is_terminating.md

@@ -0,0 +1,31 @@
+# is_terminating
+* contracts[meta header]
+* std::contracts[meta namespace]
+* function[meta id-type]
+* cpp26[meta cpp]
+* contract_violation[meta class]
+
+```cpp
+bool is_terminating() const noexcept;
+```
+
+## 概要
+契約違反によってプログラムが終了するかどうかを返す。
+
+## 戻り値
+契約違反によってプログラムが終了する場合は`true`、そうでない場合は`false`を返す
+
+## 例外
+投げない
+
+## バージョン
+### 言語
+- 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)