pi-smart-compact 9.2.0 → 9.2.1

package/ARCHITECTURE.md

@@ -147,9 +147,12 @@ The same pure planner powers manual preflight and execution. A soft boundary is
 recorded as relaxed rather than silently overriding the target. Long turns may
 be summarized through their older prefix; if the nominal cut lands inside a
 tool exchange, the planner either retains the complete pair within budget or
-advances past it so the complete exchange is summarized. If no safe hard
-boundary can meet the target, automatic/tool runs normally return control to
-Pi's native compactor before any LLM call. An already-overflowed context is
+advances past it so the complete exchange is summarized. It also advances past
+complete historical exchanges whose tool names violate the portable provider
+contract; this keeps model switches from exposing an unsendable raw tail. If no
+provider-safe hard boundary can meet the target, automatic/tool runs normally
+return control to Pi's native compactor before any LLM call. An
+already-overflowed context is
 the safety exception: measured usage is mapped across active messages and EESV
 keeps chunked recovery instead of sending an oversized one-shot prompt to
 native summarization. Manual runs use the profile's absolute adaptive tail, so

package/CHANGELOG.md

@@ -1,5 +1,11 @@
 # Changelog
 
+## [9.2.1] - 2026-08-11
+
+### Fixed
+
+- Retained tails now summarize complete historical tool exchanges whose names are not portable across providers, preventing dotted wrapper or MCP names from making the first post-compaction turn fail provider validation.
+
 ## [9.2.0] - 2026-08-11
 
 ### Added

package/README.md

@@ -168,8 +168,10 @@ and reports final success only after Pi confirms the matching
 `session_compact` run ID. A single long user turn may be
 split at a safe message boundary: its older prefix is verified into the summary
 while the budgeted working tail stays raw. Tool exchanges remain complete
-call/result pairs; oversized result evidence is head/tail bounded only in the
-synthesis prompt after deterministic extraction has consumed the full input.
+call/result pairs. Historical exchanges with names outside the portable
+provider contract are summarized instead of leaving an unusable raw tail;
+oversized result evidence is head/tail bounded only in the synthesis prompt
+after deterministic extraction has consumed the full input.
 If Verify, yield, provider, or native apply fails, the UI shows one bounded actionable line without evidence text or a
 JavaScript stack. A successful `100/100` is labeled **verification coverage**;
 the source score and deterministic/LLM/fallback provenance remain visible so
@@ -448,11 +450,14 @@ Automatic and tool-triggered runs operate on Pi's current active context, not
 the append-only session history. A same-session staged summary is reused, the
 exploration loop is limited to three rounds, provider and outer retries are
 disabled, and every mode has finite call plus aggregate prompt-token budgets.
-Complete tool-call/result pairs are the hard window boundary. Recent user
-turns, pi-toolkit checkpoints, and topical grouping are soft and may expand the
-raw tail only while remaining inside the selected budget. Automatic/tool runs
-normally return to Pi's native compactor without an LLM call when a hard
-boundary cannot meet the target. Overflow is the safety exception: EESV keeps
+Complete tool-call/result pairs are the hard window boundary. Provider-incompatible
+historical tool names move the boundary past their complete exchanges so a
+provider switch cannot leave an unsendable raw tail. Recent user turns,
+pi-toolkit checkpoints, and topical grouping are soft and may expand the raw
+tail only while remaining inside the selected budget. Automatic/tool runs
+normally return to Pi's native compactor without an LLM call when no
+provider-safe hard boundary can meet the target. Overflow is the safety
+exception: EESV keeps
 chunked recovery rather than resending an oversized one-shot prompt to native
 compaction. Manual `/smart-compact` uses an absolute adaptive tail rather than
 a percentage of a large model window. A plan below 10% projected savings never

package/dist/app/steps/window.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"window.d.ts","sourceRoot":"","sources":["../../../src/app/steps/window.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAE1E,OAAO,KAAK,EACV,oBAAoB,EAAE,oBAAoB,EAAE,UAAU,EAAuB,UAAU,EACxF,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,uBAAuB,EAAc,aAAa,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAKpI,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAGhF,YAAY,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAE9D,MAAM,WAAW,yBAAyB;IACxC,IAAI,EAAE,mBAAmB,EAAE,CAAC;IAC5B,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,IAAI,EAAE,uBAAuB,CAAC;IAC9B,UAAU,EAAE,aAAa,CAAC;IAC1B,KAAK,EAAE,OAAO,CAAC;IACf,iBAAiB,EAAE,OAAO,CAAC;IAC3B,6EAA6E;IAC7E,2BAA2B,CAAC,EAAE,MAAM,CAAC;CACtC;AAED,+DAA+D;AAC/D,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,oBAAoB,GAAG,MAAM,CAS7E;AAED,oFAAoF;AACpF,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,aAAa,EACzB,SAAS,EAAE,cAAc,EACzB,YAAY,EAAE,oBAAoB,GAAG,SAAS,GAC7C,MAAM,CAYR;AACD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,yBAAyB,GAAG,oBAAoB,CA2H3F;AAED,wBAAgB,uBAAuB,CAAC,EAAE,EAAE,UAAU,GAAG,UAAU,GAAG,IAAI,CAqEzE"}
+{"version":3,"file":"window.d.ts","sourceRoot":"","sources":["../../../src/app/steps/window.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAE1E,OAAO,KAAK,EACV,oBAAoB,EAAE,oBAAoB,EAAE,UAAU,EAAuB,UAAU,EACxF,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,uBAAuB,EAAc,aAAa,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAKpI,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAGhF,YAAY,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAE9D,MAAM,WAAW,yBAAyB;IACxC,IAAI,EAAE,mBAAmB,EAAE,CAAC;IAC5B,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,IAAI,EAAE,uBAAuB,CAAC;IAC9B,UAAU,EAAE,aAAa,CAAC;IAC1B,KAAK,EAAE,OAAO,CAAC;IACf,iBAAiB,EAAE,OAAO,CAAC;IAC3B,6EAA6E;IAC7E,2BAA2B,CAAC,EAAE,MAAM,CAAC;CACtC;AAED,+DAA+D;AAC/D,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,oBAAoB,GAAG,MAAM,CAS7E;AAED,oFAAoF;AACpF,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,aAAa,EACzB,SAAS,EAAE,cAAc,EACzB,YAAY,EAAE,oBAAoB,GAAG,SAAS,GAC7C,MAAM,CAYR;AA8CD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,yBAAyB,GAAG,oBAAoB,CAiI3F;AAED,wBAAgB,uBAAuB,CAAC,EAAE,EAAE,UAAU,GAAG,UAAU,GAAG,IAAI,CAqEzE"}

package/dist/constants.d.ts

@@ -8,7 +8,7 @@ import type { CompressionProfile, ProfileConfig } from "./types.ts";
  * `package.json#version`. Do not hand-edit this line for releases; bump
  * package.json and run `bun run sync-version`.
  */
-export declare const VERSION = "9.2.0";
+export declare const VERSION = "9.2.1";
 export declare const CHARS_PER_TOKEN = 3.8;
 export declare const MIN_COMPACTION_SAVING_RATIO = 0.1;
 export declare const ESTIMATOR_ROUNDING_TOLERANCE_TOKENS = 1;

package/dist/index.js

@@ -7,7 +7,7 @@ import { StringEnum } from "@earendil-works/pi-ai";
 import { Type as Type2 } from "typebox";
 
 // src/constants.ts
-var VERSION = "9.2.0";
+var VERSION = "9.2.1";
 var CHARS_PER_TOKEN = 3.8;
 var MIN_COMPACTION_SAVING_RATIO = 0.1;
 var ESTIMATOR_ROUNDING_TOLERANCE_TOKENS = 1;
@@ -5589,7 +5589,7 @@ function compactionPlanReasonText(reason) {
     case "no-eligible-prefix":
       return "no older prefix is available";
     case "unsafe-tool-boundary":
-      return "no complete tool-call boundary is available";
+      return "no provider-safe complete tool-call boundary is available";
     case "retention-target-exceeded":
       return "a complete tool pair exceeds the tail target";
     case "mode-target-not-met":
@@ -5606,6 +5606,35 @@ function estimateFinalSummaryAllowance(profileCfg, estimator, providerCaps) {
   const legacyFloor = profileCfg.summaryBudgetTokens + Math.ceil(profileCfg.summaryBudgetTokens * POST_SUMMARY_RESERVE_RATIO);
   return Math.max(legacyFloor, calibratedOutput + calibratedPostProcessing);
 }
+var PORTABLE_TOOL_NAME_RE = /^[A-Za-z0-9_-]{1,64}$/;
+function advancePastNonPortableToolExchanges(msgs, keepFrom, toolCallIndex) {
+  if (keepFrom < 0 || keepFrom >= msgs.length)
+    return keepFrom;
+  const exchangeEnds = new Map;
+  for (let index = keepFrom;index < msgs.length; index++) {
+    const message = msgs[index].message;
+    if (!isRecord(message) || message.role !== "toolResult" || typeof message.toolCallId !== "string")
+      continue;
+    const callIndex = toolCallIndex.get(message.toolCallId);
+    if (callIndex === undefined || callIndex < keepFrom)
+      continue;
+    exchangeEnds.set(callIndex, Math.max(exchangeEnds.get(callIndex) ?? 0, index + 1));
+  }
+  let adjusted = keepFrom;
+  for (let index = keepFrom;index < msgs.length; index++) {
+    const message = msgs[index].message;
+    if (!isRecord(message))
+      continue;
+    if (message.role === "assistant" && Array.isArray(message.content)) {
+      const nonPortable = message.content.some((block) => isRecord(block) && block.type === "toolCall" && (typeof block.name !== "string" || !PORTABLE_TOOL_NAME_RE.test(block.name)));
+      if (nonPortable)
+        adjusted = Math.max(adjusted, exchangeEnds.get(index) ?? index + 1);
+    } else if (message.role === "toolResult" && typeof message.toolName === "string" && !PORTABLE_TOOL_NAME_RE.test(message.toolName)) {
+      adjusted = Math.max(adjusted, index + 1);
+    }
+  }
+  return adjusted;
+}
 function planCompactionWindow(input) {
   const {
     msgs,
@@ -5682,6 +5711,12 @@ function planCompactionWindow(input) {
   const forwardBoundary = retainedAt(backwardBoundary) > effectiveRetentionCeiling ? advancePastToolCallBoundary(msgs, keepFrom, toolCallIndex) : keepFrom;
   keepFrom = forwardBoundary > keepFrom && forwardBoundary < msgs.length && retainedAt(forwardBoundary) <= effectiveRetentionCeiling ? forwardBoundary : backwardBoundary;
   hardBoundaryAdjusted ||= keepFrom !== boundaryBeforeHardGuard;
+  const providerSafeBoundary = advancePastNonPortableToolExchanges(msgs, keepFrom, toolCallIndex);
+  const nonPortableTailBlocked = providerSafeBoundary >= msgs.length;
+  if (!nonPortableTailBlocked && providerSafeBoundary > keepFrom) {
+    keepFrom = providerSafeBoundary;
+    hardBoundaryAdjusted = true;
+  }
   const compactTokens = Math.round(tokenPrefix[keepFrom] * messageScale);
   const retainedTokens = retainedAt(keepFrom);
   const projectedAfterTokens = fixedContextTokens + retainedTokens + finalSummaryAllowance;
@@ -5690,7 +5725,7 @@ function planCompactionWindow(input) {
   const targetAfterTokens = !force && modelContextWindow ? modelContextWindow * targetPercent / 100 : fixedContextTokens + effectiveRetentionCeiling + finalSummaryAllowance;
   let reason = "viable";
   const firstKeptMessage = msgs[keepFrom]?.message;
-  if (isRecord(firstKeptMessage) && firstKeptMessage.role === "toolResult")
+  if (nonPortableTailBlocked || isRecord(firstKeptMessage) && firstKeptMessage.role === "toolResult")
     reason = "unsafe-tool-boundary";
   else if (keepFrom <= 0)
     reason = "no-eligible-prefix";

package/dist/provider-eval.js

@@ -156,7 +156,7 @@ function formatProviderEvaluation(report) {
 import fs2 from "fs";
 
 // src/constants.ts
-var VERSION = "9.2.0";
+var VERSION = "9.2.1";
 var SETTLED_TRIGGER_COOLDOWN_MS = 10 * 60000;
 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 = {

package/dist/provider-scenario-eval.js

@@ -169,7 +169,7 @@ function getLlmClient() {
 }
 
 // src/constants.ts
-var VERSION = "9.2.0";
+var VERSION = "9.2.1";
 var SETTLED_TRIGGER_COOLDOWN_MS = 10 * 60000;
 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 = {

package/dist/telemetry-report.js

@@ -2,7 +2,7 @@
 var __require = import.meta.require;
 
 // src/constants.ts
-var VERSION = "9.2.0";
+var VERSION = "9.2.1";
 var SETTLED_TRIGGER_COOLDOWN_MS = 10 * 60000;
 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 = {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pi-smart-compact",
-  "version": "9.2.0",
+  "version": "9.2.1",
   "description": "Verification-oriented smart compaction extension for Pi Coding Agent — deterministic extraction, exploration, synthesis, verification, metrics, and safety checks.",
   "packageManager": "bun@1.3.14",
   "engines": {