On Fri, May 22, 2020, 3:59 PM nch via agora-discussion < agora-discussion@agoranomic.org> wrote:
> On Friday, May 22, 2020 3:35:45 PM CDT Aris Merchant via agora-discussion > wrote: > > On Fri, May 22, 2020 at 1:19 PM grok via agora-discussion > > > > <agora-discussion@agoranomic.org> wrote: > > > On Fri, May 22, 2020, 2:16 PM Kerim Aydin via agora-discussion < > > > > > > agora-discussion@agoranomic.org> wrote: > > > > On 5/22/2020 12:09 PM, Aris Merchant wrote: > > > > > On Fri, May 22, 2020 at 12:08 PM Kerim Aydin wrote: > > > > >> Rule 2551: > > > > >> An Auction ends 7 days after its initiation, or immediately > if > > > > >> no > > > > >> bid has been placed or withdrawn in the last 96 hours, or > > > > >> immediately if it is terminated. > > > > >> > > > > >> Since no bid can be made until the auction starts (that's in > R2550), > > > > > > > > then > > > > > > > > >> on the instant after it starts, the condition "no bid has been > placed > > > > >> or > > > > >> withdrawn in the last 96 hours" would be TRUE... > > > > > > > > > > This has been noticed before... apparently not fixed though. > > > > > > > > lol I kept re-reading that phrase this morning thinking "surely I'm > > > > missing something, something that glaring would have been noticed > long > > > > ago > > > > given how many cfjs auctions have produced..." > > > > > > I think it depends on your interpretation of when hour 1 of the "last > 96 > > > hours" is. I think it would be reasonable for a CFJ to conclude either > way > > > on this. > > > > I'm not seeing a textual interpretation where it doesn't time out > > immediately. Could you explain? > > > > Though maybe some judge found something last time, I really would have > > sworn this has come up before. > > > > -Aris > > I think grok is suggesting that "last" might not go before the initiation. > But, unfortunately in this case, that wouldn't hold up to convention in > Agora. > Quite a few rules get passed with provisions like "If this hasn't happened > in > the last X days..." fully intending to be immediately triggerable. > > > -- > nch > I think what I'm actually suggesting is that there's enough precedent that a sympathetic judge may stay eir judgment or issue a clarifying judgment in favor of common practice to give players enough time to patch up the rule. >