pi-smart-compact 7.12.5 → 7.13.0

package/CHANGELOG.md

@@ -1,5 +1,20 @@
 # Changelog
 
+## [7.13.0] - 2026-05-25
+
+### Added
+- **Interactive metrics dashboard TUI** — `/smart-compact dashboard` now opens an in-terminal dashboard with overview, latest-run details, current-session runs, recent runs, and an explicit HTML export action.
+- **Dashboard run detail formatting** — Added tested formatter helpers for legacy metrics, empty states, phase timings, compact run descriptions, and bounded percentage display.
+
+### Fixed
+- **Provider cache percentage accounting** — Provider prompt-cache hit rates now use an effective prompt-token denominator and are capped at 100%, preventing impossible values such as `572610%` when providers report cached tokens separately from new input tokens.
+- **Verification repair for malformed summaries** — Missing canonical sections are now reported as verification gaps and deterministic repair can create sections such as `## Goal`, `## Progress`, `## Critical Context`, and `## Files Modified` before injecting required facts.
+- **Dashboard comparison noise** — Legacy metrics entries without profile/provider metadata are omitted from profile/provider comparison groups instead of appearing as misleading `unknown` rows.
+
+### Changed
+- **Metrics readability** — Result overlays and notifications distinguish prompt, new, and cached input tokens when provider cache reads are present.
+- **Dashboard navigation** — The TUI supports keybinding-aware navigation plus page-up/page-down and home/end scrolling.
+
 ## [7.12.5] - 2026-05-23
 
 ### Fixed

package/README.md

@@ -186,7 +186,7 @@ The tool prepares a pending smart summary and lets Pi consume it on the next nat
 - pending summaries are kept in memory for **5 minutes**
 - exploration is adaptive and may be skipped for simple sessions
 - use `/smart-compact metrics` for profile/provider comparisons
-- use `/smart-compact dashboard` to write a local HTML report at `.cache/smart-compact-report.html`
+- use `/smart-compact dashboard` to open the interactive TUI dashboard (overview, latest run, current session, recent runs, or write HTML)
 
 This keeps the extension helpful without forcing extra work when it is not needed.
 

package/dist/constants.d.ts

@@ -2,7 +2,7 @@
  * Constants, prompts, and profile defaults.
  */
 import type { CompressionProfile, ProfileConfig } from "./types.ts";
-export declare const VERSION = "7.12.5";
+export declare const VERSION = "7.13.0";
 export declare const CHARS_PER_TOKEN = 3.8;
 export declare const COMPACT_SYSTEM_PREFIX: string;
 export declare const PROFILES: Record<CompressionProfile, ProfileConfig>;

package/dist/core.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../src/core.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE/E,OAAO,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,KAAK,EACV,kBAAkB,EAAE,iBAAiB,EAEtC,MAAM,YAAY,CAAC;AAwBpB,yEAAyE;AACzE,MAAM,WAAW,mBAAmB;IAClC,GAAG,EAAE,uBAAuB,CAAC;IAC7B,YAAY,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACzB,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACrB,OAAO,EAAE,kBAAkB,CAAC;IAC5B,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE;QAAE,KAAK,EAAE,iBAAiB,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;IACnE,SAAS,EAAE;QAAE,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC;IAC9B,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,4EAA4E;IAC5E,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,sGAAsG;IACtG,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC,CAiiB9E"}
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../src/core.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE/E,OAAO,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,KAAK,EACV,kBAAkB,EAAE,iBAAiB,EAEtC,MAAM,YAAY,CAAC;AAwBpB,yEAAyE;AACzE,MAAM,WAAW,mBAAmB;IAClC,GAAG,EAAE,uBAAuB,CAAC;IAC7B,YAAY,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACzB,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACrB,OAAO,EAAE,kBAAkB,CAAC;IAC5B,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE;QAAE,KAAK,EAAE,iBAAiB,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;IACnE,SAAS,EAAE;QAAE,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC;IAC9B,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,4EAA4E;IAC5E,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,sGAAsG;IACtG,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC,CAqiB9E"}

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,YAAY,EAA2B,MAAM,iCAAiC,CAAC;AA0C7F,MAAM,CAAC,OAAO,UAAU,qBAAqB,CAAC,EAAE,EAAE,YAAY,QA6L7D"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,YAAY,EAA2B,MAAM,iCAAiC,CAAC;AA0C7F,MAAM,CAAC,OAAO,UAAU,qBAAqB,CAAC,EAAE,EAAE,YAAY,QAwM7D"}

package/dist/index.js

@@ -1,6 +1,6 @@
 // @bun
 // src/constants.ts
-var VERSION = "7.12.5";
+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 = {
@@ -854,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)
@@ -862,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) {
@@ -1104,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))
   };
@@ -1114,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]) => {
@@ -1128,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));
@@ -1197,7 +1205,7 @@ 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="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(`
@@ -1210,8 +1218,8 @@ 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));
@@ -1240,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>
@@ -3154,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()),
@@ -3209,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;
@@ -3217,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 += `
@@ -3294,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);
@@ -3443,8 +3585,10 @@ async function showResultScreen(ctx, details, extraction) {
     if (ms.totalCalls > 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", ms.totalInput.toLocaleString() + "t in") + 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));
+      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;
@@ -3524,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)
@@ -4007,7 +4261,9 @@ async function runSmartCompact(opts) {
     if (ms.totalCalls > 0) {
       const providerCacheRate = Math.round(ms.cacheHitRate * 100);
       const extractionCacheRate = Math.round(ecs.hitRate * 100);
-      notify("Metrics: " + ms.totalCalls + " calls, " + ms.totalInput + "t in, " + ms.totalOutput + "t out, provider-cache " + providerCacheRate + "% (internal phases disabled), extraction-cache " + extractionCacheRate + "%, " + ms.avgLatency + "ms avg", "info");
+      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 {
@@ -4106,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("/"));

package/dist/phases/verify.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/phases/verify.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,KAAK,EAAE,oBAAoB,EAAE,kBAAkB,EAAqB,MAAM,aAAa,CAAC;AAK/F,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,oBAAoB,GAAG,kBAAkB,CAwGnG;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,oBAAoB,GAAG,MAAM,CAgE5G;AAED,wBAAsB,YAAY,CAChC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAC/B,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,EAAE,MAAM,CAAC,EAAE,WAAW,GAClG,OAAO,CAAC,MAAM,CAAC,CAcjB"}
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/phases/verify.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,KAAK,EAAE,oBAAoB,EAAE,kBAAkB,EAAqB,MAAM,aAAa,CAAC;AAK/F,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,oBAAoB,GAAG,kBAAkB,CAyGnG;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,oBAAoB,GAAG,MAAM,CAiF5G;AAED,wBAAsB,YAAY,CAChC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAC/B,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,EAAE,MAAM,CAAC,EAAE,WAAW,GAClG,OAAO,CAAC,MAAM,CAAC,CAcjB"}

package/dist/ui/dashboard-format.d.ts

@@ -0,0 +1,14 @@
+import type { CompactMetricsEntry } from "../types.ts";
+export declare const DASHBOARD_PAGE_SIZE = 24;
+export declare function metricDuration(entry: CompactMetricsEntry): number;
+export declare function metricMs(ms: number): string;
+export declare function metricPct(value: number | undefined): string;
+export declare function metricNum(value: number | undefined): string;
+export declare function metricScore(entry: CompactMetricsEntry | undefined): string;
+export declare function formatMetricRun(entry: CompactMetricsEntry, index?: number): string;
+export declare function formatMetricRunCompact(entry: CompactMetricsEntry): string;
+export declare function formatRunDetails(entry: CompactMetricsEntry | undefined, title: string): string[];
+export declare function formatCurrentSession(entries: CompactMetricsEntry[], currentSessionId: string | undefined): string[];
+export declare function formatRecentRuns(entries: CompactMetricsEntry[]): string[];
+export declare function isDashboardTitleLine(line: string): boolean;
+//# sourceMappingURL=dashboard-format.d.ts.map

package/dist/ui/dashboard-format.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dashboard-format.d.ts","sourceRoot":"","sources":["../../src/ui/dashboard-format.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAuB,MAAM,aAAa,CAAC;AAE5E,eAAO,MAAM,mBAAmB,KAAK,CAAC;AAEtC,wBAAgB,cAAc,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAEjE;AAED,wBAAgB,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAG3C;AAMD,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAE3D;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAE3D;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,mBAAmB,GAAG,SAAS,GAAG,MAAM,CAE1E;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,mBAAmB,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,CAIlF;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAEzE;AAOD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,mBAAmB,GAAG,SAAS,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAwBhG;AAED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,mBAAmB,EAAE,EAAE,gBAAgB,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,EAAE,CAmBnH;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,mBAAmB,EAAE,GAAG,MAAM,EAAE,CAOzE;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE1D"}

package/dist/ui/overlays.d.ts

@@ -2,7 +2,7 @@
  * TUI overlays: model/profile selection, progress, result screen.
  */
 import type { ExtensionCommandContext } from "@earendil-works/pi-coding-agent";
-import type { CompressionProfile, ModelOption, ProgressState, SmartCompactDetails, StructuredExtraction } from "../types.ts";
+import type { CompactMetricsEntry, CompressionProfile, ModelOption, ProgressState, SmartCompactDetails, StructuredExtraction } from "../types.ts";
 export declare function renderContextBar(theme: any, pct: number, tokens: number, barLen?: number): string;
 export declare function renderTokenBar(theme: any, before: number, after: number, label: string, barLen?: number): string;
 export declare function selectModel(ctx: ExtensionCommandContext, opts: {
@@ -17,6 +17,12 @@ export declare function selectProfile(ctx: ExtensionCommandContext, selectedMode
 }): Promise<CompressionProfile | null>;
 export declare function showProgressOverlay(ctx: ExtensionCommandContext, state: ProgressState): void;
 export declare function showResultScreen(ctx: ExtensionCommandContext, details: SmartCompactDetails, extraction: StructuredExtraction): Promise<void>;
+type DashboardAction = "html" | null;
+export declare function showMetricsDashboardUI(ctx: ExtensionCommandContext, opts: {
+    entries: CompactMetricsEntry[];
+    currentSessionId?: string;
+    report: string;
+}): Promise<DashboardAction>;
 export declare function showCompactUI(ctx: ExtensionCommandContext, opts: {
     contextTokens: number;
     contextPercent: number;
@@ -26,4 +32,5 @@ export declare function showCompactUI(ctx: ExtensionCommandContext, opts: {
     model: ModelOption;
     profile: CompressionProfile;
 } | null>;
+export {};
 //# sourceMappingURL=overlays.d.ts.map

package/dist/ui/overlays.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"overlays.d.ts","sourceRoot":"","sources":["../../src/ui/overlays.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAI/E,OAAO,KAAK,EACV,kBAAkB,EAAE,WAAW,EAAE,aAAa,EAC9C,mBAAmB,EAAE,oBAAoB,EAC1C,MAAM,aAAa,CAAC;AAIrB,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,SAAK,GAAG,MAAM,CAS7F;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,SAAK,GAAG,MAAM,CAO5G;AAED,wBAAsB,WAAW,CAC/B,GAAG,EAAE,uBAAuB,EAC5B,IAAI,EAAE;IAAE,aAAa,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,iBAAiB,EAAE,MAAM,CAAA;CAAE,GACvG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC,CA8C7B;AAED,wBAAsB,aAAa,CACjC,GAAG,EAAE,uBAAuB,EAC5B,aAAa,EAAE,WAAW,EAC1B,IAAI,EAAE;IAAE,aAAa,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GACtD,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CA4CpC;AAED,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,uBAAuB,EAAE,KAAK,EAAE,aAAa,GAAG,IAAI,CAM5F;AAED,wBAAsB,gBAAgB,CACpC,GAAG,EAAE,uBAAuB,EAC5B,OAAO,EAAE,mBAAmB,EAC5B,UAAU,EAAE,oBAAoB,GAC/B,OAAO,CAAC,IAAI,CAAC,CA0Jf;AAED,wBAAsB,aAAa,CACjC,GAAG,EAAE,uBAAuB,EAC5B,IAAI,EAAE;IAAE,aAAa,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,iBAAiB,EAAE,MAAM,CAAA;CAAE,GACvG,OAAO,CAAC;IAAE,KAAK,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,kBAAkB,CAAA;CAAE,GAAG,IAAI,CAAC,CAMrE"}
+{"version":3,"file":"overlays.d.ts","sourceRoot":"","sources":["../../src/ui/overlays.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAI/E,OAAO,KAAK,EACV,mBAAmB,EAAE,kBAAkB,EAAE,WAAW,EAAE,aAAa,EACnE,mBAAmB,EAAE,oBAAoB,EAC1C,MAAM,aAAa,CAAC;AAcrB,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,SAAK,GAAG,MAAM,CAS7F;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,SAAK,GAAG,MAAM,CAO5G;AAED,wBAAsB,WAAW,CAC/B,GAAG,EAAE,uBAAuB,EAC5B,IAAI,EAAE;IAAE,aAAa,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,iBAAiB,EAAE,MAAM,CAAA;CAAE,GACvG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC,CA8C7B;AAED,wBAAsB,aAAa,CACjC,GAAG,EAAE,uBAAuB,EAC5B,aAAa,EAAE,WAAW,EAC1B,IAAI,EAAE;IAAE,aAAa,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GACtD,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CA4CpC;AAED,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,uBAAuB,EAAE,KAAK,EAAE,aAAa,GAAG,IAAI,CAM5F;AAED,wBAAsB,gBAAgB,CACpC,GAAG,EAAE,uBAAuB,EAC5B,OAAO,EAAE,mBAAmB,EAC5B,UAAU,EAAE,oBAAoB,GAC/B,OAAO,CAAC,IAAI,CAAC,CA8Jf;AAGD,KAAK,eAAe,GAAG,MAAM,GAAG,IAAI,CAAC;AAErC,wBAAsB,sBAAsB,CAC1C,GAAG,EAAE,uBAAuB,EAC5B,IAAI,EAAE;IAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC;IAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAClF,OAAO,CAAC,eAAe,CAAC,CA+F1B;AAED,wBAAsB,aAAa,CACjC,GAAG,EAAE,uBAAuB,EAC5B,IAAI,EAAE;IAAE,aAAa,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,iBAAiB,EAAE,MAAM,CAAA;CAAE,GACvG,OAAO,CAAC;IAAE,KAAK,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,kBAAkB,CAAA;CAAE,GAAG,IAAI,CAAC,CAMrE"}

package/dist/utils/cache.d.ts

@@ -11,6 +11,7 @@ export declare function cacheOpts(opts: CacheAwareOptions, provider?: string, ph
 export declare function resetMetrics(): void;
 export declare function recordMetric(m: LLMCallMetric): void;
 export declare function getMetrics(): LLMCallMetric[];
+export declare function effectivePromptInputTokens(inputTokens: number, cacheHitTokens: number): number;
 export declare function getMetricsSummary(): {
     totalCalls: number;
     totalInput: number;

package/dist/utils/cache.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cache.d.ts","sourceRoot":"","sources":["../../src/utils/cache.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH,OAAO,KAAK,EAAE,aAAa,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,iBAAiB,EAAuB,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAGtJ,OAAO,EAAY,KAAK,KAAK,EAAE,KAAK,GAAG,EAAE,KAAK,gBAAgB,EAAE,KAAK,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAO5G,wBAAgB,mBAAmB,IAAI,MAAM,CAK5C;AAED,wBAAgB,qBAAqB,IAAI,IAAI,CAE5C;AASD,wBAAgB,SAAS,CACvB,IAAI,EAAE,iBAAiB,EACvB,QAAQ,CAAC,EAAE,MAAM,EACjB,KAAK,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,GAC7B,iBAAiB,GAAG;IAAE,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,CAY5C;AAKD,wBAAgB,YAAY,IAAI,IAAI,CAAyB;AAC7D,wBAAgB,YAAY,CAAC,CAAC,EAAE,aAAa,GAAG,IAAI,CAA4F;AAChJ,wBAAgB,UAAU,IAAI,aAAa,EAAE,CAA0B;AAEvE,wBAAgB,iBAAiB,IAAI;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CAYpK;AAGD,wBAAsB,eAAe,CACnC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,EAC7B,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC,gBAAgB,CAAC,CA4B3B;AAWD,wBAAgB,yBAAyB,IAAI,IAAI,CAGhD;AAED,wBAAgB,uBAAuB,IAAI;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAO3F;AAED,wBAAgB,wBAAwB,IAAI,IAAI,CAA4B;AAC5E,wBAAgB,yBAAyB,IAAI,IAAI,CAA8B;AAE/E;;;;;;;;;;GAUG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,oBAAoB,EAChC,QAAQ,EAAE,MAAM,EAChB,YAAY,CAAC,EAAE,MAAM,EACrB,WAAW,CAAC,EAAE,MAAM,EACpB,QAAQ,CAAC,EAAE,MAAM,EAAE,EACnB,YAAY,CAAC,EAAE,MAAM,EAAE,GACtB,IAAI,CASN;AAED,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,MAAM,GAAG,gBAAgB,GAAG,IAAI,CAQ/E;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,oBAAoB,EAAE,YAAY,EAAE,MAAM,GAAG,oBAAoB,CAgCpI;AAGD,kFAAkF;AAClF,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,MAAM,EACjB,KAAK,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,mBAAmB,EAAE,IAAI,GAAG,WAAW,GAAG,YAAY,GAAG,YAAY,GAAG,aAAa,GAAG,eAAe,GAAG,YAAY,GAAG,cAAc,CAAC,CAAC,GAC7J,IAAI,CAaN;AAED,wBAAgB,cAAc,CAAC,KAAK,SAAM,GAAG,mBAAmB,EAAE,CAcjE;AA0MD,wBAAgB,kBAAkB,CAAC,OAAO,wBAAsB,GAAG,MAAM,CAwBxE;AAED,wBAAgB,qBAAqB,CAAC,OAAO,wBAAsB,GAAG,MAAM,GAAG,IAAI,CAgClF"}
+{"version":3,"file":"cache.d.ts","sourceRoot":"","sources":["../../src/utils/cache.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH,OAAO,KAAK,EAAE,aAAa,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,iBAAiB,EAAuB,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAGtJ,OAAO,EAAY,KAAK,KAAK,EAAE,KAAK,GAAG,EAAE,KAAK,gBAAgB,EAAE,KAAK,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAO5G,wBAAgB,mBAAmB,IAAI,MAAM,CAK5C;AAED,wBAAgB,qBAAqB,IAAI,IAAI,CAE5C;AASD,wBAAgB,SAAS,CACvB,IAAI,EAAE,iBAAiB,EACvB,QAAQ,CAAC,EAAE,MAAM,EACjB,KAAK,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,GAC7B,iBAAiB,GAAG;IAAE,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,CAY5C;AAKD,wBAAgB,YAAY,IAAI,IAAI,CAAyB;AAC7D,wBAAgB,YAAY,CAAC,CAAC,EAAE,aAAa,GAAG,IAAI,CAA4F;AAChJ,wBAAgB,UAAU,IAAI,aAAa,EAAE,CAA0B;AAEvE,wBAAgB,0BAA0B,CAAC,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,MAAM,CAO9F;AAED,wBAAgB,iBAAiB,IAAI;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CAapK;AAGD,wBAAsB,eAAe,CACnC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,EAC7B,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC,gBAAgB,CAAC,CA4B3B;AAWD,wBAAgB,yBAAyB,IAAI,IAAI,CAGhD;AAED,wBAAgB,uBAAuB,IAAI;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAO3F;AAED,wBAAgB,wBAAwB,IAAI,IAAI,CAA4B;AAC5E,wBAAgB,yBAAyB,IAAI,IAAI,CAA8B;AAE/E;;;;;;;;;;GAUG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,oBAAoB,EAChC,QAAQ,EAAE,MAAM,EAChB,YAAY,CAAC,EAAE,MAAM,EACrB,WAAW,CAAC,EAAE,MAAM,EACpB,QAAQ,CAAC,EAAE,MAAM,EAAE,EACnB,YAAY,CAAC,EAAE,MAAM,EAAE,GACtB,IAAI,CASN;AAED,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,MAAM,GAAG,gBAAgB,GAAG,IAAI,CAQ/E;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,oBAAoB,EAAE,YAAY,EAAE,MAAM,GAAG,oBAAoB,CAgCpI;AAGD,kFAAkF;AAClF,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,MAAM,EACjB,KAAK,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,mBAAmB,EAAE,IAAI,GAAG,WAAW,GAAG,YAAY,GAAG,YAAY,GAAG,aAAa,GAAG,eAAe,GAAG,YAAY,GAAG,cAAc,CAAC,CAAC,GAC7J,IAAI,CAaN;AAED,wBAAgB,cAAc,CAAC,KAAK,SAAM,GAAG,mBAAmB,EAAE,CAcjE;AA2MD,wBAAgB,kBAAkB,CAAC,OAAO,wBAAsB,GAAG,MAAM,CAwBxE;AAED,wBAAgB,qBAAqB,CAAC,OAAO,wBAAsB,GAAG,MAAM,GAAG,IAAI,CAgClF"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pi-smart-compact",
-  "version": "7.12.5",
+  "version": "7.13.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",