@abot-ai/runtime 1.9.0 → 2.0.0

package/dist/src/runtime/context/model-step-compaction.js

@@ -1,17 +1,13 @@
-import { buildCheckpointMessage } from "./semantic-compaction/checkpoint-message.js";
+import { readInheritedCompactionCheckpoint } from "./model-step-compaction-inheritance.js";
+import { projectCheckpointMessages, scanCompactionSources, createResultSourceOverrideMap } from "./model-step-compaction-projection.js";
 import { createVerifiedCompactionProjection } from "./verified-compaction-projection.js";
-import { SEMANTIC_COMPACTION_EVIDENCE_SCOPE } from "./semantic-compaction/evidence-scope.js";
 import { readOperationSupervisionEvidenceBinding } from "./operation-supervision-evidence-binding.js";
 import { projectOperationSupervisionEvidenceClosure } from "./operation-supervision-evidence-projection.js";
 import { superWorkerCompactionFailureOwner } from "./super-worker-compaction-failure.js";
 import { withSuperCompactionFailure, } from "./super-compaction-failure-owner.js";
 import { resolveSuperWorkerCompactionProjection } from "./super-worker-compaction-projection.js";
 import { CompactionSourceInvariantError } from "./compaction-source-invariant.js";
-import { CORE_SKILL_READ_MESSAGE_KIND, coreSkillReadSourceRef } from "./core-skill-read-context.js";
-import { projectRequestToolResultsCheckpointMessage } from "./request-tool-results-checkpoint.js";
-import { OPERATION_SUPERVISION_EVIDENCE_MESSAGE_KIND } from "./operation-supervision-evidence.js";
 import { SEMANTIC_COMPACTION_CONTEXT_LANE, assertValidSemanticCompactionCheckpoint, createSemanticCompactionSha256Fingerprint, generateSemanticCompactionCandidateBatched, sameSemanticCompactionCheckpointBinding, } from "./semantic-compaction/index.js";
-const PAYLOAD_CONTEXT_PREFIX = "Canonical runtime context:\n";
 export function createModelStepCompactionController(request, options) {
     if (!options.call.objective) {
         throw new Error("context_compaction_active_objective_required");
@@ -36,6 +32,13 @@ export function createModelStepCompactionController(request, options) {
     if (!store) {
         throw new Error("context_compaction_store_required");
     }
+    const inherited = readInheritedCompactionCheckpoint({
+        checkpoint: options.inheritedCheckpoint,
+        store,
+        binding,
+        scopeId,
+        sourceRevision: options.sourceRevision,
+    });
     const verifiedProjection = createVerifiedCompactionProjection();
     let projectedCheckpoint;
     const reconcileEvidence = (messages, checkpoint) => projectOperationSupervisionEvidenceClosure(messages, {
@@ -80,8 +83,9 @@ export function createModelStepCompactionController(request, options) {
         async prepare(messages, context) {
             const { sidecar, failureOwner, overrides: resultSourceOverrides, } = sourceProjection(messages);
             const previous = withSuperCompactionFailure(failureOwner, () => readPrevious(messages));
+            const evidence = previous ?? inherited;
             const scanned = scanCompactionSources(messages, scopeId, resultSourceOverrides, sidecar);
-            const covered = new Map(previous?.sourceDigests.map((source) => [source.sourceRef, source]) ??
+            const covered = new Map(evidence?.sourceDigests.map((source) => [source.sourceRef, source]) ??
                 []);
             const newSources = withSuperCompactionFailure(failureOwner, () => scanned
                 .map(({ source }) => source)
@@ -101,7 +105,7 @@ export function createModelStepCompactionController(request, options) {
             if (!hasNewCompactionSources) {
                 return Object.freeze({
                     kind: "unavailable",
-                    reason: previous ? "no_new_sources" : "no_eligible_sources",
+                    reason: evidence ? "no_new_sources" : "no_eligible_sources",
                 });
             }
             const candidate = await generateSemanticCompactionCandidateBatched({
@@ -113,13 +117,16 @@ export function createModelStepCompactionController(request, options) {
                 boundSteeringVersion: context?.boundSteeringVersion,
                 consumer: options.consumer,
                 ...(previous ? { previous } : {}),
+                ...(!previous && inherited
+                    ? { inheritedSourceDigests: inherited.sourceDigests }
+                    : {}),
                 sources: newSources,
                 ...(sidecar || failureOwner
                     ? { registrationMode: "atomic" }
                     : {}),
                 ...(failureOwner ? { failureOwner } : {}),
             });
-            const preparedMessages = withSuperCompactionFailure(failureOwner, () => reconcileEvidence(projectCheckpointMessages(messages, scopeId, candidate, resultSourceOverrides, failureOwner !== undefined), candidate));
+            const preparedMessages = withSuperCompactionFailure(failureOwner, () => reconcileEvidence(projectCheckpointMessages(messages, scopeId, candidate, resultSourceOverrides, failureOwner !== undefined, undefined, { replacesScopeId: inherited?.scopeId }), candidate));
             return Object.freeze({
                 kind: "prepared",
                 preparation: Object.freeze({
@@ -140,14 +147,18 @@ export function createModelStepCompactionController(request, options) {
             verifiedProjection.clear();
             const { failureOwner, overrides: resultSourceOverrides } = sourceProjection(messages);
             const previous = withSuperCompactionFailure(failureOwner, () => readPrevious(messages));
-            projectedCheckpoint = previous;
-            return withSuperCompactionFailure(failureOwner, () => reconcileEvidence(previous
-                ? projectCheckpointMessages(messages, scopeId, previous, resultSourceOverrides, failureOwner !== undefined, verifiedProjection.record)
-                : [...messages], previous));
+            const evidence = previous ?? inherited;
+            projectedCheckpoint = evidence;
+            return withSuperCompactionFailure(failureOwner, () => reconcileEvidence(evidence
+                ? projectCheckpointMessages(messages, scopeId, evidence, resultSourceOverrides, failureOwner !== undefined, verifiedProjection.record, {
+                    includeContinuation: previous !== undefined,
+                    replacesScopeId: inherited?.scopeId,
+                })
+                : [...messages], evidence));
         },
         hasExhaustedVerifiedCompactionSources(messages) {
             const ownProjection = projectedCheckpoint !== undefined &&
-                store.get(scopeId) === projectedCheckpoint &&
+                store.get(projectedCheckpoint.scopeId) === projectedCheckpoint &&
                 verifiedProjection.contains(messages);
             if (!ownProjection && !options.hasVerifiedCompactedEvidence?.(messages))
                 return false;
@@ -159,305 +170,3 @@ export function createModelStepCompactionController(request, options) {
         },
     });
 }
-function projectCheckpointMessages(messages, scopeId, checkpoint, resultSourceOverrides, superOwned = false, recordVerifiedProjection) {
-    const scanned = scanCompactionSources(messages, scopeId, resultSourceOverrides);
-    const covered = new Map(checkpoint.sourceDigests.map((source) => [source.sourceRef, source]));
-    const removable = new Set();
-    let insertionIndex = messages.length;
-    const checkpointEmbedded = messages.some(isCheckpointCarrierMessage);
-    for (const { index, source } of scanned) {
-        const exact = covered.get(source.sourceRef);
-        if (exact?.sourceFingerprint === source.sourceFingerprint) {
-            if (!isCheckpointCarrierMessage(messages[index])) {
-                removable.add(index);
-                insertionIndex = Math.min(insertionIndex, index);
-            }
-        }
-    }
-    messages.forEach((message, index) => {
-        if (isCheckpointMessage(message, scopeId)) {
-            removable.add(index);
-            insertionIndex = Math.min(insertionIndex, index);
-        }
-    });
-    const checkpointMessage = buildCheckpointMessage(checkpoint);
-    if (checkpoint.sourceDigests.length > 0 && !checkpointEmbedded)
-        recordVerifiedProjection?.(checkpointMessage);
-    const projected = [];
-    let inserted = false;
-    messages.forEach((message, index) => {
-        const requestToolResults = projectRequestToolResultsCheckpointMessage(message, checkpoint, resultSourceOverrides);
-        const payloadContext = projectPayloadContextCheckpointMessage(message, checkpoint, resultSourceOverrides, superOwned);
-        if (!checkpointEmbedded && !inserted && index === insertionIndex) {
-            projected.push(checkpointMessage);
-            inserted = true;
-        }
-        if (!removable.has(index)) {
-            const carrier = requestToolResults ?? payloadContext;
-            if (checkpoint.sourceDigests.length > 0 && carrier)
-                recordVerifiedProjection?.(carrier);
-            projected.push(requestToolResults ?? payloadContext ?? message);
-        }
-    });
-    if (!checkpointEmbedded && !inserted)
-        projected.push(checkpointMessage);
-    return projected;
-}
-function scanCompactionSources(messages, scopeId, resultSourceOverrides, sidecar) {
-    const sources = [];
-    messages.forEach((message, index) => {
-        if (isCheckpointMessage(message, scopeId) ||
-            readOperationSupervisionEvidenceBinding(message))
-            return;
-        for (const source of resolveMessageSources(message, resultSourceOverrides, sidecar)) {
-            sources.push(Object.freeze({ index, source }));
-        }
-    });
-    return Object.freeze(sources);
-}
-function resolveMessageSources(message, resultSourceOverrides, sidecar) {
-    if (message.role === "tool") {
-        return Object.freeze([
-            resultSourceOverrides.get(`tool-result:${message.toolCallId}`) ??
-                createMessageSource(`tool-result:${message.toolCallId}`, message),
-        ]);
-    }
-    if (message.role === "assistant" && message.toolCalls) {
-        return Object.freeze([
-            createMessageSource(`tool-action:${createSemanticCompactionSha256Fingerprint(message.toolCalls.map(({ callId }) => callId).join("\n")).slice("sha256:".length)}`, message),
-        ]);
-    }
-    if (!message.content)
-        return Object.freeze([]);
-    const payloadContext = parsePayloadContextRecord(message.content);
-    if (payloadContext) {
-        return Object.freeze(readRecordArray(payloadContext.settledCapabilityResults).flatMap((result) => {
-            const source = resolveScannableResultSource(result, "payload-result", resultSourceOverrides, sidecar);
-            return source ? [source] : [];
-        }));
-    }
-    const record = parseJsonRecord(message.content);
-    if (record?.kind === CORE_SKILL_READ_MESSAGE_KIND) {
-        const read = record.read;
-        const document = record.document;
-        const readId = readNonEmptyString(read?.readId);
-        return readId ? Object.freeze([createMessageSource(coreSkillReadSourceRef(readId, readNonEmptyString(document?.skillId)), message)]) : Object.freeze([]);
-    }
-    if (record?.kind === OPERATION_SUPERVISION_EVIDENCE_MESSAGE_KIND) {
-        return Object.freeze([
-            createMessageSource(hashedMessageSourceRef("operation-supervision-evidence", message.content), message),
-        ]);
-    }
-    if (record?.kind === "runtime_request_tool_results_v1") {
-        return Object.freeze(readRecordArray(record.results).flatMap((result) => {
-            const source = resolveScannableResultSource(result, undefined, resultSourceOverrides, sidecar);
-            return source ? [source] : [];
-        }));
-    }
-    if (record?.kind === "runtime_child_result") {
-        const resultRef = readNonEmptyString(record.resultRef);
-        return resultRef
-            ? Object.freeze([
-                createMessageSource(`child-result:${resultRef}`, message),
-            ])
-            : Object.freeze([]);
-    }
-    if (record?.kind === "runtime_execution_agent_auditor_evidence_v1") {
-        return Object.freeze([
-            createMessageSource(hashedMessageSourceRef("role-evidence", message.content), message),
-        ]);
-    }
-    const header = parseJsonRecord(message.content.split("\n", 1)[0] ?? "");
-    if (header?.kind === "runtime_reviewer_evidence_v1") {
-        const evidenceRef = readNonEmptyString(header.evidenceRef);
-        return Object.freeze([
-            createMessageSource(evidenceRef
-                ? `reviewer-evidence:${evidenceRef}`
-                : hashedMessageSourceRef("reviewer-evidence", message.content), message),
-        ]);
-    }
-    return Object.freeze([]);
-}
-function createMessageSource(sourceRef, message) {
-    const content = JSON.stringify(message);
-    return Object.freeze({
-        sourceRef,
-        sourceFingerprint: createSemanticCompactionSha256Fingerprint(content),
-        content,
-    });
-}
-function hashedMessageSourceRef(prefix, content) {
-    return `${prefix}:${createSemanticCompactionSha256Fingerprint(content).slice("sha256:".length)}`;
-}
-function isCheckpointMessage(message, scopeId) {
-    if (!message.content)
-        return false;
-    const record = parseJsonRecord(message.content);
-    return (record?.kind === "runtime_semantic_compaction_checkpoint_v2" &&
-        record.scopeId === scopeId);
-}
-function isCheckpointCarrierMessage(message) {
-    return (parseJsonRecord(message.content)?.kind ===
-        "runtime_request_tool_results_v1" ||
-        parsePayloadContextRecord(message.content) !== undefined);
-}
-function projectPayloadContextCheckpointMessage(message, checkpoint, resultSourceOverrides, superOwned) {
-    const context = parsePayloadContextRecord(message.content);
-    if (!context)
-        return undefined;
-    if (message.role !== "user" || message.attachments?.length) {
-        throw new Error("context_compaction_payload_context_invalid");
-    }
-    const previousProjection = parseRecord(context.semanticCheckpoint);
-    const previousScopeId = readNonEmptyString(previousProjection?.scopeId);
-    if (previousScopeId && previousScopeId !== checkpoint.scopeId) {
-        throw new Error("context_compaction_checkpoint_scope_conflict");
-    }
-    const covered = new Map(checkpoint.sourceDigests.map((source) => [source.sourceRef, source]));
-    const coveredResults = new Map();
-    for (const receipt of readRecordArray(previousProjection?.coveredResults)) {
-        const executionId = readNonEmptyString(receipt.executionId);
-        const fingerprint = readNonEmptyString(receipt.sourceFingerprint);
-        const source = executionId
-            ? resolveResultSource(receipt, "payload-result", resultSourceOverrides)
-            : undefined;
-        const exact = source ? covered.get(source.sourceRef) : undefined;
-        if (!executionId ||
-            !fingerprint ||
-            exact?.sourceFingerprint !== fingerprint) {
-            throw new Error("context_compaction_checkpoint_receipt_invalid");
-        }
-        coveredResults.set(executionId, receipt);
-    }
-    const remainingResults = [];
-    for (const result of readRecordArray(context.settledCapabilityResults)) {
-        const executionId = readNonEmptyString(result.executionId);
-        const source = resolveResultSource(result, "payload-result", resultSourceOverrides);
-        const exact = source ? covered.get(source.sourceRef) : undefined;
-        if (!executionId || !source || !exact) {
-            remainingResults.push(result);
-            continue;
-        }
-        if (source.sourceFingerprint !== exact.sourceFingerprint) {
-            if (superOwned) {
-                throw new CompactionSourceInvariantError("context_compaction_source_identity_conflict", source.sourceRef);
-            }
-            throw new Error("context_compaction_source_identity_conflict");
-        }
-        const { referenceData: _referenceData, adapterResult: _adapterResult, ...receipt } = result;
-        coveredResults.set(executionId, Object.freeze({
-            ...receipt,
-            sourceFingerprint: exact.sourceFingerprint,
-        }));
-    }
-    return Object.freeze({
-        role: "user",
-        content: `${PAYLOAD_CONTEXT_PREFIX}${JSON.stringify({
-            ...context,
-            semanticCheckpoint: {
-                kind: checkpoint.kind,
-                evidenceScope: SEMANTIC_COMPACTION_EVIDENCE_SCOPE,
-                scopeId: checkpoint.scopeId,
-                roleId: checkpoint.roleId,
-                callId: checkpoint.callId,
-                checkpointSourceRevision: checkpoint.sourceRevision,
-                presenceEffect: "passive_role_continuation_not_user_intent_or_completion",
-                coveredSources: checkpoint.sourceDigests.map(({ sourceRef, sourceFingerprint, digest }) => ({
-                    sourceRef,
-                    sourceFingerprint,
-                    digest,
-                })),
-                continuation: checkpoint.continuation,
-                coveredResults: [...coveredResults.values()],
-            },
-            settledCapabilityResults: remainingResults,
-        })}`,
-    });
-}
-function parseJsonRecord(value) {
-    try {
-        const decoded = JSON.parse(value);
-        return decoded && typeof decoded === "object" && !Array.isArray(decoded)
-            ? decoded
-            : undefined;
-    }
-    catch {
-        return undefined;
-    }
-}
-function createResultSourceOverrideMap(sources) {
-    const overrides = new Map();
-    for (const source of sources) {
-        if (!source.sourceRef.trim() ||
-            !source.content ||
-            createSemanticCompactionSha256Fingerprint(source.content) !==
-                source.sourceFingerprint ||
-            overrides.has(source.sourceRef)) {
-            throw new Error("context_compaction_source_override_invalid");
-        }
-        overrides.set(source.sourceRef, source);
-    }
-    return overrides;
-}
-function resolveResultSource(result, sourceRefPrefix, overrides) {
-    const executionId = readNonEmptyString(result.executionId);
-    if (!executionId)
-        return undefined;
-    const sourceRef = sourceRefPrefix
-        ? `${sourceRefPrefix}:${executionId}`
-        : executionId;
-    const override = overrides.get(executionId) ?? overrides.get(sourceRef);
-    if (override)
-        return override;
-    const content = JSON.stringify(result);
-    return Object.freeze({
-        sourceRef,
-        sourceFingerprint: createSemanticCompactionSha256Fingerprint(content),
-        content,
-    });
-}
-/**
- * A summary-only receipt is a passive index entry, not a second representation
- * of the exact evidence body. Only exact evidence (or a canonical override)
- * can become a semantic-compaction source.
- */
-function resolveScannableResultSource(result, sourceRefPrefix, overrides, sidecar) {
-    const executionId = readNonEmptyString(result.executionId);
-    if (!executionId)
-        return undefined;
-    if (sidecar && !sidecar.eligibleExecutionIds.includes(executionId))
-        return undefined;
-    const sourceRef = sourceRefPrefix
-        ? `${sourceRefPrefix}:${executionId}`
-        : executionId;
-    if (!overrides.has(executionId) &&
-        !overrides.has(sourceRef) &&
-        !readNonEmptyString(result.referenceData) &&
-        !parseRecord(result.adapterResult)) {
-        return undefined;
-    }
-    return resolveResultSource(result, sourceRefPrefix, overrides);
-}
-function parseRecord(value) {
-    return value && typeof value === "object" && !Array.isArray(value)
-        ? value
-        : undefined;
-}
-function parsePayloadContextRecord(value) {
-    return value.startsWith(PAYLOAD_CONTEXT_PREFIX)
-        ? parseJsonRecord(value.slice(PAYLOAD_CONTEXT_PREFIX.length))
-        : undefined;
-}
-function readRecordArray(value) {
-    return Array.isArray(value)
-        ? value.flatMap((entry) => {
-            const record = parseRecord(entry);
-            return record ? [record] : [];
-        })
-        : [];
-}
-function readNonEmptyString(value) {
-    return typeof value === "string" && value.trim().length > 0
-        ? value.trim()
-        : undefined;
-}

package/dist/src/runtime/context/operation-supervision-compacted-evidence.js

@@ -1,3 +1,4 @@
+import { projectCompactedCapabilityResultReceipt } from "./compacted-capability-result-receipt.js";
 import { createCapabilityResultCompactionSource } from "./capability-result-compaction-source.js";
 import { matchesCompactedExecutionResult } from "./execution-compacted-evidence.js";
 import { traceDebug } from "../observability/debug-logger.js";
@@ -28,6 +29,11 @@ export function resolveCompactedOperationSupervisionEvidence(executionId, eviden
         return undefined;
     if (!matchesRegisteredSupervisionResult(source, executionId, evidence))
         return undefined;
+    // Only verified output aliases can be replaced; independent summary facts stay.
+    const compactedReceipt = projectCompactedCapabilityResultReceipt({
+        ...receipt,
+        adapterResult: evidence.adapterResult,
+    });
     traceDebug("runtime.context.compaction", "supervision.evidence_reused", {
         requestId: context.requestId,
         modelStep: context.consumer,
@@ -51,7 +57,7 @@ export function resolveCompactedOperationSupervisionEvidence(executionId, eviden
             declaredEffect: receipt.declaredEffect,
             outcome: receipt.outcome,
             observedEffect: receipt.observedEffect,
-            summary: receipt.summary,
+            summary: compactedReceipt.summary,
         }),
     });
 }

package/dist/src/runtime/context/request-context.d.ts

@@ -28,3 +28,5 @@ export declare function projectRequestContext(params: {
 }): RequestContextProjection;
 /** Returns the latest complete visible user-to-assistant turn, if one exists. */
 export declare function projectLatestCompleteConversationTurn(historyMessages: readonly RequestHistoryMessage[]): readonly [RequestHistoryMessage, RequestHistoryMessage] | undefined;
+/** Returns one latest settled turn: a complete pair or a trusted assistant initiative. */
+export declare function projectLatestSettledConversationTurn(historyMessages: readonly RequestHistoryMessage[]): readonly RequestHistoryMessage[] | undefined;

package/dist/src/runtime/context/request-context.js

@@ -188,6 +188,22 @@ export function projectLatestCompleteConversationTurn(historyMessages) {
     }
     return undefined;
 }
+/** Returns one latest settled turn: a complete pair or a trusted assistant initiative. */
+export function projectLatestSettledConversationTurn(historyMessages) {
+    const turns = collectConversationTurns(historyMessages);
+    for (let index = turns.length - 1; index >= 0; index -= 1) {
+        const turn = turns[index];
+        if (!isSettledConversationTurn(turn))
+            continue;
+        return Object.freeze([...turn.source]);
+    }
+    return undefined;
+}
+function isSettledConversationTurn(turn) {
+    // The canonical collector emits only a pending user, a completed pair, or
+    // a singleton trusted assistant initiative; only the pending user is unsettled.
+    return turn.source.at(-1)?.role === "assistant";
+}
 function collectConversationTurns(historyMessages) {
     const visibleMessages = historyMessages.filter((message) => message.grounding !== "tool_observation" &&
         message.content.trim().length > 0);

package/dist/src/runtime/context/request-tool-results-checkpoint.d.ts

@@ -1,3 +1,4 @@
+import type { CheckpointProjectionOptions } from "./semantic-compaction/checkpoint-message.js";
 import type { ChatMessage } from "../../model-gateway/types.js";
 import { type SemanticCompactionCheckpoint, type SemanticCompactionSource } from "./semantic-compaction/contracts.js";
-export declare function projectRequestToolResultsCheckpointMessage(message: ChatMessage, checkpoint: SemanticCompactionCheckpoint, resultSourceOverrides: ReadonlyMap<string, SemanticCompactionSource>): ChatMessage | undefined;
+export declare function projectRequestToolResultsCheckpointMessage(message: ChatMessage, checkpoint: SemanticCompactionCheckpoint, resultSourceOverrides: ReadonlyMap<string, SemanticCompactionSource>, options?: CheckpointProjectionOptions): ChatMessage | undefined;

package/dist/src/runtime/context/request-tool-results-checkpoint.js

@@ -1,9 +1,10 @@
+import { projectCompactedRegisteredOutputSummary } from "./compacted-capability-result-receipt.js";
 import { CompactionSourceInvariantError } from "./compaction-source-invariant.js";
 import { readSuperWorkerCompactionSidecar } from "./super-worker-compaction-sidecar.js";
 import { bindRequestToolResultsMessage, readBoundRequestToolResultsView, } from "./request-tool-results-message-binding.js";
 import { SEMANTIC_COMPACTION_EVIDENCE_SCOPE } from "./semantic-compaction/evidence-scope.js";
 import { createSemanticCompactionSha256Fingerprint, } from "./semantic-compaction/contracts.js";
-export function projectRequestToolResultsCheckpointMessage(message, checkpoint, resultSourceOverrides) {
+export function projectRequestToolResultsCheckpointMessage(message, checkpoint, resultSourceOverrides, options = {}) {
     const record = parseJsonRecord(message.content);
     if (record?.kind !== "runtime_request_tool_results_v1")
         return undefined;
@@ -12,7 +13,9 @@ export function projectRequestToolResultsCheckpointMessage(message, checkpoint,
     }
     const previousProjection = parseRecord(record.semanticCheckpoint);
     const previousScopeId = readNonEmptyString(previousProjection?.scopeId);
-    if (previousScopeId && previousScopeId !== checkpoint.scopeId) {
+    if (previousScopeId &&
+        previousScopeId !== checkpoint.scopeId &&
+        previousScopeId !== options.replacesScopeId) {
         throw new Error("context_compaction_checkpoint_scope_conflict");
     }
     const view = readBoundRequestToolResultsView(message);
@@ -35,7 +38,7 @@ export function projectRequestToolResultsCheckpointMessage(message, checkpoint,
                 throw new CompactionSourceInvariantError("context_compaction_checkpoint_receipt_invalid", executionId);
             throw new Error("context_compaction_checkpoint_receipt_invalid");
         }
-        coveredResults.set(executionId, receipt);
+        coveredResults.set(executionId, projectCoveredResultSummary(receipt, source, fingerprint));
     }
     const remainingResults = [];
     for (const result of readRecordArray(record.results)) {
@@ -53,7 +56,7 @@ export function projectRequestToolResultsCheckpointMessage(message, checkpoint,
         }
         const { referenceData: _referenceData, adapterResult: _adapterResult, ...receipt } = result;
         coveredResults.set(executionId, Object.freeze({
-            ...receipt,
+            ...projectCoveredResultSummary(receipt, source, exact.sourceFingerprint),
             sourceFingerprint: exact.sourceFingerprint,
         }));
     }
@@ -68,13 +71,20 @@ export function projectRequestToolResultsCheckpointMessage(message, checkpoint,
                 roleId: checkpoint.roleId,
                 callId: checkpoint.callId,
                 checkpointSourceRevision: checkpoint.sourceRevision,
-                presenceEffect: "passive_role_continuation_not_user_intent_or_completion",
+                ...(options.includeContinuation === false
+                    ? { authority: "passive_source_evidence" }
+                    : {}),
+                presenceEffect: options.includeContinuation === false
+                    ? "passive_source_evidence_not_current_intent_or_completion"
+                    : "passive_role_continuation_not_user_intent_or_completion",
                 coveredSources: checkpoint.sourceDigests.map(({ sourceRef, sourceFingerprint, digest }) => ({
                     sourceRef,
                     sourceFingerprint,
                     digest,
                 })),
-                continuation: checkpoint.continuation,
+                ...(options.includeContinuation === false
+                    ? {}
+                    : { continuation: checkpoint.continuation }),
                 coveredResults: [...coveredResults.values()],
             },
             results: remainingResults,
@@ -124,3 +134,22 @@ function resolveResultSource(result, _prefix, overrides) {
         content,
     };
 }
+/** Read aliases only from exact source bytes, including previously covered receipts. */
+function projectCoveredResultSummary(receipt, source, fingerprint) {
+    if (!source || source.sourceFingerprint !== fingerprint)
+        return receipt;
+    const canonical = parseJsonRecord(source.content);
+    if (!canonical || canonical.executionId !== receipt.executionId)
+        return receipt;
+    if (typeof receipt.summary !== "string")
+        return receipt;
+    const adapter = parseRecord(canonical.adapterResult);
+    const result = adapter?.kind === "registered_tool_execution_result_v1"
+        ? parseRecord(adapter.result)
+        : undefined;
+    const output = typeof result?.output === "string" ? result.output : undefined;
+    return {
+        ...receipt,
+        summary: projectCompactedRegisteredOutputSummary(receipt.summary, output),
+    };
+}

package/dist/src/runtime/context/request-tool-results.js

@@ -1,3 +1,4 @@
+import { projectCompactedCapabilityResultReceipt } from "./compacted-capability-result-receipt.js";
 import { projectCurrentRequestToolResults } from "./request-tool-results-supersession.js";
 export { projectCurrentRequestToolResults } from "./request-tool-results-supersession.js";
 import { bindSuperWorkerCompactionSources } from "./super-worker-compaction-sidecar.js";
@@ -92,7 +93,8 @@ export function buildCompactedRequestToolResultsMessage(view, checkpoint, integr
     const coveredResults = modelVisibleResults
         .filter(({ executionId }) => coveredExecutionIds.has(executionId))
         .map((result) => {
-        const { referenceData: _referenceData, adapterResult: _adapterResult, ...receipt } = result;
+        const { referenceData: _referenceData, ...sourceReceipt } = result;
+        const receipt = projectCompactedCapabilityResultReceipt(sourceReceipt);
         return Object.freeze({
             ...receipt,
             sourceFingerprint: digestByExecutionId.get(result.executionId)

package/dist/src/runtime/context/semantic-compaction/checkpoint-message.d.ts

@@ -1,3 +1,7 @@
 import type { ChatMessage } from "../../../model-gateway/types.js";
 import type { SemanticCompactionCheckpoint } from "./contracts.js";
-export declare function buildCheckpointMessage(checkpoint: SemanticCompactionCheckpoint): ChatMessage;
+export type CheckpointProjectionOptions = Readonly<{
+    includeContinuation?: boolean;
+    replacesScopeId?: string;
+}>;
+export declare function buildCheckpointMessage(checkpoint: SemanticCompactionCheckpoint, options?: CheckpointProjectionOptions): ChatMessage;

package/dist/src/runtime/context/semantic-compaction/checkpoint-message.js

@@ -1,12 +1,16 @@
 import { SEMANTIC_COMPACTION_EVIDENCE_SCOPE } from "./evidence-scope.js";
-export function buildCheckpointMessage(checkpoint) {
+export function buildCheckpointMessage(checkpoint, options = {}) {
     return Object.freeze({
         role: "user",
         content: JSON.stringify({
             kind: checkpoint.kind,
             evidenceScope: SEMANTIC_COMPACTION_EVIDENCE_SCOPE,
-            authority: "runtime_role_continuation",
-            presenceEffect: "passive_continuity_not_user_intent_routing_or_completion",
+            authority: options.includeContinuation === false
+                ? "passive_source_evidence"
+                : "runtime_role_continuation",
+            presenceEffect: options.includeContinuation === false
+                ? "passive_source_evidence_not_current_intent_or_completion"
+                : "passive_continuity_not_user_intent_routing_or_completion",
             scopeId: checkpoint.scopeId,
             roleId: checkpoint.roleId,
             callId: checkpoint.callId,
@@ -16,7 +20,9 @@ export function buildCheckpointMessage(checkpoint) {
                 sourceFingerprint,
                 digest,
             })),
-            continuation: checkpoint.continuation,
+            ...(options.includeContinuation === false
+                ? {}
+                : { continuation: checkpoint.continuation }),
         }),
     });
 }

package/dist/src/runtime/context/semantic-compaction/execution-evidence-instructions.d.ts

@@ -0,0 +1,4 @@
+import type { ModelStep } from "../../../shared/model-steps.js";
+export declare const EXECUTION_AGENT_COMPACTION_REQUIREMENTS: string;
+/** Extend only checkpoints bound exclusively to Execution Agent consumers. */
+export declare function resolveSemanticCompactionInstructions(allowedConsumers: readonly ModelStep[]): string;

package/dist/src/runtime/context/semantic-compaction/execution-evidence-instructions.js

@@ -0,0 +1,38 @@
+import { SEMANTIC_COMPACTION_INSTRUCTIONS } from "./prompt.js";
+export const EXECUTION_AGENT_COMPACTION_REQUIREMENTS = [
+    "Compress the record; do not advance the task. Preserve source-established facts, decisions, failures, and progress. Update pending work only from supplied outcomes. Do not review correctness, perform unfinished analysis, infer new defects or requirements, or propose actions. Compression omissions are information limits, not new work. The execution agent alone decides what happens next.",
+    "Distinguish successful retrieval or a completed source change from completion of the analysis, implementation or transformation that depends on it. Preserve supplied results and exact task-relevant identifiers, interfaces and relationships needed for that unfinished work, including names, keys, selectors, signatures and their associations. A read/write receipt or description of what a source contains cannot replace those concrete facts.",
+    "If task-relevant detail still cannot fit after removing repetition and using compact records, identify exactly which task-relevant facts, identifiers or relationships were omitted and their sourceRef or supplied location in findings. Distinguish detail omitted by compaction from detail absent in the original source. A sourceRef names provenance; it does not mean the original content remains visible to the owner. Do not claim that a summary preserves full contents or completes unfinished work.",
+    "",
+    "Identifier preservation is a hard requirement of this compaction. Never omit or rename any explicit identifier supplied in a source or a previous digest.",
+    "Identifiers include paths and resource names, declared symbols and function names, object fields and schema keys, DOM IDs, CSS classes and selectors, data attributes, storage keys, and exact enum or sentinel values that participate in an interface.",
+    "Deduplicate repeated occurrences into concise rows or grouped dictionaries: source/location | exact identifiers | role or binding | associated value or condition. Preserve exact spelling and keep each identifier bound to its own source and meaning. A list of disconnected names is insufficient.",
+    "Preserve the supplied relationships between identifiers, including keys used to join or select records, DOM-to-code bindings, selector-to-markup associations, and literal values that cross file or interface boundaries. Do not invent a relationship that the source does not establish.",
+    "Remove narrative, repeated receipts, examples and duplicated explanations before shortening identifier records. Carry these records forward on subsequent compactions; an earlier compact representation is not permission to drop its identifiers or relationships.",
+    "Use the unchanged response schema and shared checkpoint token budget. Missing or renamed identifiers, lost bindings, or an over-budget checkpoint are failures of this preservation requirement; do not claim complete preservation when any of these occurs.",
+    "",
+    "",
+    "The purpose of this checkpoint is to enable the owner to continue the current request efficiently, not to produce the shortest possible account. Omitting a fact needed for the unfinished work can force another read and another compaction, increasing total runtime and token use.",
+    "Preserve a compact working representation of the supplied implementation and data contracts. Alongside exact identifiers, retain top-level data shape, field meanings and types, required or empty values, normalization rules, function inputs and outputs, identifier-to-value bindings, and the relationships by which one part uses another. Names without these associations are not a usable substitute.",
+    "Use concise source-bound rows, maps or compact pseudocode to retain those contracts. Prefer precise interface and behavior facts over appearance descriptions, repeated receipts or narrative about what was inspected. Keep existing identifier-preservation requirements and the same shared token budget; repeated occurrences can share a compact representation without losing their source associations.",
+    "Before returning, check the facts needed to continue the current request against the supplied sources. Do not unnecessarily discard facts that would require recovering those same sources merely because of your summary. Distinguish truly unavailable information from information supplied here.",
+    "",
+].join("\n");
+/** Extend only checkpoints bound exclusively to Execution Agent consumers. */
+export function resolveSemanticCompactionInstructions(allowedConsumers) {
+    if (!hasExclusiveExecutionAgentConsumers(allowedConsumers)) {
+        return SEMANTIC_COMPACTION_INSTRUCTIONS;
+    }
+    return [
+        SEMANTIC_COMPACTION_INSTRUCTIONS,
+        EXECUTION_AGENT_COMPACTION_REQUIREMENTS,
+    ].join("\n");
+}
+function hasExclusiveExecutionAgentConsumers(allowedConsumers) {
+    if (allowedConsumers.length === 0)
+        return false;
+    return allowedConsumers.every(isExecutionAgentConsumer);
+}
+function isExecutionAgentConsumer(consumer) {
+    return consumer === "execution.decision" || consumer === "execution.response";
+}