Format a duration for display in spinner/completion lines.
String formatElapsed(Duration d) { final ms = d.inMilliseconds; if (ms < 100) return '${ms}ms'; return '${(ms / 1000).toStringAsFixed(1)}s'; }