diff --git a/lang/cpp23/feature_test_macros.md b/lang/cpp23/feature_test_macros.md
index cd027f0fbe..2e812dfc75 100644
--- a/lang/cpp23/feature_test_macros.md
+++ b/lang/cpp23/feature_test_macros.md
@@ -102,6 +102,8 @@
 ## 参照
 
 - [SD-FeatureTest: Feature-Test Macros and Policies - isocpp](https://isocpp.org/std/standing-documents/sd-6-sg10-feature-test-recommendations)
+- [LWG Issue 3621. Remove feature-test macro `__cpp_lib_monadic_optional`](https://cplusplus.github.io/LWG/issue3621)
+    - C++23で、重複していた`__cpp_lib_monadic_optional`が削除され、代わりに`__cpp_lib_optional`が`202106L`から`202110L`に更新された（`optional`のモナド操作を表す）
 - [LWG Issue 3750. Too many papers bump `__cpp_lib_format`](https://cplusplus.github.io/LWG/issue3750)
     - C++23で、フォーマットRange系（P2286/P2585）用に`__cpp_lib_format_ranges`（値`202207L`）が追加され、`__cpp_lib_format`とマクロが分離された
 - [LWG Issue 3751. Missing feature macro for `flat_set`](https://cplusplus.github.io/LWG/issue3751)
diff --git a/reference/filesystem/path.md b/reference/filesystem/path.md
index f524d2fa47..38bab09fb6 100644
--- a/reference/filesystem/path.md
+++ b/reference/filesystem/path.md
@@ -191,6 +191,12 @@ namespace std::filesystem {
 |------|------|----------------|
 | [`u8path`](u8path.md) | UTF-8エンコードされた文字列からパスオブジェクトを構築する | C++17<br/> C++20で非推奨 |
 
+## ハッシュサポート
+
+| 名前 | 説明 | 対応バージョン |
+|------|------|----------------|
+| [`hash`](path/hash.md) | `hash`クラスの特殊化 | C++23 |
+
 ## 文字列フォーマットサポート
 
 | 名前 | 説明 | 対応バージョン |
diff --git a/reference/filesystem/path/hash.md b/reference/filesystem/path/hash.md
new file mode 100644
index 0000000000..45d4016ad4
--- /dev/null
+++ b/reference/filesystem/path/hash.md
@@ -0,0 +1,66 @@
+# hash
+* filesystem[meta header]
+* std[meta namespace]
+* class template[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+namespace std {
+  template <>
+  struct hash<std::filesystem::path>;
+}
+```
+* hash[link /reference/functional/hash.md]
+
+## 概要
+[`std::hash`](/reference/functional/hash.md)クラスの、[`std::filesystem::path`](../path.md)に対する特殊化。パスの内容からハッシュ値を計算し、`path`を[`unordered_map`](/reference/unordered_map/unordered_map.md)や[`unordered_set`](/reference/unordered_set/unordered_set.md)のキーとして使用できるようにする。
+
+この特殊化はC++23で追加された。それ以前は定義されておらず、`hash<path>`は使用できなかった。
+
+
+## 効果
+`p`を型[`path`](../path.md)のオブジェクトとするとき、`hash<path>()(p)`は[`hash_value`](hash_value.md)`(p)`と同じ値を返す。
+
+したがって、2つのパス`p1`と`p2`について`p1 == p2`であれば、`hash<path>()(p1) == hash<path>()(p2)`となる。
+
+
+## 例
+```cpp example
+#include <cassert>
+#include <filesystem>
+#include <functional>
+
+namespace fs = std::filesystem;
+
+int main()
+{
+  fs::path p = "a/b/c";
+
+  // パスの内容からハッシュ値を計算する
+  std::size_t h = std::hash<fs::path>{}(p);
+
+  // hash_valueと同じ値になる
+  assert(h == fs::hash_value(p));
+}
+```
+* std::hash[color ff0000]
+* fs::hash_value[link hash_value.md]
+
+### 出力
+```
+```
+
+
+## バージョン
+### 言語
+- C++23
+
+
+## 関連項目
+- [`std::hash`](/reference/functional/hash.md)
+- [`std::filesystem::hash_value`](hash_value.md)
+
+
+## 参照
+- [LWG Issue 3657. `std::hash<std::filesystem::path>` is not enabled](https://cplusplus.github.io/LWG/issue3657)
+    - C++23で、[`std::hash`](/reference/functional/hash.md)の`path`に対する特殊化が定義された
diff --git a/reference/format/basic_format_context/arg.md b/reference/format/basic_format_context/arg.md
index 128d008f1d..9763747b2b 100644
--- a/reference/format/basic_format_context/arg.md
+++ b/reference/format/basic_format_context/arg.md
@@ -7,9 +7,11 @@
 
 ```cpp
 basic_format_arg<basic_format_context>
-  arg(size_t id) const;                // (1) C++20
+  arg(size_t id) const;                         // (1) C++20
+basic_format_arg<basic_format_context>
+  arg(size_t id) const noexcept;                // (1) C++23
 constexpr basic_format_arg<basic_format_context>
-  arg(size_t id) const;                // (1) C++26
+  arg(size_t id) const noexcept;                // (1) C++26
 ```
 * basic_format_arg[link /reference/format/basic_format_arg.md]
 * basic_format_context[link /reference/format/basic_format_context.md]
@@ -32,4 +34,6 @@ constexpr basic_format_arg<basic_format_context>
 
 - [P0645R10 Text Formatting](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0645r10.html)
 - [P3391R2 `constexpr std::format`](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3391r2.html)
-    - C++26から`constexpr`に対応した
\ No newline at end of file
+    - C++26から`constexpr`に対応した
+- [LWG Issue 3654. `basic_format_context::arg(size_t)` should be `noexcept`](https://cplusplus.github.io/LWG/issue3654)
+    - C++23で、`noexcept`が付加された
\ No newline at end of file
diff --git a/reference/format/format.md b/reference/format/format.md
index 8dbb6767e3..46106ad2f6 100644
--- a/reference/format/format.md
+++ b/reference/format/format.md
@@ -94,9 +94,9 @@ string s3 = format("{} {1}",  "a", "b"); // コンパイルエラー
 ```
 
 * `fill` : アライメントに使う文字 (デフォルト: スペース)
-* `align` : アライメント(デフォルトは型による)
-    * `>` : 右寄せ
-    * `<` : 左寄せ
+* `align` : アライメント
+    * `>` : 右寄せ。算術型（整数・浮動小数点数）およびポインタ型のデフォルト
+    * `<` : 左寄せ。非算術型かつ非ポインタ型（文字列など）のデフォルト。`bool`・文字型を整数として出力しない場合もこちら
     * `^` : 中央寄せ
 * `sign` : 符号
     * `+` : 正の数でも符号を表示する
@@ -146,7 +146,7 @@ string s3 = format("{} {1}",  "a", "b"); // コンパイルエラー
 
 デフォルトまたは `s` を指定すると、 `true` / `false` という文字列を出力する。
 
-整数型のオプションも指定できる。その場合は、`unsigned char` に `static_cast` される。
+整数型のオプションも指定できる。その場合は、`unsigned char` に `static_cast` される。ただし、C++23以降は `c` （文字として出力）を指定できない（`bool`を文字として出力する意味がないため）。
 
 #### 整数型の場合
 
@@ -252,9 +252,9 @@ Range・シーケンスコンテナに対して使用できる標準のオプシ
 ```
 
 * `fill` : アライメントに使う文字 (デフォルト: スペース)
-* `align` : アライメント(デフォルトは型による)
+* `align` : アライメント
     * `>` : 右寄せ
-    * `<` : 左寄せ
+    * `<` : 左寄せ（デフォルト）
     * `^` : 中央寄せ
 * `width` : 幅 (省略時は値に応じて幅が決まり、アライメントは機能しない)
     * 置換フィールドを使って変数で指定できる
@@ -299,9 +299,9 @@ std::format("{}", m); // {1: "aaa", 2: "bbb"}
 ```
 
 * `fill` : アライメントに使う文字 (デフォルト: スペース)
-* `align` : アライメント(デフォルトは型による)
+* `align` : アライメント
     * `>` : 右寄せ
-    * `<` : 左寄せ
+    * `<` : 左寄せ（デフォルト）
     * `^` : 中央寄せ
 * `width` : 幅 (省略時は値に応じて幅が決まり、アライメントは機能しない)
     * 置換フィールドを使って変数で指定できる
@@ -750,6 +750,10 @@ wstring format(const locale& loc, wformat_string<Args...> fmt, const Args&... ar
     - C++26から、ポインタ値を大文字で出力する`P`オプションが追加された
 - [P3391R2 `constexpr std::format`](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3391r2.html)
     - C++26から非ロケール版が`constexpr`に対応した
+- [LWG Issue 3612. Inconsistent pointer alignment in `std::format`](https://cplusplus.github.io/LWG/issue3612)
+    - C++23で、ポインタ型のデフォルトアライメントが算術型と同じ右寄せに統一された
+- [LWG Issue 3648. `format` should not print `bool` with `'c'`](https://cplusplus.github.io/LWG/issue3648)
+    - C++23で、`bool`に対する型指定オプションから`c`（文字として出力）が除外された
 - [LWG Issue 3720. Restrict the valid types of _arg-id_ for _width_ and _precision_ in _std-format-spec_](https://cplusplus.github.io/LWG/issue3720)
     - C++23で、幅・精度を動的引数で指定する場合、その引数の型が標準の符号付き/符号なし整数型に制限された（`bool`や文字型は指定できなくなった）
 - [LWG Issue 3721. Allow an _arg-id_ with a value of zero for _width_ in _std-format-spec_](https://cplusplus.github.io/LWG/issue3721)
diff --git a/reference/format/vformat_to.md b/reference/format/vformat_to.md
index 6225397727..8a89abbf98 100644
--- a/reference/format/vformat_to.md
+++ b/reference/format/vformat_to.md
@@ -78,11 +78,11 @@ namespace std {
 ## 効果
 
 書式文字列`fmt`に従ったフォーマットで`args`の文字列表現を出力イテレータ`out`の`[out, out + N)`のイテレータ範囲に出力する。ロケール`loc`が指定された場合は、ロケール依存のフォーマットにおいて使用される。
-(ただし、`N`=`formatted_size(fmt, args...)` または `formatted_size(loc, fmt, args...)`)
+(ただし、`N`は書式化された文字列表現の文字数)
 
 ## 戻り値
 
-`out + N` (ただし、`N`=`formatted_size(fmt, args...)` または `formatted_size(loc, fmt, args...)`)
+`out + N` (ただし、`N`は書式化された文字列表現の文字数)
 
 ## 例外
 
@@ -198,3 +198,5 @@ Out vformat_to(Out out, std::string_view fmt, std::basic_format_args<Context> ar
 - [P0645R10 Text Formatting](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0645r10.html)
 - [P3391R2 `constexpr std::format`](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3391r2.html)
     - C++26から非ロケール版が`constexpr`に対応した
+- [LWG Issue 3619. Specification of `vformat_to` contains ill-formed `formatted_size` calls](https://cplusplus.github.io/LWG/issue3619)
+    - C++23で、効果・戻り値における出力文字数`N`の定義が、不適格な`formatted_size`呼び出しを使わない表現に修正された
diff --git a/reference/forward_list/forward_list/merge.md b/reference/forward_list/forward_list/merge.md
index 97230d0463..5e4918eff6 100644
--- a/reference/forward_list/forward_list/merge.md
+++ b/reference/forward_list/forward_list/merge.md
@@ -33,7 +33,7 @@ constexpr void merge(forward_list&& x, Compare comp); // (4) C++26
 
 
 ## 効果
-2つのソート済みイテレータ範囲`[begin(), end())`と`[x.begin(), x.end())`をマージする。2つの`forward_list`オブジェクトの要素を`*this`に併合し、`x`はマージ後に空となる。
+[`addressof`](/reference/memory/addressof.md)`(x) == this`である場合、何もしない。そうでない場合、2つのソート済みイテレータ範囲`[begin(), end())`と`[x.begin(), x.end())`をマージする。2つの`forward_list`オブジェクトの要素を`*this`に併合し、`x`はマージ後に空となる。
 
 マージ後、`x`の要素に対するイテレータおよび参照は無効にならない。
 
@@ -47,7 +47,7 @@ constexpr void merge(forward_list&& x, Compare comp); // (4) C++26
 
 
 ## 計算量
-高々[`distance`](/reference/iterator/distance.md)`(`[`begin`](begin.md)()`,` [`end`](end.md)`()) +` [`distance`](/reference/iterator/distance.md)`(x.`[`begin`](begin.md)`(), x.`[`end`](end.md)`()) - 1`回の比較
+[`addressof`](/reference/memory/addressof.md)`(x) == this`である場合、比較を行わない。そうでない場合、高々[`distance`](/reference/iterator/distance.md)`(`[`begin`](begin.md)()`,` [`end`](end.md)`()) +` [`distance`](/reference/iterator/distance.md)`(x.`[`begin`](begin.md)`(), x.`[`end`](end.md)`()) - 1`回の比較
 
 
 ## 備考
@@ -102,3 +102,5 @@ int main()
 - [LWG Issue 2122. `merge()` stability for lists versus forward lists](http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#2122)
 - [LWG Issue 2123. `merge()` allocator requirements for lists versus forward lists](http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#2123)
 - [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)
+- [LWG Issue 3088. `forward_list::merge` behavior unclear when passed `*this`](https://cplusplus.github.io/LWG/issue3088)
+    - C++23で、`x`が`*this`自身である場合は何もしないことが明確化された
diff --git a/reference/iterator/contiguous_iterator.md b/reference/iterator/contiguous_iterator.md
index da373aab4c..9d8aa511de 100644
--- a/reference/iterator/contiguous_iterator.md
+++ b/reference/iterator/contiguous_iterator.md
@@ -41,6 +41,8 @@ C++20で導入された`contiguous_iterator`は、要素がメモリー上で連
 `a, b`を間接参照可能なイテレータ、`c`を間接参照不可能なイテレータとし、`b`は`a`から、`c`は`b`からそれぞれ到達可能であるとする。そのような型`I`のイテレータ`a, b, c`と[`iter_difference_t<I>`](/reference/iterator/iter_difference_t.md)の示す型`D`について次の条件を満たす場合に限って、型`I`は`contiguous_iterator`のモデルである。
 
 ## 要件
+- [`ranges::iter_move`](/reference/iterator/iter_move.md)`(a)`は、`std::move(*a)`と同じ型・値カテゴリ・効果を持つ
+- [`ranges::iter_swap`](/reference/iterator/iter_swap.md)`(a, b)`が適格である場合、その効果は[`ranges::swap`](/reference/concepts/swap.md)`(*a, *b)`と等価である
 - C++26: このイテレータの範囲`[i, s)`はポインタ範囲`[to_address(i), to_address(i + ranges::distance(i, s)))`に置き換えて使用することが実装に許可される
     - 注：このイテレータをアルゴリズム適用した場合、イテレータのインクリメントが一回しか起こらない可能性があり、個々のインクリメントに対して副作用を起こすことを期待してはならない
     - 備考：連続イテレータの範囲に対する操作として、`std::copy()`の実装が[`std::memmove()`](/reference/cstring/memmove.md)の呼び出しで完了するなど、イテレータを一つずつ進めるのではなくメモリ操作で高速実装されることを許可するものである
@@ -114,5 +116,7 @@ std::ostream_iterator<double> is not contiguous_iterator
 - [P0896R4 The One Ranges Proposal (was Merging the Ranges TS)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0896r4.pdf)
 - [P1474R1 Helpful pointers for `ContiguousIterator`](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1474r1.pdf)
 - [P3349R1 Converting contiguous iterators to pointers](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3349r1.html)
+- [LWG Issue 3607. `contiguous_iterator` should not be allowed to have custom `iter_move` and `iter_swap` behavior](https://cplusplus.github.io/LWG/issue3607)
+    - C++23で、`ranges::iter_move`・`ranges::iter_swap`がデフォルトの挙動と一致することがモデル要件に追加された
 - [LWG Issue 4170. `contiguous_iterator` should require `to_address(I{})`](https://cplusplus.github.io/LWG/issue4170)
     - C++26で、`to_address`を要求する`requires`式の対象が`const I&`であることが整理された（cpprefjpの記述はもともとこの形と一致している）
diff --git a/reference/iterator/counted_iterator/op_increment.md b/reference/iterator/counted_iterator/op_increment.md
index 9ed11a23f5..2f317d716b 100644
--- a/reference/iterator/counted_iterator/op_increment.md
+++ b/reference/iterator/counted_iterator/op_increment.md
@@ -6,12 +6,13 @@
 * cpp20[meta cpp]
 
 ```cpp
-constexpr counted_iterator& operator++();   // (1)
+constexpr counted_iterator& operator++();   // (1) C++20
 
-decltype(auto) operator++(int);             // (2)
+decltype(auto) operator++(int);             // (2) C++20
+constexpr decltype(auto) operator++(int);   // (2) C++23
 
 constexpr counted_iterator operator++(int)
-  requires forward_iterator<I>;             // (3)
+  requires forward_iterator<I>;             // (3) C++20
 ```
 
 ## 概要
@@ -97,5 +98,7 @@ int main() {
 
 ## 参照
 - [P0896R4 The One Ranges Proposal (was Merging the Ranges TS)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0896r4.pdf)
+- [LWG Issue 3643. Missing `constexpr` in `std::counted_iterator`](https://cplusplus.github.io/LWG/issue3643)
+    - C++23で、後置インクリメント(2)に`constexpr`が追加された
 - [P3697R1 Minor additions to C++26 standard library hardening](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3697r1.html)
 - [P3878R1 Standard library hardening should not use the 'observe' semantic](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3878r1.html)
diff --git a/reference/memory/atomic.md b/reference/memory/atomic.md
index 9af6f75ae4..132cc51e5f 100644
--- a/reference/memory/atomic.md
+++ b/reference/memory/atomic.md
@@ -21,10 +21,27 @@ namespace std {
 これらの特殊化を使用することで、共通のスマートポインタオブジェクトに対する複数スレッドでの操作をアトミックに行える。
 
 
+## 定数初期化
+C++23で`constexpr atomic(nullptr_t) noexcept`コンストラクタが追加され、非アトミックな`shared_ptr`・`weak_ptr`と同様に、[`constinit`](/lang/cpp20/constinit.md)を使って`nullptr`から定数初期化できるようになった：
+
+```cpp
+// グローバル変数を、動的初期化ではなく定数初期化する
+constinit std::atomic<std::shared_ptr<int>> g_resource{nullptr};
+```
+
+非アトミックな`shared_ptr`では`constinit std::shared_ptr<int> p{nullptr};`が可能であったが、C++20時点の`atomic<shared_ptr<T>>`は`nullptr`を受け取るコンストラクタ経路（`nullptr`から一時オブジェクトの`shared_ptr`を構築し、`atomic(shared_ptr<T>)`コンストラクタに渡す）が`constexpr`でなかったため、`constinit`による定数初期化ができなかった。この非対称性が解消された。
+
+`constinit`による定数初期化には以下の利点がある：
+
+- **静的初期化順序問題 (static initialization order fiasco) の回避** : グローバル・名前空間スコープのオブジェクトを動的初期化すると、ほかの翻訳単位のグローバル変数の初期化との実行順序が未規定となり、初期化前のオブジェクトにアクセスしてしまう危険がある。定数初期化されるオブジェクトはプログラム開始前に初期化が完了しているため、どの動的初期化よりも先に初期化済みであることが保証され、この問題を避けられる
+- **動的初期化のオーバーヘッド排除** : 実行時に初期化コードが走らない
+
+
 ### 共通メンバ関数
 | 名前 | 説明 | 対応バージョン |
 |------|------|-----|
 | [`(constructor)`](/reference/atomic/atomic/op_constructor.md) | コンストラクタ | C++20 |
+| `constexpr atomic(nullptr_t) noexcept` | `nullptr`から構築する | C++23 |
 | `~atomic() = default`                       | デストラクタ | C++20 |
 | [`operator=`](/reference/atomic/atomic/op_assign.md)          | 代入演算子 | C++20 |
 | [`is_lock_free`](/reference/atomic/atomic/is_lock_free.md)    | オブジェクトがロックフリーに振る舞えるかを判定する | C++20 |
@@ -110,4 +127,6 @@ int main()
 - [P0718R2 Revising `atomic_shared_ptr` for C++20](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0718r2.html)
 - [cplusplus/draft #2824 - add forward declaration of `atomic` class for `atomic<shared_ptr<T>>` (P0718R2)](https://github.com/cplusplus/draft/pull/2824)
 - [P1644R0 Add wait/notify to `atomic<shared_ptr<T>>`](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1644r0.html)
-- [P3037R6 `constexpr std::shared_ptr` and friends](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3037r6.pdf)
\ No newline at end of file
+- [P3037R6 `constexpr std::shared_ptr` and friends](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3037r6.pdf)
+- [LWG Issue 3661. `constinit atomic<shared_ptr<T>> a(nullptr);` should work](https://cplusplus.github.io/LWG/issue3661)
+    - C++23で、`nullptr`から構築する`constexpr atomic(nullptr_t) noexcept`コンストラクタが追加された
\ No newline at end of file
diff --git a/reference/memory/unique_ptr/op_constructor.md b/reference/memory/unique_ptr/op_constructor.md
index fc93814033..3f54323b22 100644
--- a/reference/memory/unique_ptr/op_constructor.md
+++ b/reference/memory/unique_ptr/op_constructor.md
@@ -208,4 +208,6 @@ int main()
 - [LWG Issue 2520 : N4089 broke initializing `unique_ptr<T[]>` from a nullptr](https://wg21.cmeerw.net/lwg/issue2520)
 - [LWG Issue 2801. Default-constructibility of `unique_ptr`](https://wg21.cmeerw.net/lwg/issue2948)
 - [LWG Issue 2905. `is_constructible_v<unique_ptr<P, D>, P, D const &>` should be false when D is not copy constructible](https://wg21.cmeerw.net/lwg/issue2905)
+- [LWG Issue 3632. `unique_ptr` "_Mandates_: This constructor is not selected by class template argument deduction"](https://cplusplus.github.io/LWG/issue3632)
+    - C++23で、クラステンプレート実引数推論(CTAD)による選択を防ぐ仕様が、Mandates指定から引数型を`type_identity_t<pointer>`とする方式へ書き換えられた（観測可能な振る舞いは変わらない）
 - [P2273R3 Making `std::unique_ptr` constexpr](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2273r3.pdf)
diff --git a/reference/memory/uses_allocator_construction_args.md b/reference/memory/uses_allocator_construction_args.md
index 10b65fe3a1..1a8a558cfc 100644
--- a/reference/memory/uses_allocator_construction_args.md
+++ b/reference/memory/uses_allocator_construction_args.md
@@ -322,5 +322,7 @@ tuple(piecewise_construct_t, tuple(allocator_arg_t, MyAlloc, 3, ), tuple(4, MyAl
 ## 参照
 - [P0591R4 Utility functions to implement uses-allocator construction](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0591r4.pdf)
 - [P2321R2 zip](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2321r2.html)
+- [LWG Issue 3525. `uses_allocator_construction_args` fails to handle types convertible to `pair`](https://cplusplus.github.io/LWG/issue3525)
+    - C++23で、`T`が`pair`特殊化かつ引数`u`が`pair`に変換できない場合に対応する(10)のオーバーロードが追加された
 - [LWG Issue 3821. `uses_allocator_construction_args` should have overload for `pair-like`](https://cplusplus.github.io/LWG/issue3821)
     - C++23で、P2165R4が[`pair`](../utility/pair.md)に`pair-like`からのコンストラクタを追加したことに対応し、`pair-like`を受け取る(9)のオーバーロードが追加された。あわせて`U&&`を受け取る(10)のオーバーロードの制約が更新された
diff --git a/reference/memory_resource/memory_resource/allocate.md b/reference/memory_resource/memory_resource/allocate.md
index 4cfe5f5243..8b6f41275d 100644
--- a/reference/memory_resource/memory_resource/allocate.md
+++ b/reference/memory_resource/memory_resource/allocate.md
@@ -88,5 +88,7 @@ int main(){
 - [P0600R1 `[[nodiscard]]` in the Library, Rev1](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0600r1.pdf)
     - C++20で`[[nodiscard]]`が付加された
 - [LWG Issue 2843. Unclear behavior of `std::pmr::memory_resource::do_allocate()`](https://wg21.cmeerw.net/lwg/issue2843) 
+- [LWG Issue 3471. `polymorphic_allocator::allocate` does not satisfy `Cpp17Allocator` requirements](https://cplusplus.github.io/LWG/issue3471)
+    - C++23で、確保した領域内でオブジェクトが暗黙的に生成され、生成されたオブジェクトへのポインタを返すことが明確化され、`Cpp17Allocator`要件を満たすようになった
 - [P2422R1 Remove `nodiscard` annotations from the standard library specification](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2422r1.html)
     - C++26で`[[nodiscard]]`指定が削除された
diff --git a/reference/ranges/iota_view/size.md b/reference/ranges/iota_view/size.md
index 91090b89c3..1c7d1725ee 100644
--- a/reference/ranges/iota_view/size.md
+++ b/reference/ranges/iota_view/size.md
@@ -64,3 +64,5 @@ int main()
 ## 参照
 - [N4861 24 Ranges library](https://timsong-cpp.github.io/cppwp/n4861/ranges)
 - [C++20 ranges](https://techbookfest.org/product/5134506308665344)
+- [LWG Issue 3610. `iota_view::size` sometimes rejects integer-class types](https://cplusplus.github.io/LWG/issue3610)
+    - C++23で、`size()`の効果の条件が`integral`から説明専用コンセプト`is-integer-like`に置き換えられ、整数クラス型も受け付けるよう修正された
diff --git a/reference/syncstream/basic_syncbuf/swap_free.md b/reference/syncstream/basic_syncbuf/swap_free.md
index e29f008e3a..083cf5e491 100644
--- a/reference/syncstream/basic_syncbuf/swap_free.md
+++ b/reference/syncstream/basic_syncbuf/swap_free.md
@@ -10,7 +10,7 @@
 namespace std {
 template<class charT, class traits, class Allocator>
   void swap(basic_syncbuf<charT, traits, Allocator>& a,
-            basic_syncbuf<charT, traits, Allocator>& b) noexcept;
+            basic_syncbuf<charT, traits, Allocator>& b);
 }
 ```
 
@@ -27,7 +27,7 @@ template<class charT, class traits, class Allocator>
 
 
 ## 例外
-投げない
+メンバ関数[`swap`](swap.md)が送出する例外を送出する。
 
 
 ## 例
@@ -69,3 +69,5 @@ Hello, World!
 
 ## 参照
 - [P0053R7 C++ Synchronized Buffered Ostream](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0053r7.pdf)
+- [LWG Issue 3616. LWG 3498 seems to miss the non-member swap for `basic_syncbuf`](https://cplusplus.github.io/LWG/issue3616)
+    - C++23で、非メンバ`swap`から`noexcept`が除去された
diff --git a/reference/system_error/system_category.md b/reference/system_error/system_category.md
index 833ea27c20..0f7cd76106 100644
--- a/reference/system_error/system_category.md
+++ b/reference/system_error/system_category.md
@@ -24,7 +24,7 @@ namespace std {
 
 - [`name()`](error_category/name.md)関数によって返される文字列は`"system"`
 - [`equivalent()`](error_category/equivalent.md)仮想関数の挙動は、基底クラスである[`error_category`](error_category.md)と同じである
-- [`default_error_condition()`](error_category/default_error_condition.md)仮想関数は、パラメータ`ev`がPOSIXの`errno`であった場合 [`error_condition`](error_condition.md)`(ev,` [`generic_category()`](generic_category.md)`);` を返し、そうでない場合は[`error_condition`](error_condition.md)`(ev, system_category());` を返す。特定のOSに関する処理は未規定。ただし、POSIXのエラー値に対応していない場合がありえるため、環境によっては[`generic_category()`](generic_category.md)が返される挙動はサポートされない。
+- [`default_error_condition()`](error_category/default_error_condition.md)仮想関数は、パラメータ`ev`が`0`であるか、POSIXの`errno`に対応する値であった場合 [`error_condition`](error_condition.md)`(ev,` [`generic_category()`](generic_category.md)`);` を返し、そうでない場合は[`error_condition`](error_condition.md)`(ev, system_category());` を返す。特定のOSに関する処理は未規定。ただし、POSIXのエラー値に対応していない場合がありえるため、環境によっては[`generic_category()`](generic_category.md)が返される挙動はサポートされない。
 
 
 ## 例外
@@ -69,3 +69,5 @@ Invalid argument
 
 
 ## 参照
+- [LWG Issue 3598. `system_category().default_error_condition(0)` is underspecified](https://cplusplus.github.io/LWG/issue3598)
+    - C++23で、引数が`0`の場合に[`generic_category()`](generic_category.md)を使った[`error_condition`](error_condition.md)を返すことが明確化された