pi-smart-compact 7.12.4 → 7.13.0

package/dist/index.js

@@ -1,6 +1,6 @@
 // @bun
 // src/constants.ts
-var VERSION = "7.12.4";
+var VERSION = "7.13.0";
 var CHARS_PER_TOKEN = 3.8;
 var COMPACT_SYSTEM_PREFIX = "You are an expert conversation summarizer for a coding agent. " + "Produce structured markdown summaries. " + "Follow output format exactly. " + "Use EXACT names \u2014 never paraphrase code identifiers. " + "Trust deterministic extraction data over intuition.";
 var PROFILES = {
@@ -95,8 +95,8 @@ Rules for Accuracy:
 ` + `2. Status: only mark "done" if there's clear evidence (successful test run, user confirmation)
 ` + `3. Quote specific values, don't paraphrase code
 
-` + `For EACH segment produce:
-` + `### {TOPIC_NAME}
+` + `For EACH segment produce EXACTLY:
+` + `### CHUNK {NUMBER}: {TOPIC_NAME}
 ` + `**Priority**: [critical|high|normal|low]
 ` + `**Summary**: [2-4 sentences: what happened, errors, code changes with paths]
 ` + `**Decisions**: [comma-separated, or "None"]
@@ -398,6 +398,25 @@ function smartKeepBoundary(msgs, keepFromIndex, branchEntries) {
   }
   return adjusted;
 }
+function collectToolCallIds(blocks, msgIndex, out) {
+  for (const b of blocks) {
+    const block = b;
+    if (block?.type === "toolCall") {
+      if (typeof block.id === "string") {
+        out.set(block.id, msgIndex);
+      }
+      const args = block.arguments;
+      if (block.name === "multi_tool_use.parallel" && args && Array.isArray(args.tool_uses)) {
+        for (const nested of args.tool_uses) {
+          const n = nested;
+          if (typeof n.id === "string") {
+            out.set(n.id, msgIndex);
+          }
+        }
+      }
+    }
+  }
+}
 function guardToolCallBoundary(msgs, keepFrom) {
   if (keepFrom <= 0 || keepFrom >= msgs.length)
     return keepFrom;
@@ -407,11 +426,7 @@ function guardToolCallBoundary(msgs, keepFrom) {
     if (m?.role !== "assistant")
       continue;
     const blocks = Array.isArray(m?.content) ? m.content : [];
-    for (const b of blocks) {
-      if (b?.type === "toolCall" && b.id) {
-        tcMap.set(b.id, i);
-      }
-    }
+    collectToolCallIds(blocks, i, tcMap);
   }
   let adjusted = keepFrom;
   let changed = true;
@@ -551,8 +566,6 @@ function selectCompactionTier(contextPercent, toolPercent, totalTokens, minThres
     return "none";
   if (contextPercent < minContextPercent)
     return "none";
-  if (contextPercent < 45 && toolPercent < 60)
-    return "none";
   if (contextPercent < 80)
     return "light";
   return "full";
@@ -841,6 +854,11 @@ function recordMetric(m) {
   if (_metrics.length > 200)
     _metrics.splice(0, _metrics.length - 100);
 }
+function effectivePromptInputTokens(inputTokens, cacheHitTokens) {
+  if (cacheHitTokens <= 0)
+    return Math.max(0, inputTokens);
+  return cacheHitTokens > inputTokens ? inputTokens + cacheHitTokens : inputTokens;
+}
 function getMetricsSummary() {
   const n = _metrics.length;
   if (!n)
@@ -849,13 +867,14 @@ function getMetricsSummary() {
   const totalOutput = _metrics.reduce((s, m) => s + m.outputTokens, 0);
   const totalCacheHit = _metrics.reduce((s, m) => s + m.cacheHitTokens, 0);
   const avgLatency = _metrics.reduce((s, m) => s + m.latencyMs, 0) / n;
+  const cacheDenominator = effectivePromptInputTokens(totalInput, totalCacheHit);
   return {
     totalCalls: n,
     totalInput,
     totalOutput,
     totalCacheHit,
     avgLatency: Math.round(avgLatency),
-    cacheHitRate: totalInput > 0 ? totalCacheHit / totalInput : 0
+    cacheHitRate: cacheDenominator > 0 ? Math.min(1, totalCacheHit / cacheDenominator) : 0
   };
 }
 async function trackedComplete(phase, model, reqBody, opts) {
@@ -904,7 +923,27 @@ async function trackedComplete(phase, model, reqBody, opts) {
 function getCachePath(sessionId) {
   return path2.join(CACHE_DIR, "compact-extraction-" + sessionId.replace(/[^a-zA-Z0-9-]/g, "_") + ".json");
 }
-function saveCachedExtraction(sessionId, extraction, msgCount, firstEntryId, lastEntryId) {
+var _extractionCacheHits = 0;
+var _extractionCacheMisses = 0;
+function resetExtractionCacheStats() {
+  _extractionCacheHits = 0;
+  _extractionCacheMisses = 0;
+}
+function getExtractionCacheStats() {
+  const total = _extractionCacheHits + _extractionCacheMisses;
+  return {
+    hits: _extractionCacheHits,
+    misses: _extractionCacheMisses,
+    hitRate: total > 0 ? _extractionCacheHits / total : 0
+  };
+}
+function recordExtractionCacheHit() {
+  _extractionCacheHits++;
+}
+function recordExtractionCacheMiss() {
+  _extractionCacheMisses++;
+}
+function saveCachedExtraction(sessionId, extraction, msgCount, firstEntryId, lastEntryId, entryIds, keptEntryIds) {
   try {
     if (!fs2.existsSync(CACHE_DIR))
       fs2.mkdirSync(CACHE_DIR, { recursive: true });
@@ -914,7 +953,9 @@ function saveCachedExtraction(sessionId, extraction, msgCount, firstEntryId, las
       messageCount: msgCount,
       timestamp: Date.now(),
       firstEntryId,
-      lastEntryId
+      lastEntryId,
+      entryIds,
+      keptEntryIds
     };
     fs2.writeFileSync(getCachePath(sessionId), JSON.stringify(cached));
   } catch (e) {
@@ -1069,9 +1110,9 @@ function summarizeDashboard(entries) {
     successRate: entries.length ? success / entries.length : 0,
     avgDuration: Math.round(average(durations)),
     p95Duration: percentile(durations, 95),
-    totalCalls: entries.reduce((sum, e) => sum + e.totalCalls, 0),
-    totalInput: entries.reduce((sum, e) => sum + e.totalInput, 0),
-    totalOutput: entries.reduce((sum, e) => sum + e.totalOutput, 0),
+    totalCalls: entries.reduce((sum, e) => sum + (e.totalCalls ?? 0), 0),
+    totalInput: entries.reduce((sum, e) => sum + (e.totalInput ?? 0), 0),
+    totalOutput: entries.reduce((sum, e) => sum + (e.totalOutput ?? 0), 0),
     totalSaved: entries.reduce((sum, e) => sum + (e.tokensSaved ?? 0), 0),
     avgScore: Math.round(average(scored))
   };
@@ -1079,7 +1120,9 @@ function summarizeDashboard(entries) {
 function groupMetrics(entries, keyFn) {
   const groups = new Map;
   for (const entry of entries) {
-    const key = keyFn(entry) || "unknown";
+    const key = keyFn(entry);
+    if (!key)
+      continue;
     groups.set(key, [...groups.get(key) ?? [], entry]);
   }
   return [...groups.entries()].map(([name, group]) => {
@@ -1093,7 +1136,7 @@ function groupMetrics(entries, keyFn) {
       p95Duration: percentile(durations, 95),
       avgScore: Math.round(average(scores)),
       totalSaved: group.reduce((sum, e) => sum + (e.tokensSaved ?? 0), 0),
-      totalCalls: group.reduce((sum, e) => sum + e.totalCalls, 0),
+      totalCalls: group.reduce((sum, e) => sum + (e.totalCalls ?? 0), 0),
       errorRate: group.length ? failures / group.length : 0
     };
   }).sort((a, b) => b.runs - a.runs || a.name.localeCompare(b.name));
@@ -1151,7 +1194,7 @@ function phaseRows(entry) {
 }
 function recentRunRows(entries) {
   if (!entries.length)
-    return `<tr><td colspan="11" class="empty">No runs recorded yet</td></tr>`;
+    return `<tr><td colspan="12" class="empty">No runs recorded yet</td></tr>`;
   return entries.slice(-80).reverse().map((entry) => `<tr>
     <td class="mono small">${escapeHtml(entry.ts)}</td>
     <td>${escapeHtml(entry.profile)}</td>
@@ -1162,8 +1205,9 @@ function recentRunRows(entries) {
     <td class="num">${escapeHtml(formatMs(durationOf(entry)))}</td>
     <td class="num">${typeof entry.verificationScore === "number" ? formatNumber(entry.verificationScore) : "\u2014"}</td>
     <td class="num">${typeof entry.tokensSaved === "number" ? formatNumber(entry.tokensSaved) : "\u2014"}</td>
-    <td class="num">${formatNumber(entry.totalCalls)}</td>
-    <td class="mono small reason">${escapeHtml(entry.fallbackReason ?? "")}</td>
+    <td class="num">${formatNumber(entry.totalCalls ?? 0)}</td>
+    <td class="num">${typeof entry.extractionCacheHitRate === "number" ? formatPercent(entry.extractionCacheHitRate) : "\u2014"}</td>
+    <td class="mono small reason">${escapeHtml(entry.fallbackReason ?? entry.extractionCacheMissReason ?? "")}</td>
   </tr>`).join(`
 `);
 }
@@ -1174,9 +1218,11 @@ function buildMetricsReport(entries = readMetricsLog(100)) {
   if (!entries.length)
     return "No smart-compact metrics recorded yet.";
   const summary = summarizeDashboard(entries);
-  const byProfile = groupMetrics(entries, (e) => e.profile ?? "unknown");
-  const byProvider = groupMetrics(entries, (e) => e.provider ?? e.model?.split("/")[0] ?? "unknown");
+  const byProfile = groupMetrics(entries, (e) => e.profile);
+  const byProvider = groupMetrics(entries, (e) => e.provider ?? e.model?.split("/")[0]);
   const summarizeGroup = (group) => "- " + group.name + ": n=" + group.runs + ", avg=" + group.avgDuration + "ms, p95=" + group.p95Duration + "ms, score=" + group.avgScore + ", saved=" + group.totalSaved + "t, reliability=" + formatPercent(1 - group.errorRate);
+  const extractionCacheRuns = entries.filter((e) => typeof e.extractionCacheHitRate === "number");
+  const extractionCacheAvg = average(extractionCacheRuns.map((e) => e.extractionCacheHitRate ?? 0));
   return [
     "# Smart Compact Metrics",
     "",
@@ -1184,6 +1230,7 @@ function buildMetricsReport(entries = readMetricsLog(100)) {
     "Reliability: " + formatPercent(summary.successRate),
     "Latency: avg " + summary.avgDuration + "ms, p95 " + summary.p95Duration + "ms",
     "LLM calls: " + summary.totalCalls + ", input " + summary.totalInput + "t, output " + summary.totalOutput + "t",
+    "Extraction cache: avg " + (extractionCacheRuns.length ? formatPercent(extractionCacheAvg) : "\u2014") + " across " + extractionCacheRuns.length + " measured run(s)",
     "Tokens saved: " + summary.totalSaved + "t, average verification score: " + summary.avgScore,
     "",
     "## Profile comparison",
@@ -1201,8 +1248,8 @@ function writeMetricsDashboard(entries = readMetricsLog(200)) {
     const summary = summarizeDashboard(entries);
     const latest = entries[entries.length - 1];
     const report = buildMetricsReport(entries);
-    const profileGroups = groupMetrics(entries, (e) => e.profile ?? "unknown");
-    const providerGroups = groupMetrics(entries, (e) => e.provider ?? e.model?.split("/")[0] ?? "unknown");
+    const profileGroups = groupMetrics(entries, (e) => e.profile);
+    const providerGroups = groupMetrics(entries, (e) => e.provider ?? e.model?.split("/")[0]);
     const healthTone = summary.error + summary.timeout > 0 ? "warn" : "good";
     const html = `<!doctype html><html><head><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1"><title>Smart Compact Metrics</title><style>${dashboardCss()}</style></head><body><main>
       <header><div><div class="eyebrow">pi-smart-compact</div><h1>Operational Metrics</h1><div class="muted">Generated ${escapeHtml(new Date().toISOString())} \xB7 ${formatNumber(entries.length)} recent runs \xB7 local file dashboard</div></div><div>${badge(latest?.status)} ${latest ? `<span class="muted">latest ${escapeHtml(latest.profile ?? "unknown")}</span>` : ""}</div></header>
@@ -1220,7 +1267,7 @@ function writeMetricsDashboard(entries = readMetricsLog(200)) {
         <div class="panel"><h2>Profile comparison</h2><div class="table-wrap"><table><thead><tr><th>Profile</th><th class="num">Runs</th><th class="num">Avg</th><th class="num">p95</th><th class="num">Score</th><th class="num">Calls</th><th class="num">Saved</th><th>Reliability</th></tr></thead><tbody>${comparisonRows(profileGroups)}</tbody></table></div></div>
         <div class="panel"><h2>Provider comparison</h2><div class="table-wrap"><table><thead><tr><th>Provider</th><th class="num">Runs</th><th class="num">Avg</th><th class="num">p95</th><th class="num">Score</th><th class="num">Calls</th><th class="num">Saved</th><th>Reliability</th></tr></thead><tbody>${comparisonRows(providerGroups)}</tbody></table></div></div>
       </section>
-      <section class="panel section"><h2>Recent runs</h2><div class="table-wrap"><table><thead><tr><th>Time</th><th>Profile</th><th>Provider</th><th>Method</th><th>Run</th><th>Status</th><th class="num">Duration</th><th class="num">Score</th><th class="num">Saved</th><th class="num">Calls</th><th>Reason</th></tr></thead><tbody>${recentRunRows(entries)}</tbody></table></div></section>
+      <section class="panel section"><h2>Recent runs</h2><div class="table-wrap"><table><thead><tr><th>Time</th><th>Profile</th><th>Provider</th><th>Method</th><th>Run</th><th>Status</th><th class="num">Duration</th><th class="num">Score</th><th class="num">Saved</th><th class="num">Calls</th><th class="num">Ext cache</th><th>Reason</th></tr></thead><tbody>${recentRunRows(entries)}</tbody></table></div></section>
       <section class="section"><h2>Raw text report</h2><pre>${escapeHtml(report)}</pre></section>
     </main></body></html>`;
     const fp = path2.join(CACHE_DIR, "smart-compact-report.html");
@@ -2047,7 +2094,7 @@ var PI_STATUS_RE = /^\[pi-auto-context\]/;
 var MAX_TOOL_OUTPUT_CHARS = 800;
 function pruneRedundant(msgs) {
   if (msgs.length < 5)
-    return { messages: msgs, prunedCount: 0, prunedTokenSaving: 0, reasons: [] };
+    return { messages: msgs, keptIndices: msgs.map((_, i2) => i2), prunedCount: 0, prunedTokenSaving: 0, reasons: [] };
   const tcIdx = buildToolCallIndex(msgs);
   const keep = new Set(msgs.map((_, i2) => i2));
   const reasonMap = new Map;
@@ -2141,13 +2188,22 @@ function pruneRedundant(msgs) {
     }
     return m;
   });
-  const finalMsgs = kept.filter((m) => m !== null);
+  const keptIndices = [];
+  const finalMsgs = [];
+  for (let idx = 0;idx < kept.length; idx++) {
+    const m = kept[idx];
+    if (m === null)
+      continue;
+    keptIndices.push(idx);
+    finalMsgs.push(m);
+  }
   const prunedCount = msgs.length - finalMsgs.length;
   const originalTokens = estimateTokens(msgs.map((m) => extractText(m.content)).join(""));
   const prunedTokens = estimateTokens(finalMsgs.map((m) => extractText(m.content)).join(""));
   const reasons = [...reasonMap.entries()].map(([reason, count]) => ({ count, reason }));
   return {
     messages: finalMsgs,
+    keptIndices,
     prunedCount,
     prunedTokenSaving: Math.max(0, originalTokens - prunedTokens),
     reasons
@@ -2337,10 +2393,12 @@ function saveProjectFingerprint(projectId, extraction) {
       ...extraction.modifiedFiles.map((f) => f.path),
       ...extraction.readFiles
     ])].slice(-50);
+    const detectedLanguage = detectLanguage(extraction);
+    const detectedFramework = detectFramework(extraction);
     const fingerprint = {
       id: projectId,
-      language: existing?.language ?? detectLanguage(extraction),
-      framework: existing?.framework ?? detectFramework(extraction),
+      language: existing?.language && existing.language !== "unknown" ? existing.language : detectedLanguage,
+      framework: existing?.framework ?? detectedFramework,
       keyDirectories: extractKeyDirs(extraction),
       knownFiles: newKnownFiles,
       sessionCount: (existing?.sessionCount ?? 0) + 1,
@@ -2531,14 +2589,21 @@ function executeExplorationTool(call, llmMessages) {
     }
     case "search_conversation": {
       const q = (args.query ?? "").toLowerCase();
-      return JSON.stringify(llmMessages.filter((m) => {
+      const matches = [];
+      for (let i = 0;i < llmMessages.length && matches.length < 10; i++) {
+        const m = llmMessages[i];
         const text = extractText(m?.content).toLowerCase();
-        if (text.includes(q))
-          return true;
+        if (text.includes(q)) {
+          matches.push({ idx: i, m });
+          continue;
+        }
         const tcs = filterToolCalls(m?.content);
-        return tcs.some((tc) => JSON.stringify(tc.arguments).toLowerCase().includes(q));
-      }).slice(0, 10).map((m) => ({
-        idx: llmMessages.indexOf(m),
+        if (tcs.some((tc) => JSON.stringify(tc.arguments).toLowerCase().includes(q))) {
+          matches.push({ idx: i, m });
+        }
+      }
+      return JSON.stringify(matches.map(({ idx, m }) => ({
+        idx,
         role: m?.role,
         preview: extractText(m?.content).slice(0, 150)
       })));
@@ -2938,28 +3003,43 @@ async function summarizeBatch(batch, extraction, model, auth, signal) {
 ## Active Decisions from previous segments (honour these):
 ` + activeDecisions.join(`
 `) : "";
-  const text = batch.map((ch) => "--- Topic: " + ch.topic + " (" + ch.priority + `) ---
+  const text = batch.map((ch, i) => {
+    const id = i + 1;
+    return "--- CHUNK " + id + ": " + ch.topic + " (" + ch.priority + `) ---
 ` + ch.messages.map((m) => {
-    const role = m?.role ?? "unknown";
-    const content = extractText(m?.content).slice(0, 500);
-    return "[" + role + "] " + content;
+      const role = m?.role ?? "unknown";
+      const content = extractText(m?.content).slice(0, 500);
+      const toolCalls = filterToolCalls(m?.content).map((tc) => tc.name + " " + JSON.stringify(tc.arguments).slice(0, 300)).join("; ");
+      const toolSuffix = toolCalls ? `
+[tool_calls] ` + toolCalls : "";
+      return "[" + role + "] " + content + toolSuffix;
+    }).join(`
+`);
   }).join(`
-`)).join(`
 
 `);
+  const promptPrefix = BATCH_PROMPT_PREFIX;
   const dynamicSuffix = BATCH_PROMPT_SUFFIX.replace("{EXTRACTION_CONTEXT}", extractionCtx + decisionCtx).replace("{TEXT}", text);
   const resp = await trackedComplete("batch", model, {
     systemPrompt: COMPACT_SYSTEM_PREFIX,
     messages: [
-      { role: "user", content: [{ type: "text", text: BATCH_PROMPT_PREFIX }], timestamp: Date.now() },
+      { role: "user", content: [{ type: "text", text: promptPrefix }], timestamp: Date.now() },
       { role: "user", content: [{ type: "text", text: dynamicSuffix }], timestamp: Date.now() }
     ]
-  }, { apiKey: auth.apiKey, headers: auth.headers, maxTokens: Math.min(4096, getProviderCaps(model.provider).maxOutputTokens), signal });
+  }, { apiKey: auth.apiKey, headers: auth.headers, maxTokens: Math.min(Math.max(4096, batch.length * 1500), getProviderCaps(model.provider).maxOutputTokens), signal });
   const output = resp.content.filter((c) => c.type === "text").map((c) => c.text).join(`
 `);
+  const sectionMap = new Map;
   const sections = output.split(/^### /m).filter((s) => s.trim());
+  for (const sec of sections) {
+    const m = sec.match(/^CHUNK\s+(\d+):\s*(.*?)\n/i);
+    if (m) {
+      sectionMap.set(parseInt(m[1], 10), sec);
+    }
+  }
   return batch.map((ch, i) => {
-    const sec = sections[i] ?? "";
+    const id = i + 1;
+    const sec = sectionMap.get(id) ?? "";
     const f = (n) => {
       const m = sec.match(new RegExp("\\*\\*" + n + "\\*\\*:\\s*(.+?)(?:\\n|$)", "i"));
       return m ? m[1].trim() : "";
@@ -3082,12 +3162,18 @@ function verifySummary(summary, extraction) {
       score -= 10;
     }
   }
-  if (!lower.includes("## goal"))
+  if (!lower.includes("## goal")) {
+    gaps.push("Missing section: ## Goal");
     score -= 5;
-  if (!lower.includes("## progress"))
+  }
+  if (!lower.includes("## progress")) {
+    gaps.push("Missing section: ## Progress");
     score -= 5;
-  if (!lower.includes("## critical context"))
+  }
+  if (!lower.includes("## critical context")) {
+    gaps.push("Missing section: ## Critical Context");
     score -= 3;
+  }
   const summaryFileRefs = (summary.match(/[\w.\/-]+\.[\w]+/g) ?? []).filter((p) => p.includes("/") || p.match(/\.(ts|tsx|js|jsx|rs|py|go|java|rb|css|html|json|yaml|yml|toml|md|sh|sql)$/i));
   const knownFiles = new Set([
     ...extraction.modifiedFiles.map((f) => f.path.toLowerCase()),
@@ -3137,7 +3223,8 @@ function verifySummary(summary, extraction) {
       score -= 5;
     }
   }
-  return { ok: gaps.length === 0, gaps, score: Math.max(0, score) };
+  const finalScore = Math.max(0, score);
+  return { ok: gaps.length === 0 && finalScore >= 85, gaps, score: finalScore };
 }
 function patchDeterministic(summary, gaps, extraction) {
   let patched = summary;
@@ -3145,47 +3232,75 @@ function patchDeterministic(summary, gaps, extraction) {
   const errorGaps = gaps.filter((g) => g.startsWith("Missing error:"));
   const constraintGaps = gaps.filter((g) => g.startsWith("Missing constraint:"));
   const decisionGaps = gaps.filter((g) => g.startsWith("Missing decision:"));
-  const otherGaps = gaps.filter((g) => !g.startsWith("Missing modified file:") && !g.startsWith("Missing error:") && !g.startsWith("Missing constraint:") && !g.startsWith("Missing decision:") && !g.startsWith("Potentially fabricated") && !g.startsWith("Inconsistency"));
-  const findSectionInsert = (header) => {
-    const re = new RegExp(header.replace(/[.*+?^${}()|[\]\\]/g, "\\$&") + "\\s*\\n", "i");
+  const sectionGaps = gaps.filter((g) => g.startsWith("Missing section:"));
+  const otherGaps = gaps.filter((g) => !g.startsWith("Missing modified file:") && !g.startsWith("Missing error:") && !g.startsWith("Missing constraint:") && !g.startsWith("Missing decision:") && !g.startsWith("Missing section:") && !g.startsWith("Potentially fabricated") && !g.startsWith("Inconsistency"));
+  const escapeRe = (value) => value.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+  const findOrCreateSectionInsert = (header, defaultBody = "") => {
+    const re = new RegExp(escapeRe(header) + "\\s*\\n", "i");
     const m = patched.match(re);
-    return m?.index != null ? m.index + m[0].length : null;
+    if (m?.index != null)
+      return m.index + m[0].length;
+    const prefix = patched.endsWith(`
+`) ? patched.endsWith(`
+
+`) ? "" : `
+` : `
+
+`;
+    patched += prefix + header + `
+` + (defaultBody ? defaultBody.replace(/\n?$/, `
+`) : "");
+    return patched.length;
+  };
+  const ensureMissingSection = (header) => {
+    if (header === "## Goal") {
+      findOrCreateSectionInsert(header, (extraction.mainGoal ?? "Continue the current coding task.") + `
+`);
+    } else if (header === "## Progress") {
+      findOrCreateSectionInsert(header, `### Done
+- See preceding summary.
+### In Progress
+- Continue from the latest user request.
+### Blocked
+- None recorded.
+`);
+    } else if (header === "## Critical Context") {
+      findOrCreateSectionInsert(header, `- None recorded.
+`);
+    } else {
+      findOrCreateSectionInsert(header);
+    }
   };
+  for (const gap of sectionGaps) {
+    ensureMissingSection(gap.replace("Missing section: ", ""));
+  }
   if (fileGaps.length > 0) {
-    const insertPos = findSectionInsert("## Files Modified");
-    if (insertPos != null) {
-      const entries = fileGaps.map((g) => "- " + g.replace("Missing modified file: ", "")).join(`
+    const insertPos = findOrCreateSectionInsert("## Files Modified");
+    const entries = fileGaps.map((g) => "- " + g.replace("Missing modified file: ", "")).join(`
 `) + `
 `;
-      patched = patched.slice(0, insertPos) + entries + patched.slice(insertPos);
-    }
+    patched = patched.slice(0, insertPos) + entries + patched.slice(insertPos);
   }
   if (errorGaps.length > 0) {
-    const insertPos = findSectionInsert("## Critical Context");
-    if (insertPos != null) {
-      const entries = errorGaps.map((g) => "- " + g).join(`
+    const insertPos = findOrCreateSectionInsert("## Critical Context");
+    const entries = errorGaps.map((g) => "- " + g).join(`
 `) + `
 `;
-      patched = patched.slice(0, insertPos) + entries + patched.slice(insertPos);
-    }
+    patched = patched.slice(0, insertPos) + entries + patched.slice(insertPos);
   }
   if (constraintGaps.length > 0) {
-    const insertPos = findSectionInsert("## Constraints & Preferences");
-    if (insertPos != null) {
-      const entries = constraintGaps.map((g) => "- " + g).join(`
+    const insertPos = findOrCreateSectionInsert("## Constraints & Preferences");
+    const entries = constraintGaps.map((g) => "- " + g).join(`
 `) + `
 `;
-      patched = patched.slice(0, insertPos) + entries + patched.slice(insertPos);
-    }
+    patched = patched.slice(0, insertPos) + entries + patched.slice(insertPos);
   }
   if (decisionGaps.length > 0) {
-    const insertPos = findSectionInsert("## Key Decisions");
-    if (insertPos != null) {
-      const entries = decisionGaps.map((g) => "- **" + g.replace("Missing decision: ", "") + "**").join(`
+    const insertPos = findOrCreateSectionInsert("## Key Decisions");
+    const entries = decisionGaps.map((g) => "- **" + g.replace("Missing decision: ", "") + "**").join(`
 `) + `
 `;
-      patched = patched.slice(0, insertPos) + entries + patched.slice(insertPos);
-    }
+    patched = patched.slice(0, insertPos) + entries + patched.slice(insertPos);
   }
   if (otherGaps.length > 0) {
     patched += `
@@ -3222,7 +3337,106 @@ Return the COMPLETE updated summary with missing items integrated. Keep the same
 
 // src/ui/overlays.ts
 import { DynamicBorder } from "@earendil-works/pi-coding-agent";
-import { Container, SelectList, Text } from "@earendil-works/pi-tui";
+import { Container, Key, matchesKey, SelectList, Text, truncateToWidth } from "@earendil-works/pi-tui";
+
+// src/ui/dashboard-format.ts
+var DASHBOARD_PAGE_SIZE = 24;
+function metricDuration(entry) {
+  return entry.durationMs ?? entry.phaseTimings?.reduce((sum, phase) => sum + phase.durationMs, 0) ?? 0;
+}
+function metricMs(ms) {
+  if (!Number.isFinite(ms) || ms <= 0)
+    return "0ms";
+  return ms >= 1000 ? (ms / 1000).toFixed(ms >= 1e4 ? 0 : 1) + "s" : Math.round(ms) + "ms";
+}
+function clampRatio(value) {
+  return Math.max(0, Math.min(1, value));
+}
+function metricPct(value) {
+  return typeof value === "number" && Number.isFinite(value) ? Math.round(clampRatio(value) * 100) + "%" : "\u2014";
+}
+function metricNum(value) {
+  return typeof value === "number" && Number.isFinite(value) ? value.toLocaleString() : "\u2014";
+}
+function metricScore(entry) {
+  return typeof entry?.verificationScore === "number" && Number.isFinite(entry.verificationScore) ? entry.verificationScore + "/100" : "\u2014";
+}
+function formatMetricRun(entry, index) {
+  const prefix = typeof index === "number" ? String(index).padStart(2, " ") + ". " : "";
+  const time = entry.ts ? new Date(entry.ts).toLocaleString() : "unknown time";
+  return prefix + time + " | " + (entry.profile ?? "?") + " | " + (entry.provider ?? entry.model ?? "?") + " | " + (entry.method ?? "?") + " | " + (entry.status ?? "?") + " | score " + metricScore(entry) + " | saved " + metricNum(entry.tokensSaved) + "t";
+}
+function formatMetricRunCompact(entry) {
+  return "score " + metricScore(entry) + " \u2022 saved " + metricNum(entry.tokensSaved) + "t \u2022 " + (entry.status ?? "?") + " \u2022 " + (entry.profile ?? "?") + " / " + (entry.provider ?? entry.model ?? "?");
+}
+function formatPhaseTiming(phase, total) {
+  const share = total > 0 ? Math.round(phase.durationMs / total * 100) : 0;
+  return "- " + phase.phase + ": " + metricMs(phase.durationMs) + " (" + share + "%)";
+}
+function formatRunDetails(entry, title) {
+  if (!entry)
+    return [title, "", "No run recorded yet."];
+  const totalDuration = metricDuration(entry);
+  const lines = [
+    title,
+    "",
+    "Session: " + entry.sessionId,
+    "Time: " + (entry.ts ? new Date(entry.ts).toLocaleString() : "unknown"),
+    "Status: " + (entry.status ?? "unknown") + " | run: " + (entry.runType ?? "?") + " | profile: " + (entry.profile ?? "?"),
+    "Provider/model: " + (entry.provider ?? "?") + " / " + (entry.model ?? "?"),
+    "Method: " + (entry.method ?? "?") + " | duration: " + metricMs(totalDuration),
+    "Quality: " + metricScore(entry) + " | gaps: " + metricNum(entry.verificationGaps),
+    "Tokens: before " + metricNum(entry.tokensBefore) + "t | saved " + metricNum(entry.tokensSaved) + "t | prune saved " + metricNum(entry.pruneSavedTokens) + "t",
+    "LLM: " + metricNum(entry.totalCalls) + " calls | input " + metricNum(entry.totalInput) + "t | output " + metricNum(entry.totalOutput) + "t | provider cache " + metricPct(entry.cacheHitRate),
+    "Extraction cache: " + metricNum(entry.extractionCacheHits) + " hit / " + metricNum(entry.extractionCacheMisses) + " miss | rate " + metricPct(entry.extractionCacheHitRate),
+    "Context: " + metricNum(entry.contextPercent) + "% | tool share: " + metricNum(entry.toolPercent) + "% | chunks: " + metricNum(entry.chunkCount)
+  ];
+  if (entry.extractionCacheMissReason)
+    lines.push("Extraction miss reason: " + entry.extractionCacheMissReason);
+  if (entry.fallbackReason)
+    lines.push("Reason: " + entry.fallbackReason);
+  if (entry.phaseTimings?.length) {
+    lines.push("", "Phase timings:");
+    lines.push(...entry.phaseTimings.map((phase) => formatPhaseTiming(phase, totalDuration)));
+  }
+  return lines;
+}
+function formatCurrentSession(entries, currentSessionId) {
+  if (!currentSessionId || currentSessionId === "unknown")
+    return ["Current session", "", "Session id is not available from Pi context."];
+  const runs = entries.filter((entry) => entry.sessionId === currentSessionId);
+  if (!runs.length)
+    return ["Current session", "", "Session: " + currentSessionId, "No smart-compact metrics recorded for this session yet."];
+  const success = runs.filter((entry) => entry.status === "success").length;
+  const latest = runs[runs.length - 1];
+  const totalSaved = runs.reduce((sum, entry) => sum + (entry.tokensSaved ?? 0), 0);
+  const avgScoreValues = runs.map((entry) => entry.verificationScore).filter((v) => typeof v === "number" && Number.isFinite(v));
+  const avgScore = avgScoreValues.length ? Math.round(avgScoreValues.reduce((sum, value) => sum + value, 0) / avgScoreValues.length) : 0;
+  return [
+    "Current session",
+    "",
+    "Session: " + currentSessionId,
+    "Runs: " + runs.length + " | success " + success + " | total saved " + totalSaved.toLocaleString() + "t | avg score " + (avgScore || "\u2014"),
+    "Latest: " + formatMetricRun(latest),
+    "",
+    "Runs in this session:",
+    ...runs.slice(-20).reverse().map((entry, i) => formatMetricRun(entry, i + 1))
+  ];
+}
+function formatRecentRuns(entries) {
+  if (!entries.length)
+    return ["Recent runs", "", "No smart-compact metrics recorded yet."];
+  return [
+    "Recent runs",
+    "",
+    ...entries.slice(-30).reverse().map((entry, i) => formatMetricRun(entry, i + 1))
+  ];
+}
+function isDashboardTitleLine(line) {
+  return line.startsWith("#") || line === "Latest run details" || line === "Current session" || line === "Recent runs" || line === "Phase timings:" || line === "Runs in this session:";
+}
+
+// src/ui/overlays.ts
 import path8 from "path";
 function renderContextBar(theme, pct, tokens, barLen = 24) {
   const clamped = Math.min(Math.max(pct, 0), 100);
@@ -3367,10 +3581,14 @@ async function showResultScreen(ctx, details, extraction) {
     c.addChild(new Text("", 0, 0));
     c.addChild(new Text(theme.fg("text", theme.bold("  \uD83D\uDCCB Extraction")), 0, 0));
     const ms = getMetricsSummary();
+    const ecs = getExtractionCacheStats();
     if (ms.totalCalls > 0) {
-      const cachePct = Math.round(ms.cacheHitRate * 100);
-      const cacheColor = cachePct >= 50 ? "success" : cachePct >= 20 ? "warning" : "dim";
-      c.addChild(new Text(theme.fg("dim", "  LLM: ") + theme.fg("text", ms.totalCalls + " calls") + theme.fg("dim", " \u2022 ") + theme.fg("text", ms.totalInput.toLocaleString() + "t in") + theme.fg("dim", " \u2022 ") + theme.fg(cacheColor, cachePct + "% cache hit") + theme.fg("dim", " \u2022 ") + theme.fg("dim", ms.avgLatency + "ms avg"), 0, 0));
+      const providerCachePct = Math.round(ms.cacheHitRate * 100);
+      const extractionCachePct = Math.round(ecs.hitRate * 100);
+      const promptInput = effectivePromptInputTokens(ms.totalInput, ms.totalCacheHit);
+      const inputLabel = ms.totalCacheHit > 0 ? promptInput.toLocaleString() + "t prompt (" + ms.totalInput.toLocaleString() + "t new, " + ms.totalCacheHit.toLocaleString() + "t cached)" : ms.totalInput.toLocaleString() + "t in";
+      const cacheColor = extractionCachePct >= 50 ? "success" : extractionCachePct >= 20 ? "warning" : "dim";
+      c.addChild(new Text(theme.fg("dim", "  LLM: ") + theme.fg("text", ms.totalCalls + " calls") + theme.fg("dim", " \u2022 ") + theme.fg("text", inputLabel) + theme.fg("dim", " \u2022 ") + theme.fg("dim", providerCachePct + "% provider cache") + theme.fg("dim", " \u2022 ") + theme.fg(cacheColor, extractionCachePct + "% extraction cache") + theme.fg("dim", " \u2022 ") + theme.fg("dim", ms.avgLatency + "ms avg"), 0, 0));
     }
     const modFiles = details.modifiedFiles;
     const errCount = extraction.errors.length;
@@ -3450,6 +3668,116 @@ async function showResultScreen(ctx, details, extraction) {
     };
   }, { overlay: true, overlayOptions: { width: "70%", anchor: "center", maxHeight: "80%" } });
 }
+async function showMetricsDashboardUI(ctx, opts) {
+  const entries = opts.entries;
+  const latest = entries[entries.length - 1];
+  const currentRuns = opts.currentSessionId ? entries.filter((entry) => entry.sessionId === opts.currentSessionId) : [];
+  const menuItems = [
+    { view: "overview", label: "Overview report", desc: entries.length + " recent run(s), profile/provider comparison" },
+    { view: "latest", label: "Latest run details", desc: latest ? formatMetricRunCompact(latest) : "No run recorded yet" },
+    { view: "session", label: "Current session", desc: (opts.currentSessionId ?? "unknown") + " \u2014 " + currentRuns.length + " run(s)" },
+    { view: "recent", label: "Recent runs", desc: "Last " + Math.min(entries.length, 30) + " run(s)" },
+    { action: "html", label: "Write HTML dashboard", desc: "Generate ~/.pi/agent/.cache/smart-compact-report.html" }
+  ];
+  return await ctx.ui.custom((tui, theme, keybindings, done) => {
+    let view = "menu";
+    let selected = 0;
+    let scroll = 0;
+    const pageLines = () => {
+      if (view === "overview")
+        return opts.report.split(`
+`);
+      if (view === "latest")
+        return formatRunDetails(latest, "Latest run details");
+      if (view === "session")
+        return formatCurrentSession(entries, opts.currentSessionId);
+      if (view === "recent")
+        return formatRecentRuns(entries);
+      return [];
+    };
+    const resetPage = (nextView) => {
+      view = nextView;
+      scroll = 0;
+    };
+    const renderHeader = (width) => [
+      truncateToWidth(theme.fg("accent", theme.bold("  \uD83D\uDCCA Smart Compact Dashboard")) + theme.fg("dim", "  " + entries.length + " recorded run(s)"), width),
+      truncateToWidth(theme.fg("dim", "  session: " + (opts.currentSessionId ?? "unknown")) + theme.fg("dim", latest ? " \u2022 latest score " + metricScore(latest) : ""), width),
+      truncateToWidth(theme.fg("borderMuted", "\u2500".repeat(Math.max(0, width))), width)
+    ];
+    return {
+      render: (width) => {
+        const lines = renderHeader(width);
+        if (view === "menu") {
+          lines.push(truncateToWidth(theme.fg("text", "  Choose what to inspect:"), width), "");
+          for (let i = 0;i < menuItems.length; i++) {
+            const item = menuItems[i];
+            const active = i === selected;
+            const prefix = active ? "  \u203A " : "    ";
+            const label = active ? theme.fg("accent", theme.bold(item.label)) : theme.fg("text", item.label);
+            lines.push(truncateToWidth(prefix + label, width));
+            lines.push(truncateToWidth("      " + theme.fg(active ? "muted" : "dim", item.desc), width));
+          }
+          lines.push("", truncateToWidth(theme.fg("dim", "  \u2191\u2193 navigate \u2022 enter open \u2022 esc/q close"), width));
+          return lines;
+        }
+        const content = pageLines();
+        const available = DASHBOARD_PAGE_SIZE;
+        const maxScroll = Math.max(0, content.length - available);
+        if (scroll > maxScroll)
+          scroll = maxScroll;
+        for (const line of content.slice(scroll, scroll + available)) {
+          const styled = isDashboardTitleLine(line) ? theme.fg("accent", theme.bold(line)) : line.startsWith("-") ? theme.fg("dim", line) : theme.fg("text", line);
+          lines.push(truncateToWidth("  " + styled, width));
+        }
+        if (content.length > available) {
+          lines.push(truncateToWidth(theme.fg("dim", "  showing " + (scroll + 1) + "-" + Math.min(content.length, scroll + available) + " of " + content.length), width));
+        }
+        lines.push("", truncateToWidth(theme.fg("dim", "  \u2191\u2193 scroll \u2022 pgup/pgdn page \u2022 home/end jump \u2022 b back \u2022 esc/q close"), width));
+        return lines;
+      },
+      invalidate: () => {},
+      handleInput: (data) => {
+        if (keybindings.matches(data, "tui.select.cancel") || data === "q") {
+          done(null);
+          return;
+        }
+        if (view === "menu") {
+          if (keybindings.matches(data, "tui.select.up"))
+            selected = Math.max(0, selected - 1);
+          else if (keybindings.matches(data, "tui.select.down"))
+            selected = Math.min(menuItems.length - 1, selected + 1);
+          else if (keybindings.matches(data, "tui.select.confirm")) {
+            const item = menuItems[selected];
+            if (item.action) {
+              done(item.action);
+              return;
+            }
+            if (item.view)
+              resetPage(item.view);
+          }
+        } else {
+          const content = pageLines();
+          const maxScroll = Math.max(0, content.length - DASHBOARD_PAGE_SIZE);
+          if (data === "b" || matchesKey(data, Key.left))
+            resetPage("menu");
+          else if (matchesKey(data, Key.home))
+            scroll = 0;
+          else if (matchesKey(data, Key.end))
+            scroll = maxScroll;
+          else if (keybindings.matches(data, "tui.select.pageUp"))
+            scroll = Math.max(0, scroll - DASHBOARD_PAGE_SIZE);
+          else if (keybindings.matches(data, "tui.select.pageDown"))
+            scroll = Math.min(maxScroll, scroll + DASHBOARD_PAGE_SIZE);
+          else if (keybindings.matches(data, "tui.select.up"))
+            scroll = Math.max(0, scroll - 1);
+          else if (keybindings.matches(data, "tui.select.down"))
+            scroll = Math.min(maxScroll, scroll + 1);
+        }
+        tui.requestRender();
+      }
+    };
+  }, { overlay: true, overlayOptions: { width: "80%", anchor: "center", maxHeight: "85%" } });
+}
 async function showCompactUI(ctx, opts) {
   const selectedModel = await selectModel(ctx, opts);
   if (!selectedModel)
@@ -3476,6 +3804,7 @@ async function runSmartCompact(opts) {
   };
   resetCompactSessionId();
   resetMetrics();
+  resetExtractionCacheStats();
   let sessionId = "unknown";
   let totalTokens = 0;
   let contextPercent = 0;
@@ -3573,7 +3902,9 @@ async function runSmartCompact(opts) {
       return;
     }
     const shouldSkipExplore = tier === "light";
+    const currentEntryIds = toCompact.map((e) => e.id);
     const pruning = pruneRedundant(llmMessages);
+    const currentKeptEntryIds = pruning.keptIndices.map((i) => currentEntryIds[i]).filter((id) => typeof id === "string");
     if (pruning.prunedCount > 0) {
       notify("Pruning: " + pruning.prunedCount + " msgs removed (" + pruning.reasons.map((r) => r.count + "x " + r.reason).join(", ") + ")", "info");
     }
@@ -3586,23 +3917,36 @@ async function runSmartCompact(opts) {
     const prevContext = getPreviousCompactionContext(branch);
     const cachedExt = loadCachedExtraction(sessionId);
     let extraction;
+    let extractionCacheMissReason = cachedExt ? "not-incremental" : "no-cache";
     const currentFirstId = toCompact[0]?.id;
     const currentLastId = toCompact[toCompact.length - 1]?.id;
-    const cachedLastMsgId = toCompact[cachedExt?.lastMessageIndex ?? -1]?.id;
-    const idsMatch = cachedExt?.firstEntryId && cachedExt?.lastEntryId && cachedExt.firstEntryId === currentFirstId && cachedExt.lastEntryId === cachedLastMsgId;
-    const cacheUsable = idsMatch && cachedExt.messageCount <= llmMessages.length && cachedExt.lastMessageIndex < llmMessages.length - 1;
-    if (cacheUsable) {
-      const newMsgs = llmMessages.slice(cachedExt.lastMessageIndex + 1);
+    let cacheUsable = false;
+    if (cachedExt?.keptEntryIds && cachedExt.keptEntryIds.length > 0) {
+      const branchPrefixMatch = cachedExt.entryIds?.every((id, i) => id === currentEntryIds[i]) ?? false;
+      const prunedPrefixMatch = cachedExt.keptEntryIds.length <= currentKeptEntryIds.length && cachedExt.keptEntryIds.every((id, i) => id === currentKeptEntryIds[i]);
+      cacheUsable = branchPrefixMatch && prunedPrefixMatch && cachedExt.messageCount === cachedExt.keptEntryIds.length && cachedExt.messageCount < llmMessages.length;
+      if (!cacheUsable) {
+        extractionCacheMissReason = !branchPrefixMatch ? "entry-prefix-mismatch" : !prunedPrefixMatch ? "pruned-prefix-changed" : cachedExt.messageCount !== cachedExt.keptEntryIds.length ? "cache-shape-mismatch" : "no-new-pruned-messages";
+      }
+    } else if (cachedExt) {
+      extractionCacheMissReason = "legacy-no-kept-entryids";
+      vlog("Extraction cache ignored: legacy entry lacks keptEntryIds");
+    }
+    if (cacheUsable && cachedExt) {
+      const newMsgs = llmMessages.slice(cachedExt.messageCount);
       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");
-      vlog("Incremental extraction \u2014 cached messages: " + cachedExt.messageCount + ", current: " + llmMessages.length);
+      notify("Phase 1 Incremental: " + cachedExt.messageCount + " cached + " + newMsgs.length + " new pruned messages", "info");
+      vlog("Incremental extraction \u2014 cached pruned messages: " + cachedExt.messageCount + ", current pruned: " + llmMessages.length);
+      extractionCacheMissReason = undefined;
+      recordExtractionCacheHit();
     } else {
       extraction = extractStructured(llmMessages, pc);
       notify("Phase 1 Full: " + extraction.modifiedFiles.length + " files, " + extraction.errors.length + " errors", "info");
       vlog("Full extraction \u2014 " + llmMessages.length + " messages, tier=" + tier);
+      recordExtractionCacheMiss();
     }
-    saveCachedExtraction(sessionId, extraction, llmMessages.length, currentFirstId, currentLastId);
+    saveCachedExtraction(sessionId, extraction, llmMessages.length, currentFirstId, currentLastId, currentEntryIds, currentKeptEntryIds);
     markPhase("extract");
     const projectId = deriveProjectId(findGitRoot(ctx.cwd) ?? ctx.cwd, extraction, sessionId);
     const fingerprint = loadProjectFingerprint(projectId);
@@ -3765,13 +4109,13 @@ async function runSmartCompact(opts) {
     markPhase("synthesize");
     if (!autoTriggered)
       showProgressOverlay(ctx, { phase: 4, phaseName: "Verify", detail: "Checking...", model: modelLabel, profile, extraction, explorationRounds });
-    const verification = verifySummary(finalSummary, extraction);
+    let verification = verifySummary(finalSummary, extraction);
     vlog("Verification score=" + verification.score + " ok=" + verification.ok + " gaps=" + verification.gaps.length);
     if (!verification.ok) {
       if (verification.score < 85) {
         notify("Phase 4 Verify: " + verification.gaps.length + " gap(s), score=" + verification.score + ", applying deterministic patch", "warning");
         finalSummary = patchDeterministic(finalSummary, verification.gaps, extraction);
-        const recheck = verifySummary(finalSummary, extraction);
+        let 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 {
@@ -3780,7 +4124,9 @@ async function runSmartCompact(opts) {
           } catch (err) {
             warn("LLM patch failed", err);
           }
+          recheck = verifySummary(finalSummary, extraction);
         }
+        verification = recheck;
       } else {
         notify("Phase 4 Verify: " + verification.gaps.length + " gap(s), score=" + verification.score + " \u2265 85 \u2014 skipping patch", "info");
       }
@@ -3835,6 +4181,7 @@ async function runSmartCompact(opts) {
       openLoops
     };
     if (dryRun) {
+      const ecs2 = getExtractionCacheStats();
       appendMetricsLog(sessionId, {
         profile,
         tier,
@@ -3852,7 +4199,11 @@ async function runSmartCompact(opts) {
         runType: skipCompact ? "tool" : autoTriggered ? "auto" : "manual",
         status: "dry-run",
         phaseTimings,
-        durationMs: Date.now() - pipelineStart
+        durationMs: Date.now() - pipelineStart,
+        extractionCacheHits: ecs2.hits,
+        extractionCacheMisses: ecs2.misses,
+        extractionCacheHitRate: ecs2.hitRate,
+        extractionCacheMissReason
       });
       notify("DRY RUN (" + method + ", " + profile + ") \u2014 " + toCompact.length + " msgs, " + llmCalls + " calls", "info");
       return;
@@ -3882,6 +4233,7 @@ async function runSmartCompact(opts) {
       warn("Damage detection error", err);
     }
     markPhase("damage");
+    const ecs = getExtractionCacheStats();
     appendMetricsLog(sessionId, {
       profile,
       tier,
@@ -3899,11 +4251,19 @@ async function runSmartCompact(opts) {
       runType: skipCompact ? "tool" : autoTriggered ? "auto" : "manual",
       status: "success",
       phaseTimings,
-      durationMs: Date.now() - pipelineStart
+      durationMs: Date.now() - pipelineStart,
+      extractionCacheHits: ecs.hits,
+      extractionCacheMisses: ecs.misses,
+      extractionCacheHitRate: ecs.hitRate,
+      extractionCacheMissReason
     });
     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");
+      const providerCacheRate = Math.round(ms.cacheHitRate * 100);
+      const extractionCacheRate = Math.round(ecs.hitRate * 100);
+      const promptInput = effectivePromptInputTokens(ms.totalInput, ms.totalCacheHit);
+      const inputLabel = ms.totalCacheHit > 0 ? promptInput + "t prompt (" + ms.totalInput + "t new, " + ms.totalCacheHit + "t cached)" : ms.totalInput + "t in";
+      notify("Metrics: " + ms.totalCalls + " calls, " + inputLabel + ", " + ms.totalOutput + "t out, provider-cache " + providerCacheRate + "% (internal phases disabled), extraction-cache " + extractionCacheRate + "%, " + ms.avgLatency + "ms avg", "info");
     }
     if (!autoTriggered) {
       try {
@@ -4002,12 +4362,21 @@ function smartCompactExtension(pi) {
         const verbose = flags.includes("verbose") || flags.includes("debug");
         const dryRun = flags.includes("dry-run");
         if (flags.includes("metrics") || flags.includes("dashboard")) {
-          const dashboard = flags.includes("dashboard");
-          const report = buildMetricsReport();
-          const fp = dashboard ? writeMetricsDashboard() : null;
-          ctx.ui.notify(report + (fp ? `
-
-Dashboard: ` + fp : ""), "info");
+          if (flags.includes("dashboard")) {
+            const entries = readMetricsLog(200);
+            const sessionId = ctx.sessionManager.getSessionId?.() ?? "unknown";
+            const action = await showMetricsDashboardUI(ctx, {
+              entries,
+              currentSessionId: sessionId,
+              report: buildMetricsReport(entries)
+            });
+            if (action === "html") {
+              const fp = writeMetricsDashboard(entries);
+              ctx.ui.notify(fp ? "Dashboard written: " + fp : "Dashboard could not be written", fp ? "info" : "error");
+            }
+          } else {
+            ctx.ui.notify(buildMetricsReport(), "info");
+          }
           return;
         }
         const modelArg = tokens.find((t) => t.includes("/"));
@@ -4057,6 +4426,7 @@ Dashboard: ` + fp : ""), "info");
       const age = Date.now() - pendingRef.createdAt;
       if (age > PENDING_TTL_MS) {
         warn("Discarding expired pending smart compaction after " + Math.round(age / 1000) + "s");
+        ctx.ui?.notify?.("Expired pending smart compaction discarded", "warning");
         pendingRef.value = null;
         pendingRef.createdAt = 0;
       } else {
@@ -4100,7 +4470,6 @@ Dashboard: ` + fp : ""), "info");
         }
         if (result === "timeout") {
           warn("Smart compact auto-trigger hard timeout after " + effectiveTimeoutMs + "ms");
-          isRunning.value = false;
           pendingRef.value = null;
           pendingRef.createdAt = 0;
           return;