Re: BUS: [Treasuror] [Auction Regulations] Selective Bid Fixes

2021-06-15 Thread Jason Cobb via agora-business
On 6/15/21 6:43 PM, Trigon via agora-business wrote:
> I intend, with 2 Agoran consent, to apply the following amendments:
>
> {
>
> Amend AM5 by replacing:
>
>* The Nth awardee of a selective-bid auction is the player who
>  placed the highest active bid whose preferred bid is the Nth
>  lot.
>
> with:
>
>* The Nth awardee of a selective-bid auction is the player who
>  placed the highest bid in the set of bids made by funded, non
>  withdrawn players whose preferred bid is the Nth lot.
>
> }


I support.

-- 
Jason Cobb

Assessor, Rulekeepor, S​tonemason



BUS: [Treasuror] [Auction Regulations] Selective Bid Fixes

2021-06-15 Thread Trigon via agora-business
I was informed a few weeks ago that Selective Bids do not function as 
intended as they are written unless we apply the good-faith 
interpret-by-intention clause. I kind of forgot about it until I 
realized I needed to do victory auctions and I realized I had an old 
draft of this lying around. A bit of polishing and here we are. Details 
about the breakage listed below the text.


I intend, with 2 Agoran consent, to apply the following amendments:

{

Amend AM5 by replacing:

  * The Nth awardee of a selective-bid auction is the player who
placed the highest active bid whose preferred bid is the Nth
lot.

with:

  * The Nth awardee of a selective-bid auction is the player who
placed the highest bid in the set of bids made by funded, non
withdrawn players whose preferred bid is the Nth lot.

}

This broke when I started using the "active bid" terminology. Zealous 
copy-pasting on my part is to blame. Essentially, this breakage 
disallows any one player from winning multiple lots.


For example, consider the following scenario:

- Alice bids 10 on item Foo and 10 on item Bar.
- Bob bids 20 on item Foo.
- Alice bids 30 on item Foo.
- The auction ends.

The awardees are determined using the set of active bids. These are "all 
funded, non-withdrawn players' highest bids on that auction." Assuming 
Alice and Bob are both funded, the set of active bids is {(Alice, 30, 
item Foo), (Bob, 20, item Foo)}. In this scenario, item Foo has a clear 
winner, but item Bar does not, since there are no "active bid[s] whose 
preferred bid is [item Bar]." This isn't the only edge case, either, but 
it's a particularly problematic one.


This is clearly a bug and clearly one where the intent was clearly that 
the highest bidder on a specific lot should get it.


More details about edge cases: players who do not have enough currency 
to pay for everything that they win cannot win anything since they are 
not considered a funded player under the current definition as a player 
who "ha[s] at least as much of that auction's currency as the amount 
that e is required to pay in that auction."


--
Trigon

 ¸¸.•*¨*• Play AGORA QUEST

I’m always happy to become a party to contracts.
I LOVE SPAGHETTI
transfer Jason one coin
nch was here
I hereby
don't... trust... the dragon...
don't... trust... the dragon...
Do not Construe Jason's message with subject TRIGON as extending this