Development record
Two verbs' Use lines under-declare what the verb requires, so the usage line, the worked example check and the aggregated refusal all read a requirement set smaller than the one the verb enforces. history discard refuses without --yes on every call while its Use line is discard <staged-filename>; capture disposition requires --grounds on every state except held, which requires --exit-condition instead, while its Use line brackets both as optional. Confirmed at 6e4eca9a while writing the worked examples for iss-2609100508565741: a disposition example without --grounds and a discard example without --yes are both refused.
Two verbs' Use lines under-declare what the verb requires, so the usage line, the worked example check and the aggregated refusal all read a requirement set smaller than the one the verb enforces. history discard refuses without --yes on every call while its Use line is discard <staged-filename>; capture disposition requires --grounds on every state except held, which requires --exit-condition instead, while its Use line brackets both as optional. Confirmed at 6e4eca9a while writing the worked examples for iss-2609100508565741: a disposition example without --grounds and a discard example without --yes are both refused.
Grounds
- pursued: a verb's Use line declares every flag it always refuses without; a verb that refuses on a flag its Use line brackets as optional would show it wrong
Frontmatter
| id | iss-2609260002152124 |
|---|---|
| type | issue |
| lifecycle | resolved |
| severity | minor |
.abcd/work/issues/resolved/iss-2609260002152124-two-verbs-use-lines-under-declare-what.md
open on GitHub ↗ · commit history ↗
mentions1
- iss-2609100508565741A verb's required arguments are learned from its first refusal, not from its help, because the bare help carries no worked example.