@geminixiang/mikan 1.0.0-beta.8 → 1.0.0-beta.80

package/dist/adapters/markdown-tables.js

@@ -0,0 +1,111 @@
+import MarkdownIt from "markdown-it";
+const markdown = new MarkdownIt({ html: false });
+export function normalizeMarkdownTables(source) {
+    return source
+        .split("\n")
+        .map((line) => {
+        const trimmed = line.trim();
+        if (!trimmed.startsWith("|") || !trimmed.endsWith("|"))
+            return line;
+        if (!/^[|+\-:\s]+$/.test(trimmed) || !trimmed.includes("+"))
+            return line;
+        return line.replaceAll("+", "|");
+    })
+        .join("\n");
+}
+export function inlinePlainText(tokens) {
+    if (!tokens)
+        return "";
+    let text = "";
+    for (const token of tokens) {
+        if (token.type === "text" || token.type === "code_inline")
+            text += token.content;
+        else if (token.type === "softbreak" || token.type === "hardbreak")
+            text += "\n";
+        else if (token.children)
+            text += inlinePlainText(token.children);
+    }
+    return text;
+}
+function parseOne(tokens, index) {
+    const open = tokens[index];
+    if (open?.type !== "table_open" || !open.map)
+        return null;
+    const headers = [];
+    const rows = [];
+    let currentRow = null;
+    let inHead = false;
+    let i = index + 1;
+    for (; i < tokens.length; i++) {
+        const token = tokens[i];
+        if (token === undefined || token.type === "table_close")
+            break;
+        switch (token.type) {
+            case "thead_open":
+                inHead = true;
+                break;
+            case "thead_close":
+                inHead = false;
+                break;
+            case "tr_open":
+                currentRow = [];
+                break;
+            case "tr_close":
+                if (!currentRow)
+                    break;
+                if (inHead)
+                    headers.push(...currentRow);
+                else
+                    rows.push(currentRow);
+                currentRow = null;
+                break;
+            case "inline":
+                currentRow?.push(inlinePlainText(token.children) || token.content);
+                break;
+        }
+    }
+    if (!headers.length || !rows.length)
+        return null;
+    return {
+        table: { headers, rows, startLine: open.map[0], endLine: tokens[i]?.map?.[1] ?? open.map[1] },
+        next: i,
+    };
+}
+export function extractMarkdownTables(source) {
+    const tokens = markdown.parse(normalizeMarkdownTables(source), {});
+    const tables = [];
+    for (let index = 0; index < tokens.length; index++) {
+        const found = parseOne(tokens, index);
+        if (!found)
+            continue;
+        tables.push(found.table);
+        index = found.next;
+    }
+    return tables;
+}
+const WIDE_CHARACTER = /[\u1100-\u115f\u2e80-\ua4cf\uac00-\ud7a3\uf900-\ufaff\ufe30-\ufe6f\uff00-\uff60\uffe0-\uffe6\u{1f300}-\u{1faff}\u2705\u270a-\u270b\u2728\u274c\u274e\u2753-\u2755\u2757\u2795-\u2797\u27b0\u27bf]/u;
+export function displayWidth(text) {
+    let width = 0;
+    for (const char of text) {
+        width += WIDE_CHARACTER.test(char) ? 2 : 1;
+    }
+    return width;
+}
+function pad(text, width) {
+    return text + " ".repeat(Math.max(0, width - displayWidth(text)));
+}
+export function renderMonospaceTable(table) {
+    const columns = table.headers.length;
+    const rows = table.rows.map((row) => Array.from({ length: columns }, (_, index) => row[index] ?? ""));
+    const widths = Array.from({ length: columns }, (_, index) => Math.max(displayWidth(table.headers[index] ?? ""), ...rows.map((row) => displayWidth(row[index] ?? ""))));
+    const line = (cells) => cells
+        .map((cell, index) => pad(cell, widths[index] ?? 0))
+        .join("  ")
+        .trimEnd();
+    return [
+        line(table.headers),
+        widths.map((width) => "─".repeat(width)).join("  "),
+        ...rows.map(line),
+    ].join("\n");
+}
+//# sourceMappingURL=markdown-tables.js.map

package/dist/adapters/markdown-tables.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"markdown-tables.js","sourceRoot":"","sources":["../../src/adapters/markdown-tables.ts"],"names":[],"mappings":"AAAA,OAAO,UAAU,MAAM,aAAa,CAAC;AAIrC,MAAM,QAAQ,GAAG,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAEjD,MAAM,UAAU,uBAAuB,CAAC,MAAc;IACpD,OAAO,MAAM;SACV,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACpE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACzE,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACnC,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAkC;IAChE,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa;YAAE,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC;aAC5E,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;YAAE,IAAI,IAAI,IAAI,CAAC;aAC3E,IAAI,KAAK,CAAC,QAAQ;YAAE,IAAI,IAAI,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,MAAe,EAAE,KAAa;IAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IAE1D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAe,EAAE,CAAC;IAC5B,IAAI,UAAU,GAAoB,IAAI,CAAC;IACvC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IAElB,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa;YAAE,MAAM;QAC/D,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,MAAM,GAAG,IAAI,CAAC;gBACd,MAAM;YACR,KAAK,aAAa;gBAChB,MAAM,GAAG,KAAK,CAAC;gBACf,MAAM;YACR,KAAK,SAAS;gBACZ,UAAU,GAAG,EAAE,CAAC;gBAChB,MAAM;YACR,KAAK,UAAU;gBACb,IAAI,CAAC,UAAU;oBAAE,MAAM;gBACvB,IAAI,MAAM;oBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;;oBACnC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC3B,UAAU,GAAG,IAAI,CAAC;gBAClB,MAAM;YACR,KAAK,QAAQ;gBACX,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;gBACnE,MAAM;QACV,CAAC;IACH,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAEjD,OAAO;QACL,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QAC7F,IAAI,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAc;IAClD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IACnE,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACzB,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,cAAc,GAClB,oMAAoM,CAAC;AAEvM,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,KAAK,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,GAAG,CAAC,IAAY,EAAE,KAAa;IACtC,OAAO,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAoB;IACvD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;IACrC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAClC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAChE,CAAC;IACF,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAC1D,IAAI,CAAC,GAAG,CACN,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EACxC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CACrD,CACF,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,KAAe,EAAU,EAAE,CACvC,KAAK;SACF,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;SACnD,IAAI,CAAC,IAAI,CAAC;SACV,OAAO,EAAE,CAAC;IACf,OAAO;QACL,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;QACnB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACnD,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;KAClB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC","sourcesContent":["import MarkdownIt from \"markdown-it\";\nimport type Token from \"markdown-it/lib/token.mjs\";\nimport type { MarkdownTable } from \"./types.js\";\n\nconst markdown = new MarkdownIt({ html: false });\n\nexport function normalizeMarkdownTables(source: string): string {\n  return source\n    .split(\"\\n\")\n    .map((line) => {\n      const trimmed = line.trim();\n      if (!trimmed.startsWith(\"|\") || !trimmed.endsWith(\"|\")) return line;\n      if (!/^[|+\\-:\\s]+$/.test(trimmed) || !trimmed.includes(\"+\")) return line;\n      return line.replaceAll(\"+\", \"|\");\n    })\n    .join(\"\\n\");\n}\n\nexport function inlinePlainText(tokens: Token[] | null | undefined): string {\n  if (!tokens) return \"\";\n  let text = \"\";\n  for (const token of tokens) {\n    if (token.type === \"text\" || token.type === \"code_inline\") text += token.content;\n    else if (token.type === \"softbreak\" || token.type === \"hardbreak\") text += \"\\n\";\n    else if (token.children) text += inlinePlainText(token.children);\n  }\n  return text;\n}\n\nfunction parseOne(tokens: Token[], index: number): { table: MarkdownTable; next: number } | null {\n  const open = tokens[index];\n  if (open?.type !== \"table_open\" || !open.map) return null;\n\n  const headers: string[] = [];\n  const rows: string[][] = [];\n  let currentRow: string[] | null = null;\n  let inHead = false;\n  let i = index + 1;\n\n  for (; i < tokens.length; i++) {\n    const token = tokens[i];\n    if (token === undefined || token.type === \"table_close\") break;\n    switch (token.type) {\n      case \"thead_open\":\n        inHead = true;\n        break;\n      case \"thead_close\":\n        inHead = false;\n        break;\n      case \"tr_open\":\n        currentRow = [];\n        break;\n      case \"tr_close\":\n        if (!currentRow) break;\n        if (inHead) headers.push(...currentRow);\n        else rows.push(currentRow);\n        currentRow = null;\n        break;\n      case \"inline\":\n        currentRow?.push(inlinePlainText(token.children) || token.content);\n        break;\n    }\n  }\n\n  if (!headers.length || !rows.length) return null;\n\n  return {\n    table: { headers, rows, startLine: open.map[0], endLine: tokens[i]?.map?.[1] ?? open.map[1] },\n    next: i,\n  };\n}\n\nexport function extractMarkdownTables(source: string): MarkdownTable[] {\n  const tokens = markdown.parse(normalizeMarkdownTables(source), {});\n  const tables: MarkdownTable[] = [];\n  for (let index = 0; index < tokens.length; index++) {\n    const found = parseOne(tokens, index);\n    if (!found) continue;\n    tables.push(found.table);\n    index = found.next;\n  }\n  return tables;\n}\n\nconst WIDE_CHARACTER =\n  /[\\u1100-\\u115f\\u2e80-\\ua4cf\\uac00-\\ud7a3\\uf900-\\ufaff\\ufe30-\\ufe6f\\uff00-\\uff60\\uffe0-\\uffe6\\u{1f300}-\\u{1faff}\\u2705\\u270a-\\u270b\\u2728\\u274c\\u274e\\u2753-\\u2755\\u2757\\u2795-\\u2797\\u27b0\\u27bf]/u;\n\nexport function displayWidth(text: string): number {\n  let width = 0;\n  for (const char of text) {\n    width += WIDE_CHARACTER.test(char) ? 2 : 1;\n  }\n  return width;\n}\n\nfunction pad(text: string, width: number): string {\n  return text + \" \".repeat(Math.max(0, width - displayWidth(text)));\n}\n\nexport function renderMonospaceTable(table: MarkdownTable): string {\n  const columns = table.headers.length;\n  const rows = table.rows.map((row) =>\n    Array.from({ length: columns }, (_, index) => row[index] ?? \"\"),\n  );\n  const widths = Array.from({ length: columns }, (_, index) =>\n    Math.max(\n      displayWidth(table.headers[index] ?? \"\"),\n      ...rows.map((row) => displayWidth(row[index] ?? \"\")),\n    ),\n  );\n  const line = (cells: string[]): string =>\n    cells\n      .map((cell, index) => pad(cell, widths[index] ?? 0))\n      .join(\"  \")\n      .trimEnd();\n  return [\n    line(table.headers),\n    widths.map((width) => \"─\".repeat(width)).join(\"  \"),\n    ...rows.map(line),\n  ].join(\"\\n\");\n}\n"]}

package/dist/{platform-messages.d.ts → adapters/messages.d.ts}

@@ -1,12 +1,13 @@
-import type { MessagingBot, MessagingInfo } from "./adapter.js";
+import type { MessagingBot, MessagingInfo } from "../types.js";
 export declare const PRODUCT_NAME = "mikan";
 type PlatformSource = MessagingBot | MessagingInfo | string;
 export declare function formatNothingRunning(source: PlatformSource): string;
 export declare function formatStopping(source: PlatformSource): string;
 export declare function formatStopped(source: PlatformSource): string;
+export declare function formatRestarting(source: PlatformSource): string;
 export declare function formatAlreadyWorking(source: PlatformSource, stopCommand: string, options?: {
     scope?: "thread";
 }): string;
 export declare function formatForceStopped(source: PlatformSource, actorLabel: string): string;
 export {};
-//# sourceMappingURL=platform-messages.d.ts.map
+//# sourceMappingURL=messages.d.ts.map

package/dist/adapters/messages.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"messages.d.ts","sourceRoot":"","sources":["../../src/adapters/messages.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE/D,eAAO,MAAM,YAAY,UAAU,CAAC;AAEpC,KAAK,cAAc,GAAG,YAAY,GAAG,aAAa,GAAG,MAAM,CAAC;AAoB5D,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CAEnE;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CAE7D;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CAE5D;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CAK/D;AAED,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,cAAc,EACtB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE;IAAE,KAAK,CAAC,EAAE,QAAQ,CAAA;CAAE,GAC7B,MAAM,CAMR;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAErF"}

package/dist/{platform-messages.js → adapters/messages.js}

@@ -24,6 +24,9 @@ export function formatStopping(source) {
 export function formatStopped(source) {
     return formatItalic(resolvePlatformName(source), "Stopped.");
 }
+export function formatRestarting(source) {
+    return formatItalic(resolvePlatformName(source), "Restarting for an update; this reply was interrupted. Please send your message again.");
+}
 export function formatAlreadyWorking(source, stopCommand, options) {
     const platformName = resolvePlatformName(source);
     const command = formatCode(platformName, stopCommand);
@@ -33,4 +36,4 @@ export function formatAlreadyWorking(source, stopCommand, options) {
 export function formatForceStopped(source, actorLabel) {
     return formatItalic(resolvePlatformName(source), `Force stopped by ${actorLabel}.`);
 }
-//# sourceMappingURL=platform-messages.js.map
+//# sourceMappingURL=messages.js.map

package/dist/adapters/messages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"messages.js","sourceRoot":"","sources":["../../src/adapters/messages.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,YAAY,GAAG,OAAO,CAAC;AAIpC,SAAS,mBAAmB,CAAC,MAAsB;IACjD,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC9C,IAAI,kBAAkB,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC,gBAAgB,EAAE,CAAC,IAAI,CAAC;IACxE,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,SAAS,sBAAsB,CAAC,YAAoB;IAClD,OAAO,YAAY,KAAK,UAAU,CAAC;AACrC,CAAC;AAED,SAAS,YAAY,CAAC,YAAoB,EAAE,IAAY;IACtD,OAAO,sBAAsB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;AACnE,CAAC;AAED,SAAS,UAAU,CAAC,YAAoB,EAAE,IAAY;IACpD,OAAO,sBAAsB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC;AACvF,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAAsB;IACzD,OAAO,YAAY,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAsB;IACnD,OAAO,YAAY,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAAsB;IAClD,OAAO,YAAY,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,MAAsB;IACrD,OAAO,YAAY,CACjB,mBAAmB,CAAC,MAAM,CAAC,EAC3B,uFAAuF,CACxF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,MAAsB,EACtB,WAAmB,EACnB,OAA8B;IAE9B,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,UAAU,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IACtD,MAAM,MAAM,GACV,OAAO,EAAE,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,kBAAkB,CAAC;IACvF,OAAO,YAAY,CAAC,YAAY,EAAE,GAAG,MAAM,SAAS,OAAO,aAAa,CAAC,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAsB,EAAE,UAAkB;IAC3E,OAAO,YAAY,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,oBAAoB,UAAU,GAAG,CAAC,CAAC;AACtF,CAAC","sourcesContent":["import type { MessagingBot, MessagingInfo } from \"../types.js\";\n\nexport const PRODUCT_NAME = \"mikan\";\n\ntype PlatformSource = MessagingBot | MessagingInfo | string;\n\nfunction resolvePlatformName(source: PlatformSource): string {\n  if (typeof source === \"string\") return source;\n  if (\"getMessagingInfo\" in source) return source.getMessagingInfo().name;\n  return source.name;\n}\n\nfunction supportsHtmlFormatting(platformName: string): boolean {\n  return platformName === \"telegram\";\n}\n\nfunction formatItalic(platformName: string, text: string): string {\n  return supportsHtmlFormatting(platformName) ? text : `_${text}_`;\n}\n\nfunction formatCode(platformName: string, text: string): string {\n  return supportsHtmlFormatting(platformName) ? `<code>${text}</code>` : `\\`${text}\\``;\n}\n\nexport function formatNothingRunning(source: PlatformSource): string {\n  return formatItalic(resolvePlatformName(source), \"Nothing running.\");\n}\n\nexport function formatStopping(source: PlatformSource): string {\n  return formatItalic(resolvePlatformName(source), \"Stopping…\");\n}\n\nexport function formatStopped(source: PlatformSource): string {\n  return formatItalic(resolvePlatformName(source), \"Stopped.\");\n}\n\nexport function formatRestarting(source: PlatformSource): string {\n  return formatItalic(\n    resolvePlatformName(source),\n    \"Restarting for an update; this reply was interrupted. Please send your message again.\",\n  );\n}\n\nexport function formatAlreadyWorking(\n  source: PlatformSource,\n  stopCommand: string,\n  options?: { scope?: \"thread\" },\n): string {\n  const platformName = resolvePlatformName(source);\n  const command = formatCode(platformName, stopCommand);\n  const prefix =\n    options?.scope === \"thread\" ? \"Already working in this thread.\" : \"Already working.\";\n  return formatItalic(platformName, `${prefix} Send ${command} to cancel.`);\n}\n\nexport function formatForceStopped(source: PlatformSource, actorLabel: string): string {\n  return formatItalic(resolvePlatformName(source), `Force stopped by ${actorLabel}.`);\n}\n"]}

package/dist/adapters/progressive-renderer.d.ts

@@ -0,0 +1,7 @@
+import type { ChatToolResult, ConversationResponder } from "../types.js";
+import type { ProgressiveRendererPlatform } from "./types.js";
+export declare function formatMarkdownToolResult(result: ChatToolResult): string;
+export declare function createProgressiveRenderer(platform: ProgressiveRendererPlatform): {
+    responder: ConversationResponder;
+};
+//# sourceMappingURL=progressive-renderer.d.ts.map

package/dist/adapters/progressive-renderer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"progressive-renderer.d.ts","sourceRoot":"","sources":["../../src/adapters/progressive-renderer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,qBAAqB,EAA4B,MAAM,aAAa,CAAC;AAGnG,OAAO,KAAK,EAA8B,2BAA2B,EAAE,MAAM,YAAY,CAAC;AAI1F,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CASvE;AAmgBD,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE,2BAA2B,GAAG;IAChF,SAAS,EAAE,qBAAqB,CAAC;CAClC,CAEA"}

package/dist/adapters/progressive-renderer.js

@@ -0,0 +1,423 @@
+import * as log from "../log.js";
+import { createChatResponseErrorReporter, splitText } from "./shared.js";
+import { formatToolArgs } from "../harness/tool-args.js";
+import { errorMessage } from "../unknown-values.js";
+export function formatMarkdownToolResult(result) {
+    const argsFormatted = formatToolArgs(result.args);
+    const duration = (result.durationMs / 1000).toFixed(1);
+    let text = `**${result.isError ? "Error" : "Done"} ${result.toolName}**`;
+    if (result.label)
+        text += `: ${result.label}`;
+    text += ` (${duration}s)\n`;
+    if (argsFormatted)
+        text += `\`\`\`\n${argsFormatted}\n\`\`\`\n`;
+    text += `**Result:**\n\`\`\`\n${result.result}\n\`\`\``;
+    return text;
+}
+const DEFAULT_FLUSH_INTERVAL_MS = 1000;
+class ProgressiveRenderer {
+    constructor(platform) {
+        this.platform = platform;
+        this.now = Date.now;
+        this.queueTail = Promise.resolve();
+        this.state = {
+            responseId: platform.initialResponseId ?? null,
+            source: "",
+            working: true,
+            streamActive: false,
+            streamUnavailable: false,
+            streamedSource: "",
+            pendingChars: 0,
+            lastFlushAt: 0,
+            resetDelta: false,
+            typingInterval: null,
+            typingFailureWarned: false,
+            extraIds: [],
+            continuationIds: [],
+        };
+        this.sanitize = platform.sanitize ?? ((text) => text);
+        this.reportResponseError = platform.responseErrorContext
+            ? createChatResponseErrorReporter(() => platform.responseErrorContext(this.state.responseId))
+            : undefined;
+        this.flushIntervalMs = platform.flushIntervalMs ?? DEFAULT_FLUSH_INTERVAL_MS;
+        this.responder = this.createResponder();
+    }
+    createResponder() {
+        return {
+            respond: (text) => this.respond(text),
+            appendResponseDelta: this.platform.supportsDeltas || this.platform.stream
+                ? (delta) => this.appendDelta(delta)
+                : undefined,
+            finishResponse: this.platform.supportsDeltas || this.platform.stream
+                ? (finalText) => this.finishResponse(finalText)
+                : undefined,
+            replaceResponse: (text, options) => this.replaceResponse(text, options),
+            replaceSubagentProgress: this.platform.formatSubagentProgress
+                ? (progress, finalText) => this.replaceSubagentProgress(progress, finalText)
+                : undefined,
+            respondDiagnostic: (text, options) => this.respondDiagnostic(text, options),
+            respondToolResult: (result) => this.respondToolResult(result),
+            setTyping: (isTyping) => this.setTyping(isTyping),
+            setWorking: (working) => this.setWorking(working),
+            uploadFile: (filePath, title) => this.uploadFile(filePath, title),
+            react: this.platform.react,
+            deleteResponse: () => this.deleteResponse(),
+        };
+    }
+    stopTyping() {
+        if (this.state.typingInterval !== null) {
+            clearInterval(this.state.typingInterval);
+            this.state.typingInterval = null;
+        }
+    }
+    provisional(text, working) {
+        if (this.platform.formatProvisional)
+            return this.platform.formatProvisional(text, working);
+        return working && this.platform.workingIndicator ? text + this.platform.workingIndicator : text;
+    }
+    split(text) {
+        return splitText(text, this.platform.maxLength, this.platform.formatContinuation);
+    }
+    async postOrUpdate(text) {
+        if (this.state.responseId !== null) {
+            await this.platform.update(this.state.responseId, text);
+            return;
+        }
+        if (this.platform.typing?.stopOnSend)
+            this.stopTyping();
+        this.state.responseId = await this.platform.post(text);
+    }
+    async postSplit(text) {
+        const [head = text, ...tail] = this.split(text);
+        await this.postOrUpdate(head);
+        for (const [index, part] of tail.entries()) {
+            const existing = this.state.continuationIds[index];
+            if (existing !== undefined) {
+                await this.platform.update(String(existing), part);
+                continue;
+            }
+            if (this.platform.typing?.stopOnSend)
+                this.stopTyping();
+            const id = await this.platform.postExtra(part, this.state.responseId);
+            if (id !== undefined && id !== null)
+                this.state.continuationIds[index] = id;
+        }
+    }
+    async postExtra(text) {
+        if (this.platform.typing?.stopOnSend)
+            this.stopTyping();
+        await this.platform.postExtra(text, this.state.responseId);
+    }
+    async stopNativeStream() {
+        if (!this.state.streamActive || this.state.responseId === null || !this.platform.stream)
+            return;
+        const streamId = this.state.responseId;
+        this.state.streamActive = false;
+        this.state.streamedSource = "";
+        await this.platform.stream.stop(streamId);
+    }
+    async abandonNativeStream() {
+        if (!this.platform.stream || this.state.responseId === null)
+            return;
+        const streamId = this.state.responseId;
+        this.state.streamActive = false;
+        this.state.streamedSource = "";
+        await this.platform.stream.stop(streamId).catch(() => undefined);
+        if (this.state.responseId === streamId)
+            this.state.responseId = null;
+    }
+    async renderRaw(text, operation, options, canonicalText = text) {
+        try {
+            await this.postSplit(text);
+            return canonicalText;
+        }
+        catch (err) {
+            if (!this.platform.handleTooLong)
+                throw err;
+            if (this.platform.isTooLongError && !this.platform.isTooLongError(err))
+                throw err;
+            const fallback = await this.platform.handleTooLong({
+                text: canonicalText,
+                operation,
+                options,
+                responseId: this.state.responseId,
+                write: (fallbackText) => this.postSplit(fallbackText),
+                getResponseId: () => this.state.responseId,
+            });
+            return fallback.text;
+        }
+    }
+    async renderDelta(text) {
+        if (this.state.working && !text.trim())
+            return text;
+        const prepared = this.platform.prepareSource?.(text, this.state.working) ?? text;
+        const stream = this.platform.stream;
+        const display = this.provisional(prepared, this.state.working);
+        if (!stream || this.state.streamUnavailable) {
+            await this.renderRaw(display, "render", undefined, prepared);
+            return prepared;
+        }
+        if (this.state.responseId !== null && !this.state.streamActive) {
+            await this.renderRaw(display, "render", undefined, prepared);
+            return prepared;
+        }
+        if (this.state.responseId !== null &&
+            this.state.streamActive &&
+            !prepared.startsWith(this.state.streamedSource)) {
+            await this.abandonNativeStream();
+            await this.renderRaw(display, "render", undefined, prepared);
+            return prepared;
+        }
+        try {
+            if (this.state.responseId !== null) {
+                const delta = prepared.slice(this.state.streamedSource.length);
+                if (delta && delta.length >= (stream.minDeltaChars ?? 0)) {
+                    await stream.append(this.state.responseId, delta);
+                    this.state.streamedSource = prepared;
+                }
+                return prepared;
+            }
+            this.state.responseId = await stream.start(prepared);
+            this.state.streamActive = true;
+            this.state.streamedSource = prepared;
+            return prepared;
+        }
+        catch (err) {
+            this.state.streamUnavailable = true;
+            log.logWarning("Native response streaming unavailable; falling back to message updates", errorMessage(err));
+            await this.abandonNativeStream();
+            await this.renderRaw(display, "render", undefined, prepared);
+            return prepared;
+        }
+    }
+    async renderFinal(text) {
+        const stream = this.platform.stream;
+        if (stream && this.state.streamActive && this.state.responseId !== null) {
+            let streamed = false;
+            try {
+                if (text.startsWith(this.state.streamedSource)) {
+                    const delta = text.slice(this.state.streamedSource.length);
+                    if (delta)
+                        await stream.append(this.state.responseId, delta);
+                    await stream.stop(this.state.responseId);
+                    streamed = true;
+                }
+            }
+            catch (err) {
+                this.state.streamUnavailable = true;
+                log.logWarning("Native response streaming unavailable; falling back to message updates", errorMessage(err));
+            }
+            this.state.streamActive = false;
+            this.state.streamedSource = "";
+            if (streamed) {
+                if (this.platform.needsCanonicalRender?.(text))
+                    await this.renderRaw(text, "render");
+                return text;
+            }
+            await this.abandonNativeStream();
+        }
+        if (this.state.responseId !== null || text)
+            return this.renderRaw(text, "render");
+        return text;
+    }
+    async run(label, operation, work, extra) {
+        const operationPromise = this.queueTail.then(work);
+        const handled = operationPromise.catch(async (err) => {
+            const message = errorMessage(err);
+            log.logWarning(`${this.platform.label} ${label} error`, message);
+            this.reportResponseError?.(err, operation, extra());
+            if (this.platform.notifySendFailure) {
+                try {
+                    await this.platform.notifySendFailure(message);
+                }
+                catch { }
+            }
+            if (label === "replaceResponse" || label === "finishResponse")
+                throw err;
+        });
+        this.queueTail = handled.catch(() => undefined);
+        return handled;
+    }
+    async appendDelta(delta) {
+        await this.run("appendResponseDelta", "respond", async () => {
+            if (!delta)
+                return;
+            if (this.state.resetDelta) {
+                this.state.source = "";
+                this.state.pendingChars = 0;
+                this.state.resetDelta = false;
+            }
+            const sanitized = this.sanitize(delta);
+            this.state.source += sanitized;
+            this.state.pendingChars += sanitized.length;
+            const elapsed = this.now() - this.state.lastFlushAt;
+            if (this.state.lastFlushAt === 0 ||
+                (elapsed >= this.flushIntervalMs && this.state.pendingChars > 0)) {
+                this.state.pendingChars = 0;
+                try {
+                    this.state.source = await this.renderDelta(this.state.source);
+                }
+                finally {
+                    this.state.lastFlushAt = this.now();
+                }
+            }
+        }, () => ({ textLength: delta.length, accumulatedLength: this.state.source.length }));
+    }
+    async respond(text) {
+        await this.run("respond", "respond", async () => {
+            const sanitized = this.sanitize(text);
+            this.state.source = this.state.source ? `${this.state.source}\n${sanitized}` : sanitized;
+            this.state.pendingChars = 0;
+            this.state.source = await this.renderDelta(this.state.source);
+            if (this.state.responseId !== null && this.platform.logIntermediateResponses) {
+                this.platform.logBotResponse?.(text, this.state.responseId);
+            }
+        }, () => ({
+            phase: this.state.responseId ? "update" : "initial_post",
+            textLength: text.length,
+            accumulatedLength: this.state.source.length,
+        }));
+    }
+    async finishResponse(finalText) {
+        await this.run("finishResponse", "set_working", async () => {
+            if (finalText !== undefined)
+                this.state.source = this.sanitize(finalText);
+            this.state.resetDelta = false;
+            this.state.pendingChars = 0;
+            this.stopTyping();
+            this.state.working = false;
+            this.state.source = await this.renderFinal(this.state.source);
+            if (this.state.responseId !== null) {
+                this.platform.logBotResponse?.(this.state.source, this.state.responseId);
+            }
+            await this.platform.onFinish?.(this.state.source, this.state.responseId);
+        }, () => ({ finalTextLength: finalText?.length }));
+    }
+    async replaceResponse(text, options) {
+        await this.run("replaceResponse", "replace_response", async () => {
+            this.state.source = this.sanitize(text);
+            this.state.pendingChars = 0;
+            this.state.resetDelta = true;
+            if (this.state.streamActive)
+                await this.stopNativeStream();
+            if (this.state.working && !this.state.source.trim())
+                return;
+            const prepared = this.platform.prepareSource?.(this.state.source, this.state.working) ?? this.state.source;
+            this.state.source = await this.renderRaw(this.provisional(prepared, this.state.working), "replace", options, prepared);
+        }, () => ({ textLength: text.length, hadExistingResponse: Boolean(this.state.responseId) }));
+    }
+    async replaceSubagentProgress(progress, finalText) {
+        const dashboard = this.platform.formatSubagentProgress(progress);
+        await this.responder.replaceResponse(finalText ? `${dashboard}\n\n${finalText}` : dashboard);
+    }
+    async respondDiagnostic(text, options = {}) {
+        await this.run("respondDiagnostic", "respond_diagnostic", async () => {
+            const ids = this.platform.postDiagnostic
+                ? await this.platform.postDiagnostic(text, options, this.state.responseId)
+                : await this.postDefaultDiagnostic(text, options);
+            this.state.extraIds.push(...ids);
+        }, () => ({ textLength: text.length, style: options.style }));
+    }
+    async respondToolResult(result) {
+        await this.responder.respondDiagnostic(this.platform.formatToolResult(result));
+    }
+    async setTyping(isTyping) {
+        await this.run("setTyping", "set_working", async () => {
+            if (this.platform.setTyping) {
+                await this.platform.setTyping(isTyping, this.state.responseId);
+                return;
+            }
+            const typing = this.platform.typing;
+            if (!typing)
+                return;
+            const onTypingError = (err) => {
+                if (this.state.typingFailureWarned)
+                    return;
+                this.state.typingFailureWarned = true;
+                log.logWarning(`${this.platform.label} sendTyping failed (further occurrences suppressed for this session)`, errorMessage(err));
+            };
+            if (isTyping && this.state.typingInterval === null) {
+                typing.send().catch(onTypingError);
+                this.state.typingInterval = setInterval(() => {
+                    typing.send().catch(onTypingError);
+                }, typing.intervalMs);
+            }
+            else if (!isTyping) {
+                this.stopTyping();
+            }
+        }, () => ({ working: isTyping }));
+    }
+    async setWorking(working) {
+        await this.run("setWorking", "set_working", async () => {
+            this.state.working = working;
+            if (!working)
+                this.stopTyping();
+            await this.platform.onWorkingChanged?.(working, this.state.responseId);
+            if (this.state.responseId === null ||
+                (!this.platform.workingIndicator && !this.platform.stream)) {
+                return;
+            }
+            if (working && !this.state.source.trim())
+                return;
+            if (this.state.streamActive && !working) {
+                await this.stopNativeStream();
+                return;
+            }
+            if (this.state.responseId !== null) {
+                this.state.source = await this.renderRaw(this.provisional(this.state.source, working), "render", undefined, this.state.source);
+            }
+        }, () => ({ working }));
+    }
+    async uploadFile(filePath, title) {
+        if (this.platform.uploadFile) {
+            await this.platform.uploadFile(filePath, title);
+            return;
+        }
+        const note = this.platform.uploadFallbackNote?.(title ?? filePath);
+        if (note === undefined)
+            return;
+        await this.run("uploadFile", "respond_diagnostic", () => this.postExtra(note), () => ({ filePath }));
+    }
+    async deleteResponse() {
+        await this.run("deleteResponse", "respond", async () => {
+            this.stopTyping();
+            if (this.state.streamActive)
+                await this.stopNativeStream().catch(() => undefined);
+            for (const id of [...this.state.extraIds, ...this.state.continuationIds]) {
+                try {
+                    await this.platform.deleteExtra?.(id);
+                }
+                catch { }
+            }
+            this.state.extraIds = [];
+            this.state.continuationIds = [];
+            if (this.state.responseId !== null) {
+                try {
+                    await this.platform.delete?.(this.state.responseId);
+                }
+                catch { }
+            }
+            this.state.responseId = null;
+            this.state.source = "";
+            this.state.streamUnavailable = false;
+            this.state.streamedSource = "";
+            this.state.streamActive = false;
+            this.state.resetDelta = false;
+            this.state.working = true;
+        }, () => ({}));
+    }
+    async postDefaultDiagnostic(text, options) {
+        const prefix = options.style === "error" ? this.platform.errorPrefix : "";
+        const ids = [];
+        for (const part of this.split(this.sanitize(`${prefix}${text}`))) {
+            const id = await this.platform.postExtra(part, this.state.responseId);
+            if (typeof id === "string" || typeof id === "number")
+                ids.push(id);
+        }
+        return ids;
+    }
+}
+export function createProgressiveRenderer(platform) {
+    return { responder: new ProgressiveRenderer(platform).responder };
+}
+//# sourceMappingURL=progressive-renderer.js.map