P4016R0 — Canonical Parallel Reduction: A Fixed Expression Structure for Run-To-Run Consistency
Andrew Drakeford
LEWGISG6
This paper proposes **semantics** only. It seeks LEWG validation of the fixed expression structure defined in §4 before committing to API design. This proposal introduces no *algebraic* requirements on `binary_op`