pi-smart-compact 7.13.0 → 7.13.1

package/dist/app/steps/synthesize.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Step 6: synthesize the conversation summary.
+ *
+ * Two paths converge here:
+ *
+ *   Single-pass: short conversations fit in one LLM call. The full convText
+ *   gets sent with the deterministic extraction context and we get a single
+ *   markdown summary back. We always check the result starts with "##" so a
+ *   model that refuses or returns junk falls back to the heuristic assembler
+ *   without polluting the conversation history.
+ *
+ *   EESV: long conversations are explored, chunked, summarized in parallel
+ *   batches, then assembled. The Explore phase is gated by `shouldExplore` so
+ *   trivially small sessions don't pay 3-8 extra LLM calls.
+ *
+ * Concurrency is provider-derived (`providerCaps.concurrencyLimit`). Wave
+ * scheduling matters because some providers (Kimi, Minimax) throttle hard
+ * once you exceed 2-3 concurrent calls.
+ */
+import type { ExtractedRc, SynthesizedRc } from "../run-context.ts";
+export declare function summarizeConversation(rc: ExtractedRc): Promise<SynthesizedRc>;
+//# sourceMappingURL=synthesize.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"synthesize.d.ts","sourceRoot":"","sources":["../../../src/app/steps/synthesize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAUH,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGpE,wBAAsB,qBAAqB,CAAC,EAAE,EAAE,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,CA6MnF"}

package/dist/app/steps/tier.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Step 4: select compaction tier.
+ *
+ * Stage: `RecoveredRc` → `TieredRc | null`.
+ *
+ * Returns `null` for tier="none" so the orchestrator can short-circuit. Only
+ * "light" and "full" tiers reach later stages, which is enforced statically
+ * by the `ActiveTier` type on `TieredRc.tier`.
+ */
+import type { RecoveredRc, TieredRc } from "../run-context.ts";
+export declare function selectTier(rc: RecoveredRc): TieredRc | null;
+//# sourceMappingURL=tier.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tier.d.ts","sourceRoot":"","sources":["../../../src/app/steps/tier.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAc,MAAM,mBAAmB,CAAC;AAK3E,wBAAgB,UAAU,CAAC,EAAE,EAAE,WAAW,GAAG,QAAQ,GAAG,IAAI,CAiB3D"}

package/dist/app/steps/verify.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Step 7: verify and optionally patch the summary.
+ *
+ * Stage: `SynthesizedRc` → `VerifiedRc`.
+ *
+ * Two-stage patch policy:
+ *
+ *   1. Run deterministic verification. If the score is comfortably high we
+ *      accept the summary as-is — no LLM patch cost, no extra latency.
+ *   2. If the score is < 85, apply the deterministic patcher first. It is
+ *      free, idempotent, and almost always recovers missing sections / file
+ *      lists that the LLM elided.
+ *   3. Re-verify. Only if the deterministic patch couldn't bring us above 75
+ *      do we burn an LLM call on `patchSummary`. This keeps cost predictable
+ *      while still preserving the safety net for catastrophic LLM output.
+ */
+import type { SynthesizedRc, VerifiedRc } from "../run-context.ts";
+export declare function verifyAndPatch(rc: SynthesizedRc): Promise<VerifiedRc>;
+//# sourceMappingURL=verify.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../../src/app/steps/verify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAMnE,wBAAsB,cAAc,CAAC,EAAE,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CAsD3E"}

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

@@ -0,0 +1,18 @@
+/**
+ * Step 2: pick the compaction window.
+ *
+ * Stage: `PreparedRc` → `WindowedRc | null`.
+ *
+ * The window is the prefix of branch messages we will summarize. Walks back
+ * from the tail accumulating tokens up to `keepRecentTokens`, then anchors:
+ *
+ *  - `smartKeepBoundary` respects the latest on-branch anchor and avoids
+ *    splitting topical groups.
+ *  - `guardToolCallBoundary` rejects boundaries that would orphan a
+ *    `toolResult` from its `toolCall`.
+ *
+ * Returns `null` when the conversation is too small to compact.
+ */
+import type { PreparedRc, WindowedRc } from "../run-context.ts";
+export declare function resolveCompactionWindow(rc: PreparedRc): WindowedRc | null;
+//# sourceMappingURL=window.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"window.d.ts","sourceRoot":"","sources":["../../../src/app/steps/window.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAOhE,wBAAgB,uBAAuB,CAAC,EAAE,EAAE,UAAU,GAAG,UAAU,GAAG,IAAI,CAkDzE"}

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.13.0";
+export declare const VERSION = "7.13.1";
 export declare const CHARS_PER_TOKEN = 3.8;
 export declare const COMPACT_SYSTEM_PREFIX: string;
 export declare const PROFILES: Record<CompressionProfile, ProfileConfig>;
@@ -41,6 +41,16 @@ export declare const SECTION_CHANGES = "## Changes Since Last Compaction";
 export declare const LOG_PREFIX = "[smart-compact]";
 export declare const MIN_TOKEN_THRESHOLD = 5000;
 export declare const MAX_EXPLORATION_ROUNDS = 8;
+export declare const BACKUP_MAX_FILES = 20;
+export declare const BACKUP_MAX_AGE_MS: number;
+export declare const SUMMARY_SNIPPET_LEN = 100;
+export declare const SHORT_SUMMARY_LEN = 60;
+export declare const ERROR_FUZZY_MATCH_LEN = 30;
+export declare const DAMAGE_RECENT_MSG_WINDOW = 15;
+export declare const MAX_TOOL_OUTPUT_CHARS = 800;
+export declare const METRICS_BUFFER_MAX = 200;
+export declare const DAMAGE_LOOKBACK_MSGS = 15;
+export declare const VERIFICATION_GAP_SNIPPET_LEN = 80;
 export declare const CONFIG_KEY = "smartCompact";
 export declare const CONFIG_KEY_ALT = "semanticCompact";
 export declare const EXPLORER_SYSTEM_PROMPT: string;

package/dist/constants.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEpE,eAAO,MAAM,OAAO,WAAW,CAAC;AAChC,eAAO,MAAM,eAAe,MAAM,CAAC;AAEnC,eAAO,MAAM,qBAAqB,QAKqB,CAAC;AAExD,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,kBAAkB,EAAE,aAAa,CAyB9D,CAAC;AAEF,eAAO,MAAM,cAAc;aACF,kBAAkB;;kBAEnB,MAAM,GAAG,IAAI;uBACR,MAAM,GAAG,IAAI;;;;;;CAMzC,CAAC;AAEF,eAAO,MAAM,QAAQ,QAA+E,CAAC;AACrG,eAAO,MAAM,QAAQ,QAAuH,CAAC;AAC7I,eAAO,MAAM,SAAS,QAAmG,CAAC;AAI1H,eAAO,MAAM,kBAAkB,QAgB+C,CAAC;AAE/E,eAAO,MAAM,kBAAkB,yHACyF,CAAC;AAEzH,eAAO,MAAM,mBAAmB,QAWoB,CAAC;AAErD,eAAO,MAAM,mBAAmB,8DAA8D,CAAC;AAE/F,eAAO,MAAM,sBAAsB,QAoB2B,CAAC;AAE/D,eAAO,MAAM,sBAAsB,8OAC0M,CAAC;AAI9O,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAK5D,CAAC;AAGF,eAAO,MAAM,YAAY,YAAY,CAAC;AACtC,eAAO,MAAM,mBAAmB,iCAAiC,CAAC;AAClE,eAAO,MAAM,gBAAgB,gBAAgB,CAAC;AAC9C,eAAO,MAAM,iBAAiB,qBAAqB,CAAC;AACpD,eAAO,MAAM,sBAAsB,sBAAsB,CAAC;AAC1D,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AAClD,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AAClD,eAAO,MAAM,wBAAwB,wBAAwB,CAAC;AAC9D,eAAO,MAAM,cAAc,sBAAsB,CAAC;AAClD,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AAClD,eAAO,MAAM,eAAe,qCAAqC,CAAC;AAGlE,eAAO,MAAM,UAAU,oBAAoB,CAAC;AAG5C,eAAO,MAAM,mBAAmB,OAAO,CAAC;AACxC,eAAO,MAAM,sBAAsB,IAAI,CAAC;AAGxC,eAAO,MAAM,UAAU,iBAAiB,CAAC;AACzC,eAAO,MAAM,cAAc,oBAAoB,CAAC;AAEhD,eAAO,MAAM,sBAAsB,QAU6T,CAAC"}
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEpE,eAAO,MAAM,OAAO,WAAW,CAAC;AAChC,eAAO,MAAM,eAAe,MAAM,CAAC;AAEnC,eAAO,MAAM,qBAAqB,QAKqB,CAAC;AAExD,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,kBAAkB,EAAE,aAAa,CAyB9D,CAAC;AAEF,eAAO,MAAM,cAAc;aACF,kBAAkB;;kBAEnB,MAAM,GAAG,IAAI;uBACR,MAAM,GAAG,IAAI;;;;;;CAMzC,CAAC;AAEF,eAAO,MAAM,QAAQ,QAA+E,CAAC;AACrG,eAAO,MAAM,QAAQ,QAAuH,CAAC;AAC7I,eAAO,MAAM,SAAS,QAAmG,CAAC;AAI1H,eAAO,MAAM,kBAAkB,QAgB+C,CAAC;AAE/E,eAAO,MAAM,kBAAkB,yHACyF,CAAC;AAEzH,eAAO,MAAM,mBAAmB,QAWoB,CAAC;AAErD,eAAO,MAAM,mBAAmB,8DAA8D,CAAC;AAE/F,eAAO,MAAM,sBAAsB,QAoB2B,CAAC;AAE/D,eAAO,MAAM,sBAAsB,8OAC0M,CAAC;AAI9O,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAK5D,CAAC;AAGF,eAAO,MAAM,YAAY,YAAY,CAAC;AACtC,eAAO,MAAM,mBAAmB,iCAAiC,CAAC;AAClE,eAAO,MAAM,gBAAgB,gBAAgB,CAAC;AAC9C,eAAO,MAAM,iBAAiB,qBAAqB,CAAC;AACpD,eAAO,MAAM,sBAAsB,sBAAsB,CAAC;AAC1D,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AAClD,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AAClD,eAAO,MAAM,wBAAwB,wBAAwB,CAAC;AAC9D,eAAO,MAAM,cAAc,sBAAsB,CAAC;AAClD,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AAClD,eAAO,MAAM,eAAe,qCAAqC,CAAC;AAGlE,eAAO,MAAM,UAAU,oBAAoB,CAAC;AAG5C,eAAO,MAAM,mBAAmB,OAAO,CAAC;AACxC,eAAO,MAAM,sBAAsB,IAAI,CAAC;AAQxC,eAAO,MAAM,gBAAgB,KAAK,CAAC;AACnC,eAAO,MAAM,iBAAiB,QAA2B,CAAC;AAO1D,eAAO,MAAM,mBAAmB,MAAM,CAAC;AACvC,eAAO,MAAM,iBAAiB,KAAK,CAAC;AACpC,eAAO,MAAM,qBAAqB,KAAK,CAAC;AACxC,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAG3C,eAAO,MAAM,qBAAqB,MAAM,CAAC;AAOzC,eAAO,MAAM,kBAAkB,MAAM,CAAC;AAGtC,eAAO,MAAM,oBAAoB,KAAK,CAAC;AAGvC,eAAO,MAAM,4BAA4B,KAAK,CAAC;AAG/C,eAAO,MAAM,UAAU,iBAAiB,CAAC;AACzC,eAAO,MAAM,cAAc,oBAAoB,CAAC;AAEhD,eAAO,MAAM,sBAAsB,QAU6T,CAAC"}

package/dist/domain/summary-parse.d.ts

@@ -0,0 +1,50 @@
+/**
+ * Markdown ↔ CanonicalSummary parser.
+ *
+ * The synthesis phase produces markdown because LLMs and humans both read it
+ * well. Verification, patching, and delta-injection used to operate by
+ * lowercasing the markdown and substring-scanning for headings, which gave
+ * us a long tail of regex fragility: `## Goal` matched but `### Goal` did not,
+ * `Files Modified` matched but `Files modified` had to be lowercased first,
+ * etc.
+ *
+ * This module performs one structural parse up front: every `^#{1,3} ` line
+ * becomes a section, and the text between headings becomes its body. After
+ * that, the rest of the code can ask `findSection(summary, "goal")` and let
+ * the classifier handle aliases.
+ *
+ * The parser is intentionally tolerant — it accepts H1/H2/H3 and trims
+ * surrounding whitespace — because we expect occasional formatting drift from
+ * smaller LLMs.
+ */
+import { CanonicalSummary, Section, SectionKind } from "./summary-schema.ts";
+export declare function parseSummary(markdown: string): CanonicalSummary;
+/** Find the first section matching the requested kind. */
+export declare function findSection(summary: CanonicalSummary | string, kind: SectionKind): Section | undefined;
+export declare function hasSection(summary: CanonicalSummary | string, kind: SectionKind): boolean;
+/** Stringify the canonical form back to markdown.
+ *
+ * `opts.canonicalHeadings` rewrites recognized headings to their canonical
+ * form. Patch routines turn this on so downstream verification cannot miss a
+ * section because the LLM emitted `### Goal` instead of `## Goal`.
+ */
+export declare function renderSummary(summary: CanonicalSummary, opts?: {
+    canonicalHeadings?: boolean;
+}): string;
+/**
+ * Insert or replace a section. If a section with the same `kind` exists, its
+ * heading is replaced with the canonical one and the body is overwritten. If
+ * not, the section is appended.
+ *
+ * `before` hints at which section *kind* the new entry should precede; when
+ * absent the section is appended. This is how the synthesis pipeline keeps
+ * `Open Loops` ahead of `Next Steps` deterministically.
+ */
+export declare function upsertSection(summary: CanonicalSummary, kind: SectionKind, body: string, before?: SectionKind): CanonicalSummary;
+/**
+ * Append text to an existing section body. If the section is missing, it is
+ * created with the provided body. This is the structural equivalent of the
+ * old `findOrCreateSectionInsert` helper in `verify.ts`.
+ */
+export declare function appendToSection(summary: CanonicalSummary, kind: SectionKind, text: string, fallbackBody?: string): CanonicalSummary;
+//# sourceMappingURL=summary-parse.d.ts.map

package/dist/domain/summary-parse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"summary-parse.d.ts","sourceRoot":"","sources":["../../src/domain/summary-parse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,WAAW,EAAqC,MAAM,qBAAqB,CAAC;AAmBhH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,CAiC/D;AAED,0DAA0D;AAC1D,wBAAgB,WAAW,CAAC,OAAO,EAAE,gBAAgB,GAAG,MAAM,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,GAAG,SAAS,CAGtG;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,gBAAgB,GAAG,MAAM,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,CAEzF;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,gBAAgB,EAAE,IAAI,GAAE;IAAE,iBAAiB,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,MAAM,CAS3G;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,gBAAgB,EACzB,IAAI,EAAE,WAAW,EACjB,IAAI,EAAE,MAAM,EACZ,MAAM,CAAC,EAAE,WAAW,GACnB,gBAAgB,CAkBlB;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,gBAAgB,EACzB,IAAI,EAAE,WAAW,EACjB,IAAI,EAAE,MAAM,EACZ,YAAY,SAAK,GAChB,gBAAgB,CAWlB"}

package/dist/domain/summary-schema.d.ts

@@ -0,0 +1,49 @@
+/**
+ * Canonical summary schema.
+ *
+ * The summary that smart-compact produces is consumed by humans (in the result
+ * screen and `Pending Compaction` banner) but also re-parsed downstream by the
+ * verification phase and by the delta extractor. Originally everything spoke
+ * Markdown, and verification ran on string `lower.includes("## goal")`-style
+ * checks. That meant:
+ *
+ *  - A model that emitted `### Goal` or `## Goals` slipped past the check and
+ *    triggered a false `Missing section` gap.
+ *  - Reordering / renaming sections by an aggressive provider caused phantom
+ *    gaps that triggered an LLM patch call — burning tokens just to restore
+ *    text the summary already contained.
+ *  - Adding new sections required touching three modules (synthesize prompts,
+ *    verify regexes, delta injectors).
+ *
+ * The fix is a tiny canonical representation: a discriminated `Section` array
+ * with a `kind` tag. Markdown stays the human/LLM interface, but everything we
+ * actually *check* runs on the parsed `CanonicalSummary`. Verification asks
+ * "does a section with kind=goal exist?", not "does the lowercased string
+ * contain '## goal'".
+ *
+ * We do not try to parse the body of every section into structured fields
+ * here. Body text remains free-form so the LLM can express nuance. Specific
+ * sections (`progress`, `files-modified`, etc.) have their bodies inspected
+ * by helpers in `summary-parse.ts` when the verification logic needs to look
+ * deeper.
+ */
+export type SectionKind = "goal" | "constraints" | "progress" | "decisions" | "files-modified" | "files-read" | "next-steps" | "critical-context" | "topics" | "open-loops" | "changes" | "verification-note" | "unknown";
+export interface Section {
+    kind: SectionKind;
+    /** Original heading as parsed from the markdown (preserves the user-facing label). */
+    heading: string;
+    /** Body of the section, leading/trailing whitespace trimmed. */
+    body: string;
+}
+export interface CanonicalSummary {
+    sections: Section[];
+}
+/**
+ * Map a free-form heading text to a known `SectionKind`. We match generously
+ * because LLMs reshape capitalization and punctuation: `## Goal`, `# Goal`,
+ * `Goals:`, `## GOAL` should all resolve to `goal`.
+ */
+export declare function classifyHeading(raw: string): SectionKind;
+/** Canonical heading text used when synthesizing a missing section. */
+export declare function canonicalHeading(kind: SectionKind): string;
+//# sourceMappingURL=summary-schema.d.ts.map

package/dist/domain/summary-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"summary-schema.d.ts","sourceRoot":"","sources":["../../src/domain/summary-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAQH,MAAM,MAAM,WAAW,GACnB,MAAM,GACN,aAAa,GACb,UAAU,GACV,WAAW,GACX,gBAAgB,GAChB,YAAY,GACZ,YAAY,GACZ,kBAAkB,GAClB,QAAQ,GACR,YAAY,GACZ,SAAS,GACT,mBAAmB,GACnB,SAAS,CAAC;AAEd,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,WAAW,CAAC;IAClB,sFAAsF;IACtF,OAAO,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,OAAO,EAAE,CAAC;CACrB;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,WAAW,CAgBxD;AAED,uEAAuE;AACvE,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,CAiB1D"}

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,QAwM7D"}
+{"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,QA8N7D"}