killeros 2.1.22 → 2.1.24

package/CHANGELOG.md

@@ -4,6 +4,29 @@ All notable changes to KillerOS are documented here.
 
 ## [Unreleased]
 
+## [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
+
+- Simplified `/goal` to five forms with proof-by-prose and silent file proof, removing configured completion checks.
+
+### Fixed
+
+- Kept the automatic 20-turn goal pause silent as documented.
+- Stripped sentence punctuation from unquoted inferred goal paths and picked token units after rounding so 999.6 shows as 1k and 999999 as 1M.
+- Increased change-receipt Git timeouts to five seconds and stopped timeout failures from showing warning notifications.
+
 ## [2.1.22] - 2026-09-03
 
 ### Added

package/README.md

@@ -5,7 +5,7 @@ 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.
-- `/goal`: set an objective and Pi keeps working toward it across turns, compaction, reloads, and branch navigation. New goals default to 20 turns. Named checks and turn limits control completion and unattended work.
+- `/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.
@@ -19,7 +19,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,19 +34,17 @@ Or from GitHub:
 pi install git:github.com/KyrosHendrix/pi-KillerOS
 ```
 
-Pin a release by appending its tag, for example `@v2.1.22`. Add `-l` to install only for the current project. Restart Pi after installing.
+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.
 
 ## Commands
 
 ```text
 /init                     Generate root AGENTS.md from repository evidence
-/goal                     Open status, or set with /goal <objective>
-/goal start [--check name] [--turns count] -- <objective>
-/goal check <name|clear>  Set or clear a named completion check
-/goal checks              List configured completion-check names
-/goal limit <count|clear> Set a limit or clear it for unlimited turns
-/goal history [count]     Show transitions and blocker evidence on this branch
-/goal edit|pause|resume|clear
+/goal                     View the current goal
+/goal <objective>        Set an objective
+/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
@@ -60,7 +58,7 @@ Pin a release by appending its tag, for example `@v2.1.22`. Add `-l` to install
 | Mode | What works |
 | --- | --- |
 | TUI | Everything |
-| RPC | Goals, proactive compaction; no TUI components, `/goal edit`, `/init`, sounds, title indicator |
+| RPC | Goals, proactive compaction; no TUI components, `/init`, sounds, title indicator |
 | Print/JSON | No interactive questions, `/goal`, `/init`, or proactive compaction |
 
 ## Configuration
@@ -79,22 +77,19 @@ The packaged `killeros` theme activates on TUI start. Compaction triggers by def
 
 `handoffMaxTokens` caps the `/handoff` summary output at 8192 tokens by default; raise it when long sessions truncate the summary.
 
-Trusted projects can define up to 32 named goal checks in `.pi/killeros-hooks.json`:
+State proof in the objective so the agent can verify it with its normal tools:
 
-```json
-{
-  "goalChecks": {
-    "quality": {
-      "command": "npm run check && npm test",
-      "timeoutMs": 300000
-    }
-  }
-}
+```text
+/goal Reduce p95 checkout latency below 120 ms, verified by the checkout benchmark, while keeping the correctness suite green
 ```
 
-Use `/goal checks` to list configured names. Use `/goal start -- <objective>` when an objective begins with `start`, `check`, `checks`, `limit`, `history`, `clear`, `edit`, `pause`, or `resume`. Bind a check with `/goal start --check quality -- <objective>` or `/goal check quality`. KillerOS stores the check name and definition hash, not the command. If the project changes the command or timeout, bind the check again before completing the goal.
+A direct quoted file target binds silent file proof:
+
+```text
+/goal Fix `killeros/footer.ts`, verified by npm test
+```
 
-New goals use a 20-turn limit unless `/goal start --turns <count> -- <objective>` supplies another value. Use `/goal limit <count>` to change the current goal or `/goal limit clear` to allow unlimited turns. Restored goals keep their persisted limit.
+KillerOS captures the file baseline at goal start and only completes when the file is created or changed. New goals pause after 20 turns without warning. An explicit `/goal resume` on an exhausted goal grants another 20 turns; compaction recovery never grants turns. Restored goals keep their persisted limit.
 
 Completion sounds are off by default; change with `/notification` in TUI mode. The tab-title indicator requires a Nerd Font.
 

package/killeros/change-receipt.ts

@@ -5,7 +5,7 @@ import path from "node:path";
 import { promisify } from "node:util";
 import { inflate } from "node:zlib";
 
-const GIT_TIMEOUT_MS = 1_000;
+const GIT_TIMEOUT_MS = 5_000;
 const GIT_OUTPUT_LIMIT = 16 * 1024 * 1024;
 const SNAPSHOT_CONTENT_LIMIT = 128 * 1024 * 1024;
 const MAX_DIFF_OPERATIONS = 500_000;

package/killeros/commands.ts

@@ -70,7 +70,7 @@ const BUILTIN_COMMANDS: ReadonlyArray<{ name: string; description: string }> = [
 ];
 
 const COMMAND_SYNTAX_HINTS: Readonly<Record<string, string>> = {
-  goal: "/goal [objective|start|check|checks|limit|history|clear|edit|pause|resume]",
+  goal: "/goal [objective|pause|resume|clear]",
   handoff: "/handoff [next-session focus]",
   variants: "/variants [level]",
   model: "/model [provider/model]",

package/killeros/display.ts

@@ -40,12 +40,21 @@ export function formatTime(milliseconds: number): string {
 
 export function formatTokens(value: number): string {
   if (!Number.isFinite(value)) return "0";
-  const amount = Math.max(0, value);
-  if (amount < 1_000) return `${Math.round(amount)}`;
-  if (amount >= 1_000_000) {
-    const precision = amount >= 10_000_000 ? 0 : 1;
-    return `${Number((amount / 1_000_000).toFixed(precision))}M`;
+  const rounded = Math.round(Math.max(0, value));
+  if (rounded < 1_000) return `${rounded}`;
+  if (rounded >= 1_000_000) {
+    const precision = rounded >= 10_000_000 ? 0 : 1;
+    return `${Number((rounded / 1_000_000).toFixed(precision))}M`;
   }
-  const precision = amount >= 100_000 ? 0 : 1;
-  return `${Number((amount / 1_000).toFixed(precision))}k`;
+  const precision = rounded >= 100_000 ? 0 : 1;
+  const inK = Number((rounded / 1_000).toFixed(precision));
+  if (inK >= 1_000) return `${Number((rounded / 1_000_000).toFixed(1))}M`;
+  return `${inK}k`;
+}
+
+/** Resolves a terminal-safe model display name, preferring the name over the id. */
+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();
 }

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, formatTokens, 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";
@@ -296,11 +296,6 @@ function formatProviderName(provider: string): string {
     .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";
-}
-
 export function formatModel(
   model: ExtensionContext["model"],
   theme: Theme,
@@ -308,7 +303,7 @@ export function formatModel(
   showCodexFast = false,
 ): string {
   if (!model) return theme.fg("dim", "No model");
-  const name = theme.fg("text", theme.bold(modelDisplayName(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"))
     : "";

package/killeros/goal-command.ts

@@ -1,120 +1,23 @@
-import { parseArgs } from "node:util";
-import { GOAL_CHECK_NAME_PATTERN, GOAL_MAX_TURNS, validateGoalObjective } from "./goal-state.ts";
-
-const GOAL_START_USAGE = "Usage: /goal start [--check <name>] [--turns <count>] -- <objective>";
-const GOAL_CHECK_USAGE = "Usage: /goal check <name|clear>";
-const GOAL_CHECKS_USAGE = "Usage: /goal checks";
-const GOAL_LIMIT_USAGE = "Usage: /goal limit <count|clear>";
-const GOAL_HISTORY_USAGE = "Usage: /goal history [count]";
-const RESERVED_OBJECTIVE_USAGE = "Objective begins with a reserved goal command. Use /goal start -- <objective>.";
-
-interface ControlledGoalStart {
-  objective: string;
-  completionCheckName?: string;
-  maxTurns?: number;
-}
+import { validateGoalObjective } from "./goal-state.ts";
 
 export type GoalCommand =
   | { kind: "status" }
   | { kind: "objective"; objective: string }
-  | { kind: "start"; objective: string; completionCheckName?: string; maxTurns?: number }
-  | { kind: "check"; value: { kind: "clear" } | { kind: "named"; name: string } }
-  | { kind: "checks" }
-  | { kind: "limit"; value: { kind: "clear" } | { kind: "count"; count: number } }
-  | { kind: "history"; count: number }
-  | { kind: "clear" }
-  | { kind: "edit" }
   | { kind: "pause" }
   | { kind: "resume" }
+  | { kind: "clear" }
   | { kind: "invalid"; message: string };
 
-const RESERVED_GOAL_WORDS = ["start", "check", "checks", "limit", "history", "clear", "edit", "pause", "resume"] as const;
-
-function parseBoundedInteger(value: string, maximum: number): number | undefined {
-  if (!/^[1-9][0-9]*$/u.test(value)) return undefined;
-  const parsed = Number(value);
-  return Number.isSafeInteger(parsed) && parsed <= maximum ? parsed : undefined;
-}
-
-function parseControlledGoalStart(input: string): ControlledGoalStart | undefined {
-  const separator = input.startsWith("-- ") ? 0 : input.indexOf(" -- ");
-  if (separator < 0) return undefined;
-  const optionText = input.slice(0, separator).trim();
-  const objective = validateGoalObjective(input.slice(separator + (separator === 0 ? 3 : 4)));
-  if (!objective) return undefined;
-  const tokens = optionText ? optionText.split(/\s+/u) : [];
-  if (tokens.filter((token) => token === "--check" || token.startsWith("--check=")).length > 1
-    || tokens.filter((token) => token === "--turns" || token.startsWith("--turns=")).length > 1) return undefined;
-  try {
-    const parsed = parseArgs({
-      args: tokens,
-      options: { check: { type: "string" }, turns: { type: "string" } },
-      strict: true,
-      allowPositionals: false,
-    });
-    const check = parsed.values.check;
-    const turns = parsed.values.turns;
-    if (check !== undefined && !GOAL_CHECK_NAME_PATTERN.test(check)) return undefined;
-    const maxTurns = turns === undefined ? undefined : parseBoundedInteger(turns, GOAL_MAX_TURNS);
-    if (turns !== undefined && maxTurns === undefined) return undefined;
-    return {
-      objective,
-      ...(check === undefined ? {} : { completionCheckName: check }),
-      ...(maxTurns === undefined ? {} : { maxTurns }),
-    };
-  } catch {
-    return undefined;
-  }
-}
-
 /** Parses one raw /goal argument string into a closed command variant. */
 export function parseGoalCommand(args: string): GoalCommand {
   const input = args.trim();
   if (!input) return { kind: "status" };
-  const parts = input.split(/\s+/u);
-  const rawFirstWord = parts[0] ?? "";
-  const firstWord = RESERVED_GOAL_WORDS.find((word) => word === rawFirstWord.toLowerCase());
-  if (!firstWord) {
-    const objective = validateGoalObjective(input);
-    return objective
-      ? { kind: "objective", objective }
-      : { kind: "invalid", message: "A goal objective may not exceed 4,000 characters" };
-  }
-
-  if (firstWord === "start") {
-    const start = parseControlledGoalStart(input.slice(rawFirstWord.length).trimStart());
-    if (start) return { kind: "start", ...start };
-    return { kind: "invalid", message: rawFirstWord === firstWord ? GOAL_START_USAGE : RESERVED_OBJECTIVE_USAGE };
-  }
-  if (firstWord === "check") {
-    const value = parts[1];
-    if (parts.length === 2 && value?.toLowerCase() === "clear") return { kind: "check", value: { kind: "clear" } };
-    if (parts.length === 2 && value && GOAL_CHECK_NAME_PATTERN.test(value)) return { kind: "check", value: { kind: "named", name: value } };
-    return { kind: "invalid", message: rawFirstWord !== firstWord && parts.length > 2 ? RESERVED_OBJECTIVE_USAGE : GOAL_CHECK_USAGE };
-  }
-  if (firstWord === "checks") {
-    return parts.length === 1
-      ? { kind: "checks" }
-      : { kind: "invalid", message: rawFirstWord === firstWord ? GOAL_CHECKS_USAGE : RESERVED_OBJECTIVE_USAGE };
-  }
-  if (firstWord === "limit") {
-    const value = parts[1];
-    if (parts.length === 2 && value?.toLowerCase() === "clear") return { kind: "limit", value: { kind: "clear" } };
-    const count = parts.length === 2 && value ? parseBoundedInteger(value, GOAL_MAX_TURNS) : undefined;
-    if (count !== undefined) return { kind: "limit", value: { kind: "count", count } };
-    return { kind: "invalid", message: rawFirstWord !== firstWord && parts.length > 2 ? RESERVED_OBJECTIVE_USAGE : GOAL_LIMIT_USAGE };
-  }
-  if (firstWord === "history") {
-    if (parts.length === 1) return { kind: "history", count: 20 };
-    const count = parts.length === 2 && parts[1] ? parseBoundedInteger(parts[1], 50) : undefined;
-    if (count !== undefined) return { kind: "history", count };
-    return { kind: "invalid", message: rawFirstWord !== firstWord && parts.length > 2 ? RESERVED_OBJECTIVE_USAGE : GOAL_HISTORY_USAGE };
-  }
-  if (parts.length === 1) return { kind: firstWord };
-  return {
-    kind: "invalid",
-    message: rawFirstWord === firstWord
-      ? `Usage: /goal ${firstWord}`
-      : RESERVED_OBJECTIVE_USAGE,
-  };
+  const lowered = input.toLowerCase();
+  if (lowered === "pause") return { kind: "pause" };
+  if (lowered === "resume") return { kind: "resume" };
+  if (lowered === "clear") return { kind: "clear" };
+  const objective = validateGoalObjective(input);
+  return objective
+    ? { kind: "objective", objective }
+    : { kind: "invalid", message: "A goal objective may not exceed 4,000 characters" };
 }