(startTs: number, endTs: number)
| 198 | } |
| 199 | |
| 200 | function formatTimeRange(startTs: number, endTs: number): string { |
| 201 | const start = new Date(startTs) |
| 202 | const end = new Date(endTs) |
| 203 | const sameDay = |
| 204 | start.getFullYear() === end.getFullYear() && |
| 205 | start.getMonth() === end.getMonth() && |
| 206 | start.getDate() === end.getDate() |
| 207 | return `${formatDateTime(startTs)} - ${sameDay ? formatTime(endTs) : formatDateTime(endTs)}` |
| 208 | } |
| 209 | |
| 210 | function buildEmbeddingInput(source: ChunkSource, messages: ChunkMessageInput[]): string { |
| 211 | const effective = messages.filter((m) => !isSemanticVoid(m)) |
no test coverage detected