// log_time.dart — 桌面端日志统一时间戳前缀。
// 返回本地时间 "[HH:MM:SS.mmm] ",拼在日志行首便于排查时序。

String logTime() {
  final n = DateTime.now();
  String p(int v, [int w = 2]) => v.toString().padLeft(w, '0');
  return '[${p(n.hour)}:${p(n.minute)}:${p(n.second)}.${p(n.millisecond, 3)}] ';
}