I don't think it should be too hard. All we have to do is specify that "If the auctioneer CAN transfer the items in the lot to the winner at will, e immediately does so; otherwise, e SHALL do so in a timely fashion." Presuming that Agora can do whatever it wants to do, that works fine because Rule 2457 states that "A clause in a Contract purporting to make an entity which is neither the Contract itself nor a party to the Contract the Auctioneer of an Auction defined by that Contract is INEFFECTIVE." So we don't have to worry about a contract making Agora the auctioneer or something.
-Aris On Fri, Apr 13, 2018 at 3:42 PM, Kerim Aydin <ke...@u.washington.edu> wrote: > > > The real difficulty is many of the rules that have "or contract" > generalizations when describing how things work. It would be so much easier > if we could just assume all of auctions were transfers-from-agora and write > some auto transfer-from-agora language, but we have to (all over the place) > defer to "but if it's a contract it's a different auctioneer" etc... > > This means navigating a lot of edge-cases in the rules that are prone to > error for relatively little benefit (contracts mostly don't do this). > > On the last round of Contracts, we did it the other way. Auctions would > be defined in the Rules for Agora only. Then if a Contract wanted to > auction, it would write (in the Contract) "This Contract auction works > just like Agoran auctions, but with this Contract in place of Agora". > > Since Contracts were adjudicated by placing weight on intent/equity > instead of the technicalities of each loophole, this worked pretty well. > > > On Fri, 13 Apr 2018, Reuben Staley wrote: >> Sigh. I really don't like it when other people are right. I guess that >> should be in the patches somewhere. >> >> On Fri, Apr 13, 2018, 14:42 Aris Merchant < >> thoughtsoflifeandligh...@gmail.com> wrote: >> >> > But where does it actually say that Agora actually ever makes such a >> > transfer? >> > >> > -Aris >> > >> > On Fri, Apr 13, 2018 at 1:35 PM, Reuben Staley <reuben.sta...@gmail.com> >> > wrote: >> > > The Cartographor doesn't make the transfer as the Cartographor is only >> > the >> > > Announcer. Agora, the auctioneer, is authorized the make the transfer. >> > > >> > > On Fri, Apr 13, 2018, 14:00 Kerim Aydin <ke...@u.washington.edu> wrote: >> > > >> > >> >> > >> >> > >> However, (and this is the third time I've asked) can anyone point me to >> > >> where it says in the rules that the cartographer actually CAN make a >> > >> transfer of land from Agora to a land auction winner? >> > >> >> > >> >> > >> On Fri, 13 Apr 2018, Kerim Aydin wrote: >> > >> > I don't consider 1 auctions/5 auctions to be a patch. It works as is, >> > >> > but some people want it a different way (never mind that includes the >> > >> > original author). As it's controversial, please leave it on its own. >> > >> > >> > >> > On Fri, 13 Apr 2018, Aris Merchant wrote: >> > >> > > Okay, I'm going to write up a patch proposal. I'll take any >> > reasonably >> > >> > > uncontroversial patches, whether in typed up form or just with a >> > >> > > description of the problem and a link to any previous discussion. >> > >> > > >> > >> > > Things I'm aware of: >> > >> > > >> > >> > > - Treasuror is undefined >> > >> > > - Welcome packages are undefined >> > >> > > - The 1 auction/5 auctions problem >> > >> > > - The thing where you can transfer things into a facility from >> > >> everywhere >> > >> > > >> > >> > > If I've missed anything, or you disagree with any of these, please >> > let >> > >> me know. >> > >> > > >> > >> > > -Aris >> > >> > > >> > >> > >> > >> > > >