Function markToolUseAsComplete

src/services/tools/StreamingToolExecutor.ts:521–530

(
  toolUseContext: ToolUseContext,
  toolUseID: string,
)

}

function markToolUseAsComplete(
  toolUseContext: ToolUseContext,
  toolUseID: string,
) {
  toolUseContext.setInProgressToolUseIDs(prev => {
    const next = new Set(prev)
    next.delete(toolUseID)
    return next
  })
}