"""ReAct 推理-行动循环引擎 实现 ReAct (Reasoning-Action) 模式,使 Agent 能够自主推理、 选择工具并根据中间结果调整策略。 """ import asyncio import json import logging import re import time from collections import Counter, deque from collections.abc import AsyncGenerator from dataclasses import dataclass, field from datetime import datetime, timezone from typing import TYPE_CHECKING, Any from agentkit.core.exceptions import LLMProviderError, LoopDetectedError, TaskCancelledError, TaskTimeoutError from agentkit.core.protocol import CancellationToken from agentkit.llm.gateway import LLMGateway from agentkit.llm.protocol import LLMResponse from agentkit.tools.base import Tool, ToolValidationError from agentkit.telemetry.tracing import start_span, _OTEL_AVAILABLE from agentkit.telemetry.metrics import ( agent_request_counter, agent_duration_histogram, ) if TYPE_CHECKING: from agentkit.core.compressor import CompressionStrategy from agentkit.core.middleware import MiddlewareChain from agentkit.core.phase import PhasePolicy, PhaseState from agentkit.core.trace import TraceRecorder from agentkit.memory.retriever import MemoryRetriever logger = logging.getLogger(__name__) @dataclass class ReActStep: """ReAct 单步记录""" step: int action: str # "tool_call" or "final_answer" tool_name: str | None = None arguments: dict[str, Any] | None = None result: Any = None content: str | None = None tokens: int = 0 async def _ensure_async_iterable(obj: Any, label: str = ""): """Defensive helper: ensure the given object is an async iterable. Guards against the recurring ``'async for' requires an object with __aiter__ method, got coroutine`` error. This error happens when an ``async def`` function that *should* yield values ends up returning a coroutine object instead of an async generator — typically because every code path through the function exits before the first ``yield`` (e.g. early ``raise``) and a misbehaving caller in some Python versions or a specific runtime configuration treats it as a coroutine. This helper accepts either: - An async iterable (async generator) → returned as-is. - An awaitable that resolves to an async iterable → awaited, then yielded. - Anything else → raises a clear, actionable error naming ``label``. Use it like:: async for chunk in _ensure_async_iterable( some_func_that_should_stream(), label="some_func" ): ... Args: obj: The object returned by calling an ``async def`` function. label: A short human-readable name used in error messages to help locate the source of the bug. Yields: Items from the resolved async iterable. Raises: TypeError: If ``obj`` is neither an async iterable nor an awaitable that resolves to one. The error message names ``label`` so the offending call site is easy to find. """ # Case 1: already an async iterable (the normal case). if hasattr(obj, "__aiter__"): async for item in obj: yield item return # Case 2: an awaitable that hasn't been awaited yet (the bug we're # guarding against). Awaiting it should produce an async iterable. if asyncio.iscoroutine(obj) or asyncio.isfuture(obj): resolved = await obj if hasattr(resolved, "__aiter__"): async for item in resolved: yield item return raise TypeError( f"{label}: awaited value is not async iterable (got {type(resolved).__name__})" ) # Case 3: anything else — surface a clear, actionable error rather # than the cryptic CPython ``TypeError: 'async for' requires...``. raise TypeError( f"{label}: expected an async iterable, got {type(obj).__name__}. " f"This usually means the called function returned a coroutine " f"instead of an async generator — check that it contains at " f"least one reachable ``yield`` statement." ) @dataclass class ReActResult: """ReAct 执行结果""" output: str trajectory: list[ReActStep] total_steps: int total_tokens: int status: str = ( "success" # "success"|"timeout"|"cancelled"|"partial"|"empty_fallback"|"verify_failed" ) fallback_strategy: str | None = None # e.g. "simplified_rewoo", "react", "direct" @dataclass class ReActEvent: """ReAct 执行事件""" event_type: str # "thinking","token","tool_call","tool_result","confirmation_request","confirmation_result","phase_violation","step","final_answer","final_result","error" step: int data: dict[str, Any] = field(default_factory=dict) timestamp: str = field(default_factory=lambda: datetime.now(timezone.utc).isoformat()) class ReActEngine: """ReAct 推理-行动循环引擎 通过 Think (LLM 调用) → Act (工具执行) → Observe (结果观察) 的循环, 使 Agent 能够自主推理并选择工具完成任务。 """ # Default core tools that always get full descriptions injected into the # prompt. ``tool_search`` is included so its full description is always # available to the LLM when tiered injection is active. _DEFAULT_CORE_TOOLS: tuple[str, ...] = ( "read_file", "write_file", "bash", "search", "tool_search", ) def __init__( self, llm_gateway: LLMGateway, max_steps: int = 10, default_timeout: float = 300.0, parallel_tools: bool | str = False, compressor: "CompressionStrategy | None" = None, verification_enabled: bool = False, verification_commands: list[str] | None = None, core_tool_names: list[str] | None = None, enable_tool_search: bool = True, middleware_chain: "MiddlewareChain | None" = None, prompt_cache_enable: bool = True, flush_interval_ms: int = 0, max_reinjections: int = 1, # U3/G6: PLAN_EXEC phase policy (opt-in). None = no enforcement # (backward compat — all existing callers unaffected). phase_policy: "PhasePolicy | None" = None, ): if max_steps < 1: raise ValueError(f"max_steps must be >= 1, got {max_steps}") if isinstance(parallel_tools, str) and parallel_tools not in ("auto",): raise ValueError( f"parallel_tools must be True, False, or 'auto', got {parallel_tools!r}" ) self._llm_gateway = llm_gateway self._max_steps = max_steps self._default_timeout = default_timeout self._parallel_tools = parallel_tools self._verification_enabled = verification_enabled self._verification_commands = verification_commands # U2/G2: prompt cache 双块结构开关(True 时 Anthropic 用 cache_control blocks, # 其他 provider 走字符串拼接依赖自动前缀缓存) self._prompt_cache_enable = prompt_cache_enable # U3/G8: token chunk 节流间隔(ms)。0 = 逐 chunk yield(向后兼容)。 # 用 time.monotonic() 不受系统时钟跳变影响。 self._flush_interval_ms = flush_interval_ms # U4/G1: verify 失败回灌最大重试次数。0 = 不回灌(当前行为,仅记录 trajectory); # 1 = 首次失败回灌一次 errors 给 LLM 自纠正,二次失败中断。 # 受 max_steps 上限约束(不无限循环)。verification_enabled=False 时无效。 self._max_reinjections = max_reinjections # Tiered tool description injection config self._core_tool_names: tuple[str, ...] | None = ( tuple(core_tool_names) if core_tool_names is not None else None ) self._enable_tool_search = enable_tool_search # Default context compression: keep last 10 turns if compressor is not None: self._compressor = compressor else: from agentkit.core.compressor import ContextCompressor self._compressor = ContextCompressor(llm_gateway=llm_gateway, keep_recent=10) # Loop detection: sliding window of (tool_name, args_hash) to catch # repeated identical tool calls. ponytail: hash-based, not semantic. self._loop_window: deque[str] = deque(maxlen=5) self._loop_threshold: int = 2 self._loop_corrected: bool = False # U6: Middleware chain (parallel integration, feature flag controlled) self._middleware_chain = middleware_chain # U3/G6: PLAN_EXEC phase state. None = no enforcement (default). # When set, _execute_loop checks each tool call against the current # phase's whitelist before dispatch. self._phase_policy = phase_policy self._current_phase: "PhaseState | None" = ( phase_policy.start_phase if phase_policy is not None else None ) # Steps taken in the current phase (for auto-advance safety net). self._steps_in_phase: int = 0 # Wave 4 U2: phase violation accumulator. _check_phase_permission # appends here when a tool is blocked; execute_stream drains after each # step and yields phase_violation ReActEvents. Non-streaming execute() # simply ignores the accumulator (the error dict returned to the LLM is # the only signal there). self._phase_violations: list[dict[str, Any]] = [] def reset(self) -> None: """Reset internal state for reuse across conversations. Call this before each execute/execute_stream to ensure clean state. The engine itself (LLM gateway, config) is preserved. """ # ReActEngine is stateless between calls — conversation history, # step counts, and trajectory are local to each execute call. # This method exists for API clarity and future stateful extensions. self._loop_window.clear() self._loop_corrected = False # U3/G6: reset phase state to start_phase (if policy set). Each # execute() call begins a fresh PLANNING phase. if self._phase_policy is not None: self._current_phase = self._phase_policy.start_phase self._steps_in_phase = 0 # Wave 4 U2: clear any pending violations from a prior run. self._phase_violations = [] # ── U3/G6: phase state machine ──────────────────────────────────── def advance_phase(self) -> "PhaseState | None": """Advance to the next phase. Returns the new phase, or None if already at DELIVERY (final phase). Called by AdvancePhaseTool when the LLM explicitly signals phase completion. Also called by the auto-advance safety net when ``steps_in_phase >= auto_advance_after_steps``. Returns None if no phase_policy is set (no-op). """ if self._phase_policy is None or self._current_phase is None: return None from agentkit.core.phase import PhaseState nxt = PhaseState.next_of(self._current_phase) if nxt is None: # Already at DELIVERY — return None to signal no transition. return None previous = self._current_phase self._current_phase = nxt self._steps_in_phase = 0 logger.info( "Phase transition: %s → %s", previous.value, nxt.value, ) return nxt @property def current_phase(self) -> "PhaseState | None": """Current phase (None if no phase_policy set).""" return self._current_phase def _maybe_auto_advance(self) -> bool: """Auto-advance phase if step budget exhausted. Returns True if advanced.""" if self._phase_policy is None or self._current_phase is None: return False threshold = self._phase_policy.auto_advance_after_steps if threshold is None: return False if self._steps_in_phase >= threshold: self.advance_phase() return True return False def _check_phase_permission( self, tool_name: str, arguments: dict[str, Any] ) -> dict[str, Any] | None: """Return None if tool is allowed; return a structured error dict if blocked. The error dict replaces what `_execute_tool` would have returned — the loop continues, so the LLM can react to the rejection (call AdvancePhaseTool or pick a different tool). Also applies the bash_command_filter for `bash` tool calls. Wave 4 U2: when blocked, the violation is also appended to `self._phase_violations` so `execute_stream` can drain and yield `phase_violation` ReActEvents to the WS layer (alongside the LLM reinjection that the returned dict provides). """ if self._phase_policy is None or self._current_phase is None: return None if not self._phase_policy.is_tool_allowed(tool_name, self._current_phase): violation = { "error": "phase_violation", "message": ( f"Tool {tool_name!r} not allowed in {self._current_phase.value} phase. " f"Call `advance_phase` to move to the next phase." ), "current_phase": self._current_phase.value, "tool": tool_name, "is_error": True, "violation_kind": "tool_not_allowed", } self._phase_violations.append(violation) return violation # Bash command filter (only applies to shell tool — registered as "shell"). if tool_name == "shell": command = str(arguments.get("command", "")) if not self._phase_policy.is_bash_command_allowed(command, self._current_phase): violation = { "error": "phase_violation", "message": ( f"Bash command blocked in {self._current_phase.value} phase " f"(filesystem-mutating operations not allowed during " f"planning/verification). Command: {command[:100]}" ), "current_phase": self._current_phase.value, "tool": tool_name, "is_error": True, "violation_kind": "bash_command_blocked", "command_preview": command[:200], } self._phase_violations.append(violation) return violation return None def _check_tool_loop(self, tool_calls: list[Any]) -> str | None: """检测重复工具调用模式。 将当前步的工具调用 hash 加入滑动窗口,若同一 hash 在窗口内出现 >= threshold 次,返回对应的 tool_name;否则返回 None。 ponytail: 精确 hash 匹配,不做语义相似度。 """ hash_to_name: dict[str, str] = {} for tc in tool_calls: args_str = json.dumps(tc.arguments, sort_keys=True, default=str) h = str(hash(f"{tc.name}:{args_str}")) self._loop_window.append(h) hash_to_name[h] = tc.name counts = Counter(self._loop_window) for h, count in counts.items(): if count >= self._loop_threshold: return hash_to_name.get(h) return None def _drain_phase_violations(self, step: int) -> list[ReActEvent]: """Pop and return ReActEvents for phase violations recorded by ``_check_phase_permission`` since the last drain. Wave 4 U2: execute_stream calls this after each tool_result yield so the WS layer can surface ``phase_violation`` events to the client (alongside the LLM reinjection that the returned error dict provides). Returns an empty list if no violations are pending. """ if not self._phase_violations: return [] events = [ ReActEvent( event_type="phase_violation", step=step, data=dict(v), ) for v in self._phase_violations ] self._phase_violations = [] return events async def execute( self, messages: list[dict[str, str]], tools: list[Tool] | None = None, model: str = "default", agent_name: str = "", task_type: str = "", system_prompt: str | None = None, trace_recorder: "TraceRecorder | None" = None, memory_retriever: "MemoryRetriever | None" = None, task_id: str | None = None, compressor: "CompressionStrategy | None" = None, retrieval_config: dict[str, Any] | None = None, cancellation_token: CancellationToken | None = None, timeout_seconds: float | None = None, confirmation_handler: Any | None = None, ) -> ReActResult: """执行 ReAct 循环 1. 构建初始消息(system_prompt + 任务消息) 2. 循环:Think (LLM 调用) → Act (工具执行) → Observe (结果) 3. 停止条件:LLM 不返回 tool_calls,或达到 max_steps 4. 返回 ReActResult 包含输出和轨迹 Args: compressor: 压缩策略,None 时使用实例默认压缩器 cancellation_token: 协作式取消令牌,每次循环迭代检查是否已取消 timeout_seconds: 超时秒数,0 表示无超时,None 使用 default_timeout U1: execute() 现在通过 _run_loop_and_extract 收集 _execute_loop async generator 产出的事件,并从最后的 'final_result' 事件提取 ReActResult。 """ effective_compressor = compressor if compressor is not None else self._compressor effective_timeout = ( timeout_seconds if timeout_seconds is not None else self._default_timeout ) # U6: Middleware chain (parallel integration, KTD1) # If middleware_chain is present, wrap the handler with it. # Otherwise, use the existing path (backward compatible). if self._middleware_chain is not None: from agentkit.core.middleware import RequestContext ctx = RequestContext( messages=messages, tools=tools or [], system_prompt=system_prompt, model=model, agent_name=agent_name, task_type=task_type, task_id=task_id, ) async def _handler(c: RequestContext) -> ReActResult: return await self._run_loop_and_extract( messages=c.messages, tools=c.tools or None, model=c.model, agent_name=c.agent_name, task_type=c.task_type, system_prompt=c.system_prompt, trace_recorder=trace_recorder, memory_retriever=memory_retriever, task_id=c.task_id, compressor=effective_compressor, retrieval_config=retrieval_config, cancellation_token=cancellation_token, confirmation_handler=confirmation_handler, stream=False, effective_timeout=effective_timeout, ) try: if effective_timeout > 0: result = await asyncio.wait_for( self._middleware_chain.execute(ctx, _handler), timeout=effective_timeout, ) else: result = await self._middleware_chain.execute(ctx, _handler) except asyncio.TimeoutError: raise TaskTimeoutError( task_id=task_id or "", timeout_seconds=int(effective_timeout), ) except TaskCancelledError: raise return result try: if effective_timeout > 0: result = await asyncio.wait_for( self._run_loop_and_extract( messages=messages, tools=tools, model=model, agent_name=agent_name, task_type=task_type, system_prompt=system_prompt, trace_recorder=trace_recorder, memory_retriever=memory_retriever, task_id=task_id, compressor=effective_compressor, retrieval_config=retrieval_config, cancellation_token=cancellation_token, confirmation_handler=confirmation_handler, stream=False, effective_timeout=effective_timeout, ), timeout=effective_timeout, ) else: result = await self._run_loop_and_extract( messages=messages, tools=tools, model=model, agent_name=agent_name, task_type=task_type, system_prompt=system_prompt, trace_recorder=trace_recorder, memory_retriever=memory_retriever, task_id=task_id, compressor=effective_compressor, retrieval_config=retrieval_config, cancellation_token=cancellation_token, confirmation_handler=confirmation_handler, stream=False, effective_timeout=effective_timeout, ) except asyncio.TimeoutError: raise TaskTimeoutError( task_id=task_id or "", timeout_seconds=int(effective_timeout), ) except TaskCancelledError: raise return result async def _run_loop_and_extract( self, **kwargs: Any, ) -> ReActResult: """Collect all events from _execute_loop and extract the final ReActResult. This is the bridge between the async generator _execute_loop and the coroutine-based execute() method. It fully iterates the generator and extracts the ReActResult from the final 'final_result' event. """ final_result: ReActResult | None = None async for event in self._execute_loop(**kwargs): if event.event_type == "final_result": final_result = event.data["result"] if final_result is None: raise RuntimeError("_execute_loop did not yield a final_result event") return final_result async def _execute_loop( self, messages: list[dict[str, str]], tools: list[Tool] | None = None, model: str = "default", agent_name: str = "", task_type: str = "", system_prompt: str | None = None, trace_recorder: "TraceRecorder | None" = None, memory_retriever: "MemoryRetriever | None" = None, task_id: str | None = None, compressor: "CompressionStrategy | None" = None, retrieval_config: dict[str, Any] | None = None, cancellation_token: CancellationToken | None = None, confirmation_handler: Any | None = None, stream: bool = False, effective_timeout: float = 0.0, ) -> AsyncGenerator[ReActEvent, None]: """Unified ReAct loop — async generator yielding ReActEvent objects. When stream=False: uses gateway.chat() (non-streaming), no token events. When stream=True: uses gateway.chat_stream() (streaming), yields token events, checks timeout inside the loop. Always yields a 'final_result' event at the end with data={'result': ReActResult}. Callers that need the ReActResult (execute) collect all events and extract the final_result. Callers that need streaming (execute_stream) transparently pass through all events. Args: compressor: 压缩策略(caller 负责 computing effective_compressor) cancellation_token: 协作式取消令牌 stream: True 用 chat_stream(流式),False 用 chat(非流式) effective_timeout: 超时秒数;stream=True 时在循环内检查, stream=False 时由 caller 的 asyncio.wait_for 强制 """ # P2 #9: Reset loop detection state so reuse across conversations is clean self.reset() tools = tools or [] if tools: tools = self._maybe_add_tool_search(tools) tool_schemas = self._build_tool_schemas(tools) if tools else None if tool_schemas: tool_names = [s["function"]["name"] for s in tool_schemas] logger.info(f"ReActEngine executing with {len(tool_schemas)} tools: {tool_names}") else: logger.info("ReActEngine executing with NO tools") # Prompt-based tool calling: inject tool descriptions into system prompt # when tools are available, so LLM can use format even if # the provider doesn't support native function calling. if tools and system_prompt is not None: tool_desc = self._build_tool_use_prompt(tools) system_prompt = f"{system_prompt}\n\n{tool_desc}" elif tools and system_prompt is None: system_prompt = self._build_tool_use_prompt(tools) # Telemetry: record agent request agent_request_counter().add( 1, {"agent.name": agent_name, "agent.type": task_type or "react"} ) # Start telemetry span for the entire agent execution _span_cm = None _span = None _exec_start = time.monotonic() if _OTEL_AVAILABLE: _span_cm = start_span( "agent.execute_stream" if stream else "agent.execute", attributes={"agent.name": agent_name, "agent.type": task_type or "react"}, ) _span = _span_cm.__enter__() # Initialize before try so finally can access them trajectory: list[ReActStep] = [] total_tokens = 0 trace_outcome = "error" output = "" step = 0 response: LLMResponse | None = None try: # 启动轨迹记录 if trace_recorder is not None: trace_recorder.start_trace( task_id="", agent_name=agent_name, skill_name=task_type or None, ) # Memory retrieval: 执行前检索相关上下文,作为 volatile 层注入 system message memory_context = "" if memory_retriever: try: query = str(messages[-1].get("content", "")) if messages else "" top_k = (retrieval_config or {}).get("top_k", 5) token_budget = (retrieval_config or {}).get("token_budget", 2000) memory_context = ( await memory_retriever.get_context_string( query=query, top_k=top_k, token_budget=token_budget, ) or "" ) except (asyncio.TimeoutError, ConnectionError, LLMProviderError, RuntimeError) as e: # 检索层故障(RAG/Redis/LLM embedding)— 不阻塞主流程 logger.warning( f"Memory retrieval failed, continuing without context: {e}", exc_info=True ) # 构建初始消息 conversation: list[dict[str, Any]] = [] system_content = self._build_system_message( stable=system_prompt or "", volatile=memory_context, model=model, ) if system_content is not None: conversation.append({"role": "system", "content": system_content}) conversation.extend(messages) # Context compression: 压缩超长对话历史 if compressor: try: conversation = await compressor.compress(conversation) except (asyncio.TimeoutError, ConnectionError, LLMProviderError, RuntimeError) as e: # 压缩器通常调用 LLM — LLM 不可用类异常降级为原对话 logger.warning( f"Context compression failed, continuing with original messages: {e}" ) trace_outcome = "success" # U4/G1: verify 失败回灌计数器。受 max_steps 上限约束(不无限循环)。 reinjections = 0 _loop_start = time.monotonic() while step < self._max_steps: step += 1 # 协作式取消检查 if cancellation_token is not None: cancellation_token.check() # U3/G6: phase auto-advance safety net. if self._phase_policy is not None: self._steps_in_phase += 1 self._maybe_auto_advance() # 超时检查(仅 stream=True;stream=False 由 asyncio.wait_for 强制) if stream and effective_timeout > 0: elapsed = time.monotonic() - _loop_start if elapsed > effective_timeout: trace_outcome = "timeout" raise asyncio.TimeoutError( f"execute_stream exceeded {effective_timeout}s timeout after {elapsed:.1f}s" ) # Yield thinking event yield ReActEvent( event_type="thinking", step=step, data={"message": f"Step {step}: Calling LLM..."}, ) # Think: 调用 LLM llm_start = time.monotonic() if stream: # 流式模式:用 chat_stream,yield token events stream_content_chunks: list[str] = [] stream_usage = None stream_tool_calls: list[Any] = [] stream_model = model # U3/G8: delta_flush 节流 buffer _flush_buffer: list[str] = [] _last_flush_ts = time.monotonic() async for chunk in _ensure_async_iterable( self._llm_gateway.chat_stream( messages=conversation, model=model, agent_name=agent_name, task_type=task_type, tools=tool_schemas, ), label=f"llm_gateway.chat_stream(model={model!r})", ): if chunk.content: stream_content_chunks.append(chunk.content) _flush_buffer.append(chunk.content) now = time.monotonic() if ( self._flush_interval_ms == 0 or now - _last_flush_ts >= self._flush_interval_ms / 1000 ): yield ReActEvent( event_type="token", step=step, data={"content": "".join(_flush_buffer)}, ) _flush_buffer = [] _last_flush_ts = now if chunk.usage: stream_usage = chunk.usage if chunk.tool_calls: stream_tool_calls = chunk.tool_calls if chunk.model: stream_model = chunk.model # 流结束 mid-interval → 最终 flush 剩余 buffer if _flush_buffer: yield ReActEvent( event_type="token", step=step, data={"content": "".join(_flush_buffer)}, ) _flush_buffer = [] stream_content = "".join(stream_content_chunks) response = self._build_response_from_stream( content=stream_content, tool_calls=stream_tool_calls, usage=stream_usage, model=stream_model, ) else: # 非流式模式:用 chat response = await self._llm_gateway.chat( messages=conversation, model=model, agent_name=agent_name, task_type=task_type, tools=tool_schemas, ) llm_duration_ms = int((time.monotonic() - llm_start) * 1000) step_tokens = response.usage.total_tokens total_tokens += step_tokens # 检查是否有 Function Calling 的 tool_calls if response.has_tool_calls: # 循环检测:检查是否重复调用相同工具+参数 looped_tool = self._check_tool_loop(response.tool_calls) if looped_tool is not None: if not self._loop_corrected: logger.warning( f"Loop detected: tool '{looped_tool}' repeated, " f"injecting correction at step {step}" ) correction_msg = { "role": "user", "content": ( f"You are repeatedly calling tool '{looped_tool}' " f"with the same arguments. This indicates a loop. " f"Please change your strategy or provide a final answer." ), } conversation.append(correction_msg) self._loop_corrected = True yield ReActEvent( event_type="step", step=step, data={ "message": f"Loop detected: tool '{looped_tool}' repeated. Correction injected.", "loop_detected": True, "tool_name": looped_tool, }, ) continue else: raise LoopDetectedError( tool_name=looped_tool, repetitions=self._loop_threshold + 1, ) # 记录 LLM 调用步骤 if trace_recorder is not None: trace_recorder.record_step( step=step, action="llm_call", duration_ms=llm_duration_ms, tokens_used=step_tokens, ) # Act: 记录 assistant 消息(含 tool_calls)到对话历史 assistant_msg: dict[str, Any] = { "role": "assistant", "content": response.content or "", "tool_calls": [ { "id": tc.id, "type": "function", "function": { "name": tc.name, "arguments": json.dumps(tc.arguments), }, } for tc in response.tool_calls ], } conversation.append(assistant_msg) # 执行工具调用 if self._parallel_tools == "auto" and len(response.tool_calls) > 1: # Auto mode: mixed parallel/serial based on _parallelizable flag parallelizable_set = set( self._get_parallelizable_indices(response.tool_calls) ) serial_calls = [ (i, tc) for i, tc in enumerate(response.tool_calls) if i not in parallelizable_set ] parallel_calls = [ (i, tc) for i, tc in enumerate(response.tool_calls) if i in parallelizable_set ] all_results: list[Any] = [None] * len(response.tool_calls) # Execute serial tools first (handles confirmation flow) for i, tc in serial_calls: yield ReActEvent( event_type="tool_call", step=step, data={"tool_name": tc.name, "arguments": tc.arguments}, ) tool_start = time.monotonic() ( tool_result, confirm_events, ) = await self._execute_tool_with_confirmation( tc, tools, step, confirmation_handler ) for ev in confirm_events: yield ev tool_duration_ms = int((time.monotonic() - tool_start) * 1000) all_results[i] = (tc, tool_result, tool_duration_ms) # Execute parallelizable tools concurrently if len(parallel_calls) > 1: para_results = await asyncio.gather( *[ self._execute_tool(tc.name, tc.arguments, tools) for _, tc in parallel_calls ], return_exceptions=True, ) for j, (i, tc) in enumerate(parallel_calls): tool_result = para_results[j] if isinstance(tool_result, Exception): tool_result = {"error": str(tool_result)} all_results[i] = (tc, tool_result, 0) elif len(parallel_calls) == 1: i, tc = parallel_calls[0] tool_result = await self._execute_tool(tc.name, tc.arguments, tools) all_results[i] = (tc, tool_result, 0) # Process all results in original order for i, tc in enumerate(response.tool_calls): tc_obj, tool_result, tool_duration_ms = all_results[i] yield ReActEvent( event_type="tool_call", step=step, data={"tool_name": tc.name, "arguments": tc.arguments}, ) react_step = ReActStep( step=step, action="tool_call", tool_name=tc.name, arguments=tc.arguments, result=tool_result, tokens=step_tokens, ) trajectory.append(react_step) if trace_recorder is not None: tool_error = None if isinstance(tool_result, dict) and "error" in tool_result: tool_error = tool_result["error"] trace_recorder.record_step( step=step, action="tool_call", tool_name=tc.name, input_data=tc.arguments, output_data=tool_result, duration_ms=tool_duration_ms, tokens_used=0, error=tool_error, ) yield ReActEvent( event_type="tool_result", step=step, data={"tool_name": tc.name, "result": tool_result}, ) # Wave 4 U2: drain phase violations. for _ev in self._drain_phase_violations(step): yield _ev tool_msg = await self._build_tool_result_message( tc.id, tool_result, compressor, tc.name ) conversation.append(tool_msg) elif self._should_execute_parallel(response.tool_calls): # 并行执行多个工具调用 (parallel_tools=True) tool_results = await asyncio.gather( *[ self._execute_tool(tc.name, tc.arguments, tools) for tc in response.tool_calls ], return_exceptions=True, ) for idx, tc in enumerate(response.tool_calls): tool_result = tool_results[idx] if isinstance(tool_result, Exception): tool_result = {"error": str(tool_result)} yield ReActEvent( event_type="tool_call", step=step, data={"tool_name": tc.name, "arguments": tc.arguments}, ) react_step = ReActStep( step=step, action="tool_call", tool_name=tc.name, arguments=tc.arguments, result=tool_result, tokens=step_tokens, ) trajectory.append(react_step) if trace_recorder is not None: tool_error = None if isinstance(tool_result, dict) and "error" in tool_result: tool_error = tool_result["error"] trace_recorder.record_step( step=step, action="tool_call", tool_name=tc.name, input_data=tc.arguments, output_data=tool_result, duration_ms=0, tokens_used=0, error=tool_error, ) yield ReActEvent( event_type="tool_result", step=step, data={"tool_name": tc.name, "result": tool_result}, ) for _ev in self._drain_phase_violations(step): yield _ev tool_msg = await self._build_tool_result_message( tc.id, tool_result, compressor, tc.name ) conversation.append(tool_msg) else: # 串行执行(单工具或 parallel_tools=False) for tc in response.tool_calls: yield ReActEvent( event_type="tool_call", step=step, data={"tool_name": tc.name, "arguments": tc.arguments}, ) tool_start = time.monotonic() tool_result = await self._execute_tool(tc.name, tc.arguments, tools) tool_duration_ms = int((time.monotonic() - tool_start) * 1000) # Handle confirmation flow if isinstance(tool_result, dict) and tool_result.get( "needs_confirmation" ): confirmation_id = tool_result["confirmation_id"] command = tool_result.get("command", "") reason = tool_result.get("reason", "") yield ReActEvent( event_type="confirmation_request", step=step, data={ "confirmation_id": confirmation_id, "tool_name": tc.name, "command": command, "reason": reason, }, ) approved = False if confirmation_handler is not None: try: approved = await confirmation_handler( confirmation_id, command, reason ) except asyncio.CancelledError: raise except Exception as e: # 用户提供的 confirmation_handler — 任意异常都可能, # 不阻塞主循环,降级为未批准 logger.warning(f"Confirmation handler error: {e}") if approved: tool = self._find_tool(tc.name, tools) if tool and hasattr(tool, "_is_dangerous"): clean_args = { k: v for k, v in tc.arguments.items() if not k.startswith("_") } clean_args["_skip_dangerous_check"] = True try: tool_result = await tool.safe_execute(**clean_args) except (ToolValidationError, ValueError, TypeError, RuntimeError) as e: tool_result = { "error": f"Tool '{tc.name}' execution failed: {e}", "error_code": "tool_execution_failed", } else: clean_args = { k: v for k, v in tc.arguments.items() if not k.startswith("_") } clean_args["_skip_dangerous_check"] = True try: tool_result = ( await tool.safe_execute(**clean_args) if tool else {"error": f"Tool '{tc.name}' not found"} ) except (ToolValidationError, ValueError, TypeError, RuntimeError) as e: tool_result = { "error": f"Tool '{tc.name}' execution failed: {e}", "error_code": "tool_execution_failed", } yield ReActEvent( event_type="confirmation_result", step=step, data={"confirmation_id": confirmation_id, "approved": approved}, ) if not approved: tool_result = { "output": "", "exit_code": 126, "is_error": True, "error_type": "permission_denied", "message": f"用户拒绝执行命令: {command[:100]}", } tool_duration_ms = int((time.monotonic() - tool_start) * 1000) react_step = ReActStep( step=step, action="tool_call", tool_name=tc.name, arguments=tc.arguments, result=tool_result, tokens=step_tokens, ) trajectory.append(react_step) if trace_recorder is not None: tool_error = None if isinstance(tool_result, dict) and "error" in tool_result: tool_error = tool_result["error"] trace_recorder.record_step( step=step, action="tool_call", tool_name=tc.name, input_data=tc.arguments, output_data=tool_result, duration_ms=tool_duration_ms, tokens_used=0, error=tool_error, ) yield ReActEvent( event_type="tool_result", step=step, data={"tool_name": tc.name, "result": tool_result}, ) for _ev in self._drain_phase_violations(step): yield _ev tool_msg = await self._build_tool_result_message( tc.id, tool_result, compressor, tc.name ) conversation.append(tool_msg) # Incremental compression if self._should_compress(conversation, compressor): try: conversation = await compressor.compress(conversation) except (asyncio.TimeoutError, ConnectionError, LLMProviderError, RuntimeError) as e: logger.warning(f"Incremental compression failed: {e}") else: # 检查文本解析模式 parsed_calls = self._parse_text_tool_calls(response.content or "") if parsed_calls and tools: # 记录 LLM 调用步骤 if trace_recorder is not None: trace_recorder.record_step( step=step, action="llm_call", duration_ms=llm_duration_ms, tokens_used=step_tokens, ) conversation.append({"role": "assistant", "content": response.content}) for pc in parsed_calls: yield ReActEvent( event_type="tool_call", step=step, data={"tool_name": pc["name"], "arguments": pc["arguments"]}, ) tool_start = time.monotonic() tool_result = await self._execute_tool( pc["name"], pc["arguments"], tools ) tool_duration_ms = int((time.monotonic() - tool_start) * 1000) react_step = ReActStep( step=step, action="tool_call", tool_name=pc["name"], arguments=pc["arguments"], result=tool_result, tokens=step_tokens, ) trajectory.append(react_step) if trace_recorder is not None: tool_error = None if isinstance(tool_result, dict) and "error" in tool_result: tool_error = tool_result["error"] trace_recorder.record_step( step=step, action="tool_call", tool_name=pc["name"], input_data=pc["arguments"], output_data=tool_result, duration_ms=tool_duration_ms, tokens_used=0, error=tool_error, ) yield ReActEvent( event_type="tool_result", step=step, data={"tool_name": pc["name"], "result": tool_result}, ) for _ev in self._drain_phase_violations(step): yield _ev tool_msg = await self._build_tool_result_message( pc.get("id", f"text_tc_{step}"), tool_result, compressor, pc["name"] ) conversation.append(tool_msg) # Incremental compression if self._should_compress(conversation, compressor): try: conversation = await compressor.compress(conversation) except (asyncio.TimeoutError, ConnectionError, LLMProviderError, RuntimeError) as e: logger.warning(f"Incremental compression failed: {e}") else: # ponytail: 检查是否为畸形工具调用(含 但解析失败) if "" in (response.content or ""): logger.warning( f"Step {step}: content contains but " f"parsing failed — injecting correction" ) conversation.append({"role": "assistant", "content": response.content}) conversation.append( { "role": "user", "content": ( "你上一次的工具调用格式有误,无法解析。" "请使用正确的格式重新调用工具:\n" "\n" '{"name": "工具名", "arguments": {"参数名": "参数值"}}\n' "\n" "确保 JSON 完整且不要混入其他标签。" ), } ) yield ReActEvent( event_type="step", step=step, data={"message": "工具调用格式异常,已注入纠正消息"}, ) continue # Final answer: LLM 没有调用工具,返回最终答案 react_step = ReActStep( step=step, action="final_answer", content=response.content, tokens=step_tokens, ) trajectory.append(react_step) output = response.content or "" if trace_recorder is not None: trace_recorder.record_step( step=step, action="final_answer", output_data={"content": response.content}, duration_ms=llm_duration_ms, tokens_used=step_tokens, ) # U4/G1: verify at final-answer point with reinjection. if self._verification_enabled and output: try: from agentkit.core.verification_loop import VerificationLoop vloop = VerificationLoop(commands=self._verification_commands) vresult = await vloop.verify() if not vresult.passed: if ( reinjections < self._max_reinjections and step < self._max_steps ): errors_text = "\n".join(vresult.errors) conversation.append( { "role": "user", "content": (f"验证失败,错误如下:\n{errors_text}"), } ) reinjections += 1 yield ReActEvent( event_type="step", step=step, data={ "message": ( f"验证失败,已注入错误信息让 LLM 自纠正 " f"(reinjection {reinjections}/{self._max_reinjections})" ), "verify_errors": vresult.errors, }, ) continue verification_step = ReActStep( step=step, action="tool_call", tool_name="verification", arguments={"commands": self._verification_commands}, result={ "passed": vresult.passed, "errors": vresult.errors, "test_output": vresult.test_output, }, content=( f"Verification failed:\n{vresult.test_output[:2000]}" ), ) trajectory.append(verification_step) trace_outcome = "verify_failed" yield ReActEvent( event_type="tool_result", step=step, data={ "tool_name": "verification", "result": { "passed": vresult.passed, "errors": vresult.errors, "test_output": vresult.test_output, }, }, ) logger.info( "Verification failed after %d reinjections, " "interrupting with verify log", reinjections, ) break except (asyncio.TimeoutError, ConnectionError, LLMProviderError, RuntimeError) as e: logger.warning(f"Verification loop failed: {e}") # Yield final_answer event (legacy format for execute_stream consumers) yield ReActEvent( event_type="final_answer", step=step, data={ "output": output, "total_steps": len(trajectory), "total_tokens": total_tokens, }, ) break # verify 通过或未启用 → 正常退出 # 达到 max_steps 时,返回当前最佳输出 if step >= self._max_steps and not output: trace_outcome = "partial" if trajectory and trajectory[-1].content: output = trajectory[-1].content elif trajectory and trajectory[-1].result is not None: output = str(trajectory[-1].result) elif response is not None: output = response.content or "" else: output = "" yield ReActEvent( event_type="final_answer", step=step, data={ "output": output, "total_steps": len(trajectory), "total_tokens": total_tokens, "max_steps_reached": True, }, ) # 兜底:确保 output 永远不为空字符串 if not output or not output.strip(): from agentkit.core.fallback import EMPTY_LLM_RESPONSE, MAX_STEPS_REACHED if step >= self._max_steps: output = MAX_STEPS_REACHED else: output = EMPTY_LLM_RESPONSE trace_outcome = "empty_fallback" yield ReActEvent( event_type="final_answer", step=step, data={ "output": output, "total_steps": len(trajectory), "total_tokens": total_tokens, "empty_fallback": True, }, ) # Yield final_result event (new — carries ReActResult for execute() to extract) final_result = ReActResult( output=output, trajectory=trajectory, total_steps=len(trajectory), total_tokens=total_tokens, status=trace_outcome, ) yield ReActEvent( event_type="final_result", step=step, data={"result": final_result}, ) finally: # 结束轨迹记录 — always runs even if consumer doesn't fully iterate if trace_recorder is not None: trace_recorder.end_trace(outcome=trace_outcome) # Telemetry: end span and record duration — always runs _duration_ms = int((time.monotonic() - _exec_start) * 1000) if _span is not None: _span.set_attribute("agent.total_steps", len(trajectory)) _span.set_attribute("agent.total_tokens", total_tokens) _span.set_attribute("agent.outcome", trace_outcome) _span.set_attribute("agent.duration_ms", _duration_ms) if _span_cm is not None: _span_cm.__exit__(None, None, None) agent_duration_histogram().record(_duration_ms, {"agent.name": agent_name}) # Memory storage: 执行后写入轨迹摘要到 EpisodicMemory if memory_retriever and hasattr(memory_retriever, "store_episode"): try: summary = output[:500] if output else "" await memory_retriever.store_episode( key=f"task:{task_id or 'unknown'}", value={"output_summary": summary, "agent_name": agent_name}, metadata={"task_type": task_type, "outcome": trace_outcome}, ) except (asyncio.TimeoutError, ConnectionError, ValueError) as e: # EpisodicMemory 持久化故障(PG/Redis)— 不影响主结果 logger.warning(f"Failed to store task result in episodic memory: {e}") async def execute_stream( self, messages: list[dict[str, str]], tools: list[Tool] | None = None, model: str = "default", agent_name: str = "", task_type: str = "", system_prompt: str | None = None, trace_recorder: "TraceRecorder | None" = None, memory_retriever: "MemoryRetriever | None" = None, task_id: str | None = None, compressor: "CompressionStrategy | None" = None, retrieval_config: dict[str, Any] | None = None, cancellation_token: CancellationToken | None = None, timeout_seconds: float | None = None, confirmation_handler: Any | None = None, ) -> AsyncGenerator[ReActEvent, None]: """Execute ReAct loop, yielding ReActEvent objects. U1: execute_stream() now transparently passes through events from the unified _execute_loop async generator (stream=True). The ~800 lines of duplicated loop logic have been removed; both execute() and execute_stream() share the same _execute_loop skeleton. Args: compressor: 压缩策略,None 时使用实例默认压缩器 timeout_seconds: 超时秒数,0 表示无超时,None 使用 default_timeout """ effective_compressor = compressor if compressor is not None else self._compressor effective_timeout = ( timeout_seconds if timeout_seconds is not None else self._default_timeout ) # 透传 _execute_loop 的所有事件(stream=True 启用 chat_stream + token events) async for event in self._execute_loop( messages=messages, tools=tools, model=model, agent_name=agent_name, task_type=task_type, system_prompt=system_prompt, trace_recorder=trace_recorder, memory_retriever=memory_retriever, task_id=task_id, compressor=effective_compressor, retrieval_config=retrieval_config, cancellation_token=cancellation_token, confirmation_handler=confirmation_handler, stream=True, effective_timeout=effective_timeout, ): yield event def _build_tool_schemas(self, tools: list[Tool]) -> list[dict]: """将 Tool 对象转换为 OpenAI Function Calling schema 格式""" schemas = [] for tool in tools: schema = { "type": "function", "function": { "name": tool.name, "description": tool.description, "parameters": tool.input_schema or {"type": "object", "properties": {}}, }, } schemas.append(schema) return schemas def _build_system_message( self, stable: str, volatile: str, *, model: str, ) -> str | list[dict[str, Any]] | None: """构建双块结构 system message(stable + volatile)。 - prompt_cache_enable=False 或无 stable+volatile → 返回 str(或 None) - Anthropic provider → 返回 content blocks 列表,stable 块带 cache_control - 其他 provider → 返回字符串拼接(stable + volatile),依赖 stable 前缀命中自动前缀缓存 ponytail: 断点数硬编码为 1(stable 层),不暴露配置(YAGNI — 双块结构 >1 无语义)。 """ if not stable and not volatile: return None if not self._prompt_cache_enable: # 退化为字符串拼接(向后兼容,行为同改动前) if stable and volatile: return f"{stable}\n\n## 参考信息\n{volatile}" if volatile: return f"## 参考信息\n{volatile}" return stable provider_name = self._get_provider_name(model) if provider_name == "anthropic": blocks: list[dict[str, Any]] = [] if stable: blocks.append( { "type": "text", "text": stable, "cache_control": {"type": "ephemeral"}, } ) if volatile: blocks.append( { "type": "text", "text": f"## 参考信息\n{volatile}", } ) return blocks if blocks else None # 非 Anthropic:字符串拼接,stable 前缀命中 OpenAI/DashScope 自动前缀缓存 if stable and volatile: return f"{stable}\n\n## 参考信息\n{volatile}" if volatile: return f"## 参考信息\n{volatile}" return stable def _get_provider_name(self, model: str) -> str | None: """通过 gateway 查询 model 对应的 provider 名。失败回退 None(字符串拼接)。""" try: return self._llm_gateway.get_provider_name_for_model(model) except (AttributeError, KeyError, LLMProviderError): # ponytail: 测试中 gateway 可能是 MagicMock,无该方法;回退保守路径 return None def _build_tool_use_prompt(self, tools: list[Tool]) -> str: """Build prompt-based tool calling instructions with tiered injection. Core tools (defined by ``self._core_tool_names`` or :attr:`_DEFAULT_CORE_TOOLS`) get full descriptions (name + description + parameters). Extended tools get only name + a one-line description. When ``tool_search`` is present alongside extended tools, a hint is added telling the LLM to call ``tool_search`` for full parameter details. Instructs the LLM to use ```` XML format for tool invocation (Hermes pattern: model-agnostic prompt-based tool calling). """ core_names = set(self._core_tool_names or self._DEFAULT_CORE_TOOLS) core_tools = [t for t in tools if t.name in core_names] extended_tools = [t for t in tools if t.name not in core_names] sections: list[str] = [] if core_tools: sections.append(self._render_core_tools(core_tools)) if extended_tools: sections.append(self._render_extended_tools(extended_tools)) tools_text = "\n\n".join(sections) has_tool_search = any(t.name == "tool_search" for t in tools) search_hint = "" if has_tool_search and extended_tools: search_hint = ( "\n\n注意:上方「扩展工具」仅显示名称和简短描述。" '如需使用某个扩展工具,请先调用 tool_search(query="关键词") ' "获取其完整参数说明。" ) return ( "## 可用工具\n\n" "你可以使用以下工具来完成任务。当需要调用工具时,使用以下格式:\n\n" "\n" '{"name": "工具名", "arguments": {"参数名": "参数值"}}\n' "\n\n" "重要规则:\n" "1. 每次只调用一个工具\n" "2. 等待工具返回结果后再决定下一步\n" "3. 如果不需要工具就能回答,直接回答即可\n" "4. 不要在回答中重复工具的输出,而是基于结果给出有用的总结\n\n" f"工具列表:\n\n{tools_text}{search_hint}" ) @staticmethod def _render_core_tools(tools: list[Tool]) -> str: """Render core tools with full descriptions (name + description + parameters).""" descriptions: list[str] = [] for tool in tools: params_desc = "" if tool.input_schema: props = tool.input_schema.get("properties", {}) required = tool.input_schema.get("required", []) param_parts: list[str] = [] for pname, pinfo in props.items(): ptype = pinfo.get("type", "string") pdesc = pinfo.get("description", "") req_flag = " (required)" if pname in required else "" param_parts.append(f" - {pname}: {ptype}{req_flag} — {pdesc}") if param_parts: params_desc = "\n".join(param_parts) descriptions.append(f"- {tool.name}: {tool.description}\n{params_desc}") return "### 核心工具(完整描述)\n\n" + "\n\n".join(descriptions) @staticmethod def _render_extended_tools(tools: list[Tool]) -> str: """Render extended tools with name + one-line description only.""" lines: list[str] = [] for tool in tools: desc = tool.description.strip().split("\n")[0] if len(desc) > 100: desc = desc[:97] + "..." lines.append(f"- {tool.name}: {desc}") return "### 扩展工具(仅名称和简短描述,使用 tool_search 获取详情)\n\n" + "\n".join(lines) def _maybe_add_tool_search(self, tools: list[Tool]) -> list[Tool]: """Add ``tool_search`` tool if enabled and there are extended tools. Builds a :class:`ToolSearchIndex` from the extended tools so the LLM can discover full tool descriptions on demand via BM25 search. If all tools are core tools, or ``tool_search`` is already present, or ``enable_tool_search`` is False, the list is returned unchanged. """ if not self._enable_tool_search: return tools if any(t.name == "tool_search" for t in tools): return tools core_names = set(self._core_tool_names or self._DEFAULT_CORE_TOOLS) extended_tools = [t for t in tools if t.name not in core_names] if not extended_tools: return tools from agentkit.tools.builtin import ToolSearchTool from agentkit.tools.search import ToolSearchIndex index = ToolSearchIndex(extended_tools) search_tool = ToolSearchTool(search_index=index) return tools + [search_tool] @staticmethod def _build_response_from_stream( content: str, tool_calls: list[Any], usage: Any, model: str, ) -> LLMResponse: """Build an LLMResponse from accumulated stream chunks.""" from agentkit.llm.protocol import LLMResponse, TokenUsage if usage is None: usage = TokenUsage() return LLMResponse( content=content, tool_calls=tool_calls, usage=usage, model=model, ) def _find_tool(self, name: str, tools: list[Tool]) -> Tool | None: """根据名称从可用工具中查找工具""" for tool in tools: if tool.name == name: return tool return None # Default token threshold for incremental compression _DEFAULT_COMPRESS_THRESHOLD = 8000 def _should_compress( self, conversation: list[dict], compressor: "CompressionStrategy | None" ) -> bool: """检查是否需要增量压缩""" if not compressor: return False # U3: Skip if compressor reports unavailable is_available_fn = getattr(compressor, "is_available", None) if is_available_fn is not None and not is_available_fn(): return False # U3: Delegate to compressor's headroom-based should_compress if available should_compress_fn = getattr(compressor, "should_compress", None) if should_compress_fn is not None: return should_compress_fn(conversation) # Fallback: fixed threshold for compressors without headroom support total_chars = sum(len(str(m.get("content", ""))) for m in conversation) estimated_tokens = total_chars // 4 return estimated_tokens > self._DEFAULT_COMPRESS_THRESHOLD async def _build_tool_result_message( self, tool_call_id: str, result: Any, compressor: "CompressionStrategy | None" = None, tool_name: str | None = None, ) -> dict: """构建工具结果消息用于对话历史""" content = str(result) if compressor and tool_name: try: content = await compressor.compress_tool_result(tool_name, result) except (asyncio.TimeoutError, ConnectionError, LLMProviderError, RuntimeError) as e: logger.warning(f"Tool result compression failed for '{tool_name}': {e}") content = str(result) return { "role": "tool", "tool_call_id": tool_call_id, "content": content, } async def _execute_tool( self, tool_name: str, arguments: dict[str, Any], tools: list[Tool] ) -> dict: """执行工具调用,处理成功和失败情况""" # U3/G6: phase enforcement — check before dispatch. If the tool is # blocked, return a structured error instead of dispatching. The loop # still counts this as a step (the LLM gets to react to the rejection). # `advance_phase` tool bypasses the check (it's the LLM's escape hatch). if tool_name != "advance_phase": block = self._check_phase_permission(tool_name, arguments) if block is not None: logger.info( "Phase violation: tool %r blocked in %s phase", tool_name, self._current_phase.value if self._current_phase else "?", ) return block tool = self._find_tool(tool_name, tools) if tool is None: error_msg = f"Tool '{tool_name}' not found" logger.warning(error_msg) return {"error": error_msg} # Strip internal metadata keys before passing to tool clean_args = {k: v for k, v in arguments.items() if not k.startswith("_")} try: result = await tool.safe_execute(**clean_args) return result except ToolValidationError as e: # 保留类型化错误码,不被通用 except 平坦化为字符串 error_msg = f"Tool '{tool_name}' schema validation failed: {e}" logger.warning(error_msg) return { "error": str(e), "error_code": e.error_code, "details": e.details, } except (ValueError, TypeError, RuntimeError, asyncio.TimeoutError) as e: # 工具执行失败 — 记录结构化错误码,LLM 可在下一步调整策略 error_msg = f"Tool '{tool_name}' execution failed: {e}" logger.warning(error_msg) return {"error": error_msg, "error_code": "tool_execution_failed"} async def _execute_tool_with_confirmation( self, tc: Any, tools: list[Tool], step: int, confirmation_handler: Any, ) -> tuple[Any, list[ReActEvent]]: """Execute a tool call with confirmation flow support. Used in the parallel execution path for serial (non-parallelizable) tools that may require user confirmation before execution. Returns: Tuple of (tool_result, list of ReActEvents to yield) """ events: list[ReActEvent] = [] tool_result = await self._execute_tool(tc.name, tc.arguments, tools) # Check if tool returned a confirmation request if isinstance(tool_result, dict) and tool_result.get("needs_confirmation"): confirmation_id = tool_result["confirmation_id"] command = tool_result.get("command", "") reason = tool_result.get("reason", "") events.append( ReActEvent( event_type="confirmation_request", step=step, data={ "confirmation_id": confirmation_id, "tool_name": tc.name, "command": command, "reason": reason, }, ) ) # Wait for user confirmation approved = False if confirmation_handler is not None: try: approved = await confirmation_handler(confirmation_id, command, reason) except asyncio.CancelledError: raise except Exception as e: # 用户提供的 confirmation_handler — 任意异常都可能,不阻塞主循环 logger.warning(f"Confirmation handler error: {e}") if approved: # User approved: re-execute with _skip_dangerous_check tool = self._find_tool(tc.name, tools) if tool and hasattr(tool, "_is_dangerous"): clean_args = {k: v for k, v in tc.arguments.items() if not k.startswith("_")} clean_args["_skip_dangerous_check"] = True try: tool_result = await tool.safe_execute(**clean_args) except (ToolValidationError, ValueError, TypeError, RuntimeError) as e: tool_result = { "error": f"Tool '{tc.name}' execution failed: {e}", "error_code": "tool_execution_failed", } else: # Non-dangerous tool: re-execute with skip flag clean_args = {k: v for k, v in tc.arguments.items() if not k.startswith("_")} clean_args["_skip_dangerous_check"] = True try: tool_result = ( await tool.safe_execute(**clean_args) if tool else {"error": f"Tool '{tc.name}' not found"} ) except (ToolValidationError, ValueError, TypeError, RuntimeError) as e: tool_result = {"error": f"Tool '{tc.name}' execution failed: {e}"} events.append( ReActEvent( event_type="confirmation_result", step=step, data={"confirmation_id": confirmation_id, "approved": True}, ) ) else: # User rejected tool_result = { "output": "", "exit_code": 126, "is_error": True, "error_type": "permission_denied", "message": f"用户拒绝执行命令: {command[:100]}", } events.append( ReActEvent( event_type="confirmation_result", step=step, data={"confirmation_id": confirmation_id, "approved": False}, ) ) return tool_result, events def _should_execute_parallel(self, tool_calls: list[Any]) -> bool: """Determine if tool calls should be executed in parallel. - parallel_tools=True: always parallel (if >1 tool) - parallel_tools=False: never parallel - parallel_tools="auto": parallel if any tool_call has _parallelizable=true in arguments """ if len(tool_calls) <= 1: return False if self._parallel_tools is True: return True if self._parallel_tools is False: return False # "auto" mode: check _parallelizable metadata in tool call arguments if self._parallel_tools == "auto": parallelizable_indices = self._get_parallelizable_indices(tool_calls) return len(parallelizable_indices) > 1 return False def _get_parallelizable_indices(self, tool_calls: list[Any]) -> list[int]: """Get indices of tool_calls that have _parallelizable=true in arguments. LLM marks parallelizable tools by including _parallelizable: true in the tool_call arguments. """ indices = [] for i, tc in enumerate(tool_calls): args = tc.arguments if hasattr(tc, "arguments") else {} if isinstance(args, dict) and args.get("_parallelizable") is True: indices.append(i) return indices def _parse_text_tool_calls(self, content: str) -> list[dict[str, Any]]: """从文本中解析工具调用模式 支持格式: 1. Action: tool_name(args) 2. ```tool\n{"name": "...", "arguments": {...}}\n``` 3. \n{"name": "...", "arguments": {...}}\n """ calls: list[dict[str, Any]] = [] # 格式 1: Action: tool_name(args) action_pattern = re.compile(r"Action:\s*(\w+)\((.+?)\)", re.DOTALL) for match in action_pattern.finditer(content): name = match.group(1) args_str = match.group(2) try: arguments = json.loads(args_str) except (json.JSONDecodeError, TypeError): arguments = {"raw_input": args_str} calls.append({"name": name, "arguments": arguments}) if calls: return calls # 格式 2: ```tool\n{"name": "...", "arguments": {...}}\n``` code_block_pattern = re.compile(r"```tool\s*\n(.*?)\n\s*```", re.DOTALL) for match in code_block_pattern.finditer(content): json_str = match.group(1).strip() try: parsed = json.loads(json_str) name = parsed.get("name", "") arguments = parsed.get("arguments", {}) if name: calls.append({"name": name, "arguments": arguments}) except (json.JSONDecodeError, TypeError): logger.warning(f"Failed to parse tool call from text: {json_str}") if calls: return calls # 格式 3: \n{"name": "...", "arguments": {...}}\n # 兼容 Anthropic/Qwen 等模型在文本中模拟的工具调用格式 tool_use_pattern = re.compile(r"\s*(.*?)\s*", re.DOTALL) for match in tool_use_pattern.finditer(content): json_str = match.group(1).strip() try: parsed = json.loads(json_str) name = parsed.get("name", "") arguments = parsed.get("arguments", {}) if name: calls.append({"name": name, "arguments": arguments}) except (json.JSONDecodeError, TypeError): # Try XML-like inner tags: x{...} name_match = re.search(r"\s*(.*?)\s*", json_str, re.DOTALL) args_match = re.search(r"\s*(.*?)\s*", json_str, re.DOTALL) if name_match: name = name_match.group(1).strip() args_str = args_match.group(1).strip() if args_match else "{}" try: arguments = json.loads(args_str) except (json.JSONDecodeError, TypeError): arguments = {"raw": args_str} calls.append({"name": name, "arguments": arguments}) else: logger.warning(f"Failed to parse tool_use block: {json_str[:200]}") if calls: return calls # 格式 4: 畸形 — 缺少闭合标签或 JSON 被截断/混入杂标签 # 兜底解析:从 后提取 JSON 片段,用大括号匹配法恢复完整 JSON open_pattern = re.compile(r"\s*", re.IGNORECASE) for match in open_pattern.finditer(content): remainder = content[match.end() :] parsed = self._extract_tool_call_from_malformed(remainder) if parsed: calls.append(parsed) return calls @staticmethod def _extract_tool_call_from_malformed(text: str) -> dict[str, Any] | None: """从畸形文本中尝试提取工具调用。 处理场景: 1. JSON 被截断(缺少闭合大括号) 2. JSON 中混入 等 XML 标签 3. 完全无法解析时返回 None """ # 尝试用大括号匹配提取第一个 JSON 对象 brace_start = text.find("{") if brace_start == -1: return None depth = 0 json_end = -1 in_string = False escape = False for i in range(brace_start, len(text)): ch = text[i] if escape: escape = False continue if ch == "\\": escape = True continue if ch == '"': in_string = not in_string continue if in_string: continue if ch == "{": depth += 1 elif ch == "}": depth -= 1 if depth == 0: json_end = i + 1 break if json_end == -1: # JSON 被截断 — 尝试补全大括号后解析 json_str = text[brace_start:].strip() # 截断掉非 JSON 尾部(如 , 等) cut = json_str.find("}") if cut != -1: json_str = json_str[: cut + 1] else: # 补全缺失的大括号 open_braces = json_str.count("{") - json_str.count("}") json_str = json_str + "}" * max(open_braces, 0) else: json_str = text[brace_start:json_end] try: parsed = json.loads(json_str) name = parsed.get("name", "") arguments = parsed.get("arguments", {}) if name: return {"name": name, "arguments": arguments} except (json.JSONDecodeError, TypeError): pass # 最终兜底:用正则提取 name 和已知的参数字段 name_match = re.search(r'"name"\s*:\s*"([^"]+)"', text) if not name_match: return None name = name_match.group(1) arguments: dict[str, Any] = {} # 提取 "key": "value" 模式 for kv_match in re.finditer(r'"(\w+)"\s*:\s*"([^"]*)"', text): key = kv_match.group(1) if key in ("name",): continue arguments[key] = kv_match.group(2) # 提取 value 模式 for pm in re.finditer(r"\s*(.*?)\s*", text, re.DOTALL): arguments[pm.group(1)] = pm.group(2).strip() if name: return {"name": name, "arguments": arguments} return None