On Sun, Mar 28, 2021 at 1:05 PM Aris Merchant via agora-discussion
<agora-discussion@agoranomic.org> wrote:
>
> Wasn't really planning to publish this so soon, as I'm not really done
> editing it. On the other hand, Murphy has published eirs, so I'm going
> for it.
>
> -Aris
> ---
> Title: Ratification Rewrite
> Adoption index: 3.0
> Author: Aris
> Co-authors: Jason, G.

An updated version that removes the confusing special case for
ratifying public documents. I also incorporated part of Murphy's
proposal (specifically, eir definition of the time of a document's
ratification).

-Aris
---
Title: Ratification Rewrite
Adoption index: 3.0
Author: Aris
Co-authors: Jason, G., Murphy


[Let's face it, the ratification rules are a mess. They're nearly
unreadable, full of complicated technical language that is painfully
hard to understand. While they deal with an inherently complex
problem, that doesn't mean they need to be impossible to read
themselves.

A while back people suggested some rewrites that
came at the problem from different angles, but all of them
had their own problems. This proposal maintains the
same basic conceptual approach as the current rules,
but rewrites the text to make it more readable
and adjusts the complex to simplify them. I hope this will
lead to cleaner results than we have at present.]

Enact a new power 3.0 rule entitled "Documents", with the
following text:

  A document is a body of text. A public document is a document that
  is part (possibly all) of a public message.

  A public document's effective date is the time it was published,
  unless the document explicitly specifies a different past time as
  the time it was true, in which case its effective date is that
  past time.

Amend Rule 1551, "Ratification", by changing it to read as follows:

  When a statement is ratified, play proceeds as if the statement has
  become true, and the state of the game is updated accordingly.

  A statement CANNOT be ratified if:
    1. it is internally inconsistent;
    2. it describes a state of affairs that is impossible for
       reasons outside its scope;
    3. its ratification would make the state of the game
       indeterminate or inconsistent with the rules.

  The ratification of a statement does not change the rules,
  unless the statement (or a public document that it references)
  explicitly and unambiguously recites either the changes to
  them or their final properties. Text purportedly about previous
  instances of ratification is excluded from ratification.

  Ratification is secured at power 3.

Amend Rule 2202, "Ratification Without Objection", by changing it to read
in full:

  A player CAN, without objection, ratify a specified statement.

  Ratification without objection CANNOT cause rule changes, rules to the
  contrary notwithstanding.

  A player SHALL NOT ratify or announce intent to ratify
  a statement without objection if e knows it is incorrect or
  indeterminate, unless the general nature of the statement's
  error and reason for ratifying it is plainly described
  in the announcement of intent. Doing so is the Class 8
  Crime of Endorsing Forgery.

Amend Rule 2201, "Self-Ratification", by changing it to read in full:

  When a public document is defined as self-ratifying by the rules
  remains continuously undoubted for one week, it is ratified
  that the statement became true and correct in all respects
  at its effective date.

  Any person CAN by announcement submit a claim of error,
  identifying a document (perhaps implicitly) and explaining the
  nature of a perceived error in it. For so long as a claim
  exists against the document, it is doubted.

  When this happens, the publisher of the original document SHALL
  (if e was required to publish that document) or SHOULD (otherwise)
  do one of the following in a timely fashion, in an announcement
  that clearly cites the claim of error:

     1. Deny the claim (causing it to cease to exist).

     2. Initiate an inquiry case regarding the truth of the claim
        (if the subject is actually a matter of law), or cite a
        relevant existing inquiry case.

    3. Publish a revision. If no claim of error is stated,
       the revision implicitly responds to all claims of error
       against the document being revised.

Amend Rule 107, "Initiating Agoran Decisions", by replacing:

  A public notice purporting to initiate an Agoran decision is a
  self-ratifying attestation of the notice's validity.

with:

  A public notice purporting to initiate an Agoran decision
  contains an implied self-ratifying statement that the
  notice is valid.

Amend Rule 2034, "Vote Protection and Cutoff for Challenges", by
replacing:

  A public message purporting to resolve an Agoran decision is a
  self-ratifying attestation that

with:

  A public message purporting to resolve an Agoran decision
  contains an implied self-ratifying statement that

Reply via email to