Re: DIS: [DracoLotto Administrator] Draft Lottery Resolution

2020-06-22 Thread James Cook via agora-discussion
On Tue, 23 Jun 2020 at 00:50, Aris Merchant via agora-discussion
 wrote:
> [Here's my draft resolution for the DracoLotto. Please look it over
> and let me know if you see any errors.]

I skimmed it and didn't notice any errors. The Treasuror going through
the public version is likely our best double-check that everything
went right, for better or worse.

- Falsifian


DIS: [DracoLotto Administrator] Draft Lottery Resolution

2020-06-22 Thread Aris Merchant via agora-discussion
[Here's my draft resolution for the DracoLotto. Please look it over
and let me know if you see any errors.]

INTRODUCTION

Welcome, one and all, to the DracoLotto! Thank you to all our contributors!
The lottery will begin shortly. I, Aris, am your Lottery Administrator!

Firstly, though, I would like to assure you of the randomness of this lottery.
For randomization, I used the random.choice() function from Python 2.7.16
running on MacOSX. I passed this function an array containing player names
as strings, where the multiplicity of each such string was equal to that
player's contribution to the relevant pool. I repeated this procedure
a number of times equal to the number of products to be distributed.

[
Further note on randomization:

Given that this is a draft, I should explain how I intend to maintain
randomization if there are any errors.

If there is an error in contribution values, I will redo the randomization
for the relevant section from scratch. If contribution values are correct, and
I attempted to distribute too many products for a pool, I will remove some
choices from the end of the list; if I attempted to distribute too few, I
will add to the end.
]

PART 0: OPENING FORMALITIES

The pools are closed.

The House Pool is currently empty.

The Voting Pool contains 5 Voting Cards.

The Justice Pool contains 4 Justice Cards.

The Victory Pool contains 3 Victory Cards.

The Legislative Pool contains 5 Legislative Cards.

Contribution values for each pool are in the next section.

PART 1: THE LOTTERY
CHAPTER 1: VOTING POOL RESOLUTION

Voting Pool Contributions
PlayerContribution
  -
TOTAL 5
Aris  1
R. Lee2
nch   1
Falsifian 1

I resolve the Voting Pool as follows:
0. The Voting Pool contains 5 Voting Cards.
1. I take 5 Voting Cards from the DracoLotto.
2. I pay 4 Voting Cards as a set, receiving 10 Extra Votes, which are now
   in the Voting Pool. I pay 1 Voting Card as a set, receiving 1 Extra Vote,
   which is now in the Voting Pool.
3. M is 1.
4. I transfer 11 Extra Votes, which are in the Voting Pool, to the DracoLotto.
5. For each person X in the following list, in order and allowing repeats, I
   transfer 1 Extra Vote from the DracoLotto to X: Aris, R. Lee, R. Lee, nch,
   Falsifian. Each of the Extra Votes I transferred was removed from the Voting
   Pool. The Voting Pool now contains 6 Extra Votes.
6. 1 (M) Extra Vote is transferred from the Voting Pool to the House Pool.
   The Voting Pool now contains 5 Extra Votes. The House Pool now contains
   1 Extra Vote.
7. I randomly chose R. Lee, nch, R. Lee, Aris, and R. Lee. For each person X in
   the proceeding list, in order and allowing repeats, I transfer 1 Extra
   Vote from the DracoLotto to X. Each of the Extra Votes I transferred was
   removed from the Voting Pool. The Voting Pool is now empty.

The Voting Pool has been resolved.

CHAPTER 2: JUSTICE POOL RESOLUTION

Justice Pool Contributions
PlayerContribution
  -
TOTAL 4
Aris  1
Falsifian 1
Jason 1
R. Lee1

I resolve the Justice Pool as follows:
0. The Justice Pool contains 4 Justice Cards.
1. I take 4 Justice Cards from the DracoLotto.
2. I pay 4 Justice Cards as a set, receiving 10 Blot-B-Gones, which are now
   in the Justice Pool.
3. M is 1.
4. I transfer 10 Blot-B-Gones, which are in the Justice Pool, to the DracoLotto.
5. For each person X in the following list, in order and allowing repeats, I
   transfer 1 Blot-B-Gone from the DracoLotto to X: Aris, Falsifian, Jason,
   R. Lee. Each of the Blot-B-Gones I transferred was removed from the Justice
   Pool. The Justice Pool now contains 6 Blot-B-Gones.
6. 1 (M) Blot-B-Gone is transferred from the Justice Pool to the House Pool.
   The Justice Pool now contains 5 Blot-B-Gones. The House Pool now contains
   1 Extra Vote and 1 Blot-B-Gone.
7. I randomly chose Aris, Aris, Falsifian, Jason, and Jason. For each person
   X in the proceeding list, in order and allowing repeats, I transfer
   1 Blot-B-Gone from the DracoLotto to X. Each of the Blot-B-Gones I
   transferred was removed from the Justice Pool. The Justice Pool is now empty.

The Justice Pool has been resolved.


CHAPTER 3: VICTORY POOL RESOLUTION

Victory Pool Contributions
PlayerContribution
  -
TOTAL 3
Aris  1
Falsifian 1
Jason 1

I resolve the Victory Pool as follows:
0. The Victory Pool contains 4 Victory Cards.
1. I take 3 Victory Cards from the DracoLotto.
2. I pay 3 Victory Cards as a set, receiving 6 Victory Points, which are now
   in the Victory Pool.
3. M is 1.
4. I transfer 6 Victory Points, which are in the Victory Pool, to the
   DracoLotto.
5. For each person X in the following list, in order and allowing repeats, I
   transfer 1 Victory Point from the DracoLotto to X: Aris, Falsifian, Jason.
   Each of the Victory Points I transferred was removed from the Victory