What
docs/rfc/bolt-spec.md (the trace section) says: "Every pending requirement is listed without failing, as one summary line, which is the honest answer to 'what does this project prove right now'." Nothing implements that today. A pending row gets no output, and BOLT-LAW-5 (proved in #141) covers findings only.
Proposal
Print the line only when asked, in the style of ruff's --statistics and --show-settings. Default output stays findings-only.
$ bolt --pending
SPEC.md: 18 pending: BOLT-RULE-INERT, BOLT-LAW-1, BOLT-LAW-3, ...
clean
- Flag:
--pending on bolt [lint]. BOLT-CLI-1 gains the flag.
- Placement: one line, printed just before the last line. BOLT-OUT-4 (proved) keeps the last line as
clean or N errors, M warnings.
- Not a finding: the line doesn't count toward the finding totals or change the exit status.
- When it prints: only on a whole-tree run, where
trace reads SPEC.md. When files are named on the command line, or there is no SPEC.md, it prints nothing.
- Order: IDs appear in SPEC.md's order.
Spec changes
- BOLT-LAW-5, or a new row: with
--pending, the line lists exactly the Proved rows whose status is pending, in file order. Without the flag, output is unchanged. Both are stated as quantified laws over the SPEC.md text.
- docs/rfc/bolt-spec.md: change the sentence to say "on request".
The default is opt-in because it matches how mature linters report project state: default runs print findings only, so CI logs stay quiet and the linter prints nothing extra on a clean run.
Generated by Claude Code
What
docs/rfc/bolt-spec.md (the
tracesection) says: "Every pending requirement is listed without failing, as one summary line, which is the honest answer to 'what does this project prove right now'." Nothing implements that today. A pending row gets no output, and BOLT-LAW-5 (proved in #141) covers findings only.Proposal
Print the line only when asked, in the style of ruff's
--statisticsand--show-settings. Default output stays findings-only.--pendingonbolt [lint]. BOLT-CLI-1 gains the flag.cleanorN errors, M warnings.tracereads SPEC.md. When files are named on the command line, or there is no SPEC.md, it prints nothing.Spec changes
--pending, the line lists exactly the Proved rows whose status ispending, in file order. Without the flag, output is unchanged. Both are stated as quantified laws over the SPEC.md text.The default is opt-in because it matches how mature linters report project state: default runs print findings only, so CI logs stay quiet and the linter prints nothing extra on a clean run.
Generated by Claude Code