@linxiraos/pi-tui 1.1.27 → 1.2.0

package/src/overlays/model-hub.ts

@@ -23,12 +23,11 @@ import type {
 import type { KeysApi, Model } from "@linxiraos/pi-ai";
 import { getOAuthProviders } from "@linxiraos/pi-ai/oauth";
 import { getSupportedEfforts } from "@linxiraos/pi-catalog/model-thinking";
-import { modelsAreEqual } from "@linxiraos/pi-catalog/models";
 import { providerEntry } from "@linxiraos/pi-catalog/compat/providers";
 import { MODEL_KINDS, modelKind, type ModelKind } from "@linxiraos/pi-catalog/types";
 import type { Component, TUI } from "../tui";
 import { extractPrintableText, matchesKey } from "../keys";
-import { fuzzyFilter } from "../fuzzy";
+import { FuzzyCorpus } from "../fuzzy";
 import { formatKeyHint, formatKeyHints } from "../app-keybindings";
 import { boundKeys, editorKey, editorKeys } from "../chrome/keybinding-hints";
 import type { KeyName } from "../key-hint-format";
@@ -48,7 +47,7 @@ import type {
 	ResolvedModelRoleValue,
 } from "./model-browser";
 import { AUTO_THINKING, type ConfiguredThinkingLevel, getConfiguredThinkingLevelMetadata } from "../thinking";
-import { thinkingLevelGlyph } from "../render/render-utils";
+import { sanitizeDisplayWarning, thinkingLevelGlyph } from "../render/render-utils";
 import { theme } from "../theme/theme";
 import { matchesSelectCancel, matchesSelectDown, matchesSelectUp } from "../keybinding-matchers";
 import {
@@ -60,6 +59,7 @@ import {
 	thinkingDotToken,
 	type RoleAssignments,
 	resolveRoleAssignments,
+	scopedRolePool,
 	sortModelItems,
 } from "./model-browser";
 import {
@@ -170,9 +170,31 @@ export interface ModelHubCallbacks {
 	onSwitchPreset?: (name: string) => void | Promise<void>;
 	/** Persist a new quick-switch cycle order (the ctrl+p role cycle). */
 	onCycleOrderChange?: (order: string[]) => void;
+	/**
+	 * Persist typed text as `model`'s own compaction limit: a token base the
+	 * policy scales (`400k`), a fixed trigger (`f400k`), a percentage (`80%`), or
+	 * empty to reset. Rejected input returns `{ kind: "error" }`; input that
+	 * needs acknowledgement (one that opens the extended window) returns
+	 * `{ kind: "confirm" }` until called again with the same text and
+	 * `confirmed`. Either keeps the field open.
+	 */
+	onCompactionPointChange?: (
+		model: Model,
+		input: string,
+		confirmed: boolean,
+	) => CompactionPointChangeResult | undefined;
+	/**
+	 * One short line on where `model` would compact with the typed limit
+	 * (`compacts at 340K · 85% of 400K base`), shown beside the field while
+	 * typing; undefined for input that does not parse or fit.
+	 */
+	previewCompactionPoint?: (model: Model, input: string) => string | undefined;
 	onCancel: () => void;
 }
 
+/** Why {@link ModelHubCallbacks.onCompactionPointChange} kept the field open. */
+export type CompactionPointChangeResult = { kind: "error"; message: string } | { kind: "confirm"; message: string };
+
 export interface ModelHubOptions {
 	/** Preselect this provider's sidebar entry (e.g. when reopening after /login). */
 	initialProviderId?: string;
@@ -224,6 +246,20 @@ type StripState =
 			kind: "name";
 			purpose: "role" | "preset";
 			input: Input;
+	  }
+	| {
+			/**
+			 * Footer text input setting `model`'s compaction limit; `error` is the last
+			 * rejection, `confirm` the warning a second Enter on the same `value`
+			 * accepts, `preview` the host's live line for the typed `value`.
+			 */
+			kind: "name";
+			purpose: "compaction";
+			model: Model;
+			input: Input;
+			error?: string;
+			confirm?: { value: string; message: string };
+			preview?: { value: string; text: string | undefined };
 	  };
 
 /** A Roles-view command; keys and the picker's action bar both run {@link ModelHubComponent}'s `#runRolesAction`. */
@@ -236,6 +272,7 @@ type RolesAction =
 	| "later"
 	| "new"
 	| "thinking"
+	| "compaction"
 	| "save"
 	| "nextPreset"
 	| "prevPreset";
@@ -249,6 +286,7 @@ const ROLES_ACTION_KEYS: Record<string, RolesAction> = {
 	"]": "later",
 	n: "new",
 	t: "thinking",
+	k: "compaction",
 	s: "save",
 	// Letter twins of ctrl+←/→, which macOS reserves for switching Spaces.
 	p: "nextPreset",
@@ -286,6 +324,41 @@ function providerInitials(providerId: string): string {
 
 const PROVIDER_REFRESH_DEBOUNCE_MS = 120;
 const RECENT_LIMIT = 15;
+/** Accepted compaction limit input, shown beside the field: a scaled base, a fixed trigger, or a percentage. */
+const COMPACTION_INPUT_HINT = "400k base · f400k fixed · 80% · empty resets";
+
+type CompactionStrip = Extract<StripState, { purpose: "compaction" }>;
+
+/** Whether the compaction field still holds the text its pending warning was raised for. */
+function compactionConfirmPending(strip: CompactionStrip): boolean {
+	return strip.confirm !== undefined && strip.confirm.value === strip.input.getValue();
+}
+
+/**
+ * The note beside the compaction field: the last error, a pending warning, the
+ * host's live preview of the typed limit, or (empty or unparsed input) the
+ * input syntax. Host text embeds model ids and config text, so it is
+ * sanitized for every render path (terminal footer, Tern picker and strip).
+ */
+function compactionNotice(
+	strip: CompactionStrip,
+	preview: ((model: Model, input: string) => string | undefined) | undefined,
+): { text: string; style: "error" | "warning" | "dim" } {
+	if (strip.error) return { text: sanitizeDisplayWarning(strip.error), style: "error" };
+	// The footer hint and the primary action already say Enter accepts; the
+	// notice stays short so it fits beside the field.
+	if (strip.confirm && compactionConfirmPending(strip)) {
+		return { text: sanitizeDisplayWarning(strip.confirm.message), style: "warning" };
+	}
+	const value = strip.input.getValue();
+	if (preview && value.trim().length > 0) {
+		// Renders repeat per frame; ask the host once per typed value.
+		if (strip.preview?.value !== value) strip.preview = { value, text: preview(strip.model, value) };
+		if (strip.preview.text) return { text: sanitizeDisplayWarning(strip.preview.text), style: "dim" };
+	}
+	return { text: COMPACTION_INPUT_HINT, style: "dim" };
+}
+
 const MODEL_KIND_TABS: ReadonlyArray<"all" | ModelKind> = ["all", ...MODEL_KINDS];
 const ROLE_TABS = ["all", "chat", "kind"] as const;
 type RoleTab = (typeof ROLE_TABS)[number];
@@ -334,7 +407,15 @@ export class ModelHubComponent implements Component {
 	#roles: RoleAssignments = {};
 	#availableItems: ModelBrowserItem[] = [];
 	#recentItems: ModelBrowserItem[] = [];
+	/** Selectors of {@link #recentItems}, rebuilt with it, for search hit counts. */
+	#recentSelectors: ReadonlySet<string> = new Set();
 	#candidateItems: ModelBrowserItem[] = [];
+	/** {@link #availableItems} when the candidates are that whole catalog (All scope, no role filter). */
+	#candidateCatalog: readonly ModelBrowserItem[] | undefined;
+	/** {@link #availableItems} when the browser's base items are that whole catalog; its query ranking then covers every count. */
+	#browserCatalog: readonly ModelBrowserItem[] | undefined;
+	/** Fuzzy index over {@link #availableItems}, for match counts while the browser holds a narrower scope. */
+	#catalogCorpus: { items: readonly ModelBrowserItem[]; corpus: FuzzyCorpus<ModelBrowserItem> } | undefined;
 	#modelKindTab: "all" | ModelKind = "all";
 	#roleTab: RoleTab = "all";
 	#configError: string | undefined;
@@ -428,6 +509,7 @@ export class ModelHubComponent implements Component {
 				row: RolesRow | undefined;
 				roles: RoleAssignments;
 				rows: readonly RolesRow[];
+				revision: number;
 				children: readonly NativeChild[];
 		  }
 		| undefined;
@@ -518,22 +600,6 @@ export class ModelHubComponent implements Component {
 		return this.#settings.knownRoleIds.filter(role => !this.#settings.getRoleInfo(role).hidden);
 	}
 
-	/**
-	 * Models a `--models`/`enabledModels` scope exposes. The scope only resolves
-	 * chat models (it feeds Ctrl+P cycling), so available non-chat runners
-	 * (judge, search, image, …) join from the registry — runtime role
-	 * resolution ignores the scope for them as well.
-	 */
-	#scopedPool(): Model[] {
-		const pool = this.#scopedModels.map(scoped => scoped.model);
-		for (const model of this.#registry.getAvailable("all")) {
-			if (modelKind(model) === "chat") continue;
-			if (this.#scopedModels.some(scoped => modelsAreEqual(scoped.model, model))) continue;
-			pool.push(model);
-		}
-		return pool;
-	}
-
 	/** Resolve every known role: configured values first, auto-selection for the rest. */
 	#reloadRoles(autoCandidates: ReadonlyArray<Model>): void {
 		const allModels = this.#scopedModels.length > 0 ? autoCandidates : this.#registry.getAll("all");
@@ -552,7 +618,10 @@ export class ModelHubComponent implements Component {
 		if (this.#scopedModels.length > 0) {
 			this.#configError = undefined;
 			try {
-				allModels = this.#scopedPool();
+				allModels = scopedRolePool(
+					this.#scopedModels.map(scoped => scoped.model),
+					this.#registry,
+				);
 			} catch (error) {
 				this.#configError = error instanceof Error ? error.message : String(error);
 				allModels = this.#scopedModels.map(scoped => scoped.model);
@@ -587,6 +656,7 @@ export class ModelHubComponent implements Component {
 			if (item) this.#recentItems.push(item);
 			if (this.#recentItems.length >= RECENT_LIMIT) break;
 		}
+		this.#recentSelectors = new Set(this.#recentItems.map(item => item.selector));
 
 		this.#buildSidebar(allModels, availableModels);
 		this.#restoreSidebarAnchor(anchor);
@@ -823,11 +893,13 @@ export class ModelHubComponent implements Component {
 				? items.filter(item => this.#settings.getRoleInfo(assigning.role).accepts(item.model))
 				: items;
 		this.#candidateItems = [...scoped];
+		this.#candidateCatalog = scoped === this.#availableItems ? this.#availableItems : undefined;
 		this.#applyModelKind();
 	}
 
 	#applyModelKind(): void {
 		const kind = this.#modelKindTab;
+		this.#browserCatalog = kind === "all" ? this.#candidateCatalog : undefined;
 		this.#browser.setItems(
 			kind === "all"
 				? [...this.#candidateItems]
@@ -936,16 +1008,14 @@ export class ModelHubComponent implements Component {
 			this.#composeEntries();
 			return;
 		}
-		const matches = fuzzyFilter(this.#availableItems, query, modelSearchText);
+		const matches = this.#catalogMatches(query);
 		const counts = new Map<string, number>();
+		let recentCount = 0;
 		for (const item of matches) {
 			counts.set(item.provider, (counts.get(item.provider) ?? 0) + 1);
+			if (this.#recentSelectors.has(item.selector)) recentCount++;
 		}
-		const recentSelectors = new Set(this.#recentItems.map(item => item.selector));
-		this.#recentSearchCount = matches.reduce(
-			(total, item) => total + (recentSelectors.has(item.selector) ? 1 : 0),
-			0,
-		);
+		this.#recentSearchCount = recentCount;
 		this.#searchTotal = matches.length;
 		this.#searchCounts = counts;
 		this.#composeEntries();
@@ -959,6 +1029,24 @@ export class ModelHubComponent implements Component {
 		}
 	}
 
+	/**
+	 * Catalog items matching a non-blank `query`. When the browser holds the
+	 * whole catalog its ranking for this query already ran, so reuse it;
+	 * otherwise scan a catalog index kept across keystrokes.
+	 */
+	#catalogMatches(query: string): readonly ModelBrowserItem[] {
+		if (this.#browserCatalog === this.#availableItems && this.#browser.query === query) {
+			const ranked = this.#browser.queryMatches;
+			if (ranked) return ranked;
+		}
+		let cached = this.#catalogCorpus;
+		if (cached?.items !== this.#availableItems) {
+			cached = { items: this.#availableItems, corpus: new FuzzyCorpus(this.#availableItems, modelSearchText) };
+			this.#catalogCorpus = cached;
+		}
+		return cached.corpus.rank(query).map(result => result.item);
+	}
+
 	/**
 	 * Entries the scope hop skips: separators always; while searching, also
 	 * the Roles view (not a model scope), an empty Recent, locked providers,
@@ -1149,7 +1237,13 @@ export class ModelHubComponent implements Component {
 	#roleForScope(role: string, scope: ModelRoleSelectionScope): ResolvedModelRoleValue {
 		const roleValue =
 			scope === "project" ? this.#settings.getProjectModelRole(role) : this.#settings.getGlobalModelRole(role);
-		const allModels = this.#scopedModels.length > 0 ? this.#scopedPool() : this.#registry.getAll("all");
+		const allModels =
+			this.#scopedModels.length > 0
+				? scopedRolePool(
+						this.#scopedModels.map(scoped => scoped.model),
+						this.#registry,
+					)
+				: this.#registry.getAll("all");
 		const roleLookup: ModelRoleLookup = {
 			getModelRole: scopedRole =>
 				scope === "project"
@@ -1731,10 +1825,46 @@ export class ModelHubComponent implements Component {
 		this.#strip = { kind: "name", purpose, input: new Input() };
 	}
 
-	/** Validate and commit the name strip: a new role jumps into assigning it, a preset name saves it. */
+	/** The model a Roles row resolves to (assigned role or resolvable fallback), whose compaction point `k` edits. */
+	#roleRowModel(): Model | undefined {
+		const row = this.#rolesRows[this.#roleIndex];
+		if (row?.kind === "role") return this.#roles[row.role]?.model;
+		if (row?.kind === "fallback") return this.#resolveFallbackEntry(row.role, row.chainIndex)?.item.model;
+		return undefined;
+	}
+
+	/** Open the footer input for the Roles row's model compaction point, prefilled with its own entry. */
+	#openCompactionStrip(): void {
+		if (!this.#callbacks.onCompactionPointChange) return;
+		const model = this.#roleRowModel();
+		if (!model) return;
+		const input = new Input();
+		input.setValue(this.#settings.compactionPointFor?.(model)?.draft ?? "");
+		this.#strip = { kind: "name", purpose: "compaction", model, input };
+	}
+
+	/** Validate and commit the name strip: a new role, a preset name, or a compaction point. */
 	#submitNameStrip(): void {
 		const strip = this.#strip;
 		if (strip?.kind !== "name") return;
+		if (strip.purpose === "compaction") {
+			const value = strip.input.getValue();
+			const result = this.#callbacks.onCompactionPointChange?.(strip.model, value, compactionConfirmPending(strip));
+			if (result?.kind === "error") {
+				strip.error = result.message;
+				strip.confirm = undefined;
+				return;
+			}
+			if (result?.kind === "confirm") {
+				strip.error = undefined;
+				strip.confirm = { value, message: result.message };
+				return;
+			}
+			this.#strip = null;
+			this.#frame.chipRanges = [];
+			this.#refreshAfterMutation();
+			return;
+		}
 		if (strip.purpose === "preset") {
 			this.#submitPresetName();
 			return;
@@ -1916,7 +2046,13 @@ export class ModelHubComponent implements Component {
 
 		if (rolesView) {
 			const printable = extractPrintableText(data);
-			if (this.#focus === "scope" && printable !== undefined && printable.trim().length > 0) {
+			// Typing searches the catalog from the sidebar, and from the rows
+			// while a query is live (the picker shows its search field only
+			// then); otherwise the rows' letter commands own printable keys.
+			const typed = printable !== undefined && printable.trim().length > 0;
+			const editsQuery =
+				this.#browser.query.length > 0 && (printable !== undefined || matchesKey(data, "backspace"));
+			if ((this.#focus === "scope" && typed) || editsQuery) {
 				this.#setActiveEntry("all");
 				this.#focus = "list";
 				this.#browser.handleInput(data);
@@ -1993,6 +2129,7 @@ export class ModelHubComponent implements Component {
 				return;
 			}
 			strip.input.handleInput(data);
+			if (strip.purpose === "compaction") strip.error = undefined;
 			return;
 		}
 		if (moveStripSelection(strip, data)) return;
@@ -2156,6 +2293,9 @@ export class ModelHubComponent implements Component {
 			case "prevPreset":
 				this.#switchPreset(action === "nextPreset" ? 1 : -1);
 				return;
+			case "compaction":
+				this.#openCompactionStrip();
+				return;
 			case "thinking":
 				if (role) {
 					const target = this.#roleThinkingTarget(role);
@@ -2355,9 +2495,14 @@ export class ModelHubComponent implements Component {
 			Math.max(0, active),
 		);
 		const { names, active: activePreset } = this.#presets();
+		// p/P type into a live query instead of switching presets.
+		const presetKeys =
+			this.#browser.query.length > 0
+				? formatKeyHints(["ctrl+left", "ctrl+right"])
+				: `${formatKeyHints(["ctrl+left", "ctrl+right"])} · ${formatKeyHints(["p", "shift+p"])}`;
 		const preset =
 			names.length > 0
-				? `   ${theme.fg("dim", "Preset:")} ${activePreset ? theme.fg("accent", activePreset) : theme.fg("muted", "custom")}  ${theme.fg("dim", `${formatKeyHints(["ctrl+left", "ctrl+right"])} · ${formatKeyHints(["p", "shift+p"])}`)}`
+				? `   ${theme.fg("dim", "Preset:")} ${activePreset ? theme.fg("accent", activePreset) : theme.fg("muted", "custom")}  ${theme.fg("dim", presetKeys)}`
 				: "";
 		return truncateToWidth(
 			` ${theme.fg("dim", "Roles:")} ${track}  ${theme.fg("dim", formatKeyHints(["alt+left", "alt+right"]))}${preset}`,
@@ -2631,6 +2776,9 @@ export class ModelHubComponent implements Component {
 		const strip = this.#strip;
 		if (strip) {
 			if (strip.kind === "name") {
+				if (strip.purpose === "compaction") {
+					return `${enter} ${compactionConfirmPending(strip) ? "accept" : "set"} compaction point · ${cancel} cancel`;
+				}
 				if (strip.purpose === "preset") {
 					return `${enter} save preset · ${cancel} cancel`;
 				}
@@ -2661,14 +2809,22 @@ export class ModelHubComponent implements Component {
 					this.#presets().names.length > 0 ? ` · ${formatKeyHints(["ctrl+left", "ctrl+right"])} preset` : "";
 				return `${upDown} providers · ${enterRight} roles · ${altLeftRight} tabs${presets} · ${cancel} close`;
 			}
+			// A live query takes printable keys and backspace, so the letter commands rest.
+			if (this.#browser.query.length > 0) {
+				return `${upDown} rows · ${enter} pick · type to search · ${left} providers · ${cancel} close`;
+			}
 			const row = this.#rolesRows[this.#roleIndex];
+			const compaction =
+				this.#callbacks.onCompactionPointChange && this.#roleRowModel()
+					? ` · ${formatKeyHint("k")} compaction limit`
+					: "";
 			if (row?.kind === "fallback") {
 				// Advertise `t` only when the entry resolves: wildcards always
 				// inherit and unknown models have no ladder to offer, so the
 				// action would be inert there.
 				const editable = this.#resolveFallbackEntry(row.role, row.chainIndex) !== undefined;
 				const thinking = editable ? ` · ${formatKeyHint("t")} thinking` : "";
-				return `${upDown} rows · ${enter} replace · ${formatKeyHint("f")} add another · ${formatKeyHint("x")} remove${thinking} · [/] reorder · ${left} providers`;
+				return `${upDown} rows · ${enter} replace · ${formatKeyHint("f")} add another · ${formatKeyHint("x")} remove${thinking}${compaction} · [/] reorder · ${left} providers`;
 			}
 			if (row?.kind === "chainKey") {
 				return `${upDown} rows · ${formatKeyHints(["enter", "f"])} add fallback · ${formatKeyHint("x")} clear chain · ${left} providers`;
@@ -2682,7 +2838,7 @@ export class ModelHubComponent implements Component {
 			const thinking = editable ? ` · ${formatKeyHint("t")} thinking` : "";
 			const savePreset = this.#callbacks.onSavePreset ? ` · ${formatKeyHint("s")} save preset` : "";
 			const switchPreset = this.#presets().names.length > 0 ? ` · ${formatKeyHints(["p", "shift+p"])} preset` : "";
-			return `${upDown} rows · ${enter} pick · ${formatKeyHint("f")} fallback · ${formatKeyHint("x")} clear${thinking} · ${formatKeyHint("c")} cycle · [/] reorder · ${formatKeyHint("n")} new${savePreset}${switchPreset}`;
+			return `${upDown} rows · ${enter} pick · ${formatKeyHint("f")} fallback · ${formatKeyHint("x")} clear${thinking}${compaction} · ${formatKeyHint("c")} cycle · [/] reorder · ${formatKeyHint("n")} new${savePreset}${switchPreset}`;
 		}
 		if (entry.kind === "provider" && entry.locked) {
 			return entry.oauth
@@ -2707,12 +2863,26 @@ export class ModelHubComponent implements Component {
 
 	#renderStrip(width: number, strip: StripState): string {
 		if (strip.kind === "name") {
-			const preset = strip.purpose === "preset";
-			const labelText = preset ? "Preset name:" : "New role name:";
+			const labelText =
+				strip.purpose === "compaction"
+					? `${strip.model.id} limit:`
+					: strip.purpose === "preset"
+						? "Preset name:"
+						: "New role name:";
 			const label = theme.fg("accent", labelText);
-			const inputWidth = Math.max(8, Math.min(32, width - visibleWidth(labelText) - 24));
+			// A compaction point is at most a few characters (`1500k`, `12.5%`); a
+			// narrow field leaves the row for its notice.
+			const maxInputWidth = strip.purpose === "compaction" ? 10 : 32;
+			const inputWidth = Math.max(8, Math.min(maxInputWidth, width - visibleWidth(labelText) - 24));
 			const inputLine = strip.input.render(inputWidth)[0] ?? "";
-			return truncateToWidth(`${label} ${inputLine} ${theme.fg("dim", "(letters, digits, - and _)")}`, width);
+			let hint: string;
+			if (strip.purpose === "compaction") {
+				const notice = compactionNotice(strip, this.#callbacks.previewCompactionPoint);
+				hint = theme.fg(notice.style, notice.text);
+			} else {
+				hint = theme.fg("dim", "(letters, digits, - and _)");
+			}
+			return truncateToWidth(`${label} ${inputLine} ${hint}`, width);
 		}
 
 		const prefix =
@@ -3134,7 +3304,9 @@ export class ModelHubComponent implements Component {
 			size: "lg",
 			layout: "rows",
 			preview: "side",
-			query: this.#browser.query,
+			// The Roles rows' letter commands own printable keys until a query
+			// is live, so the sheet offers no search field to type into.
+			query: rolesView && this.#browser.query.length === 0 ? null : this.#browser.query,
 			cursor: this.#browser.cursor,
 			placeholder: "Search models…",
 			scopes: this.#pickerScopes(),
@@ -3363,12 +3535,19 @@ export class ModelHubComponent implements Component {
 		if (strip) {
 			const apply =
 				strip.kind === "name"
-					? pickerAction(
-							strip.purpose === "preset" ? "presetName" : "roleName",
-							strip.purpose === "preset" ? "Save preset" : "Create role",
-							"enter",
-							{ primary: true },
-						)
+					? strip.purpose === "compaction"
+						? pickerAction(
+								"compactionPoint",
+								compactionConfirmPending(strip) ? "Accept compaction point" : "Set compaction point",
+								"enter",
+								{ primary: true },
+							)
+						: pickerAction(
+								strip.purpose === "preset" ? "presetName" : "roleName",
+								strip.purpose === "preset" ? "Save preset" : "Create role",
+								"enter",
+								{ primary: true },
+							)
 					: pickerAction(
 							"stripApply",
 							strip.kind === "thinking" ? "Apply" : strip.kind === "scope" ? "Save to scope" : "Assign / clear",
@@ -3390,9 +3569,20 @@ export class ModelHubComponent implements Component {
 		}
 		if (rolesView) {
 			const row = this.#rolesRows[this.#roleIndex];
+			// A live query takes the letter keys: those buttons keep working but lose their keycaps.
+			const searching = this.#browser.query.length > 0;
 			const roleAction = (action: RolesAction, label: string, key: string, primary = false) =>
-				pickerAction(`roles:${action}`, label, key, primary ? { primary: true } : undefined);
+				pickerAction(
+					`roles:${action}`,
+					label,
+					searching && key !== "enter" ? undefined : key,
+					primary ? { primary: true } : undefined,
+				);
 			const actions: (TspPickerAction | undefined)[] = [];
+			const compaction =
+				this.#callbacks.onCompactionPointChange && this.#roleRowModel()
+					? roleAction("compaction", "Compaction limit", "k")
+					: undefined;
 			switch (row?.kind) {
 				case "role": {
 					const assigned = this.#roles[row.role];
@@ -3401,6 +3591,7 @@ export class ModelHubComponent implements Component {
 						roleAction("fallback", "Add fallback", "f"),
 						assigned && !assigned.autoSelected ? roleAction("clear", "Clear", "x") : undefined,
 						this.#roleThinkingTarget(row.role) ? roleAction("thinking", "Thinking", "t") : undefined,
+						compaction,
 						roleAction("cycle", this.#cycleOrder().includes(row.role) ? "Leave cycle" : "Add to cycle", "c"),
 						roleAction("new", "New role", "n"),
 						this.#callbacks.onSavePreset ? roleAction("save", "Save preset", "s") : undefined,
@@ -3416,6 +3607,7 @@ export class ModelHubComponent implements Component {
 						this.#resolveFallbackEntry(row.role, row.chainIndex)
 							? roleAction("thinking", "Thinking", "t")
 							: undefined,
+						compaction,
 						roleAction("earlier", "Earlier", "["),
 						roleAction("later", "Later", "]"),
 					);
@@ -3452,6 +3644,19 @@ export class ModelHubComponent implements Component {
 	/** The open strip as the picker's chip strip (role assignment, save scope, thinking level, new role name). */
 	#pickerStrip(strip: StripState): NonNullable<TspPickerProps["strip"]> {
 		if (strip.kind === "name") {
+			if (strip.purpose === "compaction") {
+				const notice = compactionNotice(strip, this.#callbacks.previewCompactionPoint);
+				return {
+					label: [
+						span(strip.model.id, "mono"),
+						span(" limit ", "muted"),
+						span(strip.input.getValue(), "mono"),
+						span("▏", "accent"),
+						span(`  ${notice.text}`, notice.style),
+					],
+					items: [],
+				};
+			}
 			return {
 				label: [
 					span(strip.purpose === "preset" ? "Preset name " : "New role name ", "muted"),
@@ -3591,7 +3796,14 @@ export class ModelHubComponent implements Component {
 	/** The selected Roles-view row's preview: its model's facts and its fallback chain. */
 	#rolePreview(row: RolesRow | undefined): readonly NativeChild[] {
 		const memo = this.#pickerRolePreview;
-		if (memo !== undefined && memo.row === row && memo.roles === this.#roles && memo.rows === this.#rolesRows) {
+		const revision = this.#settings.revision;
+		if (
+			memo !== undefined &&
+			memo.row === row &&
+			memo.roles === this.#roles &&
+			memo.rows === this.#rolesRows &&
+			memo.revision === revision
+		) {
 			return memo.children;
 		}
 		const children: NativeChild[] = [];
@@ -3665,7 +3877,7 @@ export class ModelHubComponent implements Component {
 				);
 				break;
 		}
-		this.#pickerRolePreview = { row, roles: this.#roles, rows: this.#rolesRows, children };
+		this.#pickerRolePreview = { row, roles: this.#roles, rows: this.#rolesRows, revision, children };
 		return children;
 	}
 
@@ -3765,6 +3977,9 @@ export class ModelHubComponent implements Component {
 			case "presetName":
 				this.#submitPresetName();
 				return;
+			case "compactionPoint":
+				this.#submitNameStrip();
+				return;
 			case "cancel":
 				if (this.#strip) this.#closeStrip();
 				return;
@@ -3815,6 +4030,19 @@ export class ModelHubComponent implements Component {
 		const strip = this.#strip;
 		if (!strip) return undefined;
 		if (strip.kind === "name") {
+			if (strip.purpose === "compaction") {
+				const notice = compactionNotice(strip, this.#callbacks.previewCompactionPoint);
+				return node(
+					"row",
+					{ gap: "sm", align: "center" },
+					[
+						text([span(`${strip.model.id} limit:`, "accent")]),
+						col([strip.input], { grow: 1 }),
+						text([span(notice.text, notice.style)], { wrap: "word" }),
+					],
+					"compactionPoint",
+				);
+			}
 			const preset = strip.purpose === "preset";
 			return node(
 				"row",
@@ -3868,9 +4096,17 @@ export class ModelHubComponent implements Component {
 		if (strip) {
 			switch (strip.kind) {
 				case "name":
-					return strip.purpose === "preset"
-						? [keys("save preset", "enter"), cancel("cancel")]
-						: [keys("create + pick model", "enter"), cancel("cancel")];
+					return strip.purpose === "compaction"
+						? [
+								keys(
+									compactionConfirmPending(strip) ? "accept compaction point" : "set compaction point",
+									"enter",
+								),
+								cancel("cancel"),
+							]
+						: strip.purpose === "preset"
+							? [keys("save preset", "enter"), cancel("cancel")]
+							: [keys("create + pick model", "enter"), cancel("cancel")];
 				case "role":
 					return [keys("choose", "left", "right"), keys("assign/clear", "enter"), cancel("cancel")];
 				case "scope":
@@ -3903,7 +4139,20 @@ export class ModelHubComponent implements Component {
 					cancel("close"),
 				];
 			}
+			// A live query takes printable keys and backspace, so the letter commands rest.
+			if (this.#browser.query.length > 0) {
+				return [
+					upDown("rows"),
+					keys("pick", "enter"),
+					search,
+					keys("providers", "left"),
+					presetHint,
+					cancel("close"),
+				];
+			}
 			const row = this.#rolesRows[this.#roleIndex];
+			const compaction =
+				this.#callbacks.onCompactionPointChange && this.#roleRowModel() ? keys("compaction limit", "k") : undefined;
 			if (row?.kind === "fallback") {
 				// Advertise `t` only where a strip would open, as the ANSI footer does.
 				const editable = this.#resolveFallbackEntry(row.role, row.chainIndex) !== undefined;
@@ -3913,6 +4162,7 @@ export class ModelHubComponent implements Component {
 					keys("add another", "f"),
 					keys("remove", "x"),
 					editable ? keys("thinking", "t") : undefined,
+					compaction,
 					reorder,
 					keys("providers", "left"),
 				];
@@ -3935,6 +4185,7 @@ export class ModelHubComponent implements Component {
 				keys("fallback", "f"),
 				keys("clear", "x"),
 				editable ? keys("thinking", "t") : undefined,
+				compaction,
 				keys("cycle", "c"),
 				reorder,
 				keys("new", "n"),