@danypops/pi-jittor 0.2.0 → 0.2.1

package/extension/src/settings-tui.ts

@@ -1,6 +1,6 @@
+import { USAGE_PERIODS, type UsagePeriod } from "@danypops/jittor";
 import type { ExtensionCommandContext } from "@earendil-works/pi-coding-agent";
 import { matchesKey, truncateToWidth, visibleWidth } from "@earendil-works/pi-tui";
-import { USAGE_PERIODS, type UsagePeriod } from "@danypops/jittor";
 import type { CodexRecoveryControl, EnforcementControl, UsageBudgetControl } from "./settings.ts";
 
 export interface SettingsSnapshot {
@@ -24,12 +24,7 @@ export interface SettingsEffects {
 	setRecovery(enabled: boolean): void | Promise<void>;
 }
 
-const SETTINGS_KEYS: SettingsKey[] = [
-	"enforcement",
-	"footer",
-	"recovery",
-	...USAGE_PERIODS.map(({ id }) => `budget-${id}` as const),
-];
+const SETTINGS_KEYS: SettingsKey[] = ["enforcement", "footer", "recovery", ...USAGE_PERIODS.map(({ id }) => `budget-${id}` as const)];
 
 function state(enabled: boolean, theme: SettingsTheme): string {
 	return enabled ? theme.fg("success", "ON") : theme.fg("muted", "OFF");
@@ -63,18 +58,14 @@ export function settingsSnapshot(
 
 export function renderSettingsView(snapshot: SettingsSnapshot, selected: number, width: number, theme: SettingsTheme): string[] {
 	const safeWidth = Math.max(20, width);
-	const lines = [
-		theme.bold("Jittor Settings"),
-		theme.fg("dim", "Token budgets are user values; provider quotas remain separate."),
-		"",
-	];
+	const lines = [theme.bold("Jittor Settings"), theme.fg("dim", "Token budgets are user values; provider quotas remain separate."), ""];
 	for (let index = 0; index < SETTINGS_KEYS.length; index += 1) {
 		const selectedRow = index === selected;
 		const prefix = selectedRow ? theme.fg("accent", "› ") : "  ";
 		lines.push(`${prefix}${rowText(SETTINGS_KEYS[index]!, snapshot, theme)}`);
 	}
 	lines.push("", theme.fg("dim", "↑/↓ select · Enter edit · Esc close"));
-	return lines.map((line) => visibleWidth(line) <= safeWidth ? line : truncateToWidth(line, safeWidth, "…"));
+	return lines.map((line) => (visibleWidth(line) <= safeWidth ? line : truncateToWidth(line, safeWidth, "…")));
 }
 
 function plainTheme(): SettingsTheme {
@@ -113,7 +104,12 @@ export async function showSettingsPanel(
 	},
 ): Promise<void> {
 	if (ctx.mode !== "tui") {
-		ctx.ui.notify(renderSettingsView(settingsSnapshot(enforcement, recovery, budgets), -1, 100, plainTheme()).slice(0, -2).join("\n"), "info");
+		ctx.ui.notify(
+			renderSettingsView(settingsSnapshot(enforcement, recovery, budgets), -1, 100, plainTheme())
+				.slice(0, -2)
+				.join("\n"),
+			"info",
+		);
 		return;
 	}
 	for (;;) {
@@ -122,19 +118,32 @@ export async function showSettingsPanel(
 			let selected = 0;
 			return {
 				invalidate() {},
-				render(width: number): string[] { return renderSettingsView(snapshot, selected, width, theme); },
+				render(width: number): string[] {
+					return renderSettingsView(snapshot, selected, width, theme);
+				},
 				handleInput(data: string): void {
 					if (matchesKey(data, "escape") || matchesKey(data, "ctrl+c") || data === "q") done({ kind: "close" });
-					else if (matchesKey(data, "up")) { selected = (selected - 1 + SETTINGS_KEYS.length) % SETTINGS_KEYS.length; tui.requestRender(); }
-					else if (matchesKey(data, "down")) { selected = (selected + 1) % SETTINGS_KEYS.length; tui.requestRender(); }
-					else if (matchesKey(data, "return") || matchesKey(data, "enter") || matchesKey(data, "space")) done({ kind: "activate", key: SETTINGS_KEYS[selected]! });
+					else if (matchesKey(data, "up")) {
+						selected = (selected - 1 + SETTINGS_KEYS.length) % SETTINGS_KEYS.length;
+						tui.requestRender();
+					} else if (matchesKey(data, "down")) {
+						selected = (selected + 1) % SETTINGS_KEYS.length;
+						tui.requestRender();
+					} else if (matchesKey(data, "return") || matchesKey(data, "enter") || matchesKey(data, "space"))
+						done({ kind: "activate", key: SETTINGS_KEYS[selected]! });
 				},
 			};
 		});
 		if (!action || action.kind === "close") return;
 		if (action.key === "enforcement") {
 			if (enforcement.isEnabled()) {
-				if (await ctx.ui.confirm("Disable routing enforcement?", "Jittor will remain monitor-only and will no longer block unsafe provider requests.")) await effects.setEnforcement(false);
+				if (
+					await ctx.ui.confirm(
+						"Disable routing enforcement?",
+						"Jittor will remain monitor-only and will no longer block unsafe provider requests.",
+					)
+				)
+					await effects.setEnforcement(false);
 			} else await effects.setEnforcement(true);
 			continue;
 		}
@@ -144,7 +153,13 @@ export async function showSettingsPanel(
 		}
 		if (action.key === "recovery") {
 			if (!recovery.isCodexRecoveryEnabled()) {
-				if (await ctx.ui.confirm("Enable Codex recovery?", "Jittor may start bounded hidden retries only after transient Codex failures fully settle.")) await effects.setRecovery(true);
+				if (
+					await ctx.ui.confirm(
+						"Enable Codex recovery?",
+						"Jittor may start bounded hidden retries only after transient Codex failures fully settle.",
+					)
+				)
+					await effects.setRecovery(true);
 			} else await effects.setRecovery(false);
 			continue;
 		}

package/extension/src/settings.ts

@@ -35,14 +35,16 @@ function defaultSettings(): ExtensionSettings {
 function parseUsageTokenBudgets(value: unknown): Partial<Record<UsagePeriod, number>> {
 	if (typeof value !== "object" || value === null || Array.isArray(value)) return {};
 	const record = value as Record<string, unknown>;
-	return Object.fromEntries(USAGE_PERIODS.flatMap(({ id }) => {
-		const tokens = record[id];
-		return typeof tokens === "number" && Number.isFinite(tokens) && tokens > 0 ? [[id, tokens]] : [];
-	})) as Partial<Record<UsagePeriod, number>>;
+	return Object.fromEntries(
+		USAGE_PERIODS.flatMap(({ id }) => {
+			const tokens = record[id];
+			return typeof tokens === "number" && Number.isFinite(tokens) && tokens > 0 ? [[id, tokens]] : [];
+		}),
+	) as Partial<Record<UsagePeriod, number>>;
 }
 
 function settingsPath(env: Record<string, string | undefined> = process.env): string {
-	const config = env["XDG_CONFIG_HOME"] ?? join(env["HOME"] ?? ".", ".config");
+	const config = env.XDG_CONFIG_HOME ?? join(env.HOME ?? ".", ".config");
 	return join(config, JITTOR_STATE_DIRECTORY, JITTOR_EXTENSION_SETTINGS_FILENAME);
 }
 
@@ -52,10 +54,10 @@ function loadSettings(path: string): ExtensionSettings {
 		if (typeof value !== "object" || value === null || Array.isArray(value)) return defaultSettings();
 		const record = value as Record<string, unknown>;
 		return {
-			enforcementEnabled: record["enforcementEnabled"] !== false,
-			footerEnabled: record["footerEnabled"] !== false,
-			codexRecoveryEnabled: record["codexRecoveryEnabled"] === true,
-			usageTokenBudgets: parseUsageTokenBudgets(record["usageTokenBudgets"]),
+			enforcementEnabled: record.enforcementEnabled !== false,
+			footerEnabled: record.footerEnabled !== false,
+			codexRecoveryEnabled: record.codexRecoveryEnabled === true,
+			usageTokenBudgets: parseUsageTokenBudgets(record.usageTokenBudgets),
 		};
 	} catch {
 		return defaultSettings();
@@ -93,7 +95,8 @@ export function persistentEnforcementControl(env: Record<string, string | undefi
 			return settings.usageTokenBudgets[period];
 		},
 		setUsageTokenBudget(period, tokens): void {
-			if (tokens !== undefined && (!Number.isFinite(tokens) || tokens <= 0)) throw new Error("usage token budget must be a positive finite number");
+			if (tokens !== undefined && (!Number.isFinite(tokens) || tokens <= 0))
+				throw new Error("usage token budget must be a positive finite number");
 			if (tokens === undefined) delete settings.usageTokenBudgets[period];
 			else settings.usageTokenBudgets[period] = tokens;
 			persistSettings(path, settings);

package/extension/src/tui.ts

@@ -1,5 +1,3 @@
-import type { ExtensionCommandContext } from "@earendil-works/pi-coding-agent";
-import { matchesKey, truncateToWidth } from "@earendil-works/pi-tui";
 import {
 	HUMAN_STATUS_MAX_SOURCES,
 	HUMAN_TEXT_FIELD_MAX_CHARACTERS,
@@ -9,6 +7,8 @@ import {
 	type RouterStatus,
 	type StoredMetricObservation,
 } from "@danypops/jittor";
+import type { ExtensionCommandContext } from "@earendil-works/pi-coding-agent";
+import { matchesKey, truncateToWidth } from "@earendil-works/pi-tui";
 import type { ProviderBudget } from "./footer.ts";
 import { sessionSecretField } from "./session-identity.ts";
 
@@ -18,22 +18,34 @@ export interface JittorPanelClient {
 
 export function providerBudgetMetricQuery(status: RouterStatus): MetricQuery | null {
 	switch (status.currentRoute?.provider) {
-		case "openai-codex": return { source: "codex-subscription", metric: "used-fraction", order: "desc", limit: 100 };
-		case "openrouter": return { source: "openrouter", order: "desc", limit: 20 };
-		case "anthropic": return { source: "anthropic", metric: "used-fraction", order: "desc", limit: 20 };
-		case "anthropic-vertex": return { source: "anthropic-vertex", metric: "used-fraction", order: "desc", limit: 20 };
-		default: return null;
+		case "openai-codex":
+			return { source: "codex-subscription", metric: "used-fraction", order: "desc", limit: 100 };
+		case "openrouter":
+			return { source: "openrouter", order: "desc", limit: 20 };
+		case "anthropic":
+			return { source: "anthropic", metric: "used-fraction", order: "desc", limit: 20 };
+		case "anthropic-vertex":
+			return { source: "anthropic-vertex", metric: "used-fraction", order: "desc", limit: 20 };
+		default:
+			return null;
 	}
 }
 
 type PanelAction = "pause" | "resume" | "refresh" | "override" | "clear-override" | "close";
 
-function latest(rows: StoredMetricObservation[], predicate: (row: StoredMetricObservation) => boolean): StoredMetricObservation | undefined {
+function latest(
+	rows: StoredMetricObservation[],
+	predicate: (row: StoredMetricObservation) => boolean,
+): StoredMetricObservation | undefined {
 	return rows.filter(predicate).sort((left, right) => right.observedAt - left.observedAt || right.id - left.id)[0];
 }
 
 function sanitizedText(value: string): string {
-	return value.replace(/[\r\n\t]/g, " ").replace(/ +/g, " ").trim().slice(0, HUMAN_TEXT_FIELD_MAX_CHARACTERS);
+	return value
+		.replace(/[\r\n\t]/g, " ")
+		.replace(/ +/g, " ")
+		.trim()
+		.slice(0, HUMAN_TEXT_FIELD_MAX_CHARACTERS);
 }
 
 function routeText(route: Route): string {
@@ -45,26 +57,31 @@ function normalizedIdentity(value: unknown): string {
 }
 
 function longestWindow(rows: StoredMetricObservation[]): StoredMetricObservation | undefined {
-	return [...rows].sort((left, right) =>
-		Number(right.attributes["windowSeconds"] ?? 0) - Number(left.attributes["windowSeconds"] ?? 0)
-		|| right.observedAt - left.observedAt
-		|| right.id - left.id,
+	return [...rows].sort(
+		(left, right) =>
+			Number(right.attributes.windowSeconds ?? 0) - Number(left.attributes.windowSeconds ?? 0) ||
+			right.observedAt - left.observedAt ||
+			right.id - left.id,
 	)[0];
 }
 
 function codexWindowForModel(rows: StoredMetricObservation[], model: string): StoredMetricObservation | undefined {
-	const codexRows = rows.filter((row) => row.source === "codex-subscription" && row.metric === "used-fraction" && typeof row.value === "number");
+	const codexRows = rows.filter(
+		(row) => row.source === "codex-subscription" && row.metric === "used-fraction" && typeof row.value === "number",
+	);
 	const modelIdentity = normalizedIdentity(model);
 	const matchingAdditional = codexRows.filter((row) => {
-		const limitId = normalizedIdentity(row.attributes["limitId"]);
-		const limitName = normalizedIdentity(row.attributes["limitName"]);
+		const limitId = normalizedIdentity(row.attributes.limitId);
+		const limitName = normalizedIdentity(row.attributes.limitName);
 		return limitId !== "codex" && limitName.length > 0 && limitName === modelIdentity;
 	});
 	if (matchingAdditional.length > 0) return longestWindow(matchingAdditional);
-	return longestWindow(codexRows.filter((row) => {
-		const limitId = normalizedIdentity(row.attributes["limitId"]);
-		return limitId === "codex" || (limitId.length === 0 && row.scope.startsWith("codex:"));
-	}));
+	return longestWindow(
+		codexRows.filter((row) => {
+			const limitId = normalizedIdentity(row.attributes.limitId);
+			return limitId === "codex" || (limitId.length === 0 && row.scope.startsWith("codex:"));
+		}),
+	);
 }
 
 function compactWindowName(seconds: number): string {
@@ -92,20 +109,27 @@ export function buildFooterBudget(status: RouterStatus, metrics: StoredMetricObs
 	if (status.currentRoute.provider === "openai-codex") {
 		const codex = codexWindowForModel(metrics, status.currentRoute.model);
 		if (!codex || typeof codex.value !== "number") return null;
-		const resetsAtSeconds = Number(codex.attributes["resetsAt"]);
+		const resetsAtSeconds = Number(codex.attributes.resetsAt);
 		return {
 			kind: "bounded",
-			label: compactWindowName(Number(codex.attributes["windowSeconds"] ?? 0)),
+			label: compactWindowName(Number(codex.attributes.windowSeconds ?? 0)),
 			remainingFraction: 1 - codex.value,
 			observedAt: codex.observedAt,
 			...(Number.isFinite(resetsAtSeconds) && resetsAtSeconds > 0 ? { resetsAt: resetsAtSeconds * 1_000 } : {}),
 		};
 	}
 	if (status.currentRoute.provider === "anthropic") {
-		const anthropic = latest(metrics, (row) => row.source === "anthropic" && row.metric === "used-fraction" && row.scope === "tokens" && typeof row.value === "number")
-			?? latest(metrics, (row) => row.source === "anthropic" && row.metric === "used-fraction" && row.scope === "requests" && typeof row.value === "number");
+		const anthropic =
+			latest(
+				metrics,
+				(row) => row.source === "anthropic" && row.metric === "used-fraction" && row.scope === "tokens" && typeof row.value === "number",
+			) ??
+			latest(
+				metrics,
+				(row) => row.source === "anthropic" && row.metric === "used-fraction" && row.scope === "requests" && typeof row.value === "number",
+			);
 		if (!anthropic || typeof anthropic.value !== "number") return null;
-		const resetsAt = Number(anthropic.attributes["resetsAt"]);
+		const resetsAt = Number(anthropic.attributes.resetsAt);
 		return {
 			kind: "bounded",
 			label: anthropic.scope === "tokens" ? "tok" : "req",
@@ -121,10 +145,19 @@ export function buildFooterBudget(status: RouterStatus, metrics: StoredMetricObs
 		// pool even if the header shape is identical. If nothing was ever observed, this stays null
 		// (may still resolve later), not undefined (never possible) -- unlike google-vertex, this
 		// provider's transport has not been shown to structurally lack the signal.
-		const anthropicVertex = latest(metrics, (row) => row.source === "anthropic-vertex" && row.metric === "used-fraction" && row.scope === "tokens" && typeof row.value === "number")
-			?? latest(metrics, (row) => row.source === "anthropic-vertex" && row.metric === "used-fraction" && row.scope === "requests" && typeof row.value === "number");
+		const anthropicVertex =
+			latest(
+				metrics,
+				(row) =>
+					row.source === "anthropic-vertex" && row.metric === "used-fraction" && row.scope === "tokens" && typeof row.value === "number",
+			) ??
+			latest(
+				metrics,
+				(row) =>
+					row.source === "anthropic-vertex" && row.metric === "used-fraction" && row.scope === "requests" && typeof row.value === "number",
+			);
 		if (!anthropicVertex || typeof anthropicVertex.value !== "number") return null;
-		const resetsAt = Number(anthropicVertex.attributes["resetsAt"]);
+		const resetsAt = Number(anthropicVertex.attributes.resetsAt);
 		return {
 			kind: "bounded",
 			label: anthropicVertex.scope === "tokens" ? "vtok" : "vreq",
@@ -135,9 +168,12 @@ export function buildFooterBudget(status: RouterStatus, metrics: StoredMetricObs
 	}
 	if (status.currentRoute.provider === "openrouter") {
 		const openRouter = latest(metrics, (row) => row.source === "openrouter" && row.metric === "usage" && typeof row.value === "number");
-		const remaining = latest(metrics, (row) => row.source === "openrouter" && row.metric === "remaining-fraction" && typeof row.value === "number");
+		const remaining = latest(
+			metrics,
+			(row) => row.source === "openrouter" && row.metric === "remaining-fraction" && typeof row.value === "number",
+		);
 		if (remaining && typeof remaining.value === "number" && (!openRouter || remaining.observedAt >= openRouter.observedAt)) {
-			const reset = typeof remaining.attributes["reset"] === "string" ? sanitizedText(remaining.attributes["reset"]) : undefined;
+			const reset = typeof remaining.attributes.reset === "string" ? sanitizedText(remaining.attributes.reset) : undefined;
 			return {
 				kind: "bounded",
 				label: "OR",
@@ -160,27 +196,42 @@ export function formatFooterStatus(status: RouterStatus, metrics: StoredMetricOb
 
 function nextAction(action: PolicyAction | undefined): string {
 	switch (action) {
-		case "continue": return "throttle";
-		case "throttle": return "lower thinking";
-		case "lower-thinking": return "switch model";
-		case "switch-model": return "switch provider";
-		case "switch-provider": return "halt";
-		case "halt": return "halted";
-		default: return "waiting for decision";
+		case "continue":
+			return "throttle";
+		case "throttle":
+			return "lower thinking";
+		case "lower-thinking":
+			return "switch model";
+		case "switch-model":
+			return "switch provider";
+		case "switch-provider":
+			return "halt";
+		case "halt":
+			return "halted";
+		default:
+			return "waiting for decision";
 	}
 }
 
 function burnLine(rows: StoredMetricObservation[], current: StoredMetricObservation, now: number): string {
 	const previous = rows
-		.filter((row) => row.source === current.source && row.scope === current.scope && row.metric === current.metric && row.id !== current.id && row.observedAt < current.observedAt)
+		.filter(
+			(row) =>
+				row.source === current.source &&
+				row.scope === current.scope &&
+				row.metric === current.metric &&
+				row.id !== current.id &&
+				row.observedAt < current.observedAt,
+		)
 		.sort((left, right) => right.observedAt - left.observedAt)[0];
-	const resetsAt = Number(current.attributes["resetsAt"] ?? 0) * 1_000;
+	const resetsAt = Number(current.attributes.resetsAt ?? 0) * 1_000;
 	const remainingSeconds = (resetsAt - now) / 1_000;
 	const sustainable = typeof current.value === "number" && remainingSeconds > 0 ? (1 - current.value) / remainingSeconds : null;
-	const observed = previous && typeof previous.value === "number" && typeof current.value === "number" && current.observedAt > previous.observedAt
-		? (current.value - previous.value) / ((current.observedAt - previous.observedAt) / 1_000)
-		: null;
-	const perHour = (rate: number | null) => rate === null ? "n/a" : `${(rate * 3_600 * 100).toFixed(2)}%/h`;
+	const observed =
+		previous && typeof previous.value === "number" && typeof current.value === "number" && current.observedAt > previous.observedAt
+			? (current.value - previous.value) / ((current.observedAt - previous.observedAt) / 1_000)
+			: null;
+	const perHour = (rate: number | null) => (rate === null ? "n/a" : `${(rate * 3_600 * 100).toFixed(2)}%/h`);
 	return `Burn: observed ${perHour(observed)} · sustainable ${perHour(sustainable)}`;
 }
 
@@ -188,21 +239,34 @@ export function buildStatusView(status: RouterStatus, metrics: StoredMetricObser
 	const lines = [status.ready ? "Ready" : "Not ready"];
 	const codex = status.currentRoute?.provider === "openai-codex" ? codexWindowForModel(metrics, status.currentRoute.model) : undefined;
 	if (codex && typeof codex.value === "number") {
-		const seconds = Number(codex.attributes["windowSeconds"] ?? 0);
+		const seconds = Number(codex.attributes.windowSeconds ?? 0);
 		lines.push(`Codex ${windowName(seconds)}: ${((1 - codex.value) * 100).toFixed(1)}% left`);
 		lines.push(burnLine(metrics, codex, now));
 	}
-	const openRouter = status.currentRoute?.provider === "openrouter"
-		? latest(metrics, (row) => row.source === "openrouter" && row.metric === "usage" && typeof row.value === "number")
-		: undefined;
+	const openRouter =
+		status.currentRoute?.provider === "openrouter"
+			? latest(metrics, (row) => row.source === "openrouter" && row.metric === "usage" && typeof row.value === "number")
+			: undefined;
 	if (openRouter && typeof openRouter.value === "number") lines.push(`OpenRouter spend: $${openRouter.value.toFixed(3)}`);
-	const anthropic = status.currentRoute?.provider === "anthropic"
-		? latest(metrics, (row) => row.source === "anthropic" && row.metric === "used-fraction" && row.scope === "tokens" && typeof row.value === "number")
-			?? latest(metrics, (row) => row.source === "anthropic" && row.metric === "used-fraction" && row.scope === "requests" && typeof row.value === "number")
-		: undefined;
-	if (anthropic && typeof anthropic.value === "number") lines.push(`Anthropic ${anthropic.scope}: ${((1 - anthropic.value) * 100).toFixed(1)}% left`);
+	const anthropic =
+		status.currentRoute?.provider === "anthropic"
+			? (latest(
+					metrics,
+					(row) => row.source === "anthropic" && row.metric === "used-fraction" && row.scope === "tokens" && typeof row.value === "number",
+				) ??
+				latest(
+					metrics,
+					(row) =>
+						row.source === "anthropic" && row.metric === "used-fraction" && row.scope === "requests" && typeof row.value === "number",
+				))
+			: undefined;
+	if (anthropic && typeof anthropic.value === "number")
+		lines.push(`Anthropic ${anthropic.scope}: ${((1 - anthropic.value) * 100).toFixed(1)}% left`);
 	if (status.currentRoute) lines.push(`Route: ${routeText(status.currentRoute)}`);
-	if (status.lastDecision) lines.push(`Pressure: ${Number.isFinite(status.lastDecision.pressure) ? status.lastDecision.pressure.toFixed(3) : "∞"} · ${status.lastDecision.action}`);
+	if (status.lastDecision)
+		lines.push(
+			`Pressure: ${Number.isFinite(status.lastDecision.pressure) ? status.lastDecision.pressure.toFixed(3) : "∞"} · ${status.lastDecision.action}`,
+		);
 	lines.push(`Next: ${nextAction(status.lastDecision?.action)}`);
 	lines.push("Telemetry:");
 	const providerSources = status.sources.filter((source) => source.provider === status.currentRoute?.provider);
@@ -210,21 +274,28 @@ export function buildStatusView(status: RouterStatus, metrics: StoredMetricObser
 		const freshness = !source.ok ? "failed" : source.observedAt !== undefined && now - source.observedAt > 120_000 ? "stale" : "fresh";
 		lines.push(`  ${sanitizedText(source.id)}: ${freshness} · ${source.metrics} metrics`);
 	}
-	if (providerSources.length > HUMAN_STATUS_MAX_SOURCES) lines.push(`  … ${providerSources.length - HUMAN_STATUS_MAX_SOURCES} more telemetry sources omitted`);
+	if (providerSources.length > HUMAN_STATUS_MAX_SOURCES)
+		lines.push(`  … ${providerSources.length - HUMAN_STATUS_MAX_SOURCES} more telemetry sources omitted`);
 	if (status.override) lines.push(`Override: ${routeText(status.override.route)}`);
 	if (status.paused) lines.push("Emergency halt is active");
 	return lines;
 }
 
-async function snapshot(client: JittorPanelClient, sessionId: string): Promise<{ status: RouterStatus; metrics: StoredMetricObservation[] }> {
-	const status = await client.call("router.status", { session_id: sessionId }) as RouterStatus;
+async function snapshot(
+	client: JittorPanelClient,
+	sessionId: string,
+): Promise<{ status: RouterStatus; metrics: StoredMetricObservation[] }> {
+	const status = (await client.call("router.status", { session_id: sessionId })) as RouterStatus;
 	const query = providerBudgetMetricQuery(status);
-	const metrics = query ? await client.call("metrics.query", query) as StoredMetricObservation[] : [];
+	const metrics = query ? ((await client.call("metrics.query", query)) as StoredMetricObservation[]) : [];
 	return { status, metrics };
 }
 
 async function chooseOverride(ctx: ExtensionCommandContext, routes: Route[]): Promise<Route | undefined> {
-	if (routes.length === 0) { ctx.ui.notify("Pi reports no authenticated routes for the current provider.", "warning"); return undefined; }
+	if (routes.length === 0) {
+		ctx.ui.notify("Pi reports no authenticated routes for the current provider.", "warning");
+		return undefined;
+	}
 	const labels = routes.map(routeText);
 	const selected = await ctx.ui.select("Override route", labels);
 	const index = selected ? labels.indexOf(selected) : -1;
@@ -265,20 +336,34 @@ export async function showJittorPanel(ctx: ExtensionCommandContext, client: Jitt
 			},
 		}));
 		if (!action || action === "close") return;
-		if (action === "refresh") { await client.call("telemetry.poll", {}); continue; }
+		if (action === "refresh") {
+			await client.call("telemetry.poll", {});
+			continue;
+		}
 		if (action === "pause" || action === "resume") {
-			if (await ctx.ui.confirm(action === "pause" ? "Emergency-halt provider requests?" : "Release emergency halt?", "This changes provider-request enforcement. Use /jittor off to disable blocking entirely.")) {
+			if (
+				await ctx.ui.confirm(
+					action === "pause" ? "Emergency-halt provider requests?" : "Release emergency halt?",
+					"This changes provider-request enforcement. Use /jittor off to disable blocking entirely.",
+				)
+			) {
 				await client.call(action === "pause" ? "router.pause" : "router.resume", { session_id, ...sessionSecretField(session_id) });
 			}
 			continue;
 		}
 		if (action === "clear-override") {
-			if (await ctx.ui.confirm("Clear route override?", "Policy-controlled routing will resume.")) await client.call("router.clear_override", { session_id, ...sessionSecretField(session_id) });
+			if (await ctx.ui.confirm("Clear route override?", "Policy-controlled routing will resume."))
+				await client.call("router.clear_override", { session_id, ...sessionSecretField(session_id) });
 			continue;
 		}
 		const route = await chooseOverride(ctx, current.status.availableRoutes);
-		if (route && await ctx.ui.confirm("Apply route override?", `${routeText(route)} for one hour`)) {
-			await client.call("router.override", { route, expiresAt: Date.now() + 60 * 60 * 1_000, session_id, ...sessionSecretField(session_id) });
+		if (route && (await ctx.ui.confirm("Apply route override?", `${routeText(route)} for one hour`))) {
+			await client.call("router.override", {
+				route,
+				expiresAt: Date.now() + 60 * 60 * 1_000,
+				session_id,
+				...sessionSecretField(session_id),
+			});
 		}
 	}
 }