Changes from v3: * Wording normalization, including MMI fixups throughout. * Auction lots can now contain _liquid_ assets, not _fungible_ assets. You can auction estates (which are not fungible). * Platonic auctioneering, instead of pragmatic auctioneering. * Major rework of auction initiation, termination, and ending. The structure's the same, but the wording should be more regular. * A simple SHALL NOT on impossible bids. * A fix for shiny-cycling scams as they apply to auctions. * Auctions no longer authorize players to cause transfers on Agora's behalf directly. This seems like a big backdoor to asset transfer rules; please put those clauses in the enabling rule! * Multi-lot auctions.
Note to ATMunn: you did the substantial part of this work, and in an ideal
universe this proposal would credit _you_ as author. However, submitting a
proposal with another person as author causes some problems under r. 2350: if I
name you as author, I cannot withdraw the proposal. If you take this draft and
rework it, swap my name and yours in the author/co-author section.
Title: Auctions v4
Author: o
Co-author(s): ATMunn, Aris, nichdel, G.
AI: 2.0
-----------------------------------------------------------------------
Create a power-2 rule titled "Auctions"
{
An Auction is a way for entities to give away items in exchange for
Shinies. Any rule or contract may permit (or require) auctions to
be initiated.
}
Create a power-1 rule titled "Lots"
{
Each Auction has one or more lots of items. An Asset may be an item in a
lot if and only if it is liquid.
A lot is a non-empty list of items to be transferred by a single
auction to
a single recipient.
}
Create a power-1 rule titled "The Auctioneer"
{
Each Auction has an Auctioneer.
The Auctioneer of an auction is the entity that initiates that
auction, and describes all of the specifics of an auction. All
rules or contracts permitting auctions to be initiated should
specify an entity to be Auctioneer. If no Auctioneer is specified,
the default Auctioneer for auctions defined by the rules is Agora, and
the default Auctioneer for auctions defined by a contract is the
contract itself.
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.
}
Create a power-1 rule titled "The Auction Announcer"
{
Each Auction has an Announcer. Only persons can be Announcers.
If the Auctioneer of an Auction is a player, then that player is the
Announcer of that Auction.
Otherwise, the rule or contract defining an Auction CAN define the
Announcer for that Auction. Rules to the contrary notwithstanding, no
Contract can define a person as the Announcer of an Auction unless that
person is a party to that Contract.
}
Create a power-1 rule titled "Auction Initiation"
{
An entity authorized by a rule or contract to initiate an Auction CAN
do so
by announcement. If the rule or contract specifies that that entity
MUST do
so, that entity SHALL do so in a timely fashion. An auction CANNOT be
initiated other than as described by a rule or contract.
An Auction CANNOT be initiated unless the announcer specifies all of
* the Auction's lots, in the order they will be awarded,
* the items in each lot,
* the Auction's auctioneer,
* the Auction's announcer, and
* the Auction's minimum bid
in the message initiating the auction. An Auction also CANNOT be
initiated
unless the Auctioneer is able to give away each item in each of the
Auction's lots.
}
Create a power-1 rule titled "Bidding"
{
A person authorized to bid on an Auction CAN do so by announcement,
specifying the amount of shinies to bid. A bid placed on an Auction
before
it is initiated, or it has ended, is INEFFECTIVE.
An attempt to place a bid which is less than the Auction's minimum bid
is
INEFFECTIVE.
A person may withdraw their bid on an auction by announcement. If a
person
submits a bid on an auction, all bids previously placed on that auction
by
that person are withdrawn.
A rule or contract defining an Auction CAN specify a class of players
who
are authorized to bid on that Auction. If the rule or contract does not
specify a class of authorized bidders, any player is authorized to bid
on
an Auction defined by a rule, and any party to a contract is authorized
to
bid an Auction defined by that Contract.
A person SHALL NOT bid on an auction if it would be impossible for em to
pay that amount at the conclusion of the auction.
}
Create a power-1 rule titled "Auction End"
{
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.
When an auction ends, any bid placed by an entity which does not own
enough
Shinies to pay the amount specified in the bid is automatically
withdrawn.
Once an auction has ended, no further bids may be made or withdrawn.
Once the auction has ended, the auction's announcer SHALL announce
the end of the auction in a timely fashion. In the same message, e
SHALL include the a list of all the bids on the auction and the
winner(s) (if there are any) of the auction.
A person's priority on an auction is their position in the list of
persons
who have bid on the auction, sorted by the value of their non-withdrawn
bids in descending order. If two persons have placed non-withdrawn bids
for
the same value, a player who placed their non-withdrawn bid first has a
higher priority than a player who placed their non-withdrawn bid at a
later
time.
For each lot in the auction, the winner of that lot is the player with
the
highest priority on the auction who has not won any previous lot. If
there
are more lots than there are persons with non-withdrawn bids, the excess
lots are not won by any person.
The winner of a lot SHALL pay the Auctioneer the number of Shinies
equal to
eir bid, in a single payment, in a timely fashion. When e does so, the
Auctioneer SHALL transfer the items in that lot to that winner in a
timely
fashion. If the Auctioneer is not a person, then a person authorized to
cause the Auctioneer to transfer those items SHALL do so in a timely
fashion after the winner pays the Auctioneer, instead.
}
Create a power-1 rule titled "Auction Termination"
{
Any player CAN terminate an Auction, by announcement, if the Auction has
not ended and the Auctioneer of that Auction cannot transfer any item
included in a lot in that Auction.
When an Auction is terminated, all bids on that Auction are withdrawn,
no
further bids may be placed on that Auction, and the Auction ends
immediately.
}
Amend rule 2491, "Estate Auctions" to read in full:
{
At the start of each month, if Agora owns at least one Estate, then the
Surveyor CAN and SHALL initiate an Estate Auction in a timely fashion.
The Auctioneer of an Estate Auction is Agora. The Announcer of an Estate
Auction is the Surveyor. The Starting Bid of an Estate Auction is 1
Shiny.
An Estate Auction has one lot for each Estate owned by Agora, containing
exactly and only that Estate. The Surveyor CAN freely determine the
order
in which those lots will be awarded.
If an entity wins a lot in an Estate Auction, the Surveyor CAN, for each
Estate in the lot, and at most once per Estate per Estate Auction, cause
Agora to transfer each Estate to that entity.
}
-----------------------------------------------------------------------
signature.asc
Description: Message signed with OpenPGP
