execution: 微調整 (#1384)

Author: yohhoy

reference/execution/execution/on.md

@@ -127,8 +127,26 @@ transform_sender(
     * set_value_t[link set_value.md]
     * get_env[link get_env.md]
     * query-with-default[link query-with-default.md]
-    * write-env[link write-env.md.nolink]
+    * write-env[link write-env.md]
     * SCHED-ENV[link SCHED-ENV.md.nolink]
+    * std::move[link /reference/utility/move.md]
+
+説明専用のクラス`not-a-scheduler`を未規定な空のクラス型、`not-a-sender`を下記の通り定義する。
+
+```cpp
+struct not-a-sender {
+  using sender_concept = sender_t;
+
+  auto get_completion_signatures(auto&&) const {
+    return see below;
+  }
+};
+```
+* sender_t[link sender.md]
+* see below[italic]
+
+メンバ関数`get_completion_signatures`は[`completion_signatures`](completion_signatures.md)クラステンプレートの特殊化とは異なる型のオブジェクトを返す。
+処理系（標準ライブラリ実装者）は、この型を用いてユーザにエラー理由を通知することが推奨される。
 
 
 ## カスタマイゼーションポイント

reference/execution/execution/product-type.md

@@ -24,7 +24,7 @@ struct product-type {  // exposition only
 * see below[italic]
 
 ## 概要
-`product-type`は、実行制御ライブラリの仕様定義で用いられる説明専用のクラステンプレートである。
+`product-type`は、Senderアルゴリズム動作仕様定義で用いられる説明専用のクラステンプレートである。
 
 `product-type`型の式は[構造化束縛](/lang/cpp17/structured_bindings.md)における初期化子として利用できる。
 

reference/execution/execution/query-with-default.md

@@ -12,7 +12,7 @@ constexpr decltype(auto) query-with-default(
 * see below[italic]
 
 ## 概要
-`query-with-default`は、実行制御ライブラリの仕様定義で用いられる説明専用の関数テンプレートである。
+`query-with-default`は、Senderアルゴリズム動作仕様定義で用いられる説明専用の関数テンプレートである。
 
 説明用の式`e`を、適格であるならば`Tag()(env)`とする。そうでなければ、`static_cast<Default>(`[`std::forward`](/reference/utility/forward.md)`<Default>(value))`とする。
 

reference/execution/execution/with-await-transform.md

@@ -23,7 +23,7 @@ namespace std::execution {
     decltype(auto) await_transform(T&& value)
       noexcept(noexcept(std::forward<T>(value).as_awaitable(declval<Derived&>())))
     {
-        return std::forward<T>(value).as_awaitable(static_cast<Derived&>(*this));
+      return std::forward<T>(value).as_awaitable(static_cast<Derived&>(*this));
     }
   };
 }

reference/execution/execution/write-env.md

@@ -0,0 +1,59 @@
+# write-env
+* execution[meta header]
+* function template[meta id-type]
+* std::execution[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+template<sender Sndr, queryable Env>
+constexpr auto write-env(Sndr&& sndr, Env&& env);  // exposition only
+```
+
+## 概要
+`write-env`は、Senderアルゴリズム動作仕様定義で用いられる説明専用のSenderアダプタである。
+
+[クエリ可能オブジェクト](../queryable.md)`env`と接続先[Receiver](receiver.md)の環境を合成した、新たなクエリ可能オブジェクトに関連付けれられたSenderを生成する。
+
+
+## 戻り値
+説明専用の`write-env-t`を空のクラスとしたとき、下記を返す。
+
+```cpp
+make-sender(write-env-t(), std::forward<Env>(env), std::forward<Sndr>(sndr))
+```
+* make-sender[link make-sender.md]
+
+
+### Senderアルゴリズムタグ
+Senderアルゴリズム動作説明用のクラステンプレート[`impls-for`](impls-for.md)に対して、下記の特殊化が定義される。
+
+```cpp
+template<>
+struct impls-for<write-env-t> : default-impls {
+  static constexpr auto get-env =
+    [](auto, const auto& state, const auto& rcvr) noexcept {
+      return see below;
+    };
+};
+```
+* impls-for[link impls-for.md]
+* default-impls[link impls-for.md]
+* see below[italic]
+
+`impls-for<write-env-t>​::​get-env`メンバの呼び出しは下記を満たすオブジェクト`e`を返す。
+
+- 型`decltype(e)`が[`queryable`](../queryable.md)のモデルであり、かつ
+- 与えられた[クエリオブジェクト](../queryable.md)`q`に対して、式`e.query(q)`は式`state.query(q)`が有効ならばその式と等価。そうでなければ、式`e.query(q)`は[`get_env`](get_env.md)`(rcvr).query(q)`と等価。
+
+
+## バージョン
+### 言語
+- C++26
+
+
+## 関連項目
+- [`execution::on`](on.md)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)

reference/execution/this_thread/sync-wait-env.md

@@ -25,7 +25,7 @@ namespace std::this_thread {
 * get_scheduler()[link ../execution/run_loop/get_scheduler.md]
 
 ## 概要
-`sync-wait-env`は、実行制御ライブラリの仕様定義で用いられる説明専用のクラステンプレートである。
+`sync-wait-env`は、Senderアルゴリズム動作仕様定義で用いられる説明専用のクラステンプレートである。
 
 Senderコンシューマ[`sync_wait`](sync_wait.md)、[`sync_wait_with_variant`](sync_wait_with_variant.md)動作において[Receiver](../execution/receiver.md)の[環境](../queryable.md)として利用される。
 

reference/execution/this_thread/sync-wait-receiver.md

@@ -37,7 +37,7 @@ namespace std::this_thread {
 * sync-wait-result-type[link sync_wait.md]
 
 ## 概要
-`sync-wait-receiver`および`sync-wait-state`は、実行制御ライブラリの仕様定義で用いられる説明専用のクラステンプレートである。
+`sync-wait-receiver`および`sync-wait-state`は、Senderアルゴリズム動作仕様定義で用いられる説明専用のクラステンプレートである。
 
 Senderコンシューマ[`sync_wait`](sync_wait.md)動作において[Sender](../execution/sender.md)と[接続(connect)](../execution/connect.md)する[Receiver](../execution/receiver.md)、同Receiverの内部状態として利用される。