@phi-code-admin/phi-code 0.82.3 → 0.84.0

package/extensions/phi/todo/state/state-reducer.ts

@@ -0,0 +1,187 @@
+import type { Task, TaskAction, TaskMutationParams, TaskStatus } from "../tool/types.js";
+import { isTransitionValid } from "./invariants.js";
+import type { TaskState } from "./state.js";
+import { detectCycle } from "./task-graph.js";
+
+/**
+ * Reducer outcome. Closed tagged union — adding a new action requires extending
+ * this union AND the response-envelope's `formatContent` switch (compiler-
+ * enforced exhaustive). Mirrors the `Effect` pattern in
+ * `packages/rpiv-ask-user-question/state/state-reducer.ts:14-30`.
+ *
+ * `error` carries the message in-band so callers can pattern-match on
+ * `op.kind === "error"` without a side-channel boolean.
+ */
+export type Op =
+	| { kind: "create"; taskId: number }
+	| { kind: "update"; id: number; fromStatus: TaskStatus; toStatus: TaskStatus }
+	| { kind: "delete"; id: number; subject: string }
+	| { kind: "list"; statusFilter?: TaskStatus; includeDeleted: boolean }
+	| { kind: "get"; task: Task }
+	| { kind: "clear"; count: number }
+	| { kind: "error"; message: string };
+
+export interface ApplyResult {
+	state: TaskState;
+	op: Op;
+}
+
+function errorResult(state: TaskState, message: string): ApplyResult {
+	return { state, op: { kind: "error", message } };
+}
+
+/**
+ * Pure reducer: (state, action, params) → (state, op). Mirrors the
+ * `applyTaskMutation` of pre-refactor `todo.ts` minus content/details
+ * formatting; the response envelope (`tool/response-envelope.ts`) owns
+ * formatting, the store (`state/store.ts`) owns commit.
+ *
+ * Validation is in-line: structural guards (`subject required`, `id required`,
+ * `at least one mutable field`) plus state-aware checks (transition legality,
+ * dangling/deleted blockedBy, self-block, cycles). Decision: validation stays
+ * in-reducer — see Plan §Decisions §Decision 2.
+ */
+export function applyTaskMutation(state: TaskState, action: TaskAction, params: TaskMutationParams): ApplyResult {
+	switch (action) {
+		case "create": {
+			if (!params.subject?.trim()) {
+				return errorResult(state, "subject required for create");
+			}
+			if (params.blockedBy?.length) {
+				for (const dep of params.blockedBy) {
+					const depTask = state.tasks.find((t) => t.id === dep);
+					if (!depTask) return errorResult(state, `blockedBy: #${dep} not found`);
+					if (depTask.status === "deleted") return errorResult(state, `blockedBy: #${dep} is deleted`);
+				}
+			}
+			const newTask: Task = {
+				id: state.nextId,
+				subject: params.subject,
+				status: "pending",
+			};
+			if (params.description) newTask.description = params.description;
+			if (params.activeForm) newTask.activeForm = params.activeForm;
+			if (params.blockedBy?.length) newTask.blockedBy = [...params.blockedBy];
+			if (params.owner) newTask.owner = params.owner;
+			if (params.metadata) newTask.metadata = { ...params.metadata };
+
+			const newTasks = [...state.tasks, newTask];
+			return {
+				state: { tasks: newTasks, nextId: state.nextId + 1 },
+				op: { kind: "create", taskId: newTask.id },
+			};
+		}
+
+		case "update": {
+			if (params.id === undefined) return errorResult(state, "id required for update");
+			const idx = state.tasks.findIndex((t) => t.id === params.id);
+			if (idx === -1) return errorResult(state, `#${params.id} not found`);
+			const current = state.tasks[idx];
+
+			const hasMutation =
+				params.subject !== undefined ||
+				params.description !== undefined ||
+				params.activeForm !== undefined ||
+				params.status !== undefined ||
+				params.owner !== undefined ||
+				params.metadata !== undefined ||
+				(params.addBlockedBy && params.addBlockedBy.length > 0) ||
+				(params.removeBlockedBy && params.removeBlockedBy.length > 0);
+			if (!hasMutation) return errorResult(state, "update requires at least one mutable field");
+
+			let newStatus = current.status;
+			if (params.status !== undefined) {
+				if (!isTransitionValid(current.status, params.status)) {
+					return errorResult(state, `illegal transition ${current.status} → ${params.status}`);
+				}
+				newStatus = params.status;
+			}
+
+			let newBlockedBy = current.blockedBy ? [...current.blockedBy] : [];
+			if (params.removeBlockedBy?.length) {
+				const toRemove = new Set(params.removeBlockedBy);
+				newBlockedBy = newBlockedBy.filter((dep) => !toRemove.has(dep));
+			}
+			if (params.addBlockedBy?.length) {
+				for (const dep of params.addBlockedBy) {
+					if (dep === current.id) return errorResult(state, `cannot block #${current.id} on itself`);
+					const depTask = state.tasks.find((t) => t.id === dep);
+					if (!depTask) return errorResult(state, `addBlockedBy: #${dep} not found`);
+					if (depTask.status === "deleted") return errorResult(state, `addBlockedBy: #${dep} is deleted`);
+					if (!newBlockedBy.includes(dep)) newBlockedBy.push(dep);
+				}
+				if (detectCycle(state.tasks, current.id, newBlockedBy)) {
+					return errorResult(state, "addBlockedBy would create a cycle in the blockedBy graph");
+				}
+			}
+
+			let newMetadata = current.metadata;
+			if (params.metadata !== undefined) {
+				const merged: Record<string, unknown> = { ...(current.metadata ?? {}) };
+				for (const [k, v] of Object.entries(params.metadata)) {
+					if (v === null) delete merged[k];
+					else merged[k] = v;
+				}
+				newMetadata = Object.keys(merged).length ? merged : undefined;
+			}
+
+			const updated: Task = { ...current, status: newStatus };
+			if (params.subject !== undefined) updated.subject = params.subject;
+			if (params.description !== undefined) updated.description = params.description;
+			if (params.activeForm !== undefined) updated.activeForm = params.activeForm;
+			if (params.owner !== undefined) updated.owner = params.owner;
+			if (newBlockedBy.length) updated.blockedBy = newBlockedBy;
+			else delete updated.blockedBy;
+			if (newMetadata === undefined) delete updated.metadata;
+			else updated.metadata = newMetadata;
+
+			const newTasks = [...state.tasks];
+			newTasks[idx] = updated;
+			return {
+				state: { tasks: newTasks, nextId: state.nextId },
+				op: { kind: "update", id: updated.id, fromStatus: current.status, toStatus: newStatus },
+			};
+		}
+
+		case "list": {
+			return {
+				state,
+				op: {
+					kind: "list",
+					includeDeleted: params.includeDeleted === true,
+					...(params.status !== undefined ? { statusFilter: params.status } : {}),
+				},
+			};
+		}
+
+		case "get": {
+			if (params.id === undefined) return errorResult(state, "id required for get");
+			const task = state.tasks.find((t) => t.id === params.id);
+			if (!task) return errorResult(state, `#${params.id} not found`);
+			return { state, op: { kind: "get", task } };
+		}
+
+		case "delete": {
+			if (params.id === undefined) return errorResult(state, "id required for delete");
+			const idx = state.tasks.findIndex((t) => t.id === params.id);
+			if (idx === -1) return errorResult(state, `#${params.id} not found`);
+			const current = state.tasks[idx];
+			if (current.status === "deleted") return errorResult(state, `#${current.id} is already deleted`);
+			const updated: Task = { ...current, status: "deleted" };
+			const newTasks = [...state.tasks];
+			newTasks[idx] = updated;
+			return {
+				state: { tasks: newTasks, nextId: state.nextId },
+				op: { kind: "delete", id: updated.id, subject: updated.subject },
+			};
+		}
+
+		case "clear": {
+			const count = state.tasks.length;
+			return {
+				state: { tasks: [], nextId: 1 },
+				op: { kind: "clear", count },
+			};
+		}
+	}
+}

package/extensions/phi/todo/state/state.ts

@@ -0,0 +1,18 @@
+import type { Task } from "../tool/types.js";
+
+/**
+ * Canonical state for the todo tool. Single source of truth — both the reducer
+ * (`state/state-reducer.ts`) and the live store cell (`state/store.ts`) read
+ * this shape. Replay (`state/replay.ts`) returns a fresh `TaskState`; the
+ * lifecycle handlers in `index.ts` write it via `replaceState`.
+ *
+ * The shape is intentionally minimal — no derived caches or runtime cells.
+ * Selectors in `state/selectors.ts` are pure of `TaskState` and own all
+ * derivations (visible/grouped/counted/etc).
+ */
+export interface TaskState {
+	tasks: Task[];
+	nextId: number;
+}
+
+export const EMPTY_STATE: TaskState = { tasks: [], nextId: 1 };

package/extensions/phi/todo/state/store.ts

@@ -0,0 +1,54 @@
+import type { Task } from "../tool/types.js";
+import { EMPTY_STATE, type TaskState } from "./state.js";
+
+/**
+ * Module-level live state cell. Pre-refactor this lived as bare `tasks` /
+ * `nextId` consts in `todo.ts`; centralizing here keeps the store as the
+ * single mutation seam and lets the reducer remain pure.
+ */
+let state: TaskState = { tasks: [...EMPTY_STATE.tasks], nextId: EMPTY_STATE.nextId };
+
+/**
+ * Live tasks accessor. Returned `readonly Task[]` so callers (overlay render
+ * hook, `/todos` command, `renderCall` subject lookup) cannot mutate the live
+ * cell. Consumers must not cast back.
+ */
+export function getTodos(): readonly Task[] {
+	return state.tasks;
+}
+
+export function getNextId(): number {
+	return state.nextId;
+}
+
+/** Snapshot accessor used by reducer callers to pass canonical state in. */
+export function getState(): TaskState {
+	return state;
+}
+
+/**
+ * Replay seam. Lifecycle handlers in `index.ts` call this on
+ * `session_start` / `session_compact` / `session_tree` after
+ * `replayFromBranch` decodes the latest snapshot.
+ */
+export function replaceState(next: TaskState): void {
+	state = next;
+}
+
+/**
+ * Post-reducer commit seam. Tool execute() calls this with the reducer's
+ * `state` output to publish the new canonical state to live readers (overlay,
+ * `/todos`, renderCall).
+ */
+export function commitState(next: TaskState): void {
+	state = next;
+}
+
+/**
+ * Test-setup reset. Wired into the global `test/setup.ts` `beforeEach` via
+ * the existing `__resetState` import path. Name preserved verbatim — see
+ * Plan §Decisions §Decision 7.
+ */
+export function __resetState(): void {
+	state = { tasks: [...EMPTY_STATE.tasks], nextId: EMPTY_STATE.nextId };
+}

package/extensions/phi/todo/state/task-graph.ts

@@ -0,0 +1,57 @@
+import type { Task } from "../tool/types.js";
+
+/**
+ * Detect whether merging `newBlockedBy` into `taskId`'s `blockedBy` set would
+ * introduce a cycle in the dependency graph.
+ *
+ * Pure of any module state; takes the existing `taskList` and the proposed
+ * additions explicitly so the reducer can ask "would this update cycle?"
+ * without mutating state first.
+ */
+export function detectCycle(taskList: readonly Task[], taskId: number, newBlockedBy: readonly number[]): boolean {
+	const edges = new Map<number, number[]>();
+	for (const t of taskList) {
+		if (t.id === taskId) {
+			const merged = new Set([...(t.blockedBy ?? []), ...newBlockedBy]);
+			edges.set(t.id, [...merged]);
+		} else {
+			edges.set(t.id, t.blockedBy ? [...t.blockedBy] : []);
+		}
+	}
+
+	const visiting = new Set<number>();
+	const visited = new Set<number>();
+	const hasCycleFrom = (node: number): boolean => {
+		if (visiting.has(node)) return true;
+		if (visited.has(node)) return false;
+		visiting.add(node);
+		for (const nb of edges.get(node) ?? []) {
+			if (hasCycleFrom(nb)) return true;
+		}
+		visiting.delete(node);
+		visited.add(node);
+		return false;
+	};
+
+	for (const node of edges.keys()) {
+		if (hasCycleFrom(node)) return true;
+	}
+	return false;
+}
+
+/**
+ * Build the inverse adjacency map: for each task `T`, which other tasks list
+ * `T` in their `blockedBy`. Consumed by `selectShowTaskIds` (overlay gating)
+ * and the `get` action's "blocks: #x, #y" suffix line.
+ */
+export function deriveBlocks(taskList: readonly Task[]): Map<number, number[]> {
+	const blocks = new Map<number, number[]>();
+	for (const t of taskList) {
+		for (const dep of t.blockedBy ?? []) {
+			const arr = blocks.get(dep) ?? [];
+			arr.push(t.id);
+			blocks.set(dep, arr);
+		}
+	}
+	return blocks;
+}

package/extensions/phi/todo/todo-overlay.ts

@@ -0,0 +1,194 @@
+/**
+ * todo-overlay.ts — Persistent widget showing todo list above the editor.
+ *
+ * Lifecycle controller for Pi's `setWidget` contract: factory-form
+ * registration in widgetContainerAbove, register-once + requestRender()
+ * refresh, 12-line collapse-not-scroll (plus a trailing spacer row, so the
+ * widget renders up to 13 lines), auto-hide when empty.
+ *
+ * Reads live state via `getState()` at render time — NEVER `replayFromBranch`
+ * from `tool_execution_end` (branch is stale; `message_end` runs after).
+ */
+
+import type { ExtensionUIContext, Theme } from "phi-code";
+import { type TUI, truncateToWidth } from "phi-code-tui";
+import { formatStatusLabel, t } from "./state/i18n-bridge.js";
+import { selectHasActive, selectOverlayLayout, selectShowTaskIds, selectTodoCounts } from "./state/selectors.js";
+import { getState } from "./state/store.js";
+import { formatOverlayTaskLine } from "./view/format.js";
+
+const WIDGET_KEY = "rpiv-todos";
+// Budget for content rows (heading + tasks/summary). The rendered widget is
+// one line taller — withTrailingSpacer() appends a blank row below the panel.
+const MAX_WIDGET_LINES = 12;
+
+// English fallbacks for localized overlay chrome strings.
+const OVERLAY_HEADING = "Todos";
+const OVERLAY_MORE = "more";
+
+export class TodoOverlay {
+	private uiCtx: ExtensionUIContext | undefined;
+	private widgetRegistered = false;
+	private tui: TUI | undefined;
+	private completedTaskIdsPendingHide = new Set<number>();
+	private hiddenCompletedTaskIds = new Set<number>();
+	private lastNextId: number | undefined;
+
+	setUICtx(ctx: ExtensionUIContext): void {
+		// Identity-compare so repeat session_start handlers are idempotent;
+		// on identity change (/reload) invalidate so update() re-registers.
+		if (ctx !== this.uiCtx) {
+			this.uiCtx = ctx;
+			this.widgetRegistered = false;
+			this.tui = undefined;
+		}
+	}
+
+	update(): void {
+		if (!this.uiCtx) return;
+		const snapshot = this.getSnapshot();
+		const visible = this.selectOverlayTasks(snapshot);
+
+		if (visible.length === 0) {
+			if (this.widgetRegistered) {
+				this.uiCtx.setWidget(WIDGET_KEY, undefined);
+				this.widgetRegistered = false;
+				this.tui = undefined;
+			}
+			return;
+		}
+
+		if (!this.widgetRegistered) {
+			this.uiCtx.setWidget(
+				WIDGET_KEY,
+				(tui, theme) => {
+					this.tui = tui;
+					return {
+						render: (width: number) => this.renderWidget(theme, width),
+						invalidate: () => {
+							this.widgetRegistered = false;
+							this.tui = undefined;
+						},
+					};
+				},
+				{ placement: "aboveEditor" },
+			);
+			this.widgetRegistered = true;
+		} else {
+			this.tui?.requestRender();
+		}
+	}
+
+	resetCompletedDisplayState(): void {
+		this.completedTaskIdsPendingHide.clear();
+		this.hiddenCompletedTaskIds.clear();
+		this.lastNextId = undefined;
+	}
+
+	hideCompletedTasksFromPreviousTurn(): void {
+		if (this.completedTaskIdsPendingHide.size === 0) return;
+		for (const taskId of this.completedTaskIdsPendingHide) {
+			this.hiddenCompletedTaskIds.add(taskId);
+		}
+		this.completedTaskIdsPendingHide.clear();
+		this.tui?.requestRender();
+	}
+
+	private getSnapshot() {
+		const state = getState();
+		if (this.lastNextId !== undefined && state.nextId < this.lastNextId) {
+			this.resetCompletedDisplayState();
+		}
+		this.lastNextId = state.nextId;
+		const completedTaskIds = new Set(
+			state.tasks.filter((task) => task.status === "completed").map((task) => task.id),
+		);
+		for (const taskId of this.completedTaskIdsPendingHide) {
+			if (!completedTaskIds.has(taskId)) this.completedTaskIdsPendingHide.delete(taskId);
+		}
+		for (const taskId of this.hiddenCompletedTaskIds) {
+			if (!completedTaskIds.has(taskId)) this.hiddenCompletedTaskIds.delete(taskId);
+		}
+		return { tasks: [...state.tasks], nextId: state.nextId };
+	}
+
+	private selectOverlayTasks(snapshot: ReturnType<TodoOverlay["getSnapshot"]>) {
+		return snapshot.tasks.filter((task) => task.status !== "deleted" && !this.shouldHideCompletedTask(task));
+	}
+
+	private shouldHideCompletedTask(task: ReturnType<TodoOverlay["getSnapshot"]>["tasks"][number]): boolean {
+		return task.status === "completed" && this.hiddenCompletedTaskIds.has(task.id);
+	}
+
+	private renderWidget(theme: Theme, width: number): string[] {
+		const snapshot = this.getSnapshot();
+		const overlayTasks = this.selectOverlayTasks(snapshot);
+		if (overlayTasks.length === 0) return [];
+
+		const overlayState = { tasks: overlayTasks, nextId: snapshot.nextId };
+		const truncate = (line: string): string => truncateToWidth(line, width, "…");
+		const counts = selectTodoCounts(overlayState);
+		const hasActive = selectHasActive(overlayState);
+		const showIds = selectShowTaskIds(overlayState);
+
+		const headingColor = hasActive ? "accent" : "dim";
+		const headingIcon = hasActive ? "●" : "○";
+		const headingText = `${t("overlay.heading", OVERLAY_HEADING)} (${counts.completed}/${counts.total})`;
+		const heading = truncate(`${theme.fg(headingColor, headingIcon)} ${theme.fg(headingColor, headingText)}`);
+
+		const lines: string[] = [heading];
+		const layout = selectOverlayLayout(overlayState, MAX_WIDGET_LINES - 1);
+		for (const task of layout.visible) {
+			lines.push(truncate(`${theme.fg("dim", "├─")} ${formatOverlayTaskLine(task, theme, showIds)}`));
+		}
+
+		const newlyDisplayedCompletedTaskIds = overlayTasks
+			.filter(
+				(task) =>
+					task.status === "completed" &&
+					!this.completedTaskIdsPendingHide.has(task.id) &&
+					!this.hiddenCompletedTaskIds.has(task.id),
+			)
+			.map((task) => task.id);
+		for (const taskId of newlyDisplayedCompletedTaskIds) {
+			this.completedTaskIdsPendingHide.add(taskId);
+		}
+
+		if (layout.hiddenCompleted === 0 && layout.truncatedTail === 0) {
+			const last = lines.length - 1;
+			lines[last] = lines[last].replace("├─", "└─");
+			return this.withTrailingSpacer(lines);
+		}
+
+		const totalHidden = layout.hiddenCompleted + layout.truncatedTail;
+		const overflowParts: string[] = [];
+		if (layout.hiddenCompleted > 0) overflowParts.push(`${layout.hiddenCompleted} ${formatStatusLabel("completed")}`);
+		if (layout.truncatedTail > 0) overflowParts.push(`${layout.truncatedTail} ${formatStatusLabel("pending")}`);
+		const more = t("overlay.more", OVERLAY_MORE);
+		const summary =
+			overflowParts.length > 0 ? `+${totalHidden} ${more} (${overflowParts.join(", ")})` : `+${totalHidden} ${more}`;
+		lines.push(truncate(`${theme.fg("dim", "└─")} ${theme.fg("dim", summary)}`));
+		return this.withTrailingSpacer(lines);
+	}
+
+	/**
+	 * Append a trailing blank line so the overlay isn't flush against the
+	 * editor box. Pi's host adds a leading spacer above the widget but none
+	 * below, which leaves the last "└─" row (or the "+N more" summary) glued
+	 * to the input box. The empty string gives the "Todos" panel a little
+	 * breathing room.
+	 */
+	private withTrailingSpacer(lines: string[]): string[] {
+		if (lines.length === 0) return lines;
+		lines.push("");
+		return lines;
+	}
+
+	dispose(): void {
+		if (this.uiCtx) this.uiCtx.setWidget(WIDGET_KEY, undefined);
+		this.widgetRegistered = false;
+		this.tui = undefined;
+		this.uiCtx = undefined;
+		this.resetCompletedDisplayState();
+	}
+}

package/extensions/phi/todo/todo.ts

@@ -0,0 +1,146 @@
+/**
+ * todo tool + /todos command — thin registration shell.
+ *
+ * Tool/command identity, schema, types, reducer, store, replay, response
+ * envelope, selectors, and view formatters live in the layered modules under
+ * `tool/`, `state/`, and `view/`. This file is the package-root registration
+ * surface — it mirrors `packages/rpiv-ask-user-question/ask-user-question.ts`
+ * which keeps the tool registration at the package root.
+ *
+ * Public re-exports below preserve the pre-refactor import surface so that
+ * `index.ts`, `todo-overlay.ts`, and the global `test/setup.ts` `beforeEach`
+ * continue to import from `./todo.js`.
+ */
+
+import type { ExtensionAPI } from "phi-code";
+import { loadConfig, validateGuidanceFields } from "./config.js";
+import { formatStatusLabel, t } from "./state/i18n-bridge.js";
+import { replayFromBranch } from "./state/replay.js";
+import { selectTasksByStatus, selectTodoCounts, selectVisibleTasks } from "./state/selectors.js";
+import { applyTaskMutation } from "./state/state-reducer.js";
+import { commitState, getState, replaceState } from "./state/store.js";
+import { buildToolResult } from "./tool/response-envelope.js";
+import {
+	COMMAND_NAME,
+	ERR_REQUIRES_INTERACTIVE,
+	MSG_NO_TODOS,
+	type TaskMutationParams,
+	TOOL_LABEL,
+	TOOL_NAME,
+	TodoParamsSchema,
+} from "./tool/types.js";
+import { formatCommandTaskLine, renderTodoCall, renderTodoResult } from "./view/format.js";
+
+// English fallbacks for localized /todos section headers — the box-drawing
+// decoration is part of the localized string so translators can adjust spacing.
+const SECTION_PENDING = "── Pending ──";
+const SECTION_IN_PROGRESS = "── In Progress ──";
+const SECTION_COMPLETED = "── Completed ──";
+
+// ---------------------------------------------------------------------------
+// Public re-exports — pre-refactor consumers (overlay, tests, index.ts) keep
+// importing from `./todo.js`. New code may opt into deeper imports.
+// ---------------------------------------------------------------------------
+
+export { isTransitionValid } from "./state/invariants.js";
+export { applyTaskMutation } from "./state/state-reducer.js";
+export { __resetState, getNextId, getTodos } from "./state/store.js";
+export { deriveBlocks, detectCycle } from "./state/task-graph.js";
+export type { Task, TaskAction, TaskDetails, TaskStatus } from "./tool/types.js";
+export { TOOL_NAME } from "./tool/types.js";
+
+/**
+ * Backward-compat replay shim. Pre-refactor `reconstructTodoState(ctx)`
+ * mutated module state directly; the new replay seam (`state/replay.ts`)
+ * returns a `TaskState` and the caller commits via `replaceState`.
+ */
+export function reconstructTodoState(ctx: Parameters<typeof replayFromBranch>[0]): void {
+	replaceState(replayFromBranch(ctx));
+}
+
+// ---------------------------------------------------------------------------
+// Tool registration
+// ---------------------------------------------------------------------------
+
+export const DEFAULT_PROMPT_SNIPPET = "Manage a task list to track multi-step progress";
+export const DEFAULT_PROMPT_GUIDELINES: string[] = [
+	"Use `todo` for complex work with 3+ steps, when the user gives you a list of tasks, or immediately after receiving new instructions to capture requirements. Skip it for single trivial tasks and purely conversational requests.",
+	"When starting any task, mark it in_progress BEFORE beginning work. Mark it completed IMMEDIATELY when done — never batch completions. Exactly one task should be in_progress at a time.",
+	"Never mark a task completed if tests are failing, the implementation is partial, or you hit unresolved errors — keep it in_progress and create a new task for the blocker instead.",
+	"Task status is a 4-state machine: pending → in_progress → completed, plus deleted as a tombstone. Pass activeForm (present-continuous label, e.g. 'researching existing tool') when marking in_progress.",
+	"Use blockedBy to express dependencies (A is blocked by B). On create, pass blockedBy as the initial set. On update, use addBlockedBy / removeBlockedBy (additive merge — do not resend the full array). Cycles are rejected.",
+	"list hides tombstoned (deleted) tasks by default; pass includeDeleted:true to see them. Pass status to filter by a single status.",
+	"Subject must be short and imperative (e.g. 'Research existing tool'); description is for long-form detail. activeForm is a present-continuous label shown while in_progress.",
+];
+
+export function registerTodoTool(pi: ExtensionAPI): void {
+	const guidance = validateGuidanceFields(loadConfig().guidance);
+	pi.registerTool({
+		name: TOOL_NAME,
+		label: TOOL_LABEL,
+		description:
+			"Manage a task list for tracking multi-step progress. Actions: create (new task), update (change status/fields/dependencies), list (all tasks, optionally filtered by status), get (single task details), delete (tombstone), clear (reset all). Status: pending → in_progress → completed, plus deleted tombstone. Use this to plan and track multi-step work like research, design, and implementation.",
+		promptSnippet: guidance.promptSnippet ?? DEFAULT_PROMPT_SNIPPET,
+		promptGuidelines: guidance.promptGuidelines ?? DEFAULT_PROMPT_GUIDELINES,
+		parameters: TodoParamsSchema,
+
+		async execute(_toolCallId, params, _signal, _onUpdate, _ctx) {
+			const result = applyTaskMutation(getState(), params.action, params as TaskMutationParams);
+			commitState(result.state);
+			return buildToolResult(params.action, params as TaskMutationParams, result.state, result.op);
+		},
+
+		renderCall(args, theme, _context) {
+			return renderTodoCall(args as never, theme, getState());
+		},
+
+		renderResult(result, _opts, theme, _context) {
+			return renderTodoResult(result, theme);
+		},
+	});
+}
+
+// ---------------------------------------------------------------------------
+// /todos slash command
+// ---------------------------------------------------------------------------
+
+export function registerTodosCommand(pi: ExtensionAPI): void {
+	pi.registerCommand(COMMAND_NAME, {
+		description: "Show all todos on the current branch, grouped by status",
+		handler: async (_args, ctx) => {
+			if (!ctx.hasUI) {
+				ctx.ui.notify(t("command.requires_interactive", ERR_REQUIRES_INTERACTIVE), "error");
+				return;
+			}
+			const state = getState();
+			const visible = selectVisibleTasks(state);
+			if (visible.length === 0) {
+				ctx.ui.notify(t("command.no_todos", MSG_NO_TODOS), "info");
+				return;
+			}
+			const groups = selectTasksByStatus(state);
+			const counts = selectTodoCounts(state);
+
+			const header: string[] = [];
+			if (counts.completed > 0) header.push(`${counts.completed}/${counts.total} ${formatStatusLabel("completed")}`);
+			if (counts.inProgress > 0) header.push(`${counts.inProgress} ${formatStatusLabel("in_progress")}`);
+			if (counts.pending > 0) header.push(`${counts.pending} ${formatStatusLabel("pending")}`);
+
+			const lines: string[] = [header.join(" · ")];
+			if (groups.pending.length > 0) {
+				lines.push(t("command.section.pending", SECTION_PENDING));
+				for (const task of groups.pending) lines.push(formatCommandTaskLine(task, "○"));
+			}
+			if (groups.inProgress.length > 0) {
+				lines.push(t("command.section.in_progress", SECTION_IN_PROGRESS));
+				for (const task of groups.inProgress) lines.push(formatCommandTaskLine(task, "◐"));
+			}
+			if (groups.completed.length > 0) {
+				lines.push(t("command.section.completed", SECTION_COMPLETED));
+				for (const task of groups.completed) lines.push(formatCommandTaskLine(task, "✓"));
+			}
+
+			ctx.ui.notify(lines.join("\n"), "info");
+		},
+	});
+}