On 12/18/2020 1:48 PM, Jason Cobb via agora-official wrote: > The most recently enacted Rule entitled "Temporary CFJ Setup" is hereby > renumbered as Rule 2609 (if it does not already have that number). > > The most recently enacted Rule entitled "Statutory Instrumentation > Simultaneity" is hereby renumbered as Rule 2610. > > > It appears I accidentally assigned both of the above rules the number > 2609, though the latter never appeared in a published ruleset (as it was > repealed in the same proposal as it was enacted). As far as I can tell > no ambiguity will occur about the state of the ruleset. The former was > enacted and repealed at [0], which specified the rule's title. The later > was repealed at [1], which also specified the rule's title. > > > [0]: https://agoranomic.org/assessor/8388-8404.txt > > [1]: https://agoranomic.org/assessor/8349-8356.txt >
Just a typical Agoran nit here - because we're explicit about distinctness and only assigning rule numbers once in R2141: > Every rule shall have an ID number, distinct among current and > former rules, to be assigned once by the Rulekeepor. I think the attempt to assign an unnumbered rule a previously-used rule number would platonically fail (you still end up with the right result). If the "distinct" did not block the double-numbering, the "once" might block the renumbering. -G.
