Skip to content

docs(rfd): Add RFDs 055, 056, 057 for tool groups and group config#463

Merged
JeanMertz merged 1 commit intomainfrom
prr33
Mar 19, 2026
Merged

docs(rfd): Add RFDs 055, 056, 057 for tool groups and group config#463
JeanMertz merged 1 commit intomainfrom
prr33

Conversation

@JeanMertz
Copy link
Collaborator

Introduce three new RFDs covering the design of tool groups and group-level configuration:

  • RFD 055 defines named tool groups with CLI shorthand (--tools GROUP / --no-tools GROUP) and exhaustive validation, ensuring every tool is classified relative to a group marked exhaustive = true.
  • RFD 056 extends groups with a defaults section, allowing member tools to inherit shared configuration (run, style, etc.) without per-tool repetition.
  • RFD 057 adds an overrides section to groups, enforcing configuration that takes priority over tool-level settings — useful for policy enforcement via --cfg files.

Also relaxes the rfd-extend justfile rule to allow extending RFDs in Discussion status (previously only Accepted or Implemented), which unblocks chaining these RFDs before any of them are accepted.

Introduce three new RFDs covering the design of tool groups and
group-level configuration:

- RFD 055 defines named tool groups with CLI shorthand (`--tools GROUP`
  / `--no-tools GROUP`) and exhaustive validation, ensuring every tool
  is classified relative to a group marked `exhaustive = true`.
- RFD 056 extends groups with a `defaults` section, allowing member
  tools to inherit shared configuration (`run`, `style`, etc.) without
  per-tool repetition.
- RFD 057 adds an `overrides` section to groups, enforcing configuration
  that takes priority over tool-level settings — useful for policy
  enforcement via `--cfg` files.

Also relaxes the `rfd-extend` justfile rule to allow extending RFDs in
Discussion status (previously only Accepted or Implemented), which
unblocks chaining these RFDs before any of them are accepted.

Signed-off-by: Jean Mertz <git@jeanmertz.com>
@JeanMertz JeanMertz merged commit a5e011c into main Mar 19, 2026
12 checks passed
@JeanMertz JeanMertz deleted the prr33 branch March 19, 2026 22:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant