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
