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.
