On 3/18/24 01:14, Janet Cobb via agora-discussion wrote:
> On 3/17/24 22:14, 4st nomic via agora-discussion wrote:
>> What evidence do you have that rule numbers and Id numbers are the same?
>> Because arguing that this case is false has definitive disastrous effects,
>> so is there another way to judge this case outside of those two options?
>
> The earliest FLR in the agora-official archives [0] describes "rule
> numbers" with numbers that match today's ID numbers.
>
>
> The following proposal [1] uses "rule number" in its title and "ID
> number" in its text:
>
>> }{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{
>>
>> Proposal 5115 (Democratic, AI=3, Disinterested) by Zefram
>> restore enforcement of rule number stability
>>
>> Amend rule 2141 by replacing the paragraph
>>
>> Rules have ID numbers, to be assigned by the Rulekeepor.
>>
>> with
>>
>> Rules have ID numbers, to be assigned by the Rulekeepor. A rule
>> CANNOT have the same ID number as any other rule. Once
>> assigned, a rule's ID number cannot be changed.
>>
>> [This only applies if P5110 "Regulate ID numbers" generalised the
>> assignment of ID numbers. The new rule "ID Numbers" says that ID
>> numbers must be distinct and can't be changed, but that's only at
>> power=2. For rules, especially with ID numbers being used to
>> determine precedence, these things should be enforced at power=3. The
>> detailed procedure for ID number selection and assignment remains
>> separate in the "ID Numbers" rule.]
>>
>> }{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{
>
> CFJ 1876 [2] uses "rule number" while the contemporary ruleset [3] uses
> "ID number". This is not commented upon. See also CFJ 2513.
>
>
> The following proposal (never distributed?) [4] uses "rule number" to
> describe what the contemporary ruleset [5] calls "ID numbers" (and even
> uses it to describe the specific ID numbers in question):
>
>> -----------------------------------------------------------------------
>>
>> Title: Sudden Death
>> Author: G.
>> AI: 1.0
>> II: 1
>> Chamber: Green
>>
>> [A bonus temporary win condition that only two people should ever
>> be able to achieve. Start your engines!]
>>
>> Create the following rule, Sudden Death.
>>
>> The next player who wins the game by Renaissance simultaneously
>> wins the game by satisfying the winning condition IN OVERTIME,
>> provided no other player won the game by Renaissance in the
>> same instant.
>>
>> If a player has won the game by Renaissance since the creation
>> of this rule, the Herald CAN and SHALL, by announcement, cause
>> this rule to cause Rule 2199 to repeal itself.
>>
>> The next player who wins the game by high score simultaneously
>> wins the game by satisfying the winning condition IN OVERTIME,
>> provided no other player won the game by high score in the
>> same instant.
>>
>> If a player has won the game by High Score since the creation
>> of this rule, the Herald CAN and SHALL, by a single announcement,
>> cause this rule to cause Rules 2179, 2187, 2232, 2233, and 2234
>> to repeal themselves in order.
>>
>> If none of the rules listed by rule number in the text of this
>> rule exist, the Herald CAN and SHALL, by announcement, cause
>> this rule to repeal itself.
>>
>> -----------------------------------------------------------------------
> The following proposal [6] uses "rule number" in its title and "ID
> number" in its text:
>
>> }{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{
>>
>> Proposal 6992 (Democratic, AI=3.0) by Murphy
>> (coauth: omd)
>> Fix rule numbers
>>
>> Ratify all rule ID numbers in the document purported to be the
>> Short Logical Ruleset and published on or about Thu, 3 Mar 2011
>> 14:40:44 -0500.
>>
>> Amend Rule 2140 (Power Controls Mutability) by replacing "modify"
>> with "set or modify".
>>
>> Amend Rule 2141 (Role and Attributes of Rules) by replacing this
>> text:
>>
>> Rules have ID numbers, to be assigned by the Rulekeepor, and are
>> strictly ordered.
>>
>> Every rule shall have a title to aid in identification. If a
>> rule ever does not have a title, the Rulekeepor shall assign
>> a title to it by announcement as soon as possible.
>>
>> For the purposes of rules governing modification of instruments,
>> the text, power, ID number, and title of a rule are all
>> substantive aspects of the rule.
>>
>> with this text:
>>
>> Rules have ID numbers, to be assigned by the Rulekeepor.
>>
>> Every rule shall have a title to aid in identification. If a
>> rule ever does not have a title, the Rulekeepor SHALL assign
>> a title to it by announcement as soon as possible.
>>
>> For the purposes of rules governing modification of instruments,
>> the text, power, ID number, and title of a rule are all
>> substantive aspects of the rule. However, rules to the contrary
>> notwithstanding, the Rulekeepor CAN set rule aspects as described
>> elsewhere in this rule.
>>
>>
>> }{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{
>
> [0]
> https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2002-November/000003.html
>
> [1]
> https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2007-July/003153.html
>
> [2] https://agoranomic.org/cases/?1876
>
> [3]
> https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2008-January/003838.html
>
> [4]
> https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2010-January/007536.html
>
> [5]
> https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2010-January/007533.html
>
> [6]
> https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2011-April/008648.html
>
See also proposals 4811 [0] and 5110 [1].
Notably, 5110 contains:
> Amend Rule 2141 (Role and Attributes of Rules) by replacing the
> paragraph containing "Every rule shall have a number for identification"
> with this text:
>
> Rules have ID numbers, to be assigned by the Rulekeepor.
[0]
https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2005-June/002297.html
[1]
https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2007-July/003145.html
--
Janet Cobb
Assessor, Rulekeepor, Stonemason
