summaryrefslogtreecommitdiff
path: root/wiki/github-nomic/notes.md
diff options
context:
space:
mode:
authorOwen Jacobson <owen.jacobson@grimoire.ca>2016-11-09 23:10:31 -0500
committerOwen Jacobson <owen.jacobson@grimoire.ca>2016-11-09 23:10:31 -0500
commit5793034c19b830e86104b50d905292b52d5e7262 (patch)
tree82495a9c3f2cd5306d42e14956532e2a96c29d61 /wiki/github-nomic/notes.md
parentd18d52a353f7298a9599447363699a62241cf1b3 (diff)
Use negative numbers, rather than Roman numerals, for starting rules (thanks, @wlonk!)
Kit pointed out a defect in my modifications: > Rule xxvi defines precedence within the immutable or mutable sets as being defined by the lower ordinal number. > > Rule viii gives new rules numbers assigned by GitHub. > > Within the first few turns, a rule can be transmuted from mutable to immutable, or vice versa, and there can be non-unique numbering within a set. So we could end up with rule 6 and Rule vi both being, say, immutable, and no precedence being defined for them. Rather than make a more intrusive change, I've instead renumbered the rules to negative indices.
Diffstat (limited to 'wiki/github-nomic/notes.md')
-rw-r--r--wiki/github-nomic/notes.md6
1 files changed, 4 insertions, 2 deletions
diff --git a/wiki/github-nomic/notes.md b/wiki/github-nomic/notes.md
index 1f9d0bf..506e728 100644
--- a/wiki/github-nomic/notes.md
+++ b/wiki/github-nomic/notes.md
@@ -50,9 +50,11 @@ In spite of my temptation to remove it, I have even left the notion of “winnin
The intent of this Nomic is to explore the suitability of Github's suite of tools for proposing, reviewing, and accepting changes to a corpus of text are suitable for self-governed rulemaking processes, as modelled by Nomic.
Note that this is a test of Github, not of Git: it is appropriate and intended that the players rely on non-Git elements of Github's workflow (issues, wiki pages, Github Pages, and so on), and similarly it is appropriate and intended that the authentic copy of the game in play is the Github project hosting it, not the Git repo the project contains, and certainly not forks of the project or other clones of the repository.
-To support this intention, I have re-labelled the initial rules with Roman numerals, rather than digits, so that proposals can be numbered starting from 1, rather than Suber's original 301, and so that they can be numbered by their Pull Requests and Github issue numbers.
+To support this intention, I have re-labelled the initial rules with ngative numbers, rather than digits, so that proposals can be numbered starting from 1 without colliding with existing rules, and so that they can be numbered by their Pull Requests and Github issue numbers.
+(A previous version of these rules used Roman numerals for the initial rules.
+However, correctly accounting for the priority of new rules over initial rules, following Suber, required more changes than I was comfortable making to Suber's ruleset.)
I have made it explicit in these initial rules that Github, not the players, assigns numbers to proposals.
-(This is the only rule which mentions Github by name.)
+This is the only rule which mentions Github by name.
I have not explicitly specified that the proposals should be implemented through pull requests; this is an intentional opportunity for player creativity.
## Projects & Ideas