archymedes-cli 2.3.0 → 2.5.0

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

@@ -1,15 +1,20 @@
 import {
   padToWidth,
   progressBar,
+  scrollIndicator,
+  scrollPercent,
   sliceToWidth
-} from "./archymedes-g8y3rt6t.mjs";
+} from "./archymedes-5vhvv8kr.mjs";
+import {
+  clip
+} from "./archymedes-bmtdqqwt.mjs";
 import {
   ASCII_GLYPHS,
   UNICODE_GLYPHS,
   visibleWidth
-} from "./archymedes-a10k8yrk.mjs";
+} from "./archymedes-130jt0wr.mjs";
 
-// src/render/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 };
 }
 
-// src/render/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 { 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-h13ap0za.mjs → archymedes-1g1y6q74.mjs}

@@ -1,4 +1,4 @@
-// ../core/src/sandbox-policy.ts
+// packages/core/src/sandbox-policy.ts
 var ALLOWED_SANDBOX_PROGRAMS = [
   "bun",
   "npm",

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

@@ -2,18 +2,21 @@ import {
   GUTTER,
   clip,
   panel
-} from "./archymedes-tsne2m7p.mjs";
+} from "./archymedes-bmtdqqwt.mjs";
 import {
   BOLD,
   DIM,
   UNICODE_GLYPHS,
+  codeStyle,
+  highlightSyntax,
+  newSyntaxState,
   paint,
   paintAll,
   roleCode,
   visibleWidth
-} from "./archymedes-a10k8yrk.mjs";
+} from "./archymedes-130jt0wr.mjs";
 
-// src/render/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(`
@@ -193,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, palette) {
+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);
@@ -246,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, style.palette);
-    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 {
@@ -266,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" ? roleCode("success", style.palette, style.depth) : line.kind === "remove" ? roleCode("error", style.palette, style.depth) : DIM;
-    const body = line.kind === "context" ? paint(line.text, DIM, style.depth) : highlightCode(line.text, style.depth, style.palette);
+    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);
@@ -286,7 +296,7 @@ function renderDiff(diff, style, options = {}) {
 }
 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 }) : renderCode(change.content ?? "", style, { maxLines: options.maxLines, language });
+  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}`;