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

Author: rotarymars

reference/contracts/contract_violation.md

@@ -32,7 +32,7 @@ namespace std::contracts {
 | [`is_terminating`](contracts/contract_violation/is_terminating.md) | 契約違反によってプログラムがターミネートされるかを返す | C++26|
 | [`kind`](contracts/contract_violation/kind.md) | 違反した契約の種類 | C++26|
 | [`location`](contracts/contract_violation/location.md) | 契約違反が発生したソースコードの位置 | C++26|
-| [`semantic`](contracts/contract_violation/semantic.md.nolink) | 契約の評価方法 | C++26|
+| [`semantic`](contracts/contract_violation/semantic.md) | 契約の評価方法 | C++26|
 
 ## 参照
 - [Contracts for C++](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p2900r14.pdf)

reference/contracts/contract_violation/semantic.md

@@ -0,0 +1,30 @@
+# semantic
+* contracts[meta header]
+* std::contracts[meta namespace]
+* function[meta id-type]
+* cpp26[meta cpp]
+* contract_violation[meta class]
+
+```cpp
+evaluation_semantic semantic() const noexcept;
+```
+
+## 概要
+契約の評価方法を返す。
+
+## 戻り値
+契約の評価方法を表す`evaluation_semantic`型
+
+## 例外
+投げない
+
+## バージョン
+- 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)