execution/run_loop: 微調整 (#1384)

Author: yohhoy

reference/execution/execution/run_loop.md

@@ -14,7 +14,7 @@ namespace std::execition {
 `run_loop`は、実行制御ライブラリの作業を[スケジュール](schedule.md)可能な実行リソース(execution resource)である。
 
 内部的にスレッドセーフなFIFO (first-in first-out) 作業キューを保持する。
-[`run`メンバ関数](run_loop/run.md)はキューから作業を取り出し、同関数を呼び出したスレッド上のループで実行する。
+[`run`メンバ関数](run_loop/run.md)はキューから作業を順次取り出し、同関数を呼び出すスレッド上で逐次実行する。
 
 `run_loop`インスタンスの動作説明のため、下記の説明用メンバ変数を持つ。
 
@@ -32,7 +32,7 @@ namespace std::execition {
 | [`run`](run_loop/run.md) | キュー上の作業を逐次実行 | C++26 |
 | [`finish`](run_loop/finish.md) | 状態を終了中に変更 | C++26 |
 
-## 説明専用のメンバ型
+## メンバ型
 
 | 名前 | 説明 | 対応バージョン |
 |------|------|-------|
@@ -119,3 +119,4 @@ success
 
 ## 参照
 - [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
+- [P3396R1 std::execution wording fixes](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3396r1.html)

reference/execution/execution/run_loop/finish.md

@@ -63,3 +63,4 @@ int main()
 
 ## 参照
 - [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
+- [P3396R1 std::execution wording fixes](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3396r1.html)

reference/execution/execution/run_loop/get_scheduler.md

@@ -20,18 +20,43 @@ run-loop-scheduler get_scheduler();
 
 ## 例
 ```cpp example
+#include <cassert>
+#include <concepts>
 #include <execution>
 namespace ex = std::execution;
 
 int main()
 {
   ex::run_loop loop;
   ex::scheduler auto sch = loop.get_scheduler();
+
+  // スケジュールSenderを作成
+  ex::sender auto sndr = ex::schedule(sch);
+
+  // スケジュールSenderの完了シグネチャ集合を確認
+  auto sigs = ex::get_completion_signatures(sndr);
+  static_assert(std::same_as<decltype(sigs),
+    ex::completion_signatures<ex::set_value_t(),
+                              ex::set_error_t(std::exception_ptr),
+                              ex::set_stopped_t()>>);
+
+  // スケジュールSender属性の値完了スケジューラを確認
+  auto compl_sch = ex::get_completion_scheduler<ex::set_value_t>(ex::get_env(sndr));
+  assert(compl_sch == sch);
 }
 ```
 * get_scheduler()[color ff0000]
 * ex::run_loop[link ../run_loop.md]
 * ex::scheduler[link ../scheduler.md]
+* ex::sender[link ../sender.md]
+* ex::schedule[link ../schedule.md]
+* ex::get_completion_signatures[link ../get_completion_signatures.md]
+* ex::completion_signatures[link ../completion_signatures.md]
+* ex::set_value_t[link ../set_value.md]
+* ex::set_error_t[link ../set_error.md]
+* ex::set_stopped_t[link ../set_stopped.md]
+* ex::get_completion_scheduler[link ../get_completion_scheduler.md]
+* ex::get_env[link ../get_env.md]
 
 ### 出力
 ```
@@ -51,6 +76,7 @@ int main()
 
 ## 関連項目
 - [`run-loop-scheduler`](run-loop-scheduler.md)
+- [`run-loop-sender`](run-loop-sender.md)
 - [`execution::schedule`](../schedule.md)
 
 

reference/execution/execution/run_loop/run-loop-opstate.md

@@ -67,6 +67,7 @@ struct run-loop-opstate-base {  // exposition only
 
 ## 関連項目
 - [`run`](run.md)
+- [`execution::connect`](../connect.md)
 - [`execution::start`](../start.md)
 
 

reference/execution/execution/run_loop/run-loop-sender.md

@@ -27,6 +27,7 @@ class run-loop-sender;  // exposition only
 
 
 ## 関連項目
+- [`get_scheduler`](get_scheduler.md)
 - [`run-loop-scheduler`](run-loop-scheduler.md)
 - [`execution::sender`](../sender.md)
 

reference/execution/execution/run_loop/run.md

@@ -117,3 +117,4 @@ finished
 
 ## 参照
 - [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
+- [P3396R1 std::execution wording fixes](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3396r1.html)