Great re-use of the Agoran decision rules! You should probably define "excess lot" so resale value can decay appropriately for those. Two more comments inline:
On Sun, 5 Apr 2020 at 03:56, Alexis Hunt via agora-discussion <agora-discussion@agoranomic.org> wrote: > auction is currently in progress (initiated but not resolved), the > Registrar CAN initiate a zombie auction. Needs a method. > 4. For an auction, the outcome is an association of voters (winners) to > valid options (prizes) determined as follows. For each voter in descending > order of bids, breaking ties in favour of the voter who first submitted a > (possibly-withdrawn) vote with a given bid amount, of the remaining prizes, I don't think withdrawn bids should be included when breaking ties. That will incentivize me to bid all possible values right at the start of the auction, so that I'll always have been the first to have submitted a (possibly-withdrawn) bid for any given amount. - Falsifian