On 3/7/2019 8:36 AM, ais...@alumni.bham.ac.uk wrote:
On Thu, 2019-03-07 at 07:31 -0800, Kerim Aydin wrote:
Another fix would be to simply for us all to not CoE a purported attempt to
resolve the proposal (R2034) and also let the recent promotor's pool report
self-ratify without the proposal in it - tho that may open the gate for more
paradox wins, I dunno.
Ratification doesn't create paradoxes, though. The "compute what a
retroactive change would do, then apply it" method of handling the
change means that even if the cause of the ratification ends up being
ratified away, the ratification still happened.
No, the paradox is something like:
1. Purported resolution message from Assessor;
2. CoE: this Proposal was never distributed so wasn't adopted.
In terms of the truth value of the CoE, if it is true (wasn't adopted) then
it is false (it was distributed, therefore adopted). A CFJ on whether the
Assessor can legally deny the CoE (given No Faking) may meet the win