@bastani/atomic 0.8.31-alpha.5 → 0.9.0-alpha.1

package/dist/core/compaction/context-deletion-application.js

@@ -0,0 +1,259 @@
+import { assistantEntryHasThinkingContentBlock } from "./context-transcript-analysis.js";
+import { addToolCallDeletion, assertIdOnlyDeletionTarget, assertNoAssistantThinkingContentBlockDeletionTargets, assertNoLatestAssistantThinkingDeletionTargets, assertNoRecentContextDeletionTargets, canonicalizeEntryTargets, canDeleteTarget, deleteEntryTarget, firstToolCallBlockTarget, formatProtectedDeletionError, formatProtectedToolDependencyError, formatRecentContextDeletionError, getDeletedContentBlocks, getDeletedEntryIds, getRecentContextEntryIds, isRecentTarget, isTaskBearingEntry, isToolCallBlockDeleted, normalizeRawTarget, rawTargetKey, targetKey, } from "./context-deletion-targets.js";
+let warnedReconciliationNonConvergence = false;
+function reconcileToolDependencies(transcript, initialTargets) {
+    const targets = [...initialTargets];
+    const callEntries = new Map();
+    const entriesWithToolCalls = new Set();
+    const resultEntries = new Map();
+    for (const entry of transcript.entries) {
+        for (const callId of entry.toolCallIds) {
+            callEntries.set(callId, entry);
+            entriesWithToolCalls.add(entry);
+        }
+        if (entry.toolResultFor) {
+            const results = resultEntries.get(entry.toolResultFor) ?? [];
+            results.push(entry);
+            resultEntries.set(entry.toolResultFor, results);
+        }
+    }
+    // Bounded fixpoint repair: each pass can add/remove paired call/result targets. In practice this
+    // converges within one or two passes; the cap protects against accidental oscillation.
+    let changed = true;
+    let remainingPasses = Math.max(1, transcript.entries.length * 2);
+    while (changed && remainingPasses > 0) {
+        changed = false;
+        remainingPasses -= 1;
+        let deletedEntryIds = getDeletedEntryIds(targets);
+        let deletedContentBlocks = getDeletedContentBlocks(targets);
+        const recordChange = (nextChanged) => {
+            if (!nextChanged)
+                return;
+            changed = true;
+            deletedEntryIds = getDeletedEntryIds(targets);
+            deletedContentBlocks = getDeletedContentBlocks(targets);
+        };
+        for (const [callId, callEntry] of callEntries) {
+            const callDeleted = isToolCallBlockDeleted(callEntry, callId, deletedEntryIds, deletedContentBlocks);
+            const results = resultEntries.get(callId) ?? [];
+            if (callDeleted) {
+                const retainedProtectedResult = results.find((entry) => !deletedEntryIds.has(entry.entryId) &&
+                    !canDeleteTarget(transcript, { kind: "entry", entryId: entry.entryId }));
+                if (retainedProtectedResult) {
+                    const retainedResultTarget = { kind: "entry", entryId: retainedProtectedResult.entryId };
+                    if (isRecentTarget(transcript, retainedResultTarget)) {
+                        throw new Error(formatRecentContextDeletionError(transcript, retainedResultTarget));
+                    }
+                    throw new Error(formatProtectedToolDependencyError(transcript, retainedResultTarget, `Cannot delete tool call ${callId} because its paired tool result entry ${retainedProtectedResult.entryId} is protected.`));
+                }
+                else {
+                    for (const result of results) {
+                        recordChange(deleteEntryTarget(targets, result.entryId));
+                    }
+                }
+            }
+            if (isToolCallBlockDeleted(callEntry, callId, deletedEntryIds, deletedContentBlocks))
+                continue;
+            for (const result of results) {
+                if (!deletedEntryIds.has(result.entryId))
+                    continue;
+                recordChange(deleteEntryTarget(targets, result.entryId));
+                const callEntryTarget = { kind: "entry", entryId: callEntry.entryId };
+                const callBlockTarget = assistantEntryHasThinkingContentBlock(callEntry)
+                    ? callEntryTarget
+                    : firstToolCallBlockTarget(callEntry, callId) ?? callEntryTarget;
+                if (!canDeleteTarget(transcript, callBlockTarget)) {
+                    if (isRecentTarget(transcript, callBlockTarget)) {
+                        throw new Error(formatRecentContextDeletionError(transcript, callBlockTarget));
+                    }
+                    throw new Error(formatProtectedToolDependencyError(transcript, callBlockTarget, `Cannot delete tool result entry ${result.entryId} because that would require deleting protected tool block for tool call ${callId}.`));
+                }
+                recordChange(addToolCallDeletion(transcript, targets, callEntry, callId));
+            }
+        }
+        for (const entry of entriesWithToolCalls) {
+            recordChange(canonicalizeEntryTargets(transcript, targets, entry));
+        }
+    }
+    if (changed && !warnedReconciliationNonConvergence) {
+        warnedReconciliationNonConvergence = true;
+        console.warn(`Context compaction tool dependency reconciliation did not converge within the bounded pass limit; validation will continue with the last reconciled target set. entries=${transcript.entries.length} callEntries=${callEntries.size} targets=${targets.length}`);
+    }
+    return targets;
+}
+function validateToolDependencies(transcript, targets) {
+    const deletedEntryIds = getDeletedEntryIds(targets);
+    const deletedContentBlocks = getDeletedContentBlocks(targets);
+    const callEntries = new Map();
+    const resultEntries = new Map();
+    for (const entry of transcript.entries) {
+        for (const callId of entry.toolCallIds) {
+            callEntries.set(callId, entry);
+        }
+        if (entry.toolResultFor) {
+            const results = resultEntries.get(entry.toolResultFor) ?? [];
+            results.push(entry);
+            resultEntries.set(entry.toolResultFor, results);
+        }
+    }
+    for (const [callId, callEntry] of callEntries) {
+        const callDeleted = isToolCallBlockDeleted(callEntry, callId, deletedEntryIds, deletedContentBlocks);
+        const results = resultEntries.get(callId) ?? [];
+        if (callDeleted) {
+            const danglingResult = results.find((entry) => !deletedEntryIds.has(entry.entryId));
+            if (danglingResult) {
+                throw new Error(`Deleting tool call ${callId} would leave tool result entry ${danglingResult.entryId} orphaned`);
+            }
+            continue;
+        }
+        const deletedResult = results.find((entry) => deletedEntryIds.has(entry.entryId));
+        if (deletedResult) {
+            throw new Error(`Deleting tool result entry ${deletedResult.entryId} would leave tool call ${callId} dangling`);
+        }
+    }
+}
+export function computeContextCompactionStats(transcript, targets) {
+    const entryById = new Map(transcript.entries.map((entry) => [entry.entryId, entry]));
+    const deletedEntryIds = getDeletedEntryIds(targets);
+    let deletedTokens = 0;
+    let objectsDeleted = 0;
+    for (const entryId of deletedEntryIds) {
+        const entry = entryById.get(entryId);
+        if (!entry)
+            continue;
+        deletedTokens += entry.tokenEstimate;
+        objectsDeleted += 1 + entry.contentBlocks.length;
+    }
+    for (const target of targets) {
+        if (target.kind !== "content_block" || deletedEntryIds.has(target.entryId))
+            continue;
+        const entry = entryById.get(target.entryId);
+        if (!entry)
+            continue;
+        const block = entry.contentBlocks.find((item) => item.blockIndex === target.blockIndex);
+        if (!block)
+            continue;
+        deletedTokens += block.tokenEstimate;
+        objectsDeleted += 1;
+    }
+    const objectsBefore = transcript.entries.length + transcript.entries.reduce((total, entry) => total + entry.contentBlocks.length, 0);
+    const tokensBefore = transcript.tokensBefore;
+    const tokensAfter = Math.max(0, tokensBefore - deletedTokens);
+    const percentReduction = tokensBefore > 0 ? Math.round(((tokensBefore - tokensAfter) / tokensBefore) * 1000) / 10 : 0;
+    return {
+        objectsBefore,
+        objectsAfter: Math.max(0, objectsBefore - objectsDeleted),
+        objectsDeleted,
+        tokensBefore,
+        tokensAfter,
+        percentReduction,
+    };
+}
+/**
+ * An entry "bears task context" when it carries the user's intent for the session: a real `user`
+ * message, an extension-injected `custom` message, or a branch summary (`branchSummary` role /
+ * `branch_summary` entry type) that recaps an earlier branch's task.
+ *
+ * Verbatim compaction must always leave at least one task-bearing entry in context.
+ */
+export function validateContextDeletionRequest(request, transcript) {
+    if (!request || typeof request !== "object" || !Array.isArray(request.deletions)) {
+        throw new Error("Context deletion request must be an object with a deletions array");
+    }
+    const entryById = new Map(transcript.entries.map((entry) => [entry.entryId, entry]));
+    const recentEntryIds = getRecentContextEntryIds(transcript);
+    const seen = new Set();
+    const deletedTargets = [];
+    for (const deletion of request.deletions) {
+        if (!deletion || typeof deletion !== "object") {
+            throw new Error("Deletion target must be an object");
+        }
+        if (deletion.kind !== "entry" && deletion.kind !== "content_block") {
+            throw new Error(`Unsupported deletion target kind: ${String(deletion.kind)}`);
+        }
+        assertIdOnlyDeletionTarget(deletion);
+        if (typeof deletion.entryId !== "string" || deletion.entryId.length === 0) {
+            throw new Error("Deletion target entryId must be a non-empty string");
+        }
+        const entry = entryById.get(deletion.entryId);
+        if (!entry) {
+            throw new Error(`Unknown deletion target entryId: ${deletion.entryId}`);
+        }
+        const normalized = normalizeRawTarget(deletion);
+        if (deletion.kind === "entry") {
+            if (recentEntryIds.has(deletion.entryId)) {
+                throw new Error(formatRecentContextDeletionError(transcript, normalized));
+            }
+            if (entry.protected) {
+                throw new Error(formatProtectedDeletionError(transcript, normalized));
+            }
+        }
+        if (deletion.kind === "content_block") {
+            if (typeof deletion.blockIndex !== "number" || !Number.isInteger(deletion.blockIndex) || deletion.blockIndex < 0) {
+                throw new Error(`Invalid content block index for entry ${deletion.entryId}`);
+            }
+            if (recentEntryIds.has(deletion.entryId)) {
+                throw new Error(formatRecentContextDeletionError(transcript, normalized));
+            }
+            if (entry.protected) {
+                throw new Error(formatProtectedDeletionError(transcript, normalized));
+            }
+            const block = entry.contentBlocks.find((item) => item.blockIndex === deletion.blockIndex);
+            if (!block) {
+                throw new Error(`Unknown content block ${deletion.blockIndex} for entry ${deletion.entryId}`);
+            }
+            if (block.protected) {
+                throw new Error(formatProtectedDeletionError(transcript, normalized));
+            }
+            if (entry.contentBlocks.length <= 1) {
+                throw new Error(`Deleting the only content block of ${deletion.entryId} must be an entry deletion`);
+            }
+        }
+        const key = rawTargetKey(deletion);
+        if (seen.has(key)) {
+            throw new Error(`Duplicate deletion target: ${key}`);
+        }
+        seen.add(key);
+        deletedTargets.push(normalized);
+    }
+    const reconciledTargets = reconcileToolDependencies(transcript, deletedTargets);
+    // Tool reconciliation can add targets after the per-request checks above, so
+    // these post-reconcile assertions remain authoritative.
+    assertNoRecentContextDeletionTargets(transcript, reconciledTargets);
+    assertNoAssistantThinkingContentBlockDeletionTargets(transcript, reconciledTargets);
+    assertNoLatestAssistantThinkingDeletionTargets(transcript, reconciledTargets);
+    const reconciledDeletedEntryIds = getDeletedEntryIds(reconciledTargets);
+    for (const target of reconciledTargets) {
+        if (target.kind === "content_block" && reconciledDeletedEntryIds.has(target.entryId)) {
+            throw new Error(`Deletion target ${targetKey(target)} overlaps with entry deletion`);
+        }
+    }
+    const deletedContentBlocks = getDeletedContentBlocks(reconciledTargets);
+    for (const [entryId, blockIndexes] of deletedContentBlocks) {
+        const entry = entryById.get(entryId);
+        if (entry?.contentBlocks.every((block) => blockIndexes.has(block.blockIndex))) {
+            throw new Error(`Content-block deletions for ${entryId} would remove every content block`);
+        }
+    }
+    validateToolDependencies(transcript, reconciledTargets);
+    const remainingEntries = transcript.entries.filter((entry) => !reconciledDeletedEntryIds.has(entry.entryId));
+    if (remainingEntries.length === 0) {
+        throw new Error("Deletion request would remove all context entries");
+    }
+    const hasTaskBearingContext = remainingEntries.some(isTaskBearingEntry);
+    if (!hasTaskBearingContext) {
+        throw new Error("Deletion request would leave no user task in context");
+    }
+    return {
+        deletedTargets: reconciledTargets,
+        protectedEntryIds: [...transcript.protectedEntryIds],
+        stats: computeContextCompactionStats(transcript, reconciledTargets),
+    };
+}
+export function contextDeletionRequestFromObject(value, source) {
+    if (!value || typeof value !== "object" || !Array.isArray(value.deletions)) {
+        throw new Error(`${source} must contain a deletions array`);
+    }
+    return value;
+}
+//# sourceMappingURL=context-deletion-application.js.map

package/dist/core/compaction/context-deletion-application.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-deletion-application.js","sourceRoot":"","sources":["../../../src/core/compaction/context-deletion-application.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,qCAAqC,EAAE,MAAM,kCAAkC,CAAC;AACzF,OAAO,EACN,mBAAmB,EACnB,0BAA0B,EAC1B,oDAAoD,EACpD,8CAA8C,EAC9C,oCAAoC,EACpC,wBAAwB,EACxB,eAAe,EACf,iBAAiB,EACjB,wBAAwB,EACxB,4BAA4B,EAC5B,kCAAkC,EAClC,gCAAgC,EAChC,uBAAuB,EACvB,kBAAkB,EAClB,wBAAwB,EACxB,cAAc,EACd,kBAAkB,EAClB,sBAAsB,EACtB,kBAAkB,EAClB,YAAY,EACZ,SAAS,GACT,MAAM,+BAA+B,CAAC;AAEvC,IAAI,kCAAkC,GAAG,KAAK,CAAC;AAE/C,SAAS,yBAAyB,CACjC,UAAiC,EACjC,cAAgD;IAEhD,MAAM,OAAO,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC;IACpC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsC,CAAC;IAClE,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAA8B,CAAC;IACnE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAwC,CAAC;IAEtE,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;QACxC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACxC,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAC/B,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;QACD,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;YAC7D,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QACjD,CAAC;IACF,CAAC;IAED,iGAAiG;IACjG,uFAAuF;IACvF,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,IAAI,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjE,OAAO,OAAO,IAAI,eAAe,GAAG,CAAC,EAAE,CAAC;QACvC,OAAO,GAAG,KAAK,CAAC;QAChB,eAAe,IAAI,CAAC,CAAC;QACrB,IAAI,eAAe,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,oBAAoB,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAC5D,MAAM,YAAY,GAAG,CAAC,WAAoB,EAAQ,EAAE;YACnD,IAAI,CAAC,WAAW;gBAAE,OAAO;YACzB,OAAO,GAAG,IAAI,CAAC;YACf,eAAe,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;YAC9C,oBAAoB,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACzD,CAAC,CAAC;QAEF,KAAK,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,WAAW,EAAE,CAAC;YAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,oBAAoB,CAAC,CAAC;YACrG,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAEhD,IAAI,WAAW,EAAE,CAAC;gBACjB,MAAM,uBAAuB,GAAG,OAAO,CAAC,IAAI,CAC3C,CAAC,KAAK,EAAE,EAAE,CACT,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;oBACnC,CAAC,eAAe,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CACxE,CAAC;gBACF,IAAI,uBAAuB,EAAE,CAAC;oBAC7B,MAAM,oBAAoB,GAA0B,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,uBAAuB,CAAC,OAAO,EAAE,CAAC;oBAChH,IAAI,cAAc,CAAC,UAAU,EAAE,oBAAoB,CAAC,EAAE,CAAC;wBACtD,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC,CAAC;oBACrF,CAAC;oBACD,MAAM,IAAI,KAAK,CACd,kCAAkC,CACjC,UAAU,EACV,oBAAoB,EACpB,2BAA2B,MAAM,yCAAyC,uBAAuB,CAAC,OAAO,gBAAgB,CACzH,CACD,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACP,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;wBAC9B,YAAY,CAAC,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;oBAC1D,CAAC;gBACF,CAAC;YACF,CAAC;YAED,IAAI,sBAAsB,CAAC,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,oBAAoB,CAAC;gBAAE,SAAS;YAE/F,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC9B,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;oBAAE,SAAS;gBACnD,YAAY,CAAC,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;gBACzD,MAAM,eAAe,GAA0B,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC;gBAC7F,MAAM,eAAe,GAAG,qCAAqC,CAAC,SAAS,CAAC;oBACvE,CAAC,CAAC,eAAe;oBACjB,CAAC,CAAC,wBAAwB,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,eAAe,CAAC;gBAClE,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,eAAe,CAAC,EAAE,CAAC;oBACnD,IAAI,cAAc,CAAC,UAAU,EAAE,eAAe,CAAC,EAAE,CAAC;wBACjD,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC;oBAChF,CAAC;oBACD,MAAM,IAAI,KAAK,CACd,kCAAkC,CACjC,UAAU,EACV,eAAe,EACf,mCAAmC,MAAM,CAAC,OAAO,2EAA2E,MAAM,GAAG,CACrI,CACD,CAAC;gBACH,CAAC;gBACD,YAAY,CAAC,mBAAmB,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;YAC3E,CAAC;QACF,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,oBAAoB,EAAE,CAAC;YAC1C,YAAY,CAAC,wBAAwB,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;QACpE,CAAC;IACF,CAAC;IAED,IAAI,OAAO,IAAI,CAAC,kCAAkC,EAAE,CAAC;QACpD,kCAAkC,GAAG,IAAI,CAAC;QAC1C,OAAO,CAAC,IAAI,CACX,2KAA2K,UAAU,CAAC,OAAO,CAAC,MAAM,gBAAgB,WAAW,CAAC,IAAI,YAAY,OAAO,CAAC,MAAM,EAAE,CAChQ,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AAChB,CAAC;AAED,SAAS,wBAAwB,CAAC,UAAiC,EAAE,OAAyC;IAC7G,MAAM,eAAe,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAC9D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsC,CAAC;IAClE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAwC,CAAC;IAEtE,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;QACxC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACxC,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;YAC7D,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QACjD,CAAC;IACF,CAAC;IAED,KAAK,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,WAAW,EAAE,CAAC;QAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,oBAAoB,CAAC,CAAC;QACrG,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAChD,IAAI,WAAW,EAAE,CAAC;YACjB,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YACpF,IAAI,cAAc,EAAE,CAAC;gBACpB,MAAM,IAAI,KAAK,CAAC,sBAAsB,MAAM,kCAAkC,cAAc,CAAC,OAAO,WAAW,CAAC,CAAC;YAClH,CAAC;YACD,SAAS;QACV,CAAC;QAED,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAClF,IAAI,aAAa,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,8BAA8B,aAAa,CAAC,OAAO,0BAA0B,MAAM,WAAW,CAAC,CAAC;QACjH,CAAC;IACF,CAAC;AACF,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC5C,UAAiC,EACjC,OAAyC;IAEzC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,eAAe,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACpD,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,aAAa,IAAI,KAAK,CAAC,aAAa,CAAC;QACrC,cAAc,IAAI,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC;IAClD,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;YAAE,SAAS;QACrF,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU,CAAC,CAAC;QACxF,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,aAAa,IAAI,KAAK,CAAC,aAAa,CAAC;QACrC,cAAc,IAAI,CAAC,CAAC;IACrB,CAAC;IAED,MAAM,aAAa,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACrI,MAAM,YAAY,GAAG,UAAU,CAAC,YAAY,CAAC;IAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,GAAG,aAAa,CAAC,CAAC;IAC9D,MAAM,gBAAgB,GAAG,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,GAAG,WAAW,CAAC,GAAG,YAAY,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtH,OAAO;QACN,aAAa;QACb,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,GAAG,cAAc,CAAC;QACzD,cAAc;QACd,YAAY;QACZ,WAAW;QACX,gBAAgB;KAChB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,8BAA8B,CAC7C,OAA+B,EAC/B,UAAiC;IAEjC,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;IACtF,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,cAAc,GAAG,wBAAwB,CAAC,UAAU,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,cAAc,GAA4B,EAAE,CAAC;IAEnD,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QAC1C,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACpE,MAAM,IAAI,KAAK,CAAC,qCAAqC,MAAM,CAAE,QAA+B,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvG,CAAC;QACD,0BAA0B,CAAC,QAAmC,CAAC,CAAC;QAChE,IAAI,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3E,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,CAAC,KAAK,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CAAC,oCAAoC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1C,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;YAC3E,CAAC;YACD,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;YACvE,CAAC;QACF,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACvC,IAAI,OAAO,QAAQ,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;gBAClH,MAAM,IAAI,KAAK,CAAC,yCAAyC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;YAC9E,CAAC;YACD,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1C,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;YAC3E,CAAC;YACD,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;YACvE,CAAC;YACD,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU,CAAC,CAAC;YAC1F,IAAI,CAAC,KAAK,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CAAC,yBAAyB,QAAQ,CAAC,UAAU,cAAc,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/F,CAAC;YACD,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;YACvE,CAAC;YACD,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,KAAK,CAAC,sCAAsC,QAAQ,CAAC,OAAO,4BAA4B,CAAC,CAAC;YACrG,CAAC;QACF,CAAC;QAED,MAAM,GAAG,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACnC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,8BAA8B,GAAG,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACjC,CAAC;IAED,MAAM,iBAAiB,GAAG,yBAAyB,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IAChF,6EAA6E;IAC7E,wDAAwD;IACxD,oCAAoC,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;IACpE,oDAAoD,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;IACpF,8CAA8C,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;IAC9E,MAAM,yBAAyB,GAAG,kBAAkB,CAAC,iBAAiB,CAAC,CAAC;IAExE,KAAK,MAAM,MAAM,IAAI,iBAAiB,EAAE,CAAC;QACxC,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACtF,MAAM,IAAI,KAAK,CAAC,mBAAmB,SAAS,CAAC,MAAM,CAAC,+BAA+B,CAAC,CAAC;QACtF,CAAC;IACF,CAAC;IAED,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,iBAAiB,CAAC,CAAC;IACxE,KAAK,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,IAAI,oBAAoB,EAAE,CAAC;QAC5D,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YAC/E,MAAM,IAAI,KAAK,CAAC,+BAA+B,OAAO,mCAAmC,CAAC,CAAC;QAC5F,CAAC;IACF,CAAC;IAED,wBAAwB,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;IAExD,MAAM,gBAAgB,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7G,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,qBAAqB,GAAG,gBAAgB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACxE,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IACzE,CAAC;IAED,OAAO;QACN,cAAc,EAAE,iBAAiB;QACjC,iBAAiB,EAAE,CAAC,GAAG,UAAU,CAAC,iBAAiB,CAAC;QACpD,KAAK,EAAE,6BAA6B,CAAC,UAAU,EAAE,iBAAiB,CAAC;KACnE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,KAAc,EAAE,MAAc;IAC9E,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAE,KAAiC,CAAC,SAAS,CAAC,EAAE,CAAC;QACzG,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,iCAAiC,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,KAA+B,CAAC;AACxC,CAAC","sourcesContent":["import type { ContextCompactionStats, ContextDeletionTarget } from \"../session-manager.ts\";\nimport type {\n\tCompactableTranscript,\n\tCompactableTranscriptEntry,\n\tContextDeletionRequest,\n\tValidatedContextDeletionResult,\n} from \"./context-compaction-types.ts\";\nimport { assistantEntryHasThinkingContentBlock } from \"./context-transcript-analysis.ts\";\nimport {\n\taddToolCallDeletion,\n\tassertIdOnlyDeletionTarget,\n\tassertNoAssistantThinkingContentBlockDeletionTargets,\n\tassertNoLatestAssistantThinkingDeletionTargets,\n\tassertNoRecentContextDeletionTargets,\n\tcanonicalizeEntryTargets,\n\tcanDeleteTarget,\n\tdeleteEntryTarget,\n\tfirstToolCallBlockTarget,\n\tformatProtectedDeletionError,\n\tformatProtectedToolDependencyError,\n\tformatRecentContextDeletionError,\n\tgetDeletedContentBlocks,\n\tgetDeletedEntryIds,\n\tgetRecentContextEntryIds,\n\tisRecentTarget,\n\tisTaskBearingEntry,\n\tisToolCallBlockDeleted,\n\tnormalizeRawTarget,\n\trawTargetKey,\n\ttargetKey,\n} from \"./context-deletion-targets.ts\";\n\nlet warnedReconciliationNonConvergence = false;\n\nfunction reconcileToolDependencies(\n\ttranscript: CompactableTranscript,\n\tinitialTargets: readonly ContextDeletionTarget[],\n): ContextDeletionTarget[] {\n\tconst targets = [...initialTargets];\n\tconst callEntries = new Map<string, CompactableTranscriptEntry>();\n\tconst entriesWithToolCalls = new Set<CompactableTranscriptEntry>();\n\tconst resultEntries = new Map<string, CompactableTranscriptEntry[]>();\n\n\tfor (const entry of transcript.entries) {\n\t\tfor (const callId of entry.toolCallIds) {\n\t\t\tcallEntries.set(callId, entry);\n\t\t\tentriesWithToolCalls.add(entry);\n\t\t}\n\t\tif (entry.toolResultFor) {\n\t\t\tconst results = resultEntries.get(entry.toolResultFor) ?? [];\n\t\t\tresults.push(entry);\n\t\t\tresultEntries.set(entry.toolResultFor, results);\n\t\t}\n\t}\n\n\t// Bounded fixpoint repair: each pass can add/remove paired call/result targets. In practice this\n\t// converges within one or two passes; the cap protects against accidental oscillation.\n\tlet changed = true;\n\tlet remainingPasses = Math.max(1, transcript.entries.length * 2);\n\twhile (changed && remainingPasses > 0) {\n\t\tchanged = false;\n\t\tremainingPasses -= 1;\n\t\tlet deletedEntryIds = getDeletedEntryIds(targets);\n\t\tlet deletedContentBlocks = getDeletedContentBlocks(targets);\n\t\tconst recordChange = (nextChanged: boolean): void => {\n\t\t\tif (!nextChanged) return;\n\t\t\tchanged = true;\n\t\t\tdeletedEntryIds = getDeletedEntryIds(targets);\n\t\t\tdeletedContentBlocks = getDeletedContentBlocks(targets);\n\t\t};\n\n\t\tfor (const [callId, callEntry] of callEntries) {\n\t\t\tconst callDeleted = isToolCallBlockDeleted(callEntry, callId, deletedEntryIds, deletedContentBlocks);\n\t\t\tconst results = resultEntries.get(callId) ?? [];\n\n\t\t\tif (callDeleted) {\n\t\t\t\tconst retainedProtectedResult = results.find(\n\t\t\t\t\t(entry) =>\n\t\t\t\t\t\t!deletedEntryIds.has(entry.entryId) &&\n\t\t\t\t\t\t!canDeleteTarget(transcript, { kind: \"entry\", entryId: entry.entryId }),\n\t\t\t\t);\n\t\t\t\tif (retainedProtectedResult) {\n\t\t\t\t\tconst retainedResultTarget: ContextDeletionTarget = { kind: \"entry\", entryId: retainedProtectedResult.entryId };\n\t\t\t\t\tif (isRecentTarget(transcript, retainedResultTarget)) {\n\t\t\t\t\t\tthrow new Error(formatRecentContextDeletionError(transcript, retainedResultTarget));\n\t\t\t\t\t}\n\t\t\t\t\tthrow new Error(\n\t\t\t\t\t\tformatProtectedToolDependencyError(\n\t\t\t\t\t\t\ttranscript,\n\t\t\t\t\t\t\tretainedResultTarget,\n\t\t\t\t\t\t\t`Cannot delete tool call ${callId} because its paired tool result entry ${retainedProtectedResult.entryId} is protected.`,\n\t\t\t\t\t\t),\n\t\t\t\t\t);\n\t\t\t\t} else {\n\t\t\t\t\tfor (const result of results) {\n\t\t\t\t\t\trecordChange(deleteEntryTarget(targets, result.entryId));\n\t\t\t\t\t}\n\t\t\t\t}\n\t\t\t}\n\n\t\t\tif (isToolCallBlockDeleted(callEntry, callId, deletedEntryIds, deletedContentBlocks)) continue;\n\n\t\t\tfor (const result of results) {\n\t\t\t\tif (!deletedEntryIds.has(result.entryId)) continue;\n\t\t\t\trecordChange(deleteEntryTarget(targets, result.entryId));\n\t\t\t\tconst callEntryTarget: ContextDeletionTarget = { kind: \"entry\", entryId: callEntry.entryId };\n\t\t\t\tconst callBlockTarget = assistantEntryHasThinkingContentBlock(callEntry)\n\t\t\t\t\t? callEntryTarget\n\t\t\t\t\t: firstToolCallBlockTarget(callEntry, callId) ?? callEntryTarget;\n\t\t\t\tif (!canDeleteTarget(transcript, callBlockTarget)) {\n\t\t\t\t\tif (isRecentTarget(transcript, callBlockTarget)) {\n\t\t\t\t\t\tthrow new Error(formatRecentContextDeletionError(transcript, callBlockTarget));\n\t\t\t\t\t}\n\t\t\t\t\tthrow new Error(\n\t\t\t\t\t\tformatProtectedToolDependencyError(\n\t\t\t\t\t\t\ttranscript,\n\t\t\t\t\t\t\tcallBlockTarget,\n\t\t\t\t\t\t\t`Cannot delete tool result entry ${result.entryId} because that would require deleting protected tool block for tool call ${callId}.`,\n\t\t\t\t\t\t),\n\t\t\t\t\t);\n\t\t\t\t}\n\t\t\t\trecordChange(addToolCallDeletion(transcript, targets, callEntry, callId));\n\t\t\t}\n\t\t}\n\n\t\tfor (const entry of entriesWithToolCalls) {\n\t\t\trecordChange(canonicalizeEntryTargets(transcript, targets, entry));\n\t\t}\n\t}\n\n\tif (changed && !warnedReconciliationNonConvergence) {\n\t\twarnedReconciliationNonConvergence = true;\n\t\tconsole.warn(\n\t\t\t`Context compaction tool dependency reconciliation did not converge within the bounded pass limit; validation will continue with the last reconciled target set. entries=${transcript.entries.length} callEntries=${callEntries.size} targets=${targets.length}`,\n\t\t);\n\t}\n\n\treturn targets;\n}\n\nfunction validateToolDependencies(transcript: CompactableTranscript, targets: readonly ContextDeletionTarget[]): void {\n\tconst deletedEntryIds = getDeletedEntryIds(targets);\n\tconst deletedContentBlocks = getDeletedContentBlocks(targets);\n\tconst callEntries = new Map<string, CompactableTranscriptEntry>();\n\tconst resultEntries = new Map<string, CompactableTranscriptEntry[]>();\n\n\tfor (const entry of transcript.entries) {\n\t\tfor (const callId of entry.toolCallIds) {\n\t\t\tcallEntries.set(callId, entry);\n\t\t}\n\t\tif (entry.toolResultFor) {\n\t\t\tconst results = resultEntries.get(entry.toolResultFor) ?? [];\n\t\t\tresults.push(entry);\n\t\t\tresultEntries.set(entry.toolResultFor, results);\n\t\t}\n\t}\n\n\tfor (const [callId, callEntry] of callEntries) {\n\t\tconst callDeleted = isToolCallBlockDeleted(callEntry, callId, deletedEntryIds, deletedContentBlocks);\n\t\tconst results = resultEntries.get(callId) ?? [];\n\t\tif (callDeleted) {\n\t\t\tconst danglingResult = results.find((entry) => !deletedEntryIds.has(entry.entryId));\n\t\t\tif (danglingResult) {\n\t\t\t\tthrow new Error(`Deleting tool call ${callId} would leave tool result entry ${danglingResult.entryId} orphaned`);\n\t\t\t}\n\t\t\tcontinue;\n\t\t}\n\n\t\tconst deletedResult = results.find((entry) => deletedEntryIds.has(entry.entryId));\n\t\tif (deletedResult) {\n\t\t\tthrow new Error(`Deleting tool result entry ${deletedResult.entryId} would leave tool call ${callId} dangling`);\n\t\t}\n\t}\n}\n\nexport function computeContextCompactionStats(\n\ttranscript: CompactableTranscript,\n\ttargets: readonly ContextDeletionTarget[],\n): ContextCompactionStats {\n\tconst entryById = new Map(transcript.entries.map((entry) => [entry.entryId, entry]));\n\tconst deletedEntryIds = getDeletedEntryIds(targets);\n\tlet deletedTokens = 0;\n\tlet objectsDeleted = 0;\n\n\tfor (const entryId of deletedEntryIds) {\n\t\tconst entry = entryById.get(entryId);\n\t\tif (!entry) continue;\n\t\tdeletedTokens += entry.tokenEstimate;\n\t\tobjectsDeleted += 1 + entry.contentBlocks.length;\n\t}\n\n\tfor (const target of targets) {\n\t\tif (target.kind !== \"content_block\" || deletedEntryIds.has(target.entryId)) continue;\n\t\tconst entry = entryById.get(target.entryId);\n\t\tif (!entry) continue;\n\t\tconst block = entry.contentBlocks.find((item) => item.blockIndex === target.blockIndex);\n\t\tif (!block) continue;\n\t\tdeletedTokens += block.tokenEstimate;\n\t\tobjectsDeleted += 1;\n\t}\n\n\tconst objectsBefore = transcript.entries.length + transcript.entries.reduce((total, entry) => total + entry.contentBlocks.length, 0);\n\tconst tokensBefore = transcript.tokensBefore;\n\tconst tokensAfter = Math.max(0, tokensBefore - deletedTokens);\n\tconst percentReduction = tokensBefore > 0 ? Math.round(((tokensBefore - tokensAfter) / tokensBefore) * 1000) / 10 : 0;\n\treturn {\n\t\tobjectsBefore,\n\t\tobjectsAfter: Math.max(0, objectsBefore - objectsDeleted),\n\t\tobjectsDeleted,\n\t\ttokensBefore,\n\t\ttokensAfter,\n\t\tpercentReduction,\n\t};\n}\n\n/**\n * An entry \"bears task context\" when it carries the user's intent for the session: a real `user`\n * message, an extension-injected `custom` message, or a branch summary (`branchSummary` role /\n * `branch_summary` entry type) that recaps an earlier branch's task.\n *\n * Verbatim compaction must always leave at least one task-bearing entry in context.\n */\nexport function validateContextDeletionRequest(\n\trequest: ContextDeletionRequest,\n\ttranscript: CompactableTranscript,\n): ValidatedContextDeletionResult {\n\tif (!request || typeof request !== \"object\" || !Array.isArray(request.deletions)) {\n\t\tthrow new Error(\"Context deletion request must be an object with a deletions array\");\n\t}\n\n\tconst entryById = new Map(transcript.entries.map((entry) => [entry.entryId, entry]));\n\tconst recentEntryIds = getRecentContextEntryIds(transcript);\n\tconst seen = new Set<string>();\n\tconst deletedTargets: ContextDeletionTarget[] = [];\n\n\tfor (const deletion of request.deletions) {\n\t\tif (!deletion || typeof deletion !== \"object\") {\n\t\t\tthrow new Error(\"Deletion target must be an object\");\n\t\t}\n\t\tif (deletion.kind !== \"entry\" && deletion.kind !== \"content_block\") {\n\t\t\tthrow new Error(`Unsupported deletion target kind: ${String((deletion as { kind?: unknown }).kind)}`);\n\t\t}\n\t\tassertIdOnlyDeletionTarget(deletion as Record<string, unknown>);\n\t\tif (typeof deletion.entryId !== \"string\" || deletion.entryId.length === 0) {\n\t\t\tthrow new Error(\"Deletion target entryId must be a non-empty string\");\n\t\t}\n\t\tconst entry = entryById.get(deletion.entryId);\n\t\tif (!entry) {\n\t\t\tthrow new Error(`Unknown deletion target entryId: ${deletion.entryId}`);\n\t\t}\n\t\tconst normalized = normalizeRawTarget(deletion);\n\t\tif (deletion.kind === \"entry\") {\n\t\t\tif (recentEntryIds.has(deletion.entryId)) {\n\t\t\t\tthrow new Error(formatRecentContextDeletionError(transcript, normalized));\n\t\t\t}\n\t\t\tif (entry.protected) {\n\t\t\t\tthrow new Error(formatProtectedDeletionError(transcript, normalized));\n\t\t\t}\n\t\t}\n\t\tif (deletion.kind === \"content_block\") {\n\t\t\tif (typeof deletion.blockIndex !== \"number\" || !Number.isInteger(deletion.blockIndex) || deletion.blockIndex < 0) {\n\t\t\t\tthrow new Error(`Invalid content block index for entry ${deletion.entryId}`);\n\t\t\t}\n\t\t\tif (recentEntryIds.has(deletion.entryId)) {\n\t\t\t\tthrow new Error(formatRecentContextDeletionError(transcript, normalized));\n\t\t\t}\n\t\t\tif (entry.protected) {\n\t\t\t\tthrow new Error(formatProtectedDeletionError(transcript, normalized));\n\t\t\t}\n\t\t\tconst block = entry.contentBlocks.find((item) => item.blockIndex === deletion.blockIndex);\n\t\t\tif (!block) {\n\t\t\t\tthrow new Error(`Unknown content block ${deletion.blockIndex} for entry ${deletion.entryId}`);\n\t\t\t}\n\t\t\tif (block.protected) {\n\t\t\t\tthrow new Error(formatProtectedDeletionError(transcript, normalized));\n\t\t\t}\n\t\t\tif (entry.contentBlocks.length <= 1) {\n\t\t\t\tthrow new Error(`Deleting the only content block of ${deletion.entryId} must be an entry deletion`);\n\t\t\t}\n\t\t}\n\n\t\tconst key = rawTargetKey(deletion);\n\t\tif (seen.has(key)) {\n\t\t\tthrow new Error(`Duplicate deletion target: ${key}`);\n\t\t}\n\t\tseen.add(key);\n\t\tdeletedTargets.push(normalized);\n\t}\n\n\tconst reconciledTargets = reconcileToolDependencies(transcript, deletedTargets);\n\t// Tool reconciliation can add targets after the per-request checks above, so\n\t// these post-reconcile assertions remain authoritative.\n\tassertNoRecentContextDeletionTargets(transcript, reconciledTargets);\n\tassertNoAssistantThinkingContentBlockDeletionTargets(transcript, reconciledTargets);\n\tassertNoLatestAssistantThinkingDeletionTargets(transcript, reconciledTargets);\n\tconst reconciledDeletedEntryIds = getDeletedEntryIds(reconciledTargets);\n\n\tfor (const target of reconciledTargets) {\n\t\tif (target.kind === \"content_block\" && reconciledDeletedEntryIds.has(target.entryId)) {\n\t\t\tthrow new Error(`Deletion target ${targetKey(target)} overlaps with entry deletion`);\n\t\t}\n\t}\n\n\tconst deletedContentBlocks = getDeletedContentBlocks(reconciledTargets);\n\tfor (const [entryId, blockIndexes] of deletedContentBlocks) {\n\t\tconst entry = entryById.get(entryId);\n\t\tif (entry?.contentBlocks.every((block) => blockIndexes.has(block.blockIndex))) {\n\t\t\tthrow new Error(`Content-block deletions for ${entryId} would remove every content block`);\n\t\t}\n\t}\n\n\tvalidateToolDependencies(transcript, reconciledTargets);\n\n\tconst remainingEntries = transcript.entries.filter((entry) => !reconciledDeletedEntryIds.has(entry.entryId));\n\tif (remainingEntries.length === 0) {\n\t\tthrow new Error(\"Deletion request would remove all context entries\");\n\t}\n\tconst hasTaskBearingContext = remainingEntries.some(isTaskBearingEntry);\n\tif (!hasTaskBearingContext) {\n\t\tthrow new Error(\"Deletion request would leave no user task in context\");\n\t}\n\n\treturn {\n\t\tdeletedTargets: reconciledTargets,\n\t\tprotectedEntryIds: [...transcript.protectedEntryIds],\n\t\tstats: computeContextCompactionStats(transcript, reconciledTargets),\n\t};\n}\n\nexport function contextDeletionRequestFromObject(value: unknown, source: string): ContextDeletionRequest {\n\tif (!value || typeof value !== \"object\" || !Array.isArray((value as { deletions?: unknown }).deletions)) {\n\t\tthrow new Error(`${source} must contain a deletions array`);\n\t}\n\treturn value as ContextDeletionRequest;\n}\n\n"]}

package/dist/core/compaction/context-deletion-store.d.ts

@@ -0,0 +1,78 @@
+import type { AgentMessage } from "@earendil-works/pi-agent-core";
+import type { ContextDeletionTarget } from "../session-manager.ts";
+import type { CompactableTranscript } from "./context-compaction-types.ts";
+export interface EntryTextRow {
+    entry_id: string;
+    text: string;
+    is_protected: number;
+    has_assistant_thinking_blocks: number;
+}
+export interface EntryReadRow extends EntryTextRow {
+    role: string;
+    token_estimate: number;
+}
+export interface ContentBlockTextRow {
+    entry_id: string;
+    block_index: number;
+    role: AgentMessage["role"];
+    type: string;
+    text: string;
+    entry_protected: number;
+    block_protected: number;
+    block_count: number;
+    has_assistant_thinking_blocks: number;
+}
+export interface ContentBlockReadRow extends ContentBlockTextRow {
+    token_estimate: number;
+}
+export interface StoredTranscriptEntry {
+    entryId: string;
+    role: AgentMessage["role"];
+    protected: boolean;
+    hasAssistantThinkingBlocks: boolean;
+    tokenEstimate: number;
+    text: string;
+}
+export interface StoredContentBlock {
+    entryPosition: number;
+    entryId: string;
+    blockIndex: number;
+    role: AgentMessage["role"];
+    type: string;
+    protected: boolean;
+    hasAssistantThinkingBlocks: boolean;
+    tokenEstimate: number;
+    text: string;
+}
+export interface ContextDeletionMemorySnapshot {
+    deletionTargets: ContextDeletionTarget[];
+    callCount: number;
+    lastError?: string;
+}
+export declare class ContextDeletionMemoryStore {
+    private readonly entries;
+    private readonly entriesById;
+    private readonly contentBlocks;
+    private readonly contentBlockCountByEntryId;
+    private deletionTargets;
+    private callCount;
+    private lastError;
+    constructor(transcript: CompactableTranscript);
+    transaction<T>(operation: () => T): T;
+    readTargets(): ContextDeletionTarget[];
+    replaceTargets(targets: readonly ContextDeletionTarget[]): void;
+    listEntriesForGrep(): EntryTextRow[];
+    listContentBlocksForGrep(): ContentBlockTextRow[];
+    getEntryForRead(entryId: string): EntryReadRow | undefined;
+    getContentBlockForRead(entryId: string, blockIndex: number): ContentBlockReadRow | undefined;
+    getGrepScanTextLength(target: "entry" | "content_block"): number;
+    incrementCallCount(): number;
+    getCallCount(): number;
+    setLastError(message: string): void;
+    clearLastError(): void;
+    getLastError(): string | undefined;
+    private snapshot;
+    private restore;
+}
+export declare function createContextDeletionStore(transcript: CompactableTranscript): ContextDeletionMemoryStore;
+//# sourceMappingURL=context-deletion-store.d.ts.map

package/dist/core/compaction/context-deletion-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-deletion-store.d.ts","sourceRoot":"","sources":["../../../src/core/compaction/context-deletion-store.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAG3E,MAAM,WAAW,YAAY;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,6BAA6B,EAAE,MAAM,CAAC;CACtC;AAED,MAAM,WAAW,YAAa,SAAQ,YAAY;IACjD,IAAI,EAAE,MAAM,CAAC;IACb,cAAc,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,mBAAmB;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,6BAA6B,EAAE,MAAM,CAAC;CACtC;AAED,MAAM,WAAW,mBAAoB,SAAQ,mBAAmB;IAC/D,cAAc,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,qBAAqB;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IAC3B,SAAS,EAAE,OAAO,CAAC;IACnB,0BAA0B,EAAE,OAAO,CAAC;IACpC,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,kBAAkB;IAClC,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,OAAO,CAAC;IACnB,0BAA0B,EAAE,OAAO,CAAC;IACpC,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,6BAA6B;IAC7C,eAAe,EAAE,qBAAqB,EAAE,CAAC;IACzC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;CACnB;AAQD,qBAAa,0BAA0B;IACtC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA0B;IAClD,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAqC;IACjE,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAuB;IACrD,OAAO,CAAC,QAAQ,CAAC,0BAA0B,CAAsB;IACjE,OAAO,CAAC,eAAe,CAA+B;IACtD,OAAO,CAAC,SAAS,CAAK;IACtB,OAAO,CAAC,SAAS,CAAqB;IAEtC,YAAY,UAAU,EAAE,qBAAqB,EA8C5C;IAED,WAAW,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,CAQpC;IAED,WAAW,IAAI,qBAAqB,EAAE,CAErC;IAED,cAAc,CAAC,OAAO,EAAE,SAAS,qBAAqB,EAAE,GAAG,IAAI,CAE9D;IAED,kBAAkB,IAAI,YAAY,EAAE,CAOnC;IAED,wBAAwB,IAAI,mBAAmB,EAAE,CAchD;IAED,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAWzD;IAED,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,mBAAmB,GAAG,SAAS,CAe3F;IAED,qBAAqB,CAAC,MAAM,EAAE,OAAO,GAAG,eAAe,GAAG,MAAM,CAG/D;IAED,kBAAkB,IAAI,MAAM,CAG3B;IAED,YAAY,IAAI,MAAM,CAErB;IAED,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAElC;IAED,cAAc,IAAI,IAAI,CAErB;IAED,YAAY,IAAI,MAAM,GAAG,SAAS,CAEjC;IAED,OAAO,CAAC,QAAQ;IAQhB,OAAO,CAAC,OAAO;CAKf;AAED,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,qBAAqB,GAAG,0BAA0B,CAExG","sourcesContent":["import type { AgentMessage } from \"@earendil-works/pi-agent-core\";\nimport type { ContextDeletionTarget } from \"../session-manager.ts\";\nimport type { CompactableTranscript } from \"./context-compaction-types.ts\";\nimport { assistantEntryHasThinkingContentBlock } from \"./context-transcript-analysis.ts\";\n\nexport interface EntryTextRow {\n\tentry_id: string;\n\ttext: string;\n\tis_protected: number;\n\thas_assistant_thinking_blocks: number;\n}\n\nexport interface EntryReadRow extends EntryTextRow {\n\trole: string;\n\ttoken_estimate: number;\n}\n\nexport interface ContentBlockTextRow {\n\tentry_id: string;\n\tblock_index: number;\n\trole: AgentMessage[\"role\"];\n\ttype: string;\n\ttext: string;\n\tentry_protected: number;\n\tblock_protected: number;\n\tblock_count: number;\n\thas_assistant_thinking_blocks: number;\n}\n\nexport interface ContentBlockReadRow extends ContentBlockTextRow {\n\ttoken_estimate: number;\n}\n\nexport interface StoredTranscriptEntry {\n\tentryId: string;\n\trole: AgentMessage[\"role\"];\n\tprotected: boolean;\n\thasAssistantThinkingBlocks: boolean;\n\ttokenEstimate: number;\n\ttext: string;\n}\n\nexport interface StoredContentBlock {\n\tentryPosition: number;\n\tentryId: string;\n\tblockIndex: number;\n\trole: AgentMessage[\"role\"];\n\ttype: string;\n\tprotected: boolean;\n\thasAssistantThinkingBlocks: boolean;\n\ttokenEstimate: number;\n\ttext: string;\n}\n\nexport interface ContextDeletionMemorySnapshot {\n\tdeletionTargets: ContextDeletionTarget[];\n\tcallCount: number;\n\tlastError?: string;\n}\n\nfunction copyDeletionTarget(target: ContextDeletionTarget): ContextDeletionTarget {\n\treturn target.kind === \"entry\"\n\t\t? { kind: \"entry\", entryId: target.entryId }\n\t\t: { kind: \"content_block\", entryId: target.entryId, blockIndex: target.blockIndex };\n}\n\nexport class ContextDeletionMemoryStore {\n\tprivate readonly entries: StoredTranscriptEntry[];\n\tprivate readonly entriesById: Map<string, StoredTranscriptEntry>;\n\tprivate readonly contentBlocks: StoredContentBlock[];\n\tprivate readonly contentBlockCountByEntryId: Map<string, number>;\n\tprivate deletionTargets: ContextDeletionTarget[] = [];\n\tprivate callCount = 0;\n\tprivate lastError: string | undefined;\n\n\tconstructor(transcript: CompactableTranscript) {\n\t\tconst entryIds = new Set<string>();\n\t\tconst blockKeys = new Set<string>();\n\t\tthis.entries = transcript.entries.map((entry) => {\n\t\t\tif (entryIds.has(entry.entryId)) {\n\t\t\t\tthrow new Error(`Duplicate transcript entry id: ${entry.entryId}`);\n\t\t\t}\n\t\t\tentryIds.add(entry.entryId);\n\t\t\treturn {\n\t\t\t\tentryId: entry.entryId,\n\t\t\t\trole: entry.role,\n\t\t\t\tprotected: entry.protected,\n\t\t\t\thasAssistantThinkingBlocks: assistantEntryHasThinkingContentBlock(entry),\n\t\t\t\ttokenEstimate: entry.tokenEstimate,\n\t\t\t\ttext: entry.text,\n\t\t\t};\n\t\t});\n\t\tthis.entriesById = new Map<string, StoredTranscriptEntry>(this.entries.map((entry) => [entry.entryId, entry] as const));\n\t\tthis.contentBlocks = transcript.entries.flatMap((entry, entryPosition) => {\n\t\t\tconst hasAssistantThinkingBlocks = assistantEntryHasThinkingContentBlock(entry);\n\t\t\treturn entry.contentBlocks.map((block) => {\n\t\t\t\tif (block.entryId !== entry.entryId) {\n\t\t\t\t\tthrow new Error(`Transcript content block ${block.entryId}:${block.blockIndex} does not belong to entry ${entry.entryId}`);\n\t\t\t\t}\n\t\t\t\tconst blockKey = `${block.entryId}:${block.blockIndex}`;\n\t\t\t\tif (blockKeys.has(blockKey)) {\n\t\t\t\t\tthrow new Error(`Duplicate transcript content block: ${blockKey}`);\n\t\t\t\t}\n\t\t\t\tblockKeys.add(blockKey);\n\t\t\t\treturn {\n\t\t\t\t\tentryPosition,\n\t\t\t\t\tentryId: block.entryId,\n\t\t\t\t\tblockIndex: block.blockIndex,\n\t\t\t\t\trole: entry.role,\n\t\t\t\t\ttype: block.type,\n\t\t\t\t\tprotected: block.protected,\n\t\t\t\t\thasAssistantThinkingBlocks,\n\t\t\t\t\ttokenEstimate: block.tokenEstimate,\n\t\t\t\t\ttext: block.text,\n\t\t\t\t};\n\t\t\t});\n\t\t});\n\t\tthis.contentBlockCountByEntryId = new Map();\n\t\tfor (const block of this.contentBlocks) {\n\t\t\tthis.contentBlockCountByEntryId.set(block.entryId, (this.contentBlockCountByEntryId.get(block.entryId) ?? 0) + 1);\n\t\t}\n\t}\n\n\ttransaction<T>(operation: () => T): T {\n\t\tconst snapshot = this.snapshot();\n\t\ttry {\n\t\t\treturn operation();\n\t\t} catch (error) {\n\t\t\tthis.restore(snapshot);\n\t\t\tthrow error;\n\t\t}\n\t}\n\n\treadTargets(): ContextDeletionTarget[] {\n\t\treturn this.deletionTargets.map(copyDeletionTarget);\n\t}\n\n\treplaceTargets(targets: readonly ContextDeletionTarget[]): void {\n\t\tthis.deletionTargets = targets.map(copyDeletionTarget);\n\t}\n\n\tlistEntriesForGrep(): EntryTextRow[] {\n\t\treturn this.entries.map((entry) => ({\n\t\t\tentry_id: entry.entryId,\n\t\t\ttext: entry.text,\n\t\t\tis_protected: entry.protected ? 1 : 0,\n\t\t\thas_assistant_thinking_blocks: entry.hasAssistantThinkingBlocks ? 1 : 0,\n\t\t}));\n\t}\n\n\tlistContentBlocksForGrep(): ContentBlockTextRow[] {\n\t\treturn [...this.contentBlocks]\n\t\t\t.sort((a, b) => a.entryPosition - b.entryPosition || a.blockIndex - b.blockIndex)\n\t\t\t.map((block) => ({\n\t\t\t\tentry_id: block.entryId,\n\t\t\t\tblock_index: block.blockIndex,\n\t\t\t\trole: block.role,\n\t\t\t\ttype: block.type,\n\t\t\t\ttext: block.text,\n\t\t\t\tentry_protected: this.entriesById.get(block.entryId)?.protected ? 1 : 0,\n\t\t\t\tblock_protected: block.protected ? 1 : 0,\n\t\t\t\tblock_count: this.contentBlockCountByEntryId.get(block.entryId) ?? 0,\n\t\t\t\thas_assistant_thinking_blocks: block.hasAssistantThinkingBlocks ? 1 : 0,\n\t\t\t}));\n\t}\n\n\tgetEntryForRead(entryId: string): EntryReadRow | undefined {\n\t\tconst entry = this.entriesById.get(entryId);\n\t\tif (!entry) return undefined;\n\t\treturn {\n\t\t\tentry_id: entry.entryId,\n\t\t\trole: entry.role,\n\t\t\tis_protected: entry.protected ? 1 : 0,\n\t\t\thas_assistant_thinking_blocks: entry.hasAssistantThinkingBlocks ? 1 : 0,\n\t\t\ttoken_estimate: entry.tokenEstimate,\n\t\t\ttext: entry.text,\n\t\t};\n\t}\n\n\tgetContentBlockForRead(entryId: string, blockIndex: number): ContentBlockReadRow | undefined {\n\t\tconst block = this.contentBlocks.find((candidate) => candidate.entryId === entryId && candidate.blockIndex === blockIndex);\n\t\tif (!block) return undefined;\n\t\treturn {\n\t\t\tentry_id: block.entryId,\n\t\t\tblock_index: block.blockIndex,\n\t\t\trole: block.role,\n\t\t\ttype: block.type,\n\t\t\ttoken_estimate: block.tokenEstimate,\n\t\t\ttext: block.text,\n\t\t\tentry_protected: this.entriesById.get(block.entryId)?.protected ? 1 : 0,\n\t\t\tblock_protected: block.protected ? 1 : 0,\n\t\t\tblock_count: this.contentBlockCountByEntryId.get(block.entryId) ?? 0,\n\t\t\thas_assistant_thinking_blocks: block.hasAssistantThinkingBlocks ? 1 : 0,\n\t\t};\n\t}\n\n\tgetGrepScanTextLength(target: \"entry\" | \"content_block\"): number {\n\t\tconst texts = target === \"entry\" ? this.entries : this.contentBlocks;\n\t\treturn texts.reduce((sum, item) => sum + item.text.length, 0);\n\t}\n\n\tincrementCallCount(): number {\n\t\tthis.callCount += 1;\n\t\treturn this.callCount;\n\t}\n\n\tgetCallCount(): number {\n\t\treturn this.callCount;\n\t}\n\n\tsetLastError(message: string): void {\n\t\tthis.lastError = message;\n\t}\n\n\tclearLastError(): void {\n\t\tthis.lastError = undefined;\n\t}\n\n\tgetLastError(): string | undefined {\n\t\treturn this.lastError;\n\t}\n\n\tprivate snapshot(): ContextDeletionMemorySnapshot {\n\t\treturn {\n\t\t\tdeletionTargets: this.readTargets(),\n\t\t\tcallCount: this.callCount,\n\t\t\t...(this.lastError === undefined ? {} : { lastError: this.lastError }),\n\t\t};\n\t}\n\n\tprivate restore(snapshot: ContextDeletionMemorySnapshot): void {\n\t\tthis.deletionTargets = snapshot.deletionTargets.map(copyDeletionTarget);\n\t\tthis.callCount = snapshot.callCount;\n\t\tthis.lastError = snapshot.lastError;\n\t}\n}\n\nexport function createContextDeletionStore(transcript: CompactableTranscript): ContextDeletionMemoryStore {\n\treturn new ContextDeletionMemoryStore(transcript);\n}\n"]}

package/dist/core/compaction/context-deletion-store.js

@@ -0,0 +1,162 @@
+import { assistantEntryHasThinkingContentBlock } from "./context-transcript-analysis.js";
+function copyDeletionTarget(target) {
+    return target.kind === "entry"
+        ? { kind: "entry", entryId: target.entryId }
+        : { kind: "content_block", entryId: target.entryId, blockIndex: target.blockIndex };
+}
+export class ContextDeletionMemoryStore {
+    constructor(transcript) {
+        this.deletionTargets = [];
+        this.callCount = 0;
+        const entryIds = new Set();
+        const blockKeys = new Set();
+        this.entries = transcript.entries.map((entry) => {
+            if (entryIds.has(entry.entryId)) {
+                throw new Error(`Duplicate transcript entry id: ${entry.entryId}`);
+            }
+            entryIds.add(entry.entryId);
+            return {
+                entryId: entry.entryId,
+                role: entry.role,
+                protected: entry.protected,
+                hasAssistantThinkingBlocks: assistantEntryHasThinkingContentBlock(entry),
+                tokenEstimate: entry.tokenEstimate,
+                text: entry.text,
+            };
+        });
+        this.entriesById = new Map(this.entries.map((entry) => [entry.entryId, entry]));
+        this.contentBlocks = transcript.entries.flatMap((entry, entryPosition) => {
+            const hasAssistantThinkingBlocks = assistantEntryHasThinkingContentBlock(entry);
+            return entry.contentBlocks.map((block) => {
+                if (block.entryId !== entry.entryId) {
+                    throw new Error(`Transcript content block ${block.entryId}:${block.blockIndex} does not belong to entry ${entry.entryId}`);
+                }
+                const blockKey = `${block.entryId}:${block.blockIndex}`;
+                if (blockKeys.has(blockKey)) {
+                    throw new Error(`Duplicate transcript content block: ${blockKey}`);
+                }
+                blockKeys.add(blockKey);
+                return {
+                    entryPosition,
+                    entryId: block.entryId,
+                    blockIndex: block.blockIndex,
+                    role: entry.role,
+                    type: block.type,
+                    protected: block.protected,
+                    hasAssistantThinkingBlocks,
+                    tokenEstimate: block.tokenEstimate,
+                    text: block.text,
+                };
+            });
+        });
+        this.contentBlockCountByEntryId = new Map();
+        for (const block of this.contentBlocks) {
+            this.contentBlockCountByEntryId.set(block.entryId, (this.contentBlockCountByEntryId.get(block.entryId) ?? 0) + 1);
+        }
+    }
+    transaction(operation) {
+        const snapshot = this.snapshot();
+        try {
+            return operation();
+        }
+        catch (error) {
+            this.restore(snapshot);
+            throw error;
+        }
+    }
+    readTargets() {
+        return this.deletionTargets.map(copyDeletionTarget);
+    }
+    replaceTargets(targets) {
+        this.deletionTargets = targets.map(copyDeletionTarget);
+    }
+    listEntriesForGrep() {
+        return this.entries.map((entry) => ({
+            entry_id: entry.entryId,
+            text: entry.text,
+            is_protected: entry.protected ? 1 : 0,
+            has_assistant_thinking_blocks: entry.hasAssistantThinkingBlocks ? 1 : 0,
+        }));
+    }
+    listContentBlocksForGrep() {
+        return [...this.contentBlocks]
+            .sort((a, b) => a.entryPosition - b.entryPosition || a.blockIndex - b.blockIndex)
+            .map((block) => ({
+            entry_id: block.entryId,
+            block_index: block.blockIndex,
+            role: block.role,
+            type: block.type,
+            text: block.text,
+            entry_protected: this.entriesById.get(block.entryId)?.protected ? 1 : 0,
+            block_protected: block.protected ? 1 : 0,
+            block_count: this.contentBlockCountByEntryId.get(block.entryId) ?? 0,
+            has_assistant_thinking_blocks: block.hasAssistantThinkingBlocks ? 1 : 0,
+        }));
+    }
+    getEntryForRead(entryId) {
+        const entry = this.entriesById.get(entryId);
+        if (!entry)
+            return undefined;
+        return {
+            entry_id: entry.entryId,
+            role: entry.role,
+            is_protected: entry.protected ? 1 : 0,
+            has_assistant_thinking_blocks: entry.hasAssistantThinkingBlocks ? 1 : 0,
+            token_estimate: entry.tokenEstimate,
+            text: entry.text,
+        };
+    }
+    getContentBlockForRead(entryId, blockIndex) {
+        const block = this.contentBlocks.find((candidate) => candidate.entryId === entryId && candidate.blockIndex === blockIndex);
+        if (!block)
+            return undefined;
+        return {
+            entry_id: block.entryId,
+            block_index: block.blockIndex,
+            role: block.role,
+            type: block.type,
+            token_estimate: block.tokenEstimate,
+            text: block.text,
+            entry_protected: this.entriesById.get(block.entryId)?.protected ? 1 : 0,
+            block_protected: block.protected ? 1 : 0,
+            block_count: this.contentBlockCountByEntryId.get(block.entryId) ?? 0,
+            has_assistant_thinking_blocks: block.hasAssistantThinkingBlocks ? 1 : 0,
+        };
+    }
+    getGrepScanTextLength(target) {
+        const texts = target === "entry" ? this.entries : this.contentBlocks;
+        return texts.reduce((sum, item) => sum + item.text.length, 0);
+    }
+    incrementCallCount() {
+        this.callCount += 1;
+        return this.callCount;
+    }
+    getCallCount() {
+        return this.callCount;
+    }
+    setLastError(message) {
+        this.lastError = message;
+    }
+    clearLastError() {
+        this.lastError = undefined;
+    }
+    getLastError() {
+        return this.lastError;
+    }
+    snapshot() {
+        return {
+            deletionTargets: this.readTargets(),
+            callCount: this.callCount,
+            ...(this.lastError === undefined ? {} : { lastError: this.lastError }),
+        };
+    }
+    restore(snapshot) {
+        this.deletionTargets = snapshot.deletionTargets.map(copyDeletionTarget);
+        this.callCount = snapshot.callCount;
+        this.lastError = snapshot.lastError;
+    }
+}
+export function createContextDeletionStore(transcript) {
+    return new ContextDeletionMemoryStore(transcript);
+}
+//# sourceMappingURL=context-deletion-store.js.map

package/dist/core/compaction/context-deletion-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-deletion-store.js","sourceRoot":"","sources":["../../../src/core/compaction/context-deletion-store.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,qCAAqC,EAAE,MAAM,kCAAkC,CAAC;AAyDzF,SAAS,kBAAkB,CAAC,MAA6B;IACxD,OAAO,MAAM,CAAC,IAAI,KAAK,OAAO;QAC7B,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE;QAC5C,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC;AACtF,CAAC;AAED,MAAM,OAAO,0BAA0B;IAStC,YAAY,UAAiC;QAJrC,oBAAe,GAA4B,EAAE,CAAC;QAC9C,cAAS,GAAG,CAAC,CAAC;QAIrB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QACpC,IAAI,CAAC,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/C,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBACjC,MAAM,IAAI,KAAK,CAAC,kCAAkC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACpE,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC5B,OAAO;gBACN,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,0BAA0B,EAAE,qCAAqC,CAAC,KAAK,CAAC;gBACxE,aAAa,EAAE,KAAK,CAAC,aAAa;gBAClC,IAAI,EAAE,KAAK,CAAC,IAAI;aAChB,CAAC;QACH,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,CAAgC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAU,CAAC,CAAC,CAAC;QACxH,IAAI,CAAC,aAAa,GAAG,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,aAAa,EAAE,EAAE;YACxE,MAAM,0BAA0B,GAAG,qCAAqC,CAAC,KAAK,CAAC,CAAC;YAChF,OAAO,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gBACxC,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;oBACrC,MAAM,IAAI,KAAK,CAAC,4BAA4B,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,UAAU,6BAA6B,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5H,CAAC;gBACD,MAAM,QAAQ,GAAG,GAAG,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACxD,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC7B,MAAM,IAAI,KAAK,CAAC,uCAAuC,QAAQ,EAAE,CAAC,CAAC;gBACpE,CAAC;gBACD,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACxB,OAAO;oBACN,aAAa;oBACb,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,UAAU,EAAE,KAAK,CAAC,UAAU;oBAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,0BAA0B;oBAC1B,aAAa,EAAE,KAAK,CAAC,aAAa;oBAClC,IAAI,EAAE,KAAK,CAAC,IAAI;iBAChB,CAAC;YACH,CAAC,CAAC,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,0BAA0B,GAAG,IAAI,GAAG,EAAE,CAAC;QAC5C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACxC,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACnH,CAAC;IACF,CAAC;IAED,WAAW,CAAI,SAAkB;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QACjC,IAAI,CAAC;YACJ,OAAO,SAAS,EAAE,CAAC;QACpB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YACvB,MAAM,KAAK,CAAC;QACb,CAAC;IACF,CAAC;IAED,WAAW;QACV,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IACrD,CAAC;IAED,cAAc,CAAC,OAAyC;QACvD,IAAI,CAAC,eAAe,GAAG,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IACxD,CAAC;IAED,kBAAkB;QACjB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACnC,QAAQ,EAAE,KAAK,CAAC,OAAO;YACvB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,YAAY,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrC,6BAA6B,EAAE,KAAK,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACvE,CAAC,CAAC,CAAC;IACL,CAAC;IAED,wBAAwB;QACvB,OAAO,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC;aAC5B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;aAChF,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAChB,QAAQ,EAAE,KAAK,CAAC,OAAO;YACvB,WAAW,EAAE,KAAK,CAAC,UAAU;YAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,eAAe,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,eAAe,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,WAAW,EAAE,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YACpE,6BAA6B,EAAE,KAAK,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACvE,CAAC,CAAC,CAAC;IACN,CAAC;IAED,eAAe,CAAC,OAAe;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,OAAO;YACN,QAAQ,EAAE,KAAK,CAAC,OAAO;YACvB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,YAAY,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrC,6BAA6B,EAAE,KAAK,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,cAAc,EAAE,KAAK,CAAC,aAAa;YACnC,IAAI,EAAE,KAAK,CAAC,IAAI;SAChB,CAAC;IACH,CAAC;IAED,sBAAsB,CAAC,OAAe,EAAE,UAAkB;QACzD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,KAAK,OAAO,IAAI,SAAS,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;QAC3H,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,OAAO;YACN,QAAQ,EAAE,KAAK,CAAC,OAAO;YACvB,WAAW,EAAE,KAAK,CAAC,UAAU;YAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,cAAc,EAAE,KAAK,CAAC,aAAa;YACnC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,eAAe,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,eAAe,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,WAAW,EAAE,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YACpE,6BAA6B,EAAE,KAAK,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACvE,CAAC;IACH,CAAC;IAED,qBAAqB,CAAC,MAAiC;QACtD,MAAM,KAAK,GAAG,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC;QACrE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,kBAAkB;QACjB,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC;QACpB,OAAO,IAAI,CAAC,SAAS,CAAC;IACvB,CAAC;IAED,YAAY;QACX,OAAO,IAAI,CAAC,SAAS,CAAC;IACvB,CAAC;IAED,YAAY,CAAC,OAAe;QAC3B,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC;IAC1B,CAAC;IAED,cAAc;QACb,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;IAC5B,CAAC;IAED,YAAY;QACX,OAAO,IAAI,CAAC,SAAS,CAAC;IACvB,CAAC;IAEO,QAAQ;QACf,OAAO;YACN,eAAe,EAAE,IAAI,CAAC,WAAW,EAAE;YACnC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;SACtE,CAAC;IACH,CAAC;IAEO,OAAO,CAAC,QAAuC;QACtD,IAAI,CAAC,eAAe,GAAG,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QACxE,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC;QACpC,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC;IACrC,CAAC;CACD;AAED,MAAM,UAAU,0BAA0B,CAAC,UAAiC;IAC3E,OAAO,IAAI,0BAA0B,CAAC,UAAU,CAAC,CAAC;AACnD,CAAC","sourcesContent":["import type { AgentMessage } from \"@earendil-works/pi-agent-core\";\nimport type { ContextDeletionTarget } from \"../session-manager.ts\";\nimport type { CompactableTranscript } from \"./context-compaction-types.ts\";\nimport { assistantEntryHasThinkingContentBlock } from \"./context-transcript-analysis.ts\";\n\nexport interface EntryTextRow {\n\tentry_id: string;\n\ttext: string;\n\tis_protected: number;\n\thas_assistant_thinking_blocks: number;\n}\n\nexport interface EntryReadRow extends EntryTextRow {\n\trole: string;\n\ttoken_estimate: number;\n}\n\nexport interface ContentBlockTextRow {\n\tentry_id: string;\n\tblock_index: number;\n\trole: AgentMessage[\"role\"];\n\ttype: string;\n\ttext: string;\n\tentry_protected: number;\n\tblock_protected: number;\n\tblock_count: number;\n\thas_assistant_thinking_blocks: number;\n}\n\nexport interface ContentBlockReadRow extends ContentBlockTextRow {\n\ttoken_estimate: number;\n}\n\nexport interface StoredTranscriptEntry {\n\tentryId: string;\n\trole: AgentMessage[\"role\"];\n\tprotected: boolean;\n\thasAssistantThinkingBlocks: boolean;\n\ttokenEstimate: number;\n\ttext: string;\n}\n\nexport interface StoredContentBlock {\n\tentryPosition: number;\n\tentryId: string;\n\tblockIndex: number;\n\trole: AgentMessage[\"role\"];\n\ttype: string;\n\tprotected: boolean;\n\thasAssistantThinkingBlocks: boolean;\n\ttokenEstimate: number;\n\ttext: string;\n}\n\nexport interface ContextDeletionMemorySnapshot {\n\tdeletionTargets: ContextDeletionTarget[];\n\tcallCount: number;\n\tlastError?: string;\n}\n\nfunction copyDeletionTarget(target: ContextDeletionTarget): ContextDeletionTarget {\n\treturn target.kind === \"entry\"\n\t\t? { kind: \"entry\", entryId: target.entryId }\n\t\t: { kind: \"content_block\", entryId: target.entryId, blockIndex: target.blockIndex };\n}\n\nexport class ContextDeletionMemoryStore {\n\tprivate readonly entries: StoredTranscriptEntry[];\n\tprivate readonly entriesById: Map<string, StoredTranscriptEntry>;\n\tprivate readonly contentBlocks: StoredContentBlock[];\n\tprivate readonly contentBlockCountByEntryId: Map<string, number>;\n\tprivate deletionTargets: ContextDeletionTarget[] = [];\n\tprivate callCount = 0;\n\tprivate lastError: string | undefined;\n\n\tconstructor(transcript: CompactableTranscript) {\n\t\tconst entryIds = new Set<string>();\n\t\tconst blockKeys = new Set<string>();\n\t\tthis.entries = transcript.entries.map((entry) => {\n\t\t\tif (entryIds.has(entry.entryId)) {\n\t\t\t\tthrow new Error(`Duplicate transcript entry id: ${entry.entryId}`);\n\t\t\t}\n\t\t\tentryIds.add(entry.entryId);\n\t\t\treturn {\n\t\t\t\tentryId: entry.entryId,\n\t\t\t\trole: entry.role,\n\t\t\t\tprotected: entry.protected,\n\t\t\t\thasAssistantThinkingBlocks: assistantEntryHasThinkingContentBlock(entry),\n\t\t\t\ttokenEstimate: entry.tokenEstimate,\n\t\t\t\ttext: entry.text,\n\t\t\t};\n\t\t});\n\t\tthis.entriesById = new Map<string, StoredTranscriptEntry>(this.entries.map((entry) => [entry.entryId, entry] as const));\n\t\tthis.contentBlocks = transcript.entries.flatMap((entry, entryPosition) => {\n\t\t\tconst hasAssistantThinkingBlocks = assistantEntryHasThinkingContentBlock(entry);\n\t\t\treturn entry.contentBlocks.map((block) => {\n\t\t\t\tif (block.entryId !== entry.entryId) {\n\t\t\t\t\tthrow new Error(`Transcript content block ${block.entryId}:${block.blockIndex} does not belong to entry ${entry.entryId}`);\n\t\t\t\t}\n\t\t\t\tconst blockKey = `${block.entryId}:${block.blockIndex}`;\n\t\t\t\tif (blockKeys.has(blockKey)) {\n\t\t\t\t\tthrow new Error(`Duplicate transcript content block: ${blockKey}`);\n\t\t\t\t}\n\t\t\t\tblockKeys.add(blockKey);\n\t\t\t\treturn {\n\t\t\t\t\tentryPosition,\n\t\t\t\t\tentryId: block.entryId,\n\t\t\t\t\tblockIndex: block.blockIndex,\n\t\t\t\t\trole: entry.role,\n\t\t\t\t\ttype: block.type,\n\t\t\t\t\tprotected: block.protected,\n\t\t\t\t\thasAssistantThinkingBlocks,\n\t\t\t\t\ttokenEstimate: block.tokenEstimate,\n\t\t\t\t\ttext: block.text,\n\t\t\t\t};\n\t\t\t});\n\t\t});\n\t\tthis.contentBlockCountByEntryId = new Map();\n\t\tfor (const block of this.contentBlocks) {\n\t\t\tthis.contentBlockCountByEntryId.set(block.entryId, (this.contentBlockCountByEntryId.get(block.entryId) ?? 0) + 1);\n\t\t}\n\t}\n\n\ttransaction<T>(operation: () => T): T {\n\t\tconst snapshot = this.snapshot();\n\t\ttry {\n\t\t\treturn operation();\n\t\t} catch (error) {\n\t\t\tthis.restore(snapshot);\n\t\t\tthrow error;\n\t\t}\n\t}\n\n\treadTargets(): ContextDeletionTarget[] {\n\t\treturn this.deletionTargets.map(copyDeletionTarget);\n\t}\n\n\treplaceTargets(targets: readonly ContextDeletionTarget[]): void {\n\t\tthis.deletionTargets = targets.map(copyDeletionTarget);\n\t}\n\n\tlistEntriesForGrep(): EntryTextRow[] {\n\t\treturn this.entries.map((entry) => ({\n\t\t\tentry_id: entry.entryId,\n\t\t\ttext: entry.text,\n\t\t\tis_protected: entry.protected ? 1 : 0,\n\t\t\thas_assistant_thinking_blocks: entry.hasAssistantThinkingBlocks ? 1 : 0,\n\t\t}));\n\t}\n\n\tlistContentBlocksForGrep(): ContentBlockTextRow[] {\n\t\treturn [...this.contentBlocks]\n\t\t\t.sort((a, b) => a.entryPosition - b.entryPosition || a.blockIndex - b.blockIndex)\n\t\t\t.map((block) => ({\n\t\t\t\tentry_id: block.entryId,\n\t\t\t\tblock_index: block.blockIndex,\n\t\t\t\trole: block.role,\n\t\t\t\ttype: block.type,\n\t\t\t\ttext: block.text,\n\t\t\t\tentry_protected: this.entriesById.get(block.entryId)?.protected ? 1 : 0,\n\t\t\t\tblock_protected: block.protected ? 1 : 0,\n\t\t\t\tblock_count: this.contentBlockCountByEntryId.get(block.entryId) ?? 0,\n\t\t\t\thas_assistant_thinking_blocks: block.hasAssistantThinkingBlocks ? 1 : 0,\n\t\t\t}));\n\t}\n\n\tgetEntryForRead(entryId: string): EntryReadRow | undefined {\n\t\tconst entry = this.entriesById.get(entryId);\n\t\tif (!entry) return undefined;\n\t\treturn {\n\t\t\tentry_id: entry.entryId,\n\t\t\trole: entry.role,\n\t\t\tis_protected: entry.protected ? 1 : 0,\n\t\t\thas_assistant_thinking_blocks: entry.hasAssistantThinkingBlocks ? 1 : 0,\n\t\t\ttoken_estimate: entry.tokenEstimate,\n\t\t\ttext: entry.text,\n\t\t};\n\t}\n\n\tgetContentBlockForRead(entryId: string, blockIndex: number): ContentBlockReadRow | undefined {\n\t\tconst block = this.contentBlocks.find((candidate) => candidate.entryId === entryId && candidate.blockIndex === blockIndex);\n\t\tif (!block) return undefined;\n\t\treturn {\n\t\t\tentry_id: block.entryId,\n\t\t\tblock_index: block.blockIndex,\n\t\t\trole: block.role,\n\t\t\ttype: block.type,\n\t\t\ttoken_estimate: block.tokenEstimate,\n\t\t\ttext: block.text,\n\t\t\tentry_protected: this.entriesById.get(block.entryId)?.protected ? 1 : 0,\n\t\t\tblock_protected: block.protected ? 1 : 0,\n\t\t\tblock_count: this.contentBlockCountByEntryId.get(block.entryId) ?? 0,\n\t\t\thas_assistant_thinking_blocks: block.hasAssistantThinkingBlocks ? 1 : 0,\n\t\t};\n\t}\n\n\tgetGrepScanTextLength(target: \"entry\" | \"content_block\"): number {\n\t\tconst texts = target === \"entry\" ? this.entries : this.contentBlocks;\n\t\treturn texts.reduce((sum, item) => sum + item.text.length, 0);\n\t}\n\n\tincrementCallCount(): number {\n\t\tthis.callCount += 1;\n\t\treturn this.callCount;\n\t}\n\n\tgetCallCount(): number {\n\t\treturn this.callCount;\n\t}\n\n\tsetLastError(message: string): void {\n\t\tthis.lastError = message;\n\t}\n\n\tclearLastError(): void {\n\t\tthis.lastError = undefined;\n\t}\n\n\tgetLastError(): string | undefined {\n\t\treturn this.lastError;\n\t}\n\n\tprivate snapshot(): ContextDeletionMemorySnapshot {\n\t\treturn {\n\t\t\tdeletionTargets: this.readTargets(),\n\t\t\tcallCount: this.callCount,\n\t\t\t...(this.lastError === undefined ? {} : { lastError: this.lastError }),\n\t\t};\n\t}\n\n\tprivate restore(snapshot: ContextDeletionMemorySnapshot): void {\n\t\tthis.deletionTargets = snapshot.deletionTargets.map(copyDeletionTarget);\n\t\tthis.callCount = snapshot.callCount;\n\t\tthis.lastError = snapshot.lastError;\n\t}\n}\n\nexport function createContextDeletionStore(transcript: CompactableTranscript): ContextDeletionMemoryStore {\n\treturn new ContextDeletionMemoryStore(transcript);\n}\n"]}