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 -- Janet Cobb Assessor, Rulekeepor, Stonemason