In light of the recently discovered bugs in auction resolution, here's a
proto to fix them:
{
Amend Rule 2551 by replacing the text from "A person's priority on an
Auction is their" to "the excess lots are not won by any person."
(including both ends) with the following paragraphs:
The bidders in an Auction are the players who have a non-withdrawn
bid in that Auction. Priority is a strict total ordering over the
bidders in an Auction. For two bidders with different bid amounts on
their non-withdrawn bids, the bidder with the higher bid has higher
priority than the other bidder; otherwise, the bidder whose
non-withdrawn bid was placed earlier has higher priority than the
other bidder.
Upon the end of an Auction, for each lot, in the order they are to
be awarded, the bidder with the highest priority in the Auction who
is not yet the winner of a lot becomes the winner of the lot. If
there are more lots than there are persons with non-withdrawn bids,
the excess lots are not won by any person.
}
This also has a drive-by fix ensuring lots are awarded in a specific
order, since the current rule depends on the order ("who has not won any
previous lot"), but does not specify the order.
--
Jason Cobb
