@thoth-agents/pi-thoth-theme 0.1.0 → 0.2.0

package/src/tools/bash.ts

@@ -1,237 +0,0 @@
-import type {
-  AgentToolResult,
-  Theme,
-  ToolRenderResultOptions,
-} from '@earendil-works/pi-coding-agent';
-import { toolFooter } from '../render-kit/index.ts';
-import type { ThemeConfig } from '../shared/config.ts';
-import { icon as semanticIcon } from '../shared/icons.ts';
-import { getToolBorderTone } from './border.ts';
-import { createComponent, escapeOutputRow, getResultText } from './box.ts';
-import { getToolIcon } from './file-icons.ts';
-import {
-  hasToolResult,
-  renderFrameBottom,
-  renderFrameDivider,
-  renderFrameRow,
-  renderFrameTop,
-} from './frame.ts';
-import {
-  type ElapsedRenderContext,
-  type ElapsedRenderState,
-  syncElapsedTicker,
-} from './ticker.ts';
-
-const COLLAPSED_OUTPUT_LINES = 5;
-
-interface ShellArgs {
-  command?: string;
-}
-
-interface ShellContext extends ElapsedRenderContext {
-  lastComponent?: { invalidate?: () => void };
-  state?: ElapsedRenderState & {
-    hasResult?: boolean;
-    callComponent?: { invalidate?: () => void };
-  };
-}
-
-interface ShellResultStructuredContent {
-  exit_code?: number;
-  wall_time_seconds?: number;
-}
-
-interface ShellConfig {
-  toolName: 'bash' | 'powershell';
-  title: string;
-  prompt: string;
-}
-
-const BASH_CONFIG: ShellConfig = {
-  toolName: 'bash',
-  title: 'Bash',
-  prompt: '$ ',
-};
-
-const POWERSHELL_CONFIG: ShellConfig = {
-  toolName: 'powershell',
-  title: 'PowerShell',
-  prompt: 'PS> ',
-};
-
-function extractShellExitCode(
-  result: AgentToolResult<unknown>,
-  textOutput: string,
-  isErr: boolean,
-): number {
-  const structured = (
-    result as { structuredContent?: ShellResultStructuredContent }
-  ).structuredContent;
-  if (typeof structured?.exit_code === 'number') {
-    return structured.exit_code;
-  }
-  // Pi drops structuredContent before rendering, so the SDK status appendix is
-  // the source: on error results only, the last line reads
-  // `Command exited with code N` (bash.js appendStatus). Earlier stdout lines
-  // that look like a status are command output, not the exit status.
-  if (!isErr) return 0;
-  const lastLine = textOutput.trimEnd().split('\n').at(-1) ?? '';
-  const match = /^Command exited with code (\d+)$/.exec(lastLine);
-  return match ? Number.parseInt(match[1], 10) : 1;
-}
-
-function createCustomShellTool(shellConfig: ShellConfig, config: ThemeConfig) {
-  return {
-    renderShell: 'self' as const,
-    renderCall(rawArgs: unknown, theme: Theme, context: ShellContext) {
-      syncElapsedTicker(context);
-
-      const args = (rawArgs ?? {}) as ShellArgs;
-      const command = String(args.command ?? '').trim();
-      const icon = getToolIcon(shellConfig.toolName, config.icons);
-      const borderTone = context?.isPartial
-        ? 'accent'
-        : getToolBorderTone(context);
-
-      const comp = createComponent((width: number) => {
-        const safeWidth = Math.max(0, width);
-        const cmdLines = command ? command.split('\n') : [''];
-        const footer =
-          context?.executionStarted && context.isPartial
-            ? toolFooter(theme, { status: 'running', context }, config.icons)
-            : undefined;
-        const title = `${theme.fg('accent', icon)} ${theme.bold ? theme.bold(theme.fg('toolTitle', shellConfig.title)) : theme.fg('toolTitle', shellConfig.title)}`;
-        const preview = cmdLines.map(
-          (l) => `${theme.fg('dim', shellConfig.prompt)}${theme.fg('text', l)}`,
-        );
-
-        if (hasToolResult(context)) {
-          return [
-            ...renderFrameTop(theme, title, safeWidth, borderTone),
-            ...preview.flatMap((l) =>
-              renderFrameRow(theme, l, safeWidth, borderTone),
-            ),
-            ...renderFrameDivider(theme, 'Output', safeWidth, borderTone),
-          ];
-        }
-
-        return [
-          ...renderFrameTop(theme, title, safeWidth, borderTone),
-          ...preview.flatMap((l) =>
-            renderFrameRow(theme, l, safeWidth, borderTone),
-          ),
-          ...renderFrameBottom(theme, footer, safeWidth, borderTone),
-        ];
-      });
-
-      if (context?.state) {
-        context.state.callComponent = comp;
-      }
-      return comp;
-    },
-
-    renderResult(
-      result: AgentToolResult<unknown>,
-      options: ToolRenderResultOptions,
-      theme: Theme,
-      context: ShellContext,
-    ) {
-      if (context?.state) {
-        context.state.hasResult = true;
-        if (
-          context.state.callComponent &&
-          typeof context.state.callComponent.invalidate === 'function'
-        ) {
-          context.state.callComponent.invalidate();
-        }
-      }
-      if (
-        context?.lastComponent &&
-        typeof context.lastComponent.invalidate === 'function'
-      ) {
-        context.lastComponent.invalidate();
-      }
-
-      const isErr = Boolean(context?.isError);
-      const isPartial = Boolean(options?.isPartial);
-      const borderTone = isPartial
-        ? 'accent'
-        : getToolBorderTone({ isError: isErr, isPartial });
-      syncElapsedTicker({ ...context, isPartial });
-      const textOutput = getResultText(result);
-      const allLines = textOutput ? textOutput.split('\n') : [];
-      const lineCount = allLines.length;
-
-      const exitNum = extractShellExitCode(result, textOutput, isErr);
-      const exitStr = `Exit ${exitNum}`;
-
-      const words = textOutput.trim()
-        ? textOutput.trim().split(/\s+/).length
-        : 0;
-      const wordsStr = words > 0 ? `~${words} words` : '';
-
-      return createComponent((width: number) => {
-        const safeWidth = Math.max(0, width);
-
-        const footer = toolFooter(
-          theme,
-          {
-            status: isPartial ? 'running' : isErr ? 'failed' : 'completed',
-            context: { ...context, isPartial },
-            summary: [
-              exitStr,
-              `${lineCount} ${lineCount === 1 ? 'line' : 'lines'}`,
-              wordsStr,
-            ],
-          },
-          config.icons,
-        );
-
-        if (allLines.length === 0) {
-          const emptyBody = [theme.fg('dim', '(no output)')];
-          return [
-            ...emptyBody.flatMap((l) =>
-              renderFrameRow(theme, l, safeWidth, borderTone),
-            ),
-            ...renderFrameBottom(theme, footer, safeWidth, borderTone),
-          ];
-        }
-
-        const visibleLines = options?.expanded
-          ? allLines
-          : allLines.slice(0, COLLAPSED_OUTPUT_LINES);
-        const bodyLines: string[] = visibleLines.map((l) => {
-          const sanitized = escapeOutputRow(l);
-          return isErr
-            ? theme.fg('error', sanitized)
-            : theme.fg('toolOutput', sanitized);
-        });
-
-        if (!options?.expanded && allLines.length > COLLAPSED_OUTPUT_LINES) {
-          const remaining = allLines.length - COLLAPSED_OUTPUT_LINES;
-          bodyLines.push(
-            theme.fg(
-              'dim',
-              `${semanticIcon('ellipsis', config.icons)} ${remaining} more lines ${semanticIcon('separator', config.icons)} ctrl+o to expand`,
-            ),
-          );
-        }
-
-        return [
-          ...bodyLines.flatMap((l) =>
-            renderFrameRow(theme, l, safeWidth, borderTone),
-          ),
-          ...renderFrameBottom(theme, footer, safeWidth, borderTone),
-        ];
-      });
-    },
-  };
-}
-
-export function createCustomBashTool(_cwd: string, config: ThemeConfig) {
-  return createCustomShellTool(BASH_CONFIG, config);
-}
-
-export function createCustomPowerShellTool(_cwd: string, config: ThemeConfig) {
-  return createCustomShellTool(POWERSHELL_CONFIG, config);
-}

package/src/tools/border.ts

@@ -1,21 +0,0 @@
-export type BorderTone = 'error' | 'success' | 'accent';
-
-export interface BorderState {
-  isError?: boolean;
-  isSuccess?: boolean;
-}
-
-export function getBorderTone(state: BorderState): BorderTone {
-  return state.isError ? 'error' : state.isSuccess ? 'success' : 'accent';
-}
-
-/** Pi supplies the updated lifecycle to both call and result renderers. */
-export function getToolBorderTone(context?: {
-  isError?: boolean;
-  isPartial?: boolean;
-}): BorderTone {
-  return getBorderTone({
-    isError: context?.isError,
-    isSuccess: !context?.isPartial,
-  });
-}

package/src/tools/box.ts

@@ -1,258 +0,0 @@
-import {
-  type AgentToolResult,
-  DEFAULT_MAX_BYTES,
-  type FindToolDetails,
-  formatSize,
-  type GrepToolDetails,
-  type LsToolDetails,
-  type Theme,
-} from '@earendil-works/pi-coding-agent';
-import {
-  type Component,
-  truncateToWidth,
-  visibleWidth,
-} from '@earendil-works/pi-tui';
-import { cachedComponent } from '../shared/cache.ts';
-import { type BorderState, getBorderTone } from './border.ts';
-
-export const BOX_HORIZONTAL = '─';
-export const BOX_VERTICAL = '│';
-export const BOX_ROUND_TOP_LEFT = '╭';
-export const BOX_ROUND_TOP_RIGHT = '╮';
-export const BOX_ROUND_BOTTOM_LEFT = '╰';
-export const BOX_ROUND_BOTTOM_RIGHT = '╯';
-export const BOX_DIVIDER_LEFT = '├';
-export const BOX_DIVIDER_RIGHT = '┤';
-
-export function getRawResultText(
-  result: AgentToolResult<unknown> | undefined,
-): string {
-  if (!result || !result.content || !Array.isArray(result.content)) return '';
-  return result.content
-    .filter(
-      (block) => block && typeof block === 'object' && block.type === 'text',
-    )
-    .map((block) => String(block.text ?? ''))
-    .join('\n');
-}
-
-export function getResultText(
-  result: AgentToolResult<unknown> | undefined,
-): string {
-  // Retain the existing CR/CRLF normalization for read/bash/edit/write.
-  // Listing/search parsers use getRawResultText: CR can be filename data.
-  return getRawResultText(result).replace(/\r/g, '');
-}
-
-export function escapeControlCharacters(text: string): string {
-  // Display C0 data and DEL as Unicode control pictures (CR → ␍, ESC → ␛,
-  // DEL → ␡), except tabs; C1 controls, which have no pictures, as `\xNN`.
-  // Escape only at display boundaries, before styling: SDK row splitting on LF
-  // and parsing retain the original data, without terminal injection.
-  let escaped = '';
-  for (const character of text) {
-    const code = character.charCodeAt(0);
-    if (code < 0x20 && character !== '\t') {
-      escaped += String.fromCharCode(0x2400 + code);
-    } else if (code === 0x7f) {
-      escaped += '\u2421';
-    } else if (code >= 0x80 && code <= 0x9f) {
-      escaped += `\\x${code.toString(16)}`;
-    } else {
-      escaped += character;
-    }
-  }
-  return escaped;
-}
-
-/**
- * Strip 7-bit and 8-bit ANSI SGR (Select Graphic Rendition) styling sequences.
- * Preserves non-SGR sequences and control characters.
- */
-export function stripSgr(text: string): string {
-  // biome-ignore lint/suspicious/noControlCharactersInRegex: intentional SGR escape matching
-  return text.replace(/(?:\x1b\[|\x9b)[0-9;:]*m/g, '');
-}
-
-/**
- * Escape an output row for shell tools (bash/powershell):
- * strips SGR sequences so color codes do not bleed or display as ␛[...m,
- * while escaping other control characters to prevent terminal injection.
- */
-export function escapeOutputRow(text: string): string {
-  return escapeControlCharacters(stripSgr(text));
-}
-
-export function hasImageContent(
-  result: AgentToolResult<unknown> | undefined,
-): boolean {
-  if (!result || !result.content || !Array.isArray(result.content))
-    return false;
-  return result.content.some(
-    (block) => block && typeof block === 'object' && block.type === 'image',
-  );
-}
-
-export function countLines(text: string): number {
-  if (!text) return 0;
-  return text.replace(/\r/g, '').replace(/\n+$/, '').split('\n').length;
-}
-
-export interface BoxOptions extends BorderState {
-  title?: string;
-  footer?: string;
-}
-
-// The SDK appends one exact, metadata-backed notice after a blank line.
-// Never inspect individual data lines for notice-like words or brackets.
-export function splitResultNotice(
-  text: string,
-  details: unknown,
-  tool: 'ls' | 'find' | 'grep',
-): { text: string; notices: string[] } {
-  if (!details || typeof details !== 'object') return { text, notices: [] };
-  const metadata = details as LsToolDetails & FindToolDetails & GrepToolDetails;
-  let limitNotices = [''];
-  if (tool === 'ls' && typeof metadata.entryLimitReached === 'number') {
-    const limit = metadata.entryLimitReached;
-    limitNotices = [
-      `${limit} entries limit reached. Use limit=${limit * 2} for more`,
-    ];
-  } else if (
-    tool === 'find' &&
-    typeof metadata.resultLimitReached === 'number'
-  ) {
-    const limit = metadata.resultLimitReached;
-    limitNotices = [
-      `${limit} results limit reached. Use limit=${limit * 2} for more, or refine pattern`,
-      // SDK custom glob operations use the shorter variant.
-      `${limit} results limit reached`,
-    ];
-  } else if (
-    tool === 'grep' &&
-    typeof metadata.matchLimitReached === 'number'
-  ) {
-    const limit = metadata.matchLimitReached;
-    limitNotices = [
-      `${limit} matches limit reached. Use limit=${limit * 2} for more, or refine pattern`,
-    ];
-  }
-  const commonNotices: string[] = [];
-  if (metadata.truncation?.truncated === true) {
-    commonNotices.push(`${formatSize(DEFAULT_MAX_BYTES)} limit reached`);
-  }
-  if (tool === 'grep' && metadata.linesTruncated === true) {
-    // The installed SDK's GREP_MAX_LINE_LENGTH is 500 (not publicly exported).
-    commonNotices.push(
-      'Some lines truncated to 500 chars. Use read tool to see full lines',
-    );
-  }
-  for (const limitNotice of limitNotices) {
-    const notice = [limitNotice, ...commonNotices].filter(Boolean).join('. ');
-    if (!notice) continue;
-    const appendix = `[${notice}]`;
-    const suffix = `\n\n${appendix}`;
-    if (text.endsWith(suffix)) {
-      return { text: text.slice(0, -suffix.length), notices: [appendix] };
-    }
-  }
-  return { text, notices: [] };
-}
-
-function truncateBoxLine(line: string, limit: number): string {
-  // Only fitting printable ASCII is guaranteed byte-preserving. ANSI and
-  // graphemes must retain every SDK truncation pass, even if they appear to fit.
-  return line.length <= limit && !/[^\x20-\x7e]/.test(line)
-    ? line
-    : truncateToWidth(line, limit);
-}
-
-export function renderBox(
-  theme: Pick<Theme, 'fg'>,
-  bodyLines: string[],
-  width: number,
-  options: BoxOptions = {},
-): string[] {
-  const safeWidth = Math.max(0, Math.floor(width));
-  const borderColor = getBorderTone(options);
-
-  if (safeWidth <= 0) {
-    return [];
-  }
-
-  if (safeWidth <= 4) {
-    const raw = [options.title, ...bodyLines, options.footer].filter(
-      (l): l is string => typeof l === 'string' && l.length > 0,
-    );
-    const lines = raw.length > 0 ? raw : bodyLines;
-    return lines.map((l) => truncateBoxLine(l, safeWidth));
-  }
-
-  const result: string[] = [];
-  const innerWidth = Math.max(1, safeWidth - 2);
-
-  // Header / Top border
-  if (options.title) {
-    const rawTitle = ` ${options.title} `;
-    const maxTitleWidth = Math.max(1, innerWidth - 4);
-    const fitTitle =
-      visibleWidth(rawTitle) > maxTitleWidth
-        ? ` ${truncateToWidth(options.title, Math.max(1, maxTitleWidth - 2))} `
-        : rawTitle;
-    const titleWidth = visibleWidth(fitTitle);
-    const remainingDashes = Math.max(1, innerWidth - 2 - titleWidth);
-    const top = `${theme.fg(borderColor, `${BOX_ROUND_TOP_LEFT}${BOX_HORIZONTAL}${BOX_HORIZONTAL}`)}${fitTitle}${theme.fg(
-      borderColor,
-      `${BOX_HORIZONTAL.repeat(remainingDashes)}${BOX_ROUND_TOP_RIGHT}`,
-    )}`;
-    result.push(truncateToWidth(top, safeWidth));
-  } else {
-    const top = `${theme.fg(borderColor, `${BOX_ROUND_TOP_LEFT}${BOX_HORIZONTAL.repeat(innerWidth)}${BOX_ROUND_TOP_RIGHT}`)}`;
-    result.push(truncateToWidth(top, safeWidth));
-  }
-
-  // Body lines
-  const contentWidth = Math.max(1, innerWidth - 2);
-  for (const line of bodyLines) {
-    const truncated = truncateBoxLine(line, contentWidth);
-    const pad = Math.max(0, contentWidth - visibleWidth(truncated));
-    const framed = `${theme.fg(borderColor, `${BOX_VERTICAL} `)}${truncated}${' '.repeat(pad)}${theme.fg(borderColor, ` ${BOX_VERTICAL}`)}`;
-    result.push(truncateBoxLine(framed, safeWidth));
-  }
-
-  // Footer / Bottom border
-  if (options.footer) {
-    const rawFooter = ` ${options.footer} `;
-    const maxFooterWidth = Math.max(1, innerWidth - 4);
-    const fitFooter =
-      visibleWidth(rawFooter) > maxFooterWidth
-        ? ` ${truncateToWidth(options.footer, Math.max(1, maxFooterWidth - 2))} `
-        : rawFooter;
-    const footerWidth = visibleWidth(fitFooter);
-    const remainingDashes = Math.max(1, innerWidth - 2 - footerWidth);
-    const bottom = `${theme.fg(borderColor, `${BOX_ROUND_BOTTOM_LEFT}${BOX_HORIZONTAL}${BOX_HORIZONTAL}`)}${fitFooter}${theme.fg(
-      borderColor,
-      `${BOX_HORIZONTAL.repeat(remainingDashes)}${BOX_ROUND_BOTTOM_RIGHT}`,
-    )}`;
-    result.push(truncateToWidth(bottom, safeWidth));
-  } else {
-    const bottom = `${theme.fg(
-      borderColor,
-      `${BOX_ROUND_BOTTOM_LEFT}${BOX_HORIZONTAL.repeat(innerWidth)}${BOX_ROUND_BOTTOM_RIGHT}`,
-    )}`;
-    result.push(truncateToWidth(bottom, safeWidth));
-  }
-
-  return result.map((l) => truncateBoxLine(l, safeWidth));
-}
-
-export function createComponent(
-  renderFn: (width: number) => string[],
-): Component {
-  return cachedComponent((width) => {
-    const safeWidth = Math.max(0, Math.floor(width));
-    if (safeWidth <= 0) return [];
-    const lines = renderFn(safeWidth);
-    return lines.map((line) => truncateToWidth(line, safeWidth));
-  });
-}