Development record
The sub-verb lint (internal/core/lint/subverbs.go parseSubVerbTable) treats finding the ## Sub-verbs heading as finding the table: a surface file with the heading followed by prose and no header row passes with no finding, while the brief surfaces README promises that a file without the table is a finding whatever its verb registers. Fix: require the table's header row under the heading; test a heading-only file.
issueresolvedminoriss-2609250937494009
The sub-verb lint (internal/core/lint/subverbs.go parseSubVerbTable) treats finding the ## Sub-verbs heading as finding the table: a surface file with the heading followed by prose and no header row passes with no finding, while the brief surfaces README promises that a file without the table is a finding whatever its verb registers. Fix: require the table's header row under the heading; test a heading-only file.
Grounds
- pursued: every surface file whose Sub-verbs section has no header row draws a surface_coverage finding; a heading-only file passing record-lint would show it wrong
Frontmatter
| id | iss-2609250937494009 |
|---|---|
| type | issue |
| lifecycle | resolved |
| severity | minor |
.abcd/work/issues/resolved/iss-2609250937494009-the-sub-verb-lint-internal-core-lint.md
open on GitHub ↗ · commit history ↗