Re: DIS: [proto] Auction fixes

2020-04-17 Thread Aris Merchant via agora-discussion
On Sat, Apr 4, 2020 at 7:57 PM Jason Cobb via agora-discussion < agora-discussion@agoranomic.org> wrote: > In light of the recently discovered bugs in auction resolution, here's a > proto to fix them: Alexis's auction proposal looks to be failing. I think there's general agreement that in the

Re: DIS: [proto] Auction fixes

2020-04-04 Thread Alexis Hunt via agora-discussion
On Sat, 4 Apr 2020 at 23:28, Kerim Aydin via agora-discussion < agora-discussion@agoranomic.org> wrote: > > On 4/4/2020 8:10 PM, Jason Cobb via agora-discussion wrote: > > On 4/4/20 11:07 PM, Kerim Aydin via agora-discussion wrote: > >> Also, the proto doesn't fix the actual bug that we were

Re: DIS: [proto] Auction fixes

2020-04-04 Thread Kerim Aydin via agora-discussion
On 4/4/2020 8:10 PM, Jason Cobb via agora-discussion wrote: > On 4/4/20 11:07 PM, Kerim Aydin via agora-discussion wrote: >> Also, the proto doesn't fix the actual bug that we were bidding around (at >> least not that I can see?)... >> > > Err... yes I should have introduced it differently.

Re: DIS: [proto] Auction fixes

2020-04-04 Thread Jason Cobb via agora-discussion
On 4/4/20 11:07 PM, Kerim Aydin via agora-discussion wrote: > On 4/4/2020 7:56 PM, Jason Cobb via agora-discussion wrote: >> In light of the recently discovered bugs in auction resolution, here's a >> proto to fix them: > Honestly, I think this is harmless to add, but it feels like an >

Re: DIS: [proto] Auction fixes

2020-04-04 Thread Kerim Aydin via agora-discussion
On 4/4/2020 7:56 PM, Jason Cobb via agora-discussion wrote: > In light of the recently discovered bugs in auction resolution, here's a > proto to fix them: Honestly, I think this is harmless to add, but it feels like an unnecessary clarification of common sense. Who has "highest" priority for

DIS: [proto] Auction fixes

2020-04-04 Thread Jason Cobb via agora-discussion
In light of the recently discovered bugs in auction resolution, here's a proto to fix them: { Amend Rule 2551 by replacing the text from "A person's priority on an Auction is their" to "the excess lots are not won by any person." (including both ends) with the following paragraphs: The