@narumitw/pi-sync 0.50.3 → 0.51.1

package/src/ui/sync-attention.ts

@@ -3,209 +3,193 @@ import { truncateToWidth } from "@earendil-works/pi-tui";
 import { syncCheckConfigFingerprint, syncConfigReviewFingerprint } from "../settings/config.js";
 import type { AnySyncConfig } from "../settings/settings-types.js";
 import type { StartupObservation } from "../sync/sync-inspection.js";
-import {
-	compareSyncInclude,
-	type RemoteSelectionDecision,
-	sameSyncInclude,
-} from "../sync/sync-policy.js";
+import { compareSyncInclude, type RemoteSelectionDecision, sameSyncInclude } from "../sync/sync-policy.js";
+import { setSyncStatus } from "./sync-status.js";
 import { safeTerminalText } from "./terminal-text.js";
 
-const STATUS_KEY = "sync";
 const WIDGET_KEY = "sync:attention";
 
 export type SyncAttentionOrigin = "sync" | "pull" | "push";
 
 export interface SyncAttentionState {
-	decision: RemoteSelectionDecision;
-	origin: SyncAttentionOrigin;
-	offered: boolean;
+  decision: RemoteSelectionDecision;
+  origin: SyncAttentionOrigin;
+  offered: boolean;
 }
 
 export function syncAttentionMatchesConfig(attention: SyncAttentionState, config: AnySyncConfig) {
-	return (
-		attention.decision.setupName === config.setupName &&
-		attention.decision.configIdentity === syncConfigReviewFingerprint(config) &&
-		sameSyncInclude(attention.decision.localInclude, config.include)
-	);
+  return (
+    attention.decision.setupName === config.setupName &&
+    attention.decision.configIdentity === syncConfigReviewFingerprint(config) &&
+    sameSyncInclude(attention.decision.localInclude, config.include)
+  );
 }
 
 export interface SyncAttentionController {
-	observe(observation: StartupObservation): void;
-	observation(): StartupObservation | undefined;
-	clearObservation(): void;
-	notifyObservation(ctx: ExtensionContext): void;
-	set(decision: RemoteSelectionDecision, origin: SyncAttentionOrigin): void;
-	current(): SyncAttentionState | undefined;
-	markOffered(): boolean;
-	clear(ctx: ExtensionContext): void;
-	reset(ctx: ExtensionContext): void;
-	publish(ctx: ExtensionContext, signal?: AbortSignal): Promise<void>;
+  observe(observation: StartupObservation): void;
+  observation(): StartupObservation | undefined;
+  clearObservation(): void;
+  notifyObservation(ctx: ExtensionContext): void;
+  set(decision: RemoteSelectionDecision, origin: SyncAttentionOrigin): void;
+  current(): SyncAttentionState | undefined;
+  markOffered(): boolean;
+  clear(ctx: ExtensionContext): void;
+  reset(ctx: ExtensionContext): void;
+  publish(ctx: ExtensionContext, signal?: AbortSignal): Promise<void>;
 }
 
 export function createSyncAttentionController(): SyncAttentionController {
-	let state: SyncAttentionState | undefined;
-	let observation: StartupObservation | undefined;
-	let generation = 0;
+  let state: SyncAttentionState | undefined;
+  let observation: StartupObservation | undefined;
+  let generation = 0;
 
-	return {
-		observe(value) {
-			generation++;
-			observation = value;
-		},
-		observation() {
-			return observation;
-		},
-		clearObservation() {
-			generation++;
-			observation = undefined;
-		},
-		notifyObservation(ctx) {
-			if (ctx.hasUI && observation && observationNeedsAttention(observation)) {
-				ctx.ui.notify(observationLines(observation).join("\n"), "warning");
-			}
-		},
-		set(decision, origin) {
-			generation++;
-			state = { decision, origin, offered: false };
-		},
-		current() {
-			return state;
-		},
-		markOffered() {
-			if (!state || state.offered) return false;
-			state = { ...state, offered: true };
-			return true;
-		},
-		clear(ctx) {
-			generation++;
-			state = undefined;
-			clearAttentionPresentation(ctx);
-		},
-		reset(ctx) {
-			generation++;
-			state = undefined;
-			observation = undefined;
-			clearAttentionPresentation(ctx);
-		},
-		async publish(ctx, signal) {
-			const currentGeneration = ++generation;
-			if (signal?.aborted || !ctx.hasUI) return;
-			const classification = observation ? classifyObservation(observation) : "none";
-			if (!state && (classification === "none" || classification === "guidance")) {
-				clearAttentionPresentation(ctx);
-				return;
-			}
-			if (!state && classification === "status") {
-				ctx.ui.setWidget(WIDGET_KEY, undefined);
-				ctx.ui.setStatus(
-					STATUS_KEY,
-					observation?.inspection.remoteChanged
-						? "remote changes pending"
-						: "local changes pending",
-				);
-				return;
-			}
-			const presentation = state
-				? attentionPresentation(state.decision)
-				: {
-						status: "changes to review",
-						lines: observationLines(observation as StartupObservation),
-					};
-			if (ctx.mode !== "tui") {
-				ctx.ui.setWidget(WIDGET_KEY, undefined);
-				ctx.ui.setStatus(STATUS_KEY, presentation.status);
-				return;
-			}
-			// Keep Kit outside the eager startup graph; module loading owns no cancellable resources.
-			const { EditorStatusWidget } = await import("./attention-widget.js").catch((error) => {
-				if (generation === currentGeneration && !signal?.aborted) clearAttentionPresentation(ctx);
-				throw error;
-			});
-			if (generation !== currentGeneration || signal?.aborted) return;
-			ctx.ui.setStatus(STATUS_KEY, presentation.status);
-			ctx.ui.setWidget(
-				WIDGET_KEY,
-				(_tui, theme) =>
-					new EditorStatusWidget({
-						theme,
-						renderBody: (width) =>
-							presentation.lines.map((line, index) =>
-								width === 0
-									? ""
-									: truncateToWidth(theme.fg(index === 0 ? "warning" : "muted", line), width, "…"),
-							),
-					}),
-			);
-		},
-	};
+  return {
+    observe(value) {
+      generation++;
+      observation = value;
+    },
+    observation() {
+      return observation;
+    },
+    clearObservation() {
+      generation++;
+      observation = undefined;
+    },
+    notifyObservation(ctx) {
+      if (ctx.hasUI && observation && observationNeedsAttention(observation)) {
+        ctx.ui.notify(observationLines(observation).join("\n"), "warning");
+      }
+    },
+    set(decision, origin) {
+      generation++;
+      state = { decision, origin, offered: false };
+    },
+    current() {
+      return state;
+    },
+    markOffered() {
+      if (!state || state.offered) return false;
+      state = { ...state, offered: true };
+      return true;
+    },
+    clear(ctx) {
+      generation++;
+      state = undefined;
+      clearAttentionPresentation(ctx);
+    },
+    reset(ctx) {
+      generation++;
+      state = undefined;
+      observation = undefined;
+      clearAttentionPresentation(ctx);
+    },
+    async publish(ctx, signal) {
+      const currentGeneration = ++generation;
+      if (signal?.aborted || !ctx.hasUI) return;
+      const classification = observation ? classifyObservation(observation) : "none";
+      if (!state && (classification === "none" || classification === "guidance")) {
+        clearAttentionPresentation(ctx);
+        return;
+      }
+      if (!state && classification === "status") {
+        ctx.ui.setWidget(WIDGET_KEY, undefined);
+        setSyncStatus(ctx, observation?.inspection.remoteChanged ? "sync ⇣" : "sync ⇡");
+        return;
+      }
+      const presentation = state
+        ? attentionPresentation(state.decision)
+        : {
+            status: "sync ⇕",
+            lines: observationLines(observation as StartupObservation),
+          };
+      if (ctx.mode !== "tui") {
+        ctx.ui.setWidget(WIDGET_KEY, undefined);
+        setSyncStatus(ctx, presentation.status);
+        return;
+      }
+      // Keep Kit outside the eager startup graph; module loading owns no cancellable resources.
+      const { EditorStatusWidget } = await import("./attention-widget.js").catch((error) => {
+        if (generation === currentGeneration && !signal?.aborted) clearAttentionPresentation(ctx);
+        throw error;
+      });
+      if (generation !== currentGeneration || signal?.aborted) return;
+      setSyncStatus(ctx, presentation.status);
+      ctx.ui.setWidget(
+        WIDGET_KEY,
+        (_tui, theme) =>
+          new EditorStatusWidget({
+            theme,
+            renderBody: (width) =>
+              presentation.lines.map((line, index) =>
+                width === 0 ? "" : truncateToWidth(theme.fg(index === 0 ? "warning" : "muted", line), width, "…"),
+              ),
+          }),
+      );
+    },
+  };
 }
 
 function attentionPresentation(decision: RemoteSelectionDecision) {
-	const setupName = safeTerminalText(decision.setupName);
-	const comparison = compareSyncInclude(decision.localInclude, decision.remoteInclude);
-	const difference =
-		comparison.remoteOnly.length === 0 && comparison.localOnly.length === 0
-			? "Only list order differs"
-			: `Remote ${comparison.remoteOnly.length} · Device ${comparison.localOnly.length}`;
-	return {
-		status: "review needed",
-		lines: [`Pi Sync needs review · ${setupName}`, difference, "No changes · Run /sync to review"],
-	};
+  const setupName = safeTerminalText(decision.setupName);
+  const comparison = compareSyncInclude(decision.localInclude, decision.remoteInclude);
+  const difference =
+    comparison.remoteOnly.length === 0 && comparison.localOnly.length === 0
+      ? "Only list order differs"
+      : `Remote ${comparison.remoteOnly.length} · Device ${comparison.localOnly.length}`;
+  return {
+    status: "sync ⇕",
+    lines: [`Pi Sync needs review · ${setupName}`, difference, "No changes · Run /sync to review"],
+  };
 }
 
 export function observationMatchesConfig(observation: StartupObservation, config: AnySyncConfig) {
-	return observation.configIdentity === syncCheckConfigFingerprint(config);
+  return observation.configIdentity === syncCheckConfigFingerprint(config);
 }
 
 export function observationSummary(observation: StartupObservation) {
-	const result = observation.inspection;
-	if (result.emptyInclude) return "No included content selected";
-	if (result.selectionState?.kind === "different")
-		return "Synced-content list differs; review needed";
-	if (result.firstSync)
-		return result.head
-			? "No sync baseline; review remote and local content"
-			: "Remote empty; no sync baseline";
-	if (!result.head) return "Remote snapshot missing; review needed";
-	if (result.localChanged && result.remoteChanged)
-		return "Local and remote changed since last sync; review needed";
-	if (result.remoteChanged) return "Remote changed since last sync";
-	if (result.localChanged) return "Local content changed since last sync";
-	if (result.selectionState?.kind === "legacy")
-		return "Legacy remote has no authoritative content list";
-	return "No changes detected since last sync";
+  const result = observation.inspection;
+  if (result.emptyInclude) return "No included content selected";
+  if (result.selectionState?.kind === "different") return "Synced-content list differs; review needed";
+  if (result.firstSync)
+    return result.head ? "No sync baseline; review remote and local content" : "Remote empty; no sync baseline";
+  if (!result.head) return "Remote snapshot missing; review needed";
+  if (result.localChanged && result.remoteChanged) return "Local and remote changed since last sync; review needed";
+  if (result.remoteChanged) return "Remote changed since last sync";
+  if (result.localChanged) return "Local content changed since last sync";
+  if (result.selectionState?.kind === "legacy") return "Legacy remote has no authoritative content list";
+  return "No changes detected since last sync";
 }
 
 export type ObservationClassification = "none" | "guidance" | "status" | "review";
 
 /** Presentation only: never discard an observation or authorize a transfer here. */
 export function classifyObservation(observation: StartupObservation): ObservationClassification {
-	const result = observation.inspection;
-	// Sync now exits before reading remote content when nothing is selected.
-	if (result.emptyInclude) return "guidance";
-	// Ordering is part of the existing transfer policy, not merely display order.
-	if (result.selectionState?.kind === "different") return "review";
-	if (result.firstSync) return result.head ? "review" : "guidance";
-	if (!result.head || (result.localChanged && result.remoteChanged)) return "review";
-	if (result.localChanged || result.remoteChanged) return "status";
-	// Legacy metadata alone requires no scope confirmation in transfer operations.
-	return "none";
+  const result = observation.inspection;
+  // Sync now exits before reading remote content when nothing is selected.
+  if (result.emptyInclude) return "guidance";
+  // Ordering is part of the existing transfer policy, not merely display order.
+  if (result.selectionState?.kind === "different") return "review";
+  if (result.firstSync) return result.head ? "review" : "guidance";
+  if (!result.head || (result.localChanged && result.remoteChanged)) return "review";
+  if (result.localChanged || result.remoteChanged) return "status";
+  // Legacy metadata alone requires no scope confirmation in transfer operations.
+  return "none";
 }
 
 export function observationNeedsAttention(observation: StartupObservation) {
-	return classifyObservation(observation) === "review";
+  return classifyObservation(observation) === "review";
 }
 
 function observationLines(observation: StartupObservation) {
-	return [
-		`Pi Sync check · ${safeTerminalText(observation.setupName)}`,
-		observationSummary(observation),
-		"No startup transfer · Run /sync to review",
-	];
+  return [
+    `Pi Sync check · ${safeTerminalText(observation.setupName)}`,
+    observationSummary(observation),
+    "No startup transfer · Run /sync to review",
+  ];
 }
 
 function clearAttentionPresentation(ctx: ExtensionContext) {
-	if (!ctx.hasUI) return;
-	ctx.ui.setStatus(STATUS_KEY, undefined);
-	ctx.ui.setWidget(WIDGET_KEY, undefined);
+  if (!ctx.hasUI) return;
+  setSyncStatus(ctx, undefined);
+  ctx.ui.setWidget(WIDGET_KEY, undefined);
 }

package/src/ui/sync-format.ts

@@ -7,159 +7,148 @@ import { fileHashMap } from "../sync/sync-state.js";
 import { safeTerminalText } from "./terminal-text.js";
 
 export function formatDiff(local: Snapshot, remote: Snapshot) {
-	const localMap = fileHashMap(local);
-	const remoteMap = fileHashMap(remote);
-	const allPaths = [...new Set([...Object.keys(localMap), ...Object.keys(remoteMap)])].sort();
-	const lines = [
-		`local: ${local.files.length} files`,
-		`remote: ${remote.id} (${remote.files.length} files)`,
-		"",
-	];
-	let changed = 0;
-	for (const filePath of allPaths) {
-		if (!localMap[filePath]) {
-			lines.push(`Remote only: ${filePath}`);
-			changed += 1;
-		} else if (!remoteMap[filePath]) {
-			lines.push(`Local only: ${filePath}`);
-			changed += 1;
-		} else if (localMap[filePath] !== remoteMap[filePath]) {
-			lines.push(`Different: ${filePath}`);
-			changed += 1;
-		}
-	}
-	if (changed === 0) lines.push("No file differences.");
-	return lines.join("\n");
+  const localMap = fileHashMap(local);
+  const remoteMap = fileHashMap(remote);
+  const allPaths = [...new Set([...Object.keys(localMap), ...Object.keys(remoteMap)])].sort();
+  const lines = [`local: ${local.files.length} files`, `remote: ${remote.id} (${remote.files.length} files)`, ""];
+  let changed = 0;
+  for (const filePath of allPaths) {
+    if (!localMap[filePath]) {
+      lines.push(`Remote only: ${filePath}`);
+      changed += 1;
+    } else if (!remoteMap[filePath]) {
+      lines.push(`Local only: ${filePath}`);
+      changed += 1;
+    } else if (localMap[filePath] !== remoteMap[filePath]) {
+      lines.push(`Different: ${filePath}`);
+      changed += 1;
+    }
+  }
+  if (changed === 0) lines.push("No file differences.");
+  return lines.join("\n");
 }
 
 export function formatSnapshotOnlyDiff(title: string, snapshot: Snapshot) {
-	return [`${title}: ${snapshot.id}`, ...snapshot.files.map((file) => `Add: ${file.path}`)].join(
-		"\n",
-	);
+  return [`${title}: ${snapshot.id}`, ...snapshot.files.map((file) => `Add: ${file.path}`)].join("\n");
 }
 
 export function formatPushSummary(
-	config: CommonSyncConfig,
-	destination: string,
-	upload: Snapshot,
-	head: RemoteHead | undefined,
-	preservedRemoteFileCount = 0,
-	remote?: Snapshot,
+  config: CommonSyncConfig,
+  destination: string,
+  upload: Snapshot,
+  head: RemoteHead | undefined,
+  preservedRemoteFileCount = 0,
+  remote?: Snapshot,
 ) {
-	return [
-		`Sync setup: ${safeTerminalText(config.setupName)}`,
-		`Storage location: ${safeTerminalText(destination)}`,
-		`Upload ${upload.files.length} files from ${safeTerminalText(agentDir())}.`,
-		`Sessions: ${upload.syncSessions ? "included — may contain private conversations" : "not included"}`,
-		head ? `Remote latest: ${head.snapshotId}` : "Remote latest: empty",
-		"Publication effect: the backend's active head will reference the new immutable snapshot.",
-		...(remote && inspectRemoteSelection(config.include, remote).kind === "different"
-			? [
-					"Included-content policy effect: replace the differing remote selection with this setup's local selection.",
-				]
-			: []),
-		formatPublicationPreview(remote, upload),
-		preservedRemoteFileCount > 0
-			? `Possible secrets in locally managed files were scanned before this prompt; ${preservedRemoteFileCount} preserved remote file(s) were not rescanned.`
-			: "Possible secrets were scanned before this prompt.",
-	].join("\n");
+  return [
+    `Sync setup: ${safeTerminalText(config.setupName)}`,
+    `Storage location: ${safeTerminalText(destination)}`,
+    `Upload ${upload.files.length} files from ${safeTerminalText(agentDir())}.`,
+    `Sessions: ${upload.syncSessions ? "included — may contain private conversations" : "not included"}`,
+    head ? `Remote latest: ${head.snapshotId}` : "Remote latest: empty",
+    "Publication effect: the backend's active head will reference the new immutable snapshot.",
+    ...(remote && inspectRemoteSelection(config.include, remote).kind === "different"
+      ? ["Included-content policy effect: replace the differing remote selection with this setup's local selection."]
+      : []),
+    formatPublicationPreview(remote, upload),
+    preservedRemoteFileCount > 0
+      ? `Possible secrets in locally managed files were scanned before this prompt; ${preservedRemoteFileCount} preserved remote file(s) were not rescanned.`
+      : "Possible secrets were scanned before this prompt.",
+  ].join("\n");
 }
 
 export function formatApplyPreview(local: Snapshot, remote: Snapshot) {
-	return formatDirectionalChanges(local, remote, {
-		add: "Add locally",
-		update: "Update locally",
-		remove: "Remove locally",
-	});
+  return formatDirectionalChanges(local, remote, {
+    add: "Add locally",
+    update: "Update locally",
+    remove: "Remove locally",
+  });
 }
 
 export function formatPullSummary(
-	config: CommonSyncConfig,
-	destination: string,
-	local: Snapshot,
-	remote: Snapshot,
-	protectedSessionCount: number,
+  config: CommonSyncConfig,
+  destination: string,
+  local: Snapshot,
+  remote: Snapshot,
+  protectedSessionCount: number,
 ) {
-	return [
-		`Sync setup: ${safeTerminalText(config.setupName)}`,
-		`Storage location: ${safeTerminalText(destination)}`,
-		`Snapshot: ${safeTerminalText(remote.id)}`,
-		`Sessions: ${remote.syncSessions ? "included — may contain private conversations" : "not included"}`,
-		`Protected live sessions: ${protectedSessionCount || "none"}`,
-		formatApplyPreview(local, remote),
-		"A local backup is created before these writes/deletes. The remote active snapshot is unchanged.",
-	].join("\n");
+  return [
+    `Sync setup: ${safeTerminalText(config.setupName)}`,
+    `Storage location: ${safeTerminalText(destination)}`,
+    `Snapshot: ${safeTerminalText(remote.id)}`,
+    `Sessions: ${remote.syncSessions ? "included — may contain private conversations" : "not included"}`,
+    `Protected live sessions: ${protectedSessionCount || "none"}`,
+    formatApplyPreview(local, remote),
+    "A local backup is created before these writes/deletes. The remote active snapshot is unchanged.",
+  ].join("\n");
 }
 
 export function formatRollbackSummary(
-	config: CommonSyncConfig,
-	destination: string,
-	local: Snapshot,
-	remote: Snapshot,
-	requestedSnapshot: string,
-	protectedSessionCount: number,
+  config: CommonSyncConfig,
+  destination: string,
+  local: Snapshot,
+  remote: Snapshot,
+  requestedSnapshot: string,
+  protectedSessionCount: number,
 ) {
-	return [
-		`Sync setup: ${safeTerminalText(config.setupName)}`,
-		`Storage location: ${safeTerminalText(destination)}`,
-		`Snapshot: ${safeTerminalText(requestedSnapshot)}`,
-		`Sessions: ${remote.syncSessions ? "included — may contain private conversations" : "not included"}`,
-		`Protected live sessions: ${protectedSessionCount || "none"}`,
-		formatApplyPreview(local, remote),
-		"A local backup is created before applying; the backend's active head will change.",
-	].join("\n");
+  return [
+    `Sync setup: ${safeTerminalText(config.setupName)}`,
+    `Storage location: ${safeTerminalText(destination)}`,
+    `Snapshot: ${safeTerminalText(requestedSnapshot)}`,
+    `Sessions: ${remote.syncSessions ? "included — may contain private conversations" : "not included"}`,
+    `Protected live sessions: ${protectedSessionCount || "none"}`,
+    formatApplyPreview(local, remote),
+    "A local backup is created before applying; the backend's active head will change.",
+  ].join("\n");
 }
 
 function formatPublicationPreview(remote: Snapshot | undefined, upload: Snapshot) {
-	if (!remote) {
-		return ["Remote is empty.", ...upload.files.map((file) => `Add remotely: ${file.path}`)].join(
-			"\n",
-		);
-	}
-	return formatDirectionalChanges(remote, upload, {
-		add: "Add remotely",
-		update: "Update remotely",
-		remove: "Remove remotely",
-	});
+  if (!remote) {
+    return ["Remote is empty.", ...upload.files.map((file) => `Add remotely: ${file.path}`)].join("\n");
+  }
+  return formatDirectionalChanges(remote, upload, {
+    add: "Add remotely",
+    update: "Update remotely",
+    remove: "Remove remotely",
+  });
 }
 
 function formatDirectionalChanges(
-	before: Snapshot,
-	after: Snapshot,
-	labels: { add: string; update: string; remove: string },
+  before: Snapshot,
+  after: Snapshot,
+  labels: { add: string; update: string; remove: string },
 ) {
-	const beforeMap = fileHashMap(before);
-	const afterMap = fileHashMap(after);
-	const paths = [...new Set([...Object.keys(beforeMap), ...Object.keys(afterMap)])].sort();
-	const lines: string[] = [];
-	for (const filePath of paths) {
-		if (!beforeMap[filePath]) lines.push(`${labels.add}: ${filePath}`);
-		else if (!afterMap[filePath]) lines.push(`${labels.remove}: ${filePath}`);
-		else if (beforeMap[filePath] !== afterMap[filePath])
-			lines.push(`${labels.update}: ${filePath}`);
-	}
-	if (lines.length === 0) lines.push("No file changes.");
-	return lines.join("\n");
+  const beforeMap = fileHashMap(before);
+  const afterMap = fileHashMap(after);
+  const paths = [...new Set([...Object.keys(beforeMap), ...Object.keys(afterMap)])].sort();
+  const lines: string[] = [];
+  for (const filePath of paths) {
+    if (!beforeMap[filePath]) lines.push(`${labels.add}: ${filePath}`);
+    else if (!afterMap[filePath]) lines.push(`${labels.remove}: ${filePath}`);
+    else if (beforeMap[filePath] !== afterMap[filePath]) lines.push(`${labels.update}: ${filePath}`);
+  }
+  if (lines.length === 0) lines.push("No file changes.");
+  return lines.join("\n");
 }
 
 export function countPreservedRemoteFiles(local: Snapshot, upload: Snapshot) {
-	const localPaths = new Set(local.files.map((file) => file.path));
-	return upload.files.filter((file) => !localPaths.has(file.path)).length;
+  const localPaths = new Set(local.files.map((file) => file.path));
+  return upload.files.filter((file) => !localPaths.has(file.path)).length;
 }
 
 export function publicationCapabilityDescription(capability: PublicationCapability) {
-	switch (capability) {
-		case "lease-protected":
-			return "lease-protected (exact expected-ref update)";
-		case "atomic-conditional":
-			return "atomic-conditional (verified atomic precondition)";
-		case "conditional-required":
-			return "conditional-required (read-only until atomic preconditions are verified)";
-		case "read-check-write-verify":
-			return "read-check-write-verify (visible races rejected; simultaneous unseen races remain possible)";
-	}
+  switch (capability) {
+    case "lease-protected":
+      return "lease-protected (exact expected-ref update)";
+    case "atomic-conditional":
+      return "atomic-conditional (verified atomic precondition)";
+    case "conditional-required":
+      return "conditional-required (read-only until atomic preconditions are verified)";
+    case "read-check-write-verify":
+      return "read-check-write-verify (visible races rejected; simultaneous unseen races remain possible)";
+  }
 }
 
 export function redact(value: string) {
-	return value.length <= 8 ? "configured" : `${value.slice(0, 4)}…${value.slice(-4)}`;
+  return value.length <= 8 ? "configured" : `${value.slice(0, 4)}…${value.slice(-4)}`;
 }