*/
assistantMessageReceived(session: string, serviceRequestId: string | undefined, tools: readonly ToolDefinition[]): void {
if (!restricted || !serviceRequestId || tools.length === 0) {
return;
}
restricted.sendEnhancedGHTelemetryEvent('request.options.tools', multiplexProperties({
headerRequestId: serviceRequestId,