On 4/20/24 23:59, Janet Cobb via agora-discussion wrote:
> Here's a draft to cleanly separate the ratification of documents and
> statements, with an eye towards fixing the proposal ratification bug
> that ais523 pointed out. (I don't think this itself would fix it, since
> the R2034 would still need to be updated to include explicit statements
> about the attributes of the proposal.)
Revised proto based on Murphy's feedback:
{
Amend Rule 1551 ("Ratification") to read as follows:
{
A retroactive change is one that changes the game's record of past
events. Retroactive changes are secured with power threshold 3.
When a statement is to be ratified, the following definitions apply:
* The application time is the instant at which the ratification is to occur.
* The truth time is the time as of which the Rules specify the statement
is to be made true.
Ratification of a statement "as of" a time means ratifying that
statement such that the statement is to be made true at that time.
Rules to the contrary notwithstanding, when a statement is ratified,
except as prohibited by this Rule, the gamestate is retroactively
modified to what it would be if, at the truth time, the gamestate had
been minimally modified to make the ratified statement as true and
accurate as possible.
Ratification CANNOT occur if the truth time would be after the
application time. An internally inconsistent statement CANNOT be
ratified. Ratification CANNOT occur if it would add inconsistencies
between the gamestate and the rules. Ratification CANNOT occur if the
required modification to the gamestate is not possible or if multiple
substantially distinct possible modifications would be equally appropriate.
If the minimal modification would include past or present rule changes,
they are instead excluded unless the statement explicitly and
unambiguously recites either the changes or the resulting properties of
the rule(s).
Parts of a statement purportedly about previous instances of
ratification (e.g. a report's date of last ratification) are excluded
from ratification.
Ratification of a statement is secured at power 3.
}
Enact a new Rule with power 3, title "Ratification of Documents", and
the following text:
{
A public document is part (possibly all) of a public message.
When a document to be ratified, the following definitions apply:
* The application time is the instant at which the ratification is to occur.
* The publication time is the instant at which the document to be
ratified was published
* The truth time of the document is the instant at which the document
specifies that it was true, if any, or the publication time otherwise.
Ratification of a document CANNOT occur if the truth time would be after
the publication time, the truth time would be after the application
time, or if the publication time would be after the application time.
When a document (rather than a statement) is to be ratified, an
effective statement is produced as described in this Rule.
Generally, the effective statement is that the document is true and
accurate, and an internally inconsistent document CANNOT be ratified.
However, if the document is internally inconsistent, but can be divided
into a summary section and a main section, where the only purpose of the
summary section is to summarize information in the main section, and the
main section is internally consistent, the effective statement is
instead that the main section of the document is true and accurate, and
such ratification is not blocked by this clause.
The Rules of power not less than 3 may define additional information
that is considered to be part of the document for the purposes of
ratification. The extended statement of a document to be ratified is
that the effective statement is true and that all such additional
information (if any) is true and accurate.
When a document is ratified, except as prohibited by this Rule, the
extended statement of the document is ratified as of the truth time of
the document.
Ratification of a document is secured at power 3.
}
Amend Rule 2201 ("Self-Ratification") by replacing "the statement is
ratified" with "the statement is ratified as of the time of publication
of the document".
Amend Rule 2202 ("Ratification Without Objection") by deleting the
paragraph reading "A public document is part (possibly all) of a public
message.".
}
--
Janet Cobb
Assessor, Rulekeepor, Stonemason
