Commit ee0f6ea
committed
docs(spec): use the
The changeset declared `yes (widening)`. `yes` is right — a new exported symbol
is the mechanical floor — but the arm was not: this diff narrows the accept set.
The vocabulary already has the spelling for this. `readClause2Line` accepts
`yes (narrowing)`, and check-adr-0087-registration's own self-test names the
case verbatim: "the `narrowing` arm beside a `yes` value — a diff that widens
AND narrows". The earlier wording needed a paragraph explaining why `widening`
did not mean what it says; the correct arm needs none, and it restores the
`clause-②-narrowing` signal the gate reads.
`no (widening)` stays malformed, so the arms are not free: `no` takes only
`narrowing`, while `yes` takes either.
Co-Authored-By: Claude <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01JbZnqu8bt6YqfJsr9vaFb3yes (narrowing) arm, the spelling for a diff that does both1 parent 881db12 commit ee0f6ea
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
7 | | - | |
| 7 | + | |
8 | 8 | | |
9 | 9 | | |
10 | 10 | | |
| |||
0 commit comments