Re: DIS: [proto] Another ratification rewrite
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
Re: DIS: [proto] Another ratification rewrite
Janet wrote: When a document is to be ratified, 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, or if the truth time would be after the time the document is to be ratified. Recommend re-defining and re-using "application time" here, for parallelism with the amended R1551.
DIS: [proto] Another ratification rewrite
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.)
{
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 truth time is the time as of which the Rules specify the statement
is to be made true.
* The application time is the instant at which the statement to be
ratified is to be ratified.
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, except as prohibited by this
Rule, when a statement is ratified, 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 is to be ratified, 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, or if the truth time would be after the time the document is to be
ratified.
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 prohibited 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 applicable
additional information 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.".
}
