pi-smart-compact 7.5.1 → 7.7.0

package/package.json

@@ -1,8 +1,9 @@
 {
   "name": "pi-smart-compact",
-  "version": "7.5.1",
+  "version": "7.7.0",
   "description": "EESV smart compaction extension for Pi Coding Agent — deterministic extraction, exploration, synthesis, verification with redundancy pruning, project fingerprinting, and damage detection.",
   "license": "MIT",
+  "main": "./dist/index.js",
   "author": "Alper Tarhan <alpertarhan@gmail.com>",
   "repository": {
     "type": "git",
@@ -25,17 +26,18 @@
     "llm-context"
   ],
   "files": [
-    "src",
+    "dist",
     "README.md",
     "LICENSE",
     "CHANGELOG.md"
   ],
   "scripts": {
+    "build": "rm -rf dist && mkdir dist && bun build ./src/index.ts --outdir ./dist --target bun --external '@earendil-works/*' --external 'typebox'",
     "test": "bun test",
     "typecheck": "bunx tsc --noEmit"
   },
   "pi": {
-    "extensions": ["./src/index.ts"]
+    "extensions": ["./dist/index.js"]
   },
   "peerDependencies": {
     "@earendil-works/pi-ai": "*",

package/src/constants.ts

@@ -1,140 +0,0 @@
-/**
- * Constants, prompts, and profile defaults.
- */
-
-import type { CompressionProfile, ProfileConfig } from "./types.ts";
-
-export const VERSION = "7.5.0";
-export const CHARS_PER_TOKEN = 3.8;
-
-export const COMPACT_SYSTEM_PREFIX =
-  "You are an expert conversation summarizer for a coding agent. " +
-  "Produce structured markdown summaries. " +
-  "Follow output format exactly. " +
-  "Use EXACT names — never paraphrase code identifiers. " +
-  "Trust deterministic extraction data over intuition.";
-
-export const PROFILES: Record<CompressionProfile, ProfileConfig> = {
-  light: {
-    summaryBudgetTokens: 10000,
-    keepRecentTokens: 30000,
-    minChunkTokens: 800,
-    maxChunkTokens: 12000,
-    singlePassMaxTokens: 40000,
-    batchMaxTokens: 30000,
-  },
-  balanced: {
-    summaryBudgetTokens: 6000,
-    keepRecentTokens: 20000,
-    minChunkTokens: 500,
-    maxChunkTokens: 8000,
-    singlePassMaxTokens: 30000,
-    batchMaxTokens: 24000,
-  },
-  aggressive: {
-    summaryBudgetTokens: 3000,
-    keepRecentTokens: 10000,
-    minChunkTokens: 300,
-    maxChunkTokens: 6000,
-    singlePassMaxTokens: 20000,
-    batchMaxTokens: 18000,
-  },
-};
-
-export const DEFAULT_CONFIG = {
-  profile: "balanced" as CompressionProfile,
-  profiles: PROFILES,
-  summaryModel: null as string | null,
-  segmentationModel: null as string | null,
-  autoTrigger: true,
-  backupEnabled: true,
-  backupDir: "",
-};
-
-export const NO_OP_RE = /applied:\s*0|no changes applied|nothing to (?:do|change)|0 edits? applied/i;
-export const SHIFT_RE = /simdi|peki|bide|bi de|gecelim|bakalim|yapalim|baska|sonra|tamam simdi|now let|also|next|let's|moving on|switch to/i;
-export const CHOICE_RE = /use\s+\S+\s+(?:instead|not|rather)|don't\s+use|avoid\s+|switch\s+to\s+|go\s+with\s+|prefer\s+/i;
-
-// ── Prompt Templates ──
-
-export const SINGLE_PASS_PREFIX =
-  "Summarize this coding agent conversation. Produce ONE structured summary.\n" +
-  "\nRules for Accuracy:\n" +
-  "1. Session Type: read-only tool calls = REVIEW, not implementation\n" +
-  "2. Status: Check for user complaints before marking \"Done\"\n" +
-  "3. Exact Names: Quote specific variable/function/parameter names, don't paraphrase\n" +
-  "4. Files: Use the VERIFIED file lists above (deterministically extracted, zero hallucination risk)\n" +
-  "\nOutput EXACTLY this format:\n\n" +
-  "## Goal\n[What the user is trying to accomplish]\n" +
-  "## Constraints & Preferences\n- [CRITICAL: user requirements, preferences, constraints]\n" +
-  "## Progress\n### Done\n- [x] [Completed tasks with file references]\n### In Progress\n- [ ] [Current work state]\n### Blocked\n- [Issues]\n" +
-  "## Key Decisions\n- **[Decision]**: [Rationale]\n" +
-  "## Files Modified\n- [Verified list from deterministic extraction]\n" +
-  "## Files Read\n- [Verified list from deterministic extraction]\n" +
-  "## Next Steps\n1. [What should happen next]\n" +
-  "## Critical Context\n- [Specific data, patterns, info needed to continue]\n- [Error patterns or gotchas]\n" +
-  "## Topics Covered\n[Chronological bullet list with priority in brackets]\n";
-
-export const SINGLE_PASS_SUFFIX =
-  "\n{PREV_CONTEXT}\n\n{EXTRACTION_CONTEXT}\n\n{EXPLORATION_CONTEXT}\n\n<conversation>\n{CONVERSATION}\n</conversation>";
-
-export const BATCH_PROMPT_PREFIX =
-  "Summarize these conversation segments.\n\nRules for Accuracy:\n" +
-  "1. Use EXACT file paths from extraction data\n" +
-  "2. Status: only mark \"done\" if there's clear evidence (successful test run, user confirmation)\n" +
-  "3. Quote specific values, don't paraphrase code\n\n" +
-  "For EACH segment produce:\n" +
-  "### {TOPIC_NAME}\n" +
-  "**Priority**: [critical|high|normal|low]\n" +
-  "**Summary**: [2-4 sentences: what happened, errors, code changes with paths]\n" +
-  "**Decisions**: [comma-separated, or \"None\"]\n" +
-  "**Modified**: [comma-separated paths, or \"None\"]\n" +
-  "**Read**: [comma-separated paths, or \"None\"]\n";
-
-export const BATCH_PROMPT_SUFFIX = "\n{EXTRACTION_CONTEXT}\n\n<segments>\n{TEXT}\n</segments>";
-
-export const ASSEMBLY_PROMPT_PREFIX =
-  "Merge these topic summaries into ONE coherent summary.\n\n" +
-  "## IMMUTABLE CONTEXT (do not modify or contradict these facts)\n" +
-  "These are deterministically verified from the original conversation. They take priority over ANY summary content below.\n\n" +
-  "Rules:\n" +
-  "1. Preserve ALL critical/high info. Condense normal, minimize low.\n" +
-  "2. Chronological order.\n" +
-  "3. The pre-processed data below is GROUND TRUTH — trust it over individual summaries.\n" +
-  "4. Files Modified list is deterministically verified — if a summary says a file was modified but it's NOT in the list above, omit it.\n" +
-  "5. Key Decisions below are verified — preserve them exactly, do not paraphrase the decision text.\n" +
-  "6. Do NOT fabricate file paths, function names, or error messages not present in the verified data.\n\n" +
-  "Format:\n" +
-  "## Goal\n[Overall objective]\n" +
-  "## Constraints & Preferences\n- [CRITICAL requirements, preferences, constraints]\n" +
-  "## Progress\n### Done\n- [x] [Completed tasks with file refs]\n### In Progress\n- [ ] [Current work state]\n### Blocked\n- [Issues]\n" +
-  "## Key Decisions\n- **[Decision]**: [Rationale]\n" +
-  "## Files Modified\n- [Verified deterministic list]\n" +
-  "## Files Read\n- [Verified deterministic list]\n" +
-  "## Next Steps\n1. [What should happen next]\n" +
-  "## Critical Context\n- [Data, patterns, info needed]\n" +
-  "## Topics Covered\n[Chronological bullets with priority]\n";
-
-export const ASSEMBLY_PROMPT_SUFFIX =
-  "\nIMMUTABLE CONTEXT (verified deterministic data):\n- Key Decisions: {DECISIONS}\n- Files Modified (VERIFIED): {MODIFIED}\n- Files Read (VERIFIED): {READ}\n\n{EXPLORATION_CONTEXT}\n{PREV_CONTEXT}\n\n<summaries>{SUMMARIES}</summaries>";
-
-// ── Session-type-specific prompt instructions ──
-
-export const SESSION_TYPE_INSTRUCTIONS: Record<string, string> = {
-  debugging: "Focus on: error chains, root cause analysis, attempted fixes, resolution status. Prioritize error messages and stack traces. Mark files as Done only if all errors resolved.",
-  implementation: "Focus on: files created/modified, architectural decisions, feature completeness, test coverage. Prioritize code changes with exact paths.",
-  review: "Focus on: files read, issues found, recommendations, approval status. Prioritize findings over changes. Read-only tool calls = REVIEW, not implementation.",
-  discussion: "Focus on: decisions made, trade-offs discussed, consensus reached. Prioritize rationale over implementation details.",
-};
-
-export const EXPLORER_SYSTEM_PROMPT =
-  "You are a conversation analyst. You have deterministic extraction data and can query the raw conversation using tools.\n\n" +
-  "Your job:\n" +
-  "1. Verify/enrich the extracted boundaries (merge, split, or add as needed)\n" +
-  "2. Identify cross-topic relationships\n" +
-  "3. Find implicit constraints (user tone, frustration, urgency)\n" +
-  "4. Assess completion status accurately\n" +
-  "5. Extract the narrative arc\n\n" +
-  "Use tools BEFORE forming conclusions. You may make up to 8 tool calls.\n\n" +
-  "After exploration, output ONLY a JSON object (no markdown):\n" +
-  '{"boundaries":[{"afterIndex":N,"topic":"...","priority":"critical|high|normal|low","confidence":0.0-1.0}],"mainGoal":"...","sessionType":"implementation|review|debugging|discussion","enrichedConstraints":[...],"crossReferences":[...],"statusAssessment":{"done":[...],"inProgress":[...],"blocked":[...]},"criticalContext":[...],"keyDecisions":[...]}';

package/src/core.ts

@@ -1,360 +0,0 @@
-/**
- * Core EESV pipeline runner.
- */
-
-import type { ExtensionCommandContext } from "@earendil-works/pi-coding-agent";
-import { convertToLlm, serializeConversation } from "@earendil-works/pi-coding-agent";
-import type { Model, Api } from "@earendil-works/pi-ai";
-import type {
-  CompressionProfile, PendingCompaction, LlmMessage, StructuredExtraction,
-  ExplorationReport, SmartCompactDetails, ChunkSummary,
-} from "./types.ts";
-import { PROFILES } from "./constants.ts";
-import { estimateTokens, getProviderCaps } from "./utils/tokens.ts";
-import {
-  resetCompactSessionId, resetMetrics, appendMetricsLog, getMetricsSummary,
-  saveCachedExtraction, loadCachedExtraction, mergeExtractions, cacheOpts,
-} from "./utils/cache.ts";
-import { extractStructured } from "./utils/extraction.ts";
-import { pruneRedundant } from "./utils/pruning.ts";
-import { deriveProjectId, loadProjectFingerprint, saveProjectFingerprint, buildProjectContext } from "./utils/fingerprint.ts";
-import { detectDamage, logDamageReport } from "./utils/damage.ts";
-import {
-  loadConfig, backupConversation, getPreviousCompactionContext,
-  smartKeepBoundary, createBatches,
-} from "./utils/helpers.ts";
-import { extractText } from "./utils/extraction.ts";
-import { exploreConversation, shouldExplore } from "./phases/explore.ts";
-import { chunkLlmMessages, singlePassCompact, summarizeBatch, assembleLLM, assembleFallback } from "./phases/synthesize.ts";
-import { verifySummary, patchSummary, patchDeterministic } from "./phases/verify.ts";
-import { showProgressOverlay, showResultScreen } from "./ui/overlays.ts";
-
-export async function runSmartCompact(
-  ctx: ExtensionCommandContext,
-  summaryModel: Model<Api>, segModel: Model<Api>,
-  profile: CompressionProfile,
-  verbose: boolean, dryRun: boolean,
-  pendingRef: { value: PendingCompaction | null; createdAt: number },
-  isRunning: { value: boolean },
-  autoTriggered: boolean,
-  userNote?: string,
-  skipCompact?: boolean,
-): Promise<void> {
-  if (isRunning.value) return;
-  isRunning.value = true;
-  const pipelineStart = Date.now();
-  resetCompactSessionId();
-  resetMetrics();
-
-  if (!summaryModel || !segModel) { isRunning.value = false; if (!autoTriggered) ctx.ui.notify("Model resolve failed", "error"); return; }
-  try {
-    const config = loadConfig();
-    const pc = { ...PROFILES[profile], ...(config.profiles?.[profile] ?? {}) };
-    const auth = await ctx.modelRegistry.getApiKeyAndHeaders(summaryModel);
-    const segAuth = segModel !== summaryModel ? await ctx.modelRegistry.getApiKeyAndHeaders(segModel) : auth;
-    if ((!auth.ok || !auth.apiKey) || (!segAuth.ok || !segAuth.apiKey)) { isRunning.value = false; if (!autoTriggered) ctx.ui.notify("Auth failed", "error"); return; }
-
-    const usage = ctx.getContextUsage();
-    const totalTokens = usage?.tokens ?? 0;
-    if (!totalTokens || totalTokens < 5000) { isRunning.value = false; if (!autoTriggered) ctx.ui.notify("Context OK or unknown", "info"); return; }
-
-    const notify = (msg: string, type: "info" | "success" | "warning" | "error" = "info") => { ctx.ui.notify(msg, type); };
-    const ctrl = new AbortController();
-    const signal = ctrl.signal;
-    const modelLabel = summaryModel.provider + "/" + summaryModel.id;
-    notify("Smart compact: " + modelLabel + ", " + profile + ", tokens=" + totalTokens, "info");
-    notify("EESV Compact (" + modelLabel + ", " + profile + ") — " + (totalTokens ?? 0).toLocaleString() + "t", "info");
-
-    const branch = ctx.sessionManager.getBranch();
-    interface SessionMessageEntry { type: "message"; id: string; message: unknown }
-    const msgs = branch.filter((e: SessionMessageEntry): e is SessionMessageEntry => e.type === "message" && e.message != null);
-    if (msgs.length < 3) { isRunning.value = false; return; }
-
-    let accTokens = 0, keepFrom = msgs.length;
-    for (let i = msgs.length - 1; i >= 0; i--) {
-      // Use extractText for content instead of JSON.stringify to avoid metadata overhead
-      const msg = msgs[i].message as any;
-      const contentText = msg?.content ? (typeof msg.content === "string" ? msg.content : JSON.stringify(msg.content)) : "";
-      accTokens += estimateTokens(contentText);
-      if (accTokens >= pc.keepRecentTokens) { keepFrom = i; break; }
-    }
-    keepFrom = smartKeepBoundary(msgs, keepFrom);
-
-    const toCompact = msgs.slice(0, keepFrom);
-    if (!toCompact.length) { isRunning.value = false; return; }
-    const firstKeptId = msgs[keepFrom]?.id ?? msgs[msgs.length - 1]?.id ?? "";
-
-    if (!autoTriggered) {
-      showProgressOverlay(ctx, { phase: 1, phaseName: "Extract", detail: "Preparing...", model: modelLabel, profile });
-    }
-
-    const llmMessages = convertToLlm(toCompact.map(e => e.message)) as LlmMessage[];
-
-    // ── Pre-compaction redundancy pruning ──
-    const pruning = pruneRedundant(llmMessages);
-    if (pruning.prunedCount > 0) {
-      notify("Pruning: " + pruning.prunedCount + " msgs removed (" + pruning.reasons.map(r => r.count + "x " + r.reason).join(", ") + ")", "info");
-    }
-    const prunedMessages = pruning.messages;
-    const convText = serializeConversation(prunedMessages);
-    const convTokens = estimateTokens(convText);
-
-    const sessionId = ctx.sessionManager.getSessionId?.() ?? "unknown";
-    const backupPath = backupConversation(convText, sessionId);
-    const prevContext = getPreviousCompactionContext(branch);
-
-    // ── Project fingerprint (cross-session context) ──
-    const projectId = deriveProjectId(extraction);
-    const fingerprint = loadProjectFingerprint(projectId);
-    if (fingerprint) {
-      notify("Project: " + fingerprint.language + (fingerprint.framework ? "/" + fingerprint.framework : "") + " (" + fingerprint.sessionCount + " sessions)", "info");
-    }
-    const projectCtx = buildProjectContext(fingerprint);
-
-    // Phase 1
-    const cachedExt = loadCachedExtraction(sessionId);
-    let extraction: StructuredExtraction;
-    if (cachedExt && cachedExt.lastMessageIndex < llmMessages.length - 1) {
-      const newMsgs = llmMessages.slice(cachedExt.lastMessageIndex + 1);
-      const delta = extractStructured(newMsgs, pc);
-      extraction = mergeExtractions(cachedExt.extraction, delta, cachedExt.messageCount);
-      notify("Phase 1 Incremental: " + (cachedExt.lastMessageIndex + 1) + " cached + " + newMsgs.length + " new messages", "info");
-    } else {
-      extraction = extractStructured(llmMessages, pc);
-      notify("Phase 1 Full: " + extraction.modifiedFiles.length + " files, " + extraction.errors.length + " errors", "info");
-    }
-    saveCachedExtraction(sessionId, extraction, llmMessages.length);
-
-    let finalSummary: string;
-    let method: string;
-    let llmCalls = 0;
-    let summaries: ChunkSummary[] = [];
-    let explorationReport: ExplorationReport | null = null;
-    let explorationRounds = 0;
-    let chunkCount = 0;
-
-    if (convTokens < pc.singlePassMaxTokens) {
-      if (!autoTriggered) showProgressOverlay(ctx, { phase: 2, phaseName: "Explore", detail: "Single-pass (" + convTokens.toLocaleString() + "t)", model: modelLabel, profile, extraction });
-      try {
-        const r = await singlePassCompact(convText, extraction, null, prevContext + projectCtx, summaryModel, { apiKey: auth.apiKey, headers: auth.headers }, signal);
-        finalSummary = r.summary; method = "single-pass"; llmCalls = r.llmCalls;
-      } catch (err) {
-        notify("Single-pass failed: " + (err instanceof Error ? err.message : String(err)), "warning");
-        finalSummary = assembleFallback([], extraction);
-        method = "heuristic"; llmCalls = 0;
-      }
-    } else {
-      // Adaptive exploration gate: skip explore for simple sessions
-      const needsExploration = shouldExplore(extraction);
-      if (needsExploration) {
-        if (!autoTriggered) showProgressOverlay(ctx, { phase: 2, phaseName: "Explore", detail: "Exploring...", model: modelLabel, profile, extraction });
-        try {
-          const expResult = await exploreConversation(llmMessages, extraction, segModel, { apiKey: segAuth.apiKey, headers: segAuth.headers }, prevContext || undefined, userNote, signal, 8, notify);
-          explorationReport = expResult.report;
-          explorationRounds = expResult.rounds;
-          notify("Phase 2 Explore: " + expResult.rounds + " rounds, " + explorationReport.boundaries.length + " boundaries" + (expResult.toolSupported ? "" : " (no tool support)"), "info");
-        } catch (err) {
-          notify("Phase 2 Explore: failed - " + (err instanceof Error ? err.message : String(err)), "warning");
-        }
-      } else {
-        notify("Phase 2 Explore: skipped (simple session: " + extraction.topics.length + " topics, " + extraction.errors.filter(e => !e.resolved).length + " unresolved errors)", "info");
-      }
-
-      let boundaries: import("./types.ts").TopicBoundary[];
-      if (explorationReport?.boundaries.length) {
-        // Merge LLM boundaries with heuristic boundaries — don't discard heuristics
-        const llmBounds = explorationReport.boundaries.filter(b => b.confidence >= 0.4);
-        const heuristicBounds = extraction.topics.map(t => ({
-          afterIndex: t.endIndex,
-          topic: t.primaryFile ? "Working on " + t.primaryFile.split("/").pop() : "Segment",
-          priority: t.errorDensity > 2 ? "high" as const : "normal" as const,
-          confidence: 0.6,
-        }));
-        if (llmBounds.length > 0) {
-          // LLM boundaries are primary; fill gaps with heuristic boundaries
-          const merged = [...llmBounds];
-          for (const hb of heuristicBounds) {
-            const nearby = merged.find(m => Math.abs(m.afterIndex - hb.afterIndex) <= 3);
-            if (!nearby) merged.push(hb);
-          }
-          boundaries = merged.sort((a, b) => a.afterIndex - b.afterIndex);
-        } else {
-          boundaries = heuristicBounds;
-        }
-      } else {
-        boundaries = extraction.topics.map(t => ({
-          afterIndex: t.endIndex,
-          topic: t.primaryFile ? "Working on " + t.primaryFile.split("/").pop() : "Segment",
-          priority: t.errorDensity > 2 ? "high" as const : "normal" as const,
-          confidence: 0.6,
-        }));
-      }
-
-      const chunks = chunkLlmMessages(llmMessages, boundaries, pc);
-      chunkCount = chunks.length;
-      notify("Chunked: " + chunkCount + " chunks", "info");
-
-      const batches = createBatches(chunks, pc.batchMaxTokens);
-      const totalBatches = batches.length;
-      if (!autoTriggered) showProgressOverlay(ctx, { phase: 3, phaseName: "Synthesize", detail: "0/" + totalBatches + " batches", model: modelLabel, profile, extraction, totalBatches });
-
-      const caps = getProviderCaps(summaryModel.provider);
-      const concurrency = caps.concurrencyLimit;
-
-      if (totalBatches <= 1) {
-        try {
-          summaries.push(...await summarizeBatch(batches[0], extraction, summaryModel, { apiKey: auth.apiKey, headers: auth.headers }, signal));
-        } catch (err) {
-          summaries.push(...batches[0].map(ch => ({
-            topic: ch.topic, startIndex: ch.startIndex, endIndex: ch.endIndex,
-            summary: "[Failed] " + ch.messages.map((m: any) => extractText(m.content)).join("\n").slice(0, 300),
-            keyDecisions: [] as string[], filesModified: [] as string[], filesRead: [] as string[], priority: ch.priority as ChunkSummary["priority"],
-          })));
-        }
-      } else {
-        const results: ChunkSummary[][] = new Array(totalBatches);
-        const errors: (Error | null)[] = new Array(totalBatches).fill(null);
-        let completed = 0;
-
-        for (let wave = 0; wave < totalBatches; wave += concurrency) {
-          const waveBatches = batches.slice(wave, Math.min(wave + concurrency, totalBatches));
-          const wavePromises = waveBatches.map(async (batch, i) => {
-            const idx = wave + i;
-            try {
-              results[idx] = await summarizeBatch(batch, extraction, summaryModel, { apiKey: auth.apiKey, headers: auth.headers }, signal);
-            } catch (err) {
-              errors[idx] = err instanceof Error ? err : new Error(String(err));
-              results[idx] = batch.map(ch => ({
-                topic: ch.topic, startIndex: ch.startIndex, endIndex: ch.endIndex,
-                summary: "[Failed] " + ch.messages.map((m: any) => extractText(m.content)).join("\n").slice(0, 300),
-                keyDecisions: [] as string[], filesModified: [] as string[], filesRead: [] as string[], priority: ch.priority as ChunkSummary["priority"],
-              }));
-            }
-            completed++;
-            if (!autoTriggered) showProgressOverlay(ctx, { phase: 3, phaseName: "Synthesize", detail: completed + "/" + totalBatches + " batches", model: modelLabel, profile, extraction, totalBatches, currentBatch: completed });
-          });
-          await Promise.all(wavePromises);
-        }
-        for (const r of results) if (r) summaries.push(...r);
-        for (let i = 0; i < errors.length; i++) if (errors[i]) notify("Batch " + (i + 1) + " failed: " + errors[i]!.message, "warning");
-      }
-
-      if (!autoTriggered) showProgressOverlay(ctx, { phase: 3, phaseName: "Synthesize", detail: "Assembling...", model: modelLabel, profile, extraction, totalBatches: batches.length });
-      let assemblyCalls = 1;
-      try {
-        const r = await assembleLLM(summaries, extraction, explorationReport, summaryModel, { apiKey: auth.apiKey, headers: auth.headers }, pc.summaryBudgetTokens, prevContext, signal);
-        if (r?.startsWith("##")) finalSummary = r; else throw new Error("bad");
-      } catch {
-        finalSummary = assembleFallback(summaries, extraction); assemblyCalls = 0;
-      }
-
-      method = "eesv";
-      llmCalls = explorationRounds + batches.length + assemblyCalls;
-    }
-
-    if (!autoTriggered) showProgressOverlay(ctx, { phase: 4, phaseName: "Verify", detail: "Checking...", model: modelLabel, profile, extraction, explorationRounds });
-    const verification = verifySummary(finalSummary, extraction);
-    if (!verification.ok) {
-      if (verification.score < 85) {
-        // Deterministic patch first (zero LLM cost)
-        notify("Phase 4 Verify: " + verification.gaps.length + " gap(s), score=" + verification.score + ", applying deterministic patch", "warning");
-        finalSummary = patchDeterministic(finalSummary, verification.gaps, extraction);
-        // Re-verify after patch — only use LLM patch if still bad
-        const recheck = verifySummary(finalSummary, extraction);
-        if (!recheck.ok && recheck.score < 75) {
-          notify("Phase 4 Verify: deterministic patch insufficient (score=" + recheck.score + "), trying LLM patch", "warning");
-          try {
-            finalSummary = await patchSummary(finalSummary, recheck.gaps, summaryModel, { apiKey: auth.apiKey, headers: auth.headers }, signal);
-            llmCalls++;
-          } catch { /* accept deterministic patch as-is */ }
-        }
-      } else {
-        notify("Phase 4 Verify: " + verification.gaps.length + " gap(s), score=" + verification.score + " ≥ 85 — skipping patch", "info");
-      }
-    }
-
-    const detModified = extraction.modifiedFiles.map(f => f.path);
-    const detRead = extraction.readFiles;
-    const estimatedAfter = estimateTokens(finalSummary) + accTokens;
-    const tokensSaved = Math.max(0, totalTokens - estimatedAfter);
-
-    const pipelineInfo = method === "eesv"
-      ? "EESV: Extract > Explore (" + explorationRounds + "r) > Synthesize (" + (chunkCount || 1) + " chunks) > Verify (" + (verification.ok ? "pass" : verification.gaps.length + " gaps") + ")"
-      : method + " (" + (chunkCount || 1) + " chunks, " + llmCalls + " calls)";
-    const pipelineMs = Date.now() - pipelineStart;
-    const durationStr = pipelineMs < 1000 ? pipelineMs + "ms" : (pipelineMs / 1000).toFixed(1) + "s";
-    notify("Done: " + pipelineInfo + " — saved " + (tokensSaved ?? 0).toLocaleString() + "t (" + durationStr + ")", "success");
-
-    const details: SmartCompactDetails = {
-      method: method as SmartCompactDetails["method"],
-      chunkCount: chunkCount || 1,
-      topics: summaries.length ? summaries.map(s => s.topic) : [method],
-      readFiles: detRead, modifiedFiles: detModified,
-      totalMessages: toCompact.length, totalTokensSummarized: convTokens,
-      llmCalls, profile, backupPath, tokensSaved,
-      verified: verification.ok, gaps: verification.gaps,
-      explorationRounds, explorationBoundaries: explorationReport?.boundaries.length ?? 0,
-      model: modelLabel, qualityScore: verification.score,
-      tokensBefore: totalTokens,
-    };
-
-    if (dryRun) {
-      notify("DRY RUN (" + method + ", " + profile + ") — " + toCompact.length + " msgs, " + llmCalls + " calls", "info");
-      return;
-    }
-
-    pendingRef.value = { summary: finalSummary, firstKeptEntryId: firstKeptId, tokensBefore: totalTokens, details };
-    pendingRef.createdAt = Date.now();
-
-    // ── Save project fingerprint for cross-session context ──
-    saveProjectFingerprint(projectId, extraction);
-
-    appendMetricsLog(sessionId);
-
-    // ── Damage detection: check if previous compaction caused issues ──
-    // This reads post-compaction messages from the current branch to detect regression
-    try {
-      const postCompactMsgs = msgs.slice(keepFrom).map(e => convertToLlm([e.message])).flat().map((m: any) => m as LlmMessage);
-      if (postCompactMsgs.length > 2) {
-        // Only detect if there are enough post-compaction messages
-        const lastCompaction = branch.filter((e: any) => e.type === "compaction").slice(-1)[0] as any;
-        if (lastCompaction?.details) {
-          const prevDetails = lastCompaction.details as SmartCompactDetails;
-          const prevExtraction = extractStructured(postCompactMsgs.slice(0, Math.min(15, postCompactMsgs.length)), pc);
-          const damage = detectDamage(postCompactMsgs.slice(0, Math.min(15, postCompactMsgs.length)), prevExtraction, prevDetails);
-          if (damage.damageScore > 0) {
-            notify("Previous compaction damage: " + damage.summary, "warning");
-          }
-          logDamageReport(sessionId, damage, prevDetails);
-        }
-      }
-    } catch { /* damage detection is best effort */ }
-    const ms = getMetricsSummary();
-    if (ms.totalCalls > 0) {
-      notify("Metrics: " + ms.totalCalls + " calls, " + ms.totalInput + "t in, " + ms.totalOutput + "t out, cache " + Math.round(ms.cacheHitRate * 100) + "%, " + ms.avgLatency + "ms avg", "info");
-    }
-    if (!autoTriggered) {
-      try {
-        const timeout = new Promise<void>(resolve => setTimeout(resolve, 5000));
-        await Promise.race([showResultScreen(ctx, details, extraction), timeout]);
-      } catch {
-        notify("Result screen skipped", "info");
-      }
-    }
-
-    if (!skipCompact) {
-      ctx.compact({
-        customInstructions: "Use pre-computed smart summary from /smart-compact",
-        onComplete: () => { if (!autoTriggered) ctx.ui.notify("Applied \u2713", "success"); },
-        onError: e => { if (!autoTriggered) ctx.ui.notify("Failed: " + e.message, "error"); },
-      });
-    }
-  } finally {
-    isRunning.value = false;
-    const pipelineMs = Date.now() - pipelineStart;
-    if (autoTriggered) {
-      ctx.ui.notify("Compaction completed in " + (pipelineMs < 1000 ? pipelineMs + "ms" : (pipelineMs / 1000).toFixed(1) + "s"), "info");
-    }
-  }
-}
-