export type ToolActivityReporter = (activeIds: readonly string[]) => void;