execution: C++26 P3557R3対応(cont.)

- 非依存Senderの定義説明
- 仕様記述誤り修正
- 内部リンク付与

Author: yohhoy

reference/execution/execution.md

@@ -141,7 +141,7 @@ Senderコンシューマは名前空間 `std::this_thread` で定義される。
 | 名前 | 説明 | 対応バージョン |
 |------|------|----------------|
 | [`execution::completion_signatures`](execution/completion_signatures.md) | 完了シグネチャ集合を表現する型 (class template) | C++26 |
-| [`execution::dependent_sender_error`](execution/dependent_sender_error.md) | 依存Sender例外(class) | C++26 |
+| [`execution::dependent_sender_error`](execution/dependent_sender_error.md) | 依存Senderを表す例外クラス(class) | C++26 |
 | [`execution::get_completion_signatures`](execution/get_completion_signatures.md) | Senderの完了シグネチャ集合を取得 (function template) | C++26 |
 | [`execution::completion_signatures_of_t`](execution/completion_signatures_of_t.md) | Senderの完了シグネチャ集合を取得 (alias template) | C++26 |
 | [`execution::run_loop`](execution/run_loop.md) | 単一スレッド上でのループ実行 (class) | C++26 |

reference/execution/execution/basic-sender.md

@@ -97,6 +97,7 @@ using indices-for = remove_reference_t<Sndr>::indices-for;  // exposition only
 
 ## 関連項目
 - [`make-sender`](make-sender.md)
+- [`impls-for`](impls-for.md)
 - [`basic-operation`](basic-operation.md)
 - [`execution::sender`](sender.md)
 

reference/execution/execution/completion_signatures.md

@@ -90,7 +90,7 @@ int main()
 
 
 ## 関連項目
-- [`execution::receiver`](receiver.md)
+- [`execution::get_completion_signatures`](get_completion_signatures.md)
 - [`execution::set_value_t`](set_value.md)
 - [`execution::set_error_t`](set_error.md)
 - [`execution::set_stopped_t`](set_stopped.md)

reference/execution/execution/data-type.md

@@ -23,6 +23,9 @@ namespace std::execution {
 ## 関連項目
 - [`execution::read_env`](read_env.md)
 - [`execution::schedule_from`](schedule_from.md)
+- [`execution::then`](then.md)
+- [`execution::let_value`](let_value.md)
+- [`execution::bulk`](bulk.md)
 - [`write-env`](write-env.md)
 
 

reference/execution/execution/decay-copyable-result-datums.md

@@ -13,6 +13,7 @@ constexpr void decay-copyable-result-datums(auto cs) {
 }
 ```
 * for-each[link completion_signatures.md]
+* is_constructible_v[link /reference/type_traits/is_constructible.md]
 
 ## 概要
 `decay-copyable-result-datums`は、Senderアルゴリズム動作仕様定義で用いられる説明専用の関数テンプレートである。
@@ -33,6 +34,8 @@ constexpr void decay-copyable-result-datums(auto cs) {
 
 ## 関連項目
 - [`execution::schedule_from`](schedule_from.md)
+- [`execution::when_all`](when_all.md)
+- [`execution::into_variant`](into_variant.md)
 
 
 ## 参照

reference/execution/execution/dependent_sender.md

@@ -15,7 +15,7 @@ namespace std::execution {
 * bool_constant[link /reference/type_traits/bool_constant.md]
 
 ## 概要
-`dependent_sender`は、[Sender型](sender.md)`Sndr`が依存Senderであることを表すコンセプトである。
+`dependent_sender`は、[Sender型](sender.md)`Sndr`が[非依存Sender](get_completion_signatures.md)か否かを判定するコンセプトである。
 
 説明用の変数テンプレート`is-dependent-sender-helper`を下記の通り定義する。
 

reference/execution/execution/dependent_sender_error.md

@@ -12,7 +12,7 @@ namespace std::execution {
 * exception[link /reference/exception/exception.md]
 
 ## 概要
-`dependent_sender_error`は、[依存Sender](dependent_sender.md)に対する[完了シグネチャ集合取得](get_completion_signatures.md)時に送出される例外クラスである。
+`dependent_sender_error`は、[依存Sender](dependent_sender.md)に対して[環境](../queryable.md)を指定せずに[完了シグネチャ集合取得](get_completion_signatures.md)を行った際に送出される例外クラスである。
 
 
 ## バージョン
@@ -30,5 +30,6 @@ namespace std::execution {
 - [`execution::dependent_sender`](dependent_sender.md)
 - [`execution::get_completion_signatures`](get_completion_signatures.md)
 
+
 ## 参照
 - [P3557R3 High-Quality Sender Diagnostics with Constexpr Exceptions](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3557r3.html)

reference/execution/execution/get_completion_signatures.md

@@ -15,6 +15,17 @@ namespace std::execution {
 ## 概要
 `get_completion_signatures`は、[Sender](sender.md)の[完了シグネチャ集合](completion_signatures.md)を取得する関数テンプレートである。
 
+### 非依存Sender
+[環境](../queryable.md)に依存することなく完了シグネチャ集合が決定するSenderは、非依存Sender(non-dependent sender)と呼ばれる。
+
+型`Sndr`に対して[`sender`](sender.md)`<Sndr> == true`かつ[`dependent_sender`](dependent_sender.md)`<Sndr> == false`の場合、`Sndr`は非依存Senderである。
+
+
+## テンプレートパラメータ制約
+`sizeof...(Env) <= 1`
+
+
+## 効果
 説明用の式`except`を、[`move_constructible`](/reference/concepts/move_constructible.md)`<Except> &&` [`derived_from`](/reference/concepts/derived_from.md)`<Except,` [`exception`](/reference/exception/exception.md)`>`が`true`となる未規定なクラス`Except`の右辺値とする。`e`がコア定数式かつその型が[`valid-completion-signatures`](completion_signatures.md)を満たすならば、式`CHECKED-COMPLSIGS(e)`を`e`とする。そうでなければ下記の式となる。
 
 ```cpp
@@ -35,12 +46,6 @@ transform_sender(
 * transform_sender[link transform_sender.md]
 * get-domain-late[link get-domain-late.md]
 
-
-## テンプレートパラメータ制約
-`sizeof...(Env) <= 1`
-
-
-## 効果
 下記の通り定義される式`e`を用いて、`return e;`と等価。
 
 - 式`get-complsigs<NewSndr, Env...>()`が適格であるならば、`CHECKED-COMPLSIGS(get-complsigs<NewSndr, Env...>())`
@@ -92,7 +97,7 @@ int main()
   ex::sender auto sndr = ex::just(42);
 
   // 値完了シグネチャ set_value_t(int)
-  auto sigs = ex::get_completion_signatures(sndr);
+  auto sigs = ex::get_completion_signatures<decltype(sndr)>();
   static_assert(std::same_as<decltype(sigs),
     ex::completion_signatures<ex::set_value_t(int)>>);
 }

reference/execution/execution/let_value.md

@@ -147,12 +147,12 @@ cs.for-each(overload-set(fn, [](auto){}));
 * set-cpo[italic]
 
 `unspecified-exception`は[`exception`](/reference/exception/exception.md)から派生した型となる。
-変数`is-valid-let-sender`は下記を全て満たす時に限って`true`となる。
+説明用の変数`is-valid-let-sender`は下記を全て満たす時に限って`true`となる。
 
 - `(`[`constructible_from`](/reference/concepts/constructible_from.md)`<decay_t<Ts>, Ts> &&...)`
-- `invocable<LetFn, decay_t<Ts>&...>`
-- [`sender`](sender.md)`<invoke_result_t<LetFn, decay_t<Ts>&...>>`
-- パック`env-t`を`decltype(let-cpo.transform_env(declval<Sndr>(), declval<Env>()))`としたとき、`sizeof...(Env) == 0 ||` [`sender_in`](sender_in.md)`<invoke_result_t<LetFn, decay_t<Ts>&...>, env-t...>`
+- [`invocable`](/reference/concepts/invocable.md)`<LetFn, decay_t<Ts>&...>`
+- [`sender`](sender.md)`<`[`invoke_result_t`](/reference/type_traits/invoke_result.md)`<LetFn, decay_t<Ts>&...>>`
+- パック`env-t`を`decltype(let-cpo.transform_env(declval<Sndr>(), declval<Env>()))`としたとき、`sizeof...(Env) == 0 ||` [`sender_in`](sender_in.md)`<`[`invoke_result_t`](/reference/type_traits/invoke_result.md)`<LetFn, decay_t<Ts>&...>, env-t...>`
 
 説明用の式`sndr`と`env`に対して、型`Sndr`を`decltype((sndr))`とする。[`sender-for`](sender-for.md)`<Sndr,` [`decayed-typeof`](/reference/functional/decayed-typeof.md)`<let-cpo>> == false`のとき、式`let-cpo.transform_env(sndr, env)`は不適格となる。
 

reference/execution/execution/run_loop/get_scheduler.md

@@ -34,8 +34,8 @@ int main()
   ex::sender auto sndr = ex::schedule(sch);
 
   // スケジュールSenderの完了シグネチャ集合を確認
-  auto sigs = ex::get_completion_signatures(sndr);
-  static_assert(std::same_as<decltype(sigs),
+  using Sigs = ex::completion_signatures_of_t<decltype(sndr)>;
+  static_assert(std::same_as<Sigs,
     ex::completion_signatures<ex::set_value_t(),
                               ex::set_error_t(std::exception_ptr),
                               ex::set_stopped_t()>>);
@@ -50,7 +50,7 @@ int main()
 * 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_of_t[link ../completion_signatures_of_t.md]
 * ex::completion_signatures[link ../completion_signatures.md]
 * ex::set_value_t[link ../set_value.md]
 * ex::set_error_t[link ../set_error.md]