archymedes-cli 2.2.0 → 2.5.0

package/dist/{archymedes-pg3pvh9r.mjs → archymedes-138genyy.mjs}

@@ -1,15 +1,20 @@
 import {
   padToWidth,
   progressBar,
+  scrollIndicator,
+  scrollPercent,
   sliceToWidth
-} from "./archymedes-r54qthg5.mjs";
+} from "./archymedes-5vhvv8kr.mjs";
+import {
+  clip
+} from "./archymedes-bmtdqqwt.mjs";
 import {
   ASCII_GLYPHS,
   UNICODE_GLYPHS,
   visibleWidth
-} from "./archymedes-5zn4zp84.mjs";
+} from "./archymedes-130jt0wr.mjs";
 
-// packages/archymedes-cli/src/canvas.ts
+// packages/archymedes-cli/src/render/canvas.ts
 var BRAILLE_DOTS = [
   [1, 2, 4, 64],
   [8, 16, 32, 128]
@@ -95,7 +100,7 @@ function seriesBounds(values) {
   return { low, high, span: high - low === 0 ? 1 : high - low };
 }
 
-// packages/archymedes-cli/src/charts.ts
+// packages/archymedes-cli/src/render/charts.ts
 function barChart(data, options) {
   if (data.length === 0)
     return [];
@@ -253,4 +258,208 @@ function heatStrip(data, options) {
   });
 }
 
-export { BrailleCanvas, dotRowFor, seriesBounds, barChart, lineChart, plotSeries, scatterChart, waveLine, StreamSeries, heatStrip };
+// packages/archymedes-cli/src/ui/workspace-model.ts
+function paneHeight(rows) {
+  return Math.max(1, rows - 4);
+}
+function selectedPane(snapshot) {
+  if (snapshot.panes.length === 0)
+    return;
+  const index = Math.max(0, Math.min(snapshot.selected, snapshot.panes.length - 1));
+  return snapshot.panes[index];
+}
+function visibleLines(pane, height, scroll) {
+  const clamped = Math.max(0, Math.min(scroll, Math.max(0, pane.lines.length - height)));
+  const end = pane.lines.length - clamped;
+  return pane.lines.slice(Math.max(0, end - height), end);
+}
+function atLiveEdge(pane, height, scroll) {
+  return Math.min(scroll, Math.max(0, pane.lines.length - height)) === 0;
+}
+function keyToAction(key, character) {
+  const name = key.name ?? "";
+  const isEscape = name === "escape" || name === "\x1B";
+  const isEnter = name === "return" || name === "enter" || name === "\r" || name === `
+`;
+  if (isEscape || name === "q" && !key.ctrl || key.ctrl && name === "c")
+    return { kind: "exit" };
+  if (isEnter)
+    return { kind: "focus" };
+  if (name === "tab")
+    return { kind: "cycle", step: key.shift ? -1 : 1 };
+  if (name === "left")
+    return { kind: "cycle", step: -1 };
+  if (name === "right")
+    return { kind: "cycle", step: 1 };
+  if (name === "up" || name === "k")
+    return { kind: "scroll", lines: 1 };
+  if (name === "down" || name === "j")
+    return { kind: "scroll", lines: -1 };
+  if (name === "pageup")
+    return { kind: "scroll", lines: 10 };
+  if (name === "pagedown")
+    return { kind: "scroll", lines: -10 };
+  if (name === "home" || character === "g")
+    return { kind: "top" };
+  if (name === "end" || character === "G")
+    return { kind: "bottom" };
+  const digit = character && /^[1-9]$/.test(character) ? Number(character) : undefined;
+  if (digit !== undefined)
+    return { kind: "select", index: digit - 1 };
+  return { kind: "none" };
+}
+function applyAction(snapshot, action) {
+  const count = snapshot.panes.length;
+  if (count === 0 || action.kind === "none" || action.kind === "exit" || action.kind === "focus")
+    return snapshot;
+  if (action.kind === "select") {
+    if (action.index < 0 || action.index >= count)
+      return snapshot;
+    return { ...snapshot, selected: action.index, scroll: 0 };
+  }
+  if (action.kind === "cycle") {
+    const next = ((snapshot.selected + action.step) % count + count) % count;
+    return { ...snapshot, selected: next, scroll: 0 };
+  }
+  const pane = selectedPane(snapshot);
+  const height = paneHeight(snapshot.rows);
+  const furthest = Math.max(0, (pane?.lines.length ?? 0) - height);
+  if (action.kind === "bottom")
+    return { ...snapshot, scroll: 0 };
+  if (action.kind === "top")
+    return { ...snapshot, scroll: furthest };
+  return { ...snapshot, scroll: Math.max(0, Math.min(snapshot.scroll + action.lines, furthest)) };
+}
+function paneTabs(snapshot) {
+  const selected = Math.max(0, Math.min(snapshot.selected, snapshot.panes.length - 1));
+  return snapshot.panes.map((pane, index) => ({
+    label: `${index + 1} ${pane.title}`,
+    active: index === selected,
+    status: pane.status
+  }));
+}
+
+class PaneActivity {
+  capacity;
+  series = new Map;
+  seen = new Map;
+  constructor(capacity = 48) {
+    this.capacity = capacity;
+  }
+  sample(panes) {
+    const live = new Set(panes.map((pane) => pane.key));
+    for (const key of [...this.series.keys()]) {
+      if (!live.has(key)) {
+        this.series.delete(key);
+        this.seen.delete(key);
+      }
+    }
+    const result = new Map;
+    for (const pane of panes) {
+      const produced = pane.lines.length + pane.dropped;
+      const previous = this.seen.get(pane.key);
+      this.seen.set(pane.key, produced);
+      const stream = this.series.get(pane.key) ?? new StreamSeries(this.capacity);
+      this.series.set(pane.key, stream);
+      if (previous !== undefined)
+        stream.push(Math.max(0, produced - previous));
+      result.set(pane.key, stream.values());
+    }
+    return result;
+  }
+}
+function tabPanes(views, linesFor) {
+  return views.map((view) => {
+    const record = linesFor(view.id);
+    const where = view.backend && view.backend !== "local" ? ` · ${view.backend}` : "";
+    return {
+      kind: "tab",
+      key: `${view.id}`,
+      title: view.title,
+      subtitle: `${view.model ?? "model unknown"}${where}${view.cost ? ` · ${view.cost}` : ""}`,
+      status: view.status,
+      lines: record.lines,
+      dropped: record.dropped
+    };
+  });
+}
+var STATUS_MARK = {
+  running: "●",
+  failed: "✕",
+  done: "✓",
+  idle: " "
+};
+var WORKSPACE_LEGEND = "1-9 pane · ←→ move · ↑↓ scroll · g/G ends · Esc back";
+function paneBar(snapshot, columns) {
+  const tabs = paneTabs(snapshot);
+  const cells = tabs.map((tab) => ` ${STATUS_MARK[tab.status] ?? " "}${tab.label} `);
+  const full = cells.join("");
+  if (full.length <= columns)
+    return full || " no panes ";
+  const selected = Math.max(0, Math.min(snapshot.selected, tabs.length - 1));
+  return `${selected > 0 ? "‹ " : ""}${cells[selected] ?? " no panes "}${selected < tabs.length - 1 ? " ›" : ""}`;
+}
+function composeFrame(snapshot) {
+  const rows = [];
+  const columns = Math.max(1, Math.floor(snapshot.columns));
+  const rowCount = Math.max(1, Math.floor(snapshot.rows));
+  const pane = selectedPane(snapshot);
+  const height = paneHeight(rowCount);
+  const theme = snapshot.palette.tokens;
+  const bar = paneBar(snapshot, columns);
+  rows.push({ text: bar || " no panes ", bold: true, color: theme.primary });
+  const scrolled = pane && !atLiveEdge(pane, height, snapshot.scroll);
+  const position = (() => {
+    if (!pane || !scrolled)
+      return "";
+    const maxOffset = Math.max(0, pane.lines.length - height);
+    const offsetFromTop = maxOffset - Math.min(snapshot.scroll, maxOffset);
+    return scrollIndicator(scrollPercent(offsetFromTop, pane.lines.length, height));
+  })();
+  const dropped = pane && pane.dropped > 0 ? `  (${pane.dropped} earlier lines dropped)` : "";
+  const header = pane ? `${pane.title}  ${pane.subtitle}${dropped}` : "nothing open";
+  const activityWidth = Math.min(24, Math.max(0, columns - visibleWidth(header) - 3));
+  const activity = pane?.activity && pane.activity.length > 1 && activityWidth >= 8 ? `  ${waveLine(pane.activity, { width: activityWidth })}` : "";
+  rows.push({
+    text: pane ? `${header}${activity}` : header,
+    bold: true,
+    color: pane?.status === "failed" ? theme.error : pane?.status === "running" ? theme.success : theme.accent
+  });
+  const body = pane ? visibleLines(pane, height, snapshot.scroll) : [];
+  for (let index = 0;index < height; index += 1)
+    rows.push({ text: body[index] ?? "" });
+  while (rows.length < rowCount - 1)
+    rows.push({ text: "" });
+  rows.length = Math.max(0, rowCount - 1);
+  rows.push({
+    text: `${WORKSPACE_LEGEND}${scrolled ? `   ▲ scrolled back  ${position}` : ""}`,
+    dim: true,
+    color: theme.textMuted
+  });
+  return rows.map((row) => ({ ...row, text: clip(row.text, columns) }));
+}
+function buildWorkspaceSnapshot(input) {
+  const panes = [
+    ...tabPanes(input.views, input.linesFor),
+    ...input.jobs.map((job) => ({
+      kind: "job",
+      key: job.id,
+      title: `job ${job.id.slice(-6)}`,
+      subtitle: job.objective,
+      status: job.done ? "done" : "running",
+      lines: job.lines,
+      dropped: job.dropped
+    }))
+  ];
+  const activity = input.activity.sample(panes);
+  return {
+    panes: panes.map((pane) => ({ ...pane, activity: activity.get(pane.key) })),
+    selected: Math.max(0, input.views.findIndex((view) => view.active)),
+    scroll: 0,
+    palette: input.palette,
+    columns: input.columns,
+    rows: input.rows
+  };
+}
+
+export { barChart, lineChart, plotSeries, scatterChart, waveLine, heatStrip, keyToAction, applyAction, PaneActivity, composeFrame, buildWorkspaceSnapshot };

package/dist/{archymedes-sc3mwttb.mjs → archymedes-2kvjaajw.mjs}

@@ -1,18 +1,22 @@
 import {
-  CYAN,
-  DIM,
-  GREEN,
   GUTTER,
-  MAGENTA,
-  RED,
   clip,
-  paint
-} from "./archymedes-cdgejs3p.mjs";
+  panel
+} from "./archymedes-bmtdqqwt.mjs";
 import {
-  UNICODE_GLYPHS
-} from "./archymedes-5zn4zp84.mjs";
+  BOLD,
+  DIM,
+  UNICODE_GLYPHS,
+  codeStyle,
+  highlightSyntax,
+  newSyntaxState,
+  paint,
+  paintAll,
+  roleCode,
+  visibleWidth
+} from "./archymedes-130jt0wr.mjs";
 
-// packages/archymedes-cli/src/code-view.ts
+// packages/archymedes-cli/src/render/code-view.ts
 var MAX_DIFF_CELLS = 250000;
 function diffLines(before, after) {
   const left = before === "" ? [] : before.split(`
@@ -57,6 +61,12 @@ function diffLines(before, after) {
   }
   return result;
 }
+function diffStat(diff) {
+  return {
+    added: diff.filter((line) => line.kind === "add").length,
+    removed: diff.filter((line) => line.kind === "remove").length
+  };
+}
 function condenseDiff(diff, context = 2) {
   const keep = new Array(diff.length).fill(false);
   diff.forEach((line, index) => {
@@ -186,7 +196,9 @@ var KEYWORDS = new Set([
   "yield"
 ]);
 var LITERALS = new Set(["true", "false", "null", "nil", "None", "True", "False", "undefined", "self", "this"]);
-function highlightCode(line, depth) {
+function highlightCode(line, depth, palette, language, state) {
+  if (codeStyle().colors === "vscode")
+    return highlightSyntax(line, { depth, palette, ...language ? { language } : {}, ...state ? { state } : {} });
   if (depth === "none")
     return line;
   const commentAt = findCommentStart(line);
@@ -194,13 +206,13 @@ function highlightCode(line, depth) {
   const comment = commentAt === -1 ? "" : paint(line.slice(commentAt), DIM, depth);
   const painted = code.replace(/("(?:[^"\\]|\\.)*"|'(?:[^'\\]|\\.)*'|`(?:[^`\\]|\\.)*`)|\b(\d+(?:\.\d+)?)\b|\b([A-Za-z_$][\w$]*)\b/g, (whole, text, numeric, word) => {
     if (text !== undefined)
-      return paint(text, GREEN, depth);
+      return paint(text, roleCode("success", palette, depth), depth);
     if (numeric !== undefined)
-      return paint(numeric, MAGENTA, depth);
+      return paint(numeric, roleCode("accent", palette, depth), depth);
     if (word !== undefined && KEYWORDS.has(word))
-      return paint(word, CYAN, depth);
+      return paint(word, roleCode("primary", palette, depth), depth);
     if (word !== undefined && LITERALS.has(word))
-      return paint(word, MAGENTA, depth);
+      return paint(word, roleCode("accent", palette, depth), depth);
     return whole;
   });
   return `${painted}${comment}`;
@@ -239,11 +251,14 @@ function renderCode(content, style, options = {}) {
   const start = options.startLine ?? 1;
   const numberWidth = String(start + lines.length - 1).length;
   const bodyWidth = Math.max(8, style.width - GUTTER.length - numberWidth - 4);
-  const render = (from, to) => lines.slice(from, to).map((line, index) => {
-    const number = paint(String(start + from + index).padStart(numberWidth), DIM, style.depth);
-    const painted = options.highlight === false ? line : highlightCode(line, style.depth);
-    return `${number} ${clip(painted, bodyWidth, glyphs)}`;
-  });
+  const render = (from, to) => {
+    const syntax = newSyntaxState();
+    return lines.slice(from, to).map((line, index) => {
+      const number = paint(String(start + from + index).padStart(numberWidth), DIM, style.depth);
+      const painted = options.highlight === false ? line : highlightCode(line, style.depth, style.palette, options.language, syntax);
+      return `${number} ${clip(painted, bodyWidth, glyphs)}`;
+    });
+  };
   const hidden = Math.max(0, lines.length - maxLines);
   const shown = render(0, hidden > 0 ? maxLines : lines.length);
   return {
@@ -259,12 +274,14 @@ function renderDiff(diff, style, options = {}) {
   const maxLines = options.maxLines ?? 16;
   const condensed = condenseDiff(diff);
   const bodyWidth = Math.max(8, style.width - GUTTER.length - 4);
+  const vscode = codeStyle().colors === "vscode" && style.depth !== "none";
+  const bandWidth = Math.min(bodyWidth, Math.max(0, ...diff.map((line) => [...line.text].length)));
   const row = (line) => {
     if (line.kind === "gap")
       return paint(`${glyphs.middot.repeat(3)} ${line.text}`, DIM, style.depth);
     const mark = line.kind === "add" ? glyphs.plus : line.kind === "remove" ? glyphs.minus : " ";
-    const code = line.kind === "add" ? GREEN : line.kind === "remove" ? RED : DIM;
-    const body = line.kind === "context" ? paint(line.text, DIM, style.depth) : highlightCode(line.text, style.depth);
+    const code = line.kind === "add" ? roleCode("success", style.palette, style.depth) : line.kind === "remove" ? roleCode("error", style.palette, style.depth) : DIM;
+    const body = line.kind === "context" ? vscode ? highlightCode(line.text, style.depth, style.palette, options.language) : paint(line.text, DIM, style.depth) : vscode ? highlightSyntax(line.text, { depth: style.depth, palette: style.palette, band: line.kind, padTo: bandWidth, ...options.language ? { language: options.language } : {} }) : highlightCode(line.text, style.depth, style.palette);
     return `${paint(mark, code, style.depth)} ${clip(body, bodyWidth, glyphs)}`;
   };
   const rows = condensed.map(row);
@@ -277,8 +294,32 @@ function renderDiff(diff, style, options = {}) {
 `)
   };
 }
-function describeChange(stat, depth) {
-  return `${paint(`+${stat.added}`, GREEN, depth)} ${paint(`-${stat.removed}`, RED, depth)}`;
+function renderFileChange(change, style, options = {}) {
+  const language = languageOf(change.path);
+  const block = change.kind === "edit" ? renderDiff(diffLines(change.before ?? "", change.after ?? ""), style, { maxLines: options.maxLines, language }) : renderCode(change.content ?? "", style, { maxLines: options.maxLines, language });
+  const badge = change.kind === "edit" ? (() => {
+    const stat = diffStat(diffLines(change.before ?? "", change.after ?? ""));
+    return `+${stat.added} -${stat.removed}`;
+  })() : `${(change.content ?? "").split(`
+`).length} lines · ${language}`;
+  const body = block.text.split(`
+`);
+  const foot = block.hidden > 0 && options.expandHint ? [paint(`${(style.glyphs ?? UNICODE_GLYPHS).collapsed} ${block.hidden} more line${block.hidden === 1 ? "" : "s"} — ${options.expandHint}`, DIM, style.depth)] : [];
+  return {
+    text: panel([...body, ...foot], style, { title: `${change.kind === "edit" ? "diff" : "new file"} · ${change.path}`, badge, tone: change.kind === "edit" ? "accent" : "good" }),
+    hidden: block.hidden,
+    full: panel(block.full.split(`
+`), style, { title: `${change.kind === "edit" ? "diff" : "new file"} · ${change.path}`, badge, tone: change.kind === "edit" ? "accent" : "good" })
+  };
+}
+function fenceHeader(language, style) {
+  const glyphs = style.glyphs ?? UNICODE_GLYPHS;
+  const label = language ? ` ${language} ` : glyphs.boxHorizontal.repeat(4);
+  const width = Math.max(0, style.width - GUTTER.length - visibleWidth(label) - 3);
+  return `${GUTTER}${paint(glyphs.boxTopLeft + glyphs.boxHorizontal, DIM, style.depth)}${paintAll(label, [roleCode("primary", style.palette, style.depth), BOLD], style.depth)}${paint(glyphs.boxHorizontal.repeat(Math.max(0, width)), DIM, style.depth)}`;
+}
+function describeChange(stat, depth, palette) {
+  return `${paint(`+${stat.added}`, roleCode("success", palette, depth), depth)} ${paint(`-${stat.removed}`, roleCode("error", palette, depth), depth)}`;
 }
 
-export { diffLines, languageOf, highlightCode, renderCode, renderDiff, describeChange };
+export { diffLines, diffStat, languageOf, highlightCode, renderCode, renderDiff, renderFileChange, fenceHeader, describeChange };