fix: align tool rename fallout

2026-01-09 05:54:34 +01:00
parent 333832c2e1
commit aa5e75e853
8 changed files with 42 additions and 34 deletions
--- a/docs/concepts/session-pruning.md
+++ b/docs/concepts/session-pruning.md
@@ -44,6 +44,7 @@ Pruning uses an estimated context window (chars ≈ tokens × 4). The window siz
 ## Tool selection
 - `tools.allow` / `tools.deny` support `*` wildcards.
 - Deny wins.
+- Matching is case-insensitive.
 - Empty allow list => all tools allowed.

 ## Interaction with other limits