DIS: Attn H. Promotor (Re: BUS: Attn H. Referee: Proposal 8164 CFJs)

2019-03-07 Thread Timon Walshe-Grey
Will type up my judgement later when I'm actually at home, but I am fairly certain that the correct judgements are as follows: CFJ 3722 - TRUE. CFJ 3723 - FALSE. CFJ 3724 - FALSE. Aris, I believe that Proposal 8164 has become undistributed, so could you please attempt to distribute it once

Re: DIS: Attn H. Promotor (Re: BUS: Attn H. Referee: Proposal 8164 CFJs)

2019-03-07 Thread Kerim Aydin
On 3/7/2019 6:57 AM, Timon Walshe-Grey wrote: > Aris, I believe that Proposal 8164 has become undistributed, so could you > please attempt to distribute it once more as soon as possible, to minimise > the time until it can take effect? (If I'm wrong, then the worst that can > happen is that

Re: DIS: Attn H. Promotor (Re: BUS: Attn H. Referee: Proposal 8164 CFJs)

2019-03-07 Thread D. Margaux
> On Mar 7, 2019, at 11:36 AM, "ais...@alumni.bham.ac.uk" > wrote: > > 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

Re: DIS: Attn H. Promotor (Re: BUS: Attn H. Referee: Proposal 8164 CFJs)

2019-03-07 Thread ais...@alumni.bham.ac.uk
On Thu, 2019-03-07 at 09:11 -0800, Kerim Aydin wrote: > 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

Re: DIS: Attn H. Promotor (Re: BUS: Attn H. Referee: Proposal 8164 CFJs)

2019-03-07 Thread D. Margaux
> On Mar 7, 2019, at 12:28 PM, "ais...@alumni.bham.ac.uk" > wrote: > > The proposal /was/ distributed, though. It's just that its adoption > changed the gamestate as though it wasn't. > > Denying the CoE constitutes a claim that the proposal was distributed. > Well, it /was/ distributed! A

DIS: Re: BUS: Attn H. Referee: Proposal 8164 CFJs

2019-03-07 Thread Kerim Aydin
On 3/7/2019 6:20 AM, D. Margaux wrote: Sorry all! Naw, I was wondering if someone would manage to find a paradox win from this - I looked for some self-cancelling dependent actions too, when we have truly retroactive effects pending is the best time to go for it (I think that type is the

Re: DIS: Attn H. Promotor (Re: BUS: Attn H. Referee: Proposal 8164 CFJs)

2019-03-07 Thread ais...@alumni.bham.ac.uk
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

Re: DIS: Attn H. Promotor (Re: BUS: Attn H. Referee: Proposal 8164 CFJs)

2019-03-07 Thread Kerim Aydin
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

DIS: Re: BUS: Re: OFF: [SPOOKY Prime Minister] Distribution of Proposal 8164

2019-03-07 Thread Timon Walshe-Grey
I'm sorry, our messages crossed. I think it will be trivially determinable from my judgement to 3723 though. -twg ‐‐‐ Original Message ‐‐‐ On Friday, March 8, 2019 12:12 AM, Kerim Aydin wrote: > > > I favor this case. > > On 3/7/2019 4:08 PM, D. Margaux wrote: > > > I CoE this

DIS: Re: BUS: Re: OFF: [SPOOKY Prime Minister] Distribution of Proposal 8164

2019-03-07 Thread D. Margaux
On Mar 7, 2019, at 7:18 PM, D. Margaux wrote: >> On Mar 7, 2019, at 7:15 PM, Timon Walshe-Grey wrote: >> >> You've missed an important point which will be elaborated on in my judgement >> of CFJ 3723. ATMunn did SPOOKILY distribute Proposal 8164, but it was >> nevertheless in the proposal

Re: DIS: Re: BUS: Re: OFF: [SPOOKY Prime Minister] Distribution of Proposal 8164

2019-03-07 Thread Kerim Aydin
On 3/7/2019 4:18 PM, Timon Walshe-Grey wrote: I'm sorry, our messages crossed. I think it will be trivially determinable from my judgement to 3723 though. -twg Well, it's trivial unless the judge holds onto it until the retroactive effects go into effect :). No worries tho!

DIS: Re: BUS: Re: OFF: [SPOOKY Prime Minister] Distribution of Proposal 8164

2019-03-07 Thread Kerim Aydin
On 3/7/2019 4:08 PM, D. Margaux wrote: I CoE this attempted distribution because the proposal is not in the proposal pool. I'm not sure this did what you think it did. With this phrasing, the document you've identified as in doubt (as per R2201) is the distribution attempt. You gave the

DIS: Re: BUS: Re: OFF: [SPOOKY Prime Minister] Distribution of Proposal 8164

2019-03-07 Thread D. Margaux
> On Mar 7, 2019, at 7:15 PM, Timon Walshe-Grey wrote: > > You've missed an important point which will be elaborated on in my judgement > of CFJ 3723. ATMunn did SPOOKILY distribute Proposal 8164, but it was > nevertheless in the proposal pool when Aris redistributed it just now. I know >

Re: DIS: Proto-judgements of CFJs 3722-3725

2019-03-07 Thread Kerim Aydin
I was just writing a note to say I'd spotted the Feb 24th ADoP report's ratification of D. Margaux as Prime Minister as well! You don't have to worry about the Disclaimer in the ADoP's report - disclaimers are used all the time to ratify false things, under the guidance of R2202 you're

Re: DIS: Proto-judgements of CFJs 3722-3725

2019-03-07 Thread D. Margaux
Well that is a very, very annoying oversight on my part. Nice catch. > On Mar 7, 2019, at 9:50 PM, Kerim Aydin wrote: > > > I was just writing a note to say I'd spotted the Feb 24th ADoP report's > ratification of D. Margaux as Prime Minister as well! > > You don't have to worry about the

Re: DIS: Re: BUS: Re: OFF: [SPOOKY Prime Minister] Distribution of Proposal 8164

2019-03-07 Thread D. Margaux
> On Mar 7, 2019, at 7:28 PM, Kerim Aydin wrote: > > Well, it's trivial unless the judge holds onto it until the retroactive > effects go into effect :). ಠ_ಠ

DIS: Proto-judgements of CFJs 3722-3725

2019-03-07 Thread Timon Walshe-Grey
Attached as individual text files. Please have a look and let me know what you think... -twg === CFJ 3724 === An Agoran Decision whether to adopt Proposal 8164 was initiated and its outcome is ADOPTED.