Editing Round 10/Ruleset (section)

=== Bidding ===

During an Auction Phase, players can bid as a secret action in #auctions with default maturation and revelation dates. Bid actions must contain an unambiguous mapping of bid amounts to lot numbers. When a bidder ceases to be a player, all of their bids on active auctions are withdrawn and cease to be bids, and the bidder ceases to be a bidder.

In addition to normal failure conditions for secret actions, bids fail if any of the following occur:
*If, when a player reveals their bids, one or more of those bids is not an explicit, unconditional, natural number greater than 0, or if more than one bid is assigned to a single lot, then all such bids fail immediately.
*If, at the revelation date for the bidding the set of a player's bids that would otherwise succeed add up to a number more than how many chips they have, then all of their bids fail.

Priority on a lot is a total order over bidders on that lot, considering only bids that are successful as of the revelation date, and is defined as follows:
*If two bidders have different bids, the one with the higher bid has priority over the other.
*Otherwise, the bidder whose most recent start or increase of their bid was least recent has higher priority over the other.

At the revelation date of each week's bids, after Prizes are given out for Hands and after it is decided which bids were successful, the auction concludes, and for each lot the following occur in the order listed:
*The lot is transferred to the possession of the sole bidder with the highest priority on that lot (if one exists).
*The player who received that lot loses the amount of chips they bid.