Thanks to the listed co-authors. (AIS523, I didn't see you in the directory; let me know if you're a player and I can polish your name in the co-author list).
I edited several parts of the text to make in clear that any reference to supporters or objectors is in terms of a particular intent. Note that this change means Rule 2124 no longer defines the notions of Supporter or Objector to an action, only an intent to perform an action. On Fri, 15 Feb 2019 at 17:57, James Cook <jc...@cs.berkeley.edu> wrote: > > I withdraw my previous proposal (Correction to Agoran Satisfaction, > Version 1.1.3) and submit a proposal as follows: > > Title: Correction to Agoran Satisfaction, Version 1.2 > Co-authors: ais...@alumni.bham.ac.uk, D. Margaux > Adoption Index: 2 > Text: > Replace the text of Rule 2124 with: > > A Supporter of an intent to perform an action is an eligible > entity who has publicly posted (and not withdrawn) support (syn. > "consent") for an announcement of that intent. An Objector to an > intent to perform an action is an eligible entity who has publicly > posted (and not withdrawn) an objection to the announcement of > that intent. > > The entities eligible to support or object to an intent to perform > an action are, by default, all players, subject to modification by > the document authorizing the dependent action. However, the > previous sentence notwithstanding, the initiator of the intent is > not eligible to support it. > > Agora is Satisfied with an intent to perform a specific action > unless at least one of the following is true: > > 1. The action is to be performed Without N Objections, and there > are at least N Objectors to that intent. > > 2. The action is to be performed With N support, and there are > fewer than than N Supporters of that intent. > > 3. The action is to be performed with N Agoran Consent, and the > number of Supporters of the intent is less than or equal to N > times the number of Objectors to the intent. > > The above notwithstanding, if an action depends on objections, and > an objection to an intent to perform it has been withdrawn within > the past 24 hours, then Agora is not Satisfied with that intent. > > The above notwithstanding, Agora is not satisfied with an intent > if the Speaker has objected to it in the last 48 hours. > > A person CANNOT support or object to an announcement of intent > before the intent is announced, or after e has withdrawn the same > type of response.