From ce315780f7c0e5fb92aba3f490dac7a18d4512d3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dietmar=20K=C3=BChl?= <dietmar.kuehl@me.com>
Date: Mon, 1 Sep 2025 00:13:01 +0100
Subject: [PATCH 1/2] =?UTF-8?q?New=20issue=20from=20Dietmar=20K=C3=BChl:?=
 =?UTF-8?q?=20affine=5Fon=20has=20no=20specification=20for=20the=20default?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 xml/issue4344.xml | 56 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 56 insertions(+)
 create mode 100644 xml/issue4344.xml

diff --git a/xml/issue4344.xml b/xml/issue4344.xml
new file mode 100644
index 0000000000..121f903dc3
--- /dev/null
+++ b/xml/issue4344.xml
@@ -0,0 +1,56 @@
+<?xml version='1.0' encoding='utf-8' standalone='no'?>
+<!DOCTYPE issue SYSTEM "lwg-issue.dtd">
+
+<issue num="4344" status="New">
+<title><code>affine_on</code> has no specification for the default</title>
+<section><sref ref="[exec.affine.on]"/></section>
+<submitter>Dietmar Kühl</submitter>
+<date>01 Sep 2025</date>
+<priority>99</priority>
+
+<discussion>
+<p>
+The wording of <code>affine_on</code> doesnt have a specification
+for the default implementation. For other algorithms the default
+implementation is specified.
+</p>
+<p>
+The intention for <code>affine_on</code> was to all
+optimisation/customisation in a way reducing the necessary scheduling:
+if the implementation can determine if a sender completed already
+on the correct execution agent it should be allowed to avoid
+scheduling. A specification should provide enough lattitude to
+allow that.
+</p>
+</discussion>
+
+<resolution>
+<p>
+Add a new paragraph to the specification of <code>affine_on</code>
+in <a href="https://wg21.link/exec.affine.on">[exec.affine.on]</a> providing
+a specification for the default implementation:
+</p>
+<p>
+<blockquote>
+<p><ins>
+-6- Let <code>sndr</code> and <code>env</code> be subexpressions
+such that <code>Sndr</code> is <code>decltype((sndr))</code>. If
+<code>sender-for&lt;Sndr, affine_on_t&gt;</code> is <code>false</code>, then the expression
+<code>affine_on.transform_sender(sndr, env)</code> is ill-formed; otherwise, it
+is equivalent to:
+</ins>
+</p>
+<pre>
+  <ins>
+auto [_, sch, child] = sndr;
+return transform_sender(
+  <i>query-with-default</i>(get_domain, sch, default_domain()),
+  continues_on(std::move(child), std::move(sch)));
+</ins>
+</pre>
+<p><ins>except that <code>sch</code> is only evaluated once. </ins></p>
+</blockquote>
+</p>
+</resolution>
+
+</issue>

From 5243a44a469480fd9ed89b47a25db6aa6afd3a17 Mon Sep 17 00:00:00 2001
From: Jonathan Wakely <github@kayari.org>
Date: Mon, 1 Sep 2025 21:22:16 +0100
Subject: [PATCH 2/2] Update xml/issue4344.xml

---
 xml/issue4344.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xml/issue4344.xml b/xml/issue4344.xml
index 121f903dc3..99c5531ba6 100644
--- a/xml/issue4344.xml
+++ b/xml/issue4344.xml
@@ -27,7 +27,7 @@ allow that.
 <resolution>
 <p>
 Add a new paragraph to the specification of <code>affine_on</code>
-in <a href="https://wg21.link/exec.affine.on">[exec.affine.on]</a> providing
+in <sref ref="[exec.affine.on]"/> providing
 a specification for the default implementation:
 </p>
 <p>