@sayue_ltr/fleq 1.49.2

package/dist/ui/formatter.js

@@ -0,0 +1,689 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SEVERITY_LABELS = exports.FRAME_CHARS = void 0;
+exports.setFrameWidth = setFrameWidth;
+exports.clearFrameWidth = clearFrameWidth;
+exports.setInfoFullText = setInfoFullText;
+exports.getInfoFullText = getInfoFullText;
+exports.setDisplayMode = setDisplayMode;
+exports.getDisplayMode = getDisplayMode;
+exports.setMaxObservations = setMaxObservations;
+exports.getMaxObservations = getMaxObservations;
+exports.setTruncation = setTruncation;
+exports.getTruncation = getTruncation;
+exports.createRenderBuffer = createRenderBuffer;
+exports.flushWithRecap = flushWithRecap;
+exports.frameColor = frameColor;
+exports.getFrameWidth = getFrameWidth;
+exports.frameTop = frameTop;
+exports.frameLine = frameLine;
+exports.frameDivider = frameDivider;
+exports.frameBottom = frameBottom;
+exports.stripAnsi = stripAnsi;
+exports.visualWidth = visualWidth;
+exports.visualPadEnd = visualPadEnd;
+exports.renderFrameTable = renderFrameTable;
+exports.wrapFrameLines = wrapFrameLines;
+exports.wrapTextLines = wrapTextLines;
+exports.collectHighlightSpans = collectHighlightSpans;
+exports.highlightAndWrap = highlightAndWrap;
+exports.formatTimestamp = formatTimestamp;
+exports.formatElapsedTime = formatElapsedTime;
+exports.intensityColor = intensityColor;
+exports.lgIntensityColor = lgIntensityColor;
+exports.lgIntToNumeric = lgIntToNumeric;
+exports.intensityToNumeric = intensityToNumeric;
+exports.colorMagnitude = colorMagnitude;
+exports.renderFooter = renderFooter;
+exports.displayRawHeader = displayRawHeader;
+const chalk_1 = __importDefault(require("chalk"));
+const types_1 = require("../types");
+const theme = __importStar(require("./theme"));
+// ── フレーム幅キャッシュ ──
+/** 現在のフレーム幅 (setFrameWidth で更新、getFrameWidth で参照) */
+let cachedFrameWidth = null;
+/** フレーム幅を外部から設定する (config 変更時に呼ぶ) */
+function setFrameWidth(width) {
+    cachedFrameWidth = width;
+}
+/** フレーム幅を自動モード (ターミナル幅追従) に戻す */
+function clearFrameWidth() {
+    cachedFrameWidth = null;
+}
+/** infoFullText キャッシュ */
+let cachedInfoFullText = false;
+/** infoFullText を外部から設定する */
+function setInfoFullText(value) {
+    cachedInfoFullText = value;
+}
+/** infoFullText の現在値を返す */
+function getInfoFullText() {
+    return cachedInfoFullText;
+}
+// ── 表示モードキャッシュ ──
+/** 現在の表示モード */
+let cachedDisplayMode = "normal";
+/** 表示モードを外部から設定する */
+function setDisplayMode(mode) {
+    cachedDisplayMode = mode;
+}
+/** 表示モードの現在値を返す */
+function getDisplayMode() {
+    return cachedDisplayMode;
+}
+// ── 観測点折りたたみキャッシュ ──
+/** 現在の観測点最大表示件数 */
+let cachedMaxObservations = null;
+/** 観測点最大表示件数を外部から設定する */
+function setMaxObservations(value) {
+    cachedMaxObservations = value;
+}
+/** 観測点最大表示件数の現在値を返す */
+function getMaxObservations() {
+    return cachedMaxObservations;
+}
+// ── 省略上限キャッシュ ──
+/** 現在の省略上限設定 */
+let cachedTruncation = { ...types_1.DEFAULT_CONFIG.truncation };
+/** 省略上限設定を外部から設定する */
+function setTruncation(value) {
+    cachedTruncation = value;
+}
+/** 省略上限設定の現在値を返す */
+function getTruncation() {
+    return cachedTruncation;
+}
+function createRenderBuffer() {
+    const _lines = [];
+    let _titleLine = null;
+    let _cardLine = null;
+    const _headlineLines = [];
+    return {
+        push(line) {
+            _lines.push({ text: line, kind: "normal" });
+        },
+        pushEmpty() {
+            _lines.push({ text: "", kind: "normal" });
+        },
+        pushTitle(line) {
+            _lines.push({ text: line, kind: "title" });
+            if (_titleLine == null)
+                _titleLine = line;
+        },
+        pushCard(line) {
+            _lines.push({ text: line, kind: "card" });
+            if (_cardLine == null)
+                _cardLine = line;
+        },
+        pushHeadline(line) {
+            _lines.push({ text: line, kind: "headline" });
+            _headlineLines.push(line);
+        },
+        get lineCount() { return _lines.length; },
+        get lines() { return _lines; },
+        get titleLine() { return _titleLine; },
+        get cardLine() { return _cardLine; },
+        get headlineLines() { return _headlineLines; },
+    };
+}
+/** recap 予約行数 (フレーム下部 + 空行 + プロンプト行) */
+const RECAP_RESERVE_ROWS = 3;
+/**
+ * バッファの内容を出力し、ターミナル高さを超える場合はフレーム下部直前に
+ * サマリー (recap) を再掲する。
+ */
+function flushWithRecap(buf, level, width) {
+    const isTTY = process.stdout.isTTY;
+    const rows = process.stdout.rows;
+    // recap 判定: TTY かつ行数がターミナル高さを超える場合
+    const needRecap = isTTY === true && typeof rows === "number" && rows > 0
+        && buf.lineCount > rows - RECAP_RESERVE_ROWS;
+    if (!needRecap) {
+        // そのまま出力
+        for (const line of buf.lines) {
+            if (line.text === "") {
+                console.log();
+            }
+            else {
+                console.log(line.text);
+            }
+        }
+        return;
+    }
+    // recap あり: 末尾2行 (frameBottom + 空行) の直前に挿入
+    const allLines = [...buf.lines];
+    // 末尾の空行と frameBottom を分離
+    const tail = [];
+    while (allLines.length > 0) {
+        const last = allLines[allLines.length - 1];
+        if (last.text === "" || last.kind === "normal") {
+            tail.unshift(allLines.pop());
+            if (tail.length >= 2)
+                break;
+        }
+        else {
+            break;
+        }
+    }
+    // 本体出力
+    for (const line of allLines) {
+        if (line.text === "") {
+            console.log();
+        }
+        else {
+            console.log(line.text);
+        }
+    }
+    // recap セクション — 要約データがある場合のみ表示
+    const hasRecapData = buf.titleLine != null || buf.cardLine != null || buf.headlineLines.length > 0;
+    if (hasRecapData) {
+        console.log(frameDivider(level, width));
+        console.log(frameLine(level, chalk_1.default.gray("▼ サマリー"), width));
+        if (buf.titleLine != null) {
+            console.log(buf.titleLine);
+        }
+        if (buf.cardLine != null) {
+            console.log(buf.cardLine);
+        }
+        // headline は1行目のみ
+        if (buf.headlineLines.length > 0) {
+            console.log(buf.headlineLines[0]);
+        }
+    }
+    // tail 出力 (frameBottom + 空行)
+    for (const line of tail) {
+        if (line.text === "") {
+            console.log();
+        }
+        else {
+            console.log(line.text);
+        }
+    }
+}
+exports.FRAME_CHARS = {
+    critical: { tl: "╔", tr: "╗", bl: "╚", br: "╝", h: "═", v: "║", divL: "╠", divR: "╣" },
+    warning: { tl: "╔", tr: "╗", bl: "╚", br: "╝", h: "═", v: "║", divL: "╠", divR: "╣" },
+    normal: { tl: "┌", tr: "┐", bl: "└", br: "┘", h: "─", v: "│", divL: "├", divR: "┤" },
+    info: { tl: "┌", tr: "┐", bl: "└", br: "┘", h: "─", v: "│", divL: "├", divR: "┤" },
+    cancel: { tl: "┌", tr: "┐", bl: "└", br: "┘", h: "─", v: "│", divL: "├", divR: "┤" },
+};
+/** フレームレベル → ロール名マッピング */
+const FRAME_ROLE_MAP = {
+    critical: "frameCritical",
+    warning: "frameWarning",
+    normal: "frameNormal",
+    info: "frameInfo",
+    cancel: "frameCancel",
+};
+/** フレームレベルに対応する色を返す (呼び出し時点の chalk.level を反映) */
+function frameColor(level) {
+    return theme.getRoleChalk(FRAME_ROLE_MAP[level]);
+}
+/** FRAMES 互換のアクセサ — 罫線文字 + 色 */
+function getFrame(level) {
+    return { ...exports.FRAME_CHARS[level], color: frameColor(level) };
+}
+/** フレームレベルのテキストラベル (アクセシビリティ: 色が見えない環境向け) */
+exports.SEVERITY_LABELS = {
+    critical: "[緊急]",
+    warning: "[警告]",
+    normal: "[情報]",
+    info: "[通知]",
+    cancel: "[取消]",
+};
+const FRAME_WIDTH = 60;
+/** キャッシュ済みの tableWidth を返す。未設定ならターミナル幅に追従 (fallback: 60) */
+function getFrameWidth() {
+    if (cachedFrameWidth != null)
+        return cachedFrameWidth;
+    const cols = process.stdout.columns;
+    if (cols == null || cols < 40)
+        return FRAME_WIDTH;
+    return Math.min(cols, 200);
+}
+function frameTop(level, width = FRAME_WIDTH) {
+    const f = getFrame(level);
+    return f.color(f.tl + f.h.repeat(width - 2) + f.tr);
+}
+function frameLine(level, content, width = FRAME_WIDTH) {
+    const f = getFrame(level);
+    // 生改行が混入すると罫線が崩れるため、空白に置換して防御
+    const safeContent = (content.includes("\n") || content.includes("\r"))
+        ? content.replace(/\r?\n/g, " ")
+        : content;
+    // ANSI エスケープを除去して可視幅を計算
+    const visibleLen = visualWidth(safeContent);
+    const pad = Math.max(0, width - 4 - visibleLen);
+    return f.color(f.v) + " " + safeContent + " ".repeat(pad) + " " + f.color(f.v);
+}
+function frameDivider(level, width = FRAME_WIDTH) {
+    const f = getFrame(level);
+    return f.color(f.divL + f.h.repeat(width - 2) + f.divR);
+}
+function frameBottom(level, width = FRAME_WIDTH) {
+    const f = getFrame(level);
+    return f.color(f.bl + f.h.repeat(width - 2) + f.br);
+}
+/** ANSI / VT エスケープシーケンスを除去 (表示幅計算用 & インジェクション防止) */
+function stripAnsi(str) {
+    // eslint-disable-next-line no-control-regex
+    return str.replace(/\x1b\[[0-9;]*[A-Za-z]/g, "").replace(/\x1b\][^\x07\x1b]*(?:\x07|\x1b\\)/g, "");
+}
+/** 外部由来の文字列から制御文字・ANSIエスケープを除去して安全にする */
+function sanitizeForTerminal(str) {
+    // ANSIエスケープ除去後、残った制御文字(改行・タブ以外)を除去
+    // eslint-disable-next-line no-control-regex
+    return stripAnsi(str).replace(/[\x00-\x08\x0B\x0C\x0E-\x1F\x7F]/g, "");
+}
+/** 文字列の視覚的な幅を計算（全角文字を2として数える） */
+function visualWidth(str) {
+    const plain = stripAnsi(str);
+    let width = 0;
+    for (const ch of plain) {
+        const cp = ch.codePointAt(0) ?? 0;
+        // CJK統合漢字、ひらがな、カタカナ、全角記号、全角括弧等
+        if ((cp >= 0x1100 && cp <= 0x115F) || // Hangul Jamo
+            (cp >= 0x2E80 && cp <= 0x303E) || // CJK部首・記号
+            (cp >= 0x3041 && cp <= 0x33BF) || // ひらがな・カタカナ・CJK互換
+            (cp >= 0x3400 && cp <= 0x4DBF) || // CJK統合漢字拡張A
+            (cp >= 0x4E00 && cp <= 0xA4CF) || // CJK統合漢字 + Yi
+            (cp >= 0xAC00 && cp <= 0xD7AF) || // Hangul Syllables
+            (cp >= 0xF900 && cp <= 0xFAFF) || // CJK互換漢字
+            (cp >= 0xFE30 && cp <= 0xFE4F) || // CJK互換形
+            (cp >= 0xFF01 && cp <= 0xFF60) || // 全角ASCII・半角カタカナ
+            (cp >= 0xFFE0 && cp <= 0xFFE6) || // 全角記号
+            (cp >= 0x20000 && cp <= 0x2FA1F) // CJK統合漢字拡張B-F
+        ) {
+            width += 2;
+        }
+        else {
+            width += 1;
+        }
+    }
+    return width;
+}
+/** 視覚幅を考慮してスペースでパディング（padEnd の全角対応版） */
+function visualPadEnd(str, targetWidth) {
+    const currentWidth = visualWidth(str);
+    const padSize = Math.max(0, targetWidth - currentWidth);
+    return str + " ".repeat(padSize);
+}
+/**
+ * フレーム内にカラム区切りテーブルを描画する。
+ * headers: ヘッダー文字列の配列 (スタイル適用前)
+ * rows: 各行のセル配列 (chalk でスタイル適用済み)
+ * 最後のカラムは残り幅を使い切る可変幅。
+ */
+function renderFrameTable(level, headers, rows, width, buf) {
+    const out = buf ? (line) => buf.push(line) : (line) => console.log(line);
+    const innerWidth = width - 4;
+    const numCols = headers.length;
+    // 各カラムの最大視覚幅を計算
+    const colWidths = headers.map((h, i) => {
+        let maxW = visualWidth(h);
+        for (const row of rows) {
+            if (row[i] != null) {
+                maxW = Math.max(maxW, visualWidth(row[i]));
+            }
+        }
+        return maxW;
+    });
+    // セパレータ幅 " │ " = 3 文字 × (カラム数 - 1)
+    const separatorWidth = (numCols - 1) * 3;
+    const totalContent = colWidths.reduce((a, b) => a + b, 0) + separatorWidth;
+    // 合計がフレーム内幅を超える場合、最後のカラムを縮小
+    if (totalContent > innerWidth) {
+        const shrink = totalContent - innerWidth;
+        colWidths[numCols - 1] = Math.max(4, colWidths[numCols - 1] - shrink);
+    }
+    const colSep = chalk_1.default.gray(" │ ");
+    const headerLine = headers
+        .map((h, i) => visualPadEnd(chalk_1.default.bold(h), colWidths[i]))
+        .join(colSep);
+    out(frameLine(level, headerLine, width));
+    // セパレータ行
+    const sepParts = colWidths.map((w) => "─".repeat(w));
+    out(frameLine(level, chalk_1.default.gray(sepParts.join("─┼─")), width));
+    // データ行
+    for (const row of rows) {
+        const cells = row.map((cell, i) => visualPadEnd(cell ?? "", colWidths[i]));
+        out(frameLine(level, cells.join(colSep), width));
+    }
+}
+/**
+ * コンテンツがフレーム幅を超える場合に折り返して複数の frameLine を生成する。
+ * 改行文字で段落分割した上で、各段落を区切り文字ベースで折り返す。
+ * カンマ+スペース / 日本語句読点(、。) / パイプ区切りを基準に折り返す。
+ * 分割できない場合は文字単位でハード折り返しする。
+ * 2行目以降は indent 分のスペースでインデントする。
+ */
+function wrapFrameLines(level, content, width, indent = 0) {
+    // 改行で段落分割し、各段落を個別に折り返す
+    const paragraphs = content.replace(/\r\n?/g, "\n").split("\n");
+    if (paragraphs.length > 1) {
+        const out = [];
+        for (const p of paragraphs) {
+            if (p === "" || p.trim() === "") {
+                out.push(frameLine(level, "", width));
+                continue;
+            }
+            out.push(...wrapSingleLine(level, p, width, indent));
+        }
+        return out;
+    }
+    return wrapSingleLine(level, content, width, indent);
+}
+/** 単一行（改行なし）の折り返し処理 */
+function wrapSingleLine(level, content, width, indent = 0) {
+    const innerWidth = width - 4; // フレーム内の有効幅 (左右の罫線+スペース)
+    if (visualWidth(content) <= innerWidth) {
+        return [frameLine(level, content, width)];
+    }
+    // 複数の区切りパターンで分割を試行
+    const delimiters = [", ", "、", "  │  "];
+    let parts = null;
+    let joinStr = "";
+    for (const delim of delimiters) {
+        const split = content.split(delim);
+        if (split.length > 1) {
+            parts = split;
+            joinStr = delim;
+            break;
+        }
+    }
+    if (parts != null && parts.length > 1) {
+        const lines = [];
+        const indentStr = " ".repeat(indent);
+        let currentLine = parts[0];
+        for (let i = 1; i < parts.length; i++) {
+            const candidate = currentLine + joinStr + parts[i];
+            if (visualWidth(candidate) <= innerWidth) {
+                currentLine = candidate;
+            }
+            else {
+                // 末尾にカンマ区切りの場合はカンマを付与
+                const suffix = joinStr === ", " ? "," : "";
+                lines.push(frameLine(level, currentLine + suffix, width));
+                currentLine = indentStr + parts[i];
+            }
+        }
+        lines.push(frameLine(level, currentLine, width));
+        return lines;
+    }
+    // 分割できない場合は文字単位でハード折り返し
+    const wrapped = wrapTextLines(stripAnsi(content), innerWidth);
+    if (wrapped.length <= 1) {
+        return [frameLine(level, content, width)];
+    }
+    return wrapped.map((line) => frameLine(level, line, width));
+}
+/**
+ * テキストを文字単位で折り返す。CJK文字は幅2として計算。
+ * フレーム装飾は含まず、折り返し後の各行を文字列配列で返す。
+ */
+function wrapTextLines(text, maxWidth) {
+    if (maxWidth <= 0)
+        return [text];
+    if (visualWidth(text) <= maxWidth)
+        return [text];
+    const lines = [];
+    let currentLine = "";
+    let currentWidth = 0;
+    for (const ch of text) {
+        const cp = ch.codePointAt(0) ?? 0;
+        let charWidth = 1;
+        if ((cp >= 0x1100 && cp <= 0x115F) ||
+            (cp >= 0x2E80 && cp <= 0x303E) ||
+            (cp >= 0x3041 && cp <= 0x33BF) ||
+            (cp >= 0x3400 && cp <= 0x4DBF) ||
+            (cp >= 0x4E00 && cp <= 0xA4CF) ||
+            (cp >= 0xAC00 && cp <= 0xD7AF) ||
+            (cp >= 0xF900 && cp <= 0xFAFF) ||
+            (cp >= 0xFE30 && cp <= 0xFE4F) ||
+            (cp >= 0xFF01 && cp <= 0xFF60) ||
+            (cp >= 0xFFE0 && cp <= 0xFFE6) ||
+            (cp >= 0x20000 && cp <= 0x2FA1F)) {
+            charWidth = 2;
+        }
+        if (currentWidth + charWidth > maxWidth) {
+            lines.push(currentLine);
+            currentLine = ch;
+            currentWidth = charWidth;
+        }
+        else {
+            currentLine += ch;
+            currentWidth += charWidth;
+        }
+    }
+    if (currentLine.length > 0) {
+        lines.push(currentLine);
+    }
+    return lines;
+}
+/** 元の行からマッチspanを収集する */
+function collectHighlightSpans(line, rules) {
+    const spans = [];
+    for (const rule of rules) {
+        const flags = rule.flags.includes("g") ? rule.flags : rule.flags + "g";
+        const regex = new RegExp(rule.source, flags);
+        let match;
+        while ((match = regex.exec(line)) !== null) {
+            // 文字列インデックスをchar配列インデックスに変換
+            const startCharIdx = Array.from(line.slice(0, match.index)).length;
+            const matchChars = Array.from(match[0]).length;
+            const endCharIdx = startCharIdx + matchChars;
+            // 既存spanと重複しない場合のみ追加（同一開始位置では長いマッチ優先）
+            const overlapping = spans.find(s => startCharIdx < s.end && endCharIdx > s.start);
+            if (!overlapping) {
+                spans.push({ start: startCharIdx, end: endCharIdx, style: rule.style() });
+            }
+            else if (overlapping.start === startCharIdx && matchChars > (overlapping.end - overlapping.start)) {
+                // 同一開始位置で長い方が勝つ
+                overlapping.end = endCharIdx;
+                overlapping.style = rule.style();
+            }
+        }
+    }
+    return spans.sort((a, b) => a.start - b.start);
+}
+/** span付きの行を折り返し、各折り返し行にANSIを適用する */
+function highlightAndWrap(line, rules, maxWidth) {
+    const spans = collectHighlightSpans(line, rules);
+    // spanがなければ従来通り（素通し）
+    if (spans.length === 0) {
+        return wrapTextLines(line, maxWidth);
+    }
+    // 平文で折り返し
+    const wrappedLines = wrapTextLines(line, maxWidth);
+    // 各折り返し行に対して、charオフセットを追跡しながらspanを適用
+    let charOffset = 0;
+    return wrappedLines.map((wrapped) => {
+        const chars = Array.from(wrapped);
+        const lineEnd = charOffset + chars.length;
+        // この行にかかるspanを取得
+        const relevantSpans = spans.filter(s => s.start < lineEnd && s.end > charOffset);
+        if (relevantSpans.length === 0) {
+            charOffset = lineEnd;
+            return wrapped;
+        }
+        // spanに応じて部分ごとに色付け
+        let result = "";
+        let pos = charOffset;
+        for (const span of relevantSpans) {
+            const spanStart = Math.max(span.start, charOffset);
+            const spanEnd = Math.min(span.end, lineEnd);
+            if (pos < spanStart) {
+                result += chars.slice(pos - charOffset, spanStart - charOffset).join("");
+            }
+            result += span.style(chars.slice(spanStart - charOffset, spanEnd - charOffset).join(""));
+            pos = spanEnd;
+        }
+        if (pos < lineEnd) {
+            result += chars.slice(pos - charOffset).join("");
+        }
+        charOffset = lineEnd;
+        return result;
+    });
+}
+// ── 時刻フォーマット ──
+/** 絶対時刻を整形 ("YYYY-MM-DD HH:MM:SS") */
+function formatTimestamp(isoStr) {
+    const d = new Date(isoStr);
+    if (isNaN(d.getTime()))
+        return isoStr;
+    const yyyy = d.getFullYear();
+    const MM = String(d.getMonth() + 1).padStart(2, "0");
+    const dd = String(d.getDate()).padStart(2, "0");
+    const hh = String(d.getHours()).padStart(2, "0");
+    const mm = String(d.getMinutes()).padStart(2, "0");
+    const ss = String(d.getSeconds()).padStart(2, "0");
+    return `${yyyy}-${MM}-${dd} ${hh}:${mm}:${ss}`;
+}
+/** 経過時間を "HH:MM:SS" 形式に整形 */
+function formatElapsedTime(ms) {
+    const safeMs = Math.max(0, ms);
+    const totalSec = Math.floor(safeMs / 1000);
+    const hh = Math.floor(totalSec / 3600);
+    const mm = Math.floor((totalSec % 3600) / 60);
+    const ss = totalSec % 60;
+    return `${String(hh).padStart(2, "0")}:${String(mm).padStart(2, "0")}:${String(ss).padStart(2, "0")}`;
+}
+/** 区切り線 (後方互換用、新コードではフレーム関数を使用) */
+function separator(char = "─", len = 60) {
+    return chalk_1.default.gray(char.repeat(len));
+}
+/** 震度に応じた色を返す (CUD対応) */
+function intensityColor(intensity) {
+    const norm = intensity.replace(/\s+/g, "");
+    switch (norm) {
+        case "1":
+            return theme.getRoleChalk("intensity1");
+        case "2":
+            return theme.getRoleChalk("intensity2");
+        case "3":
+            return theme.getRoleChalk("intensity3");
+        case "4":
+            return theme.getRoleChalk("intensity4");
+        case "5-":
+        case "5弱":
+            return theme.getRoleChalk("intensity5Lower");
+        case "5+":
+        case "5強":
+            return theme.getRoleChalk("intensity5Upper");
+        case "6-":
+        case "6弱":
+            return theme.getRoleChalk("intensity6Lower");
+        case "6+":
+        case "6強":
+            return theme.getRoleChalk("intensity6Upper");
+        case "7":
+            return theme.getRoleChalk("intensity7");
+        default:
+            return chalk_1.default.white;
+    }
+}
+/** 長周期地震動階級に応じた色を返す (CUD対応) */
+function lgIntensityColor(lgInt) {
+    switch (lgInt) {
+        case "0":
+            return theme.getRoleChalk("lgInt0");
+        case "1":
+            return theme.getRoleChalk("lgInt1");
+        case "2":
+            return theme.getRoleChalk("lgInt2");
+        case "3":
+            return theme.getRoleChalk("lgInt3");
+        case "4":
+            return theme.getRoleChalk("lgInt4");
+        default:
+            return chalk_1.default.white;
+    }
+}
+// ── 共通ヘルパー (配信区分別フォーマッタから使用) ──
+/** 長周期地震動階級の数値変換 (フレームレベル判定用) */
+function lgIntToNumeric(lgInt) {
+    const map = { "0": 0, "1": 1, "2": 2, "3": 3, "4": 4 };
+    return map[lgInt] ?? -1;
+}
+/** 震度文字列から数値優先度を返す (フレームレベル判定用) */
+function intensityToNumeric(maxInt) {
+    const norm = maxInt.replace(/\s+/g, "");
+    const map = {
+        "1": 1, "2": 2, "3": 3, "4": 4,
+        "5-": 5, "5弱": 5, "5+": 6, "5強": 6,
+        "6-": 7, "6弱": 7, "6+": 8, "6強": 8, "7": 9,
+    };
+    return map[norm] ?? 0;
+}
+/** マグニチュードに色を付ける (CUD対応) */
+function colorMagnitude(magStr) {
+    const mag = parseFloat(magStr);
+    const magColor = mag >= 7.0
+        ? theme.getRoleChalk("magnitudeMax")
+        : mag >= 5.0
+            ? theme.getRoleChalk("magnitudeHigh")
+            : mag >= 3.0
+                ? theme.getRoleChalk("magnitudeLow")
+                : chalk_1.default.white;
+    return magColor(`M${magStr}`);
+}
+/** 共通フッター: type / reportDateTime / publishingOffice をテーブル最下段に表示 */
+function renderFooter(level, type, reportDateTime, publishingOffice, width, buf) {
+    const out = buf ? (line) => buf.push(line) : (line) => console.log(line);
+    out(frameDivider(level, width));
+    out(frameLine(level, chalk_1.default.gray(`${type}  ${formatTimestamp(reportDateTime)}  ${publishingOffice}`), width));
+}
+// ── フォールバック表示 ──
+/** xmlReport の情報だけで簡易表示（パース失敗時のフォールバック） */
+function displayRawHeader(msg) {
+    console.log();
+    console.log(separator());
+    console.log(theme.getRoleChalk("rawHeaderLabel")(`電文受信: `) +
+        chalk_1.default.white(sanitizeForTerminal(msg.xmlReport?.control?.title || msg.head.type)) +
+        chalk_1.default.gray(` [${sanitizeForTerminal(msg.head.type)}]`));
+    if (msg.xmlReport) {
+        const r = msg.xmlReport;
+        console.log(chalk_1.default.gray(`   ${sanitizeForTerminal(r.head.title)}`));
+        console.log(chalk_1.default.gray(`   ${sanitizeForTerminal(r.head.reportDateTime)}  ${sanitizeForTerminal(r.control.publishingOffice)}`));
+        if (r.head.headline) {
+            console.log(chalk_1.default.white(`   ${sanitizeForTerminal(r.head.headline)}`));
+        }
+    }
+    console.log(separator());
+}