new: New page detection_mode

Author: rotarymars

reference/contracts.md

@@ -12,7 +12,7 @@
 |------|------|----------------|
 | [`assertion_kind`](contracts/assertion_kind.md) | アサーションの種類 (enum) | C++26 |
 | [`evaluation_semantic`](contracts/evaluation_semantic.md) | アサーションの評価の種類(enum) | C++26 |
-| [`detection_mode`](contracts/detection_mode.md.nolink) | 契約違反の検出モード(enum) | C++26 |
+| [`detection_mode`](contracts/detection_mode.md) | 契約違反の検出モード(enum) | C++26 |
 | [`contract_violation`](contracts/contract_violation.md) | 契約違反に関する情報 (class) | C++26 |
 | [`invoke_default_contract_violation_handler`](contracts/invoke_default_contract_violation_handler.md.nolink) | デフォルトcontract_violationハンドラー | C++26 |
 

reference/contracts/detection_mode.md

@@ -0,0 +1,41 @@
+# detection_mode
+* contracts[meta header]
+* std::contracts[meta namespace]
+* enum[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::contracts {
+  enum class detection_mode : unspecified {
+    predicate_false = 1,
+    evaluation_exception = 2
+  }
+}
+```
+
+## 概要
+契約違反がどのような仕組みでその違反が認識されたかを表す列挙型。
+
+### 各列挙子の意味
+| 列挙子 | 値 | 意味 |
+|--------|-----|------|
+| predicate_false | 1 | 契約の述語が評価され、falseを返す、もしくは評価をするとfalseを返す |
+| evaluation_exception | 2 | 評価中に例外が投げられ、キャッチされずに逸脱した |
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ?
+- [GCC](/implementation.md#gcc): ?
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): ?
+
+## 関連項目
+- [契約に基づくプログラミング](/lang/future/contract-based_programming.md)
+- [契約プログラミング](/lang/cpp26/contracts.md)
+
+## 参照
+- [P0542R5 Support for contract based programming in C++](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0542r5.html)
+