Ah sorry. I promise that I can read!

Jason Cobb

On 6/22/19 10:20 PM, Aris Merchant wrote:
No, you're getting the formula wrong. Rule 879 says that "If no other
rule defines the quorum of an Agoran Decision, the quorum for that
decision is equal to 2/3 of the number of voters on the Agoran
Decision to adopt a proposal that had been most recently resolved at
the time of that decision's initiation, the whole rounded to the
nearest integer (breaking ties upward)." 6.66 rounded to the nearest
integer is 7. 7.333 rounded to the nearest integer is also 7.

The only situation where something gets rounded up is if there's a tie
(so, like at 6.5). Ties are impossible when you're multiplying by 2/3;
I guess I wasn't thinking very clearly when I wrote the proposal to
change the quorum default. :)

-Aris


On Sat, Jun 22, 2019 at 7:15 PM Jason Cobb <jason.e.c...@gmail.com> wrote:
Why wouldn't the quorum change? The highest numbered proposal in the
purported resolution had 10 voters.  With Telnaior, it would go to 11.
By Rule 879, quorum is ceil(2/3*(# voters on last resolved decision to
adopt a proposal)). 10*2/3=6.666..., which goes to 7. With Telnaior,
11*2/3=7.333..., which goes to 8.

Am I making a wrong assumption about which proposal resolution counts as
the most recent?

Jason Cobb

On 6/22/19 10:07 PM, Aris Merchant wrote:
On Sat, Jun 22, 2019 at 7:02 PM Jason Cobb <jason.e.c...@gmail.com> wrote:
Quorum might be wrong, given this CoE on the Assessor report by G (in a
reply to the thread):
Thanks for pointing that out; you're right that I didn't notice. On
this occasion, quorum is unchanged due to the way the rounding works
out.

CoE:  This leaves out my votes on Telnaior's behalf, which change the
outcome of at least one proposal I think (8184).
Also, what exactly is your "standard reward policy"?
A small reward of coins and my sincere gratitude.

-Aris
On 6/22/19 9:41 PM, Aris Merchant wrote:
Here's a draft of my Promotor report. My standard reward policy for
catching errors is in effect.

-Aris

---
I hereby distribute each listed proposal, initiating the Agoran
Decision of whether to adopt it, and removing it from the proposal
pool. For this decision, the vote collector is the Assessor, the
quorum is 7, the voting method is AI-majority, and the valid
options are FOR and AGAINST (PRESENT is also a valid vote, as are
conditional votes).

ID    Author(s)             AI    Title
---------------------------------------------------------------------------
8188  G.                    3.0   Blanket Denial
8189  Jason Cobb            1.7   Rule 2479 Cleanup (v1.2)
8190  G., D Margaux         2.0   Report Rewards
8191  R. Lee                1.1   Spaceships
8192  G.                    1.0   auctions have fees

The proposal pool is currently empty.

The full text of the aforementioned proposal(s) is included below.

//////////////////////////////////////////////////////////////////////
ID: 8188
Title: Blanket Denial
Adoption index: 3.0
Author: G.
Co-authors:


Amend Rule 2201 (Self-Ratification) by replacing:
     do one of the following in a timely fashion:
with
     do one of the following in a timely fashion, in an announcement
     that clearly cites the claim of error:

//////////////////////////////////////////////////////////////////////
ID: 8189
Title: Rule 2479 Cleanup (v1.2)
Adoption index: 1.7
Author: Jason Cobb
Co-authors:


Amend Rule 2479 ("Official Justice") as follows:

Replace the text

    The Referee CAN, subject to the provisions of this rule, impose
    Summary Judgment on a person who plays the game by levying a fine
    of up to 2 blots on em. Summary Judgement is imposed on the
    Referee's own initiative, and not in response to any official
    proceeding.
with the text

    Subject to the provisions of this rule, the Referee CAN, by announcement,
    impose Summary Judgment on a player. When e does so, e levies a fine of
    up to 2 Blots on em. If e does not specify the number of Blots in the fine,
    the attempt to impose Summary Judgment is INEFFECTIVE. Summary Judgement is
    imposed on the Referee's own initiative, and not in response to any official
      proceeding.


//////////////////////////////////////////////////////////////////////
ID: 8190
Title: Report Rewards
Adoption index: 2.0
Author: G.
Co-authors: D Margaux


Amend Rule 1006 (Offices) by prepending the following text to the 1st
paragraph:
     An Office is a position described as an Office by the Rules.

Amend Rule 2496 (Rewards) by replacing:
     * Publishing a duty-fulfilling report: 5 coins. For each office,
       this reward can only be claimed for the first weekly report
       published in a week and the first monthly report published in a
       month.
with:
     * Publishing an office's weekly or monthly report, provided that
       publication was the first report published for that office in
       the relevant time period (week or month respectively) to fulfill
       an official weekly or monthly duty: 5 coins.

//////////////////////////////////////////////////////////////////////
ID: 8191
Title: Spaceships
Adoption index: 1.1
Author: R. Lee
Co-authors:


Create a spaceship in the possession of each player without a
spaceship

//////////////////////////////////////////////////////////////////////
ID: 8192
Title: auctions have fees
Adoption index: 1.0
Author: G.
Co-authors:


[The payment rule for auctions just says that if you happen to have an
auction debt, if you pay Agora under any circumstances, it triggers
stuff.  This means, if someone happens to have two auction debts, they
can make one payment and it would count for both.  This brings things
into line.]

Amend Rule 2551 (Auction End) by replacing:
     The winner of a lot SHALL pay the Auctioneer the number of the
     Auction's currency equal to eir bid, in a single payment, in a
     timely fashion.
with:
     The winner of the lot SHALL, in a timely fashion, pay a fee (the
     number of the Auction's currency equal to eir bid) to the
     Auctioneer in order to satisfy eir auction debt.

[This makes "satisfying eir auction debt" a fee-based action governed
under R2579, which didn't exist when the auction rules were written.
R2579 then takes care of the various CANs and method details.  The
transfer of the lots is then a consequence of "satisfying eir auction
debt"].

//////////////////////////////////////////////////////////////////////

Reply via email to