archymedes-cli 3.0.0 → 3.2.0

package/dist/archymedes-y64yssbc.mjs

@@ -1,1250 +0,0 @@
-// packages/archymedes-cli/src/theme/theme.ts
-var BLUEPRINT = `
-/* Blueprint navy, chalk-white ink and an amber pencil — the original drafting table. */
-@theme blueprint {
-    --primary: #7cc5ff;
-    --secondary: #9fb4e8;
-    --accent: #ffcf6b;
-    --bg: #0a1524;
-    --surface: #122135;
-    --text: #e8eefb;
-    --text-muted: #6f89b0;
-    --success: #79dfa6;
-    --warning: #ffcf6b;
-    --error: #ff8f7a;
-    --border: round;
-    --border-color: #24406a;
-    --border-focus: #7cc5ff;
-}
-`;
-var PARCHMENT = `
-/* The same drawing inked on paper, for a light terminal. */
-@theme parchment {
-    --primary: #2f5fbf;
-    --secondary: #5a4a86;
-    --accent: #9a6a00;
-    --bg: #faf6ec;
-    --surface: #f1eadd;
-    --text: #1b1a16;
-    --text-muted: #6a6252;
-    --success: #196a44;
-    --warning: #8a5300;
-    --error: #b3243b;
-    --border: round;
-    --border-color: #d8cfb8;
-    --border-focus: #2f5fbf;
-}
-`;
-var CHALKBOARD = `
-/* A slate: near-black green, chalk white, chalk yellow — for terminals with contrast to spare. */
-@theme chalkboard {
-    --primary: #9fe8d8;
-    --secondary: #d8d0b0;
-    --accent: #ffe066;
-    --bg: #0d1a15;
-    --surface: #16271f;
-    --text: #f2efe4;
-    --text-muted: #86987f;
-    --success: #7ef2b0;
-    --warning: #ffd166;
-    --error: #ff7a7a;
-    --border: single;
-    --border-color: #2c443a;
-    --border-focus: #ffe066;
-}
-`;
-var HIGH_CONTRAST = `
-/* Maximum separation, named colours only — for low vision and for terminals with a fixed palette. */
-@theme high-contrast {
-    --primary: brightCyan;
-    --secondary: brightMagenta;
-    --accent: brightYellow;
-    --bg: black;
-    --surface: black;
-    --text: brightWhite;
-    --text-muted: white;
-    --success: brightGreen;
-    --warning: brightYellow;
-    --error: brightRed;
-    --border: single;
-    --border-color: white;
-    --border-focus: brightCyan;
-}
-`;
-var ARCHYMEDES = `
-/* Bronze instruments, limestone ink and olive accents on charcoal — Archymedes's own. */
-@theme archymedes {
-    --primary: #e7bb78;
-    --secondary: #b9c59a;
-    --accent: #e5a58c;
-    --bg: #191815;
-    --surface: #25231e;
-    --text: #f2ecdf;
-    --text-muted: #aaa18f;
-    --success: #b5cc96;
-    --warning: #efc778;
-    --error: #f29686;
-    --border: single;
-    --border-color: #736956;
-    --border-focus: #e7bb78;
-}
-`;
-var ARCHYMEDES_BLUE = `
-/* Solarized Dark with an Archymedes-blue line — calm, high-contrast hues; the default. */
-@theme archymedes-blue {
-    --primary: #268bd2;
-    --secondary: #2aa198;
-    --accent: #b58900;
-    --bg: #002b36;
-    --surface: #073642;
-    --text: #93a1a1;
-    --text-muted: #657b83;
-    --success: #859900;
-    --warning: #cb4b16;
-    --error: #dc322f;
-    --border: round;
-    --border-color: #586e75;
-    --border-focus: #268bd2;
-}
-`;
-var RAINBOW = `
-/* Every hue at once — the opening art and the thinking spinner sweep the full spectrum. */
-@theme rainbow {
-    --primary: #ff5f5f;
-    --secondary: #5fd7ff;
-    --accent: #ffd75f;
-    --bg: #0c0c0c;
-    --surface: #161616;
-    --text: #f2f2f2;
-    --text-muted: #9a9a9a;
-    --success: #5fff87;
-    --warning: #ffaf5f;
-    --error: #ff3b3b;
-    --border: double;
-    --border-color: #8a8a8a;
-    --border-focus: #d75fff;
-}
-`;
-var BUILTIN_THEME_SOURCES = {
-  "archymedes-blue": ARCHYMEDES_BLUE,
-  archymedes: ARCHYMEDES,
-  blueprint: BLUEPRINT,
-  parchment: PARCHMENT,
-  chalkboard: CHALKBOARD,
-  "high-contrast": HIGH_CONTRAST,
-  rainbow: RAINBOW
-};
-var DEFAULT_THEME_NAME = "archymedes-blue";
-var NAMED_COLORS = {
-  black: 0,
-  red: 1,
-  green: 2,
-  yellow: 3,
-  blue: 4,
-  magenta: 5,
-  cyan: 6,
-  white: 7,
-  brightblack: 8,
-  brightred: 9,
-  brightgreen: 10,
-  brightyellow: 11,
-  brightblue: 12,
-  brightmagenta: 13,
-  brightcyan: 14,
-  brightwhite: 15,
-  gray: 8,
-  grey: 8
-};
-function parseColor(value) {
-  const text = value.trim();
-  const named = NAMED_COLORS[text.toLowerCase().replace(/[\s_-]/g, "")];
-  if (named !== undefined)
-    return named;
-  const hex = /^#([0-9a-f]{3}|[0-9a-f]{6})$/i.exec(text);
-  if (!hex)
-    return;
-  const digits = hex[1];
-  const full = digits.length === 3 ? digits.split("").map((digit) => digit + digit).join("") : digits;
-  return {
-    r: Number.parseInt(full.slice(0, 2), 16),
-    g: Number.parseInt(full.slice(2, 4), 16),
-    b: Number.parseInt(full.slice(4, 6), 16)
-  };
-}
-function rgbTo256({ r, g, b }) {
-  const level = (value) => {
-    if (value < 48)
-      return 0;
-    if (value < 115)
-      return 1;
-    return Math.min(5, Math.round((value - 35) / 40));
-  };
-  const cubeIndex = 16 + 36 * level(r) + 6 * level(g) + level(b);
-  const cubeValue = (step) => step === 0 ? 0 : 55 + step * 40;
-  const cube = { r: cubeValue(level(r)), g: cubeValue(level(g)), b: cubeValue(level(b)) };
-  const greyAverage = (r + g + b) / 3;
-  const greyStep = Math.max(0, Math.min(23, Math.round((greyAverage - 8) / 10)));
-  const greyValue = 8 + greyStep * 10;
-  const grey = { r: greyValue, g: greyValue, b: greyValue };
-  return distance({ r, g, b }, grey) < distance({ r, g, b }, cube) ? 232 + greyStep : cubeIndex;
-}
-function distance(a, b) {
-  return (a.r - b.r) ** 2 + (a.g - b.g) ** 2 + (a.b - b.b) ** 2;
-}
-function colorCode(value, depth) {
-  if (depth === "none")
-    return "";
-  const parsed = parseColor(value);
-  if (parsed === undefined)
-    return "";
-  if (typeof parsed === "number")
-    return parsed < 8 ? `\x1B[${30 + parsed}m` : `\x1B[${90 + parsed - 8}m`;
-  return depth === "truecolor" ? `\x1B[38;2;${parsed.r};${parsed.g};${parsed.b}m` : `\x1B[38;5;${rgbTo256(parsed)}m`;
-}
-function rainbowHex(t) {
-  const hue = (t % 1 + 1) % 1 * 360;
-  const c = 0.5;
-  const x = c * (1 - Math.abs(hue / 60 % 2 - 1));
-  const m = 0.6 - c / 2;
-  const [r1, g1, b1] = hue < 60 ? [c, x, 0] : hue < 120 ? [x, c, 0] : hue < 180 ? [0, c, x] : hue < 240 ? [0, x, c] : hue < 300 ? [x, 0, c] : [c, 0, x];
-  const channel = (value) => Math.round((value + m) * 255).toString(16).padStart(2, "0");
-  return `#${channel(r1)}${channel(g1)}${channel(b1)}`;
-}
-function rainbowText(text, depth, phase = 0) {
-  if (depth === "none")
-    return text;
-  const characters = [...text];
-  let out = "";
-  let open;
-  characters.forEach((character, index) => {
-    if (character === " ") {
-      if (open !== undefined) {
-        out += "\x1B[0m";
-        open = undefined;
-      }
-      out += character;
-      return;
-    }
-    const code = colorCode(rainbowHex(phase + index / 12), depth);
-    if (code !== open) {
-      out += code;
-      open = code;
-    }
-    out += character;
-  });
-  return open === undefined ? out : `${out}\x1B[0m`;
-}
-var DEFAULT_TOKENS = {
-  primary: "cyan",
-  secondary: "blue",
-  accent: "yellow",
-  bg: "black",
-  surface: "black",
-  text: "white",
-  textMuted: "brightBlack",
-  success: "green",
-  warning: "yellow",
-  error: "red",
-  border: "round",
-  borderColor: "brightBlack",
-  borderFocus: "cyan"
-};
-var TOKEN_NAMES = {
-  primary: "primary",
-  secondary: "secondary",
-  accent: "accent",
-  bg: "bg",
-  background: "bg",
-  surface: "surface",
-  text: "text",
-  fg: "text",
-  "text-muted": "textMuted",
-  muted: "textMuted",
-  success: "success",
-  warning: "warning",
-  error: "error",
-  border: "border",
-  "border-color": "borderColor",
-  "border-focus": "borderFocus",
-  highlight: "secondary"
-};
-function parseThemeSource(source) {
-  const themes = [];
-  const withoutLineComments = source.replace(/(^|\s)\/\/[^\n]*/g, "$1");
-  const blockPattern = /(?:\/\*([\s\S]*?)\*\/\s*)?@theme\s+([A-Za-z0-9_-]+)\s*\{([^}]*)\}/g;
-  for (const match of withoutLineComments.matchAll(blockPattern)) {
-    const description = (match[1] ?? "").replace(/\s+/g, " ").trim();
-    const tokens = { ...DEFAULT_TOKENS };
-    for (const declaration of match[3].matchAll(/(?:--|\$)([a-z0-9-]+)\s*:\s*([^;}]+)[;]?/gi)) {
-      const key = TOKEN_NAMES[declaration[1].toLowerCase()];
-      if (key)
-        tokens[key] = declaration[2].trim();
-    }
-    themes.push({ name: match[2], description, tokens });
-  }
-  return themes;
-}
-function builtinThemes() {
-  return Object.values(BUILTIN_THEME_SOURCES).flatMap((source) => parseThemeSource(source));
-}
-function findBuiltinTheme(name) {
-  return builtinThemes().find((theme) => theme.name.toLowerCase() === name.trim().toLowerCase());
-}
-function borderStyleOf(value) {
-  const text = value.trim().toLowerCase();
-  return text === "single" || text === "double" || text === "none" ? text : "round";
-}
-function buildPalette(theme, depth) {
-  const code = (value) => colorCode(value, depth);
-  return {
-    theme: theme.name,
-    depth,
-    primary: code(theme.tokens.primary),
-    secondary: code(theme.tokens.secondary),
-    accent: code(theme.tokens.accent),
-    text: code(theme.tokens.text),
-    muted: code(theme.tokens.textMuted),
-    success: code(theme.tokens.success),
-    warning: code(theme.tokens.warning),
-    error: code(theme.tokens.error),
-    border: code(theme.tokens.borderColor),
-    borderFocus: code(theme.tokens.borderFocus),
-    borderStyle: borderStyleOf(theme.tokens.border),
-    bg: theme.tokens.bg,
-    surface: theme.tokens.surface,
-    tokens: theme.tokens
-  };
-}
-var EXTERNAL_MARK = "\x1B[35m";
-var ANSI_PALETTE = buildPalette({ name: "ansi", description: "", tokens: DEFAULT_TOKENS }, "ansi256");
-function roleCode(role, palette, depth) {
-  if (depth === "none")
-    return "";
-  return palette?.[role] || ANSI_PALETTE[role];
-}
-var NO_COLOR_PALETTE = buildPalette(findBuiltinTheme(DEFAULT_THEME_NAME) ?? { name: DEFAULT_THEME_NAME, description: "", tokens: DEFAULT_TOKENS }, "none");
-function parseThemeCommand(input) {
-  const match = /^\/theme(?:\s+([\s\S]*))?$/.exec(input.trim());
-  if (!match)
-    return null;
-  const rest = (match[1] ?? "").trim().replace(/\s+/g, " ");
-  if (!rest)
-    return { kind: "show" };
-  const [verb, ...words] = rest.split(" ");
-  switch (verb.toLowerCase()) {
-    case "list":
-      return { kind: "list" };
-    case "show":
-      return { kind: "show" };
-    case "where":
-      return { kind: "where" };
-    default:
-      return words.length === 0 ? { kind: "set", name: verb } : { kind: "invalid", reason: `Theme names have no spaces — did you mean /theme ${verb}?` };
-  }
-}
-
-// packages/archymedes-cli/src/terminal/screen-host.ts
-function staticScreenReason(environment) {
-  if (environment.CI)
-    return "CI is set";
-  if (environment.TERM === "dumb")
-    return "TERM is dumb";
-  return;
-}
-function currentScreenCapabilities(interactive, stdout, environment) {
-  return {
-    interactive: interactive && Boolean(stdout.isTTY),
-    columns: stdout.columns ?? 80,
-    rows: stdout.rows ?? 24,
-    staticOnly: staticScreenReason(environment)
-  };
-}
-var MINIMUM_SCREEN = { columns: 40, rows: 8 };
-function canDrawScreen(capabilities) {
-  if (!capabilities.interactive)
-    return { ok: false, reason: "not-interactive" };
-  if (capabilities.staticOnly)
-    return { ok: false, reason: "static-terminal", detail: capabilities.staticOnly };
-  if (capabilities.columns < MINIMUM_SCREEN.columns || capabilities.rows < MINIMUM_SCREEN.rows) {
-    return {
-      ok: false,
-      reason: "too-small",
-      detail: `needs at least ${MINIMUM_SCREEN.columns}×${MINIMUM_SCREEN.rows}, this terminal is ${capabilities.columns}×${capabilities.rows}`
-    };
-  }
-  return { ok: true };
-}
-function explainScreenRefusal(outcome) {
-  switch (outcome.reason) {
-    case "not-interactive":
-      return "This needs an interactive terminal.";
-    case "too-small":
-      return `This needs a bigger window — ${outcome.detail}.`;
-    case "static-terminal":
-      return `Full-screen views are off because ${outcome.detail ?? "this terminal cannot run them"}; unset it to use them.`;
-    case "framework-missing":
-      return `The screen could not be loaded${outcome.detail ? `: ${outcome.detail}` : ""}.`;
-  }
-}
-function exitTopTermUIApp() {
-  globalThis.__termuijs_apps?.at(-1)?.exit(0);
-}
-async function withFullScreen(capabilities, controls, open) {
-  const allowed = canDrawScreen(capabilities);
-  if (!allowed.ok)
-    return allowed;
-  controls.clearStatus();
-  controls.releaseScreen();
-  controls.uninstallShortcuts();
-  controls.pauseInput();
-  try {
-    await open();
-    return { ok: true };
-  } catch (error) {
-    return { ok: false, reason: "framework-missing", detail: error instanceof Error ? error.message : String(error) };
-  } finally {
-    controls.resumeInput();
-    controls.installShortcuts();
-    controls.restoreScreen();
-    controls.restoreInput?.();
-  }
-}
-
-// packages/archymedes-cli/src/text/ansi.ts
-var RESET = "\x1B[0m";
-var BOLD = "\x1B[1m";
-var DIM = "\x1B[2m";
-var ITALIC = "\x1B[3m";
-var STRIKE = "\x1B[9m";
-var REVERSE = "\x1B[7m";
-function paint(text, code, depth) {
-  return depth === "none" || code === "" ? text : `${code}${text}${RESET}`;
-}
-function paintAll(text, codes, depth) {
-  return depth === "none" || codes.length === 0 ? text : `${codes.join("")}${text}${RESET}`;
-}
-
-// packages/archymedes-cli/src/text/glyphs.ts
-var UNICODE_GLYPHS = {
-  starGlyphs: [".", "·", "✧", "✦", "✶"],
-  spinnerFrames: ["  ◜  ", "  ◠  ", "  ◝  ", "  ◞  ", "  ◡  ", "  ◟  "],
-  star: "✦",
-  starDim: "✧",
-  check: "✓",
-  cross: "✗",
-  pending: "⋯",
-  prompt: "❯",
-  caret: "›",
-  bullet: "•",
-  ellipsis: "…",
-  middot: "·",
-  elbow: "⎿",
-  boxTopLeft: "╭",
-  boxTopRight: "╮",
-  boxBottomLeft: "╰",
-  boxBottomRight: "╯",
-  boxHorizontal: "─",
-  boxVertical: "│",
-  boxTeeLeft: "├",
-  boxTeeRight: "┤",
-  boxCross: "┼",
-  circleEmpty: "○",
-  circleHalf: "◐",
-  circleFull: "●",
-  checkbox: "☐",
-  checkboxDone: "☑",
-  paused: "⏸",
-  cancelled: "⊘",
-  treeBranch: "├─",
-  treeLast: "╰─",
-  treeTrunk: "│ ",
-  collapsed: "▸",
-  expanded: "▾",
-  arrowUp: "↑",
-  arrowLeft: "←",
-  arrowRight: "→",
-  arrowDown: "↓",
-  plus: "+",
-  minus: "-",
-  warning: "!",
-  effectWorkspace: "✎",
-  effectExternal: "◎",
-  sparkLevels: ["▁", "▂", "▃", "▄", "▅", "▆", "▇", "█"]
-};
-var ASCII_GLYPHS = {
-  starGlyphs: [".", ".", "+", "*", "*"],
-  spinnerFrames: ["-", "\\", "|", "/"],
-  star: "*",
-  starDim: "+",
-  check: "+",
-  cross: "x",
-  pending: "~",
-  prompt: ">",
-  caret: ">",
-  bullet: "-",
-  ellipsis: "...",
-  middot: "-",
-  elbow: "\\",
-  boxTopLeft: "+",
-  boxTopRight: "+",
-  boxBottomLeft: "+",
-  boxBottomRight: "+",
-  boxHorizontal: "-",
-  boxVertical: "|",
-  boxTeeLeft: "+",
-  boxTeeRight: "+",
-  boxCross: "+",
-  circleEmpty: "o",
-  circleHalf: "*",
-  circleFull: "*",
-  checkbox: "[ ]",
-  checkboxDone: "[x]",
-  paused: "=",
-  cancelled: "x",
-  treeBranch: "|-",
-  treeLast: "`-",
-  treeTrunk: "| ",
-  collapsed: ">",
-  expanded: "v",
-  arrowUp: "^",
-  arrowLeft: "<-",
-  arrowRight: "->",
-  arrowDown: "v",
-  plus: "+",
-  minus: "-",
-  warning: "!",
-  effectWorkspace: "w",
-  effectExternal: "e",
-  sparkLevels: [" ", ".", ":", "-", "=", "+", "*", "#"]
-};
-var ROUND_BORDER = { topLeft: "╭", topRight: "╮", bottomLeft: "╰", bottomRight: "╯", horizontal: "─", vertical: "│", teeLeft: "├", teeRight: "┤", cross: "┼" };
-var SINGLE_BORDER = { topLeft: "┌", topRight: "┐", bottomLeft: "└", bottomRight: "┘", horizontal: "─", vertical: "│", teeLeft: "├", teeRight: "┤", cross: "┼" };
-var DOUBLE_BORDER = { topLeft: "╔", topRight: "╗", bottomLeft: "╚", bottomRight: "╝", horizontal: "═", vertical: "║", teeLeft: "╠", teeRight: "╣", cross: "╬" };
-var ASCII_BORDER = { topLeft: "+", topRight: "+", bottomLeft: "+", bottomRight: "+", horizontal: "-", vertical: "|", teeLeft: "+", teeRight: "+", cross: "+" };
-function borderGlyphsFor(style, glyphs) {
-  if (glyphs === ASCII_GLYPHS)
-    return ASCII_BORDER;
-  if (style === "single")
-    return SINGLE_BORDER;
-  if (style === "double")
-    return DOUBLE_BORDER;
-  return ROUND_BORDER;
-}
-function detectGlyphMode(environment, platform = process.platform) {
-  const forced = environment.ARCHYMEDES_GLYPHS?.trim().toLowerCase();
-  if (forced === "ascii" || forced === "unicode")
-    return forced;
-  if (environment.ARCHYMEDES_ASCII?.trim() && environment.ARCHYMEDES_ASCII !== "0")
-    return "ascii";
-  const term = environment.TERM?.trim().toLowerCase();
-  if (term === "linux" || term === "dumb")
-    return "ascii";
-  if (platform === "win32") {
-    return environment.WT_SESSION || environment.TERMINUS_SUBLIME || environment.ConEmuTask === "{cmd::Cmder}" || environment.TERM_PROGRAM === "vscode" || environment.TERM_PROGRAM === "Terminus-Sublime" || term === "xterm-256color" || term === "alacritty" ? "unicode" : "ascii";
-  }
-  const locale = environment.LC_ALL || environment.LC_CTYPE || environment.LANG;
-  if (!locale?.trim())
-    return "unicode";
-  return /utf-?8/i.test(locale) ? "unicode" : "ascii";
-}
-function glyphsFor(mode) {
-  return mode === "ascii" ? ASCII_GLYPHS : UNICODE_GLYPHS;
-}
-function resolveGlyphs(environment, platform = process.platform) {
-  return glyphsFor(detectGlyphMode(environment, platform));
-}
-
-// packages/archymedes-cli/src/text/text-width.ts
-var ANSI = /\x1b\[[0-9;]*m/g;
-var PRINTABLE_ASCII = /^[\x20-\x7e]*$/;
-function visibleWidth(text) {
-  if (PRINTABLE_ASCII.test(text))
-    return text.length;
-  let width = 0;
-  for (const character of text.includes("\x1B") ? text.replace(ANSI, "") : text) {
-    const code = character.codePointAt(0) ?? 0;
-    if (code >= 768 && code <= 879)
-      continue;
-    width += isWide(code) ? 2 : 1;
-  }
-  return width;
-}
-function isWide(code) {
-  return code >= 4352 && code <= 4447 || code >= 11904 && code <= 42191 || code >= 44032 && code <= 55203 || code >= 63744 && code <= 64255 || code >= 65072 && code <= 65135 || code >= 65280 && code <= 65376 || code >= 127744 && code <= 129535;
-}
-function clipTo(text, width, glyphs = UNICODE_GLYPHS) {
-  if (width <= 0)
-    return "";
-  if (visibleWidth(text) <= width)
-    return text;
-  const mark = visibleWidth(glyphs.ellipsis) < width ? glyphs.ellipsis : "";
-  const budget = width - visibleWidth(mark);
-  let out = "";
-  const segments = typeof Intl.Segmenter === "function" ? [...new Intl.Segmenter(undefined, { granularity: "grapheme" }).segment(text)].map((entry) => entry.segment) : [...text];
-  for (const segment of segments) {
-    if (visibleWidth(out + segment) > budget)
-      break;
-    out += segment;
-  }
-  return `${out}${mark}`;
-}
-
-// packages/archymedes-cli/src/render/syntax.ts
-function newSyntaxState() {
-  return {};
-}
-var SYNTAX_COLORS = {
-  dark: {
-    control: "#C586C0",
-    declaration: "#569CD6",
-    string: "#CE9178",
-    number: "#B5CEA8",
-    comment: "#6A9955",
-    function: "#DCDCAA",
-    type: "#4EC9B0",
-    property: "#9CDCFE",
-    decorator: "#DCDCAA",
-    punctuation: "#808080",
-    variable: "#9CDCFE",
-    tag: "#569CD6",
-    attribute: "#9CDCFE",
-    inserted: "#81B88B",
-    deleted: "#E06C75",
-    meta: "#C586C0"
-  },
-  light: {
-    control: "#AF00DB",
-    declaration: "#0000FF",
-    string: "#A31515",
-    number: "#098658",
-    comment: "#008000",
-    function: "#795E26",
-    type: "#267F99",
-    property: "#001080",
-    decorator: "#795E26",
-    punctuation: "#6E6E6E",
-    variable: "#001080",
-    tag: "#800000",
-    attribute: "#E50000",
-    inserted: "#587C0C",
-    deleted: "#AD0707",
-    meta: "#AF00DB"
-  }
-};
-var DIFF_BACKGROUNDS = {
-  dark: { add: "#1E3A26", addStrong: "#2E6B3E", remove: "#4B1D1D", removeStrong: "#7A2B2B" },
-  light: { add: "#E6FFEC", addStrong: "#ABF2BC", remove: "#FFEBE9", removeStrong: "#FFC1BD" }
-};
-function schemeFor(palette) {
-  const background = palette?.tokens?.bg ?? palette?.bg;
-  if (!background)
-    return "dark";
-  const parsed = parseColor(background);
-  if (parsed === undefined)
-    return "dark";
-  if (typeof parsed === "number")
-    return parsed === 7 || parsed === 15 ? "light" : "dark";
-  const channel = (value) => {
-    const scaled = value / 255;
-    return scaled <= 0.03928 ? scaled / 12.92 : ((scaled + 0.055) / 1.055) ** 2.4;
-  };
-  const luminance = 0.2126 * channel(parsed.r) + 0.7152 * channel(parsed.g) + 0.0722 * channel(parsed.b);
-  return luminance > 0.4 ? "light" : "dark";
-}
-function backgroundCode(value, depth) {
-  if (depth === "none")
-    return "";
-  const parsed = parseColor(value);
-  if (parsed === undefined)
-    return "";
-  if (typeof parsed === "number")
-    return parsed < 8 ? `\x1B[${40 + parsed}m` : `\x1B[${100 + parsed - 8}m`;
-  return depth === "truecolor" ? `\x1B[48;2;${parsed.r};${parsed.g};${parsed.b}m` : `\x1B[48;5;${rgbTo256(parsed)}m`;
-}
-var DEFAULT_CODE_STYLE = { colors: "vscode", lineNumbers: true };
-var currentCodeStyle = { ...DEFAULT_CODE_STYLE };
-function codeStyleFromEnvironment(environment) {
-  const colors = environment.ARCHYMEDES_CODE_COLORS?.trim().toLowerCase();
-  const numbers = environment.ARCHYMEDES_CODE_LINE_NUMBERS?.trim().toLowerCase();
-  return {
-    colors: colors === "theme" ? "theme" : "vscode",
-    lineNumbers: !(numbers === "off" || numbers === "false" || numbers === "0" || numbers === "no")
-  };
-}
-function setCodeStyle(style) {
-  currentCodeStyle = { ...currentCodeStyle, ...style };
-}
-function codeStyle() {
-  return currentCodeStyle;
-}
-var words = (text) => new Set(text.split(/\s+/).filter(Boolean));
-var JS_CONTROL = words("if else for while do switch case default break continue return throw try catch finally await yield import export from as of with debugger");
-var JS_DECLARATION = words("const let var function class interface type enum extends implements new this super true false null undefined async static public private protected readonly abstract declare namespace module typeof instanceof in void delete keyof get set is satisfies infer override accessor");
-var JS_TYPES = words("string number boolean any unknown never object symbol bigint Array Promise Record Partial Readonly Map Set Date Error RegExp");
-var PY_CONTROL = words("if elif else for while break continue return try except finally raise with import from pass yield await assert del match case");
-var PY_DECLARATION = words("def class lambda global nonlocal async None True False self cls and or not in is as");
-var PY_TYPES = words("int str float bool list dict tuple set frozenset bytes bytearray object type Exception ValueError TypeError KeyError Optional List Dict Any");
-var RUST_CONTROL = words("if else match for while loop break continue return use mod in as await");
-var RUST_DECLARATION = words("fn let mut const static struct enum trait impl pub crate self Self super where type ref move unsafe async dyn true false extern");
-var RUST_TYPES = words("i8 i16 i32 i64 i128 isize u8 u16 u32 u64 u128 usize f32 f64 bool char str String Vec Option Result Box Rc Arc HashMap HashSet");
-var GO_CONTROL = words("if else for range switch case default break continue return go defer select fallthrough goto import package");
-var GO_DECLARATION = words("func var const type struct interface map chan true false nil iota");
-var GO_TYPES = words("int int8 int16 int32 int64 uint uint8 uint16 uint32 uint64 uintptr float32 float64 complex64 complex128 string bool byte rune error any");
-var C_CONTROL = words("if else for foreach while do switch case default break continue return throw try catch finally goto using import package include when yield await");
-var C_DECLARATION = words("class struct interface enum record public private protected internal static final const readonly virtual override abstract sealed new this base super true false null nullptr void var val fun func let typedef template typename auto extern inline volatile unsigned signed operator namespace sizeof async in out ref is as object companion data open lateinit suspend");
-var C_TYPES = words("int long short char float double bool boolean byte string String Object decimal uint ulong size_t Integer Boolean List Map Set Task");
-var SHELL_CONTROL = words("if then else elif fi for in do done while until case esac function return exit break continue select");
-var SHELL_DECLARATION = words("export local readonly declare alias unset source set true false");
-var PS_CONTROL = words("if elseif else foreach for while do until switch break continue return try catch finally throw trap exit param begin process end filter in");
-var PS_DECLARATION = words("function class enum $true $false $null");
-var SQL_DECLARATION = words("select from where insert into values update set delete create table alter drop index join inner left right outer full cross on group by order having limit offset as and or not null is in like between distinct union all primary key foreign references default case when then else end begin commit rollback with returning exists view if replace asc desc unique check constraint transaction");
-var SQL_TYPES = words("int integer smallint bigint varchar char text boolean bool date time timestamp timestamptz serial bigserial numeric decimal real double float json jsonb uuid blob");
-var YAML_DECLARATION = words("true false null yes no on off True False Null");
-var EMPTY = new Set;
-var GRAMMARS = {
-  javascript: { lineComments: ["//"], block: ["/*", "*/"], quotes: "\"'`", control: JS_CONTROL, declaration: JS_DECLARATION, types: JS_TYPES, decorators: true, wordExtra: "$" },
-  python: { lineComments: ["#"], quotes: `"'`, triple: true, control: PY_CONTROL, declaration: PY_DECLARATION, types: PY_TYPES, decorators: true },
-  rust: { lineComments: ["//"], block: ["/*", "*/"], quotes: `"'`, control: RUST_CONTROL, declaration: RUST_DECLARATION, types: RUST_TYPES, lifetimes: true, decorators: false },
-  go: { lineComments: ["//"], block: ["/*", "*/"], quotes: "\"'`", control: GO_CONTROL, declaration: GO_DECLARATION, types: GO_TYPES },
-  c: { lineComments: ["//"], block: ["/*", "*/"], quotes: `"'`, control: C_CONTROL, declaration: C_DECLARATION, types: C_TYPES, decorators: true },
-  shell: { lineComments: ["#"], quotes: `"'`, control: SHELL_CONTROL, declaration: SHELL_DECLARATION, dollarVariables: true, commandFirst: true, hashNeedsSpace: true },
-  powershell: { lineComments: ["#"], block: ["<#", "#>"], quotes: `"'`, control: PS_CONTROL, declaration: PS_DECLARATION, dollarVariables: true, caseInsensitive: true, wordExtra: "-" },
-  sql: { lineComments: ["--"], block: ["/*", "*/"], quotes: `'"`, control: EMPTY, declaration: SQL_DECLARATION, types: SQL_TYPES, caseInsensitive: true },
-  json: { lineComments: ["//"], block: ["/*", "*/"], quotes: '"', control: EMPTY, declaration: words("true false null") },
-  yaml: { lineComments: ["#"], quotes: `"'`, control: EMPTY, declaration: YAML_DECLARATION, hashNeedsSpace: true },
-  toml: { lineComments: ["#", ";"], quotes: `"'`, control: EMPTY, declaration: words("true false"), hashNeedsSpace: true },
-  ruby: { lineComments: ["#"], quotes: `"'`, control: words("if elsif else unless case when while until for in do end begin rescue ensure return break next redo retry yield then require require_relative"), declaration: words("def class module self nil true false and or not attr_accessor attr_reader private public protected"), dollarVariables: false },
-  lua: { lineComments: ["--"], quotes: `"'`, control: words("if then else elseif end for while do repeat until return break goto in"), declaration: words("function local nil true false and or not self") },
-  dockerfile: { lineComments: ["#"], quotes: `"'`, control: words("FROM RUN CMD LABEL EXPOSE ENV ADD COPY ENTRYPOINT VOLUME USER WORKDIR ARG ONBUILD STOPSIGNAL HEALTHCHECK SHELL AS"), declaration: EMPTY, dollarVariables: true },
-  makefile: { lineComments: ["#"], quotes: `"'`, control: words("ifeq ifneq ifdef ifndef else endif include define endef export"), declaration: EMPTY, dollarVariables: true },
-  generic: { lineComments: ["//", "#"], block: ["/*", "*/"], quotes: "\"'`", control: words("if else elif for while do switch case break continue return throw try catch finally import from export yield await match raise"), declaration: words("const let var function def fn func class struct enum interface type impl trait pub public private static new this self true false null nil None True False undefined async"), types: EMPTY }
-};
-var LANGUAGE_ALIASES = {
-  js: "javascript",
-  javascript: "javascript",
-  jsx: "javascript",
-  mjs: "javascript",
-  cjs: "javascript",
-  ts: "javascript",
-  typescript: "javascript",
-  tsx: "javascript",
-  mts: "javascript",
-  cts: "javascript",
-  node: "javascript",
-  py: "python",
-  python: "python",
-  python3: "python",
-  py3: "python",
-  rs: "rust",
-  rust: "rust",
-  go: "go",
-  golang: "go",
-  java: "c",
-  kotlin: "c",
-  kt: "c",
-  kts: "c",
-  c: "c",
-  h: "c",
-  cpp: "c",
-  "c++": "c",
-  cc: "c",
-  cxx: "c",
-  hpp: "c",
-  cs: "c",
-  csharp: "c",
-  "c#": "c",
-  swift: "c",
-  scala: "c",
-  dart: "c",
-  php: "c",
-  groovy: "c",
-  objc: "c",
-  "objective-c": "c",
-  sh: "shell",
-  bash: "shell",
-  zsh: "shell",
-  fish: "shell",
-  shell: "shell",
-  console: "shell",
-  shellsession: "shell",
-  terminal: "shell",
-  ps: "powershell",
-  ps1: "powershell",
-  psm1: "powershell",
-  powershell: "powershell",
-  pwsh: "powershell",
-  sql: "sql",
-  psql: "sql",
-  mysql: "sql",
-  sqlite: "sql",
-  postgres: "sql",
-  postgresql: "sql",
-  json: "json",
-  jsonc: "json",
-  json5: "json",
-  jsonl: "json",
-  yaml: "yaml",
-  yml: "yaml",
-  toml: "toml",
-  ini: "toml",
-  cfg: "toml",
-  conf: "toml",
-  properties: "toml",
-  env: "toml",
-  dotenv: "toml",
-  rb: "ruby",
-  ruby: "ruby",
-  lua: "lua",
-  dockerfile: "dockerfile",
-  docker: "dockerfile",
-  makefile: "makefile",
-  make: "makefile",
-  mk: "makefile",
-  html: "markup",
-  htm: "markup",
-  xml: "markup",
-  svg: "markup",
-  xhtml: "markup",
-  vue: "markup",
-  svelte: "markup",
-  css: "css",
-  scss: "css",
-  sass: "css",
-  less: "css",
-  diff: "diff",
-  patch: "diff",
-  udiff: "diff"
-};
-function grammarName(language) {
-  const key = (language ?? "").trim().toLowerCase().split(/[\s{,]/)[0] ?? "";
-  return LANGUAGE_ALIASES[key] ?? "generic";
-}
-var PUNCTUATION = new Set([..."{}[]()<>;,.:=+-*/%!&|^~?\\"]);
-function push(tokens, text, kind) {
-  if (!text)
-    return;
-  const last = tokens[tokens.length - 1];
-  if (last && last.kind === kind)
-    last.text += text;
-  else
-    tokens.push({ text, kind });
-}
-function nextNonSpace(line, from) {
-  for (let index = from;index < line.length; index += 1)
-    if (line[index] !== " " && line[index] !== "\t")
-      return line[index];
-  return "";
-}
-function previousNonSpace(line, from) {
-  for (let index = from;index >= 0; index -= 1)
-    if (line[index] !== " " && line[index] !== "\t")
-      return line[index];
-  return "";
-}
-function tokenizeLine(line, language, state = {}) {
-  const family = grammarName(language);
-  if (family === "markup")
-    return tokenizeMarkup(line, state);
-  if (family === "css")
-    return tokenizeCss(line, state);
-  if (family === "diff")
-    return tokenizeDiff(line);
-  return tokenizeCode(line, GRAMMARS[family] ?? GRAMMARS.generic, family, state);
-}
-function tokenizeDiff(line) {
-  if (line.startsWith("+++") || line.startsWith("---") || line.startsWith("diff ") || line.startsWith("index "))
-    return [{ text: line, kind: "meta" }];
-  if (line.startsWith("@@"))
-    return [{ text: line, kind: "type" }];
-  if (line.startsWith("+"))
-    return [{ text: line, kind: "inserted" }];
-  if (line.startsWith("-"))
-    return [{ text: line, kind: "deleted" }];
-  return line ? [{ text: line, kind: "plain" }] : [];
-}
-function tokenizeCode(line, grammar, family, state) {
-  const tokens = [];
-  let index = 0;
-  if (state.blockEnd) {
-    const end = line.indexOf(state.blockEnd);
-    const kind = state.blockKind === "string" ? "string" : "comment";
-    if (end === -1) {
-      push(tokens, line, kind);
-      return tokens;
-    }
-    push(tokens, line.slice(0, end + state.blockEnd.length), kind);
-    index = end + state.blockEnd.length;
-    state.blockEnd = undefined;
-    state.blockKind = undefined;
-  } else if (grammar.block?.[0] === "/*" && /^\s*\*(?:\s|\/|$)/.test(line)) {
-    push(tokens, line, "comment");
-    return tokens;
-  }
-  const isWordStart = (character) => /[A-Za-z_]/.test(character) || grammar.wordExtra?.includes("$") === true && character === "$";
-  const isWordPart = (character) => /[\w]/.test(character) || grammar.wordExtra !== undefined && grammar.wordExtra.includes(character);
-  let firstWord = true;
-  while (index < line.length) {
-    const character = line[index];
-    const rest = line.slice(index);
-    if (character === " " || character === "\t") {
-      let end = index;
-      while (end < line.length && (line[end] === " " || line[end] === "\t"))
-        end += 1;
-      push(tokens, line.slice(index, end), "plain");
-      index = end;
-      continue;
-    }
-    if (grammar.block && rest.startsWith(grammar.block[0])) {
-      const end = line.indexOf(grammar.block[1], index + grammar.block[0].length);
-      if (end === -1) {
-        push(tokens, rest, "comment");
-        state.blockEnd = grammar.block[1];
-        state.blockKind = "comment";
-        return tokens;
-      }
-      push(tokens, line.slice(index, end + grammar.block[1].length), "comment");
-      index = end + grammar.block[1].length;
-      continue;
-    }
-    const lineComment = grammar.lineComments.find((marker) => rest.startsWith(marker));
-    if (lineComment) {
-      const atWordStart = index === 0 || /\s/.test(line[index - 1]);
-      const shebang = family === "shell" && index === 0 && rest.startsWith("#!");
-      if (shebang || !grammar.hashNeedsSpace || lineComment !== "#" || atWordStart) {
-        push(tokens, rest, "comment");
-        return tokens;
-      }
-    }
-    if (grammar.triple && (rest.startsWith('"""') || rest.startsWith("'''"))) {
-      const fence = rest.slice(0, 3);
-      const end = line.indexOf(fence, index + 3);
-      if (end === -1) {
-        push(tokens, rest, "string");
-        state.blockEnd = fence;
-        state.blockKind = "string";
-        return tokens;
-      }
-      push(tokens, line.slice(index, end + 3), "string");
-      index = end + 3;
-      continue;
-    }
-    if (grammar.lifetimes && character === "'") {
-      const charLiteral = /^'(?:\\.|[^\\'])'/.exec(rest);
-      if (!charLiteral) {
-        const lifetime = /^'[A-Za-z_]\w*/.exec(rest);
-        if (lifetime) {
-          push(tokens, lifetime[0], "declaration");
-          index += lifetime[0].length;
-          continue;
-        }
-      }
-    }
-    if (grammar.quotes.includes(character)) {
-      let end = index + 1;
-      while (end < line.length) {
-        if (line[end] === "\\") {
-          end += 2;
-          continue;
-        }
-        if (line[end] === character) {
-          end += 1;
-          break;
-        }
-        end += 1;
-      }
-      const text = line.slice(index, Math.min(end, line.length));
-      const isKey = (family === "json" || family === "yaml") && nextNonSpace(line, index + text.length) === ":";
-      push(tokens, text, isKey ? "property" : "string");
-      index += text.length;
-      firstWord = false;
-      continue;
-    }
-    if (grammar.decorators && character === "@" && /[A-Za-z_]/.test(line[index + 1] ?? "")) {
-      const match = /^@[\w.]+/.exec(rest);
-      push(tokens, match[0], "decorator");
-      index += match[0].length;
-      continue;
-    }
-    if (grammar.dollarVariables && character === "$") {
-      const match = /^\$(?:\{[^}]*\}|[A-Za-z_][\w:]*|[0-9#?@*!$-])/.exec(rest);
-      if (match) {
-        const text = match[0];
-        const lowered = text.toLowerCase();
-        push(tokens, text, grammar.declaration.has(lowered) ? "declaration" : "variable");
-        index += text.length;
-        firstWord = false;
-        continue;
-      }
-    }
-    if (/[0-9]/.test(character) || character === "." && /[0-9]/.test(line[index + 1] ?? "") && !/[\w)]/.test(line[index - 1] ?? "")) {
-      const match = /^(?:0[xX][\da-fA-F_]+|0[bB][01_]+|0[oO][0-7_]+|(?:\d[\d_]*)?\.?\d[\d_]*(?:[eE][+-]?\d+)?)[a-zA-Z%]*/.exec(rest);
-      if (match && match[0]) {
-        push(tokens, match[0], "number");
-        index += match[0].length;
-        firstWord = false;
-        continue;
-      }
-    }
-    if (isWordStart(character) || grammar.wordExtra?.includes("-") && character === "-" && /[A-Za-z]/.test(line[index + 1] ?? "") && !isWordPart(line[index - 1] ?? " ")) {
-      let end = index + 1;
-      while (end < line.length && isWordPart(line[end]))
-        end += 1;
-      const word = line.slice(index, end);
-      push(tokens, word, classifyWord(word, line, index, end, grammar, family, firstWord));
-      index = end;
-      firstWord = false;
-      continue;
-    }
-    if (PUNCTUATION.has(character)) {
-      push(tokens, character, "punctuation");
-      if (character === "|" || character === ";" || character === "&" || character === "(")
-        firstWord = true;
-      index += 1;
-      continue;
-    }
-    push(tokens, character, "plain");
-    index += 1;
-  }
-  return tokens;
-}
-function classifyWord(word, line, start, end, grammar, family, firstWord) {
-  const lookup = grammar.caseInsensitive ? word.toLowerCase() : word;
-  const after = nextNonSpace(line, end);
-  const before = previousNonSpace(line, start - 1);
-  if (family === "yaml" && after === ":" && /^\s*(?:-\s+)?$/.test(line.slice(0, start)) || family === "toml" && after === "=" && /^\s*$/.test(line.slice(0, start)))
-    return "property";
-  if (family === "toml" && /^\s*\[/.test(line))
-    return "type";
-  if (family === "powershell") {
-    if (word.startsWith("-"))
-      return "declaration";
-    if (/^[A-Za-z]+-[A-Za-z]+$/.test(word))
-      return "function";
-  }
-  if (grammar.control.has(lookup))
-    return "control";
-  if (grammar.declaration.has(lookup))
-    return "declaration";
-  if (grammar.types?.has(lookup))
-    return "type";
-  if (family === "rust" && line[end] === "!")
-    return "function";
-  if (before === "." && after !== "(")
-    return "property";
-  if (after === "(")
-    return "function";
-  if (family === "shell" && firstWord)
-    return "function";
-  if (family === "makefile" && after === ":" && start === 0)
-    return "function";
-  if (/^[A-Z][a-z0-9]/.test(word) && family !== "sql" && family !== "yaml")
-    return "type";
-  return "plain";
-}
-function tokenizeMarkup(line, state) {
-  const tokens = [];
-  let index = 0;
-  if (state.blockEnd === "-->") {
-    const end = line.indexOf("-->");
-    if (end === -1)
-      return [{ text: line, kind: "comment" }];
-    push(tokens, line.slice(0, end + 3), "comment");
-    index = end + 3;
-    state.blockEnd = undefined;
-  }
-  while (index < line.length) {
-    const rest = line.slice(index);
-    if (rest.startsWith("<!--")) {
-      const end = line.indexOf("-->", index + 4);
-      if (end === -1) {
-        push(tokens, rest, "comment");
-        state.blockEnd = "-->";
-        return tokens;
-      }
-      push(tokens, line.slice(index, end + 3), "comment");
-      index = end + 3;
-      continue;
-    }
-    const tag = /^(<\/?)([A-Za-z][\w:.-]*)/.exec(rest);
-    if (tag) {
-      push(tokens, tag[1], "punctuation");
-      push(tokens, tag[2], /^[A-Z]/.test(tag[2]) ? "type" : "tag");
-      index += tag[0].length;
-      while (index < line.length) {
-        const inner = line.slice(index);
-        const close = /^\s*\/?>/.exec(inner);
-        if (close) {
-          push(tokens, close[0], "punctuation");
-          index += close[0].length;
-          break;
-        }
-        const attribute = /^(\s+)([^\s=>/]+)/.exec(inner);
-        if (attribute) {
-          push(tokens, attribute[1], "plain");
-          push(tokens, attribute[2], "attribute");
-          index += attribute[0].length;
-          continue;
-        }
-        const value = /^(\s*=\s*)("[^"]*"?|'[^']*'?|[^\s>]+)/.exec(inner);
-        if (value) {
-          push(tokens, value[1], "punctuation");
-          push(tokens, value[2], "string");
-          index += value[0].length;
-          continue;
-        }
-        push(tokens, inner[0], "plain");
-        index += 1;
-      }
-      continue;
-    }
-    const entity = /^&[#\w]+;/.exec(rest);
-    if (entity) {
-      push(tokens, entity[0], "number");
-      index += entity[0].length;
-      continue;
-    }
-    const text = /^[^<&]+/.exec(rest);
-    if (text) {
-      push(tokens, text[0], "plain");
-      index += text[0].length;
-      continue;
-    }
-    push(tokens, rest[0], "punctuation");
-    index += 1;
-  }
-  return tokens;
-}
-function tokenizeCss(line, state) {
-  const tokens = [];
-  let index = 0;
-  if (state.blockEnd === "*/") {
-    const end = line.indexOf("*/");
-    if (end === -1)
-      return [{ text: line, kind: "comment" }];
-    push(tokens, line.slice(0, end + 2), "comment");
-    index = end + 2;
-    state.blockEnd = undefined;
-  }
-  const declaration = /^\s*[-\w]+\s*:(?!:)/.test(line.slice(index)) && !/\{\s*$/.test(line);
-  let seenColon = false;
-  while (index < line.length) {
-    const rest = line.slice(index);
-    const character = line[index];
-    if (rest.startsWith("/*")) {
-      const end = line.indexOf("*/", index + 2);
-      if (end === -1) {
-        push(tokens, rest, "comment");
-        state.blockEnd = "*/";
-        return tokens;
-      }
-      push(tokens, line.slice(index, end + 2), "comment");
-      index = end + 2;
-      continue;
-    }
-    if (rest.startsWith("//")) {
-      push(tokens, rest, "comment");
-      return tokens;
-    }
-    if (character === '"' || character === "'") {
-      const end = line.indexOf(character, index + 1);
-      const text = line.slice(index, end === -1 ? line.length : end + 1);
-      push(tokens, text, "string");
-      index += text.length;
-      continue;
-    }
-    const at = /^@[\w-]+/.exec(rest);
-    if (at) {
-      push(tokens, at[0], "control");
-      index += at[0].length;
-      continue;
-    }
-    const hex = /^#[\da-fA-F]{3,8}\b/.exec(rest);
-    if (hex && (declaration && seenColon)) {
-      push(tokens, hex[0], "number");
-      index += hex[0].length;
-      continue;
-    }
-    const number = /^-?\d*\.?\d+(?:%|[a-zA-Z]+)?/.exec(rest);
-    if (number && /[\d.]/.test(rest[0] === "-" ? rest[1] ?? "" : rest[0]) && !/[\w-]/.test(line[index - 1] ?? "")) {
-      push(tokens, number[0], "number");
-      index += number[0].length;
-      continue;
-    }
-    const word = /^-?-?[A-Za-z_][\w-]*/.exec(rest);
-    if (word) {
-      let kind;
-      if (declaration && !seenColon)
-        kind = "property";
-      else if (declaration)
-        kind = nextNonSpace(line, index + word[0].length) === "(" ? "function" : "plain";
-      else
-        kind = "tag";
-      push(tokens, word[0], kind);
-      index += word[0].length;
-      continue;
-    }
-    if (character === ":" && declaration)
-      seenColon = true;
-    push(tokens, character, PUNCTUATION.has(character) || character === "#" ? "punctuation" : "plain");
-    index += 1;
-  }
-  return tokens;
-}
-function foreground(kind, scheme, depth) {
-  if (kind === "plain")
-    return "";
-  return colorCode(SYNTAX_COLORS[scheme][kind], depth);
-}
-function highlightSyntax(line, options) {
-  const { depth } = options;
-  const tokens = tokenizeLine(line, options.language, options.state ?? {});
-  if (depth === "none")
-    return line;
-  const scheme = schemeFor(options.palette);
-  if (!options.band) {
-    return tokens.map((token) => {
-      const code = foreground(token.kind, scheme, depth);
-      if (token.kind === "comment")
-        return paintAll(token.text, [code, ITALIC], depth);
-      return paint(token.text, code, depth);
-    }).join("");
-  }
-  const backgrounds = DIFF_BACKGROUNDS[scheme];
-  const lineBackground = backgroundCode(options.band === "add" ? backgrounds.add : backgrounds.remove, depth);
-  const strongBackground = backgroundCode(options.band === "add" ? backgrounds.addStrong : backgrounds.removeStrong, depth);
-  const changedAt = [];
-  if (options.segments)
-    for (const segment of options.segments)
-      for (let count = 0;count < segment.text.length; count += 1)
-        changedAt.push(segment.changed);
-  let out = lineBackground;
-  let offset = 0;
-  let activeBackground = lineBackground;
-  for (const token of tokens) {
-    const code = foreground(token.kind, scheme, depth);
-    const italic = token.kind === "comment";
-    let runStart = 0;
-    while (runStart < token.text.length) {
-      const strong = changedAt[offset + runStart] === true;
-      let runEnd = runStart + 1;
-      while (runEnd < token.text.length && changedAt[offset + runEnd] === true === strong)
-        runEnd += 1;
-      const background = strong ? strongBackground : lineBackground;
-      if (background !== activeBackground) {
-        out += background;
-        activeBackground = background;
-      }
-      out += `${code}${italic ? ITALIC : ""}${token.text.slice(runStart, runEnd)}${code ? "\x1B[39m" : ""}${italic ? "\x1B[23m" : ""}`;
-      runStart = runEnd;
-    }
-    offset += token.text.length;
-  }
-  if (activeBackground !== lineBackground)
-    out += lineBackground;
-  const width = [...line].length;
-  if (options.padTo !== undefined && options.padTo > width)
-    out += " ".repeat(options.padTo - width);
-  return `${out}${RESET}`;
-}
-
-export { BUILTIN_THEME_SOURCES, parseColor, rgbTo256, colorCode, rainbowHex, rainbowText, parseThemeSource, builtinThemes, EXTERNAL_MARK, ANSI_PALETTE, roleCode, NO_COLOR_PALETTE, parseThemeCommand, RESET, BOLD, DIM, ITALIC, STRIKE, REVERSE, paint, paintAll, UNICODE_GLYPHS, ASCII_GLYPHS, borderGlyphsFor, resolveGlyphs, visibleWidth, clipTo, newSyntaxState, codeStyleFromEnvironment, setCodeStyle, codeStyle, highlightSyntax, currentScreenCapabilities, explainScreenRefusal, exitTopTermUIApp, withFullScreen };