4st wrote:
Not sure if this is intended, but for festivity, we can't set it to the maximum ever, so any player who is 1 away from laudable is going to be festive. (given the standard definition of "exclusive" and "greater than or equal" in that rule.)
This is adequately covered by R2480: If Agora's Festivity has had the same nonzero value for 14 days or more, or if it has a nonzero value and fewer than 5 players are ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Festive, then any player CAN flip it to 0 by announcement. ^^^^^^^
in rule 2125, regulated actions, it says OR, not AND. The second part of the rule, "A Regulated Action CAN only be performed as described by the Rules, and only using the methods explicitly specified in the Rules for performing the given action." could be removed if we just switched that OR to AND?
Apples and oranges. The first part defines which actions are regulated (and changing "or" to "and" would significantly alter that definition), the second part defines what it means to regulate an action.
Rule 1688 and rule 2162 duplicate the idea of secured (in what appears to be the same way, but still duped)
R1688 defines "secured" in the context of a change/action/value. R2162 defines "secured" in the context of a switch, as shorthand for applying R1688's definitions to various things related to that switch.
Rule 107: looks like agoran decisions need not be public by default, however, it looks like everything that uses them enforces them as public.
Various aspects use "public", or "publish" (defined elsewhere as public). Votes need not be public, and in fact have been private in the past (though I think it may have been many years ago).