Skip to main content

bamboo_agent_core/tools/
mod.rs

1//! Tool execution system for Bamboo agents.
2//!
3//! This module provides a comprehensive framework for defining, registering, and executing
4//! tools that can be used by AI agents to interact with external systems.
5//!
6//! # Architecture
7//!
8//! The tools system is built around several key components:
9//!
10//! - **accumulator**: Accumulates partial tool calls from streaming responses
11//! - **agentic**: Agentic tool execution with multi-step capabilities
12//! - **executor**: Core tool execution logic
13//! - **registry**: Tool registration and lookup
14//! - **result_handler**: Processes tool results and handles agentic support
15//! - **smart_code_review**: Specialized tool for intelligent code review
16//! - **types**: Core type definitions for tools
17//!
18//! # Key Concepts
19//!
20//! ## Tool Registry
21//!
22//! Tools are registered in a central [`ToolRegistry`] that maps tool names to their
23//! implementations. The registry supports:
24//!
25//! - Dynamic tool registration
26//! - Tool name normalization
27//! - Global singleton access via [`global_registry`]
28//!
29//! ## Tool Execution
30//!
31//! Tools implement the [`ToolExecutor`] trait and can be executed via [`execute_tool_call`].
32//! The execution flow:
33//!
34//! 1. Parse tool arguments from JSON
35//! 2. Execute the tool logic
36//! 3. Return a [`ToolResult`] with success/failure status
37//!
38//! ## Agentic Tools
39//!
40//! Some tools support "agentic" behavior, allowing multi-step execution:
41//!
42//! - [`AgenticTool`]: Marker trait for agentic tools
43//! - [`AgenticContext`]: Context for agentic execution
44//! - [`AgenticToolResult`]: Extended result type with sub-actions
45//!
46//! # Example
47//!
48//! ```rust,ignore
49//! use async_trait::async_trait;
50//! use bamboo_agent::agent::core::tools::{
51//!     execute_tool_call, FunctionCall, ToolCall, ToolError, ToolExecutor, ToolResult, ToolSchema,
52//! };
53//!
54//! struct NoopExecutor;
55//!
56//! #[async_trait]
57//! impl ToolExecutor for NoopExecutor {
58//!     async fn execute(&self, call: &ToolCall) -> Result<ToolResult, ToolError> {
59//!         Err(ToolError::NotFound(call.function.name.clone()))
60//!     }
61//!
62//!     fn list_tools(&self) -> Vec<ToolSchema> {
63//!         Vec::new()
64//!     }
65//! }
66//!
67//! #[tokio::main]
68//! async fn main() {
69//!     // Execute a tool call (this example uses a no-op executor).
70//!     let call = ToolCall {
71//!         id: "call-1".to_string(),
72//!         tool_type: "function".to_string(),
73//!         function: FunctionCall {
74//!             name: "read_file".to_string(),
75//!             arguments: r#"{\"path\":\"/tmp/test.txt\"}"#.to_string(),
76//!         },
77//!     };
78//!
79//!     let _ = execute_tool_call(&call, &NoopExecutor, None).await;
80//! }
81//! ```
82//!
83//! # Re-exports
84//!
85//! Key types and functions re-exported for convenience:
86//!
87//! - Accumulator: [`ToolCallAccumulator`], [`PartialToolCall`], [`finalize_tool_calls`]
88//! - Agentic: [`AgenticTool`], [`AgenticContext`], [`AgenticToolResult`], [`ToolGoal`]
89//! - Executor: [`ToolExecutor`], [`execute_tool_call`], [`ToolError`]
90//! - Registry: [`ToolRegistry`], [`Tool`], [`global_registry`]
91//! - Types: [`ToolCall`], [`ToolResult`], [`ToolSchema`]
92
93pub mod accumulator;
94pub mod agentic;
95pub mod bash_completion;
96pub mod context;
97pub mod executor;
98pub mod input_guard;
99mod output_cap_observation;
100pub mod registry;
101pub mod result_handler;
102pub mod smart_code_review;
103mod suspension;
104pub mod tool_runtime;
105pub mod types;
106
107pub use accumulator::{
108    finalize_tool_calls, update_partial_tool_call, update_partial_tool_call_indexed,
109    PartialToolCall, ToolCallAccumulator,
110};
111pub use agentic::{
112    convert_from_standard_result, convert_to_standard_result, AgenticContext, AgenticTool,
113    AgenticToolExecutor, AgenticToolResult, Interaction, InteractionRole, ToolGoal,
114};
115pub use bash_completion::{BashCompletionInfo, BashCompletionSink};
116pub use context::{
117    ExecutingSupervisorObservation, ToolExecutionContext, ToolExecutionSessionFlags,
118};
119pub use executor::{execute_tool_call, execute_tool_call_with_context, ToolError, ToolExecutor};
120pub use output_cap_observation::{observed_tool_output_cap, scope_tool_output_cap};
121pub use registry::{
122    global_registry, normalize_tool_name, RegistryError, SharedTool, Tool, ToolRegistry,
123};
124pub use result_handler::{
125    execute_sub_actions, handle_tool_result_with_agentic_support,
126    handle_tool_result_with_agentic_support_and_persistence, is_waiting_for_children_control,
127    parse_tool_args, parse_tool_args_best_effort, send_clarification_request,
128    tool_result_requires_suspension, tool_start_arguments_for_display, try_parse_agentic_result,
129    ToolHandlingOutcome, MAX_SUB_ACTIONS,
130};
131pub use smart_code_review::SmartCodeReviewTool;
132pub use suspension::{
133    capture_suspension_restriction, current_tool_suspension_scope, observe_tool_suspension,
134    suspension_allowed, suspension_running_violated, with_suspension_disabled,
135    with_suspension_disabled_observed, SuspensionRestriction, ToolSuspensionObservation,
136};
137pub use tool_runtime::{
138    AsyncToolCompletionInfo, AsyncToolCompletionSink, AsyncWaitKind, RunningCompletion,
139    RunningHandle, ToolClass, ToolCtx, ToolOutcome, ToolResultFuture,
140};
141pub use types::{FunctionCall, FunctionSchema, ToolCall, ToolResult, ToolResultImage, ToolSchema};
142
143/// Classification of a tool call for approval purposes.
144#[derive(Debug, Clone, Copy, PartialEq, Eq)]
145pub enum ToolMutability {
146    ReadOnly,
147    Mutating,
148}
149
150/// Read-only tools that don't require user approval.
151const READ_ONLY_TOOLS: &[&str] = &[
152    "Read",
153    "GetFileInfo",
154    "Glob",
155    "Grep",
156    "WebFetch",
157    "WebSearch",
158    "ViewImage",
159    "Workspace",
160    "BashOutput",
161    "session_note",
162    "memory_note",
163    "session_history",
164    "session_history_current",
165    "bamboo_diagnostics",
166    "recall",
167    "session_inspector",
168    "archive_context",
169    "compact_context",
170    "Sleep",
171    // The goal self-report tool records a status only; the durable goal-state
172    // mutation happens in the engine, and it touches no user-facing state, so it
173    // never needs approval.
174    "update_goal",
175    // `notify` (an overlay tool, like `compact_context`/`session_inspector`
176    // above) fires an outbound OS popup / push side effect but mutates
177    // nothing in the session or workspace and produces no result the model
178    // reads back — safe both to run in the concurrent read-only batch
179    // (`ToolExecutor::tool_concurrency_safe`, which name-matches here since
180    // overlay tools aren't in a `BuiltinToolExecutor` registry for their own
181    // `Tool::classify()` to be consulted) and to allow through the Plan Mode
182    // gate (surfacing a heads-up is exactly the "needs attention" case Plan
183    // Mode shouldn't block).
184    "notify",
185];
186
187/// Classify a tool call as read-only or mutating.
188pub fn classify_tool(tool_name: &str) -> ToolMutability {
189    if READ_ONLY_TOOLS
190        .iter()
191        .any(|&t| t.eq_ignore_ascii_case(tool_name))
192    {
193        ToolMutability::ReadOnly
194    } else {
195        ToolMutability::Mutating
196    }
197}
198
199/// Shared Plan-mode authorization gate used by agent loops and direct tool
200/// dispatch. Unknown tools fail closed as mutating; only read-only tools and
201/// the bounded pause/clarification set are admitted.
202pub fn plan_mode_allows_tool(tool_name: &str) -> bool {
203    classify_tool(tool_name) == ToolMutability::ReadOnly
204        || [
205            "EnterPlanMode",
206            "ExitPlanMode",
207            "request_permissions",
208            "archive_context",
209            "compact_context",
210            // This mixed-action tool checks Plan posture itself: target
211            // discovery is read-only, while send/reply remain forbidden.
212            "session_message",
213        ]
214        .iter()
215        .any(|allowed| allowed.eq_ignore_ascii_case(tool_name))
216}
217
218#[cfg(test)]
219mod tests {
220    use super::*;
221
222    #[test]
223    fn diagnostics_is_read_only_in_shared_plan_gate() {
224        assert_eq!(
225            classify_tool("bamboo_diagnostics"),
226            ToolMutability::ReadOnly
227        );
228        assert!(plan_mode_allows_tool("bamboo_diagnostics"));
229        assert!(plan_mode_allows_tool("BAMBOO_DIAGNOSTICS"));
230        assert!(!plan_mode_allows_tool("bamboo_diagnostics_repair"));
231    }
232
233    #[test]
234    fn classify_compact_context_as_read_only() {
235        assert_eq!(classify_tool("compact_context"), ToolMutability::ReadOnly);
236    }
237
238    #[test]
239    fn classify_archive_context_as_read_only() {
240        assert_eq!(classify_tool("archive_context"), ToolMutability::ReadOnly);
241        assert!(plan_mode_allows_tool("ARCHIVE_CONTEXT"));
242    }
243
244    #[test]
245    fn classify_compact_context_case_insensitive() {
246        assert_eq!(classify_tool("Compact_Context"), ToolMutability::ReadOnly);
247        assert_eq!(classify_tool("COMPACT_CONTEXT"), ToolMutability::ReadOnly);
248    }
249
250    #[test]
251    fn classify_write_as_mutating() {
252        assert_eq!(classify_tool("Write"), ToolMutability::Mutating);
253    }
254
255    #[test]
256    fn session_message_plan_entry_keeps_mutating_name_classification() {
257        assert!(plan_mode_allows_tool("session_message"));
258        assert_eq!(classify_tool("session_message"), ToolMutability::Mutating);
259        assert!(!plan_mode_allows_tool("session_control"));
260    }
261
262    #[test]
263    fn classify_unknown_as_mutating() {
264        assert_eq!(
265            classify_tool("totally_unknown_tool"),
266            ToolMutability::Mutating
267        );
268    }
269
270    #[test]
271    fn classify_all_read_only_tools() {
272        for name in READ_ONLY_TOOLS {
273            assert_eq!(
274                classify_tool(name),
275                ToolMutability::ReadOnly,
276                "{name} should be classified as read-only"
277            );
278        }
279    }
280}