From a4c70dd3b1bad250f7c10637719e1c4552ac5d7a Mon Sep 17 00:00:00 2001 From: Stephen Waits Date: Mon, 26 Oct 2026 21:30:47 -0600 Subject: [PATCH] fix(bookspec): the rebased P7 sentence speaks CHOICE too (P13) --- spec/rules-index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/rules-index.md b/spec/rules-index.md index 3a3e5da..436f328 100644 --- a/spec/rules-index.md +++ b/spec/rules-index.md @@ -4,7 +4,7 @@ Every rule of `docs/spec/rules.md` (B-1 to B-45), its bookspec identifier `BS--` (`plan/served.md` P13 step 3), its area, 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 (`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