On Thu, May 25, 2017 at 10:28 AM, Kerim Aydin <ke...@u.washington.edu> wrote:
>
>
> On Thu, 25 May 2017, Gaelan Steele wrote:
>> I create the proposal “Sequential Numbering” by Gaelan, AI 1: <
>> Create the rule “Sequential Numbering,” power 1: {
>>
>> When the Rulekeepor adds a new rule to the ruleset, e SHALL give
>> it an ID number one higher than the highest ever assigned.
>>
>> }
>>
>> >
>
> Since ID numbers are used in a few places in the Rules like Proposals (but
> not for CFJs! I don't remember removing those...), it might be good to
> bring back that definition. Removing it was a conscious experiment to see
> what things could be defined by precedent, that's one that people have asked
> for a few times so maybe it's worth bringing back. Below is a very heavy-
> weight version from a past ruleset (version grabbed at random, may be
> better versions), maybe we don't need the full machinery but it's food for
> thought.
>
> (The "name" part is interesting, it means the formal name of proposals was
> different from its title, back when we used to regulate names a bit more...)
>
>
> Rule 2161/3 (Power=2)
> ID Numbers
>
> If a rule defines a type of entity as having ID numbers, then:
>
> (a) Whenever an instance of that type does not have an ID
> number, the player held responsible by that rule SHALL
> assign an ID number to it by announcement as soon as
> possible.
>
> (b) Such an assignment is INVALID unless the number is a natural
> number (expressed as a decimal literal with at most 14
> digits) distinct from any ID number, and greater than any
> orderly ID number, previously assigned to an entity of that
> type. The player SHALL select the smallest number possible,
> unless e reasonably believes that selecting any smaller
> number might be invalid or confusing.
>
> (c) Each ID number is either orderly (default) or chaotic. Upon
> a judicial finding that the assignment of an ID number was
> ILLEGAL, the ID number becomes chaotic.
>
> (d) Once assigned, an ID number cannot be changed.
>
> (e) If an office is responsible for assigning ID numbers, then
> that officer's report includes the greatest orderly ID
> number, and a list of all chaotic ID numbers, previously
> assigned to the type of entity.
>
> (f) If an instance of that type has an ID number, then its name
> is the combination of its type and ID number. Otherwise, it
> has no name.
I like the old one better, as it avoids the problem of someone
assigning rule 100000 and then having to count from there. Why don't
we just reenact the old one?
-Aris
