killeros 2.1.24 → 2.1.26

package/CHANGELOG.md

@@ -4,6 +4,32 @@ All notable changes to KillerOS are documented here.
 
 ## [Unreleased]
 
+## [2.1.26] - 2026-09-08
+
+### Fixed
+
+- Restored Pi lifecycle loading, blocked footer Git status from invoking configured filesystem monitors, and kept replaced `/init` guidance at a disclosed recovery path so late writes remain recoverable.
+- Preserved Unicode blocker evidence when restoring goals, rejected cancelled goal updates before completion is saved, and read untracked symlink destinations instead of their targets in change receipts.
+- Kept `/init` isolated from proactive compaction, refreshed Git filter safeguards for each receipt scan, and preserved compaction recovery after cancelled session replacements.
+
+## [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

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,13 +48,12 @@ 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);
   registerWorkedFor(pi);
   const goalCompaction = registerGoalSettlement(pi, goalRuntime, initRuntime);
-  registerAutoCompaction(pi, { goal: goalCompaction });
+  registerAutoCompaction(pi, { goal: goalCompaction, isInitActive: () => initRuntime.active });
   registerInitSettlement(pi, initRuntime);
   registerRequestActivity(pi);
   registerCompletionNotifications(pi, options.completionNotifications);

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).
@@ -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.24`. Add `-l` to install only for the current project. Restart Pi after installing.
+Pin a release by appending its tag, for example `@v2.1.26`. 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.24`. 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/auto-compaction.ts

@@ -33,6 +33,7 @@ export interface AutoCompactionDependencies {
   loadPreference?: (ctx: ExtensionContext) => AutoCompactionPreference;
   getCompactionSettings?: (ctx: ExtensionContext) => CompactionSettings;
   goal?: AutoCompactionGoalHandlers;
+  isInitActive?: () => boolean;
 }
 
 type AutoCompactionRequest = {
@@ -192,7 +193,7 @@ export function registerAutoCompaction(
   };
 
   pi.on("turn_end", (_event, ctx) => {
-    if (!supportedMode(ctx) || request) return;
+    if (!supportedMode(ctx) || dependencies.isInitActive?.() === true || request) return;
 
     let preference: AutoCompactionPreference;
     let compactionSettings: CompactionSettings;
@@ -288,6 +289,4 @@ export function registerAutoCompaction(
   pi.on("session_start", resetForLifecycle);
   pi.on("session_shutdown", resetForLifecycle);
   pi.on("session_tree", resetForLifecycle);
-  pi.on("session_before_switch", resetForLifecycle);
-  pi.on("session_before_fork", resetForLifecycle);
 }

package/killeros/change-receipt.ts

@@ -119,47 +119,23 @@ function missingFile(error: unknown): boolean {
   return error !== null && typeof error === "object" && "code" in error && error.code === "ENOENT";
 }
 
-type FilterConfiguration = { names: readonly string[]; sources: ReadonlyMap<string, Buffer> };
 type Repository = {
   root: string;
   gitDirectory: string;
   commonDirectory: string;
   objectDirectory: string;
-  filterConfiguration: FilterConfiguration;
   blobCache: Map<string, Buffer>;
   blobCacheBytes: number;
 };
 const repositoryCache = new Map<string, Promise<Repository>>();
 
-async function loadFilterConfiguration(root: string, gitDirectory: string): Promise<FilterConfiguration> {
-  const records = decode(await runGit(root, ["config", "--null", "--show-origin", "--name-only", "--list"])).split("\0");
+async function loadFilterNames(root: string): Promise<readonly string[]> {
+  const records = decode(await runGit(root, ["config", "--null", "--name-only", "--list"])).split("\0");
   const names = new Set<string>();
-  const sourcePaths = new Set<string>([path.join(gitDirectory, "HEAD")]);
-  for (let index = 0; index + 1 < records.length; index += 2) {
-    const origin = records[index];
-    const key = records[index + 1];
-    if (origin?.startsWith("file:")) sourcePaths.add(path.resolve(root, origin.slice("file:".length)));
+  for (const key of records) {
     if (key && /^filter\..*\.(clean|process)$/u.test(key)) names.add(key.slice("filter.".length, key.lastIndexOf(".")));
   }
-  const sources = new Map<string, Buffer>();
-  for (const sourcePath of sourcePaths) sources.set(sourcePath, await readBoundedFile(sourcePath, GIT_OUTPUT_LIMIT));
-  return { names: [...names], sources };
-}
-
-async function currentFilterNames(repo: Repository): Promise<readonly string[]> {
-  for (const [sourcePath, previous] of repo.filterConfiguration.sources) {
-    try {
-      if (!(await readBoundedFile(sourcePath, GIT_OUTPUT_LIMIT)).equals(previous)) {
-        repo.filterConfiguration = await loadFilterConfiguration(repo.root, repo.gitDirectory);
-        break;
-      }
-    } catch (error) {
-      if (!missingFile(error)) throw error;
-      repo.filterConfiguration = await loadFilterConfiguration(repo.root, repo.gitDirectory);
-      break;
-    }
-  }
-  return repo.filterConfiguration.names;
+  return [...names];
 }
 
 async function repository(cwd: string): Promise<Repository> {
@@ -174,7 +150,6 @@ async function repository(cwd: string): Promise<Repository> {
       gitDirectory,
       commonDirectory,
       objectDirectory: path.join(commonDirectory, "objects"),
-      filterConfiguration: await loadFilterConfiguration(root, gitDirectory),
       blobCache: new Map(),
       blobCacheBytes: 0,
     };
@@ -278,7 +253,7 @@ function discardMonitor(monitor: RepositoryMonitor): void {
 }
 
 async function snapshot(repo: Repository, paths?: readonly string[]): Promise<Snapshot> {
-  const filterNames = await currentFilterNames(repo);
+  const filterNames = await loadFilterNames(repo.root);
   const output = decode(await runGit(repo.root, [
     "-c", "core.fsmonitor=false",
     ...filterNames.flatMap((name) => ["-c", `filter.${name}.clean=`, "-c", `filter.${name}.process=`, "-c", `filter.${name}.required=false`]),
@@ -295,12 +270,13 @@ async function snapshot(repo: Repository, paths?: readonly string[]): Promise<Sn
     if (record.startsWith("? ")) {
       const filePath = record.slice(2);
       if (!filePath || filePath.endsWith("/")) continue;
+      const stats = await lstat(path.join(repo.root, ...filePath.split("/")));
       files.set(filePath, {
         ...files.get(filePath),
         path: filePath,
         indexMode: undefined,
         indexObjectId: undefined,
-        mode: "100644",
+        mode: stats.isSymbolicLink() ? "120000" : stats.mode & 0o111 ? "100755" : "100644",
         contentObjectId: undefined,
       });
       continue;

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

@@ -52,9 +52,9 @@ export function formatTokens(value: number): string {
   return `${inK}k`;
 }
 
-/** Resolves a terminal-safe model display name, preferring the name over the id. */
+/** Resolves a lowercase model id for display, falling back to the name. */
 export function modelDisplayName(model: { name?: string; id?: string }): string {
-  const name = safeTerminalText(model.name ?? "").replaceAll("\n", "").trim();
-  if (name) return name;
-  return safeTerminalText(model.id ?? "").replaceAll("\n", "").trim();
+  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, modelDisplayName, 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;
@@ -43,7 +43,7 @@ export function resolveGitFileChanges(
   return new Promise((resolve) => {
     execute(
       "git",
-      ["-C", cwd, "status", "--porcelain=v1", "-z", "--untracked-files=all"],
+      ["-C", cwd, "-c", "core.fsmonitor=false", "status", "--porcelain=v1", "-z", "--untracked-files=all"],
       {
         encoding: "utf8",
         env: { ...process.env, GIT_OPTIONAL_LOCKS: "0" },
@@ -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,25 +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";
+  if (known) return known.toLowerCase();
+  return normalized.toLowerCase().split(/[-_]+/u).filter(Boolean).join(" ") || "unknown provider";
 }
 
 export function formatModel(
@@ -302,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) || "Unknown 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/goal-interface.ts

@@ -90,6 +90,7 @@ export function registerGoalInterface(
     parameters: GoalUpdateParams,
     executionMode: "sequential",
     async execute(_toolCallId, params, signal, _onUpdate, ctx) {
+      signal?.throwIfAborted();
       if (!isGoalModeSupported(ctx)) throw new Error("KillerOS goals require TUI or RPC mode");
       if (!isSavedSession(ctx)) throw new Error("KillerOS goals require a saved session");
       const state = runtime.state;
@@ -98,6 +99,7 @@ export function registerGoalInterface(
       if (!evidence) throw new Error("Goal evidence must not be empty");
       if (params.status === "complete") {
         if (state.verification) await verifyGoalDeliverable(state.verification);
+        signal?.throwIfAborted();
         if (runtime.state !== state) throw new Error("Goal changed while completion was being verified");
         const verification = state.verification ? "file" : "model-reported";
         transitionGoal(pi, runtime, "complete", "complete", evidence, { resetBlockedAudit: true });

package/killeros/goal-settlement.ts

@@ -224,10 +224,6 @@ export function registerGoalSettlement(
     recoverGoalAfterManualCompaction(pi, runtime, initState, ctx);
   });
 
-  const resetAutomaticRecovery = (): void => { runtime.automaticCompaction = undefined; };
-  pi.on("session_before_switch", resetAutomaticRecovery);
-  pi.on("session_before_fork", resetAutomaticRecovery);
-
   return {
     isActive: (ctx: ExtensionContext): boolean => isGoalModeSupported(ctx)
       && isSavedSession(ctx)

package/killeros/goal-state.ts

@@ -10,6 +10,7 @@ export const GOAL_MAX_TURNS = 10_000;
 export const GOAL_VERSION = 1;
 const FILE_HASH_CHUNK_SIZE = 64 * 1024;
 export const FILE_HASH_LIMIT = 64 * 1024 * 1024;
+const graphemeSegmenter = new Intl.Segmenter(undefined, { granularity: "grapheme" });
 type OpenGoalFile = (filePath: string) => Promise<FileHandle>;
 const openGoalFile: OpenGoalFile = (filePath) => open(filePath, "r");
 
@@ -84,6 +85,14 @@ function isMaxTurns(value: unknown): value is number {
   return typeof value === "number" && Number.isInteger(value) && value >= 1 && value <= GOAL_MAX_TURNS;
 }
 
+function exceedsBlockerEvidenceLimit(value: string): boolean {
+  let length = 0;
+  for (const _ of graphemeSegmenter.segment(value)) {
+    if (++length > 2_000) return true;
+  }
+  return false;
+}
+
 function isGoalBlockerAudit(value: unknown, turns: number, status: GoalStatus): value is GoalBlockerAudit {
   if (!isUnknownRecord(value)
     || typeof value.key !== "string"
@@ -91,7 +100,7 @@ function isGoalBlockerAudit(value: unknown, turns: number, status: GoalStatus):
     || typeof value.streak !== "number" || !Number.isInteger(value.streak) || value.streak < 1 || value.streak > 3
     || typeof value.lastTurn !== "number" || !Number.isInteger(value.lastTurn) || value.lastTurn < 1 || value.lastTurn > turns
     || value.evidence !== undefined && (typeof value.evidence !== "string"
-      || value.evidence !== value.evidence.trim() || !value.evidence || value.evidence.length > 2_000)) {
+      || value.evidence !== value.evidence.trim() || !value.evidence || exceedsBlockerEvidenceLimit(value.evidence))) {
     return false;
   }
   if (status === "complete") return false;

package/killeros/init-target.ts

@@ -155,12 +155,12 @@ async function pathExists(filePath: string): Promise<boolean> {
 }
 
 /** Installs generated guidance atomically and preserves any target changed after baseline capture. */
-export async function installInitAgentsFile(
+export async function installInitAgentsFileWithRecovery(
   targetPath: string,
   content: string,
   baseline: InitTargetBaseline,
   operations: InitInstallOperations = {},
-): Promise<void> {
+): Promise<string | undefined> {
   const validationError = validateGeneratedGuidance(content);
   if (validationError) throw new Error(validationError);
   const renameFile = operations.renameFile ?? fs.rename;
@@ -208,8 +208,8 @@ export async function installInitAgentsFile(
         return;
       }
 
-      // Node cannot lock arbitrary external writers. The exclusive links, held-target
-      // boundary, final held-file hash, and Pi mutation queue make installation fail closed.
+      // Node cannot lock arbitrary external writers, so keep the original inode named
+      // after commit. Writers with an open handle then remain recoverable.
       await renameFile(targetPath, heldPath);
       held = true;
       const moved = await captureExistingTarget(heldPath);
@@ -242,10 +242,12 @@ export async function installInitAgentsFile(
       if (!sameBaseline(finalHeld, baseline) || !await installedCandidateMatches(targetPath, candidate)) {
         throw new Error("/init target changed while /init was generating; the newer AGENTS.md was preserved");
       }
-      await unlinkFile(heldPath);
+      retainedRecovery = recoveryPath(targetPath);
+      await renameFile(heldPath, retainedRecovery);
       held = false;
       await removeCandidateName(candidatePath, unlinkFile);
       installed = false;
+      return retainedRecovery;
     } catch (error) {
       if (held) {
         if (installed && candidate && await installedCandidateMatches(targetPath, candidate)) {
@@ -288,6 +290,15 @@ export async function installInitAgentsFile(
   });
 }
 
+export async function installInitAgentsFile(
+  targetPath: string,
+  content: string,
+  baseline: InitTargetBaseline,
+  operations: InitInstallOperations = {},
+): Promise<void> {
+  await installInitAgentsFileWithRecovery(targetPath, content, baseline, operations);
+}
+
 export async function writeInitAgentsFile(
   targetPath: string,
   content: string,

package/killeros/init.ts

@@ -13,7 +13,7 @@ import {
 } from "./init-evidence.ts";
 import {
   captureInitTargetBaseline,
-  installInitAgentsFile,
+  installInitAgentsFileWithRecovery,
   validateGeneratedGuidance,
 } from "./init-target.ts";
 import { resetInitRuntime, type GoalRuntime, type InitOutcome, type InitRuntime } from "./runtime.ts";
@@ -109,11 +109,12 @@ export function registerInitCommand(pi: ExtensionAPI, initState: InitRuntime, go
       if (!initState.targetPath || !initState.baseline) throw new Error("/init target baseline is unavailable");
       const validationError = validateGeneratedGuidance(content);
       if (validationError) throw new Error(validationError);
-      await installInitAgentsFile(initState.targetPath, content, initState.baseline);
-      initState.outcome = { kind: "written" };
+      const recoveryPath = await installInitAgentsFileWithRecovery(initState.targetPath, content, initState.baseline);
+      initState.outcome = { kind: "written", ...(recoveryPath ? { recoveryPath } : {}) };
+      const recoveryNotice = recoveryPath ? ` Previous AGENTS.md preserved at ${safeTerminalText(recoveryPath)}.` : "";
       return {
-        content: [{ type: "text" as const, text: "Generated root AGENTS.md; read it once with killeros_init_read." }],
-        details: { path: initState.targetPath },
+        content: [{ type: "text" as const, text: `Generated root AGENTS.md.${recoveryNotice} Read it once with killeros_init_read.` }],
+        details: { path: initState.targetPath, ...(recoveryPath ? { recoveryPath } : {}) },
       };
     },
   });
@@ -244,6 +245,9 @@ export function registerInitCommand(pi: ExtensionAPI, initState: InitRuntime, go
       const outcome = await settled;
       switch (outcome.kind) {
         case "written":
+          if (outcome.recoveryPath) {
+            ctx.ui.notify(`/init preserved the previous AGENTS.md at ${safeTerminalText(outcome.recoveryPath)}`, "info");
+          }
           await new Promise<void>((resolve) => setImmediate(resolve));
           try {
             await ctx.reload();

package/killeros/runtime.ts

@@ -3,7 +3,7 @@ import type { InitTargetBaseline } from "./init-target.ts";
 
 export type InitOutcome =
   | { kind: "pending" }
-  | { kind: "written" }
+  | { kind: "written"; recoveryPath?: string }
   | { kind: "policy-conflict"; reason: string }
   | { kind: "cancelled" }
   | { kind: "no-outcome" };

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

@@ -53,7 +53,7 @@ export interface WorkedForEntryDataV4 {
 type WorkedForEntryData = WorkedForEntryDataV1 | WorkedForEntryDataV2 | WorkedForEntryDataV3 | WorkedForEntryDataV4;
 
 const OUTCOMES = {
-  done: { label: "Done", color: "success" },
+  done: { label: "✓ Done", color: "success" },
   stopped: { label: "■ Stopped", color: "warning" },
   failed: { label: "× Failed", color: "error" },
 } as const satisfies Record<WorkedForOutcome, { label: string; color: string }>;
@@ -224,47 +224,47 @@ class WorkedForV4Component implements Component {
     const lines = [
       `${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 {}
@@ -321,12 +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` : "";
     const headline = theme.fg(outcome.color, outcome.label);
-    return new Text(`${headline}${theme.fg("dim", ` · ${formatWorkedForDuration(data.milliseconds)}${tokens}`)}`, 0, 0);
+    return new Text(`${headline}${theme.fg("dim", ` · ${formatWorkedForDuration(data.milliseconds)}${tokens}`)}`, 1, 0);
   });
 
   pi.on("session_start", async () => {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "killeros",
-  "version": "2.1.24",
+  "version": "2.1.26",
   "description": "TUI, goals, and workflow automation for the Pi coding agent",
   "type": "module",
   "keywords": [