(isActive: boolean)
| 113 | startUuid: string; |
| 114 | } | null = null; |
| 115 | function flushGroup(isActive: boolean): void { |
| 116 | if (currentGroup && (currentGroup.searchCount > 0 || currentGroup.readCount > 0 || currentGroup.replCount > 0)) { |
| 117 | result.push({ |
| 118 | type: 'summary', |
| 119 | searchCount: currentGroup.searchCount, |
| 120 | readCount: currentGroup.readCount, |
| 121 | replCount: currentGroup.replCount, |
| 122 | uuid: `summary-${currentGroup.startUuid}`, |
| 123 | isActive |
| 124 | }); |
| 125 | } |
| 126 | currentGroup = null; |
| 127 | } |
| 128 | const agentMessages = messages.filter((m): m is ProgressMessage<AgentToolProgress> => hasProgressMessage(m.data)); |
| 129 | |
| 130 | // Build tool_use lookup incrementally as we iterate |
no test coverage detected