Hewill comments and provides proposed wording

Author: Dani-Hub

xml/issue4052.xml

@@ -111,11 +111,146 @@ The copy & paste error was
 <a href="https://github.com/cplusplus/draft/pull/6794">fixed editorially</a>.
 </p>
 
+<note>2025-10-06; Hewill comments and provides wording</note>
+<p>
+We should fix the constructor, otherwise the following should be rejected according to the standard:
+</p>
+<blockquote><pre>
+#include &lt;random&gt;
+
+struct Op {
+  float operator()(float);
+  void operator()(auto) = delete;
+};
+
+static_assert(!std::is_invocable_r_v&lt;double, Op&amp;, double&gt;);
+
+int main() {
+  std::initializer_list&lt;float&gt; l;
+  std::piecewise_linear_distribution&lt;float&gt; dist(l, Op{});
+}
+</pre></blockquote>
+<p>
+This is, because it violates <i>Mandates</i>. However, all three compilers accept it because 
+<code>Op&amp;</code> can take `float` and return `float`.
+</p>
 </discussion>
 
 <resolution>
 <p>
+This wording is relative to <paper num="N5014"/>.
+</p>
+
+<ol>
+
+<li><p>Modify <sref ref="[rand.dist.samp.pconst]"/> as indicated:</p>
+
+<blockquote>
+<pre>
+template&lt;class InputIteratorB, class InputIteratorW&gt;
+  piecewise_constant_distribution(InputIteratorB firstB, InputIteratorB lastB,
+                                  InputIteratorW firstW);
+</pre>
+<blockquote>
+<p>
+-4- <i>Mandates</i>: Both of
+</p>
+<ol style="list-style-type: none">
+<li><p>
+(4.1) &mdash; <code>is_convertible_v&lt;iterator_traits&lt;InputIteratorB>::value_type, <ins>result_type</ins><del>double</del>&gt;</code>
+</p></li>
+<li><p>
+(4.2) &mdash; <code>is_convertible_v&lt;iterator_traits&lt;InputIteratorW>::value_type, <ins>result_type</ins><del>double</del>&gt;</code>
+</p></li>
+</ol>
+<p>
+are `true`.
+<p/>
+[&hellip;]
+</p>
+</blockquote>
+<pre>
+template&lt;class UnaryOperation&gt;
+  piecewise_constant_distribution(initializer_list&lt;RealType&gt; bl, UnaryOperation fw);
+</pre>
+<blockquote>
+<p>
+-7- <i>Mandates</i>: <code>is_invocable_r_v&lt;<ins>result_type</ins><del>double</del>, UnaryOperation&amp;, 
+<ins>result_type</ins><del>double</del>&gt;</code> is `true`.
+<p/>
+[&hellip;]
+</p>
+</blockquote>
+<pre>
+template&lt;class UnaryOperation&gt;
+  piecewise_constant_distribution(size_t nw, RealType xmin, RealType xmax, UnaryOperation fw);
+</pre>
+<blockquote>
+<p>
+-10- <i>Mandates</i>: <code>is_invocable_r_v&lt;<ins>result_type</ins><del>double</del>, UnaryOperation&amp;, 
+<ins>result_type</ins><del>double</del>&gt;</code> is `true`.
+<p/>
+[&hellip;]
 </p>
+</blockquote>
+</blockquote>
+</li>
+
+
+<li><p>Modify <sref ref="[rand.dist.samp.plinear]"/> as indicated:</p>
+
+<blockquote>
+<pre>
+template&lt;class InputIteratorB, class InputIteratorW&gt;
+  piecewise_linear_distribution(InputIteratorB firstB, InputIteratorB lastB,
+                                InputIteratorW firstW);
+</pre>
+<blockquote>
+<p>
+-4- <i>Mandates</i>: Both of
+</p>
+<ol style="list-style-type: none">
+<li><p>
+(4.1) &mdash; <code>is_convertible_v&lt;iterator_traits&lt;InputIteratorB>::value_type, <ins>result_type</ins><del>double</del>&gt;</code>
+</p></li>
+<li><p>
+(4.2) &mdash; <code>is_convertible_v&lt;iterator_traits&lt;InputIteratorW>::value_type, <ins>result_type</ins><del>double</del>&gt;</code>
+</p></li>
+</ol>
+<p>
+are `true`.
+<p/>
+[&hellip;]
+</p>
+</blockquote>
+<pre>
+template&lt;class UnaryOperation&gt;
+  piecewise_linear_distribution(initializer_list&lt;RealType&gt; bl, UnaryOperation fw);
+</pre>
+<blockquote>
+<p>
+-7- <i>Mandates</i>: <code>is_invocable_r_v&lt;<ins>result_type</ins><del>double</del>, UnaryOperation&amp;, 
+<ins>result_type</ins><del>double</del>&gt;</code> is `true`.
+<p/>
+[&hellip;]
+</p>
+</blockquote>
+<pre>
+template&lt;class UnaryOperation&gt;
+  piecewise_linear_distribution(size_t nw, RealType xmin, RealType xmax, UnaryOperation fw);
+</pre>
+<blockquote>
+<p>
+-10- <i>Mandates</i>: <code>is_invocable_r_v&lt;<ins>result_type</ins><del>double</del>, UnaryOperation&amp;, 
+<ins>result_type</ins><del>double</del>&gt;</code> is `true`.
+<p/>
+[&hellip;]
+</p>
+</blockquote>
+</blockquote>
+</li>
+</ol>
+
 </resolution>
 
 </issue>