swaits/bookspec
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix(bookspec): the rebased P7 sentence speaks CHOICE too (P13)

Browse Source
This commit is contained in:
swaits committed 2026-10-26 21:30:47 -06:00
1 parent 02fd1f79fe
commit a4c70dd3b1
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
spec/rules-index.md
+1 -1
View File
@@ -4,7 +4,7 @@ Every rule of `docs/spec/rules.md` (B-1 to B-45), its bookspec
identifier `BS-<area>-<n>` (`plan/served.md` P13 step 3), its area, identifier `BS-<area>-<n>` (`plan/served.md` P13 step 3), its area,
what its statement rests on and the examples that demonstrate it. what its statement rests on and the examples that demonstrate it.
`docs/spec/rules.md`'s **DECISION** status is bookspec's **CHOICE**: A rule whose only source is a human choice carries rules.md's **CHOICE**, bookspec's status of the same name:
the specification names the options, an engine declares its pick the specification names the options, an engine declares its pick
(`claims.choices`, `bookspec_checker::Claims`). Rules B-39 to B-45 are (`claims.choices`, `bookspec_checker::Claims`). Rules B-39 to B-45 are
allocated in `plan/served.md` 8.0.3 and not yet stated: their allocated in `plan/served.md` 8.0.3 and not yet stated: their