fn finished_tool_call(call_id: String) -> ChatbotChatStreamEventExpand description
Tells the client a call it has already seen is done. Carries no tool name or arguments: the frontend reads neither, and it already has both from the event that announced the call.