@diegopetrucci/pi-extensions 0.1.74 → 0.1.76

package/extensions/dynamic-context-pruning/index.ts

@@ -1,7 +1,11 @@
 import * as fs from "node:fs/promises";
 import * as path from "node:path";
 
-import { getAgentDir, type ExtensionAPI, type ExtensionContext } from "@earendil-works/pi-coding-agent";
+import {
+  getAgentDir,
+  type ExtensionAPI,
+  type ExtensionContext,
+} from "@earendil-works/pi-coding-agent";
 
 // ============================================================================
 // Types (kept intentionally minimal/structural so pure helpers stay testable
@@ -9,123 +13,140 @@ import { getAgentDir, type ExtensionAPI, type ExtensionContext } from "@earendil
 // ============================================================================
 
 export interface MinimalTextContent {
-	type: "text";
-	text: string;
+  type: "text";
+  text: string;
 }
 
 export interface MinimalImageContent {
-	type: "image";
-	data: string;
-	mimeType: string;
+  type: "image";
+  data: string;
+  mimeType: string;
 }
 
 export interface MinimalToolCallContent {
-	type: "toolCall";
-	id: string;
-	name: string;
-	arguments: Record<string, unknown>;
-	[key: string]: unknown;
+  type: "toolCall";
+  id: string;
+  name: string;
+  arguments: Record<string, unknown>;
+  [key: string]: unknown;
 }
 
 export type MinimalAssistantContentBlock =
-	| MinimalTextContent
-	| { type: "thinking"; thinking: string; [key: string]: unknown }
-	| MinimalToolCallContent;
+  | MinimalTextContent
+  | { type: "thinking"; thinking: string; [key: string]: unknown }
+  | MinimalToolCallContent;
 
 export interface MinimalUserMessage {
-	role: "user";
-	content: string | (MinimalTextContent | MinimalImageContent)[];
-	timestamp?: number;
-	[key: string]: unknown;
+  role: "user";
+  content: string | (MinimalTextContent | MinimalImageContent)[];
+  timestamp?: number;
+  [key: string]: unknown;
 }
 
 export interface MinimalAssistantMessage {
-	role: "assistant";
-	content: MinimalAssistantContentBlock[];
-	timestamp?: number;
-	[key: string]: unknown;
+  role: "assistant";
+  content: MinimalAssistantContentBlock[];
+  timestamp?: number;
+  [key: string]: unknown;
 }
 
 export interface MinimalToolResultMessage {
-	role: "toolResult";
-	toolCallId: string;
-	toolName: string;
-	content: (MinimalTextContent | MinimalImageContent)[];
-	/** Bounded nested-call metadata; child calls have no transcript results to prune. */
-	nestedCalls?: unknown;
-	isError: boolean;
-	timestamp?: number;
-	[key: string]: unknown;
+  role: "toolResult";
+  toolCallId: string;
+  toolName: string;
+  content: (MinimalTextContent | MinimalImageContent)[];
+  /** Bounded nested-call metadata; child calls have no transcript results to prune. */
+  nestedCalls?: unknown;
+  isError: boolean;
+  timestamp?: number;
+  [key: string]: unknown;
 }
 
 export interface MinimalOtherMessage {
-	role: Exclude<string, "user" | "assistant" | "toolResult">;
-	timestamp?: number;
-	[key: string]: unknown;
+  role: Exclude<string, "user" | "assistant" | "toolResult">;
+  timestamp?: number;
+  [key: string]: unknown;
 }
 
-export type MinimalMessage = MinimalUserMessage | MinimalAssistantMessage | MinimalToolResultMessage | MinimalOtherMessage;
+export type MinimalMessage =
+  | MinimalUserMessage
+  | MinimalAssistantMessage
+  | MinimalToolResultMessage
+  | MinimalOtherMessage;
 
 export interface MinimalSessionEntry {
-	type: string;
-	id: string;
-	parentId: string | null;
-	timestamp: string;
-	message?: MinimalMessage;
-	customType?: string;
-	data?: unknown;
-	[key: string]: unknown;
+  type: string;
+  id: string;
+  parentId: string | null;
+  timestamp: string;
+  message?: MinimalMessage;
+  customType?: string;
+  data?: unknown;
+  [key: string]: unknown;
 }
 
 export interface MinimalProjectedSessionEntry {
-	sourceEntry: MinimalSessionEntry;
-	messages: MinimalMessage[];
+  sourceEntry: MinimalSessionEntry;
+  messages: MinimalMessage[];
 }
 
 export interface MinimalSessionProjection {
-	entries: MinimalProjectedSessionEntry[];
-	messages?: MinimalMessage[];
+  entries: MinimalProjectedSessionEntry[];
+  messages?: MinimalMessage[];
 }
 
 function isRecord(value: unknown): value is Record<string, unknown> {
-	return typeof value === "object" && value !== null;
+  return typeof value === "object" && value !== null;
 }
 
 function isMinimalMessage(value: unknown): value is MinimalMessage {
-	return isRecord(value) && typeof value.role === "string" && value.role.length > 0;
+  return isRecord(value) && typeof value.role === "string" && value.role.length > 0;
 }
 
 function isProjectionSourceEntry(value: unknown): value is MinimalSessionEntry {
-	return isRecord(value)
-		&& typeof value.type === "string"
-		&& value.type.length > 0
-		&& typeof value.id === "string"
-		&& value.id.length > 0;
+  return (
+    isRecord(value) &&
+    typeof value.type === "string" &&
+    value.type.length > 0 &&
+    typeof value.id === "string" &&
+    value.id.length > 0
+  );
 }
 
 export function normalizeSessionProjection(value: unknown): MinimalSessionProjection | undefined {
-	if (!isRecord(value) || !Array.isArray(value.entries)) return undefined;
-
-	const entries: MinimalProjectedSessionEntry[] = [];
-	for (const candidate of value.entries) {
-		if (!isRecord(candidate) || !isProjectionSourceEntry(candidate.sourceEntry) || !Array.isArray(candidate.messages)) return undefined;
-		if (!candidate.messages.every(isMinimalMessage)) return undefined;
-		entries.push({
-			sourceEntry: candidate.sourceEntry,
-			messages: candidate.messages,
-		});
-	}
-
-	// Entries carry the provenance that Pi uses to apply omissions and
-	// replacements. Validate the optional flattened field for compatibility, but
-	// derive the messages used by pruning from entries so stale/invented records
-	// cannot bypass canonical context edits.
-	if ("messages" in value && (!Array.isArray(value.messages) || !value.messages.every(isMinimalMessage))) return undefined;
-	return { entries, messages: entries.flatMap((entry) => entry.messages) };
-}
-
-export function sessionProjectionToMessages(projection: MinimalSessionProjection): MinimalMessage[] {
-	return projection.entries.flatMap((entry) => entry.messages);
+  if (!isRecord(value) || !Array.isArray(value.entries)) return undefined;
+
+  const entries: MinimalProjectedSessionEntry[] = [];
+  for (const candidate of value.entries) {
+    if (
+      !isRecord(candidate) ||
+      !isProjectionSourceEntry(candidate.sourceEntry) ||
+      !Array.isArray(candidate.messages)
+    )
+      return undefined;
+    if (!candidate.messages.every(isMinimalMessage)) return undefined;
+    entries.push({
+      sourceEntry: candidate.sourceEntry,
+      messages: candidate.messages,
+    });
+  }
+
+  // Entries carry the provenance that Pi uses to apply omissions and
+  // replacements. Validate the optional flattened field for compatibility, but
+  // derive the messages used by pruning from entries so stale/invented records
+  // cannot bypass canonical context edits.
+  if (
+    "messages" in value &&
+    (!Array.isArray(value.messages) || !value.messages.every(isMinimalMessage))
+  )
+    return undefined;
+  return { entries, messages: entries.flatMap((entry) => entry.messages) };
+}
+
+export function sessionProjectionToMessages(
+  projection: MinimalSessionProjection,
+): MinimalMessage[] {
+  return projection.entries.flatMap((entry) => entry.messages);
 }
 
 // ============================================================================
@@ -185,30 +206,30 @@ const DEFAULT_MID_LOOP_BREAK_EVEN_THRESHOLD = 1;
 
 /** Tool names never pruned by default: orchestration/subagent-style tools and todo-like state. */
 const DEFAULT_PROTECTED_TOOL_NAMES = [
-	"todo",
-	"task",
-	"subagent",
-	"agent",
-	"skill",
-	"oracle",
-	"librarian",
-	"contrarian",
-	"code_reviewer",
-	"gnosis",
-	"triage_comments",
+  "todo",
+  "task",
+  "subagent",
+  "agent",
+  "skill",
+  "oracle",
+  "librarian",
+  "contrarian",
+  "code_reviewer",
+  "gnosis",
+  "triage_comments",
 ];
 
 /** File globs never pruned by default: secrets/credential-shaped paths. */
 const DEFAULT_PROTECTED_PATH_GLOBS = [
-	"**/.env",
-	"**/.env.*",
-	"**/*.pem",
-	"**/*.key",
-	"**/id_rsa*",
-	"**/id_ed25519*",
-	"**/secrets/**",
-	"**/*.p12",
-	"**/*.pfx",
+  "**/.env",
+  "**/.env.*",
+  "**/*.pem",
+  "**/*.key",
+  "**/id_rsa*",
+  "**/id_ed25519*",
+  "**/secrets/**",
+  "**/*.p12",
+  "**/*.pfx",
 ];
 
 const DEFAULT_MIN_CHARS_SAVED = 200;
@@ -224,251 +245,243 @@ const ERROR_PURGE_STRATEGY_ID = "error-purge";
 // ============================================================================
 
 export interface PruneProtections {
-	/** Tool names (case-insensitive) whose calls are never pruned. */
-	toolNames: string[];
-	/** Glob patterns matched against string arguments; matches are never pruned. */
-	pathGlobs: string[];
-	/** Number of most recent conversational turns left untouched. */
-	recentTurns: number;
+  /** Tool names (case-insensitive) whose calls are never pruned. */
+  toolNames: string[];
+  /** Glob patterns matched against string arguments; matches are never pruned. */
+  pathGlobs: string[];
+  /** Number of most recent conversational turns left untouched. */
+  recentTurns: number;
 }
 
 export interface PruneThresholds {
-	/**
-	 * Minimum raw text characters a fresh AUTOMATIC prune proposal must remove
-	 * (original text chars minus placeholder chars) to be considered at all
-	 * (pe-qdzb). Enforced by `runDynamicContextPruningPipeline` BEFORE the
-	 * net-benefit gate (see `PruneGateConfig`/`gate`, which uses break-even token
-	 * math and is a separate, later check): text-only candidates below this floor
-	 * are dropped up front and never reach gate/batch consideration. Image-bearing
-	 * tool-result candidates bypass this raw-text floor (images receive no
-	 * synthetic character count) and proceed to the token-based gate. Manual
-	 * prunes and already-persisted/replayed decisions always bypass this floor,
-	 * same as the gate. A value of 0 disables the floor (no filtering).
-	 */
-	minCharsSaved: number;
+  /**
+   * Minimum raw text characters a fresh AUTOMATIC prune proposal must remove
+   * (original text chars minus placeholder chars) to be considered at all
+   * (pe-qdzb). Enforced by `runDynamicContextPruningPipeline` BEFORE the
+   * net-benefit gate (see `PruneGateConfig`/`gate`, which uses break-even token
+   * math and is a separate, later check): text-only candidates below this floor
+   * are dropped up front and never reach gate/batch consideration. Image-bearing
+   * tool-result candidates bypass this raw-text floor (images receive no
+   * synthetic character count) and proceed to the token-based gate. Manual
+   * prunes and already-persisted/replayed decisions always bypass this floor,
+   * same as the gate. A value of 0 disables the floor (no filtering).
+   */
+  minCharsSaved: number;
 }
 
 /** Per-strategy toggles/config (pe-u8gd, pe-qs8j). Each strategy can be disabled independently. */
 export interface StrategiesConfig {
-	dedupe: { enabled: boolean };
-	errorPurge: {
-		enabled: boolean;
-		/** A tool call's input is only eligible for purging once it is older than this many turns. */
-		minTurnsOld: number;
-	};
-	/** Superseded file-ops strategy (pe-qs8j): stale read/write/edit outputs replaced by a placeholder. */
-	supersededFileOps: { enabled: boolean };
+  dedupe: { enabled: boolean };
+  errorPurge: {
+    enabled: boolean;
+    /** A tool call's input is only eligible for purging once it is older than this many turns. */
+    minTurnsOld: number;
+  };
+  /** Superseded file-ops strategy (pe-qs8j): stale read/write/edit outputs replaced by a placeholder. */
+  supersededFileOps: { enabled: boolean };
 }
 
 /** Net-benefit gate operating mode (pe-s2ho). */
 export type GateMode = "on" | "off" | "always-apply";
 
 /**
- * State-conditioning hook (pe-s2ho notes): lets the gate use a different
- * break-even threshold depending on whether the agent is mid-loop (actively
- * making tool calls) vs idle (waiting on the user). Both states default to
- * the same threshold today.
- *
- * pe-c5n9 evidence (turn-END definition, since superseded -- see below):
- * the representative-corpus benchmark showed mid_loop candidates carrying
- * ~all realized net benefit while idle candidates carried ~none. That would
- * have argued for a stricter idle default. However, the only live runtime
- * caller (the `context` event handler below) did not yet perform real
- * mid-loop/idle detection at the time, so no default change was made.
- *
- * pe-zy4s update (2026-07-08): real runtime mid_loop/idle detection is now
- * wired through the `context` event handler (`classifyAgentStateFromMessages`),
- * using a turn-START definition (idle = this is the first LLM call of a turn;
- * mid_loop = the agent already made a call or received a tool result this
- * turn) -- see that function's doc comment for the exact runtime-observable
- * semantics. The benchmark's candidate labeling was aligned to this SAME
- * definition (retiring the old turn-END definition above, which was never
- * runtime-observable), and the state-split was re-derived on the
- * representative corpus (~/.the-last-harness/agent/sessions, 460 candidates)
- * under it.
- *
- * The result REVERSES the earlier (turn-END) finding: at r=0.1 the
- * turn-START "idle" population (calls made at the start of a turn) carries
- * essentially ALL the realized net benefit (idle-optimal T=22, total realized
- * net benefit ~20,594 token-units), while "mid_loop" carries essentially NONE
- * (mid_loop-optimal T=1, total realized net benefit ~0.0 on this corpus). This is
- * the OPPOSITE of what the pe-c5n9 evidence (measured under the old,
- * non-runtime-observable turn-END definition) suggested.
- *
- * Per the pe-zy4s decision rule (stricter idle default only if idle itself is
- * shown to be ~worthless): idle is NOT worthless here -- it is the ONLY state
- * carrying value at r=0.1 -- so the idle default stays at
- * DEFAULT_BREAK_EVEN_THRESHOLD. The mid_loop default, by the same benchmark,
- * is now DEFAULT_MID_LOOP_BREAK_EVEN_THRESHOLD (=1): the measured candidates
- * did not justify a more permissive threshold at r=0.1. Mid_loop pruning can
- * still amortize over enough subsequent calls; state alone does not establish
- * cache warmth or profitability. Both defaults remain config-overridable via
- * gate.breakEvenThresholdByState.
+ * Whether the agent is waiting on the user (`idle`) or already iterating
+ * (`mid_loop`). The `context` handler classifies this via
+ * `classifyAgentStateFromMessages`. Gate defaults are idle 22 and mid_loop 1.
  */
 export type AgentState = "idle" | "mid_loop";
 
 export interface PruneGateConfig {
-	/** "on": gate rejects new prunes above threshold. "off": gate is bypassed
-	 * entirely (no cost modelling, everything applies). "always-apply": cost
-	 * is still modelled (for stats/observability) but nothing is ever rejected. */
-	mode: GateMode;
-	/** Fraction of full price still paid for cached ( r ). Default 0.1. */
-	cachedPriceRatio: number;
-	/**
-	 * Default break-even threshold (max future calls to amortize a cache
-	 * bust) used when no state-specific override applies. Recalibrated from
-	 * the representative-corpus benchmark; see DEFAULT_BREAK_EVEN_THRESHOLD
-	 * for the full rationale and ratio-sensitivity caveats.
-	 */
-	breakEvenThreshold: number;
-	/** Per-agent-state threshold overrides; both default to `breakEvenThreshold`. */
-	breakEvenThresholdByState: { idle: number; mid_loop: number };
+  /** "on": gate rejects new prunes above threshold. "off": gate is bypassed
+   * entirely (no cost modelling, everything applies). "always-apply": cost
+   * is still modelled (for stats/observability) but nothing is ever rejected. */
+  mode: GateMode;
+  /** Fraction of full price still paid for cached ( r ). Default 0.1. */
+  cachedPriceRatio: number;
+  /**
+   * Default break-even threshold (max future calls to amortize a cache
+   * bust) used when no state-specific override applies. Recalibrated from
+   * the representative-corpus benchmark; see DEFAULT_BREAK_EVEN_THRESHOLD
+   * for the full rationale and ratio-sensitivity caveats.
+   */
+  breakEvenThreshold: number;
+  /** Per-state overrides. Defaults: idle 22, mid_loop 1. */
+  breakEvenThresholdByState: { idle: number; mid_loop: number };
 }
 
 export interface DynamicContextPruningConfig {
-	enabled: boolean;
-	protections: PruneProtections;
-	thresholds: PruneThresholds;
-	gate: PruneGateConfig;
-	strategies: StrategiesConfig;
+  enabled: boolean;
+  protections: PruneProtections;
+  thresholds: PruneThresholds;
+  gate: PruneGateConfig;
+  strategies: StrategiesConfig;
 }
 
 export function defaultConfig(): DynamicContextPruningConfig {
-	return {
-		enabled: true,
-		protections: {
-			toolNames: [...DEFAULT_PROTECTED_TOOL_NAMES],
-			pathGlobs: [...DEFAULT_PROTECTED_PATH_GLOBS],
-			recentTurns: DEFAULT_RECENT_TURNS,
-		},
-		thresholds: {
-			minCharsSaved: DEFAULT_MIN_CHARS_SAVED,
-		},
-		strategies: {
-			dedupe: { enabled: true },
-			errorPurge: { enabled: true, minTurnsOld: DEFAULT_ERROR_PURGE_MIN_TURNS_OLD },
-			supersededFileOps: { enabled: true },
-		},
-		gate: {
-			mode: "on",
-			cachedPriceRatio: DEFAULT_CACHED_PRICE_RATIO,
-			breakEvenThreshold: DEFAULT_BREAK_EVEN_THRESHOLD,
-			breakEvenThresholdByState: { idle: DEFAULT_BREAK_EVEN_THRESHOLD, mid_loop: DEFAULT_MID_LOOP_BREAK_EVEN_THRESHOLD },
-		},
-	};
+  return {
+    enabled: true,
+    protections: {
+      toolNames: [...DEFAULT_PROTECTED_TOOL_NAMES],
+      pathGlobs: [...DEFAULT_PROTECTED_PATH_GLOBS],
+      recentTurns: DEFAULT_RECENT_TURNS,
+    },
+    thresholds: {
+      minCharsSaved: DEFAULT_MIN_CHARS_SAVED,
+    },
+    strategies: {
+      dedupe: { enabled: true },
+      errorPurge: { enabled: true, minTurnsOld: DEFAULT_ERROR_PURGE_MIN_TURNS_OLD },
+      supersededFileOps: { enabled: true },
+    },
+    gate: {
+      mode: "on",
+      cachedPriceRatio: DEFAULT_CACHED_PRICE_RATIO,
+      breakEvenThreshold: DEFAULT_BREAK_EVEN_THRESHOLD,
+      breakEvenThresholdByState: {
+        idle: DEFAULT_BREAK_EVEN_THRESHOLD,
+        mid_loop: DEFAULT_MID_LOOP_BREAK_EVEN_THRESHOLD,
+      },
+    },
+  };
 }
 
 function asStringArray(value: unknown, fallback: string[]): string[] {
-	if (!Array.isArray(value)) return fallback;
-	const out = value.filter((item): item is string => typeof item === "string" && item.length > 0);
-	return out.length > 0 ? out : fallback;
+  if (!Array.isArray(value)) return fallback;
+  const out = value.filter((item): item is string => typeof item === "string" && item.length > 0);
+  return out.length > 0 ? out : fallback;
 }
 
 function asNonNegativeInt(value: unknown, fallback: number): number {
-	const parsed = typeof value === "number" ? value : Number(value);
-	if (!Number.isFinite(parsed) || parsed < 0) return fallback;
-	return Math.floor(parsed);
+  const parsed = typeof value === "number" ? value : Number(value);
+  if (!Number.isFinite(parsed) || parsed < 0) return fallback;
+  return Math.floor(parsed);
 }
 
 function asNonNegativeNumber(value: unknown, fallback: number): number {
-	const parsed = typeof value === "number" ? value : Number(value);
-	if (!Number.isFinite(parsed) || parsed < 0) return fallback;
-	return parsed;
+  const parsed = typeof value === "number" ? value : Number(value);
+  if (!Number.isFinite(parsed) || parsed < 0) return fallback;
+  return parsed;
 }
 
 function asRatio(value: unknown, fallback: number): number {
-	const parsed = typeof value === "number" ? value : Number(value);
-	if (!Number.isFinite(parsed) || parsed < 0 || parsed > 1) return fallback;
-	return parsed;
+  const parsed = typeof value === "number" ? value : Number(value);
+  if (!Number.isFinite(parsed) || parsed < 0 || parsed > 1) return fallback;
+  return parsed;
 }
 
 function asGateMode(value: unknown, fallback: GateMode): GateMode {
-	return value === "on" || value === "off" || value === "always-apply" ? value : fallback;
+  return value === "on" || value === "off" || value === "always-apply" ? value : fallback;
 }
 
 function asBoolean(value: unknown, fallback: boolean): boolean {
-	return typeof value === "boolean" ? value : fallback;
+  return typeof value === "boolean" ? value : fallback;
 }
 
 /** Merge a partially-shaped parsed config (e.g. from disk) onto defaults. Never throws. */
 export function normalizeConfig(parsed: unknown): DynamicContextPruningConfig {
-	const defaults = defaultConfig();
-	if (!parsed || typeof parsed !== "object") return defaults;
-	const raw = parsed as Record<string, unknown>;
-	const rawProtections = (raw.protections && typeof raw.protections === "object" ? raw.protections : {}) as Record<
-		string,
-		unknown
-	>;
-	const rawThresholds = (raw.thresholds && typeof raw.thresholds === "object" ? raw.thresholds : {}) as Record<
-		string,
-		unknown
-	>;
-	const rawGate = (raw.gate && typeof raw.gate === "object" ? raw.gate : {}) as Record<string, unknown>;
-	const rawGateByState = (rawGate.breakEvenThresholdByState && typeof rawGate.breakEvenThresholdByState === "object"
-		? rawGate.breakEvenThresholdByState
-		: {}) as Record<string, unknown>;
-	const rawStrategies = (raw.strategies && typeof raw.strategies === "object" ? raw.strategies : {}) as Record<string, unknown>;
-	const rawDedupe = (rawStrategies.dedupe && typeof rawStrategies.dedupe === "object" ? rawStrategies.dedupe : {}) as Record<
-		string,
-		unknown
-	>;
-	const rawErrorPurge = (rawStrategies.errorPurge && typeof rawStrategies.errorPurge === "object"
-		? rawStrategies.errorPurge
-		: {}) as Record<string, unknown>;
-	const rawSupersededFileOps = (rawStrategies.supersededFileOps && typeof rawStrategies.supersededFileOps === "object"
-		? rawStrategies.supersededFileOps
-		: {}) as Record<string, unknown>;
-
-	return {
-		enabled: typeof raw.enabled === "boolean" ? raw.enabled : defaults.enabled,
-		protections: {
-			toolNames: asStringArray(rawProtections.toolNames, defaults.protections.toolNames),
-			pathGlobs: asStringArray(rawProtections.pathGlobs, defaults.protections.pathGlobs),
-			recentTurns: asNonNegativeInt(rawProtections.recentTurns, defaults.protections.recentTurns),
-		},
-		thresholds: {
-			minCharsSaved: asNonNegativeInt(rawThresholds.minCharsSaved, defaults.thresholds.minCharsSaved),
-		},
-		strategies: {
-			dedupe: { enabled: asBoolean(rawDedupe.enabled, defaults.strategies.dedupe.enabled) },
-			errorPurge: {
-				enabled: asBoolean(rawErrorPurge.enabled, defaults.strategies.errorPurge.enabled),
-				minTurnsOld: asNonNegativeInt(rawErrorPurge.minTurnsOld, defaults.strategies.errorPurge.minTurnsOld),
-			},
-			supersededFileOps: {
-				enabled: asBoolean(rawSupersededFileOps.enabled, defaults.strategies.supersededFileOps.enabled),
-			},
-		},
-		gate: {
-			mode: asGateMode(rawGate.mode, defaults.gate.mode),
-			cachedPriceRatio: asRatio(rawGate.cachedPriceRatio, defaults.gate.cachedPriceRatio),
-			breakEvenThreshold: asNonNegativeNumber(rawGate.breakEvenThreshold, defaults.gate.breakEvenThreshold),
-			breakEvenThresholdByState: {
-				idle: asNonNegativeNumber(rawGateByState.idle, defaults.gate.breakEvenThresholdByState.idle),
-				mid_loop: asNonNegativeNumber(rawGateByState.mid_loop, defaults.gate.breakEvenThresholdByState.mid_loop),
-			},
-		},
-	};
+  const defaults = defaultConfig();
+  if (!parsed || typeof parsed !== "object") return defaults;
+  const raw = parsed as Record<string, unknown>;
+  const rawProtections = (
+    raw.protections && typeof raw.protections === "object" ? raw.protections : {}
+  ) as Record<string, unknown>;
+  const rawThresholds = (
+    raw.thresholds && typeof raw.thresholds === "object" ? raw.thresholds : {}
+  ) as Record<string, unknown>;
+  const rawGate = (raw.gate && typeof raw.gate === "object" ? raw.gate : {}) as Record<
+    string,
+    unknown
+  >;
+  const rawGateByState = (
+    rawGate.breakEvenThresholdByState && typeof rawGate.breakEvenThresholdByState === "object"
+      ? rawGate.breakEvenThresholdByState
+      : {}
+  ) as Record<string, unknown>;
+  const rawStrategies = (
+    raw.strategies && typeof raw.strategies === "object" ? raw.strategies : {}
+  ) as Record<string, unknown>;
+  const rawDedupe = (
+    rawStrategies.dedupe && typeof rawStrategies.dedupe === "object" ? rawStrategies.dedupe : {}
+  ) as Record<string, unknown>;
+  const rawErrorPurge = (
+    rawStrategies.errorPurge && typeof rawStrategies.errorPurge === "object"
+      ? rawStrategies.errorPurge
+      : {}
+  ) as Record<string, unknown>;
+  const rawSupersededFileOps = (
+    rawStrategies.supersededFileOps && typeof rawStrategies.supersededFileOps === "object"
+      ? rawStrategies.supersededFileOps
+      : {}
+  ) as Record<string, unknown>;
+
+  return {
+    enabled: typeof raw.enabled === "boolean" ? raw.enabled : defaults.enabled,
+    protections: {
+      toolNames: asStringArray(rawProtections.toolNames, defaults.protections.toolNames),
+      pathGlobs: asStringArray(rawProtections.pathGlobs, defaults.protections.pathGlobs),
+      recentTurns: asNonNegativeInt(rawProtections.recentTurns, defaults.protections.recentTurns),
+    },
+    thresholds: {
+      minCharsSaved: asNonNegativeInt(
+        rawThresholds.minCharsSaved,
+        defaults.thresholds.minCharsSaved,
+      ),
+    },
+    strategies: {
+      dedupe: { enabled: asBoolean(rawDedupe.enabled, defaults.strategies.dedupe.enabled) },
+      errorPurge: {
+        enabled: asBoolean(rawErrorPurge.enabled, defaults.strategies.errorPurge.enabled),
+        minTurnsOld: asNonNegativeInt(
+          rawErrorPurge.minTurnsOld,
+          defaults.strategies.errorPurge.minTurnsOld,
+        ),
+      },
+      supersededFileOps: {
+        enabled: asBoolean(
+          rawSupersededFileOps.enabled,
+          defaults.strategies.supersededFileOps.enabled,
+        ),
+      },
+    },
+    gate: {
+      mode: asGateMode(rawGate.mode, defaults.gate.mode),
+      cachedPriceRatio: asRatio(rawGate.cachedPriceRatio, defaults.gate.cachedPriceRatio),
+      breakEvenThreshold: asNonNegativeNumber(
+        rawGate.breakEvenThreshold,
+        defaults.gate.breakEvenThreshold,
+      ),
+      breakEvenThresholdByState: {
+        idle: asNonNegativeNumber(
+          rawGateByState.idle,
+          defaults.gate.breakEvenThresholdByState.idle,
+        ),
+        mid_loop: asNonNegativeNumber(
+          rawGateByState.mid_loop,
+          defaults.gate.breakEvenThresholdByState.mid_loop,
+        ),
+      },
+    },
+  };
 }
 
 function getConfigPath(): string {
-	return path.join(getAgentDir(), "extensions", CONFIG_FILE_NAME);
+  return path.join(getAgentDir(), "extensions", CONFIG_FILE_NAME);
 }
 
 async function readConfig(): Promise<DynamicContextPruningConfig> {
-	try {
-		const raw = await fs.readFile(getConfigPath(), "utf8");
-		return normalizeConfig(JSON.parse(raw));
-	} catch {
-		return defaultConfig();
-	}
+  try {
+    const raw = await fs.readFile(getConfigPath(), "utf8");
+    return normalizeConfig(JSON.parse(raw));
+  } catch {
+    return defaultConfig();
+  }
 }
 
 async function writeConfig(config: DynamicContextPruningConfig): Promise<void> {
-	const configPath = getConfigPath();
-	const payload = { ...config, updatedAt: new Date().toISOString() };
-	await fs.mkdir(path.dirname(configPath), { recursive: true });
-	await fs.writeFile(configPath, `${JSON.stringify(payload, null, 2)}\n`, "utf8");
+  const configPath = getConfigPath();
+  const payload = { ...config, updatedAt: new Date().toISOString() };
+  await fs.mkdir(path.dirname(configPath), { recursive: true });
+  await fs.writeFile(configPath, `${JSON.stringify(payload, null, 2)}\n`, "utf8");
 }
 
 // ============================================================================
@@ -477,19 +490,21 @@ async function writeConfig(config: DynamicContextPruningConfig): Promise<void> {
 // ============================================================================
 
 export function estimateTokensForText(text: string): number {
-	if (!text) return 0;
-	return Math.max(0, Math.ceil(text.length / 4));
+  if (!text) return 0;
+  return Math.max(0, Math.ceil(text.length / 4));
 }
 
-export function estimateTokensForContent(content: string | (MinimalTextContent | MinimalImageContent)[]): number {
-	if (typeof content === "string") return estimateTokensForText(content);
-	if (!Array.isArray(content)) return 0;
-	let total = 0;
-	for (const block of content) {
-		if (block.type === "text") total += estimateTokensForText(block.text);
-		else if (block.type === "image") total += 1200; // rough fixed estimate, mirrors context-inspector's convention
-	}
-	return total;
+export function estimateTokensForContent(
+  content: string | (MinimalTextContent | MinimalImageContent)[],
+): number {
+  if (typeof content === "string") return estimateTokensForText(content);
+  if (!Array.isArray(content)) return 0;
+  let total = 0;
+  for (const block of content) {
+    if (block.type === "text") total += estimateTokensForText(block.text);
+    else if (block.type === "image") total += 1200; // rough fixed estimate, mirrors context-inspector's convention
+  }
+  return total;
 }
 
 export type TokenEstimator = (text: string) => number;
@@ -520,37 +535,45 @@ export type TokenEstimator = (text: string) => number;
  * call is a turn's last one, so that definition was never runtime-observable.)
  */
 export function classifyAgentStateFromMessages(messages: MinimalMessage[]): AgentState {
-	for (let i = messages.length - 1; i >= 0; i--) {
-		const role = messages[i].role;
-		if (role === "user") return "idle";
-		if (role === "assistant" || role === "toolResult") return "mid_loop";
-		// Any other role (e.g. "system") is skipped: keep walking further back.
-	}
-	return "idle";
+  for (let i = messages.length - 1; i >= 0; i--) {
+    const role = messages[i].role;
+    if (role === "user") return "idle";
+    if (role === "assistant" || role === "toolResult") return "mid_loop";
+    // Any other role (e.g. "system") is skipped: keep walking further back.
+  }
+  return "idle";
 }
 
 /** Resolve which break-even threshold applies for a given agent state (pe-s2ho state-conditioning hook). */
-export function resolveBreakEvenThreshold(gateConfig: PruneGateConfig, agentState: AgentState): number {
-	const override = gateConfig.breakEvenThresholdByState[agentState];
-	return typeof override === "number" && Number.isFinite(override) ? override : gateConfig.breakEvenThreshold;
+export function resolveBreakEvenThreshold(
+  gateConfig: PruneGateConfig,
+  agentState: AgentState,
+): number {
+  const override = gateConfig.breakEvenThresholdByState[agentState];
+  return typeof override === "number" && Number.isFinite(override)
+    ? override
+    : gateConfig.breakEvenThreshold;
 }
 
 /** Estimate the token cost of a single message (all content kinds), for tail/context-size accounting. */
 function estimateMessageTokens(message: MinimalMessage, estimateTokens: TokenEstimator): number {
-	if (message.role === "user" || message.role === "toolResult") {
-		const content = (message as MinimalUserMessage | MinimalToolResultMessage).content;
-		return estimateTokensForContent(content as string | (MinimalTextContent | MinimalImageContent)[]);
-	}
-	if (message.role === "assistant") {
-		let total = 0;
-		for (const block of (message as MinimalAssistantMessage).content) {
-			if (block.type === "text") total += estimateTokens(block.text);
-			else if (block.type === "thinking") total += estimateTokens(block.thinking);
-			else if (block.type === "toolCall") total += estimateTokens(JSON.stringify(block.arguments ?? {}));
-		}
-		return total;
-	}
-	return 0;
+  if (message.role === "user" || message.role === "toolResult") {
+    const content = (message as MinimalUserMessage | MinimalToolResultMessage).content;
+    return estimateTokensForContent(
+      content as string | (MinimalTextContent | MinimalImageContent)[],
+    );
+  }
+  if (message.role === "assistant") {
+    let total = 0;
+    for (const block of (message as MinimalAssistantMessage).content) {
+      if (block.type === "text") total += estimateTokens(block.text);
+      else if (block.type === "thinking") total += estimateTokens(block.thinking);
+      else if (block.type === "toolCall")
+        total += estimateTokens(JSON.stringify(block.arguments ?? {}));
+    }
+    return total;
+  }
+  return 0;
 }
 
 /**
@@ -560,16 +583,16 @@ function estimateMessageTokens(message: MinimalMessage, estimateTokens: TokenEst
  * `fromIndex` (e.g. the very last message, or beyond) degrades gracefully.
  */
 export function estimateTailTokens(
-	messages: MinimalMessage[],
-	fromIndex: number,
-	estimateTokens: TokenEstimator = estimateTokensForText,
+  messages: MinimalMessage[],
+  fromIndex: number,
+  estimateTokens: TokenEstimator = estimateTokensForText,
 ): number {
-	let total = 0;
-	const start = Math.max(0, fromIndex);
-	for (let i = start; i < messages.length; i++) {
-		total += estimateMessageTokens(messages[i], estimateTokens);
-	}
-	return total;
+  let total = 0;
+  const start = Math.max(0, fromIndex);
+  for (let i = start; i < messages.length; i++) {
+    total += estimateMessageTokens(messages[i], estimateTokens);
+  }
+  return total;
 }
 
 // ============================================================================
@@ -577,66 +600,73 @@ export function estimateTailTokens(
 // ============================================================================
 
 function globToRegExp(glob: string): RegExp {
-	let pattern = "^";
-	for (let i = 0; i < glob.length; i++) {
-		const char = glob[i];
-		if (char === "*") {
-			if (glob[i + 1] === "*") {
-				i++;
-				if (glob[i + 1] === "/") {
-					pattern += "(?:.*/)?";
-					i++;
-				} else {
-					pattern += ".*";
-				}
-			} else {
-				pattern += "[^/]*";
-			}
-		} else if (char === "?") {
-			pattern += "[^/]";
-		} else if ("\\^$.|?*+()[]{}".includes(char)) {
-			pattern += `\\${char}`;
-		} else {
-			pattern += char;
-		}
-	}
-	pattern += "$";
-	return new RegExp(pattern);
-}
-
-export function isProtectedToolName(toolName: string | undefined, protections: PruneProtections): boolean {
-	if (!toolName) return false;
-	const normalized = toolName.trim().toLowerCase();
-	return protections.toolNames.some((name) => name.trim().toLowerCase() === normalized);
+  let pattern = "^";
+  for (let i = 0; i < glob.length; i++) {
+    const char = glob[i];
+    if (char === "*") {
+      if (glob[i + 1] === "*") {
+        i++;
+        if (glob[i + 1] === "/") {
+          pattern += "(?:.*/)?";
+          i++;
+        } else {
+          pattern += ".*";
+        }
+      } else {
+        pattern += "[^/]*";
+      }
+    } else if (char === "?") {
+      pattern += "[^/]";
+    } else if ("\\^$.|?*+()[]{}".includes(char)) {
+      pattern += `\\${char}`;
+    } else {
+      pattern += char;
+    }
+  }
+  pattern += "$";
+  return new RegExp(pattern);
+}
+
+export function isProtectedToolName(
+  toolName: string | undefined,
+  protections: PruneProtections,
+): boolean {
+  if (!toolName) return false;
+  const normalized = toolName.trim().toLowerCase();
+  return protections.toolNames.some((name) => name.trim().toLowerCase() === normalized);
 }
 
 export function isProtectedPath(value: string, protections: PruneProtections): boolean {
-	if (!value) return false;
-	const normalized = value.trim();
-	if (!normalized) return false;
-	return protections.pathGlobs.some((glob) => globToRegExp(glob).test(normalized));
+  if (!value) return false;
+  const normalized = value.trim();
+  if (!normalized) return false;
+  return protections.pathGlobs.some((glob) => globToRegExp(glob).test(normalized));
 }
 
 /** Shallow-collect string values from a tool-call arguments object, for path-glob matching. */
-export function collectArgStringValues(args: Record<string, unknown> | undefined, depth = 2): string[] {
-	if (!args || typeof args !== "object") return [];
-	const out: string[] = [];
-	const visit = (value: unknown, remainingDepth: number) => {
-		if (typeof value === "string") {
-			out.push(value);
-			return;
-		}
-		if (remainingDepth <= 0) return;
-		if (Array.isArray(value)) {
-			for (const item of value) visit(item, remainingDepth - 1);
-			return;
-		}
-		if (value && typeof value === "object") {
-			for (const item of Object.values(value as Record<string, unknown>)) visit(item, remainingDepth - 1);
-		}
-	};
-	visit(args, depth);
-	return out;
+export function collectArgStringValues(
+  args: Record<string, unknown> | undefined,
+  depth = 2,
+): string[] {
+  if (!args || typeof args !== "object") return [];
+  const out: string[] = [];
+  const visit = (value: unknown, remainingDepth: number) => {
+    if (typeof value === "string") {
+      out.push(value);
+      return;
+    }
+    if (remainingDepth <= 0) return;
+    if (Array.isArray(value)) {
+      for (const item of value) visit(item, remainingDepth - 1);
+      return;
+    }
+    if (value && typeof value === "object") {
+      for (const item of Object.values(value as Record<string, unknown>))
+        visit(item, remainingDepth - 1);
+    }
+  };
+  visit(args, depth);
+  return out;
 }
 
 /**
@@ -645,19 +675,22 @@ export function collectArgStringValues(args: Record<string, unknown> | undefined
  *
  * A "turn" starts at each user message. Protects the last `recentTurns` turns.
  */
-export function computeRecencyBoundaryIndex(messages: MinimalMessage[], recentTurns: number): number {
-	if (recentTurns <= 0) return messages.length;
-	const turnStarts: number[] = [];
-	messages.forEach((message, index) => {
-		if (message.role === "user") turnStarts.push(index);
-	});
-	if (turnStarts.length === 0) return 0;
-	const startIdx = Math.max(0, turnStarts.length - recentTurns);
-	return turnStarts[startIdx] ?? 0;
+export function computeRecencyBoundaryIndex(
+  messages: MinimalMessage[],
+  recentTurns: number,
+): number {
+  if (recentTurns <= 0) return messages.length;
+  const turnStarts: number[] = [];
+  messages.forEach((message, index) => {
+    if (message.role === "user") turnStarts.push(index);
+  });
+  if (turnStarts.length === 0) return 0;
+  const startIdx = Math.max(0, turnStarts.length - recentTurns);
+  return turnStarts[startIdx] ?? 0;
 }
 
 export function isWithinRecencyWindow(index: number, boundaryIndex: number): boolean {
-	return index >= boundaryIndex;
+  return index >= boundaryIndex;
 }
 
 /**
@@ -666,11 +699,11 @@ export function isWithinRecencyWindow(index: number, boundaryIndex: number): boo
  * message at the very end of the conversation has 0 turns elapsed.
  */
 export function computeTurnsElapsedSince(messages: MinimalMessage[], index: number): number {
-	let count = 0;
-	for (let i = index + 1; i < messages.length; i++) {
-		if (messages[i].role === "user") count++;
-	}
-	return count;
+  let count = 0;
+  for (let i = index + 1; i < messages.length; i++) {
+    if (messages[i].role === "user") count++;
+  }
+  return count;
 }
 
 // ============================================================================
@@ -678,9 +711,9 @@ export function computeTurnsElapsedSince(messages: MinimalMessage[], index: numb
 // ============================================================================
 
 export interface ToolCallPairIndices {
-	assistantIndex?: number;
-	toolCallBlockIndex?: number;
-	resultIndex?: number;
+  assistantIndex?: number;
+  toolCallBlockIndex?: number;
+  resultIndex?: number;
 }
 
 /**
@@ -691,37 +724,42 @@ export interface ToolCallPairIndices {
  * pass it to `findToolCallPairIndices` and friends to avoid an O(n) rescan
  * per decision (pe-e0zd).
  */
-export function buildToolCallPairIndex(messages: MinimalMessage[]): Map<string, ToolCallPairIndices> {
-	const index = new Map<string, ToolCallPairIndices>();
-	const getOrCreate = (toolCallId: string): ToolCallPairIndices => {
-		let pair = index.get(toolCallId);
-		if (!pair) {
-			pair = {};
-			index.set(toolCallId, pair);
-		}
-		return pair;
-	};
-	messages.forEach((message, messageIndex) => {
-		if (message.role === "assistant" && Array.isArray((message as MinimalAssistantMessage).content)) {
-			const content = (message as MinimalAssistantMessage).content;
-			const seenInThisMessage = new Set<string>();
-			content.forEach((block, blockIndex) => {
-				if (block.type !== "toolCall") return;
-				// Mirror findToolCallPairIndices' content.findIndex: within a single
-				// message, the FIRST matching block wins (duplicate ids in one
-				// message's content are pathological but must resolve identically).
-				if (seenInThisMessage.has(block.id)) return;
-				seenInThisMessage.add(block.id);
-				const pair = getOrCreate(block.id);
-				pair.assistantIndex = messageIndex;
-				pair.toolCallBlockIndex = blockIndex;
-			});
-		} else if (message.role === "toolResult") {
-			const pair = getOrCreate((message as MinimalToolResultMessage).toolCallId);
-			pair.resultIndex = messageIndex;
-		}
-	});
-	return index;
+export function buildToolCallPairIndex(
+  messages: MinimalMessage[],
+): Map<string, ToolCallPairIndices> {
+  const index = new Map<string, ToolCallPairIndices>();
+  const getOrCreate = (toolCallId: string): ToolCallPairIndices => {
+    let pair = index.get(toolCallId);
+    if (!pair) {
+      pair = {};
+      index.set(toolCallId, pair);
+    }
+    return pair;
+  };
+  messages.forEach((message, messageIndex) => {
+    if (
+      message.role === "assistant" &&
+      Array.isArray((message as MinimalAssistantMessage).content)
+    ) {
+      const content = (message as MinimalAssistantMessage).content;
+      const seenInThisMessage = new Set<string>();
+      content.forEach((block, blockIndex) => {
+        if (block.type !== "toolCall") return;
+        // Mirror findToolCallPairIndices' content.findIndex: within a single
+        // message, the FIRST matching block wins (duplicate ids in one
+        // message's content are pathological but must resolve identically).
+        if (seenInThisMessage.has(block.id)) return;
+        seenInThisMessage.add(block.id);
+        const pair = getOrCreate(block.id);
+        pair.assistantIndex = messageIndex;
+        pair.toolCallBlockIndex = blockIndex;
+      });
+    } else if (message.role === "toolResult") {
+      const pair = getOrCreate((message as MinimalToolResultMessage).toolCallId);
+      pair.resultIndex = messageIndex;
+    }
+  });
+  return index;
 }
 
 /**
@@ -731,125 +769,33 @@ export function buildToolCallPairIndex(messages: MinimalMessage[]): Map<string,
  * `messages`; omitting it preserves the original O(n) full-scan behavior.
  */
 export function findToolCallPairIndices(
-	messages: MinimalMessage[],
-	toolCallId: string,
-	pairIndex?: Map<string, ToolCallPairIndices>,
+  messages: MinimalMessage[],
+  toolCallId: string,
+  pairIndex?: Map<string, ToolCallPairIndices>,
 ): ToolCallPairIndices {
-	if (pairIndex) return pairIndex.get(toolCallId) ?? {};
-	const pair: ToolCallPairIndices = {};
-	messages.forEach((message, index) => {
-		if (message.role === "assistant" && Array.isArray((message as MinimalAssistantMessage).content)) {
-			const content = (message as MinimalAssistantMessage).content;
-			const blockIndex = content.findIndex((block) => block.type === "toolCall" && block.id === toolCallId);
-			if (blockIndex >= 0) {
-				pair.assistantIndex = index;
-				pair.toolCallBlockIndex = blockIndex;
-			}
-		} else if (message.role === "toolResult" && (message as MinimalToolResultMessage).toolCallId === toolCallId) {
-			pair.resultIndex = index;
-		}
-	});
-	return pair;
-}
-
-/** Map raw session-entry provenance to projected message positions when Pi exposes it. */
-function expectedRoleForEntry(entry: MinimalSessionEntry): string | undefined {
-	if (entry.type === "message") return entry.message?.role;
-	if (entry.type === "custom_message") return "custom";
-	if (entry.type === "branch_summary") return "branchSummary";
-	if (entry.type === "compaction") return "compactionSummary";
-	return undefined;
-}
-
-function buildProjectedEntryIdToMessageIndexMap(
-	entries: MinimalSessionEntry[],
-	messages: MinimalMessage[],
-	projection: MinimalSessionProjection,
-): Map<string, number> {
-	const map = new Map<string, number>();
-	const entryIds = new Set(entries.map((entry) => entry.id));
-	let cursor = 0;
-
-	for (const projectedEntry of projection.entries) {
-		let firstMessageIndex: number | undefined;
-		for (const projectedMessage of projectedEntry.messages) {
-			let messageIndex = messages.indexOf(projectedMessage, cursor);
-			if (messageIndex < cursor) messageIndex = -1;
-
-			if (messageIndex < 0 && typeof projectedMessage.timestamp === "number") {
-				messageIndex = messages.findIndex(
-					(candidate, index) =>
-						index >= cursor && candidate.role === projectedMessage.role && candidate.timestamp === projectedMessage.timestamp,
-				);
-			}
-			if (messageIndex < 0) continue;
-			firstMessageIndex ??= messageIndex;
-			cursor = messageIndex + 1;
-		}
-
-		if (firstMessageIndex !== undefined && entryIds.has(projectedEntry.sourceEntry.id)) {
-			map.set(projectedEntry.sourceEntry.id, firstMessageIndex);
-		}
-	}
-	return map;
-}
-
-export function buildEntryIdToMessageIndexMap(
-	entries: MinimalSessionEntry[],
-	messages: MinimalMessage[],
-	projection?: MinimalSessionProjection,
-): Map<string, number> {
-	if (projection) return buildProjectedEntryIdToMessageIndexMap(entries, messages, projection);
-
-	// Older runtimes expose only raw branch entries; preserve their positional
-	// correlation and use role/timestamp only when the counts diverge.
-	const producing = entries.filter((entry) =>
-		entry.type === "message" || entry.type === "custom_message" || entry.type === "branch_summary" || entry.type === "compaction",
-	);
-	const length = Math.min(producing.length, messages.length);
-	const map = new Map<string, number>();
-	for (let i = 0; i < length; i++) {
-		const entry = producing[i];
-		const expectedRole = expectedRoleForEntry(entry);
-		const candidate = messages[i];
-		// Guard against silent misalignment (e.g. compaction/branch-summary shifted
-		// the projection): only trust the positional zip when roles line up,
-		// otherwise leave it unset so callers fall back to role+timestamp matching.
-		if (expectedRole && candidate?.role !== expectedRole) continue;
-		map.set(entry.id, i);
-	}
-	return map;
-}
-
-/** Last-resort correlation fallback: match by role + timestamp when order-zip counts diverge. */
-export function findMessageIndexByRoleAndTimestamp(
-	entry: MinimalSessionEntry,
-	messages: MinimalMessage[],
-): number | undefined {
-	const message = entry.message;
-	if (!message || typeof message.role !== "string" || typeof message.timestamp !== "number") return undefined;
-	const index = messages.findIndex((m) => m.role === message.role && m.timestamp === message.timestamp);
-	return index >= 0 ? index : undefined;
-}
-
-/** Resolve a session entry id using projection provenance, then legacy role+timestamp fallback. */
-export function resolveMessageIndexForEntry(
-	entryId: string,
-	entries: MinimalSessionEntry[],
-	messages: MinimalMessage[],
-	projection?: MinimalSessionProjection,
-): number | undefined {
-	const zipMap = buildEntryIdToMessageIndexMap(entries, messages, projection);
-	const zipped = zipMap.get(entryId);
-	if (zipped !== undefined) return zipped;
-
-	// An empty projected contribution is an explicit omission/replacement state;
-	// only a validated projection may make that context-edit-aware decision.
-	if (projection?.entries.some((entry) => entry.sourceEntry.id === entryId && entry.messages.length === 0)) return undefined;
-
-	const entry = entries.find((candidate) => candidate.id === entryId);
-	if (!entry) return undefined;
-	return findMessageIndexByRoleAndTimestamp(entry, messages);
+  if (pairIndex) return pairIndex.get(toolCallId) ?? {};
+  const pair: ToolCallPairIndices = {};
+  messages.forEach((message, index) => {
+    if (
+      message.role === "assistant" &&
+      Array.isArray((message as MinimalAssistantMessage).content)
+    ) {
+      const content = (message as MinimalAssistantMessage).content;
+      const blockIndex = content.findIndex(
+        (block) => block.type === "toolCall" && block.id === toolCallId,
+      );
+      if (blockIndex >= 0) {
+        pair.assistantIndex = index;
+        pair.toolCallBlockIndex = blockIndex;
+      }
+    } else if (
+      message.role === "toolResult" &&
+      (message as MinimalToolResultMessage).toolCallId === toolCallId
+    ) {
+      pair.resultIndex = index;
+    }
+  });
+  return pair;
 }
 
 // ============================================================================
@@ -859,37 +805,37 @@ export function resolveMessageIndexForEntry(
 export type PruneTargetKind = "tool_result_content" | "tool_call_input";
 
 /**
- * Where a decision came from. "manual" decisions (e.g. a future /prune
- * picker, pe-8re9) always bypass the net-benefit gate: user intent wins.
+ * Where a decision came from. Manual decisions from the `/prune` picker
+ * always bypass the net-benefit gate: user intent wins.
  * Absent/unspecified defaults to "auto".
  */
 export type PruneDecisionSource = "auto" | "manual";
 
 /** What a strategy proposes. The pipeline decides whether/how to apply it. */
 export interface ProposedPrune {
-	strategyId: string;
-	toolCallId: string;
-	kind: PruneTargetKind;
-	reason: string;
-	placeholder?: string;
-	/** Defaults to "auto"; set to "manual" for user-initiated prunes that must bypass the gate. */
-	source?: PruneDecisionSource;
+  strategyId: string;
+  toolCallId: string;
+  kind: PruneTargetKind;
+  reason: string;
+  placeholder?: string;
+  /** Defaults to "auto"; set to "manual" for user-initiated prunes that must bypass the gate. */
+  source?: PruneDecisionSource;
 }
 
 /** What actually gets persisted once the pipeline applies a proposal. */
 export interface PruneDecisionRecord {
-	idempotencyKey: string;
-	strategyId: string;
-	correlation: { type: "toolCallId"; toolCallId: string } | { type: "entryId"; entryId: string };
-	kind: PruneTargetKind;
-	reason: string;
-	placeholder?: string;
-	createdAt: string;
-	source: PruneDecisionSource;
+  idempotencyKey: string;
+  strategyId: string;
+  correlation: { type: "toolCallId"; toolCallId: string } | { type: "entryId"; entryId: string };
+  kind: PruneTargetKind;
+  reason: string;
+  placeholder?: string;
+  createdAt: string;
+  source: PruneDecisionSource;
 }
 
 export function buildIdempotencyKey(proposal: ProposedPrune): string {
-	return `${proposal.strategyId}:${proposal.kind}:${proposal.toolCallId}`;
+  return `${proposal.strategyId}:${proposal.kind}:${proposal.toolCallId}`;
 }
 
 /**
@@ -901,53 +847,59 @@ export function buildIdempotencyKey(proposal: ProposedPrune): string {
  * `runDynamicContextPruningPipeline`).
  */
 function buildDecisionTargetKey(decision: PruneDecisionRecord): string {
-	const correlationId = decision.correlation.type === "toolCallId" ? decision.correlation.toolCallId : decision.correlation.entryId;
-	return `${decision.kind}:${decision.correlation.type}:${correlationId}`;
-}
-
-export function proposalToDecisionRecord(proposal: ProposedPrune, createdAt: string = new Date().toISOString()): PruneDecisionRecord {
-	return {
-		idempotencyKey: buildIdempotencyKey(proposal),
-		strategyId: proposal.strategyId,
-		correlation: { type: "toolCallId", toolCallId: proposal.toolCallId },
-		kind: proposal.kind,
-		reason: proposal.reason,
-		placeholder: proposal.placeholder,
-		createdAt,
-		source: proposal.source ?? "auto",
-	};
+  const correlationId =
+    decision.correlation.type === "toolCallId"
+      ? decision.correlation.toolCallId
+      : decision.correlation.entryId;
+  return `${decision.kind}:${decision.correlation.type}:${correlationId}`;
+}
+
+export function proposalToDecisionRecord(
+  proposal: ProposedPrune,
+  createdAt: string = new Date().toISOString(),
+): PruneDecisionRecord {
+  return {
+    idempotencyKey: buildIdempotencyKey(proposal),
+    strategyId: proposal.strategyId,
+    correlation: { type: "toolCallId", toolCallId: proposal.toolCallId },
+    kind: proposal.kind,
+    reason: proposal.reason,
+    placeholder: proposal.placeholder,
+    createdAt,
+    source: proposal.source ?? "auto",
+  };
 }
 
 /** Parse a persisted CustomEntry payload back into a decision record. Returns undefined if malformed. */
 export function parseDecisionRecord(data: unknown): PruneDecisionRecord | undefined {
-	if (!data || typeof data !== "object") return undefined;
-	const raw = data as Record<string, unknown>;
-	if (typeof raw.idempotencyKey !== "string" || !raw.idempotencyKey) return undefined;
-	if (typeof raw.strategyId !== "string") return undefined;
-	if (raw.kind !== "tool_result_content" && raw.kind !== "tool_call_input") return undefined;
-	if (typeof raw.reason !== "string") return undefined;
-	if (typeof raw.createdAt !== "string") return undefined;
-	const source: PruneDecisionSource = raw.source === "manual" ? "manual" : "auto";
-
-	const rawCorrelation = raw.correlation as Record<string, unknown> | undefined;
-	let correlation: PruneDecisionRecord["correlation"] | undefined;
-	if (rawCorrelation?.type === "toolCallId" && typeof rawCorrelation.toolCallId === "string") {
-		correlation = { type: "toolCallId", toolCallId: rawCorrelation.toolCallId };
-	} else if (rawCorrelation?.type === "entryId" && typeof rawCorrelation.entryId === "string") {
-		correlation = { type: "entryId", entryId: rawCorrelation.entryId };
-	}
-	if (!correlation) return undefined;
-
-	return {
-		idempotencyKey: raw.idempotencyKey,
-		strategyId: raw.strategyId,
-		correlation,
-		kind: raw.kind,
-		reason: raw.reason,
-		placeholder: typeof raw.placeholder === "string" ? raw.placeholder : undefined,
-		createdAt: raw.createdAt,
-		source,
-	};
+  if (!data || typeof data !== "object") return undefined;
+  const raw = data as Record<string, unknown>;
+  if (typeof raw.idempotencyKey !== "string" || !raw.idempotencyKey) return undefined;
+  if (typeof raw.strategyId !== "string") return undefined;
+  if (raw.kind !== "tool_result_content" && raw.kind !== "tool_call_input") return undefined;
+  if (typeof raw.reason !== "string") return undefined;
+  if (typeof raw.createdAt !== "string") return undefined;
+  const source: PruneDecisionSource = raw.source === "manual" ? "manual" : "auto";
+
+  const rawCorrelation = raw.correlation as Record<string, unknown> | undefined;
+  let correlation: PruneDecisionRecord["correlation"] | undefined;
+  if (rawCorrelation?.type === "toolCallId" && typeof rawCorrelation.toolCallId === "string") {
+    correlation = { type: "toolCallId", toolCallId: rawCorrelation.toolCallId };
+  } else if (rawCorrelation?.type === "entryId" && typeof rawCorrelation.entryId === "string") {
+    correlation = { type: "entryId", entryId: rawCorrelation.entryId };
+  }
+  if (!correlation) return undefined;
+
+  return {
+    idempotencyKey: raw.idempotencyKey,
+    strategyId: raw.strategyId,
+    correlation,
+    kind: raw.kind,
+    reason: raw.reason,
+    placeholder: typeof raw.placeholder === "string" ? raw.placeholder : undefined,
+    createdAt: raw.createdAt,
+    source,
+  };
 }
 
 // ============================================================================
@@ -969,37 +921,49 @@ export function parseDecisionRecord(data: unknown): PruneDecisionRecord | undefi
  * mutate or delete anything.
  */
 export interface RestoreRecord {
-	idempotencyKey: string;
-	createdAt: string;
+  idempotencyKey: string;
+  createdAt: string;
 }
 
-export function buildRestoreRecord(idempotencyKey: string, createdAt: string = new Date().toISOString()): RestoreRecord {
-	return { idempotencyKey, createdAt };
+export function buildRestoreRecord(
+  idempotencyKey: string,
+  createdAt: string = new Date().toISOString(),
+): RestoreRecord {
+  return { idempotencyKey, createdAt };
 }
 
 /** Parse a persisted CustomEntry payload back into a restore record. Returns undefined if malformed. */
 export function parseRestoreRecord(data: unknown): RestoreRecord | undefined {
-	if (!data || typeof data !== "object") return undefined;
-	const raw = data as Record<string, unknown>;
-	if (typeof raw.idempotencyKey !== "string" || !raw.idempotencyKey) return undefined;
-	if (typeof raw.createdAt !== "string") return undefined;
-	return { idempotencyKey: raw.idempotencyKey, createdAt: raw.createdAt };
+  if (!data || typeof data !== "object") return undefined;
+  const raw = data as Record<string, unknown>;
+  if (typeof raw.idempotencyKey !== "string" || !raw.idempotencyKey) return undefined;
+  if (typeof raw.createdAt !== "string") return undefined;
+  return { idempotencyKey: raw.idempotencyKey, createdAt: raw.createdAt };
 }
 
 /** Build the manual-prune proposal a /prune picker "prune" action emits. Always source: "manual" (gate bypass). */
-export function buildManualPruneProposal(toolCallId: string, reason: string = "manual prune via /prune"): ProposedPrune {
-	return { strategyId: MANUAL_STRATEGY_ID, toolCallId, kind: "tool_result_content", reason, source: "manual" };
+export function buildManualPruneProposal(
+  toolCallId: string,
+  reason: string = "manual prune via /prune",
+): ProposedPrune {
+  return {
+    strategyId: MANUAL_STRATEGY_ID,
+    toolCallId,
+    kind: "tool_result_content",
+    reason,
+    source: "manual",
+  };
 }
 
 export interface PruneTombstoneState {
-	/** Decisions whose most recent event (decision vs restore) for their idempotencyKey is a decision. */
-	activeDecisions: PruneDecisionRecord[];
-	/** idempotencyKeys of `activeDecisions`, for pipeline seen/known-key checks. */
-	activeIdempotencyKeys: Set<string>;
-	/** idempotencyKeys whose most recent event is a restore: currently tombstoned/inactive. */
-	restoredKeys: Set<string>;
-	/** Most-recently-seen decision record per key, regardless of current tombstone state (for /prune history display). */
-	lastDecisionByKey: Map<string, PruneDecisionRecord>;
+  /** Decisions whose most recent event (decision vs restore) for their idempotencyKey is a decision. */
+  activeDecisions: PruneDecisionRecord[];
+  /** idempotencyKeys of `activeDecisions`, for pipeline seen/known-key checks. */
+  activeIdempotencyKeys: Set<string>;
+  /** idempotencyKeys whose most recent event is a restore: currently tombstoned/inactive. */
+  restoredKeys: Set<string>;
+  /** Most-recently-seen decision record per key, regardless of current tombstone state (for /prune history display). */
+  lastDecisionByKey: Map<string, PruneDecisionRecord>;
 }
 
 /**
@@ -1011,43 +975,42 @@ export interface PruneTombstoneState {
  * re-persisting a just-restored decision) and by the /prune picker (to show
  * accurate status and support prune/restore/re-prune).
  *
- * Idempotent/rebuildable like `rebuildDecisionStateFromEntries`: replaying
- * the same entries any number of times yields identical results.
+ * Idempotent: replaying the same entries any number of times yields identical results.
  */
 export function resolvePruneTombstoneState(entries: MinimalSessionEntry[]): PruneTombstoneState {
-	const lastDecisionByKey = new Map<string, PruneDecisionRecord>();
-	const lastEventKindByKey = new Map<string, "decision" | "restore">();
-
-	for (const entry of entries) {
-		if (entry.type !== "custom") continue;
-		if (entry.customType === DECISION_ENTRY_TYPE) {
-			const record = parseDecisionRecord(entry.data);
-			if (!record) continue;
-			lastDecisionByKey.set(record.idempotencyKey, record);
-			lastEventKindByKey.set(record.idempotencyKey, "decision");
-		} else if (entry.customType === RESTORE_ENTRY_TYPE) {
-			const record = parseRestoreRecord(entry.data);
-			if (!record) continue;
-			lastEventKindByKey.set(record.idempotencyKey, "restore");
-		}
-	}
-
-	const activeDecisions: PruneDecisionRecord[] = [];
-	const activeIdempotencyKeys = new Set<string>();
-	const restoredKeys = new Set<string>();
-	for (const [key, kind] of lastEventKindByKey) {
-		if (kind === "decision") {
-			const record = lastDecisionByKey.get(key);
-			if (record) {
-				activeDecisions.push(record);
-				activeIdempotencyKeys.add(key);
-			}
-		} else {
-			restoredKeys.add(key);
-		}
-	}
-
-	return { activeDecisions, activeIdempotencyKeys, restoredKeys, lastDecisionByKey };
+  const lastDecisionByKey = new Map<string, PruneDecisionRecord>();
+  const lastEventKindByKey = new Map<string, "decision" | "restore">();
+
+  for (const entry of entries) {
+    if (entry.type !== "custom") continue;
+    if (entry.customType === DECISION_ENTRY_TYPE) {
+      const record = parseDecisionRecord(entry.data);
+      if (!record) continue;
+      lastDecisionByKey.set(record.idempotencyKey, record);
+      lastEventKindByKey.set(record.idempotencyKey, "decision");
+    } else if (entry.customType === RESTORE_ENTRY_TYPE) {
+      const record = parseRestoreRecord(entry.data);
+      if (!record) continue;
+      lastEventKindByKey.set(record.idempotencyKey, "restore");
+    }
+  }
+
+  const activeDecisions: PruneDecisionRecord[] = [];
+  const activeIdempotencyKeys = new Set<string>();
+  const restoredKeys = new Set<string>();
+  for (const [key, kind] of lastEventKindByKey) {
+    if (kind === "decision") {
+      const record = lastDecisionByKey.get(key);
+      if (record) {
+        activeDecisions.push(record);
+        activeIdempotencyKeys.add(key);
+      }
+    } else {
+      restoredKeys.add(key);
+    }
+  }
+
+  return { activeDecisions, activeIdempotencyKeys, restoredKeys, lastDecisionByKey };
 }
 
 // ============================================================================
@@ -1055,30 +1018,31 @@ export function resolvePruneTombstoneState(entries: MinimalSessionEntry[]): Prun
 // ============================================================================
 
 export function buildPlaceholderText(reason: string, charsRemoved: number): string {
-	return `[pruned by ${EXTENSION_ID}: ${reason} (${charsRemoved} chars removed)]`;
+  return `[pruned by ${EXTENSION_ID}: ${reason} (${charsRemoved} chars removed)]`;
 }
 
 function contentTextLength(content: (MinimalTextContent | MinimalImageContent)[]): number {
-	return content.reduce((sum, block) => (block.type === "text" ? sum + block.text.length : sum), 0);
+  return content.reduce((sum, block) => (block.type === "text" ? sum + block.text.length : sum), 0);
 }
 
 /** Return true when a decision targets a tool result containing one or more images. */
 function isImageBearingToolResultTarget(
-	messages: MinimalMessage[],
-	decision: PruneDecisionRecord,
-	pairIndex?: Map<string, ToolCallPairIndices>,
+  messages: MinimalMessage[],
+  decision: PruneDecisionRecord,
+  pairIndex?: Map<string, ToolCallPairIndices>,
 ): boolean {
-	if (decision.kind !== "tool_result_content" || decision.correlation.type !== "toolCallId") return false;
-	const pair = findToolCallPairIndices(messages, decision.correlation.toolCallId, pairIndex);
-	if (pair.resultIndex === undefined) return false;
-	const target = messages[pair.resultIndex];
-	if (target?.role !== "toolResult") return false;
-	return (target as MinimalToolResultMessage).content.some((block) => block.type === "image");
+  if (decision.kind !== "tool_result_content" || decision.correlation.type !== "toolCallId")
+    return false;
+  const pair = findToolCallPairIndices(messages, decision.correlation.toolCallId, pairIndex);
+  if (pair.resultIndex === undefined) return false;
+  const target = messages[pair.resultIndex];
+  if (target?.role !== "toolResult") return false;
+  return (target as MinimalToolResultMessage).content.some((block) => block.type === "image");
 }
 
 export interface ApplyResult {
-	applied: boolean;
-	charsRemoved: number;
+  applied: boolean;
+  charsRemoved: number;
 }
 
 /**
@@ -1088,91 +1052,106 @@ export interface ApplyResult {
  * Gracefully no-ops when the target is absent (e.g. after compaction).
  */
 export function applyPruneDecision(
-	messages: MinimalMessage[],
-	decision: PruneDecisionRecord,
-	pairIndex?: Map<string, ToolCallPairIndices>,
+  messages: MinimalMessage[],
+  decision: PruneDecisionRecord,
+  pairIndex?: Map<string, ToolCallPairIndices>,
 ): ApplyResult {
-	if (decision.correlation.type !== "toolCallId") {
-		// v1 only ever targets tool call/result pairs; entryId correlation is
-		// reserved for future strategies and intentionally not applied yet.
-		return { applied: false, charsRemoved: 0 };
-	}
-	const pair = findToolCallPairIndices(messages, decision.correlation.toolCallId, pairIndex);
-
-	if (decision.kind === "tool_result_content") {
-		if (pair.resultIndex === undefined) return { applied: false, charsRemoved: 0 };
-		const resultMessage = messages[pair.resultIndex] as MinimalToolResultMessage;
-		const charsRemoved = contentTextLength(resultMessage.content);
-		const placeholder = decision.placeholder ?? buildPlaceholderText(decision.reason, charsRemoved);
-		messages[pair.resultIndex] = {
-			...resultMessage,
-			content: [{ type: "text", text: placeholder }],
-		};
-		return { applied: true, charsRemoved };
-	}
-
-	if (decision.kind === "tool_call_input") {
-		if (pair.assistantIndex === undefined || pair.toolCallBlockIndex === undefined) {
-			return { applied: false, charsRemoved: 0 };
-		}
-		if (pair.resultIndex === undefined) return { applied: false, charsRemoved: 0 };
-		const resultMessage = messages[pair.resultIndex] as MinimalToolResultMessage;
-		// Only errored-call inputs may ever be redacted (ticket invariant).
-		if (!resultMessage.isError) return { applied: false, charsRemoved: 0 };
-
-		const assistantMessage = messages[pair.assistantIndex] as MinimalAssistantMessage;
-		const block = assistantMessage.content[pair.toolCallBlockIndex] as MinimalToolCallContent;
-		const charsRemoved = JSON.stringify(block.arguments ?? {}).length;
-		const newContent = assistantMessage.content.slice();
-		newContent[pair.toolCallBlockIndex] = {
-			...block,
-			arguments: { pruned: true, reason: decision.reason },
-		};
-		messages[pair.assistantIndex] = { ...assistantMessage, content: newContent };
-		return { applied: true, charsRemoved };
-	}
-
-	return { applied: false, charsRemoved: 0 };
-}
-
-function resolveToolNameForPair(pair: ToolCallPairIndices, messages: MinimalMessage[]): string | undefined {
-	if (pair.resultIndex !== undefined) {
-		return (messages[pair.resultIndex] as MinimalToolResultMessage).toolName;
-	}
-	if (pair.assistantIndex !== undefined && pair.toolCallBlockIndex !== undefined) {
-		const assistantMessage = messages[pair.assistantIndex] as MinimalAssistantMessage;
-		const block = assistantMessage.content[pair.toolCallBlockIndex] as MinimalToolCallContent | undefined;
-		return block?.name;
-	}
-	return undefined;
+  if (decision.correlation.type !== "toolCallId") {
+    // v1 only ever targets tool call/result pairs; entryId correlation is
+    // reserved for future strategies and intentionally not applied yet.
+    return { applied: false, charsRemoved: 0 };
+  }
+  const pair = findToolCallPairIndices(messages, decision.correlation.toolCallId, pairIndex);
+
+  if (decision.kind === "tool_result_content") {
+    if (pair.resultIndex === undefined) return { applied: false, charsRemoved: 0 };
+    const resultMessage = messages[pair.resultIndex] as MinimalToolResultMessage;
+    const charsRemoved = contentTextLength(resultMessage.content);
+    const placeholder = decision.placeholder ?? buildPlaceholderText(decision.reason, charsRemoved);
+    messages[pair.resultIndex] = {
+      ...resultMessage,
+      content: [{ type: "text", text: placeholder }],
+    };
+    return { applied: true, charsRemoved };
+  }
+
+  if (decision.kind === "tool_call_input") {
+    if (pair.assistantIndex === undefined || pair.toolCallBlockIndex === undefined) {
+      return { applied: false, charsRemoved: 0 };
+    }
+    if (pair.resultIndex === undefined) return { applied: false, charsRemoved: 0 };
+    const resultMessage = messages[pair.resultIndex] as MinimalToolResultMessage;
+    // Only errored-call inputs may ever be redacted (ticket invariant).
+    if (!resultMessage.isError) return { applied: false, charsRemoved: 0 };
+
+    const assistantMessage = messages[pair.assistantIndex] as MinimalAssistantMessage;
+    const block = assistantMessage.content[pair.toolCallBlockIndex] as MinimalToolCallContent;
+    const charsRemoved = JSON.stringify(block.arguments ?? {}).length;
+    const newContent = assistantMessage.content.slice();
+    newContent[pair.toolCallBlockIndex] = {
+      ...block,
+      arguments: { pruned: true, reason: decision.reason },
+    };
+    messages[pair.assistantIndex] = { ...assistantMessage, content: newContent };
+    return { applied: true, charsRemoved };
+  }
+
+  return { applied: false, charsRemoved: 0 };
+}
+
+function resolveToolNameForPair(
+  pair: ToolCallPairIndices,
+  messages: MinimalMessage[],
+): string | undefined {
+  if (pair.resultIndex !== undefined) {
+    return (messages[pair.resultIndex] as MinimalToolResultMessage).toolName;
+  }
+  if (pair.assistantIndex !== undefined && pair.toolCallBlockIndex !== undefined) {
+    const assistantMessage = messages[pair.assistantIndex] as MinimalAssistantMessage;
+    const block = assistantMessage.content[pair.toolCallBlockIndex] as
+      | MinimalToolCallContent
+      | undefined;
+    return block?.name;
+  }
+  return undefined;
 }
 
 function resolveArgStringsForPair(pair: ToolCallPairIndices, messages: MinimalMessage[]): string[] {
-	if (pair.assistantIndex === undefined || pair.toolCallBlockIndex === undefined) return [];
-	const assistantMessage = messages[pair.assistantIndex] as MinimalAssistantMessage;
-	const block = assistantMessage.content[pair.toolCallBlockIndex] as MinimalToolCallContent | undefined;
-	return collectArgStringValues(block?.arguments);
+  if (pair.assistantIndex === undefined || pair.toolCallBlockIndex === undefined) return [];
+  const assistantMessage = messages[pair.assistantIndex] as MinimalAssistantMessage;
+  const block = assistantMessage.content[pair.toolCallBlockIndex] as
+    | MinimalToolCallContent
+    | undefined;
+  return collectArgStringValues(block?.arguments);
 }
 
 export function isDecisionProtected(
-	decision: PruneDecisionRecord,
-	messages: MinimalMessage[],
-	protections: PruneProtections,
-	recencyBoundaryIndex: number,
-	pairIndex?: Map<string, ToolCallPairIndices>,
+  decision: PruneDecisionRecord,
+  messages: MinimalMessage[],
+  protections: PruneProtections,
+  recencyBoundaryIndex: number,
+  pairIndex?: Map<string, ToolCallPairIndices>,
 ): boolean {
-	if (decision.correlation.type !== "toolCallId") return true; // no safe way to check protections yet
-	const pair = findToolCallPairIndices(messages, decision.correlation.toolCallId, pairIndex);
-	if (pair.resultIndex !== undefined && isWithinRecencyWindow(pair.resultIndex, recencyBoundaryIndex)) return true;
-	if (pair.assistantIndex !== undefined && isWithinRecencyWindow(pair.assistantIndex, recencyBoundaryIndex)) return true;
+  if (decision.correlation.type !== "toolCallId") return true; // no safe way to check protections yet
+  const pair = findToolCallPairIndices(messages, decision.correlation.toolCallId, pairIndex);
+  if (
+    pair.resultIndex !== undefined &&
+    isWithinRecencyWindow(pair.resultIndex, recencyBoundaryIndex)
+  )
+    return true;
+  if (
+    pair.assistantIndex !== undefined &&
+    isWithinRecencyWindow(pair.assistantIndex, recencyBoundaryIndex)
+  )
+    return true;
 
-	const toolName = resolveToolNameForPair(pair, messages);
-	if (isProtectedToolName(toolName, protections)) return true;
+  const toolName = resolveToolNameForPair(pair, messages);
+  if (isProtectedToolName(toolName, protections)) return true;
 
-	const argStrings = resolveArgStringsForPair(pair, messages);
-	if (argStrings.some((value) => isProtectedPath(value, protections))) return true;
+  const argStrings = resolveArgStringsForPair(pair, messages);
+  if (argStrings.some((value) => isProtectedPath(value, protections))) return true;
 
-	return false;
+  return false;
 }
 
 // ============================================================================
@@ -1180,10 +1159,10 @@ export function isDecisionProtected(
 // ============================================================================
 
 export interface DecisionSavingsEstimate {
-	/** Earliest message index this decision changes; used for cache-bust tail sizing. */
-	position: number;
-	/** Estimated tokens removed by this decision, via the shared estimator. */
-	tokensRemoved: number;
+  /** Earliest message index this decision changes; used for cache-bust tail sizing. */
+  position: number;
+  /** Estimated tokens removed by this decision, via the shared estimator. */
+  tokensRemoved: number;
 }
 
 /**
@@ -1193,45 +1172,49 @@ export interface DecisionSavingsEstimate {
  * (mirrors `applyPruneDecision`'s no-op conditions).
  */
 export function estimateDecisionSavings(
-	messages: MinimalMessage[],
-	decision: PruneDecisionRecord,
-	estimateTokens: TokenEstimator = estimateTokensForText,
-	pairIndex?: Map<string, ToolCallPairIndices>,
+  messages: MinimalMessage[],
+  decision: PruneDecisionRecord,
+  estimateTokens: TokenEstimator = estimateTokensForText,
+  pairIndex?: Map<string, ToolCallPairIndices>,
 ): DecisionSavingsEstimate | undefined {
-	if (decision.correlation.type !== "toolCallId") return undefined;
-	const pair = findToolCallPairIndices(messages, decision.correlation.toolCallId, pairIndex);
-
-	// Apply against a shallow copy of the array (not the message objects) so
-	// the caller's messages/content are never mutated by this preview. Indices
-	// in `pairIndex` (built from `messages`) remain valid against `preview`
-	// since slice() preserves length/order.
-	const preview = messages.slice();
-	const result = applyPruneDecision(preview, decision, pairIndex);
-	if (!result.applied) return undefined;
-
-	if (decision.kind === "tool_result_content") {
-		if (pair.resultIndex === undefined) return undefined;
-		const before = messages[pair.resultIndex] as MinimalToolResultMessage;
-		const after = preview[pair.resultIndex] as MinimalToolResultMessage;
-		const tokensBefore = estimateTokensForContent(before.content);
-		const tokensAfter = estimateTokensForContent(after.content);
-		return { position: pair.resultIndex, tokensRemoved: Math.max(0, tokensBefore - tokensAfter) };
-	}
-
-	if (decision.kind === "tool_call_input") {
-		if (pair.assistantIndex === undefined || pair.toolCallBlockIndex === undefined) return undefined;
-		const beforeBlock = (messages[pair.assistantIndex] as MinimalAssistantMessage).content[
-			pair.toolCallBlockIndex
-		] as MinimalToolCallContent;
-		const afterBlock = (preview[pair.assistantIndex] as MinimalAssistantMessage).content[
-			pair.toolCallBlockIndex
-		] as MinimalToolCallContent;
-		const tokensBefore = estimateTokens(JSON.stringify(beforeBlock.arguments ?? {}));
-		const tokensAfter = estimateTokens(JSON.stringify(afterBlock.arguments ?? {}));
-		return { position: pair.assistantIndex, tokensRemoved: Math.max(0, tokensBefore - tokensAfter) };
-	}
-
-	return undefined;
+  if (decision.correlation.type !== "toolCallId") return undefined;
+  const pair = findToolCallPairIndices(messages, decision.correlation.toolCallId, pairIndex);
+
+  // Apply against a shallow copy of the array (not the message objects) so
+  // the caller's messages/content are never mutated by this preview. Indices
+  // in `pairIndex` (built from `messages`) remain valid against `preview`
+  // since slice() preserves length/order.
+  const preview = messages.slice();
+  const result = applyPruneDecision(preview, decision, pairIndex);
+  if (!result.applied) return undefined;
+
+  if (decision.kind === "tool_result_content") {
+    if (pair.resultIndex === undefined) return undefined;
+    const before = messages[pair.resultIndex] as MinimalToolResultMessage;
+    const after = preview[pair.resultIndex] as MinimalToolResultMessage;
+    const tokensBefore = estimateTokensForContent(before.content);
+    const tokensAfter = estimateTokensForContent(after.content);
+    return { position: pair.resultIndex, tokensRemoved: Math.max(0, tokensBefore - tokensAfter) };
+  }
+
+  if (decision.kind === "tool_call_input") {
+    if (pair.assistantIndex === undefined || pair.toolCallBlockIndex === undefined)
+      return undefined;
+    const beforeBlock = (messages[pair.assistantIndex] as MinimalAssistantMessage).content[
+      pair.toolCallBlockIndex
+    ] as MinimalToolCallContent;
+    const afterBlock = (preview[pair.assistantIndex] as MinimalAssistantMessage).content[
+      pair.toolCallBlockIndex
+    ] as MinimalToolCallContent;
+    const tokensBefore = estimateTokens(JSON.stringify(beforeBlock.arguments ?? {}));
+    const tokensAfter = estimateTokens(JSON.stringify(afterBlock.arguments ?? {}));
+    return {
+      position: pair.assistantIndex,
+      tokensRemoved: Math.max(0, tokensBefore - tokensAfter),
+    };
+  }
+
+  return undefined;
 }
 
 /**
@@ -1246,41 +1229,42 @@ export function estimateDecisionSavings(
  * (negative savings) is reported as 0 chars saved, not a negative number.
  */
 export function estimateDecisionCharsSaved(
-	messages: MinimalMessage[],
-	decision: PruneDecisionRecord,
-	pairIndex?: Map<string, ToolCallPairIndices>,
+  messages: MinimalMessage[],
+  decision: PruneDecisionRecord,
+  pairIndex?: Map<string, ToolCallPairIndices>,
 ): number | undefined {
-	if (decision.correlation.type !== "toolCallId") return undefined;
-	const pair = findToolCallPairIndices(messages, decision.correlation.toolCallId, pairIndex);
-
-	// Same non-mutating preview approach as `estimateDecisionSavings`.
-	const preview = messages.slice();
-	const result = applyPruneDecision(preview, decision, pairIndex);
-	if (!result.applied) return undefined;
-
-	if (decision.kind === "tool_result_content") {
-		if (pair.resultIndex === undefined) return undefined;
-		const before = messages[pair.resultIndex] as MinimalToolResultMessage;
-		const after = preview[pair.resultIndex] as MinimalToolResultMessage;
-		const charsBefore = contentTextLength(before.content);
-		const charsAfter = contentTextLength(after.content);
-		return Math.max(0, charsBefore - charsAfter);
-	}
-
-	if (decision.kind === "tool_call_input") {
-		if (pair.assistantIndex === undefined || pair.toolCallBlockIndex === undefined) return undefined;
-		const beforeBlock = (messages[pair.assistantIndex] as MinimalAssistantMessage).content[
-			pair.toolCallBlockIndex
-		] as MinimalToolCallContent;
-		const afterBlock = (preview[pair.assistantIndex] as MinimalAssistantMessage).content[
-			pair.toolCallBlockIndex
-		] as MinimalToolCallContent;
-		const charsBefore = JSON.stringify(beforeBlock.arguments ?? {}).length;
-		const charsAfter = JSON.stringify(afterBlock.arguments ?? {}).length;
-		return Math.max(0, charsBefore - charsAfter);
-	}
-
-	return undefined;
+  if (decision.correlation.type !== "toolCallId") return undefined;
+  const pair = findToolCallPairIndices(messages, decision.correlation.toolCallId, pairIndex);
+
+  // Same non-mutating preview approach as `estimateDecisionSavings`.
+  const preview = messages.slice();
+  const result = applyPruneDecision(preview, decision, pairIndex);
+  if (!result.applied) return undefined;
+
+  if (decision.kind === "tool_result_content") {
+    if (pair.resultIndex === undefined) return undefined;
+    const before = messages[pair.resultIndex] as MinimalToolResultMessage;
+    const after = preview[pair.resultIndex] as MinimalToolResultMessage;
+    const charsBefore = contentTextLength(before.content);
+    const charsAfter = contentTextLength(after.content);
+    return Math.max(0, charsBefore - charsAfter);
+  }
+
+  if (decision.kind === "tool_call_input") {
+    if (pair.assistantIndex === undefined || pair.toolCallBlockIndex === undefined)
+      return undefined;
+    const beforeBlock = (messages[pair.assistantIndex] as MinimalAssistantMessage).content[
+      pair.toolCallBlockIndex
+    ] as MinimalToolCallContent;
+    const afterBlock = (preview[pair.assistantIndex] as MinimalAssistantMessage).content[
+      pair.toolCallBlockIndex
+    ] as MinimalToolCallContent;
+    const charsBefore = JSON.stringify(beforeBlock.arguments ?? {}).length;
+    const charsAfter = JSON.stringify(afterBlock.arguments ?? {}).length;
+    return Math.max(0, charsBefore - charsAfter);
+  }
+
+  return undefined;
 }
 
 /**
@@ -1298,44 +1282,47 @@ export function estimateDecisionCharsSaved(
  * calls needed to amortize the one-time cache bust via the recurring saving.
  */
 export interface CacheCostModelInput {
-	tailTokensAfterEarliestChange: number;
-	tokensRemoved: number;
-	cachedPriceRatio: number;
+  tailTokensAfterEarliestChange: number;
+  tokensRemoved: number;
+  cachedPriceRatio: number;
 }
 
 export interface CacheCostModelResult {
-	penalty: number;
-	recurringSaving: number;
-	/** Infinity when there is a penalty but no recurring saving to amortize it. */
-	breakEvenCalls: number;
+  penalty: number;
+  recurringSaving: number;
+  /** Infinity when there is a penalty but no recurring saving to amortize it. */
+  breakEvenCalls: number;
 }
 
 export function computeCacheCostModel(input: CacheCostModelInput): CacheCostModelResult {
-	const r = Number.isFinite(input.cachedPriceRatio) ? Math.min(1, Math.max(0, input.cachedPriceRatio)) : DEFAULT_CACHED_PRICE_RATIO;
-	const tailTokens = Math.max(0, input.tailTokensAfterEarliestChange);
-	const tokensRemoved = Math.max(0, input.tokensRemoved);
-	const penalty = (1 - r) * tailTokens;
-	const recurringSaving = r * tokensRemoved;
-	const breakEvenCalls = recurringSaving > 0 ? penalty / recurringSaving : penalty > 0 ? Infinity : 0;
-	return { penalty, recurringSaving, breakEvenCalls };
+  const r = Number.isFinite(input.cachedPriceRatio)
+    ? Math.min(1, Math.max(0, input.cachedPriceRatio))
+    : DEFAULT_CACHED_PRICE_RATIO;
+  const tailTokens = Math.max(0, input.tailTokensAfterEarliestChange);
+  const tokensRemoved = Math.max(0, input.tokensRemoved);
+  const penalty = (1 - r) * tailTokens;
+  const recurringSaving = r * tokensRemoved;
+  const breakEvenCalls =
+    recurringSaving > 0 ? penalty / recurringSaving : penalty > 0 ? Infinity : 0;
+  return { penalty, recurringSaving, breakEvenCalls };
 }
 
 /** A fresh, automatic (non-manual, non-persisted) decision pending the net-benefit gate. */
 export interface GateCandidate {
-	decision: PruneDecisionRecord;
-	position: number;
-	tokensRemoved: number;
+  decision: PruneDecisionRecord;
+  position: number;
+  tokensRemoved: number;
 }
 
 export interface NetBenefitGateResult {
-	accepted: PruneDecisionRecord[];
-	rejected: PruneDecisionRecord[];
-	mode: GateMode;
-	threshold: number;
-	earliestPosition: number | undefined;
-	tailTokensAfterEarliestChange: number;
-	totalTokensRemoved: number;
-	cost: CacheCostModelResult | undefined;
+  accepted: PruneDecisionRecord[];
+  rejected: PruneDecisionRecord[];
+  mode: GateMode;
+  threshold: number;
+  earliestPosition: number | undefined;
+  tailTokensAfterEarliestChange: number;
+  totalTokensRemoved: number;
+  cost: CacheCostModelResult | undefined;
 }
 
 /**
@@ -1350,73 +1337,77 @@ export interface NetBenefitGateResult {
  * `runDynamicContextPruningPipeline`).
  */
 export function evaluateNetBenefitGate(
-	candidates: GateCandidate[],
-	messages: MinimalMessage[],
-	gateConfig: PruneGateConfig,
-	agentState: AgentState = "idle",
-	estimateTokens: TokenEstimator = estimateTokensForText,
+  candidates: GateCandidate[],
+  messages: MinimalMessage[],
+  gateConfig: PruneGateConfig,
+  agentState: AgentState = "idle",
+  estimateTokens: TokenEstimator = estimateTokensForText,
 ): NetBenefitGateResult {
-	const threshold = resolveBreakEvenThreshold(gateConfig, agentState);
-
-	if (candidates.length === 0) {
-		return {
-			accepted: [],
-			rejected: [],
-			mode: gateConfig.mode,
-			threshold,
-			earliestPosition: undefined,
-			tailTokensAfterEarliestChange: 0,
-			totalTokensRemoved: 0,
-			cost: undefined,
-		};
-	}
-
-	if (gateConfig.mode === "off") {
-		// Gate fully bypassed: no cost modelling performed at all.
-		return {
-			accepted: candidates.map((c) => c.decision),
-			rejected: [],
-			mode: "off",
-			threshold,
-			earliestPosition: undefined,
-			tailTokensAfterEarliestChange: 0,
-			totalTokensRemoved: candidates.reduce((sum, c) => sum + c.tokensRemoved, 0),
-			cost: undefined,
-		};
-	}
-
-	const earliestPosition = Math.min(...candidates.map((c) => c.position));
-	const tailTokensAfterEarliestChange = estimateTailTokens(messages, earliestPosition, estimateTokens);
-	const totalTokensRemoved = candidates.reduce((sum, c) => sum + c.tokensRemoved, 0);
-	const cost = computeCacheCostModel({
-		tailTokensAfterEarliestChange,
-		tokensRemoved: totalTokensRemoved,
-		cachedPriceRatio: gateConfig.cachedPriceRatio,
-	});
-
-	if (gateConfig.mode === "always-apply" || cost.breakEvenCalls <= threshold) {
-		return {
-			accepted: candidates.map((c) => c.decision),
-			rejected: [],
-			mode: gateConfig.mode,
-			threshold,
-			earliestPosition,
-			tailTokensAfterEarliestChange,
-			totalTokensRemoved,
-			cost,
-		};
-	}
-
-	return {
-		accepted: [],
-		rejected: candidates.map((c) => c.decision),
-		mode: gateConfig.mode,
-		threshold,
-		earliestPosition,
-		tailTokensAfterEarliestChange,
-		totalTokensRemoved,
-		cost,
-	};
+  const threshold = resolveBreakEvenThreshold(gateConfig, agentState);
+
+  if (candidates.length === 0) {
+    return {
+      accepted: [],
+      rejected: [],
+      mode: gateConfig.mode,
+      threshold,
+      earliestPosition: undefined,
+      tailTokensAfterEarliestChange: 0,
+      totalTokensRemoved: 0,
+      cost: undefined,
+    };
+  }
+
+  if (gateConfig.mode === "off") {
+    // Gate fully bypassed: no cost modelling performed at all.
+    return {
+      accepted: candidates.map((c) => c.decision),
+      rejected: [],
+      mode: "off",
+      threshold,
+      earliestPosition: undefined,
+      tailTokensAfterEarliestChange: 0,
+      totalTokensRemoved: candidates.reduce((sum, c) => sum + c.tokensRemoved, 0),
+      cost: undefined,
+    };
+  }
+
+  const earliestPosition = Math.min(...candidates.map((c) => c.position));
+  const tailTokensAfterEarliestChange = estimateTailTokens(
+    messages,
+    earliestPosition,
+    estimateTokens,
+  );
+  const totalTokensRemoved = candidates.reduce((sum, c) => sum + c.tokensRemoved, 0);
+  const cost = computeCacheCostModel({
+    tailTokensAfterEarliestChange,
+    tokensRemoved: totalTokensRemoved,
+    cachedPriceRatio: gateConfig.cachedPriceRatio,
+  });
+
+  if (gateConfig.mode === "always-apply" || cost.breakEvenCalls <= threshold) {
+    return {
+      accepted: candidates.map((c) => c.decision),
+      rejected: [],
+      mode: gateConfig.mode,
+      threshold,
+      earliestPosition,
+      tailTokensAfterEarliestChange,
+      totalTokensRemoved,
+      cost,
+    };
+  }
+
+  return {
+    accepted: [],
+    rejected: candidates.map((c) => c.decision),
+    mode: gateConfig.mode,
+    threshold,
+    earliestPosition,
+    tailTokensAfterEarliestChange,
+    totalTokensRemoved,
+    cost,
+  };
 }
 
 // ============================================================================
@@ -1425,106 +1416,118 @@ export function evaluateNetBenefitGate(
 // ============================================================================
 
 export interface PruneStatsRecord {
-	idempotencyKey: string;
-	strategyId: string;
-	tokensRemoved: number;
-	appliedAt: string;
+  idempotencyKey: string;
+  strategyId: string;
+  tokensRemoved: number;
+  appliedAt: string;
 }
 
 export function buildStatsRecord(
-	decision: PruneDecisionRecord,
-	tokensRemoved: number,
-	appliedAt: string = new Date().toISOString(),
+  decision: PruneDecisionRecord,
+  tokensRemoved: number,
+  appliedAt: string = new Date().toISOString(),
 ): PruneStatsRecord {
-	return {
-		idempotencyKey: decision.idempotencyKey,
-		strategyId: decision.strategyId,
-		tokensRemoved: Math.max(0, tokensRemoved),
-		appliedAt,
-	};
+  return {
+    idempotencyKey: decision.idempotencyKey,
+    strategyId: decision.strategyId,
+    tokensRemoved: Math.max(0, tokensRemoved),
+    appliedAt,
+  };
 }
 
 /** Parse a persisted stats CustomEntry payload back into a record. Returns undefined if malformed. */
 export function parseStatsRecord(data: unknown): PruneStatsRecord | undefined {
-	if (!data || typeof data !== "object") return undefined;
-	const raw = data as Record<string, unknown>;
-	if (typeof raw.idempotencyKey !== "string" || !raw.idempotencyKey) return undefined;
-	if (typeof raw.strategyId !== "string") return undefined;
-	if (typeof raw.tokensRemoved !== "number" || !Number.isFinite(raw.tokensRemoved)) return undefined;
-	if (typeof raw.appliedAt !== "string") return undefined;
-	return { idempotencyKey: raw.idempotencyKey, strategyId: raw.strategyId, tokensRemoved: raw.tokensRemoved, appliedAt: raw.appliedAt };
+  if (!data || typeof data !== "object") return undefined;
+  const raw = data as Record<string, unknown>;
+  if (typeof raw.idempotencyKey !== "string" || !raw.idempotencyKey) return undefined;
+  if (typeof raw.strategyId !== "string") return undefined;
+  if (typeof raw.tokensRemoved !== "number" || !Number.isFinite(raw.tokensRemoved))
+    return undefined;
+  if (typeof raw.appliedAt !== "string") return undefined;
+  return {
+    idempotencyKey: raw.idempotencyKey,
+    strategyId: raw.strategyId,
+    tokensRemoved: raw.tokensRemoved,
+    appliedAt: raw.appliedAt,
+  };
 }
 
 export interface StrategyStats {
-	tokensRemoved: number;
-	pruneCount: number;
+  tokensRemoved: number;
+  pruneCount: number;
 }
 
 export interface CumulativePruneStats {
-	totalTokensRemoved: number;
-	totalPruneCount: number;
-	byStrategy: Record<string, StrategyStats>;
+  totalTokensRemoved: number;
+  totalPruneCount: number;
+  byStrategy: Record<string, StrategyStats>;
 }
 
 export function emptyCumulativeStats(): CumulativePruneStats {
-	return { totalTokensRemoved: 0, totalPruneCount: 0, byStrategy: {} };
+  return { totalTokensRemoved: 0, totalPruneCount: 0, byStrategy: {} };
 }
 
 /** Fold a single stats record into cumulative stats (pure; returns a new object). */
-export function foldStatsRecord(stats: CumulativePruneStats, record: PruneStatsRecord): CumulativePruneStats {
-	const existing = stats.byStrategy[record.strategyId] ?? { tokensRemoved: 0, pruneCount: 0 };
-	return {
-		totalTokensRemoved: stats.totalTokensRemoved + record.tokensRemoved,
-		totalPruneCount: stats.totalPruneCount + 1,
-		byStrategy: {
-			...stats.byStrategy,
-			[record.strategyId]: {
-				tokensRemoved: existing.tokensRemoved + record.tokensRemoved,
-				pruneCount: existing.pruneCount + 1,
-			},
-		},
-	};
+export function foldStatsRecord(
+  stats: CumulativePruneStats,
+  record: PruneStatsRecord,
+): CumulativePruneStats {
+  const existing = stats.byStrategy[record.strategyId] ?? { tokensRemoved: 0, pruneCount: 0 };
+  return {
+    totalTokensRemoved: stats.totalTokensRemoved + record.tokensRemoved,
+    totalPruneCount: stats.totalPruneCount + 1,
+    byStrategy: {
+      ...stats.byStrategy,
+      [record.strategyId]: {
+        tokensRemoved: existing.tokensRemoved + record.tokensRemoved,
+        pruneCount: existing.pruneCount + 1,
+      },
+    },
+  };
 }
 
 export interface RebuiltStatsState {
-	stats: CumulativePruneStats;
-	seenKeys: Set<string>;
+  stats: CumulativePruneStats;
+  seenKeys: Set<string>;
 }
 
 /**
  * Rebuild cumulative stats from persisted CustomEntry records on a branch.
- * Idempotent/rebuildable like `rebuildDecisionStateFromEntries`: duplicate or
- * replayed entries for the same idempotencyKey collapse to a single fold.
+ * Idempotent: duplicate or replayed entries for the same idempotencyKey collapse to a single fold.
  */
 export function rebuildStatsStateFromEntries(entries: MinimalSessionEntry[]): RebuiltStatsState {
-	let stats = emptyCumulativeStats();
-	const seenKeys = new Set<string>();
-	for (const entry of entries) {
-		if (entry.type !== "custom" || entry.customType !== STATS_ENTRY_TYPE) continue;
-		const record = parseStatsRecord(entry.data);
-		if (!record) continue;
-		if (seenKeys.has(record.idempotencyKey)) continue;
-		seenKeys.add(record.idempotencyKey);
-		stats = foldStatsRecord(stats, record);
-	}
-	return { stats, seenKeys };
+  let stats = emptyCumulativeStats();
+  const seenKeys = new Set<string>();
+  for (const entry of entries) {
+    if (entry.type !== "custom" || entry.customType !== STATS_ENTRY_TYPE) continue;
+    const record = parseStatsRecord(entry.data);
+    if (!record) continue;
+    if (seenKeys.has(record.idempotencyKey)) continue;
+    seenKeys.add(record.idempotencyKey);
+    stats = foldStatsRecord(stats, record);
+  }
+  return { stats, seenKeys };
 }
 
 /** Live (non-persisted) snapshot of raw vs effective (post-prune) context size for a single call. */
 export interface ContextSizeSnapshot {
-	rawTokens: number;
-	effectiveTokens: number;
-	tokensSavedThisCall: number;
+  rawTokens: number;
+  effectiveTokens: number;
+  tokensSavedThisCall: number;
 }
 
 export function computeContextSizeSnapshot(
-	rawMessages: MinimalMessage[],
-	effectiveMessages: MinimalMessage[],
-	estimateTokens: TokenEstimator = estimateTokensForText,
+  rawMessages: MinimalMessage[],
+  effectiveMessages: MinimalMessage[],
+  estimateTokens: TokenEstimator = estimateTokensForText,
 ): ContextSizeSnapshot {
-	const rawTokens = estimateTailTokens(rawMessages, 0, estimateTokens);
-	const effectiveTokens = estimateTailTokens(effectiveMessages, 0, estimateTokens);
-	return { rawTokens, effectiveTokens, tokensSavedThisCall: Math.max(0, rawTokens - effectiveTokens) };
+  const rawTokens = estimateTailTokens(rawMessages, 0, estimateTokens);
+  const effectiveTokens = estimateTailTokens(effectiveMessages, 0, estimateTokens);
+  return {
+    rawTokens,
+    effectiveTokens,
+    tokensSavedThisCall: Math.max(0, rawTokens - effectiveTokens),
+  };
 }
 
 // ============================================================================
@@ -1532,31 +1535,31 @@ export function computeContextSizeSnapshot(
 // ============================================================================
 
 export interface StrategyProposeInput {
-	messages: MinimalMessage[];
-	protections: PruneProtections;
-	estimateTokens: TokenEstimator;
-	/**
-	 * Full config, so strategies can read their own enable flag and any
-	 * strategy-specific settings (e.g. error-purge's `minTurnsOld`).
-	 * Protection/recency filtering is handled centrally by the pipeline
-	 * (see `isDecisionProtected`); strategies do not need to re-check it.
-	 */
-	config: DynamicContextPruningConfig;
-	/**
-	 * Session working directory (pe-qs8j), used to normalize relative file
-	 * paths (e.g. from read/write/edit tool args) against an absolute base so
-	 * the same file referenced via different relative/absolute spellings is
-	 * recognized as the same path. Optional/backward-compatible: undefined
-	 * when the caller doesn't have a cwd available (e.g. older callers/tests);
-	 * strategies that need it should degrade gracefully (best-effort relative
-	 * normalization only) rather than throw.
-	 */
-	cwd?: string;
+  messages: MinimalMessage[];
+  protections: PruneProtections;
+  estimateTokens: TokenEstimator;
+  /**
+   * Full config, so strategies can read their own enable flag and any
+   * strategy-specific settings (e.g. error-purge's `minTurnsOld`).
+   * Protection/recency filtering is handled centrally by the pipeline
+   * (see `isDecisionProtected`); strategies do not need to re-check it.
+   */
+  config: DynamicContextPruningConfig;
+  /**
+   * Session working directory (pe-qs8j), used to normalize relative file
+   * paths (e.g. from read/write/edit tool args) against an absolute base so
+   * the same file referenced via different relative/absolute spellings is
+   * recognized as the same path. Optional/backward-compatible: undefined
+   * when the caller doesn't have a cwd available (e.g. older callers/tests);
+   * strategies that need it should degrade gracefully (best-effort relative
+   * normalization only) rather than throw.
+   */
+  cwd?: string;
 }
 
 export interface PruneStrategy {
-	id: string;
-	propose(input: StrategyProposeInput): ProposedPrune[];
+  id: string;
+  propose(input: StrategyProposeInput): ProposedPrune[];
 }
 
 // ----------------------------------------------------------------------
@@ -1573,34 +1576,34 @@ export interface PruneStrategy {
  * original key order.
  */
 export function canonicalizeArguments(value: unknown): unknown {
-	if (Array.isArray(value)) return value.map((item) => canonicalizeArguments(item));
-	if (value && typeof value === "object") {
-		const obj = value as Record<string, unknown>;
-		const sorted: Record<string, unknown> = {};
-		for (const key of Object.keys(obj).sort()) sorted[key] = canonicalizeArguments(obj[key]);
-		return sorted;
-	}
-	return value;
+  if (Array.isArray(value)) return value.map((item) => canonicalizeArguments(item));
+  if (value && typeof value === "object") {
+    const obj = value as Record<string, unknown>;
+    const sorted: Record<string, unknown> = {};
+    for (const key of Object.keys(obj).sort()) sorted[key] = canonicalizeArguments(obj[key]);
+    return sorted;
+  }
+  return value;
 }
 
 /** Canonical JSON string for a tool call's arguments (see `canonicalizeArguments`). */
 export function canonicalizeArgumentsJSON(args: unknown): string {
-	return JSON.stringify(canonicalizeArguments(args ?? {}));
+  return JSON.stringify(canonicalizeArguments(args ?? {}));
 }
 
 /** Dedup key: identical tool name (case-insensitive) + canonicalized args JSON. */
 export function buildDedupeKey(toolName: string, args: unknown): string {
-	return `${toolName.trim().toLowerCase()}::${canonicalizeArgumentsJSON(args)}`;
+  return `${toolName.trim().toLowerCase()}::${canonicalizeArgumentsJSON(args)}`;
 }
 
 /** Exported for /prune picker item building (pe-8re9) and direct unit testing. */
 export interface ToolCallOccurrence {
-	toolCallId: string;
-	toolName: string;
-	arguments: Record<string, unknown> | undefined;
-	assistantIndex: number;
-	resultIndex: number;
-	isError: boolean;
+  toolCallId: string;
+  toolName: string;
+  arguments: Record<string, unknown> | undefined;
+  assistantIndex: number;
+  resultIndex: number;
+  isError: boolean;
 }
 
 /**
@@ -1610,35 +1613,37 @@ export interface ToolCallOccurrence {
  * child results as transcript messages, so expanding it would double-count or
  * invent prune targets.
  */
-export function collectCompletedToolCallOccurrences(messages: MinimalMessage[]): ToolCallOccurrence[] {
-	const resultIndexById = new Map<string, number>();
-	const isErrorById = new Map<string, boolean>();
-	messages.forEach((message, index) => {
-		if (message.role === "toolResult") {
-			const result = message as MinimalToolResultMessage;
-			resultIndexById.set(result.toolCallId, index);
-			isErrorById.set(result.toolCallId, result.isError);
-		}
-	});
-
-	const occurrences: ToolCallOccurrence[] = [];
-	messages.forEach((message, assistantIndex) => {
-		if (message.role !== "assistant") return;
-		for (const block of (message as MinimalAssistantMessage).content) {
-			if (block.type !== "toolCall") continue;
-			const resultIndex = resultIndexById.get(block.id);
-			if (resultIndex === undefined) continue; // still in flight; nothing to dedupe/purge yet
-			occurrences.push({
-				toolCallId: block.id,
-				toolName: block.name,
-				arguments: block.arguments,
-				assistantIndex,
-				resultIndex,
-				isError: isErrorById.get(block.id) ?? false,
-			});
-		}
-	});
-	return occurrences;
+export function collectCompletedToolCallOccurrences(
+  messages: MinimalMessage[],
+): ToolCallOccurrence[] {
+  const resultIndexById = new Map<string, number>();
+  const isErrorById = new Map<string, boolean>();
+  messages.forEach((message, index) => {
+    if (message.role === "toolResult") {
+      const result = message as MinimalToolResultMessage;
+      resultIndexById.set(result.toolCallId, index);
+      isErrorById.set(result.toolCallId, result.isError);
+    }
+  });
+
+  const occurrences: ToolCallOccurrence[] = [];
+  messages.forEach((message, assistantIndex) => {
+    if (message.role !== "assistant") return;
+    for (const block of (message as MinimalAssistantMessage).content) {
+      if (block.type !== "toolCall") continue;
+      const resultIndex = resultIndexById.get(block.id);
+      if (resultIndex === undefined) continue; // still in flight; nothing to dedupe/purge yet
+      occurrences.push({
+        toolCallId: block.id,
+        toolName: block.name,
+        arguments: block.arguments,
+        assistantIndex,
+        resultIndex,
+        isError: isErrorById.get(block.id) ?? false,
+      });
+    }
+  });
+  return occurrences;
 }
 
 // ----------------------------------------------------------------------
@@ -1647,40 +1652,40 @@ export function collectCompletedToolCallOccurrences(messages: MinimalMessage[]):
 
 /** Placeholder text for a duplicate tool result whose content was replaced. */
 export function buildDedupePlaceholder(toolName: string, newestToolCallId: string): string {
-	return `[pruned by ${EXTENSION_ID}: duplicate ${toolName} call result; see newest occurrence (call ${newestToolCallId})]`;
+  return `[pruned by ${EXTENSION_ID}: duplicate ${toolName} call result; see newest occurrence (call ${newestToolCallId})]`;
 }
 
 export const dedupeStrategy: PruneStrategy = {
-	id: DEDUPE_STRATEGY_ID,
-	propose(input: StrategyProposeInput): ProposedPrune[] {
-		if (input.config.strategies.dedupe.enabled === false) return [];
-
-		const occurrences = collectCompletedToolCallOccurrences(input.messages);
-		const groups = new Map<string, ToolCallOccurrence[]>();
-		for (const occurrence of occurrences) {
-			const key = buildDedupeKey(occurrence.toolName, occurrence.arguments);
-			const group = groups.get(key);
-			if (group) group.push(occurrence);
-			else groups.set(key, [occurrence]);
-		}
-
-		const proposals: ProposedPrune[] = [];
-		for (const group of groups.values()) {
-			if (group.length < 2) continue;
-			// Occurrences are collected in message order, so the last one is newest.
-			const newest = group[group.length - 1];
-			for (const occurrence of group.slice(0, -1)) {
-				proposals.push({
-					strategyId: DEDUPE_STRATEGY_ID,
-					toolCallId: occurrence.toolCallId,
-					kind: "tool_result_content",
-					reason: `duplicate ${occurrence.toolName} call; see result of call ${newest.toolCallId}`,
-					placeholder: buildDedupePlaceholder(occurrence.toolName, newest.toolCallId),
-				});
-			}
-		}
-		return proposals;
-	},
+  id: DEDUPE_STRATEGY_ID,
+  propose(input: StrategyProposeInput): ProposedPrune[] {
+    if (input.config.strategies.dedupe.enabled === false) return [];
+
+    const occurrences = collectCompletedToolCallOccurrences(input.messages);
+    const groups = new Map<string, ToolCallOccurrence[]>();
+    for (const occurrence of occurrences) {
+      const key = buildDedupeKey(occurrence.toolName, occurrence.arguments);
+      const group = groups.get(key);
+      if (group) group.push(occurrence);
+      else groups.set(key, [occurrence]);
+    }
+
+    const proposals: ProposedPrune[] = [];
+    for (const group of groups.values()) {
+      if (group.length < 2) continue;
+      // Occurrences are collected in message order, so the last one is newest.
+      const newest = group[group.length - 1];
+      for (const occurrence of group.slice(0, -1)) {
+        proposals.push({
+          strategyId: DEDUPE_STRATEGY_ID,
+          toolCallId: occurrence.toolCallId,
+          kind: "tool_result_content",
+          reason: `duplicate ${occurrence.toolName} call; see result of call ${newest.toolCallId}`,
+          placeholder: buildDedupePlaceholder(occurrence.toolName, newest.toolCallId),
+        });
+      }
+    }
+    return proposals;
+  },
 };
 
 // ----------------------------------------------------------------------
@@ -1688,27 +1693,27 @@ export const dedupeStrategy: PruneStrategy = {
 // ----------------------------------------------------------------------
 
 export const errorPurgeStrategy: PruneStrategy = {
-	id: ERROR_PURGE_STRATEGY_ID,
-	propose(input: StrategyProposeInput): ProposedPrune[] {
-		if (input.config.strategies.errorPurge.enabled === false) return [];
-		const minTurnsOld = input.config.strategies.errorPurge.minTurnsOld;
-
-		const occurrences = collectCompletedToolCallOccurrences(input.messages);
-		const proposals: ProposedPrune[] = [];
-		for (const occurrence of occurrences) {
-			if (!occurrence.isError) continue;
-			const turnsElapsed = computeTurnsElapsedSince(input.messages, occurrence.assistantIndex);
-			// Strictly older than `minTurnsOld` turns (e.g. default 4: eligible at 5+, not at exactly 4).
-			if (turnsElapsed <= minTurnsOld) continue;
-			proposals.push({
-				strategyId: ERROR_PURGE_STRATEGY_ID,
-				toolCallId: occurrence.toolCallId,
-				kind: "tool_call_input",
-				reason: `errored ${occurrence.toolName} call input older than ${minTurnsOld} turns`,
-			});
-		}
-		return proposals;
-	},
+  id: ERROR_PURGE_STRATEGY_ID,
+  propose(input: StrategyProposeInput): ProposedPrune[] {
+    if (input.config.strategies.errorPurge.enabled === false) return [];
+    const minTurnsOld = input.config.strategies.errorPurge.minTurnsOld;
+
+    const occurrences = collectCompletedToolCallOccurrences(input.messages);
+    const proposals: ProposedPrune[] = [];
+    for (const occurrence of occurrences) {
+      if (!occurrence.isError) continue;
+      const turnsElapsed = computeTurnsElapsedSince(input.messages, occurrence.assistantIndex);
+      // Strictly older than `minTurnsOld` turns (e.g. default 4: eligible at 5+, not at exactly 4).
+      if (turnsElapsed <= minTurnsOld) continue;
+      proposals.push({
+        strategyId: ERROR_PURGE_STRATEGY_ID,
+        toolCallId: occurrence.toolCallId,
+        kind: "tool_call_input",
+        reason: `errored ${occurrence.toolName} call input older than ${minTurnsOld} turns`,
+      });
+    }
+    return proposals;
+  },
 };
 
 // ----------------------------------------------------------------------
@@ -1762,10 +1767,12 @@ type FileOpKind = "read" | "write" | "edit";
 const FILE_OP_TOOL_NAMES: ReadonlySet<string> = new Set(["read", "write", "edit"]);
 
 /** Extract a file path from tool-call arguments, checking common arg names defensively. */
-export function extractFileOpPathArg(args: Record<string, unknown> | undefined): string | undefined {
-	if (!args || typeof args !== "object") return undefined;
-	const raw = (args.path ?? args.file_path ?? args.filePath) as unknown;
-	return typeof raw === "string" && raw.trim().length > 0 ? raw : undefined;
+export function extractFileOpPathArg(
+  args: Record<string, unknown> | undefined,
+): string | undefined {
+  if (!args || typeof args !== "object") return undefined;
+  const raw = (args.path ?? args.file_path ?? args.filePath) as unknown;
+  return typeof raw === "string" && raw.trim().length > 0 ? raw : undefined;
 }
 
 /**
@@ -1777,32 +1784,39 @@ export function extractFileOpPathArg(args: Record<string, unknown> | undefined):
  * spellings of the same file will NOT be unified in that case.
  */
 export function normalizeFileOpsPath(rawPath: string, cwd: string | undefined): string {
-	const trimmed = rawPath.trim();
-	if (!trimmed) return trimmed;
-	const absoluteOrRelative = cwd && !path.isAbsolute(trimmed) ? path.resolve(cwd, trimmed) : trimmed;
-	return path.normalize(absoluteOrRelative);
+  const trimmed = rawPath.trim();
+  if (!trimmed) return trimmed;
+  const absoluteOrRelative =
+    cwd && !path.isAbsolute(trimmed) ? path.resolve(cwd, trimmed) : trimmed;
+  return path.normalize(absoluteOrRelative);
 }
 
 /** A read's line range. `end === undefined` means the read continues through end-of-file. */
 export interface FileReadRange {
-	start: number;
-	end: number | undefined;
+  start: number;
+  end: number | undefined;
 }
 
 /** Compute a read's line range from its `offset`/`limit` args (see pi's `read` tool: 1-indexed offset, line-count limit). */
 export function computeFileReadRange(args: Record<string, unknown> | undefined): FileReadRange {
-	const offsetRaw = args?.offset;
-	const limitRaw = args?.limit;
-	const offset = typeof offsetRaw === "number" && Number.isFinite(offsetRaw) && offsetRaw > 0 ? offsetRaw : undefined;
-	const limit = typeof limitRaw === "number" && Number.isFinite(limitRaw) && limitRaw > 0 ? limitRaw : undefined;
-	const start = offset ?? 1;
-	const end = limit !== undefined ? start + limit - 1 : undefined;
-	return { start, end };
+  const offsetRaw = args?.offset;
+  const limitRaw = args?.limit;
+  const offset =
+    typeof offsetRaw === "number" && Number.isFinite(offsetRaw) && offsetRaw > 0
+      ? offsetRaw
+      : undefined;
+  const limit =
+    typeof limitRaw === "number" && Number.isFinite(limitRaw) && limitRaw > 0
+      ? limitRaw
+      : undefined;
+  const start = offset ?? 1;
+  const end = limit !== undefined ? start + limit - 1 : undefined;
+  return { start, end };
 }
 
 /** True when a range represents a full-file read (starts at line 1, no limit). */
 export function isFullFileReadRange(range: FileReadRange): boolean {
-	return range.start === 1 && range.end === undefined;
+  return range.start === 1 && range.end === undefined;
 }
 
 /**
@@ -1819,188 +1833,211 @@ export function isFullFileReadRange(range: FileReadRange): boolean {
  *   - Otherwise (both bounded), `later` covers `earlier` iff later.end >= earlier.end.
  */
 export function readRangeCovers(later: FileReadRange, earlier: FileReadRange): boolean {
-	if (later.start > earlier.start) return false;
-	if (later.end === undefined) return true;
-	if (earlier.end === undefined) return false;
-	return later.end >= earlier.end;
+  if (later.start > earlier.start) return false;
+  if (later.end === undefined) return true;
+  if (earlier.end === undefined) return false;
+  return later.end >= earlier.end;
 }
 
 interface FileOpOccurrence {
-	toolCallId: string;
-	kind: FileOpKind;
-	normalizedPath: string;
-	range: FileReadRange | undefined;
-	isError: boolean;
-	resultTextLength: number;
-	assistantIndex: number;
-}
-
-function collectFileOpOccurrences(messages: MinimalMessage[], cwd: string | undefined): FileOpOccurrence[] {
-	const occurrences: FileOpOccurrence[] = [];
-	for (const occurrence of collectCompletedToolCallOccurrences(messages)) {
-		const kind = occurrence.toolName.trim().toLowerCase();
-		if (!FILE_OP_TOOL_NAMES.has(kind)) continue;
-		const rawPath = extractFileOpPathArg(occurrence.arguments);
-		if (!rawPath) continue; // can't safely correlate without a path
-		const normalizedPath = normalizeFileOpsPath(rawPath, cwd);
-		if (!normalizedPath) continue;
-		const resultMessage = messages[occurrence.resultIndex] as MinimalToolResultMessage;
-		occurrences.push({
-			toolCallId: occurrence.toolCallId,
-			kind: kind as FileOpKind,
-			normalizedPath,
-			range: kind === "read" ? computeFileReadRange(occurrence.arguments) : undefined,
-			isError: occurrence.isError,
-			resultTextLength: contentTextLength(resultMessage.content),
-			assistantIndex: occurrence.assistantIndex,
-		});
-	}
-	return occurrences;
-}
-
-function buildFileChangedPlaceholder(normalizedPath: string, supersedingKind: FileOpKind, supersedingToolCallId: string): string {
-	return `[pruned by ${EXTENSION_ID}: file has since changed — ${normalizedPath} was modified by a later ${supersedingKind} (call ${supersedingToolCallId})]`;
-}
-
-function buildSupersededReadPlaceholder(normalizedPath: string, supersedingToolCallId: string): string {
-	return `[pruned by ${EXTENSION_ID}: superseded by newer read of ${normalizedPath} (call ${supersedingToolCallId})]`;
-}
-
-function buildSupersededWritePlaceholder(normalizedPath: string, supersedingKind: FileOpKind, supersedingToolCallId: string): string {
-	return `[pruned by ${EXTENSION_ID}: superseded by newer ${supersedingKind} of ${normalizedPath} (call ${supersedingToolCallId})]`;
+  toolCallId: string;
+  kind: FileOpKind;
+  normalizedPath: string;
+  range: FileReadRange | undefined;
+  isError: boolean;
+  resultTextLength: number;
+  assistantIndex: number;
+}
+
+function collectFileOpOccurrences(
+  messages: MinimalMessage[],
+  cwd: string | undefined,
+): FileOpOccurrence[] {
+  const occurrences: FileOpOccurrence[] = [];
+  for (const occurrence of collectCompletedToolCallOccurrences(messages)) {
+    const kind = occurrence.toolName.trim().toLowerCase();
+    if (!FILE_OP_TOOL_NAMES.has(kind)) continue;
+    const rawPath = extractFileOpPathArg(occurrence.arguments);
+    if (!rawPath) continue; // can't safely correlate without a path
+    const normalizedPath = normalizeFileOpsPath(rawPath, cwd);
+    if (!normalizedPath) continue;
+    const resultMessage = messages[occurrence.resultIndex] as MinimalToolResultMessage;
+    occurrences.push({
+      toolCallId: occurrence.toolCallId,
+      kind: kind as FileOpKind,
+      normalizedPath,
+      range: kind === "read" ? computeFileReadRange(occurrence.arguments) : undefined,
+      isError: occurrence.isError,
+      resultTextLength: contentTextLength(resultMessage.content),
+      assistantIndex: occurrence.assistantIndex,
+    });
+  }
+  return occurrences;
+}
+
+function buildFileChangedPlaceholder(
+  normalizedPath: string,
+  supersedingKind: FileOpKind,
+  supersedingToolCallId: string,
+): string {
+  return `[pruned by ${EXTENSION_ID}: file has since changed — ${normalizedPath} was modified by a later ${supersedingKind} (call ${supersedingToolCallId})]`;
+}
+
+function buildSupersededReadPlaceholder(
+  normalizedPath: string,
+  supersedingToolCallId: string,
+): string {
+  return `[pruned by ${EXTENSION_ID}: superseded by newer read of ${normalizedPath} (call ${supersedingToolCallId})]`;
+}
+
+function buildSupersededWritePlaceholder(
+  normalizedPath: string,
+  supersedingKind: FileOpKind,
+  supersedingToolCallId: string,
+): string {
+  return `[pruned by ${EXTENSION_ID}: superseded by newer ${supersedingKind} of ${normalizedPath} (call ${supersedingToolCallId})]`;
 }
 
 export const supersededFileOpsStrategy: PruneStrategy = {
-	id: SUPERSEDED_FILE_OPS_STRATEGY_ID,
-	propose(input: StrategyProposeInput): ProposedPrune[] {
-		if (input.config.strategies.supersededFileOps.enabled === false) return [];
-
-		const occurrences = collectFileOpOccurrences(input.messages, input.cwd);
-		const byPath = new Map<string, FileOpOccurrence[]>();
-		for (const occurrence of occurrences) {
-			const group = byPath.get(occurrence.normalizedPath);
-			if (group) group.push(occurrence);
-			else byPath.set(occurrence.normalizedPath, [occurrence]);
-		}
-
-		const proposals: ProposedPrune[] = [];
-		for (const group of byPath.values()) {
-			// `group` is already in message/chronological order because
-			// `collectCompletedToolCallOccurrences` iterates messages in order.
-			//
-			// Single reverse pass (pe-e0zd): instead of `group.slice(i + 1).find(...)`
-			// per index (O(k^2) allocations+scans for a group of size k), walk the
-			// group back-to-front and maintain:
-			//  - `nearestLaterSuccessfulWrite`: the nearest (chronologically first)
-			//    later successful write/edit, updated as we pass one going backward.
-			//    This is exactly equivalent to `later.find(non-read && !isError)`
-			//    because `later` preserves chronological order and `.find` returns
-			//    the first (nearest) match.
-			//  - `nearestCoveringReads`: later reads not yet known-redundant, nearest
-			//    first. A read R dominates (renders redundant) any later-tracked read
-			//    E once `readRangeCovers(R.range, E.range)` holds, because coverage is
-			//    transitive and R is nearer than E — so R already satisfies anything
-			//    E would have satisfied, and is checked first anyway. Dominated reads
-			//    are dropped on insert, which keeps this list small in the common case
-			//    (e.g. monotonically-widening re-reads of the same file) while still
-			//    producing byte-for-byte the same first-match result as the original
-			//    forward `.find`.
-			let nearestLaterSuccessfulWrite: FileOpOccurrence | undefined;
-			const nearestCoveringReads: FileOpOccurrence[] = [];
-
-			for (let i = group.length - 1; i >= 0; i--) {
-				const occurrence = group[i];
-				// Never supersede the newest operation for this path (rule: "never
-				// supersede the newest op for a path") — but still fold it into the
-				// tracking state below so earlier occurrences can see it as "later".
-				if (i !== group.length - 1) {
-					if (occurrence.kind === "read") {
-						// Rule 3 takes priority: any later successful write/edit makes
-						// this read stale outright, regardless of read-vs-read coverage.
-						if (nearestLaterSuccessfulWrite) {
-							if (occurrence.resultTextLength > 0) {
-								proposals.push({
-									strategyId: SUPERSEDED_FILE_OPS_STRATEGY_ID,
-									toolCallId: occurrence.toolCallId,
-									kind: "tool_result_content",
-									reason: `${occurrence.normalizedPath} has since been modified (see ${nearestLaterSuccessfulWrite.kind} call ${nearestLaterSuccessfulWrite.toolCallId})`,
-									placeholder: buildFileChangedPlaceholder(
-										occurrence.normalizedPath,
-										nearestLaterSuccessfulWrite.kind,
-										nearestLaterSuccessfulWrite.toolCallId,
-									),
-								});
-							}
-						} else if (occurrence.range !== undefined) {
-							// Rules 1+2: superseded by a later read whose range covers this one's.
-							const occurrenceRange = occurrence.range;
-							const laterCoveringRead = nearestCoveringReads.find(
-								(candidate) => candidate.range !== undefined && readRangeCovers(candidate.range, occurrenceRange),
-							);
-							if (laterCoveringRead && occurrence.resultTextLength > 0) {
-								proposals.push({
-									strategyId: SUPERSEDED_FILE_OPS_STRATEGY_ID,
-									toolCallId: occurrence.toolCallId,
-									kind: "tool_result_content",
-									reason: `superseded by newer read of ${occurrence.normalizedPath} (call ${laterCoveringRead.toolCallId})`,
-									placeholder: buildSupersededReadPlaceholder(occurrence.normalizedPath, laterCoveringRead.toolCallId),
-								});
-							}
-						}
-					} else if (nearestLaterSuccessfulWrite) {
-						// occurrence.kind is "write" or "edit": rule 4 — superseded only by a
-						// LATER *successful* write/edit (an errored later write/edit never
-						// supersedes; reads never supersede writes/edits).
-						if (occurrence.resultTextLength > 0) {
-							proposals.push({
-								strategyId: SUPERSEDED_FILE_OPS_STRATEGY_ID,
-								toolCallId: occurrence.toolCallId,
-								kind: "tool_result_content",
-								reason: `superseded by newer ${nearestLaterSuccessfulWrite.kind} of ${occurrence.normalizedPath} (call ${nearestLaterSuccessfulWrite.toolCallId})`,
-								placeholder: buildSupersededWritePlaceholder(
-									occurrence.normalizedPath,
-									nearestLaterSuccessfulWrite.kind,
-									nearestLaterSuccessfulWrite.toolCallId,
-								),
-							});
-						}
-					}
-				}
-
-				// Fold this occurrence into the tracking state for the next (earlier) iteration.
-				if (occurrence.kind !== "read") {
-					if (!occurrence.isError) nearestLaterSuccessfulWrite = occurrence;
-				} else if (occurrence.range !== undefined) {
-					const occurrenceRange = occurrence.range;
-					for (let j = nearestCoveringReads.length - 1; j >= 0; j--) {
-						const existing = nearestCoveringReads[j];
-						if (existing.range !== undefined && readRangeCovers(occurrenceRange, existing.range)) {
-							nearestCoveringReads.splice(j, 1);
-						}
-					}
-					nearestCoveringReads.unshift(occurrence);
-				}
-			}
-		}
-		return proposals;
-	},
+  id: SUPERSEDED_FILE_OPS_STRATEGY_ID,
+  propose(input: StrategyProposeInput): ProposedPrune[] {
+    if (input.config.strategies.supersededFileOps.enabled === false) return [];
+
+    const occurrences = collectFileOpOccurrences(input.messages, input.cwd);
+    const byPath = new Map<string, FileOpOccurrence[]>();
+    for (const occurrence of occurrences) {
+      const group = byPath.get(occurrence.normalizedPath);
+      if (group) group.push(occurrence);
+      else byPath.set(occurrence.normalizedPath, [occurrence]);
+    }
+
+    const proposals: ProposedPrune[] = [];
+    for (const group of byPath.values()) {
+      // `group` is already in message/chronological order because
+      // `collectCompletedToolCallOccurrences` iterates messages in order.
+      //
+      // Single reverse pass (pe-e0zd): instead of `group.slice(i + 1).find(...)`
+      // per index (O(k^2) allocations+scans for a group of size k), walk the
+      // group back-to-front and maintain:
+      //  - `nearestLaterSuccessfulWrite`: the nearest (chronologically first)
+      //    later successful write/edit, updated as we pass one going backward.
+      //    This is exactly equivalent to `later.find(non-read && !isError)`
+      //    because `later` preserves chronological order and `.find` returns
+      //    the first (nearest) match.
+      //  - `nearestCoveringReads`: later reads not yet known-redundant, nearest
+      //    first. A read R dominates (renders redundant) any later-tracked read
+      //    E once `readRangeCovers(R.range, E.range)` holds, because coverage is
+      //    transitive and R is nearer than E — so R already satisfies anything
+      //    E would have satisfied, and is checked first anyway. Dominated reads
+      //    are dropped on insert, which keeps this list small in the common case
+      //    (e.g. monotonically-widening re-reads of the same file) while still
+      //    producing byte-for-byte the same first-match result as the original
+      //    forward `.find`.
+      let nearestLaterSuccessfulWrite: FileOpOccurrence | undefined;
+      const nearestCoveringReads: FileOpOccurrence[] = [];
+
+      for (let i = group.length - 1; i >= 0; i--) {
+        const occurrence = group[i];
+        // Never supersede the newest operation for this path (rule: "never
+        // supersede the newest op for a path") — but still fold it into the
+        // tracking state below so earlier occurrences can see it as "later".
+        if (i !== group.length - 1) {
+          if (occurrence.kind === "read") {
+            // Rule 3 takes priority: any later successful write/edit makes
+            // this read stale outright, regardless of read-vs-read coverage.
+            if (nearestLaterSuccessfulWrite) {
+              if (occurrence.resultTextLength > 0) {
+                proposals.push({
+                  strategyId: SUPERSEDED_FILE_OPS_STRATEGY_ID,
+                  toolCallId: occurrence.toolCallId,
+                  kind: "tool_result_content",
+                  reason: `${occurrence.normalizedPath} has since been modified (see ${nearestLaterSuccessfulWrite.kind} call ${nearestLaterSuccessfulWrite.toolCallId})`,
+                  placeholder: buildFileChangedPlaceholder(
+                    occurrence.normalizedPath,
+                    nearestLaterSuccessfulWrite.kind,
+                    nearestLaterSuccessfulWrite.toolCallId,
+                  ),
+                });
+              }
+            } else if (occurrence.range !== undefined) {
+              // Rules 1+2: superseded by a later read whose range covers this one's.
+              const occurrenceRange = occurrence.range;
+              const laterCoveringRead = nearestCoveringReads.find(
+                (candidate) =>
+                  candidate.range !== undefined &&
+                  readRangeCovers(candidate.range, occurrenceRange),
+              );
+              if (laterCoveringRead && occurrence.resultTextLength > 0) {
+                proposals.push({
+                  strategyId: SUPERSEDED_FILE_OPS_STRATEGY_ID,
+                  toolCallId: occurrence.toolCallId,
+                  kind: "tool_result_content",
+                  reason: `superseded by newer read of ${occurrence.normalizedPath} (call ${laterCoveringRead.toolCallId})`,
+                  placeholder: buildSupersededReadPlaceholder(
+                    occurrence.normalizedPath,
+                    laterCoveringRead.toolCallId,
+                  ),
+                });
+              }
+            }
+          } else if (nearestLaterSuccessfulWrite) {
+            // occurrence.kind is "write" or "edit": rule 4 — superseded only by a
+            // LATER *successful* write/edit (an errored later write/edit never
+            // supersedes; reads never supersede writes/edits).
+            if (occurrence.resultTextLength > 0) {
+              proposals.push({
+                strategyId: SUPERSEDED_FILE_OPS_STRATEGY_ID,
+                toolCallId: occurrence.toolCallId,
+                kind: "tool_result_content",
+                reason: `superseded by newer ${nearestLaterSuccessfulWrite.kind} of ${occurrence.normalizedPath} (call ${nearestLaterSuccessfulWrite.toolCallId})`,
+                placeholder: buildSupersededWritePlaceholder(
+                  occurrence.normalizedPath,
+                  nearestLaterSuccessfulWrite.kind,
+                  nearestLaterSuccessfulWrite.toolCallId,
+                ),
+              });
+            }
+          }
+        }
+
+        // Fold this occurrence into the tracking state for the next (earlier) iteration.
+        if (occurrence.kind !== "read") {
+          if (!occurrence.isError) nearestLaterSuccessfulWrite = occurrence;
+        } else if (occurrence.range !== undefined) {
+          const occurrenceRange = occurrence.range;
+          for (let j = nearestCoveringReads.length - 1; j >= 0; j--) {
+            const existing = nearestCoveringReads[j];
+            if (existing.range !== undefined && readRangeCovers(occurrenceRange, existing.range)) {
+              nearestCoveringReads.splice(j, 1);
+            }
+          }
+          nearestCoveringReads.unshift(occurrence);
+        }
+      }
+    }
+    return proposals;
+  },
 };
 
 /**
  * Strategies PROPOSE prunes; only this pipeline ever APPLIES them.
  */
-export const STRATEGIES: PruneStrategy[] = [dedupeStrategy, errorPurgeStrategy, supersededFileOpsStrategy];
+export const STRATEGIES: PruneStrategy[] = [
+  dedupeStrategy,
+  errorPurgeStrategy,
+  supersededFileOpsStrategy,
+];
 
 function collectProposals(input: StrategyProposeInput): ProposedPrune[] {
-	const proposals: ProposedPrune[] = [];
-	for (const strategy of STRATEGIES) {
-		try {
-			proposals.push(...strategy.propose(input));
-		} catch {
-			// A misbehaving strategy must never break the pipeline or corrupt context.
-		}
-	}
-	return proposals;
+  const proposals: ProposedPrune[] = [];
+  for (const strategy of STRATEGIES) {
+    try {
+      proposals.push(...strategy.propose(input));
+    } catch {
+      // A misbehaving strategy must never break the pipeline or corrupt context.
+    }
+  }
+  return proposals;
 }
 
 // ============================================================================
@@ -2008,42 +2045,38 @@ function collectProposals(input: StrategyProposeInput): ProposedPrune[] {
 // ============================================================================
 
 export interface PipelineInput {
-	messages: MinimalMessage[];
-	config: DynamicContextPruningConfig;
-	persistedDecisions: PruneDecisionRecord[];
-	/** Idempotency keys already known/persisted; used to avoid re-emitting appendEntry calls. */
-	knownIdempotencyKeys: ReadonlySet<string>;
-	/**
-	 * Idempotency keys most-recently restored/undone via the /prune picker
-	 * (pe-8re9; see `resolvePruneTombstoneState`). Fresh AUTOMATIC proposals
-	 * matching one of these keys are dropped so a restored decision does not
-	 * silently re-apply on the very next context event. Manual re-prunes
-	 * always use a fresh idempotencyKey namespaced by "manual" (see
-	 * `buildManualPruneProposal`), so they are unaffected by this filter and
-	 * always work regardless of tombstone state. Optional/back-compat: an
-	 * absent set behaves as if nothing was ever restored.
-	 */
-	restoredIdempotencyKeys?: ReadonlySet<string>;
-	/**
-	 * State-conditioning hook (pe-s2ho notes): lets the net-benefit gate use a
-	 * different break-even threshold depending on whether the agent is
-	 * mid-loop vs idle. Defaults to "idle" until callers wire real detection.
-	 */
-	agentState?: AgentState;
-	/** Session working directory (pe-qs8j), forwarded to strategies for path normalization. */
-	cwd?: string;
+  messages: MinimalMessage[];
+  config: DynamicContextPruningConfig;
+  persistedDecisions: PruneDecisionRecord[];
+  /** Idempotency keys already known/persisted; used to avoid re-emitting appendEntry calls. */
+  knownIdempotencyKeys: ReadonlySet<string>;
+  /**
+   * Idempotency keys most-recently restored/undone via the /prune picker
+   * (pe-8re9; see `resolvePruneTombstoneState`). Fresh AUTOMATIC proposals
+   * matching one of these keys are dropped so a restored decision does not
+   * silently re-apply on the very next context event. Manual re-prunes
+   * always use a fresh idempotencyKey namespaced by "manual" (see
+   * `buildManualPruneProposal`), so they are unaffected by this filter and
+   * always work regardless of tombstone state. Optional/back-compat: an
+   * absent set behaves as if nothing was ever restored.
+   */
+  restoredIdempotencyKeys?: ReadonlySet<string>;
+  /** Omitted defaults to idle. The context handler passes the classified state. */
+  agentState?: AgentState;
+  /** Session working directory (pe-qs8j), forwarded to strategies for path normalization. */
+  cwd?: string;
 }
 
 export interface PipelineResult {
-	messages: MinimalMessage[];
-	/** Decisions that were applied this call and are not yet persisted; caller should appendEntry these once. */
-	newlyAppliedDecisions: PruneDecisionRecord[];
-	/** Stats records to persist 1:1 alongside `newlyAppliedDecisions` (same idempotencyKey, same order). */
-	newlyAppliedStats: PruneStatsRecord[];
-	/** Live (non-persisted) snapshot of raw vs effective context size for this call. */
-	contextSizeSnapshot: ContextSizeSnapshot;
-	/** Net-benefit gate outcome for this call's fresh automatic proposals (debug/stats consumers). */
-	gate: NetBenefitGateResult;
+  messages: MinimalMessage[];
+  /** Decisions that were applied this call and are not yet persisted; caller should appendEntry these once. */
+  newlyAppliedDecisions: PruneDecisionRecord[];
+  /** Stats records to persist 1:1 alongside `newlyAppliedDecisions` (same idempotencyKey, same order). */
+  newlyAppliedStats: PruneStatsRecord[];
+  /** Live (non-persisted) snapshot of raw vs effective context size for this call. */
+  contextSizeSnapshot: ContextSizeSnapshot;
+  /** Net-benefit gate outcome for this call's fresh automatic proposals (debug/stats consumers). */
+  gate: NetBenefitGateResult;
 }
 
 /**
@@ -2057,212 +2090,224 @@ export interface PipelineResult {
  * happened) and manual decisions always bypass the gate (user intent wins).
  */
 export function runDynamicContextPruningPipeline(input: PipelineInput): PipelineResult {
-	if (!input.config.enabled) {
-		return {
-			messages: input.messages,
-			newlyAppliedDecisions: [],
-			newlyAppliedStats: [],
-			contextSizeSnapshot: computeContextSizeSnapshot(input.messages, input.messages),
-			gate: {
-				accepted: [],
-				rejected: [],
-				mode: input.config.gate.mode,
-				threshold: resolveBreakEvenThreshold(input.config.gate, input.agentState ?? "idle"),
-				earliestPosition: undefined,
-				tailTokensAfterEarliestChange: 0,
-				totalTokensRemoved: 0,
-				cost: undefined,
-			},
-		};
-	}
-
-	const agentState = input.agentState ?? "idle";
-	const messages = input.messages.map((message) => ({ ...message }));
-	const recencyBoundaryIndex = computeRecencyBoundaryIndex(messages, input.config.protections.recentTurns);
-	// Built once and reused across all protection/savings/apply checks below so
-	// each per-decision lookup is O(1) instead of an O(n) rescan of `messages`
-	// (pe-e0zd). Positions are stable across the apply loop below (and against
-	// `input.messages`) because decisions only ever replace a message's
-	// content at its existing index, never insert/remove/reorder messages.
-	const pairIndex = buildToolCallPairIndex(messages);
-
-	const proposals = collectProposals({
-		messages,
-		protections: input.config.protections,
-		estimateTokens: estimateTokensForText,
-		config: input.config,
-		cwd: input.cwd,
-	});
-
-	const seenKeys = new Set(input.persistedDecisions.map((decision) => decision.idempotencyKey));
-	const restoredKeys = input.restoredIdempotencyKeys ?? new Set<string>();
-	const freshDecisions = proposals
-		.filter((proposal) => !seenKeys.has(buildIdempotencyKey(proposal)))
-		.filter((proposal) => !restoredKeys.has(buildIdempotencyKey(proposal)))
-		.map((proposal) => proposalToDecisionRecord(proposal));
-
-	// De-dup fresh proposals against each other too (multiple strategies could
-	// theoretically propose the same idempotency key in one call).
-	const dedupedFresh: PruneDecisionRecord[] = [];
-	const freshKeys = new Set<string>();
-	for (const decision of freshDecisions) {
-		if (freshKeys.has(decision.idempotencyKey)) continue;
-		freshKeys.add(decision.idempotencyKey);
-		dedupedFresh.push(decision);
-	}
-
-	// Manual decisions (source: "manual") always bypass the net-benefit gate.
-	// Only fresh *automatic* proposals are ever gated; gating happens here
-	// against the pre-mutation `messages` clone, before the apply loop below
-	// mutates anything.
-	const freshManual = dedupedFresh.filter((decision) => decision.source === "manual");
-	const freshAutomaticUnfiltered = dedupedFresh.filter((decision) => decision.source !== "manual");
-
-	// Minimum-size floor (pe-qdzb): drop fresh automatic proposals whose
-	// character savings (original content chars minus placeholder chars) fall
-	// below `thresholds.minCharsSaved`, BEFORE gate evaluation so dropped
-	// candidates never consume batch/earliest-position gate consideration.
-	// Applies to automatic proposals only; manual (`freshManual` above) and
-	// already-persisted decisions (`input.persistedDecisions`, applied later)
-	// bypass this floor entirely, same as the net-benefit gate. Tool-result
-	// candidates containing images also bypass this raw-text floor because
-	// images have no character count; their token savings still go through the
-	// existing net-benefit gate. A floor of 0 (the config default before
-	// pe-c5n9's DEFAULT_MIN_CHARS_SAVED constant was introduced) is a no-op:
-	// every non-negative delta clears it.
-	const minCharsSaved = input.config.thresholds.minCharsSaved;
-	const freshAutomatic =
-		minCharsSaved <= 0
-			? freshAutomaticUnfiltered
-			: freshAutomaticUnfiltered.filter((decision) => {
-					if (isImageBearingToolResultTarget(messages, decision, pairIndex)) return true;
-					const charsSaved = estimateDecisionCharsSaved(messages, decision, pairIndex);
-					return charsSaved !== undefined && charsSaved >= minCharsSaved;
-				});
-
-	// Collapse fresh AUTOMATIC candidates that target the same (kind,
-	// correlation) down to a single decision (pe-j7sb). Two strategies (e.g.
-	// `dedupe` and `superseded-file-ops`) can independently propose a decision
-	// for the exact same tool result; their idempotencyKeys differ (each
-	// embeds its own strategyId) so the self-dedup above does not catch this,
-	// and letting both through would double-count the same tokensRemoved in
-	// the net-benefit gate and double-apply/double-credit in the apply loop
-	// below. The winner is chosen by a DETERMINISTIC strategy priority derived
-	// from `STRATEGIES` array order: earlier entries in `STRATEGIES` win. Only
-	// the winning decision's placeholder/reason is what ends up gated/applied/
-	// persisted. Manual decisions (already filtered out above) and persisted
-	// decisions are never collapsed here — only fresh automatic overlap causes
-	// the double-count this call.
-	const strategyPriority = new Map(STRATEGIES.map((strategy, index) => [strategy.id, index]));
-	const collapsedByTarget = new Map<string, PruneDecisionRecord>();
-	for (const decision of freshAutomatic) {
-		const targetKey = buildDecisionTargetKey(decision);
-		const existing = collapsedByTarget.get(targetKey);
-		if (!existing) {
-			collapsedByTarget.set(targetKey, decision);
-			continue;
-		}
-		const existingPriority = strategyPriority.get(existing.strategyId) ?? Number.POSITIVE_INFINITY;
-		const candidatePriority = strategyPriority.get(decision.strategyId) ?? Number.POSITIVE_INFINITY;
-		if (candidatePriority < existingPriority) collapsedByTarget.set(targetKey, decision);
-	}
-	const collapsedFreshAutomatic = Array.from(collapsedByTarget.values());
-
-	// Fresh automatic candidates must also be excluded from gating (not just
-	// from the apply loop) when their target is already claimed by a decision
-	// that will apply earlier in `allCandidates` — i.e. a persisted decision or
-	// a fresh manual decision. Persisted decisions come from a DIFFERENT prior
-	// call, so a fresh proposal from a different strategy on the same
-	// toolCallId+kind has a distinct idempotencyKey and slips past `seenKeys`
-	// above; likewise a fresh manual decision has `source: "manual"` and is
-	// filtered out of `freshAutomatic` but still claims its target. Without
-	// this exclusion, `evaluateNetBenefitGate` below would double-count that
-	// target's tokensRemoved even though the apply-loop guard further down
-	// correctly skips applying the fresh candidate — corrupting the gate's
-	// net-benefit math (and potentially flipping ACCEPT/REJECT) even though no
-	// double-apply occurs. Only decisions with `correlation.type ===
-	// "toolCallId"` are applyable targets worth tracking here; anything else is
-	// ignored safely (it cannot collide with a toolCallId-keyed target).
-	const claimedTargetKeys = new Set<string>();
-	for (const decision of [...input.persistedDecisions, ...freshManual]) {
-		if (decision.correlation.type !== "toolCallId") continue;
-		claimedTargetKeys.add(buildDecisionTargetKey(decision));
-	}
-
-	const savingsByKey = new Map<string, number>();
-	const gateCandidates: GateCandidate[] = [];
-	for (const decision of collapsedFreshAutomatic) {
-		if (claimedTargetKeys.has(buildDecisionTargetKey(decision))) continue; // already claimed by a persisted/manual decision applying earlier
-		if (isDecisionProtected(decision, messages, input.config.protections, recencyBoundaryIndex, pairIndex)) continue;
-		const estimate = estimateDecisionSavings(messages, decision, estimateTokensForText, pairIndex);
-		if (!estimate || estimate.tokensRemoved <= 0) continue;
-		savingsByKey.set(decision.idempotencyKey, estimate.tokensRemoved);
-		gateCandidates.push({ decision, position: estimate.position, tokensRemoved: estimate.tokensRemoved });
-	}
-
-	const gate = evaluateNetBenefitGate(gateCandidates, messages, input.config.gate, agentState, estimateTokensForText);
-
-	const allCandidates = [...input.persistedDecisions, ...freshManual, ...gate.accepted];
-	const newlyAppliedDecisions: PruneDecisionRecord[] = [];
-	const newlyAppliedStats: PruneStatsRecord[] = [];
-
-	// Guards against double-apply/double-count when more than one candidate in
-	// `allCandidates` targets the same (kind, correlation) — e.g. a persisted
-	// decision from a different strategy and a fresh automatic decision (from
-	// a strategy that started proposing overlap only after the persisted one
-	// was written) both targeting the same toolCallId+kind in this SAME call.
-	// `applyPruneDecision` unconditionally re-applies its placeholder even when
-	// the target is already a placeholder and reports `applied: true`, so
-	// without this guard the second candidate would silently overwrite the
-	// first's placeholder AND still be credited full stats/newlyAppliedDecisions
-	// (pe-j7sb). The pre-gate collapse above already prevents this among fresh
-	// automatic candidates; this guard additionally covers persisted-vs-fresh
-	// (and any other) overlap within a single call.
-	const appliedTargetKeys = new Set<string>();
-	for (const decision of allCandidates) {
-		if (isDecisionProtected(decision, messages, input.config.protections, recencyBoundaryIndex, pairIndex)) continue;
-		const targetKey = buildDecisionTargetKey(decision);
-		if (appliedTargetKeys.has(targetKey)) continue; // already pruned by an earlier candidate this call
-		const result = applyPruneDecision(messages, decision, pairIndex);
-		if (!result.applied) continue; // graceful no-op: target absent/already safe
-		appliedTargetKeys.add(targetKey);
-		if (!input.knownIdempotencyKeys.has(decision.idempotencyKey)) {
-			newlyAppliedDecisions.push(decision);
-			const tokensRemoved =
-				savingsByKey.get(decision.idempotencyKey) ??
-				estimateDecisionSavings(input.messages, decision, estimateTokensForText, pairIndex)?.tokensRemoved ??
-				0;
-			newlyAppliedStats.push(buildStatsRecord(decision, tokensRemoved));
-		}
-	}
-
-	const contextSizeSnapshot = computeContextSizeSnapshot(input.messages, messages, estimateTokensForText);
-
-	return { messages, newlyAppliedDecisions, newlyAppliedStats, contextSizeSnapshot, gate };
-}
-
-// ============================================================================
-// Session-entry state rebuild (idempotent; tolerates duplicate/replayed entries)
-// ============================================================================
-
-export interface RebuiltDecisionState {
-	decisions: PruneDecisionRecord[];
-	idempotencyKeys: Set<string>;
-}
-
-/** Rebuild in-memory decision state from persisted CustomEntry records on a branch. */
-export function rebuildDecisionStateFromEntries(entries: MinimalSessionEntry[]): RebuiltDecisionState {
-	const decisions: PruneDecisionRecord[] = [];
-	const idempotencyKeys = new Set<string>();
-	for (const entry of entries) {
-		if (entry.type !== "custom" || entry.customType !== DECISION_ENTRY_TYPE) continue;
-		const record = parseDecisionRecord(entry.data);
-		if (!record) continue;
-		if (idempotencyKeys.has(record.idempotencyKey)) continue; // tolerate duplicate/replayed entries
-		idempotencyKeys.add(record.idempotencyKey);
-		decisions.push(record);
-	}
-	return { decisions, idempotencyKeys };
+  if (!input.config.enabled) {
+    return {
+      messages: input.messages,
+      newlyAppliedDecisions: [],
+      newlyAppliedStats: [],
+      contextSizeSnapshot: computeContextSizeSnapshot(input.messages, input.messages),
+      gate: {
+        accepted: [],
+        rejected: [],
+        mode: input.config.gate.mode,
+        threshold: resolveBreakEvenThreshold(input.config.gate, input.agentState ?? "idle"),
+        earliestPosition: undefined,
+        tailTokensAfterEarliestChange: 0,
+        totalTokensRemoved: 0,
+        cost: undefined,
+      },
+    };
+  }
+
+  const agentState = input.agentState ?? "idle";
+  const messages = input.messages.map((message) => ({ ...message }));
+  const recencyBoundaryIndex = computeRecencyBoundaryIndex(
+    messages,
+    input.config.protections.recentTurns,
+  );
+  // Built once and reused across all protection/savings/apply checks below so
+  // each per-decision lookup is O(1) instead of an O(n) rescan of `messages`
+  // (pe-e0zd). Positions are stable across the apply loop below (and against
+  // `input.messages`) because decisions only ever replace a message's
+  // content at its existing index, never insert/remove/reorder messages.
+  const pairIndex = buildToolCallPairIndex(messages);
+
+  const proposals = collectProposals({
+    messages,
+    protections: input.config.protections,
+    estimateTokens: estimateTokensForText,
+    config: input.config,
+    cwd: input.cwd,
+  });
+
+  const seenKeys = new Set(input.persistedDecisions.map((decision) => decision.idempotencyKey));
+  const restoredKeys = input.restoredIdempotencyKeys ?? new Set<string>();
+  const freshDecisions = proposals
+    .filter((proposal) => !seenKeys.has(buildIdempotencyKey(proposal)))
+    .filter((proposal) => !restoredKeys.has(buildIdempotencyKey(proposal)))
+    .map((proposal) => proposalToDecisionRecord(proposal));
+
+  // De-dup fresh proposals against each other too (multiple strategies could
+  // theoretically propose the same idempotency key in one call).
+  const dedupedFresh: PruneDecisionRecord[] = [];
+  const freshKeys = new Set<string>();
+  for (const decision of freshDecisions) {
+    if (freshKeys.has(decision.idempotencyKey)) continue;
+    freshKeys.add(decision.idempotencyKey);
+    dedupedFresh.push(decision);
+  }
+
+  // Manual decisions (source: "manual") always bypass the net-benefit gate.
+  // Only fresh *automatic* proposals are ever gated; gating happens here
+  // against the pre-mutation `messages` clone, before the apply loop below
+  // mutates anything.
+  const freshManual = dedupedFresh.filter((decision) => decision.source === "manual");
+  const freshAutomaticUnfiltered = dedupedFresh.filter((decision) => decision.source !== "manual");
+
+  // Minimum-size floor (pe-qdzb): drop fresh automatic proposals whose
+  // character savings (original content chars minus placeholder chars) fall
+  // below `thresholds.minCharsSaved`, BEFORE gate evaluation so dropped
+  // candidates never consume batch/earliest-position gate consideration.
+  // Applies to automatic proposals only; manual (`freshManual` above) and
+  // already-persisted decisions (`input.persistedDecisions`, applied later)
+  // bypass this floor entirely, same as the net-benefit gate. Tool-result
+  // candidates containing images also bypass this raw-text floor because
+  // images have no character count; their token savings still go through the
+  // existing net-benefit gate. A floor of 0 (the config default before
+  // pe-c5n9's DEFAULT_MIN_CHARS_SAVED constant was introduced) is a no-op:
+  // every non-negative delta clears it.
+  const minCharsSaved = input.config.thresholds.minCharsSaved;
+  const freshAutomatic =
+    minCharsSaved <= 0
+      ? freshAutomaticUnfiltered
+      : freshAutomaticUnfiltered.filter((decision) => {
+          if (isImageBearingToolResultTarget(messages, decision, pairIndex)) return true;
+          const charsSaved = estimateDecisionCharsSaved(messages, decision, pairIndex);
+          return charsSaved !== undefined && charsSaved >= minCharsSaved;
+        });
+
+  // Collapse fresh AUTOMATIC candidates that target the same (kind,
+  // correlation) down to a single decision (pe-j7sb). Two strategies (e.g.
+  // `dedupe` and `superseded-file-ops`) can independently propose a decision
+  // for the exact same tool result; their idempotencyKeys differ (each
+  // embeds its own strategyId) so the self-dedup above does not catch this,
+  // and letting both through would double-count the same tokensRemoved in
+  // the net-benefit gate and double-apply/double-credit in the apply loop
+  // below. The winner is chosen by a DETERMINISTIC strategy priority derived
+  // from `STRATEGIES` array order: earlier entries in `STRATEGIES` win. Only
+  // the winning decision's placeholder/reason is what ends up gated/applied/
+  // persisted. Manual decisions (already filtered out above) and persisted
+  // decisions are never collapsed here — only fresh automatic overlap causes
+  // the double-count this call.
+  const strategyPriority = new Map(STRATEGIES.map((strategy, index) => [strategy.id, index]));
+  const collapsedByTarget = new Map<string, PruneDecisionRecord>();
+  for (const decision of freshAutomatic) {
+    const targetKey = buildDecisionTargetKey(decision);
+    const existing = collapsedByTarget.get(targetKey);
+    if (!existing) {
+      collapsedByTarget.set(targetKey, decision);
+      continue;
+    }
+    const existingPriority = strategyPriority.get(existing.strategyId) ?? Number.POSITIVE_INFINITY;
+    const candidatePriority = strategyPriority.get(decision.strategyId) ?? Number.POSITIVE_INFINITY;
+    if (candidatePriority < existingPriority) collapsedByTarget.set(targetKey, decision);
+  }
+  const collapsedFreshAutomatic = Array.from(collapsedByTarget.values());
+
+  // Fresh automatic candidates must also be excluded from gating (not just
+  // from the apply loop) when their target is already claimed by a decision
+  // that will apply earlier in `allCandidates` — i.e. a persisted decision or
+  // a fresh manual decision. Persisted decisions come from a DIFFERENT prior
+  // call, so a fresh proposal from a different strategy on the same
+  // toolCallId+kind has a distinct idempotencyKey and slips past `seenKeys`
+  // above; likewise a fresh manual decision has `source: "manual"` and is
+  // filtered out of `freshAutomatic` but still claims its target. Without
+  // this exclusion, `evaluateNetBenefitGate` below would double-count that
+  // target's tokensRemoved even though the apply-loop guard further down
+  // correctly skips applying the fresh candidate — corrupting the gate's
+  // net-benefit math (and potentially flipping ACCEPT/REJECT) even though no
+  // double-apply occurs. Only decisions with `correlation.type ===
+  // "toolCallId"` are applyable targets worth tracking here; anything else is
+  // ignored safely (it cannot collide with a toolCallId-keyed target).
+  const claimedTargetKeys = new Set<string>();
+  for (const decision of [...input.persistedDecisions, ...freshManual]) {
+    if (decision.correlation.type !== "toolCallId") continue;
+    claimedTargetKeys.add(buildDecisionTargetKey(decision));
+  }
+
+  const savingsByKey = new Map<string, number>();
+  const gateCandidates: GateCandidate[] = [];
+  for (const decision of collapsedFreshAutomatic) {
+    if (claimedTargetKeys.has(buildDecisionTargetKey(decision))) continue; // already claimed by a persisted/manual decision applying earlier
+    if (
+      isDecisionProtected(
+        decision,
+        messages,
+        input.config.protections,
+        recencyBoundaryIndex,
+        pairIndex,
+      )
+    )
+      continue;
+    const estimate = estimateDecisionSavings(messages, decision, estimateTokensForText, pairIndex);
+    if (!estimate || estimate.tokensRemoved <= 0) continue;
+    savingsByKey.set(decision.idempotencyKey, estimate.tokensRemoved);
+    gateCandidates.push({
+      decision,
+      position: estimate.position,
+      tokensRemoved: estimate.tokensRemoved,
+    });
+  }
+
+  const gate = evaluateNetBenefitGate(
+    gateCandidates,
+    messages,
+    input.config.gate,
+    agentState,
+    estimateTokensForText,
+  );
+
+  const allCandidates = [...input.persistedDecisions, ...freshManual, ...gate.accepted];
+  const newlyAppliedDecisions: PruneDecisionRecord[] = [];
+  const newlyAppliedStats: PruneStatsRecord[] = [];
+
+  // Guards against double-apply/double-count when more than one candidate in
+  // `allCandidates` targets the same (kind, correlation) — e.g. a persisted
+  // decision from a different strategy and a fresh automatic decision (from
+  // a strategy that started proposing overlap only after the persisted one
+  // was written) both targeting the same toolCallId+kind in this SAME call.
+  // `applyPruneDecision` unconditionally re-applies its placeholder even when
+  // the target is already a placeholder and reports `applied: true`, so
+  // without this guard the second candidate would silently overwrite the
+  // first's placeholder AND still be credited full stats/newlyAppliedDecisions
+  // (pe-j7sb). The pre-gate collapse above already prevents this among fresh
+  // automatic candidates; this guard additionally covers persisted-vs-fresh
+  // (and any other) overlap within a single call.
+  const appliedTargetKeys = new Set<string>();
+  for (const decision of allCandidates) {
+    if (
+      isDecisionProtected(
+        decision,
+        messages,
+        input.config.protections,
+        recencyBoundaryIndex,
+        pairIndex,
+      )
+    )
+      continue;
+    const targetKey = buildDecisionTargetKey(decision);
+    if (appliedTargetKeys.has(targetKey)) continue; // already pruned by an earlier candidate this call
+    const result = applyPruneDecision(messages, decision, pairIndex);
+    if (!result.applied) continue; // graceful no-op: target absent/already safe
+    appliedTargetKeys.add(targetKey);
+    if (!input.knownIdempotencyKeys.has(decision.idempotencyKey)) {
+      newlyAppliedDecisions.push(decision);
+      const tokensRemoved =
+        savingsByKey.get(decision.idempotencyKey) ??
+        estimateDecisionSavings(input.messages, decision, estimateTokensForText, pairIndex)
+          ?.tokensRemoved ??
+        0;
+      newlyAppliedStats.push(buildStatsRecord(decision, tokensRemoved));
+    }
+  }
+
+  const contextSizeSnapshot = computeContextSizeSnapshot(
+    input.messages,
+    messages,
+    estimateTokensForText,
+  );
+
+  return { messages, newlyAppliedDecisions, newlyAppliedStats, contextSizeSnapshot, gate };
 }
 
 // ============================================================================
@@ -2270,46 +2315,48 @@ export function rebuildDecisionStateFromEntries(entries: MinimalSessionEntry[]):
 // ============================================================================
 
 function resolveSessionProjection(ctx: ExtensionContext): MinimalSessionProjection | undefined {
-	try {
-		const sessionManager = ctx.sessionManager as unknown as { buildSessionProjection?: () => unknown };
-		const buildProjection = sessionManager.buildSessionProjection;
-		if (typeof buildProjection !== "function") return undefined;
-		return normalizeSessionProjection(buildProjection.call(sessionManager));
-	} catch {
-		return undefined;
-	}
+  try {
+    const sessionManager = ctx.sessionManager as unknown as {
+      buildSessionProjection?: () => unknown;
+    };
+    const buildProjection = sessionManager.buildSessionProjection;
+    if (typeof buildProjection !== "function") return undefined;
+    return normalizeSessionProjection(buildProjection.call(sessionManager));
+  } catch {
+    return undefined;
+  }
 }
 
 export function sessionEntriesToMessages(
-	entries: MinimalSessionEntry[],
-	projection?: MinimalSessionProjection,
+  entries: MinimalSessionEntry[],
+  projection?: MinimalSessionProjection,
 ): MinimalMessage[] {
-	if (projection) return sessionProjectionToMessages(projection);
-	const messages: MinimalMessage[] = [];
-	for (const entry of entries) {
-		if (entry.type === "message" && entry.message) messages.push(entry.message);
-	}
-	return messages;
+  if (projection) return sessionProjectionToMessages(projection);
+  const messages: MinimalMessage[] = [];
+  for (const entry of entries) {
+    if (entry.type === "message" && entry.message) messages.push(entry.message);
+  }
+  return messages;
 }
 
 /** Truncated, canonicalized single-line digest of a tool call's arguments, for compact picker display. */
 export function buildArgsDigest(args: unknown, maxLength = 80): string {
-	const json = canonicalizeArgumentsJSON(args);
-	if (json.length <= maxLength) return json;
-	return `${json.slice(0, Math.max(0, maxLength - 1))}\u2026`;
+  const json = canonicalizeArgumentsJSON(args);
+  if (json.length <= maxLength) return json;
+  return `${json.slice(0, Math.max(0, maxLength - 1))}\u2026`;
 }
 
 export type PrunableItemStatus = "active" | "pruned" | "restored";
 
 export interface PrunableItem {
-	toolCallId: string;
-	toolName: string;
-	argsDigest: string;
-	/** Estimated tokens of the ORIGINAL (unpruned) tool result content, i.e. what pruning would save / restoring would bring back. */
-	estimatedTokens: number;
-	status: PrunableItemStatus;
-	/** Set only when status === "pruned": the currently-active decision pruning this result. */
-	activeDecision?: PruneDecisionRecord;
+  toolCallId: string;
+  toolName: string;
+  argsDigest: string;
+  /** Estimated tokens of the ORIGINAL (unpruned) tool result content, i.e. what pruning would save / restoring would bring back. */
+  estimatedTokens: number;
+  status: PrunableItemStatus;
+  /** Set only when status === "pruned": the currently-active decision pruning this result. */
+  activeDecision?: PruneDecisionRecord;
 }
 
 /**
@@ -2321,55 +2368,58 @@ export interface PrunableItem {
  * usage in the extension wiring).
  */
 export function buildPrunableItems(
-	messages: MinimalMessage[],
-	activeByToolCallId: Map<string, PruneDecisionRecord>,
-	restoredToolCallIds: ReadonlySet<string>,
-	_estimateTokens: TokenEstimator = estimateTokensForText,
+  messages: MinimalMessage[],
+  activeByToolCallId: Map<string, PruneDecisionRecord>,
+  restoredToolCallIds: ReadonlySet<string>,
+  _estimateTokens: TokenEstimator = estimateTokensForText,
 ): PrunableItem[] {
-	const items: PrunableItem[] = [];
-	for (const occurrence of collectCompletedToolCallOccurrences(messages)) {
-		const resultMessage = messages[occurrence.resultIndex] as MinimalToolResultMessage;
-		// Only provider-visible transcript content is economically attributable;
-		// bounded nested-call metadata has no child result content to estimate.
-		const estimatedTokens = estimateTokensForContent(resultMessage.content);
-		const activeDecision = activeByToolCallId.get(occurrence.toolCallId);
-		const status: PrunableItemStatus = activeDecision
-			? "pruned"
-			: restoredToolCallIds.has(occurrence.toolCallId)
-				? "restored"
-				: "active";
-		items.push({
-			toolCallId: occurrence.toolCallId,
-			toolName: occurrence.toolName,
-			argsDigest: buildArgsDigest(occurrence.arguments),
-			estimatedTokens,
-			status,
-			activeDecision,
-		});
-	}
-	return items;
+  const items: PrunableItem[] = [];
+  for (const occurrence of collectCompletedToolCallOccurrences(messages)) {
+    const resultMessage = messages[occurrence.resultIndex] as MinimalToolResultMessage;
+    // Only provider-visible transcript content is economically attributable;
+    // bounded nested-call metadata has no child result content to estimate.
+    const estimatedTokens = estimateTokensForContent(resultMessage.content);
+    const activeDecision = activeByToolCallId.get(occurrence.toolCallId);
+    const status: PrunableItemStatus = activeDecision
+      ? "pruned"
+      : restoredToolCallIds.has(occurrence.toolCallId)
+        ? "restored"
+        : "active";
+    items.push({
+      toolCallId: occurrence.toolCallId,
+      toolName: occurrence.toolName,
+      argsDigest: buildArgsDigest(occurrence.arguments),
+      estimatedTokens,
+      status,
+      activeDecision,
+    });
+  }
+  return items;
 }
 
 /** Build a Map<toolCallId, decision> from active decisions, restricted to tool_result_content kind. First match per toolCallId wins. */
-export function buildActiveResultDecisionMap(activeDecisions: PruneDecisionRecord[]): Map<string, PruneDecisionRecord> {
-	const map = new Map<string, PruneDecisionRecord>();
-	for (const decision of activeDecisions) {
-		if (decision.kind !== "tool_result_content") continue;
-		if (decision.correlation.type !== "toolCallId") continue;
-		if (!map.has(decision.correlation.toolCallId)) map.set(decision.correlation.toolCallId, decision);
-	}
-	return map;
+export function buildActiveResultDecisionMap(
+  activeDecisions: PruneDecisionRecord[],
+): Map<string, PruneDecisionRecord> {
+  const map = new Map<string, PruneDecisionRecord>();
+  for (const decision of activeDecisions) {
+    if (decision.kind !== "tool_result_content") continue;
+    if (decision.correlation.type !== "toolCallId") continue;
+    if (!map.has(decision.correlation.toolCallId))
+      map.set(decision.correlation.toolCallId, decision);
+  }
+  return map;
 }
 
 /** Single-line label for a /prune picker option row. */
 export function formatPrunableItemOption(item: PrunableItem): string {
-	const statusLabel =
-		item.status === "pruned"
-			? `pruned by ${item.activeDecision?.strategyId ?? "?"}${item.activeDecision?.source === "manual" ? " (manual)" : ""}`
-			: item.status === "restored"
-				? "restored (prunable again)"
-				: "not pruned";
-	return `${item.toolName} ${item.argsDigest} \u2014 ~${item.estimatedTokens} tok \u2014 ${statusLabel}`;
+  const statusLabel =
+    item.status === "pruned"
+      ? `pruned by ${item.activeDecision?.strategyId ?? "?"}${item.activeDecision?.source === "manual" ? " (manual)" : ""}`
+      : item.status === "restored"
+        ? "restored (prunable again)"
+        : "not pruned";
+  return `${item.toolName} ${item.argsDigest} \u2014 ~${item.estimatedTokens} tok \u2014 ${statusLabel}`;
 }
 
 /**
@@ -2380,29 +2430,40 @@ export function formatPrunableItemOption(item: PrunableItem): string {
  * Do NOT recover a selection via `formatPrunableItemOption(item) === choice` or
  * `options.indexOf(choice)` on re-derived labels — always match against these rows' `label`.
  */
-export function buildPrunableItemPickerOptions(items: PrunableItem[]): Array<{ label: string; item: PrunableItem }> {
-	return items.map((item, index) => ({ label: `${index + 1}) ${formatPrunableItemOption(item)}`, item }));
+export function buildPrunableItemPickerOptions(
+  items: PrunableItem[],
+): Array<{ label: string; item: PrunableItem }> {
+  return items.map((item, index) => ({
+    label: `${index + 1}) ${formatPrunableItemOption(item)}`,
+    item,
+  }));
 }
 
 /** Multi-line detail text for a /prune confirm dialog, describing the item and (when pruning) the predicted cache-bust cost. */
 export function formatPrunableItemDetail(item: PrunableItem, cost?: CacheCostModelResult): string {
-	const lines = [`Tool: ${item.toolName}`, `Args: ${item.argsDigest}`, `Estimated tokens: ${item.estimatedTokens}`];
-	if (item.status === "pruned" && item.activeDecision) {
-		lines.push(`Currently pruned by "${item.activeDecision.strategyId}": ${item.activeDecision.reason}`);
-	}
-	if (cost) {
-		lines.push(
-			`Predicted cache-bust cost: penalty \u2248${cost.penalty.toFixed(0)} tok, recurring saving \u2248${cost.recurringSaving.toFixed(0)} tok/call, break-even \u2248${Number.isFinite(cost.breakEvenCalls) ? cost.breakEvenCalls.toFixed(1) : "\u221e"} calls.`,
-			"Manual prunes always bypass the net-benefit gate, so this preview is informational only.",
-		);
-	}
-	return lines.join("\n");
+  const lines = [
+    `Tool: ${item.toolName}`,
+    `Args: ${item.argsDigest}`,
+    `Estimated tokens: ${item.estimatedTokens}`,
+  ];
+  if (item.status === "pruned" && item.activeDecision) {
+    lines.push(
+      `Currently pruned by "${item.activeDecision.strategyId}": ${item.activeDecision.reason}`,
+    );
+  }
+  if (cost) {
+    lines.push(
+      `Predicted cache-bust cost: penalty \u2248${cost.penalty.toFixed(0)} tok, recurring saving \u2248${cost.recurringSaving.toFixed(0)} tok/call, break-even \u2248${Number.isFinite(cost.breakEvenCalls) ? cost.breakEvenCalls.toFixed(1) : "\u221e"} calls.`,
+      "Manual prunes always bypass the net-benefit gate, so this preview is informational only.",
+    );
+  }
+  return lines.join("\n");
 }
 
 /** Plain-text report used both by the non-UI /prune fallback and as a debugging aid. */
 export function formatPrunableItemsReport(items: PrunableItem[]): string[] {
-	if (items.length === 0) return ["No prunable tool results found in the current model context."];
-	return items.map((item, index) => `${index + 1}. ${formatPrunableItemOption(item)}`);
+  if (items.length === 0) return ["No prunable tool results found in the current model context."];
+  return items.map((item, index) => `${index + 1}. ${formatPrunableItemOption(item)}`);
 }
 
 // ============================================================================
@@ -2412,415 +2473,498 @@ export function formatPrunableItemsReport(items: PrunableItem[]): string[] {
 export type StrategyKey = "dedupe" | "errorPurge" | "supersededFileOps";
 
 const STRATEGY_ALIASES: Record<string, StrategyKey> = {
-	dedupe: "dedupe",
-	"error-purge": "errorPurge",
-	errorpurge: "errorPurge",
-	error_purge: "errorPurge",
-	errorPurge: "errorPurge",
-	"superseded-file-ops": "supersededFileOps",
-	supersededfileops: "supersededFileOps",
-	superseded_file_ops: "supersededFileOps",
-	supersededFileOps: "supersededFileOps",
+  dedupe: "dedupe",
+  "error-purge": "errorPurge",
+  errorpurge: "errorPurge",
+  error_purge: "errorPurge",
+  errorPurge: "errorPurge",
+  "superseded-file-ops": "supersededFileOps",
+  supersededfileops: "supersededFileOps",
+  superseded_file_ops: "supersededFileOps",
+  supersededFileOps: "supersededFileOps",
 };
 
 const STRATEGY_DISPLAY_NAMES: Record<StrategyKey, string> = {
-	dedupe: "dedupe",
-	errorPurge: "error-purge",
-	supersededFileOps: "superseded-file-ops",
+  dedupe: "dedupe",
+  errorPurge: "error-purge",
+  supersededFileOps: "superseded-file-ops",
 };
 
 export type ContextPruningSubcommand =
-	| { kind: "help" }
-	| { kind: "status" }
-	| { kind: "stats" }
-	| { kind: "enabled"; value: boolean }
-	| { kind: "toggle" }
-	| { kind: "strategy"; strategy: StrategyKey; value: boolean }
-	| { kind: "gate"; mode: GateMode }
-	| { kind: "unknown"; raw: string };
+  | { kind: "help" }
+  | { kind: "status" }
+  | { kind: "stats" }
+  | { kind: "enabled"; value: boolean }
+  | { kind: "toggle" }
+  | { kind: "strategy"; strategy: StrategyKey; value: boolean }
+  | { kind: "gate"; mode: GateMode }
+  | { kind: "unknown"; raw: string };
 
 /** Parse `/context-pruning <...>` arguments into a typed subcommand. Pure; never throws. */
 export function parseContextPruningArgs(rawArgs: string): ContextPruningSubcommand {
-	const tokens = rawArgs.trim().split(/\s+/).filter(Boolean);
-	if (tokens.length === 0) return { kind: "help" };
-	const [head, ...rest] = tokens;
-	const cmd = head.toLowerCase();
-
-	switch (cmd) {
-		case "help":
-		case "-h":
-		case "--help":
-			return { kind: "help" };
-		case "status":
-			return { kind: "status" };
-		case "stats":
-			return { kind: "stats" };
-		case "on":
-			return { kind: "enabled", value: true };
-		case "off":
-			return { kind: "enabled", value: false };
-		case "toggle":
-			return { kind: "toggle" };
-		case "strategy": {
-			const [nameRaw, valueRaw] = rest;
-			const key = nameRaw ? STRATEGY_ALIASES[nameRaw.toLowerCase()] ?? STRATEGY_ALIASES[nameRaw] : undefined;
-			const value = valueRaw?.toLowerCase();
-			if (!key || (value !== "on" && value !== "off")) return { kind: "unknown", raw: rawArgs };
-			return { kind: "strategy", strategy: key, value: value === "on" };
-		}
-		case "gate": {
-			const modeRaw = rest[0]?.toLowerCase();
-			if (modeRaw === "on" || modeRaw === "off" || modeRaw === "always-apply") return { kind: "gate", mode: modeRaw };
-			return { kind: "unknown", raw: rawArgs };
-		}
-		default:
-			return { kind: "unknown", raw: rawArgs };
-	}
+  const tokens = rawArgs.trim().split(/\s+/).filter(Boolean);
+  if (tokens.length === 0) return { kind: "help" };
+  const [head, ...rest] = tokens;
+  const cmd = head.toLowerCase();
+
+  switch (cmd) {
+    case "help":
+    case "-h":
+    case "--help":
+      return { kind: "help" };
+    case "status":
+      return { kind: "status" };
+    case "stats":
+      return { kind: "stats" };
+    case "on":
+      return { kind: "enabled", value: true };
+    case "off":
+      return { kind: "enabled", value: false };
+    case "toggle":
+      return { kind: "toggle" };
+    case "strategy": {
+      const [nameRaw, valueRaw] = rest;
+      const key = nameRaw
+        ? (STRATEGY_ALIASES[nameRaw.toLowerCase()] ?? STRATEGY_ALIASES[nameRaw])
+        : undefined;
+      const value = valueRaw?.toLowerCase();
+      if (!key || (value !== "on" && value !== "off")) return { kind: "unknown", raw: rawArgs };
+      return { kind: "strategy", strategy: key, value: value === "on" };
+    }
+    case "gate": {
+      const modeRaw = rest[0]?.toLowerCase();
+      if (modeRaw === "on" || modeRaw === "off" || modeRaw === "always-apply")
+        return { kind: "gate", mode: modeRaw };
+      return { kind: "unknown", raw: rawArgs };
+    }
+    default:
+      return { kind: "unknown", raw: rawArgs };
+  }
 }
 
 export function contextPruningUsage(): string {
-	return [
-		"Usage: /context-pruning <status|stats|on|off|toggle|strategy <name> on|off|gate <on|off|always-apply>>",
-		"",
-		"  status                        Show enabled state, strategies, protections, and context size.",
-		"  stats                         Show cumulative tokens saved per strategy.",
-		"  on | off | toggle             Enable/disable dynamic context pruning entirely.",
-		"  strategy <name> on|off        Toggle one strategy: dedupe | error-purge | superseded-file-ops.",
-		"  gate on|off|always-apply      Control the net-benefit gate: reject/bypass/model-only.",
-	].join("\n");
+  return [
+    "Usage: /context-pruning <status|stats|on|off|toggle|strategy <name> on|off|gate <on|off|always-apply>>",
+    "",
+    "  status                        Show enabled state, strategies, protections, and context size.",
+    "  stats                         Show cumulative tokens saved per strategy.",
+    "  on | off | toggle             Enable/disable dynamic context pruning entirely.",
+    "  strategy <name> on|off        Toggle one strategy: dedupe | error-purge | superseded-file-ops.",
+    "  gate on|off|always-apply      Control the net-benefit gate: reject/bypass/model-only.",
+  ].join("\n");
 }
 
 export interface ConfigMutationResult {
-	config: DynamicContextPruningConfig;
-	message: string;
+  config: DynamicContextPruningConfig;
+  message: string;
 }
 
 /** Apply a config-mutating subcommand ((enabled|toggle|strategy|gate)) to a config. Pure; returns a new config object. */
 export function applyContextPruningConfigMutation(
-	config: DynamicContextPruningConfig,
-	subcommand: Extract<ContextPruningSubcommand, { kind: "enabled" | "toggle" | "strategy" | "gate" }>,
+  config: DynamicContextPruningConfig,
+  subcommand: Extract<
+    ContextPruningSubcommand,
+    { kind: "enabled" | "toggle" | "strategy" | "gate" }
+  >,
 ): ConfigMutationResult {
-	if (subcommand.kind === "enabled") {
-		return {
-			config: { ...config, enabled: subcommand.value },
-			message: `Dynamic context pruning ${subcommand.value ? "enabled" : "disabled"}.`,
-		};
-	}
-	if (subcommand.kind === "toggle") {
-		const value = !config.enabled;
-		return { config: { ...config, enabled: value }, message: `Dynamic context pruning ${value ? "enabled" : "disabled"}.` };
-	}
-	if (subcommand.kind === "strategy") {
-		const strategies = {
-			...config.strategies,
-			[subcommand.strategy]: { ...config.strategies[subcommand.strategy], enabled: subcommand.value },
-		};
-		return {
-			config: { ...config, strategies },
-			message: `Strategy "${STRATEGY_DISPLAY_NAMES[subcommand.strategy]}" ${subcommand.value ? "enabled" : "disabled"}.`,
-		};
-	}
-	return {
-		config: { ...config, gate: { ...config.gate, mode: subcommand.mode } },
-		message: `Net-benefit gate set to "${subcommand.mode}".`,
-	};
+  if (subcommand.kind === "enabled") {
+    return {
+      config: { ...config, enabled: subcommand.value },
+      message: `Dynamic context pruning ${subcommand.value ? "enabled" : "disabled"}.`,
+    };
+  }
+  if (subcommand.kind === "toggle") {
+    const value = !config.enabled;
+    return {
+      config: { ...config, enabled: value },
+      message: `Dynamic context pruning ${value ? "enabled" : "disabled"}.`,
+    };
+  }
+  if (subcommand.kind === "strategy") {
+    const strategies = {
+      ...config.strategies,
+      [subcommand.strategy]: {
+        ...config.strategies[subcommand.strategy],
+        enabled: subcommand.value,
+      },
+    };
+    return {
+      config: { ...config, strategies },
+      message: `Strategy "${STRATEGY_DISPLAY_NAMES[subcommand.strategy]}" ${subcommand.value ? "enabled" : "disabled"}.`,
+    };
+  }
+  return {
+    config: { ...config, gate: { ...config.gate, mode: subcommand.mode } },
+    message: `Net-benefit gate set to "${subcommand.mode}".`,
+  };
 }
 
 export interface StatusReportInput {
-	config: DynamicContextPruningConfig;
-	contextUsage?: { tokens: number | null; contextWindow: number; percent: number | null };
-	lastSnapshot?: ContextSizeSnapshot;
+  config: DynamicContextPruningConfig;
+  contextUsage?: { tokens: number | null; contextWindow: number; percent: number | null };
+  lastSnapshot?: ContextSizeSnapshot;
 }
 
 /** Human-readable `/context-pruning status` report lines. Pure; testable with fixture inputs. */
 export function formatStatusReport(input: StatusReportInput): string[] {
-	const { config, contextUsage, lastSnapshot } = input;
-	const lines: string[] = [];
-	lines.push(`Dynamic context pruning: ${config.enabled ? "ENABLED" : "disabled"}`);
-	lines.push(
-		`Gate: mode=${config.gate.mode} thresholds={idle:${resolveBreakEvenThreshold(config.gate, "idle")}, mid_loop:${resolveBreakEvenThreshold(config.gate, "mid_loop")}} cachedPriceRatio=${config.gate.cachedPriceRatio}`,
-	);
-	lines.push("Strategies:");
-	lines.push(`  dedupe: ${config.strategies.dedupe.enabled ? "on" : "off"}`);
-	lines.push(
-		`  error-purge: ${config.strategies.errorPurge.enabled ? "on" : "off"} (minTurnsOld=${config.strategies.errorPurge.minTurnsOld})`,
-	);
-	lines.push(`  superseded-file-ops: ${config.strategies.supersededFileOps.enabled ? "on" : "off"}`);
-	lines.push(
-		`Protections: recentTurns=${config.protections.recentTurns}, protectedTools=${config.protections.toolNames.length}, protectedPathGlobs=${config.protections.pathGlobs.length}`,
-	);
-	if (lastSnapshot) {
-		lines.push(
-			`Last call: raw=${lastSnapshot.rawTokens} tok, effective=${lastSnapshot.effectiveTokens} tok, saved=${lastSnapshot.tokensSavedThisCall} tok`,
-		);
-	} else {
-		lines.push("Last call: no context snapshot yet (nothing has run through the pipeline this session).");
-	}
-	if (contextUsage) {
-		const percent = contextUsage.percent != null ? ` (${contextUsage.percent.toFixed(1)}%)` : "";
-		lines.push(`Current context usage: ${contextUsage.tokens ?? "unknown"} / ${contextUsage.contextWindow} tokens${percent}`);
-	}
-	return lines;
+  const { config, contextUsage, lastSnapshot } = input;
+  const lines: string[] = [];
+  lines.push(`Dynamic context pruning: ${config.enabled ? "ENABLED" : "disabled"}`);
+  lines.push(
+    `Gate: mode=${config.gate.mode} thresholds={idle:${resolveBreakEvenThreshold(config.gate, "idle")}, mid_loop:${resolveBreakEvenThreshold(config.gate, "mid_loop")}} cachedPriceRatio=${config.gate.cachedPriceRatio}`,
+  );
+  lines.push("Strategies:");
+  lines.push(`  dedupe: ${config.strategies.dedupe.enabled ? "on" : "off"}`);
+  lines.push(
+    `  error-purge: ${config.strategies.errorPurge.enabled ? "on" : "off"} (minTurnsOld=${config.strategies.errorPurge.minTurnsOld})`,
+  );
+  lines.push(
+    `  superseded-file-ops: ${config.strategies.supersededFileOps.enabled ? "on" : "off"}`,
+  );
+  lines.push(
+    `Protections: recentTurns=${config.protections.recentTurns}, protectedTools=${config.protections.toolNames.length}, protectedPathGlobs=${config.protections.pathGlobs.length}`,
+  );
+  if (lastSnapshot) {
+    lines.push(
+      `Last call: raw=${lastSnapshot.rawTokens} tok, effective=${lastSnapshot.effectiveTokens} tok, saved=${lastSnapshot.tokensSavedThisCall} tok`,
+    );
+  } else {
+    lines.push(
+      "Last call: no context snapshot yet (nothing has run through the pipeline this session).",
+    );
+  }
+  if (contextUsage) {
+    const percent = contextUsage.percent != null ? ` (${contextUsage.percent.toFixed(1)}%)` : "";
+    lines.push(
+      `Current context usage: ${contextUsage.tokens ?? "unknown"} / ${contextUsage.contextWindow} tokens${percent}`,
+    );
+  }
+  return lines;
 }
 
 /** Human-readable `/context-pruning stats` report lines. Pure; testable with fixture inputs. */
 export function formatStatsReport(stats: CumulativePruneStats): string[] {
-	const lines: string[] = [`Total tokens saved: ${stats.totalTokensRemoved} across ${stats.totalPruneCount} prune(s).`];
-	const strategyIds = Object.keys(stats.byStrategy).sort();
-	if (strategyIds.length === 0) {
-		lines.push("No prunes recorded yet.");
-		return lines;
-	}
-	for (const id of strategyIds) {
-		const s = stats.byStrategy[id];
-		lines.push(`  ${id}: ${s.tokensRemoved} tok saved across ${s.pruneCount} prune(s)`);
-	}
-	return lines;
+  const lines: string[] = [
+    `Total tokens saved: ${stats.totalTokensRemoved} across ${stats.totalPruneCount} prune(s).`,
+  ];
+  const strategyIds = Object.keys(stats.byStrategy).sort();
+  if (strategyIds.length === 0) {
+    lines.push("No prunes recorded yet.");
+    return lines;
+  }
+  for (const id of strategyIds) {
+    const s = stats.byStrategy[id];
+    lines.push(`  ${id}: ${s.tokensRemoved} tok saved across ${s.pruneCount} prune(s)`);
+  }
+  return lines;
 }
 
 // ============================================================================
 // Extension wiring
 // ============================================================================
 
-function notify(ctx: ExtensionContext, message: string, level: "info" | "warning" | "error" = "info"): void {
-	if (ctx.hasUI) {
-		ctx.ui.notify(message, level);
-		return;
-	}
-	console.error(message);
+function notify(
+  ctx: ExtensionContext,
+  message: string,
+  level: "info" | "warning" | "error" = "info",
+): void {
+  if (ctx.hasUI) {
+    ctx.ui.notify(message, level);
+    return;
+  }
+  console.error(message);
 }
 
 export const __testing = {
-	globToRegExp,
-	getConfigPath,
-	readConfig,
-	writeConfig,
+  globToRegExp,
+  getConfigPath,
+  readConfig,
+  writeConfig,
 };
 
 export default function dynamicContextPruningExtension(pi: ExtensionAPI) {
-	let config: DynamicContextPruningConfig = defaultConfig();
-	let persistedDecisions: PruneDecisionRecord[] = [];
-	let knownIdempotencyKeys = new Set<string>();
-	let restoredIdempotencyKeys = new Set<string>();
-	let lastDecisionByKey = new Map<string, PruneDecisionRecord>();
-	let cumulativeStats: CumulativePruneStats = emptyCumulativeStats();
-	let knownStatsKeys = new Set<string>();
-	let lastContextSizeSnapshot: ContextSizeSnapshot | undefined;
-
-	const rebuildState = (ctx: ExtensionContext) => {
-		const branchEntries = ctx.sessionManager.getBranch() as unknown as MinimalSessionEntry[];
-		const tombstoneState = resolvePruneTombstoneState(branchEntries);
-		persistedDecisions = tombstoneState.activeDecisions;
-		knownIdempotencyKeys = tombstoneState.activeIdempotencyKeys;
-		restoredIdempotencyKeys = tombstoneState.restoredKeys;
-		lastDecisionByKey = tombstoneState.lastDecisionByKey;
-		const rebuiltStats = rebuildStatsStateFromEntries(branchEntries);
-		cumulativeStats = rebuiltStats.stats;
-		knownStatsKeys = rebuiltStats.seenKeys;
-	};
-
-	pi.on("session_start", async (_event, ctx) => {
-		config = await readConfig();
-		rebuildState(ctx);
-	});
-
-	pi.on("session_tree", async (_event, ctx) => {
-		rebuildState(ctx);
-	});
-
-	pi.on("context", async (event, ctx) => {
-		if (!config.enabled) return undefined;
-
-		const result = runDynamicContextPruningPipeline({
-			messages: event.messages as unknown as MinimalMessage[],
-			config,
-			persistedDecisions,
-			knownIdempotencyKeys,
-			restoredIdempotencyKeys,
-			// Real mid-loop/idle agent-state detection (pe-zy4s): derived straight from
-			// the message payload via classifyAgentStateFromMessages -- see its doc
-			// comment for the exact runtime-observable definition.
-			agentState: classifyAgentStateFromMessages(event.messages as unknown as MinimalMessage[]),
-			cwd: ctx.sessionManager.getCwd(),
-		});
-
-		for (const decision of result.newlyAppliedDecisions) {
-			if (knownIdempotencyKeys.has(decision.idempotencyKey)) continue;
-			knownIdempotencyKeys.add(decision.idempotencyKey);
-			persistedDecisions.push(decision);
-			lastDecisionByKey.set(decision.idempotencyKey, decision);
-			try {
-				pi.appendEntry(DECISION_ENTRY_TYPE, decision);
-			} catch {
-				// Persisting a decision for a call that never completes (abort/retry)
-				// is harmless: pruning is recomputed fresh on every call. Swallow.
-			}
-		}
-
-		for (const statRecord of result.newlyAppliedStats) {
-			if (knownStatsKeys.has(statRecord.idempotencyKey)) continue;
-			knownStatsKeys.add(statRecord.idempotencyKey);
-			cumulativeStats = foldStatsRecord(cumulativeStats, statRecord);
-			try {
-				pi.appendEntry(STATS_ENTRY_TYPE, statRecord);
-			} catch {
-				// Same reasoning as decision persistence above: safe to drop on abort/retry.
-			}
-		}
-
-		lastContextSizeSnapshot = result.contextSizeSnapshot;
-		void ctx; // ctx currently unused beyond typing; kept for future protections/UI hooks.
-		return { messages: result.messages as never };
-	});
-
-	/** Persist + apply a manual prune decision immediately (accounting included), bypassing the net-benefit gate. */
-	const persistManualPrune = (messages: MinimalMessage[], toolCallId: string): { decision: PruneDecisionRecord; tokensRemoved: number } => {
-		const proposal = buildManualPruneProposal(toolCallId);
-		const decision = proposalToDecisionRecord(proposal);
-		const estimate = estimateDecisionSavings(messages, decision, estimateTokensForText);
-		const tokensRemoved = estimate?.tokensRemoved ?? 0;
-		const statRecord = buildStatsRecord(decision, tokensRemoved);
-
-		pi.appendEntry(DECISION_ENTRY_TYPE, decision);
-		pi.appendEntry(STATS_ENTRY_TYPE, statRecord);
-
-		persistedDecisions = [...persistedDecisions.filter((d) => d.idempotencyKey !== decision.idempotencyKey), decision];
-		knownIdempotencyKeys.add(decision.idempotencyKey);
-		restoredIdempotencyKeys.delete(decision.idempotencyKey);
-		lastDecisionByKey.set(decision.idempotencyKey, decision);
-		if (!knownStatsKeys.has(statRecord.idempotencyKey)) {
-			knownStatsKeys.add(statRecord.idempotencyKey);
-			cumulativeStats = foldStatsRecord(cumulativeStats, statRecord);
-		}
-
-		return { decision, tokensRemoved };
-	};
-
-	/** Persist a restore (tombstone) for a currently-active decision. Idempotent: safe to call more than once. */
-	const persistRestore = (idempotencyKey: string): void => {
-		const record = buildRestoreRecord(idempotencyKey);
-		pi.appendEntry(RESTORE_ENTRY_TYPE, record);
-		persistedDecisions = persistedDecisions.filter((d) => d.idempotencyKey !== idempotencyKey);
-		knownIdempotencyKeys.delete(idempotencyKey);
-		restoredIdempotencyKeys.add(idempotencyKey);
-	};
-
-	pi.registerCommand("prune", {
-		description: "Review, manually prune, and restore prunable tool results (interactive picker in TUI/RPC)",
-		handler: async (_args, ctx) => {
-			const branchEntries = ctx.sessionManager.getBranch() as unknown as MinimalSessionEntry[];
-			const projection = resolveSessionProjection(ctx);
-			const messages = sessionEntriesToMessages(branchEntries, projection);
-			const activeByToolCallId = buildActiveResultDecisionMap(persistedDecisions);
-			const restoredToolCallIds = new Set(
-				Array.from(lastDecisionByKey.values())
-					.filter((d) => d.correlation.type === "toolCallId" && restoredIdempotencyKeys.has(d.idempotencyKey))
-					.map((d) => (d.correlation as { type: "toolCallId"; toolCallId: string }).toolCallId),
-			);
-			const items = buildPrunableItems(messages, activeByToolCallId, restoredToolCallIds);
-
-			if (!ctx.hasUI) {
-				notify(ctx, ["/prune: no interactive UI available. Prunable tool results in the current model context:", "", ...formatPrunableItemsReport(items)].join("\n"), "info");
-				return;
-			}
-
-			if (items.length === 0) {
-				notify(ctx, "No prunable tool results found in the current model context.", "info");
-				return;
-			}
-
-			const doneLabel = "Done";
-			while (true) {
-				const latestBranch = ctx.sessionManager.getBranch() as unknown as MinimalSessionEntry[];
-				const latestProjection = resolveSessionProjection(ctx);
-				const latestMessages = sessionEntriesToMessages(latestBranch, latestProjection);
-				const latestActive = buildActiveResultDecisionMap(persistedDecisions);
-				const latestRestoredToolCallIds = new Set(
-					Array.from(lastDecisionByKey.values())
-						.filter((d) => d.correlation.type === "toolCallId" && restoredIdempotencyKeys.has(d.idempotencyKey))
-						.map((d) => (d.correlation as { type: "toolCallId"; toolCallId: string }).toolCallId),
-				);
-				const latestItems = buildPrunableItems(latestMessages, latestActive, latestRestoredToolCallIds);
-				if (latestItems.length === 0) {
-					notify(ctx, "No prunable tool results found in the current model context.", "info");
-					return;
-				}
-
-				// Labels may collide (e.g. duplicate tool calls with identical args/tokens/status), so each
-				// option is disambiguated with a stable row-number prefix and the selection is recovered by
-				// matching that unique label back to its own row — never by indexOf on re-derived base labels.
-				const pickerOptions = buildPrunableItemPickerOptions(latestItems);
-				const options = pickerOptions.map((option) => option.label);
-				const choice = await ctx.ui.select("/prune \u2014 select a tool result to prune or restore", [...options, doneLabel]);
-				if (!choice || choice === doneLabel) return;
-
-				const item = pickerOptions.find((option) => option.label === choice)?.item;
-				if (!item) continue;
-
-				if (item.status === "pruned" && item.activeDecision) {
-					const confirmed = await ctx.ui.confirm("Restore this tool result?", formatPrunableItemDetail(item));
-					if (confirmed) {
-						persistRestore(item.activeDecision.idempotencyKey);
-						notify(ctx, `Restored ${item.toolName} result; it will show its original content on the next call.`, "info");
-					}
-					continue;
-				}
-
-				// active or restored: offer a (re-)prune, with a predicted cache-bust cost preview.
-				const previewProposal = buildManualPruneProposal(item.toolCallId);
-				const previewDecision = proposalToDecisionRecord(previewProposal);
-				const estimate = estimateDecisionSavings(latestMessages, previewDecision, estimateTokensForText);
-				const cost = estimate
-					? computeCacheCostModel({
-							tailTokensAfterEarliestChange: estimateTailTokens(latestMessages, estimate.position, estimateTokensForText),
-							tokensRemoved: estimate.tokensRemoved,
-							cachedPriceRatio: config.gate.cachedPriceRatio,
-						})
-					: undefined;
-
-				const confirmed = await ctx.ui.confirm(`Prune ${item.toolName} result?`, formatPrunableItemDetail(item, cost));
-				if (confirmed) {
-					persistManualPrune(latestMessages, item.toolCallId);
-					notify(ctx, `Pruned ${item.toolName} result; it will apply on the next call.`, "info");
-				}
-			}
-		},
-	});
-
-	pi.registerCommand("context-pruning", {
-		description: "Inspect and control dynamic context pruning: status, stats, on/off, strategy, gate",
-		handler: async (args, ctx) => {
-			const subcommand = parseContextPruningArgs(args);
-
-			if (subcommand.kind === "help") {
-				notify(ctx, contextPruningUsage(), "info");
-				return;
-			}
-			if (subcommand.kind === "unknown") {
-				notify(ctx, `Unknown /context-pruning subcommand: "${subcommand.raw}".\n\n${contextPruningUsage()}`, "error");
-				return;
-			}
-			if (subcommand.kind === "status") {
-				const usage = ctx.getContextUsage();
-				notify(ctx, formatStatusReport({ config, contextUsage: usage, lastSnapshot: lastContextSizeSnapshot }).join("\n"), "info");
-				return;
-			}
-			if (subcommand.kind === "stats") {
-				notify(ctx, formatStatsReport(cumulativeStats).join("\n"), "info");
-				return;
-			}
-
-			const { config: nextConfig, message } = applyContextPruningConfigMutation(config, subcommand);
-			config = nextConfig;
-			try {
-				await writeConfig(config);
-			} catch {
-				// Config is still updated in-memory for this session even if the write fails
-				// (e.g. read-only filesystem); surface the change but note persistence failed.
-				notify(ctx, `${message} (warning: failed to persist config to disk)`, "warning");
-				return;
-			}
-			notify(ctx, message, "info");
-		},
-	});
+  let config: DynamicContextPruningConfig = defaultConfig();
+  let persistedDecisions: PruneDecisionRecord[] = [];
+  let knownIdempotencyKeys = new Set<string>();
+  let restoredIdempotencyKeys = new Set<string>();
+  let lastDecisionByKey = new Map<string, PruneDecisionRecord>();
+  let cumulativeStats: CumulativePruneStats = emptyCumulativeStats();
+  let knownStatsKeys = new Set<string>();
+  let lastContextSizeSnapshot: ContextSizeSnapshot | undefined;
+
+  const rebuildState = (ctx: ExtensionContext) => {
+    const branchEntries = ctx.sessionManager.getBranch() as unknown as MinimalSessionEntry[];
+    const tombstoneState = resolvePruneTombstoneState(branchEntries);
+    persistedDecisions = tombstoneState.activeDecisions;
+    knownIdempotencyKeys = tombstoneState.activeIdempotencyKeys;
+    restoredIdempotencyKeys = tombstoneState.restoredKeys;
+    lastDecisionByKey = tombstoneState.lastDecisionByKey;
+    const rebuiltStats = rebuildStatsStateFromEntries(branchEntries);
+    cumulativeStats = rebuiltStats.stats;
+    knownStatsKeys = rebuiltStats.seenKeys;
+  };
+
+  pi.on("session_start", async (_event, ctx) => {
+    config = await readConfig();
+    rebuildState(ctx);
+  });
+
+  pi.on("session_tree", async (_event, ctx) => {
+    rebuildState(ctx);
+  });
+
+  pi.on("context", async (event, ctx) => {
+    if (!config.enabled) return undefined;
+
+    const result = runDynamicContextPruningPipeline({
+      messages: event.messages as unknown as MinimalMessage[],
+      config,
+      persistedDecisions,
+      knownIdempotencyKeys,
+      restoredIdempotencyKeys,
+      // Real mid-loop/idle agent-state detection (pe-zy4s): derived straight from
+      // the message payload via classifyAgentStateFromMessages -- see its doc
+      // comment for the exact runtime-observable definition.
+      agentState: classifyAgentStateFromMessages(event.messages as unknown as MinimalMessage[]),
+      cwd: ctx.sessionManager.getCwd(),
+    });
+
+    for (const decision of result.newlyAppliedDecisions) {
+      if (knownIdempotencyKeys.has(decision.idempotencyKey)) continue;
+      knownIdempotencyKeys.add(decision.idempotencyKey);
+      persistedDecisions.push(decision);
+      lastDecisionByKey.set(decision.idempotencyKey, decision);
+      try {
+        pi.appendEntry(DECISION_ENTRY_TYPE, decision);
+      } catch {
+        // Persisting a decision for a call that never completes (abort/retry)
+        // is harmless: pruning is recomputed fresh on every call. Swallow.
+      }
+    }
+
+    for (const statRecord of result.newlyAppliedStats) {
+      if (knownStatsKeys.has(statRecord.idempotencyKey)) continue;
+      knownStatsKeys.add(statRecord.idempotencyKey);
+      cumulativeStats = foldStatsRecord(cumulativeStats, statRecord);
+      try {
+        pi.appendEntry(STATS_ENTRY_TYPE, statRecord);
+      } catch {
+        // Same reasoning as decision persistence above: safe to drop on abort/retry.
+      }
+    }
+
+    lastContextSizeSnapshot = result.contextSizeSnapshot;
+    return { messages: result.messages as never };
+  });
+
+  /** Persist + apply a manual prune decision immediately (accounting included), bypassing the net-benefit gate. */
+  const persistManualPrune = (
+    messages: MinimalMessage[],
+    toolCallId: string,
+  ): { decision: PruneDecisionRecord; tokensRemoved: number } => {
+    const proposal = buildManualPruneProposal(toolCallId);
+    const decision = proposalToDecisionRecord(proposal);
+    const estimate = estimateDecisionSavings(messages, decision, estimateTokensForText);
+    const tokensRemoved = estimate?.tokensRemoved ?? 0;
+    const statRecord = buildStatsRecord(decision, tokensRemoved);
+
+    pi.appendEntry(DECISION_ENTRY_TYPE, decision);
+    pi.appendEntry(STATS_ENTRY_TYPE, statRecord);
+
+    persistedDecisions = [
+      ...persistedDecisions.filter((d) => d.idempotencyKey !== decision.idempotencyKey),
+      decision,
+    ];
+    knownIdempotencyKeys.add(decision.idempotencyKey);
+    restoredIdempotencyKeys.delete(decision.idempotencyKey);
+    lastDecisionByKey.set(decision.idempotencyKey, decision);
+    if (!knownStatsKeys.has(statRecord.idempotencyKey)) {
+      knownStatsKeys.add(statRecord.idempotencyKey);
+      cumulativeStats = foldStatsRecord(cumulativeStats, statRecord);
+    }
+
+    return { decision, tokensRemoved };
+  };
+
+  /** Persist a restore (tombstone) for a currently-active decision. Idempotent: safe to call more than once. */
+  const persistRestore = (idempotencyKey: string): void => {
+    const record = buildRestoreRecord(idempotencyKey);
+    pi.appendEntry(RESTORE_ENTRY_TYPE, record);
+    persistedDecisions = persistedDecisions.filter((d) => d.idempotencyKey !== idempotencyKey);
+    knownIdempotencyKeys.delete(idempotencyKey);
+    restoredIdempotencyKeys.add(idempotencyKey);
+  };
+
+  pi.registerCommand("prune", {
+    description:
+      "Review, manually prune, and restore prunable tool results (interactive picker in TUI/RPC)",
+    handler: async (_args, ctx) => {
+      const branchEntries = ctx.sessionManager.getBranch() as unknown as MinimalSessionEntry[];
+      const projection = resolveSessionProjection(ctx);
+      const messages = sessionEntriesToMessages(branchEntries, projection);
+      const activeByToolCallId = buildActiveResultDecisionMap(persistedDecisions);
+      const restoredToolCallIds = new Set(
+        Array.from(lastDecisionByKey.values())
+          .filter(
+            (d) =>
+              d.correlation.type === "toolCallId" && restoredIdempotencyKeys.has(d.idempotencyKey),
+          )
+          .map((d) => (d.correlation as { type: "toolCallId"; toolCallId: string }).toolCallId),
+      );
+      const items = buildPrunableItems(messages, activeByToolCallId, restoredToolCallIds);
+
+      if (!ctx.hasUI) {
+        notify(
+          ctx,
+          [
+            "/prune: no interactive UI available. Prunable tool results in the current model context:",
+            "",
+            ...formatPrunableItemsReport(items),
+          ].join("\n"),
+          "info",
+        );
+        return;
+      }
+
+      if (items.length === 0) {
+        notify(ctx, "No prunable tool results found in the current model context.", "info");
+        return;
+      }
+
+      const doneLabel = "Done";
+      while (true) {
+        const latestBranch = ctx.sessionManager.getBranch() as unknown as MinimalSessionEntry[];
+        const latestProjection = resolveSessionProjection(ctx);
+        const latestMessages = sessionEntriesToMessages(latestBranch, latestProjection);
+        const latestActive = buildActiveResultDecisionMap(persistedDecisions);
+        const latestRestoredToolCallIds = new Set(
+          Array.from(lastDecisionByKey.values())
+            .filter(
+              (d) =>
+                d.correlation.type === "toolCallId" &&
+                restoredIdempotencyKeys.has(d.idempotencyKey),
+            )
+            .map((d) => (d.correlation as { type: "toolCallId"; toolCallId: string }).toolCallId),
+        );
+        const latestItems = buildPrunableItems(
+          latestMessages,
+          latestActive,
+          latestRestoredToolCallIds,
+        );
+        if (latestItems.length === 0) {
+          notify(ctx, "No prunable tool results found in the current model context.", "info");
+          return;
+        }
+
+        // Labels may collide (e.g. duplicate tool calls with identical args/tokens/status), so each
+        // option is disambiguated with a stable row-number prefix and the selection is recovered by
+        // matching that unique label back to its own row — never by indexOf on re-derived base labels.
+        const pickerOptions = buildPrunableItemPickerOptions(latestItems);
+        const options = pickerOptions.map((option) => option.label);
+        const choice = await ctx.ui.select(
+          "/prune \u2014 select a tool result to prune or restore",
+          [...options, doneLabel],
+        );
+        if (!choice || choice === doneLabel) return;
+
+        const item = pickerOptions.find((option) => option.label === choice)?.item;
+        if (!item) continue;
+
+        if (item.status === "pruned" && item.activeDecision) {
+          const confirmed = await ctx.ui.confirm(
+            "Restore this tool result?",
+            formatPrunableItemDetail(item),
+          );
+          if (confirmed) {
+            persistRestore(item.activeDecision.idempotencyKey);
+            notify(
+              ctx,
+              `Restored ${item.toolName} result; it will show its original content on the next call.`,
+              "info",
+            );
+          }
+          continue;
+        }
+
+        // active or restored: offer a (re-)prune, with a predicted cache-bust cost preview.
+        const previewProposal = buildManualPruneProposal(item.toolCallId);
+        const previewDecision = proposalToDecisionRecord(previewProposal);
+        const estimate = estimateDecisionSavings(
+          latestMessages,
+          previewDecision,
+          estimateTokensForText,
+        );
+        const cost = estimate
+          ? computeCacheCostModel({
+              tailTokensAfterEarliestChange: estimateTailTokens(
+                latestMessages,
+                estimate.position,
+                estimateTokensForText,
+              ),
+              tokensRemoved: estimate.tokensRemoved,
+              cachedPriceRatio: config.gate.cachedPriceRatio,
+            })
+          : undefined;
+
+        const confirmed = await ctx.ui.confirm(
+          `Prune ${item.toolName} result?`,
+          formatPrunableItemDetail(item, cost),
+        );
+        if (confirmed) {
+          persistManualPrune(latestMessages, item.toolCallId);
+          notify(ctx, `Pruned ${item.toolName} result; it will apply on the next call.`, "info");
+        }
+      }
+    },
+  });
+
+  pi.registerCommand("context-pruning", {
+    description:
+      "Inspect and control dynamic context pruning: status, stats, on/off, strategy, gate",
+    handler: async (args, ctx) => {
+      const subcommand = parseContextPruningArgs(args);
+
+      if (subcommand.kind === "help") {
+        notify(ctx, contextPruningUsage(), "info");
+        return;
+      }
+      if (subcommand.kind === "unknown") {
+        notify(
+          ctx,
+          `Unknown /context-pruning subcommand: "${subcommand.raw}".\n\n${contextPruningUsage()}`,
+          "error",
+        );
+        return;
+      }
+      if (subcommand.kind === "status") {
+        const usage = ctx.getContextUsage();
+        notify(
+          ctx,
+          formatStatusReport({
+            config,
+            contextUsage: usage,
+            lastSnapshot: lastContextSizeSnapshot,
+          }).join("\n"),
+          "info",
+        );
+        return;
+      }
+      if (subcommand.kind === "stats") {
+        notify(ctx, formatStatsReport(cumulativeStats).join("\n"), "info");
+        return;
+      }
+
+      const { config: nextConfig, message } = applyContextPruningConfigMutation(config, subcommand);
+      config = nextConfig;
+      try {
+        await writeConfig(config);
+      } catch {
+        // Config is still updated in-memory for this session even if the write fails
+        // (e.g. read-only filesystem); surface the change but note persistence failed.
+        notify(ctx, `${message} (warning: failed to persist config to disk)`, "warning");
+        return;
+      }
+      notify(ctx, message, "info");
+    },
+  });
 }