Den fre 22 maj 2020 kl 22:59 skrev nch via agora-discussion < agora-discussion@agoranomic.org>:
> 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 > > wait why don't we just propose a new rule/amend the old one with a paragraph which says something like either "a countdown which would terminate something can't be started retroactively" or "the countdown for auction termination can't be started retroactively"? or would that be no fun? - bögtil
