(text: string)
| 306 | } |
| 307 | |
| 308 | function quoteText(text: string): string { |
| 309 | const normalized = text.replace(/\s+/g, " ").trim(); |
| 310 | const truncated = normalized.length > 80 ? `${normalized.slice(0, 77)}...` : normalized; |
| 311 | return `"${truncated}"`; |
| 312 | } |
| 313 | |
| 314 | function formatNumber(value: number): string { |
| 315 | return Number.isInteger(value) |