diff --git a/docs/tools/bash.md b/docs/tools/bash.md
index f0bd5cb6..a5855be0 100644
--- a/docs/tools/bash.md
+++ b/docs/tools/bash.md
@@ -2,16 +2,11 @@
 
 Background shell execution via `hive-bash-daemon`. Tools land as
 `mcp__bash__<tool>` (the MCP server name is `bash`, not `hyperhive`).
-`nix/agent-modules/mcp.nix` registers bash into `hyperhive.extraMcpServers`
-by default (`lib.mkDefault`, with `allowedTools = ["*"]`) — an `agent.nix`
-can override or drop the entry, so this is a default, not an
-unconditional grant. Even where the entry is present, the server is only
-actually rendered into an agent's claude config when the agent also
-holds the **`execution`** tool group: `extra_server_required_group` in
-`hive-agent/src/mcp_config.rs` suppresses it entirely without that
-group, so an agent lacking `execution` gets no `mcp__bash__*` tools at
-all, not just an unused grant. See "Relationship to the `execution` tool
-group" below.
+Available on every agent by default — `nix/agent-modules/mcp.nix` injects
+bash into `hyperhive.extraMcpServers` via `lib.mkDefault` (with
+`allowedTools = ["*"]`), so `mcp__bash__*` is in `--allowedTools` for
+every claude invocation regardless of tool groups. Default rather than
+unconditional: an `agent.nix` can override or drop the entry.
 
 ## Tools
 
@@ -124,14 +119,9 @@ loose-end follows.
 
 ## Relationship to the `execution` tool group
 
-`ToolGroup::Execution` (in `AGENT_DEFAULT`) is the real gate on bash: it
-controls whether the `bash` MCP server is rendered into the agent's
-claude config at all (`extra_server_required_group` in
-`hive-agent/src/mcp_config.rs`), suppressing every `mcp__bash__*` tool
-when absent — not just leaving them unused. Its own `tools()` returns
-`&[]` and stays that way: `mcp__bash__run`/`status`/`kill` belong to a
-different, out-of-process MCP server (`bash`, not `hyperhive`), so they
-were never real entries in the `mcp__hyperhive__*` allowlist `tools()`
-builds — the two dead `["run", "status"]` strings it used to return
-matched nothing and have been removed. Removing `execution` from an
-agent's groups **does** remove bash availability.
+`ToolGroup::Execution` exists and appears in `AGENT_DEFAULT`, but its
+`tools()` returns `["run", "status"]` which the harness expands to
+`mcp__hyperhive__run` / `mcp__hyperhive__status` — tools that don't
+exist in the hyperhive MCP server (dead entries). Removing `execution`
+from an agent's groups has no effect on bash availability.
+`nix/agent-modules/mcp.nix` registers Bash separately via the `extraMcpServers` path described above.
diff --git a/hive-sh4re/src/permissions.rs b/hive-sh4re/src/permissions.rs
index f34496b8..a79d944a 100644
--- a/hive-sh4re/src/permissions.rs
+++ b/hive-sh4re/src/permissions.rs
@@ -34,11 +34,7 @@ pub enum ToolGroup {
     /// now that agents can't create them directly). Opt-in per
     /// agent so the operator controls who can spin up repos.
     Forge,
-    /// Gates whether the `bash` MCP server (`mcp__bash__run`/`status`/
-    /// `kill`) is rendered into the agent's config at all — see
-    /// `extra_server_required_group` in `hive-agent/src/mcp_config.rs`.
-    /// `tools()` returns `&[]`: this isn't a `mcp__hyperhive__*`
-    /// allowlist entry, the gate lives at config-render time instead.
+    /// `run`, `status` (via `mcp__bash__*`)
     Execution,
     /// Claude built-in web egress tools: `WebFetch` (retrieve a URL) and
     /// `WebSearch` (search the web). Both are omitted from `--tools` by
@@ -69,16 +65,8 @@ impl ToolGroup {
             ],
             Self::Diagnostics => &["get_logs"],
             Self::Forge => &["create_repo"],
-            // Both empty, for different reasons — see each variant's own
-            // doc comment above. `Execution` grants the out-of-process
-            // `bash` MCP server (`mcp__bash__run`/`status`/`kill`), gated
-            // at config-render time by `extra_server_required_group` in
-            // `hive-agent/src/mcp_config.rs`, not by this list — an
-            // out-of-process server has no later enforcement point, so
-            // that gate is the actual security boundary. `WebTools`
-            // grants Claude built-in tools, not MCP ones; see
-            // `builtin_tools()`.
-            Self::Execution | Self::WebTools => &[],
+            Self::Execution => &["run", "status"],
+            Self::WebTools => &[],
         }
     }