[J3] Clarification on F18/017

[Steve Lionel]

On 6/8/2020 5:04 PM, Ondřej Čertík via J3 wrote:
> And Zach and Peter B. and several others have expressed that to me privately, but I will not name them unless they want to publicly mention it. I haven't publicized this, but if you have doubts about what the community wants, I am happy to ask more publicly to generate a more representative feedback.

Really what I want is a technical discussion, and, ideally, an alternate 
proposal. Neither are evident to date. Making vague statements about 
what "the community" wants is not constructive and suggests that the 
technical argument is lacking. I certainly don't see it in the github 
thread.

To wit: what is wrong with the way F18/017 allows for different ordering 
of finalization and why is it wrong? Provide an example program that 
breaks if the ordering CBPA is used so that we can better understand 
your arguments.

Steve