killeros 2.1.23 → 2.1.25

package/CHANGELOG.md

@@ -4,6 +4,35 @@ All notable changes to KillerOS are documented here.
 
 ## [Unreleased]
 
+## [2.1.25] - 2026-09-06
+
+### Fixed
+
+- Left-aligned settled `✓ Done` receipt lines so every row shares the assistant text edge.
+
+### Changed
+
+- Replaced the boxed startup card with a three-row masthead: coral fade mark, versions, model and reasoning level, directory and branch, and an italic tip.
+- Swapped the working indicator to the 10-frame Braille orbit at 80 ms per frame.
+- Restored the leading `❯` prompt marker in white in the chat editor.
+- Rendered footer model names and the `fast` badge in non-bold white.
+- Showed the current Pi version beside the KillerOS version in the startup header.
+
+### Removed
+
+- Removed the `/variants` reasoning-level command in favor of Pi's native `/thinking` selector.
+
+## [2.1.24] - 2026-09-05
+
+### Added
+
+- Appended the settled model display name to version 4 worked-for receipts for single-model TUI runs.
+
+### Changed
+
+- Rendered settled `Done` receipts without the `✓` marker, keeping `■ Stopped`, `× Failed`, and version 1 history unchanged.
+- Raised the locked Pi development packages and minimum supported Pi peer version to 0.85.0, including `@earendil-works/pi-server`.
+
 ## [2.1.23] - 2026-09-04
 
 ### Changed

package/Killeros.ts

@@ -22,7 +22,6 @@ import { registerPersonalInstructions } from "./killeros/personal-instructions.t
 import { registerQuestionTool } from "./killeros/question.ts";
 import { createGoalRuntime, createInitRuntime } from "./killeros/runtime.ts";
 import { registerShellUi } from "./killeros/shell-ui.ts";
-import { registerVariants } from "./killeros/variants.ts";
 import { registerWorkedFor } from "./killeros/worked-for.ts";
 
 export { contextPercentRemaining, formatCost, formatContextProgress } from "./killeros/footer.ts";
@@ -49,7 +48,6 @@ export default function Killeros(pi: ExtensionAPI, options: KillerosOptions = {}
   registerHandoff(pi, goalRuntime, options.handoffMaxTokens);
   registerSlashAutocomplete(pi, commandResolver);
   registerFooter(pi, goalRuntime);
-  registerVariants(pi);
   registerCodexFastMode(pi);
   registerInitCommand(pi, initRuntime, goalRuntime);
   registerLifecycleHooks(pi);

package/README.md

@@ -4,10 +4,9 @@ A TypeScript extension for the [Pi coding agent](https://github.com/earendil-wor
 
 ## What you get
 
-- A custom TUI: startup card with version, model, provider, working directory, and Git branch; a dark theme with coral accents; a multiline editor with slash-command completion; a footer that tracks model, context, and goal state; settled task receipts with duration and token usage.
+- A custom TUI: startup masthead with versions, model, working directory, and Git branch; a dark theme with coral accents; a multiline editor with slash-command completion; a footer that tracks model, context, and goal state; settled task receipts with duration and token usage.
 - `/goal`: set an objective and Pi keeps working toward it across turns, compaction, reloads, and branch navigation. New goals pause after 20 turns; `/goal resume` grants another 20.
 - `/init`: generates a root `AGENTS.md` from repository evidence, preserving compatible existing rules.
-- `/variants`: pick a reasoning level supported by the active model.
 - `/codex-fast`: toggles the `priority` service tier on Codex requests.
 - `/handoff`: starts a fresh linked session carrying visible continuation context.
 - Automatic context compaction when remaining tokens drop below 15% of the window (configurable).
@@ -19,7 +18,7 @@ A TypeScript extension for the [Pi coding agent](https://github.com/earendil-wor
 ## Requirements
 
 - Node.js 22.19.0+
-- Pi 0.84.3 or later within the 0.x release line
+- Pi 0.85.0 or later within the 0.x release line
 - An interactive TUI session for the custom header, editor, footer, `question`, and `/init`
 
 ## Install
@@ -34,7 +33,7 @@ Or from GitHub:
 pi install git:github.com/KyrosHendrix/pi-KillerOS
 ```
 
-Pin a release by appending its tag, for example `@v2.1.23`. Add `-l` to install only for the current project. Restart Pi after installing.
+Pin a release by appending its tag, for example `@v2.1.25`. Add `-l` to install only for the current project. Restart Pi after installing.
 
 ## Commands
 
@@ -45,7 +44,6 @@ Pin a release by appending its tag, for example `@v2.1.23`. Add `-l` to install
 /goal pause               Stop automatic continuation
 /goal resume              Resume automatic continuation
 /goal clear               Remove the current goal
-/variants                 Reasoning-level selector (/variants high sets directly)
 /codex-fast               Toggle Codex fast mode
 /notification             Configure the completion sound
 /handoff [focus]          Fresh session with continuation context

package/killeros/commands.ts

@@ -72,7 +72,6 @@ const BUILTIN_COMMANDS: ReadonlyArray<{ name: string; description: string }> = [
 const COMMAND_SYNTAX_HINTS: Readonly<Record<string, string>> = {
   goal: "/goal [objective|pause|resume|clear]",
   handoff: "/handoff [next-session focus]",
-  variants: "/variants [level]",
   model: "/model [provider/model]",
   "scoped-models": "/scoped-models",
   login: "/login [provider]",

package/killeros/display.ts

@@ -51,3 +51,10 @@ export function formatTokens(value: number): string {
   if (inK >= 1_000) return `${Number((rounded / 1_000_000).toFixed(1))}M`;
   return `${inK}k`;
 }
+
+/** Resolves a lowercase model id for display, falling back to the name. */
+export function modelDisplayName(model: { name?: string; id?: string }): string {
+  const id = safeTerminalText(model.id ?? "").replaceAll("\n", "").trim();
+  if (id) return id.toLowerCase();
+  return safeTerminalText(model.name ?? "").replaceAll("\n", "").trim().toLowerCase();
+}

package/killeros/footer.ts

@@ -3,7 +3,7 @@ import { watch } from "node:fs";
 import { type ExtensionAPI, type ExtensionContext, type Theme, type ThemeColor } from "@earendil-works/pi-coding-agent";
 import { truncateToWidth, visibleWidth, type TUI } from "@earendil-works/pi-tui";
 import { isCodexFastEnabled, subscribeCodexFast } from "./codex-fast-state.ts";
-import { formatCwd, formatTime, formatTokens, padRight } from "./display.ts";
+import { formatCwd, formatTime, modelDisplayName, padRight } from "./display.ts";
 import { goalElapsedMilliseconds } from "./goal-state.ts";
 import type { GoalRuntime, GoalState } from "./runtime.ts";
 import { safeTerminalText } from "./safe-terminal-text.ts";
@@ -14,7 +14,7 @@ const GIT_STATUS_TIMEOUT_MS = 5_000;
 const GIT_STATUS_WATCH_DEBOUNCE_MS = 250;
 const GIT_STATUS_WATCH_INTERVAL_MS = 5_000;
 const CODEX_PROVIDER = "openai-codex";
-const colorDirectory = (text: string): string => `\x1B[38;2;240;248;154m${text}\x1B[39m`;
+export const colorDirectory = (text: string): string => `\x1B[38;2;240;248;154m${text}\x1B[39m`;
 
 export interface GitFileChanges {
   modified: number;
@@ -239,13 +239,13 @@ export function contextPercentRemaining(ctx: ExtensionContext): number | null {
 }
 
 export function formatContextProgress(tokensUsed: number | null, contextWindow: number, theme: Theme): string {
-  if (tokensUsed === null || !Number.isFinite(tokensUsed)) return theme.fg("dim", "—% left (—)");
+  if (tokensUsed === null || !Number.isFinite(tokensUsed)) return theme.fg("dim", "ctx —%");
   const windowSize = Number.isFinite(contextWindow) && contextWindow > 0 ? contextWindow : 128_000;
-  const remaining = Math.max(0, Math.min(windowSize, windowSize - Math.max(0, tokensUsed)));
-  const percentLeft = Math.max(0, Math.min(100, Math.round((remaining / windowSize) * 100)));
-  const color: ThemeColor = percentLeft < 20 ? "error" : percentLeft <= 50 ? "warning" : "success";
-  const action = percentLeft < 15 ? " · /compact" : "";
-  return theme.fg(color, `${percentLeft}% left (${formatTokens(remaining)})${action}`);
+  const used = Math.max(0, Math.min(windowSize, Math.max(0, tokensUsed)));
+  const percentUsed = Math.max(0, Math.min(100, Math.round((used / windowSize) * 100)));
+  const color: ThemeColor = percentUsed > 80 ? "error" : percentUsed >= 50 ? "warning" : "success";
+  const action = percentUsed >= 85 ? " · /compact" : "";
+  return theme.fg(color, `ctx ${percentUsed}%${action}`);
 }
 
 function sumSessionCost(ctx: ExtensionContext): number {
@@ -275,30 +275,11 @@ const PROVIDER_LABELS: Readonly<Record<string, string>> = {
   openrouter: "OpenRouter",
 };
 
-const PROVIDER_WORDS: Readonly<Record<string, string>> = {
-  ai: "AI",
-  api: "API",
-  deepseek: "DeepSeek",
-  github: "GitHub",
-  llm: "LLM",
-  openai: "OpenAI",
-  openrouter: "OpenRouter",
-};
-
 function formatProviderName(provider: string): string {
   const normalized = safeTerminalText(provider).replaceAll("\n", "").trim();
   const known = PROVIDER_LABELS[normalized.toLowerCase()];
-  if (known) return known;
-  return normalized
-    .split(/[-_]+/u)
-    .filter(Boolean)
-    .map((word) => PROVIDER_WORDS[word.toLowerCase()] ?? `${word.charAt(0).toUpperCase()}${word.slice(1)}`)
-    .join(" ") || "Unknown provider";
-}
-
-function modelDisplayName(model: NonNullable<ExtensionContext["model"]>): string {
-  const name = safeTerminalText(model.name ?? "").replaceAll("\n", "").trim();
-  return name || safeTerminalText(model.id).replaceAll("\n", "").trim() || "Unknown model";
+  if (known) return known.toLowerCase();
+  return normalized.toLowerCase().split(/[-_]+/u).filter(Boolean).join(" ") || "unknown provider";
 }
 
 export function formatModel(
@@ -307,11 +288,10 @@ export function formatModel(
   includeProvider = true,
   showCodexFast = false,
 ): string {
-  if (!model) return theme.fg("dim", "No model");
-  const name = theme.fg("text", theme.bold(modelDisplayName(model)));
-  const fast = showCodexFast && model.provider === CODEX_PROVIDER
-    ? theme.fg("accent", theme.bold("Fast"))
-    : "";
+  if (!model) return theme.fg("dim", "no model");
+  const displayName = modelDisplayName(model) || "unknown model";
+  const name = theme.fg("text", displayName);
+  const fast = showCodexFast && model.provider === CODEX_PROVIDER ? theme.fg("text", "fast") : "";
   const provider = includeProvider ? theme.fg("dim", formatProviderName(model.provider)) : "";
   return [name, fast, provider].filter(Boolean).join(" ");
 }

package/killeros/shell-ui.ts

@@ -2,6 +2,7 @@ import { execFile } from "node:child_process";
 import { readFileSync } from "node:fs";
 import {
   CustomEditor,
+  VERSION as PI_VERSION,
   type ExtensionAPI,
   type ExtensionContext,
   type KeybindingsManager,
@@ -11,22 +12,18 @@ import {
   CURSOR_MARKER,
   stripTerminalSequences,
   truncateToWidth,
-  visibleWidth,
   wrapTextWithAnsi,
   type EditorTheme,
   type TUI,
 } from "@earendil-works/pi-tui";
-import { formatCwd, padRight } from "./display.ts";
+import { formatCwd, modelDisplayName, padRight } from "./display.ts";
+import { colorDirectory } from "./footer.ts";
 import {
   createSlashCommandResolver,
   findSlashCommandTokens,
   type SlashCommandResolver,
 } from "./commands.ts";
 import { reportError } from "./errors.ts";
-import { formatModel } from "./footer.ts";
-import { LEVEL_COLORS } from "./variants.ts";
-
-const COMPACT_HEADER_MAX_WIDTH = 52;
 
 function readPackageVersion(path: string | URL): string | undefined {
   try {
@@ -46,7 +43,7 @@ const KILLEROS_VERSION = readPackageVersion(new URL("../package.json", import.me
 
 const STARTUP_TIPS = [
   "Press Shift+Enter to insert a line break without sending.",
-  "Run /variants to tune the model's reasoning depth.",
+  "Run /thinking to tune the model's reasoning depth.",
   "Type / to browse every command available in this session.",
   "Run /notification to enable a terminal bell when work settles.",
   "Run /goal <objective> to keep long-running work moving across turns.",
@@ -119,10 +116,8 @@ function nextEditorSuggestion(): string {
   return editorSuggestionDeck.pop() ?? EDITOR_SUGGESTIONS[0];
 }
 
-function compactBoxLine(content: string, width: number, theme: Theme): string {
-  if (width < 4) return truncateToWidth(content, width, "");
-  return `${theme.fg("dim", "│")} ${padRight(content, width - 4)} ${theme.fg("dim", "│")}`;
-}
+const MASTHEAD_MARK = ["██████", "▓▓▓▓▓▓", "░░░░░░"];
+const MASTHEAD_GAP = "   ";
 
 class PiStartupHeader {
   private readonly pi: ExtensionAPI;
@@ -145,10 +140,8 @@ class PiStartupHeader {
   }
 
   private tipLines(width: number, theme: Theme): string[] {
-    const indent = "  ";
-    const text = `${theme.fg("text", theme.bold("Tip:"))}${theme.fg("dim", ` ${this.tip}`)}`;
-    return wrapTextWithAnsi(text, width - indent.length)
-      .map((line) => padRight(`${indent}${line}`, width));
+    const text = theme.italic(`${theme.fg("text", theme.bold("Tip:"))}${theme.fg("dim", ` ${this.tip}`)}`);
+    return wrapTextWithAnsi(text, width);
   }
 
   render(width: number): string[] {
@@ -156,34 +149,18 @@ class PiStartupHeader {
     const theme = this.ctx.ui.theme;
     if (width < 28) return [truncateToWidth(theme.fg("text", theme.bold("KillerOS")), width, "")];
 
-    const panelWidth = Math.min(width, COMPACT_HEADER_MAX_WIDTH);
-    const innerWidth = panelWidth - 4;
-    const version = KILLEROS_VERSION ? theme.fg("dim", ` (v${KILLEROS_VERSION})`) : "";
-    const identity = `${theme.fg("dim", "›")} ${theme.fg("text", theme.bold("KillerOS"))}${version}`;
+    const textWidth = Math.max(0, width - MASTHEAD_MARK[0].length - MASTHEAD_GAP.length);
+    const identity = `${theme.fg("text", "Pi")}${theme.fg("dim", ` ${PI_VERSION} | `)}${theme.fg("text", "KillerOS")}${KILLEROS_VERSION ? theme.fg("dim", ` ${KILLEROS_VERSION}`) : ""}`;
     const thinkingLevel = this.pi.getThinkingLevel();
-    const reasoning = this.ctx.model?.reasoning === false
-      ? theme.fg("thinkingOff", "no reasoning")
-      : theme.fg(LEVEL_COLORS[thinkingLevel], thinkingLevel);
-    const agent = `${formatModel(this.ctx.model, theme)}${theme.fg("dim", " · ")}${reasoning}`;
+    const reasoning = this.ctx.model?.reasoning === false ? "no reasoning" : thinkingLevel;
+    const modelName = this.ctx.model ? modelDisplayName(this.ctx.model) || "unknown model" : "no model";
+    const agent = `${theme.fg("dim", "model: ")}${theme.fg("text", `${modelName} ${reasoning}`)}`;
     const directory = formatCwd(this.ctx.cwd);
-    const repository = this.branch
-      ? `${directory} ${theme.fg("dim", `· ${this.branch}`)}`
-      : directory;
-    const modelCommand = theme.fg("mdLink", "/model");
-    const agentWidth = Math.max(0, innerWidth - visibleWidth(modelCommand) - 1);
-    const agentCommand = `${truncateToWidth(agent, agentWidth, "…")} ${modelCommand}`;
-    const border = (left: string, right: string): string => theme.fg("dim", `${left}${"─".repeat(panelWidth - 2)}${right}`);
-    const lines = [
-      border("╭", "╮"),
-      compactBoxLine(identity, panelWidth, theme),
-      compactBoxLine("", panelWidth, theme),
-      compactBoxLine(agentCommand, panelWidth, theme),
-      compactBoxLine(repository, panelWidth, theme),
-      border("╰", "╯"),
-      " ".repeat(panelWidth),
-      ...this.tipLines(panelWidth, theme),
-    ];
-    return lines;
+    const repository = `${theme.fg("dim", "directory: ")}${theme.fg("text", directory)}${this.branch ? ` ${colorDirectory(this.branch)}` : ""}`;
+    const rows = [identity, agent, repository].map((text, index) =>
+      `${theme.fg("accent", MASTHEAD_MARK[index] ?? "")}${MASTHEAD_GAP}${truncateToWidth(text, textWidth, "…")}`,
+    );
+    return [...rows, "", ...this.tipLines(width, theme)];
   }
 
   invalidate(): void {}
@@ -353,9 +330,7 @@ class PiCodeEditor extends CustomEditor {
 
     for (let index = 1; index < bottomBorderIndex; index += 1) {
       const isPromptLine = index === 1 && !isScrolledHeader;
-      const prefix = isPromptLine
-        ? this.runtimeTheme.fg(this.focused ? "accent" : "dim", "❯\u00A0")
-        : "  ";
+      const prefix = isPromptLine ? this.runtimeTheme.fg("text", "❯\u00A0") : "  ";
       let content = lines[index] ?? "";
       if (isPromptLine && this.getText() === "") {
         const first = this.suggestion.slice(0, 1);
@@ -387,10 +362,10 @@ class PiCodeEditor extends CustomEditor {
 }
 
 const ACTIVITY_FRAMES = [
-  "·", "✢", "✱", "✶", "✻", "✽",
-  "✽", "✻", "✶", "✱", "✢", "·",
+  "⠋", "⠙", "⠹", "⠸", "⠼",
+  "⠴", "⠦", "⠧", "⠇", "⠏",
 ] as const;
-const ACTIVITY_FRAME_INTERVAL_MS = 120;
+const ACTIVITY_FRAME_INTERVAL_MS = 80;
 
 let killerosEditorFactory: ReturnType<ExtensionContext["ui"]["getEditorComponent"]>;
 

package/killeros/variants.ts

@@ -1,28 +1,7 @@
-import { DynamicBorder, type ExtensionAPI, type ExtensionContext, type ThemeColor } from "@earendil-works/pi-coding-agent";
-import { SelectList, truncateToWidth } from "@earendil-works/pi-tui";
-import { safeTerminalText } from "./safe-terminal-text.ts";
+import type { ExtensionAPI, ThemeColor } from "@earendil-works/pi-coding-agent";
 
 export type ThinkingLevel = ReturnType<ExtensionAPI["getThinkingLevel"]>;
 
-const ALL_LEVELS = ["off", "minimal", "low", "medium", "high", "xhigh", "max"] as const satisfies readonly ThinkingLevel[];
-const LEVEL_LABELS: Readonly<Record<ThinkingLevel, string>> = {
-  off: "Off",
-  minimal: "Minimal",
-  low: "Low",
-  medium: "Medium",
-  high: "High",
-  xhigh: "Extra High",
-  max: "Maximum",
-};
-const LEVEL_DESCRIPTIONS: Readonly<Record<ThinkingLevel, string>> = {
-  off: "No extended reasoning",
-  minimal: "Brief reasoning",
-  low: "Light reasoning",
-  medium: "Balanced reasoning",
-  high: "Deep reasoning",
-  xhigh: "Extensive reasoning",
-  max: "Maximum supported reasoning",
-};
 export const LEVEL_COLORS: Readonly<Record<ThinkingLevel, ThemeColor>> = {
   off: "thinkingOff",
   minimal: "thinkingMinimal",
@@ -32,152 +11,3 @@ export const LEVEL_COLORS: Readonly<Record<ThinkingLevel, ThemeColor>> = {
   xhigh: "thinkingXhigh",
   max: "thinkingMax",
 };
-const LEVEL_ALIASES: Readonly<Record<string, ThinkingLevel>> = {
-  quick: "minimal",
-  fast: "minimal",
-  light: "low",
-  balanced: "medium",
-  deep: "high",
-  maximum: "max",
-  none: "off",
-};
-
-function isThinkingLevel(value: string): value is ThinkingLevel {
-  return ALL_LEVELS.some((level) => level === value);
-}
-
-function resolveThinkingLevel(input: string): ThinkingLevel | undefined {
-  const normalized = input.trim().toLowerCase();
-  return isThinkingLevel(normalized) ? normalized : LEVEL_ALIASES[normalized];
-}
-
-function supportedLevels(model: ExtensionContext["model"]): ThinkingLevel[] {
-  if (!model?.reasoning) return ["off"];
-  return ALL_LEVELS.filter((level) => {
-    const mapped = model.thinkingLevelMap?.[level];
-    if (mapped === null) return false;
-    return level !== "xhigh" && level !== "max" || mapped !== undefined;
-  });
-}
-
-function modelLabel(model: ExtensionContext["model"]): string {
-  return model ? safeTerminalText(`${model.provider}/${model.id}`).replaceAll("\n", "") : "unknown model";
-}
-
-export function registerVariants(pi: ExtensionAPI): void {
-  const setLevel = (ctx: ExtensionContext, level: ThinkingLevel): void => {
-    const supported = supportedLevels(ctx.model);
-    if (!supported.includes(level)) {
-      ctx.ui.notify(`${LEVEL_LABELS[level]} is not supported by ${modelLabel(ctx.model)}. Supported: ${supported.join(", ")}`, "warning");
-      return;
-    }
-    pi.setThinkingLevel(level);
-    ctx.ui.notify(`Thinking: ${LEVEL_LABELS[level]}`, "info");
-  };
-
-  pi.registerCommand("variants", {
-    description: "Set reasoning level: off, minimal, low, medium, high, xhigh, or max",
-    handler: async (args, ctx) => {
-      if (args.trim()) {
-        const level = resolveThinkingLevel(args);
-        if (!level) {
-          ctx.ui.notify(`Unknown reasoning level "${safeTerminalText(args.trim()).replaceAll("\n", "")}". Use: ${ALL_LEVELS.join(", ")}`, "error");
-          return;
-        }
-        setLevel(ctx, level);
-        return;
-      }
-      if (ctx.mode !== "tui") {
-        ctx.ui.notify("Use /variants <level> outside TUI mode", "error");
-        return;
-      }
-
-      const supported = supportedLevels(ctx.model);
-      if (supported.length === 1) {
-        ctx.ui.notify(`${modelLabel(ctx.model)} does not support extended reasoning`, "info");
-        return;
-      }
-      const current = pi.getThinkingLevel();
-      const items = supported.map((level) => ({
-        value: level,
-        label: level === current ? `${LEVEL_LABELS[level]} ← current` : LEVEL_LABELS[level],
-        description: LEVEL_DESCRIPTIONS[level],
-      }));
-      const selected = await ctx.ui.custom<ThinkingLevel | null>((tui, theme, keybindings, done) => {
-        const listTheme = {
-          selectedPrefix: (text: string) => theme.fg("accent", text),
-          selectedText: (text: string) => theme.fg("accent", text),
-          description: (text: string) => theme.fg("muted", text),
-          scrollInfo: (text: string) => theme.fg("dim", text),
-          noMatch: (text: string) => theme.fg("warning", text),
-        };
-        let selectList: SelectList | undefined;
-        let visibleOptionRows = 0;
-
-        const chromeFor = (rowBudget: number): "full" | "compact" | "none" => (
-          rowBudget >= 8 ? "full" : rowBudget >= 4 ? "compact" : "none"
-        );
-        const visibleRowsFor = (rowBudget: number): number => {
-          const chrome = chromeFor(rowBudget);
-          const chromeRows = chrome === "full" ? 5 : chrome === "compact" ? 2 : 0;
-          const availableListRows = Math.max(1, rowBudget - chromeRows);
-          return availableListRows >= items.length
-            ? items.length
-            : Math.max(1, availableListRows - 1);
-        };
-        const ensureSelectList = (nextVisibleOptionRows: number): SelectList => {
-          if (selectList && visibleOptionRows === nextVisibleOptionRows) return selectList;
-          const selectedValue = selectList?.getSelectedItem()?.value ?? current;
-          const nextSelectList = new SelectList(items, nextVisibleOptionRows, listTheme);
-          const selectedIndex = items.findIndex((item) => item.value === selectedValue);
-          nextSelectList.setSelectedIndex(Math.max(0, selectedIndex));
-          nextSelectList.onSelect = (item) => done(isThinkingLevel(item.value) ? item.value : null);
-          nextSelectList.onCancel = () => done(null);
-          selectList = nextSelectList;
-          visibleOptionRows = nextVisibleOptionRows;
-          return nextSelectList;
-        };
-
-        const border = new DynamicBorder((text: string) => theme.fg("accent", text));
-        const title = ` ${theme.fg("accent", theme.bold("Thinking variants"))}`;
-        const model = ` ${theme.fg("dim", `Model: ${modelLabel(ctx.model)}`)}`;
-        const keyHint = (keybinding: Parameters<typeof keybindings.getKeys>[0], description: string): string => {
-          const keyText = keybindings.getKeys(keybinding)
-            .join("/")
-            .split("/")
-            .map((key) => key.split("+").map((part) => process.platform === "darwin" && part.toLowerCase() === "alt" ? "option" : part).join("+"))
-            .join("/");
-          return theme.fg("dim", keyText) + theme.fg("muted", ` ${description}`);
-        };
-        const controls = ` ${theme.fg("dim", `${keyHint("tui.select.up", "up")} • ${keyHint("tui.select.down", "down")} • ${keyHint("tui.select.confirm", "select")} • ${keyHint("tui.select.cancel", "cancel")}`)}`;
-
-        const render = (width: number): string[] => {
-          const rowBudget = Math.max(0, tui.terminal.rows);
-          if (width <= 0 || rowBudget === 0) return [];
-          const chrome = chromeFor(rowBudget);
-          const list = ensureSelectList(visibleRowsFor(rowBudget));
-          const lines: string[] = [];
-
-          if (chrome === "full") lines.push(...border.render(width));
-          if (chrome !== "none") lines.push(title);
-          if (chrome === "full") lines.push(model);
-          lines.push(...list.render(width));
-          if (chrome !== "none") lines.push(controls);
-          if (chrome === "full") lines.push(...border.render(width));
-
-          return lines.slice(0, rowBudget).map((line) => truncateToWidth(line, width, ""));
-        };
-
-        return {
-          render,
-          invalidate: () => selectList?.invalidate(),
-          handleInput: (data) => {
-            ensureSelectList(visibleRowsFor(Math.max(1, tui.terminal.rows))).handleInput(data);
-            tui.requestRender();
-          },
-        };
-      });
-      if (selected) setLevel(ctx, selected);
-    },
-  });
-}

package/killeros/worked-for.ts

@@ -12,7 +12,7 @@ import {
   type ChangedFile,
   type CheckAttempt,
 } from "./change-receipt.ts";
-import { formatTokens } from "./display.ts";
+import { formatTokens, modelDisplayName } from "./display.ts";
 import { errorMessage } from "./errors.ts";
 import { safeTerminalText } from "./safe-terminal-text.ts";
 
@@ -47,15 +47,16 @@ export interface WorkedForEntryDataV4 {
   changes: ChangeSummary;
   checks: CheckAttempt[];
   omittedChecks: { passed: number; failed: number };
+  model?: string;
 }
 
 type WorkedForEntryData = WorkedForEntryDataV1 | WorkedForEntryDataV2 | WorkedForEntryDataV3 | WorkedForEntryDataV4;
 
 const OUTCOMES = {
-  done: { marker: "✓", label: "Done", color: "success" },
-  stopped: { marker: "■", label: "Stopped", color: "warning" },
-  failed: { marker: "×", label: "Failed", color: "error" },
-} as const satisfies Record<WorkedForOutcome, { marker: string; label: string; color: string }>;
+  done: { label: "✓ Done", color: "success" },
+  stopped: { label: "■ Stopped", color: "warning" },
+  failed: { label: "× Failed", color: "error" },
+} as const satisfies Record<WorkedForOutcome, { label: string; color: string }>;
 
 function isWorkedForOutcome(value: unknown): value is WorkedForOutcome {
   return value === "done" || value === "stopped" || value === "failed";
@@ -121,6 +122,12 @@ function parseChanges(value: unknown): ChangeSummary | undefined {
   };
 }
 
+function parseModelName(value: unknown): string | undefined {
+  if (typeof value !== "string" || value.length > 200) return undefined;
+  const sanitized = safeTerminalText(value).replaceAll("\n", "").trim();
+  return sanitized || undefined;
+}
+
 function parseV4(data: Record<string, unknown>): WorkedForEntryDataV4 | undefined {
   try {
     if (Buffer.byteLength(JSON.stringify(data), "utf8") > MAX_PAYLOAD_BYTES) return undefined;
@@ -139,6 +146,7 @@ function parseV4(data: Record<string, unknown>): WorkedForEntryDataV4 | undefine
     if (!label) return undefined;
     checks.push({ label, outcome: check.outcome });
   }
+  const model = parseModelName(data.model);
   return {
     version: 4,
     milliseconds: data.milliseconds,
@@ -147,6 +155,7 @@ function parseV4(data: Record<string, unknown>): WorkedForEntryDataV4 | undefine
     changes,
     checks,
     omittedChecks: { passed: data.omittedChecks.passed, failed: data.omittedChecks.failed },
+    ...(model ? { model } : {}),
   };
 }
 
@@ -210,50 +219,52 @@ class WorkedForV4Component implements Component {
     if (width <= 0) return [];
     const { data, theme } = this;
     const outcome = OUTCOMES[data.outcome];
+    const headline = theme.fg(outcome.color, outcome.label);
+    const modelSuffix = data.model ? ` · ${data.model}` : "";
     const lines = [
-      `${theme.fg(outcome.color, `${outcome.marker} ${outcome.label}`)}${theme.fg("dim", ` · ${formatWorkedForDuration(data.milliseconds)} · ↑ ${formatTokens(data.tokens)} tokens`)}`,
+      `${headline}${theme.fg("dim", ` · ${formatWorkedForDuration(data.milliseconds)} · ↑ ${formatTokens(data.tokens)} tokens${modelSuffix}`)}`,
     ];
-    if (data.changes.state === "unavailable") lines.push(theme.fg("dim", "  Changes unavailable"));
-    else if (data.changes.totalFiles === 0) lines.push(theme.fg("dim", "  No files changed"));
+    if (data.changes.state === "unavailable") lines.push(theme.fg("dim", "Changes unavailable"));
+    else if (data.changes.totalFiles === 0) lines.push(theme.fg("dim", "No files changed"));
     else {
       const count = `${data.changes.totalFiles} ${data.changes.totalFiles === 1 ? "file" : "files"}`;
-      lines.push(`${theme.fg("accent", `  ${width < 40 ? count : `Changed ${count}`}`)}${theme.fg("dim", " · ")}${theme.fg("success", `+${data.changes.additions}`)} ${theme.fg("error", `−${data.changes.deletions}`)}`);
+      lines.push(`${theme.fg("accent", `${width < 40 ? count : `Changed ${count}`}`)}${theme.fg("dim", " · ")}${theme.fg("success", `+${data.changes.additions}`)} ${theme.fg("error", `−${data.changes.deletions}`)}`);
     }
     const passed = data.checks.filter((check) => check.outcome === "passed").length + data.omittedChecks.passed;
     const failed = data.checks.filter((check) => check.outcome === "failed").length + data.omittedChecks.failed;
     const totalChecks = passed + failed;
     if (totalChecks === 0) {
-      if (data.changes.state === "available" && data.changes.totalFiles > 0) lines.push(theme.fg("warning", "  No check recorded"));
+      if (data.changes.state === "available" && data.changes.totalFiles > 0) lines.push(theme.fg("warning", "No check recorded"));
     } else if (totalChecks === 1) {
       const check = data.checks[0];
-      if (check?.outcome === "passed") lines.push(theme.fg("success", `  Check passed: ${check.label} ✓`));
-      else if (check) lines.push(theme.fg("error", `  Check failed: ${check.label} ×`));
+      if (check?.outcome === "passed") lines.push(theme.fg("success", `Check passed: ${check.label} ✓`));
+      else if (check) lines.push(theme.fg("error", `Check failed: ${check.label} ×`));
     } else if (failed === 0) {
-      lines.push(theme.fg("success", `  Checks: ${passed} passed`));
+      lines.push(theme.fg("success", `Checks: ${passed} passed`));
     } else {
-      lines.push(`  ${theme.fg("accent", "Checks:")} ${theme.fg("success", `${passed} passed`)}${theme.fg("dim", " · ")}${theme.fg("error", `${failed} failed`)}`);
+      lines.push(`${theme.fg("accent", "Checks:")} ${theme.fg("success", `${passed} passed`)}${theme.fg("dim", " · ")}${theme.fg("error", `${failed} failed`)}`);
     }
     if (this.expanded && data.changes.state === "available") {
       for (const file of data.changes.files) {
         const marker = file.kind === "added" ? "A" : file.kind === "deleted" ? "D" : file.kind === "renamed" ? "R" : "M";
         const label = file.kind === "renamed" ? `${safePath(file.previousPath)} → ${safePath(file.path)}` : safePath(file.path);
-        const prefix = `    ${marker} `;
+        const prefix = `${marker} `;
         const detail = file.detail ? ` ${file.detail}` : ` +${file.additions} −${file.deletions}`;
-        const labelWidth = width - visibleWidth(prefix) - visibleWidth(detail);
+        const labelWidth = width - 1 - visibleWidth(prefix) - visibleWidth(detail);
         const fittedLabel = labelWidth > 0 ? truncateToWidth(label, labelWidth, "…") : "";
         const styledDetail = file.detail
           ? theme.fg("dim", detail)
           : `${theme.fg("success", ` +${file.additions}`)} ${theme.fg("error", `−${file.deletions}`)}`;
         lines.push(`${theme.fg("accent", `${prefix}${fittedLabel}`)}${styledDetail}`);
       }
-      if (data.changes.omittedFiles > 0) lines.push(theme.fg("dim", `    … ${data.changes.omittedFiles} more files`));
+      if (data.changes.omittedFiles > 0) lines.push(theme.fg("dim", `… ${data.changes.omittedFiles} more files`));
     }
     if (this.expanded) {
-      for (const check of data.checks) lines.push(theme.fg(check.outcome === "passed" ? "success" : "error", `    ${check.outcome === "passed" ? "✓" : "×"} ${check.label}`));
+      for (const check of data.checks) lines.push(theme.fg(check.outcome === "passed" ? "success" : "error", `${check.outcome === "passed" ? "✓" : "×"} ${check.label}`));
       const omitted = data.omittedChecks.passed + data.omittedChecks.failed;
-      if (omitted > 0) lines.push(theme.fg("dim", `    … ${omitted} more checks`));
+      if (omitted > 0) lines.push(theme.fg("dim", `… ${omitted} more checks`));
     }
-    return lines.map((line) => truncateToWidth(line, width, "…"));
+    return lines.map((line) => truncateToWidth(` ${line}`, width, "…"));
   }
 
   invalidate(): void {}
@@ -272,8 +283,22 @@ type ActiveReceipt = {
   collection: Promise<ChangeReceiptCollection>;
   checks: CheckAttempt[];
   omittedChecks: { passed: number; failed: number };
+  modelProvider: string | undefined;
+  modelId: string | undefined;
+  modelMismatch: boolean;
 };
 
+function receiptModelName(
+  settled: ActiveReceipt,
+  model: ExtensionContext["model"],
+): string | undefined {
+  if (settled.modelMismatch || settled.modelProvider === undefined || settled.modelId === undefined) return undefined;
+  if (!model || model.provider !== settled.modelProvider || model.id !== settled.modelId) return undefined;
+  const resolved = modelDisplayName(model);
+  if (!resolved || resolved.length > 200) return undefined;
+  return resolved;
+}
+
 function fitPayload(data: WorkedForEntryDataV4): WorkedForEntryDataV4 {
   if (data.changes.state === "unavailable") return data;
   const changes = { ...data.changes, files: [...data.changes.files] };
@@ -296,11 +321,12 @@ export function registerWorkedFor(
   pi.registerEntryRenderer<WorkedForEntryData>(WORKED_FOR_ENTRY_TYPE, (entry, options, theme) => {
     const data = parseWorkedForEntryData(entry.data);
     if (!data) return undefined;
-    if (data.version === 1) return new Text(theme.fg("dim", `✻ Worked for ${formatWorkedForDuration(data.milliseconds)}`), 0, 0);
+    if (data.version === 1) return new Text(theme.fg("dim", `✻ Worked for ${formatWorkedForDuration(data.milliseconds)}`), 1, 0);
     if (data.version === 4) return new WorkedForV4Component(data, options.expanded, theme);
     const outcome = OUTCOMES[data.outcome];
     const tokens = data.version === 3 ? ` · ↑ ${formatTokens(data.tokens)} tokens` : "";
-    return new Text(`${theme.fg(outcome.color, `${outcome.marker} ${outcome.label}`)}${theme.fg("dim", ` · ${formatWorkedForDuration(data.milliseconds)}${tokens}`)}`, 0, 0);
+    const headline = theme.fg(outcome.color, outcome.label);
+    return new Text(`${headline}${theme.fg("dim", ` · ${formatWorkedForDuration(data.milliseconds)}${tokens}`)}`, 1, 0);
   });
 
   pi.on("session_start", async () => {
@@ -319,12 +345,35 @@ export function registerWorkedFor(
       collection: collect(ctx.cwd),
       checks: [],
       omittedChecks: { passed: 0, failed: 0 },
+      modelProvider: undefined,
+      modelId: undefined,
+      modelMismatch: false,
     };
     active = state;
     const collection = await state.collection;
     if (active !== state) await collection.dispose();
   });
 
+  pi.on("message_end", (event, ctx) => {
+    if (ctx.mode !== "tui" || !active) return;
+    if (event.message.role !== "assistant") return;
+    const provider: unknown = event.message.provider;
+    const modelId: unknown = event.message.model;
+    if (typeof provider !== "string" || typeof modelId !== "string") {
+      active.modelMismatch = true;
+      return;
+    }
+    if (active.modelProvider === undefined || active.modelId === undefined) {
+      active.modelProvider = provider;
+      active.modelId = modelId;
+    } else if (active.modelProvider !== provider || active.modelId !== modelId) {
+      active.modelMismatch = true;
+    }
+    if (event.message.responseModel !== undefined && event.message.responseModel !== modelId) {
+      active.modelMismatch = true;
+    }
+  });
+
   pi.on("tool_result", (event: ToolResultEvent, ctx) => {
     if (ctx.mode !== "tui" || !active || event.toolName !== "bash" && event.toolName !== "powershell") return;
     const check = recognizedCheck(event.input.command, event.isError);
@@ -347,6 +396,7 @@ export function registerWorkedFor(
     if (ctx.mode !== "tui" || !active) return;
     const settled = active;
     active = undefined;
+    const model = receiptModelName(settled, ctx.model);
     const changes = await (await settled.collection).finish();
     if (changes.state === "unavailable" && changes.reason !== "not-git" && changes.reason !== "timeout" && !collectionNoticeShown) {
       collectionNoticeShown = true;
@@ -361,6 +411,7 @@ export function registerWorkedFor(
       changes,
       checks: settled.checks,
       omittedChecks: settled.omittedChecks,
+      ...(model ? { model } : {}),
     });
     try {
       pi.appendEntry<WorkedForEntryDataV4>(WORKED_FOR_ENTRY_TYPE, data);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "killeros",
-  "version": "2.1.23",
+  "version": "2.1.25",
   "description": "TUI, goals, and workflow automation for the Pi coding agent",
   "type": "module",
   "keywords": [
@@ -44,15 +44,16 @@
     ]
   },
   "peerDependencies": {
-    "@earendil-works/pi-ai": ">=0.84.3 <1",
-    "@earendil-works/pi-coding-agent": ">=0.84.3 <1",
-    "@earendil-works/pi-tui": ">=0.84.3 <1",
+    "@earendil-works/pi-ai": ">=0.85.0 <1",
+    "@earendil-works/pi-coding-agent": ">=0.85.0 <1",
+    "@earendil-works/pi-tui": ">=0.85.0 <1",
     "typebox": ">=1.1.38 <2"
   },
   "devDependencies": {
-    "@earendil-works/pi-ai": "0.84.3",
-    "@earendil-works/pi-coding-agent": "0.84.3",
-    "@earendil-works/pi-tui": "0.84.3",
+    "@earendil-works/pi-ai": "0.85.0",
+    "@earendil-works/pi-coding-agent": "0.85.0",
+    "@earendil-works/pi-server": "0.85.0",
+    "@earendil-works/pi-tui": "0.85.0",
     "@types/node": "24.12.4",
     "eslint": "^10.9.1",
     "typebox": "1.3.20",