@abot-ai/runtime 1.8.1 → 2.0.0

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

@@ -1,16 +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 { 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");
@@ -35,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, {
@@ -76,11 +80,12 @@ export function createModelStepCompactionController(request, options) {
     const activeStage = Object.freeze({
         compactionScope: "active_request",
         scopeId,
-        async prepare(messages) {
+        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)
@@ -100,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({
@@ -109,15 +114,19 @@ export function createModelStepCompactionController(request, options) {
                 binding,
                 sourceRevision: options.sourceRevision,
                 preservationObjective: options.call.objective,
+                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({
@@ -138,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;
@@ -157,293 +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([
-            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 === 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 override = overrides.get(executionId);
-    if (override)
-        return override;
-    const content = JSON.stringify(result);
-    return Object.freeze({
-        sourceRef: sourceRefPrefix
-            ? `${sourceRefPrefix}:${executionId}`
-            : executionId,
-        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;
-    if (!overrides.has(executionId) &&
-        !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/core-skill-read-source.d.ts

@@ -0,0 +1,9 @@
+import type { RoleCallFrame, RoleCallLedgerHead } from "../../orchestration/role-calls/index.js";
+import type { SemanticCompactionSource } from "./contracts.js";
+/** Rebuild from the captured ledger snapshot, never from the current Skills Store. */
+export declare function assertCoreSkillReadSource(params: Readonly<{
+    source: SemanticCompactionSource;
+    record: Record<string, unknown>;
+    head: RoleCallLedgerHead;
+    scopeCall?: RoleCallFrame;
+}>): void;

package/dist/src/runtime/context/semantic-compaction/core-skill-read-source.js

@@ -0,0 +1,38 @@
+import { CompactionSourceInvariantError } from "../compaction-source-invariant.js";
+import { buildCoreSkillReadContextMessage, coreSkillReadSourceRef } from "../core-skill-read-context.js";
+/** Rebuild from the captured ledger snapshot, never from the current Skills Store. */
+export function assertCoreSkillReadSource(params) {
+    const { source, record, head, scopeCall } = params;
+    const binding = object(record.read);
+    const read = head.state.skillReads?.find((entry) => entry.readId === binding?.readId);
+    const skillId = object(record.document)?.skillId;
+    const document = read?.operation === "read_skills" && read.result.outcome === "completed"
+        ? read.result.skills.find((skill) => skill.skillId === skillId) : undefined;
+    if (!read || read.callId !== head.state.rootCallId ||
+        (read.operation === "read_skills" && read.result.outcome === "completed" && !document) ||
+        (record.document !== undefined && !document) ||
+        (scopeCall && !isOwnedConsumer(head, scopeCall, document !== undefined)) ||
+        source.sourceRef !== coreSkillReadSourceRef(read.readId, document?.skillId) ||
+        source.content !== JSON.stringify(buildCoreSkillReadContextMessage(head.state.requestId, read, document)))
+        throw new CompactionSourceInvariantError("context_compaction_skill_read_source_changed", source.sourceRef);
+}
+function isOwnedConsumer(head, call, hasDocument) {
+    if (call.roleId === "supervisor")
+        return call.callId === head.state.rootCallId;
+    if (!hasDocument ||
+        (call.roleId !== "planner" && call.roleId !== "worker" && call.roleId !== "reviewer"))
+        return false;
+    const seen = new Set();
+    let current = call;
+    while (current && !seen.has(current.callId)) {
+        if (current.callId === head.state.rootCallId)
+            return true;
+        seen.add(current.callId);
+        current = head.state.calls.find((candidate) => candidate.callId === current.parentCallId);
+    }
+    return false;
+}
+function object(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value)
+        ? value : undefined;
+}

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;