effect-agent 0.1.0-beta.139 → 0.1.0-beta.140

package/dist/index.d.mts

@@ -20,14 +20,14 @@ import { a as FailureDiagnostic_d_exports } from "./FailureDiagnostic-CaAkzGHL.m
 import { i as AgentError_d_exports } from "./AgentError-Bn1ytXRD.mjs";
 import { r as ToolResult_d_exports } from "./ToolResult-BKdqWRff.mjs";
 import { r as AgentPolicy_d_exports } from "./AgentPolicy-BqDoSXO6.mjs";
-import { t as Agent_d_exports } from "./Agent-D9cXqfF3.mjs";
+import { t as Agent_d_exports } from "./Agent-BWhD4Dvu.mjs";
 import { c as MemoryReference_d_exports } from "./MemoryReference-B8Q3UJoJ.mjs";
 import { n as RunPolicyUsage_d_exports } from "./RunPolicyUsage-ClZxyR46.mjs";
 import { x as Worker_d_exports } from "./Worker-fwWkBg12.mjs";
 import { s as ContextWindow_d_exports } from "./ContextWindow-DRQ5Mbm2.mjs";
 import { s as ContextCompactor_d_exports } from "./ContextCompactor-WwSIG_Z2.mjs";
 import { i as DurableStep_d_exports } from "./DurableStep-Cry_iol4.mjs";
-import { F as RunOptions_d_exports } from "./RunOptions-CSBsSj0X.mjs";
+import { F as RunOptions_d_exports } from "./RunOptions-IlEXLG5F.mjs";
 import { t as Commands_d_exports } from "./capabilities/Commands.mjs";
 import { t as ContextHistory_d_exports } from "./engine/ContextHistory.mjs";
 import { t as ContextTools_d_exports } from "./capabilities/ContextTools.mjs";
@@ -36,8 +36,8 @@ import { t as McpClient_d_exports } from "./capabilities/McpClient.mjs";
 import { i as MemoryNamespace_d_exports } from "./MemoryNamespace-BbRW5p71.mjs";
 import { t as MemoryStore_d_exports } from "./core/MemoryStore.mjs";
 import { t as MemoryNotes_d_exports } from "./capabilities/MemoryNotes.mjs";
-import { n as MessagingHost_d_exports } from "./MessagingHost-CqzpxbGz.mjs";
-import { t as Messaging_d_exports } from "./Messaging-JYYN3oYS.mjs";
+import { n as MessagingHost_d_exports } from "./MessagingHost-CajpPDPG.mjs";
+import { t as Messaging_d_exports } from "./Messaging-Dnmk31yq.mjs";
 import { t as ModelContext_d_exports } from "./capabilities/ModelContext.mjs";
 import { t as RememberingStore_d_exports } from "./core/RememberingStore.mjs";
 import { t as Remembering_d_exports } from "./capabilities/Remembering.mjs";
@@ -46,10 +46,10 @@ import { t as MemoryRevalidation_d_exports } from "./core/MemoryRevalidation.mjs
 import { t as SemanticMemoryIndex_d_exports } from "./core/SemanticMemoryIndex.mjs";
 import { t as SemanticMemoryRevalidation_d_exports } from "./core/SemanticMemoryRevalidation.mjs";
 import { t as SemanticMemory_d_exports } from "./capabilities/SemanticMemory.mjs";
-import { s as SubagentHost_d_exports } from "./SubagentHost-DQjHFGqH.mjs";
-import { t as AgentRuntime_d_exports } from "./AgentRuntime-DEDvMkAR.mjs";
+import { s as SubagentHost_d_exports } from "./SubagentHost-B6f4PBC2.mjs";
+import { t as AgentRuntime_d_exports } from "./AgentRuntime-B4kIzmSF.mjs";
 import { i as RunEventSink_d_exports } from "./RunEventSink-D5aVhISG.mjs";
-import { v as Subagent_d_exports } from "./Subagent-DRFyQxdb.mjs";
+import { v as Subagent_d_exports } from "./Subagent-Cl8D1mFM.mjs";
 import { t as ToolDiscovery_d_exports } from "./capabilities/ToolDiscovery.mjs";
 import { D as PageCapture_d_exports } from "./PageCapture-Df8Xwskw.mjs";
 import { t as WebCapture_d_exports } from "./capabilities/WebCapture.mjs";
@@ -59,17 +59,17 @@ import { t as Memory_d_exports } from "./core/Memory.mjs";
 import { N as Records_d_exports } from "./Records-B5GFWCpn.mjs";
 import { t as ActivityStore_d_exports } from "./durable/ActivityStore.mjs";
 import { n as Digest_d_exports } from "./Digest-U69rDHuO.mjs";
-import { J as Recovery_d_exports, Qn as DurableAgentRuntime_d_exports, Sa as AgentRegistration_d_exports, Si as RunJournal_d_exports, _i as SubmissionStatus_d_exports, bn as SubmissionLedger_d_exports, oi as ThreadStore_d_exports, t as Admin_d_exports } from "./Admin-Fx85KT-W.mjs";
+import { J as Recovery_d_exports, Qn as DurableAgentRuntime_d_exports, Sa as AgentRegistration_d_exports, Si as RunJournal_d_exports, _i as SubmissionStatus_d_exports, bn as SubmissionLedger_d_exports, oi as ThreadStore_d_exports, t as Admin_d_exports } from "./Admin-DGZXE5BU.mjs";
 import { t as DurableFailpoint_d_exports } from "./DurableFailpoint-Cnr3wx1L.mjs";
 import { a as OperationAuthorizer_d_exports } from "./OperationAuthorizer-TzcQtpX5.mjs";
 import { l as ToolReconciler_d_exports } from "./ToolReconciler-BmVRAHKs.mjs";
 import { n as WakeScheduler_d_exports } from "./WakeScheduler-EjUF-GhC.mjs";
 import { t as CommittedActivity_d_exports } from "./durable/CommittedActivity.mjs";
 import { R as Schedule_d_exports } from "./Schedule-CtYREFnz.mjs";
-import { k as Subscription_d_exports } from "./Subscription-CCmHgOYM.mjs";
-import { n as EventSource_d_exports } from "./EventSource-DLT8oDK8.mjs";
-import { n as PreparedInputAdmission_d_exports } from "./PreparedInputAdmission-CKFgG6Em.mjs";
-import { r as SubscriptionInput_d_exports } from "./SubscriptionInput-BFJMhu4K.mjs";
+import { k as Subscription_d_exports } from "./Subscription-_VTIVN8o.mjs";
+import { n as EventSource_d_exports } from "./EventSource-Cg3IeJa6.mjs";
+import { n as PreparedInputAdmission_d_exports } from "./PreparedInputAdmission-CLvaruRe.mjs";
+import { r as SubscriptionInput_d_exports } from "./SubscriptionInput-BIH1f3Th.mjs";
 import { t as Subscriptions_d_exports } from "./durable/Subscriptions.mjs";
 import { t as MessageDelivery_d_exports } from "./durable/MessageDelivery.mjs";
 import { t as PersistentHistory_d_exports } from "./durable/PersistentHistory.mjs";
@@ -85,7 +85,7 @@ import { t as ThreadProjection_d_exports } from "./durable/ThreadProjection.mjs"
 import { t as ThreadProjectionMaintenance_d_exports } from "./durable/ThreadProjectionMaintenance.mjs";
 import { t as WorkerHost_d_exports } from "./durable/WorkerHost.mjs";
 import { t as Compaction_d_exports } from "./engine/Compaction.mjs";
-import { t as Output_d_exports } from "./Output-V-6YL1_Z.mjs";
+import { t as Output_d_exports } from "./Output-DhtWbBcw.mjs";
 import { t as PageScreenshot_d_exports } from "./sandbox/PageScreenshot.mjs";
 import { t as InteractiveBrowser_d_exports } from "./sandbox/InteractiveBrowser.mjs";
 import { t as PageCrawl_d_exports } from "./sandbox/PageCrawl.mjs";

package/dist/index.mjs

@@ -15,7 +15,7 @@ import { n as MessagingHost_exports } from "./MessagingHost-DfsbMPvq.mjs";
 import { t as SubagentHost_exports } from "./engine/SubagentHost.mjs";
 import { t as Thread_exports } from "./core/Thread.mjs";
 import { t as ThreadHistory_exports } from "./engine/ThreadHistory.mjs";
-import { t as AgentRuntime_exports } from "./AgentRuntime-Cp1hAb-W.mjs";
+import { t as AgentRuntime_exports } from "./AgentRuntime-RdmnK_aD.mjs";
 import { t as ContextWindow_exports } from "./engine/ContextWindow.mjs";
 import { t as DurableStep_exports } from "./engine/DurableStep.mjs";
 import { t as ContextCompactor_exports } from "./engine/ContextCompactor.mjs";
@@ -56,7 +56,7 @@ import { t as RunHooks_exports } from "./capabilities/RunHooks.mjs";
 import { t as SemanticMemoryIndex_exports } from "./core/SemanticMemoryIndex.mjs";
 import { t as SemanticMemoryRevalidation_exports } from "./core/SemanticMemoryRevalidation.mjs";
 import { t as SemanticMemory_exports } from "./capabilities/SemanticMemory.mjs";
-import { r as Subagent_exports } from "./Subagent-DJeZDrbD.mjs";
+import { r as Subagent_exports } from "./Subagent-Bnc7I-kb.mjs";
 import { t as ToolDiscovery_exports } from "./capabilities/ToolDiscovery.mjs";
 import { t as ToolExposure_exports } from "./ToolExposure.mjs";
 import { t as WebCapture_exports } from "./capabilities/WebCapture.mjs";
@@ -68,7 +68,7 @@ import { t as Recovery_exports } from "./durable/Recovery.mjs";
 import { t as Admin_exports } from "./durable/Admin.mjs";
 import { t as Digest_exports } from "./durable/Digest.mjs";
 import { t as AgentRegistration_exports } from "./durable/AgentRegistration.mjs";
-import { r as DurableAgentRuntime_exports } from "./DurableAgentRuntime-Bso5grIH.mjs";
+import { r as DurableAgentRuntime_exports } from "./DurableAgentRuntime-BmG_UVZG.mjs";
 import { n as RunJournal_exports } from "./RunJournal-Gd83HYqG.mjs";
 import { t as ThreadStore_exports } from "./durable/ThreadStore.mjs";
 import { t as CommittedActivity_exports } from "./durable/CommittedActivity.mjs";

package/dist/{output-contract-BC7tjlGw.mjs → output-contract-CANJJGA5.mjs}

@@ -56,29 +56,44 @@ const outputSchemaContract = (definition) => {
 	outputContracts.set(definition, contract);
 	return contract;
 };
+const sameSystemMessage = Schema.toEquivalence(Prompt.SystemMessage);
 /**
-* Insert the contract immediately after the request prompt's last system
-* message (position 0 when none exists), extending the last contiguous
-* system block. Placement is normative: the Anthropic provider replaces its
-* top-level `system` parameter per contiguous system group, so only the last
-* block survives there — an isolated trailing contract message would discard
-* the author's instructions, and a contract inside an earlier block (for
-* example a resumed Thread's original instructions ahead of this Run's
-* evaluated instructions) would itself be discarded. Extending the last
-* block keeps author content and contract together on every provider and
-* preserves the author's per-message cache-control annotations.
+* Project system instructions and the output contract into one leading block.
+* Repeated Runs append instructions to canonical history; letting those copies
+* move the contract breaks the preceding user/tool prefix used by provider caches.
+* Keep the last occurrence of each equivalent system message, preserving the
+* precedence of distinct instructions and their native provider options.
+*
+* This runs after preparation and compaction. Canonical messages, protected
+* instruction/input spans and compaction coverage retain their original positions.
+* Conversation order and message identities are unchanged. A single system block
+* also prevents Anthropic's last-system-group conversion from discarding earlier
+* application instructions or the output contract.
 */
-const insertOutputContract = (prompt, message) => {
-	const content = prompt.content;
-	let insertAt = 0;
-	for (let index = 0; index < content.length; index += 1) if (content[index]?.role === "system") insertAt = index + 1;
+const prepareModelPrompt = (prompt, contract) => {
+	const systems = [];
+	const conversation = [];
+	const seen = /* @__PURE__ */ new Map();
+	for (let index = prompt.content.length - 1; index >= 0; index -= 1) {
+		const message = prompt.content[index];
+		if (message === void 0) continue;
+		if (message.role !== "system") {
+			conversation.push(message);
+			continue;
+		}
+		const variants = seen.get(message.content);
+		if (variants?.some((previous) => sameSystemMessage(previous, message))) continue;
+		if (variants === void 0) seen.set(message.content, [message]);
+		else variants.push(message);
+		systems.push(message);
+	}
 	return Prompt.fromMessages([
-		...content.slice(0, insertAt),
-		message,
-		...content.slice(insertAt)
+		...systems.reverse(),
+		...contract === void 0 ? [] : [contract],
+		...conversation.reverse()
 	]);
 };
 //#endregion
-export { textOutput as i, isTextOutput as n, outputSchemaContract as r, insertOutputContract as t };
+export { textOutput as i, outputSchemaContract as n, prepareModelPrompt as r, isTextOutput as t };
 
-//# sourceMappingURL=output-contract-BC7tjlGw.mjs.map
+//# sourceMappingURL=output-contract-CANJJGA5.mjs.map

package/dist/{output-contract-BC7tjlGw.mjs.map → output-contract-CANJJGA5.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"output-contract-BC7tjlGw.mjs","names":[],"sources":["../src/engine/internal/output-contract.ts"],"sourcesContent":["import { Schema } from \"effect\";\nimport { Prompt, Tool } from \"effect/unstable/ai\";\n\nimport type * as Agent from \"../../core/Agent.ts\";\n\nconst outputFormatAnnotation = \"@effect-agent/engine/Output/format\";\n\n/**\n * Declare ordinary assistant text as an Agent's final-output wire format. Apply this to the\n * complete output Schema after composing transformations. Its encoded type must be string;\n * decoding, checks, transformations, and service requirements remain owned by that Schema.\n * Text is preserved verbatim, including whitespace, quotes, and an empty reply when allowed.\n * Required completion Tools still take precedence. Unmarked Schemas use JSON final output.\n *\n * @example\n * ```ts\n * output: Output.text(Schema.String.check(Schema.isMaxLength(20_000)))\n * ```\n */\nexport const textOutput = <S extends Schema.Top & { readonly Encoded: string }>(\n  schema: S,\n): S[\"Rebuild\"] => schema.annotate({ [outputFormatAnnotation]: \"text\" });\n\nexport const isTextOutput = (schema: Schema.Top): boolean =>\n  Schema.resolveAnnotations(schema)?.[outputFormatAnnotation] === \"text\";\n\n/**\n * Model-visible final-output contract (RUN-028).\n *\n * For ordinary text completion, the interpreter's only output-conformance\n * point is `decodeFinalOutput`, which validates the final text after the\n * model has already finished. This module renders that Schema's wire contract\n * with the same Effect AI derivation the providers use for Tool parameters\n * and states it as one framework-owned system message on every model request.\n * A required completion Tool instead gets a native-tool directive: its Tool\n * parameter Schema is already carried by the provider request, and ordinary\n * final text is not an allowed completion path.\n *\n * The contract is a per-request projection of the immutable definition —\n * exactly like the Tool schemas the request already carries. It is inserted\n * at model-request materialization (after context preparation) and never\n * into official history, so canonical records, run events, and the committed\n * DN/DC golden are unchanged.\n *\n */\n\n/** Rendering outcome for one definition's output Schema. */\ntype OutputContract =\n  | {\n      readonly _tag: \"rendered\";\n      /** The complete system-message text: directive plus the derived JSON Schema. */\n      readonly message: string;\n      readonly part: Prompt.SystemMessage;\n    }\n  | {\n      readonly _tag: \"unrenderable\";\n      /** Why Effect AI's JSON-Schema derivation rejected the output Schema. */\n      readonly reason: string;\n    };\n\nconst contractDirective = (definition: Agent.AnyDefinition): string =>\n  definition.completion === undefined\n    ? \"Final output contract: when the task is complete, the final assistant message must be only \" +\n      \"JSON that is valid against this JSON Schema — no prose, no Markdown code fences, nothing \" +\n      \"before or after the JSON.\"\n    : `Final output contract: when the task is complete without calling the \"${definition.completion.tool}\" completion Tool, the final assistant message must be only ` +\n      \"JSON that is valid against this JSON Schema — no prose, no Markdown code fences, nothing \" +\n      `before or after the JSON. When calling the \"${definition.completion.tool}\" completion Tool, never place this private Agent output JSON in any Tool argument; follow the Tool's parameter schema instead. Call it as the sole application Tool Call, after receiving any other needed application Tool results. Completed provider Tool results may accompany it. The engine projects the successful completion Tool result into the Agent output.`;\n\nconst requiredCompletionDirective = (tool: string, hasAlternatives: boolean): string =>\n  `Final output contract: ${hasAlternatives ? \"otherwise complete\" : \"complete only\"} by calling the required completion Tool ${JSON.stringify(tool)} ` +\n  \"as the sole application Tool Call in its batch. Completed provider Tool results may accompany it. Do not emit an ordinary final assistant text answer. \" +\n  \"The Tool's canonical parameters and successful result are projected and validated as the Agent output.\";\n\n/**\n * Render the model-visible final-output contract for one definition. The\n * derivation and message identity are stable for an immutable definition.\n * An output Schema the Effect AI derivation cannot represent is reported as\n * `unrenderable`; the caller falls back to the prior behavior — the contract\n * is guidance, and a Schema that decodes but does not render must not become\n * a new failure mode.\n */\nconst rendered = (message: string): OutputContract => ({\n  _tag: \"rendered\",\n  message,\n  part: Prompt.makeMessage(\"system\", { content: message }),\n});\n\nconst renderOutputSchemaContract = (definition: Agent.AnyDefinition): OutputContract => {\n  if (definition.completion?.required === true) {\n    return rendered(\n      requiredCompletionDirective(\n        definition.completion.tool,\n        (definition.completionFromTools?.length ?? 0) > 0,\n      ),\n    );\n  }\n  if (isTextOutput(definition.output)) {\n    return rendered(\n      \"Final output contract: write the final reply as ordinary assistant text, without JSON wrapping. \" +\n        \"An empty reply is valid only when allowed by the output Schema and the task instructions.\" +\n        (definition.completion === undefined\n          ? \"\"\n          : ` When calling the \"${definition.completion.tool}\" completion Tool, follow its parameter schema instead and call it as the sole application Tool Call, after receiving any other needed application Tool results; completed provider Tool results may accompany it; the engine projects its successful result into the Agent output.`),\n    );\n  }\n  try {\n    const jsonSchema = Tool.getJsonSchemaFromSchema(definition.output);\n\n    return rendered(\n      `${contractDirective(definition)}\\n\\n${JSON.stringify(jsonSchema, undefined, 2)}`,\n    );\n  } catch (cause) {\n    return {\n      _tag: \"unrenderable\",\n      reason: cause instanceof Error ? cause.message : String(cause),\n    };\n  }\n};\n\n// Native incremental-response tracking recognizes message objects, not rendered text.\n// Weak keys retain neither discarded definitions nor their Schema graphs.\nconst outputContracts = new WeakMap<Agent.AnyDefinition, OutputContract>();\n\nexport const outputSchemaContract = (definition: Agent.AnyDefinition): OutputContract => {\n  const cached = outputContracts.get(definition);\n\n  if (cached !== undefined) return cached;\n  const base = renderOutputSchemaContract(definition);\n  const alternatives = definition.completionFromTools ?? [];\n\n  const contract =\n    base._tag === \"rendered\" && alternatives.length > 0\n      ? rendered(\n          `The following action Tools may complete the Run from their successful canonical result: ${alternatives.map((declaration) => JSON.stringify(declaration.tool)).join(\", \")}. ` +\n            \"Call such a Tool as the sole application Tool Call, following its parameter schema. Completed provider Tool results may accompany it. It may complete the Run only when it satisfies the whole request. \" +\n            \"An incomplete or pending result continues the Run. These actions are unavailable during finalization after budget exhaustion.\\n\\n\" +\n            base.message,\n        )\n      : base;\n\n  outputContracts.set(definition, contract);\n\n  return contract;\n};\n\n/**\n * Insert the contract immediately after the request prompt's last system\n * message (position 0 when none exists), extending the last contiguous\n * system block. Placement is normative: the Anthropic provider replaces its\n * top-level `system` parameter per contiguous system group, so only the last\n * block survives there — an isolated trailing contract message would discard\n * the author's instructions, and a contract inside an earlier block (for\n * example a resumed Thread's original instructions ahead of this Run's\n * evaluated instructions) would itself be discarded. Extending the last\n * block keeps author content and contract together on every provider and\n * preserves the author's per-message cache-control annotations.\n */\nexport const insertOutputContract = (\n  prompt: Prompt.Prompt,\n  message: Prompt.SystemMessage,\n): Prompt.Prompt => {\n  const content = prompt.content;\n  let insertAt = 0;\n\n  for (let index = 0; index < content.length; index += 1) {\n    if (content[index]?.role === \"system\") {\n      insertAt = index + 1;\n    }\n  }\n\n  return Prompt.fromMessages([...content.slice(0, insertAt), message, ...content.slice(insertAt)]);\n};\n"],"mappings":";;;AAKA,MAAM,yBAAyB;;;;;;;;;;;;;AAc/B,MAAa,cACX,WACiB,OAAO,SAAS,GAAG,yBAAyB,OAAO,CAAC;AAEvE,MAAa,gBAAgB,WAC3B,OAAO,mBAAmB,MAAM,CAAC,GAAG,4BAA4B;AAoClE,MAAM,qBAAqB,eACzB,WAAW,eAAe,KAAA,IACtB,kNAGA,yEAAyE,WAAW,WAAW,KAAK,mMAErD,WAAW,WAAW,KAAK;AAEhF,MAAM,+BAA+B,MAAc,oBACjD,0BAA0B,kBAAkB,uBAAuB,gBAAgB,2CAA2C,KAAK,UAAU,IAAI,EAAE;;;;;;;;;AAYrJ,MAAM,YAAY,aAAqC;CACrD,MAAM;CACN;CACA,MAAM,OAAO,YAAY,UAAU,EAAE,SAAS,QAAQ,CAAC;AACzD;AAEA,MAAM,8BAA8B,eAAoD;CACtF,IAAI,WAAW,YAAY,aAAa,MACtC,OAAO,SACL,4BACE,WAAW,WAAW,OACrB,WAAW,qBAAqB,UAAU,KAAK,CAClD,CACF;CAEF,IAAI,aAAa,WAAW,MAAM,GAChC,OAAO,SACL,+LAEG,WAAW,eAAe,KAAA,IACvB,KACA,sBAAsB,WAAW,WAAW,KAAK,qRACzD;CAEF,IAAI;EACF,MAAM,aAAa,KAAK,wBAAwB,WAAW,MAAM;EAEjE,OAAO,SACL,GAAG,kBAAkB,UAAU,EAAE,MAAM,KAAK,UAAU,YAAY,KAAA,GAAW,CAAC,GAChF;CACF,SAAS,OAAO;EACd,OAAO;GACL,MAAM;GACN,QAAQ,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK;EAC/D;CACF;AACF;AAIA,MAAM,kCAAkB,IAAI,QAA6C;AAEzE,MAAa,wBAAwB,eAAoD;CACvF,MAAM,SAAS,gBAAgB,IAAI,UAAU;CAE7C,IAAI,WAAW,KAAA,GAAW,OAAO;CACjC,MAAM,OAAO,2BAA2B,UAAU;CAClD,MAAM,eAAe,WAAW,uBAAuB,CAAC;CAExD,MAAM,WACJ,KAAK,SAAS,cAAc,aAAa,SAAS,IAC9C,SACE,2FAA2F,aAAa,KAAK,gBAAgB,KAAK,UAAU,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE;;IAGxK,KAAK,OACT,IACA;CAEN,gBAAgB,IAAI,YAAY,QAAQ;CAExC,OAAO;AACT;;;;;;;;;;;;;AAcA,MAAa,wBACX,QACA,YACkB;CAClB,MAAM,UAAU,OAAO;CACvB,IAAI,WAAW;CAEf,KAAK,IAAI,QAAQ,GAAG,QAAQ,QAAQ,QAAQ,SAAS,GACnD,IAAI,QAAQ,MAAM,EAAE,SAAS,UAC3B,WAAW,QAAQ;CAIvB,OAAO,OAAO,aAAa;EAAC,GAAG,QAAQ,MAAM,GAAG,QAAQ;EAAG;EAAS,GAAG,QAAQ,MAAM,QAAQ;CAAC,CAAC;AACjG"}
+{"version":3,"file":"output-contract-CANJJGA5.mjs","names":[],"sources":["../src/engine/internal/output-contract.ts"],"sourcesContent":["import { Schema } from \"effect\";\nimport { Prompt, Tool } from \"effect/unstable/ai\";\n\nimport type * as Agent from \"../../core/Agent.ts\";\n\nconst outputFormatAnnotation = \"@effect-agent/engine/Output/format\";\n\n/**\n * Declare ordinary assistant text as an Agent's final-output wire format. Apply this to the\n * complete output Schema after composing transformations. Its encoded type must be string;\n * decoding, checks, transformations, and service requirements remain owned by that Schema.\n * Text is preserved verbatim, including whitespace, quotes, and an empty reply when allowed.\n * Required completion Tools still take precedence. Unmarked Schemas use JSON final output.\n *\n * @example\n * ```ts\n * output: Output.text(Schema.String.check(Schema.isMaxLength(20_000)))\n * ```\n */\nexport const textOutput = <S extends Schema.Top & { readonly Encoded: string }>(\n  schema: S,\n): S[\"Rebuild\"] => schema.annotate({ [outputFormatAnnotation]: \"text\" });\n\nexport const isTextOutput = (schema: Schema.Top): boolean =>\n  Schema.resolveAnnotations(schema)?.[outputFormatAnnotation] === \"text\";\n\n/**\n * Model-visible final-output contract (RUN-028).\n *\n * For ordinary text completion, the interpreter's only output-conformance\n * point is `decodeFinalOutput`, which validates the final text after the\n * model has already finished. This module renders that Schema's wire contract\n * with the same Effect AI derivation the providers use for Tool parameters\n * and states it as one framework-owned system message on every model request.\n * A required completion Tool instead gets a native-tool directive: its Tool\n * parameter Schema is already carried by the provider request, and ordinary\n * final text is not an allowed completion path.\n *\n * The contract is a per-request projection of the immutable definition —\n * exactly like the Tool schemas the request already carries. It is inserted\n * at model-request materialization (after context preparation) and never\n * into official history, so canonical records, run events, and the committed\n * DN/DC golden are unchanged.\n *\n */\n\n/** Rendering outcome for one definition's output Schema. */\ntype OutputContract =\n  | {\n      readonly _tag: \"rendered\";\n      /** The complete system-message text: directive plus the derived JSON Schema. */\n      readonly message: string;\n      readonly part: Prompt.SystemMessage;\n    }\n  | {\n      readonly _tag: \"unrenderable\";\n      /** Why Effect AI's JSON-Schema derivation rejected the output Schema. */\n      readonly reason: string;\n    };\n\nconst contractDirective = (definition: Agent.AnyDefinition): string =>\n  definition.completion === undefined\n    ? \"Final output contract: when the task is complete, the final assistant message must be only \" +\n      \"JSON that is valid against this JSON Schema — no prose, no Markdown code fences, nothing \" +\n      \"before or after the JSON.\"\n    : `Final output contract: when the task is complete without calling the \"${definition.completion.tool}\" completion Tool, the final assistant message must be only ` +\n      \"JSON that is valid against this JSON Schema — no prose, no Markdown code fences, nothing \" +\n      `before or after the JSON. When calling the \"${definition.completion.tool}\" completion Tool, never place this private Agent output JSON in any Tool argument; follow the Tool's parameter schema instead. Call it as the sole application Tool Call, after receiving any other needed application Tool results. Completed provider Tool results may accompany it. The engine projects the successful completion Tool result into the Agent output.`;\n\nconst requiredCompletionDirective = (tool: string, hasAlternatives: boolean): string =>\n  `Final output contract: ${hasAlternatives ? \"otherwise complete\" : \"complete only\"} by calling the required completion Tool ${JSON.stringify(tool)} ` +\n  \"as the sole application Tool Call in its batch. Completed provider Tool results may accompany it. Do not emit an ordinary final assistant text answer. \" +\n  \"The Tool's canonical parameters and successful result are projected and validated as the Agent output.\";\n\n/**\n * Render the model-visible final-output contract for one definition. The\n * derivation and message identity are stable for an immutable definition.\n * An output Schema the Effect AI derivation cannot represent is reported as\n * `unrenderable`; the caller falls back to the prior behavior — the contract\n * is guidance, and a Schema that decodes but does not render must not become\n * a new failure mode.\n */\nconst rendered = (message: string): OutputContract => ({\n  _tag: \"rendered\",\n  message,\n  part: Prompt.makeMessage(\"system\", { content: message }),\n});\n\nconst renderOutputSchemaContract = (definition: Agent.AnyDefinition): OutputContract => {\n  if (definition.completion?.required === true) {\n    return rendered(\n      requiredCompletionDirective(\n        definition.completion.tool,\n        (definition.completionFromTools?.length ?? 0) > 0,\n      ),\n    );\n  }\n  if (isTextOutput(definition.output)) {\n    return rendered(\n      \"Final output contract: write the final reply as ordinary assistant text, without JSON wrapping. \" +\n        \"An empty reply is valid only when allowed by the output Schema and the task instructions.\" +\n        (definition.completion === undefined\n          ? \"\"\n          : ` When calling the \"${definition.completion.tool}\" completion Tool, follow its parameter schema instead and call it as the sole application Tool Call, after receiving any other needed application Tool results; completed provider Tool results may accompany it; the engine projects its successful result into the Agent output.`),\n    );\n  }\n  try {\n    const jsonSchema = Tool.getJsonSchemaFromSchema(definition.output);\n\n    return rendered(\n      `${contractDirective(definition)}\\n\\n${JSON.stringify(jsonSchema, undefined, 2)}`,\n    );\n  } catch (cause) {\n    return {\n      _tag: \"unrenderable\",\n      reason: cause instanceof Error ? cause.message : String(cause),\n    };\n  }\n};\n\n// Native incremental-response tracking recognizes message objects, not rendered text.\n// Weak keys retain neither discarded definitions nor their Schema graphs.\nconst outputContracts = new WeakMap<Agent.AnyDefinition, OutputContract>();\n\nexport const outputSchemaContract = (definition: Agent.AnyDefinition): OutputContract => {\n  const cached = outputContracts.get(definition);\n\n  if (cached !== undefined) return cached;\n  const base = renderOutputSchemaContract(definition);\n  const alternatives = definition.completionFromTools ?? [];\n\n  const contract =\n    base._tag === \"rendered\" && alternatives.length > 0\n      ? rendered(\n          `The following action Tools may complete the Run from their successful canonical result: ${alternatives.map((declaration) => JSON.stringify(declaration.tool)).join(\", \")}. ` +\n            \"Call such a Tool as the sole application Tool Call, following its parameter schema. Completed provider Tool results may accompany it. It may complete the Run only when it satisfies the whole request. \" +\n            \"An incomplete or pending result continues the Run. These actions are unavailable during finalization after budget exhaustion.\\n\\n\" +\n            base.message,\n        )\n      : base;\n\n  outputContracts.set(definition, contract);\n\n  return contract;\n};\n\nconst sameSystemMessage = Schema.toEquivalence(Prompt.SystemMessage);\n\n/**\n * Project system instructions and the output contract into one leading block.\n * Repeated Runs append instructions to canonical history; letting those copies\n * move the contract breaks the preceding user/tool prefix used by provider caches.\n * Keep the last occurrence of each equivalent system message, preserving the\n * precedence of distinct instructions and their native provider options.\n *\n * This runs after preparation and compaction. Canonical messages, protected\n * instruction/input spans and compaction coverage retain their original positions.\n * Conversation order and message identities are unchanged. A single system block\n * also prevents Anthropic's last-system-group conversion from discarding earlier\n * application instructions or the output contract.\n */\nexport const prepareModelPrompt = (\n  prompt: Prompt.Prompt,\n  contract: Prompt.SystemMessage | undefined,\n): Prompt.Prompt => {\n  const systems: Array<Prompt.SystemMessage> = [];\n  const conversation: Array<Prompt.Message> = [];\n  const seen = new Map<string, Array<Prompt.SystemMessage>>();\n\n  for (let index = prompt.content.length - 1; index >= 0; index -= 1) {\n    const message = prompt.content[index];\n\n    if (message === undefined) continue;\n    if (message.role !== \"system\") {\n      conversation.push(message);\n      continue;\n    }\n    const variants = seen.get(message.content);\n\n    if (variants?.some((previous) => sameSystemMessage(previous, message))) continue;\n    if (variants === undefined) seen.set(message.content, [message]);\n    else variants.push(message);\n    systems.push(message);\n  }\n\n  return Prompt.fromMessages([\n    ...systems.reverse(),\n    ...(contract === undefined ? [] : [contract]),\n    ...conversation.reverse(),\n  ]);\n};\n"],"mappings":";;;AAKA,MAAM,yBAAyB;;;;;;;;;;;;;AAc/B,MAAa,cACX,WACiB,OAAO,SAAS,GAAG,yBAAyB,OAAO,CAAC;AAEvE,MAAa,gBAAgB,WAC3B,OAAO,mBAAmB,MAAM,CAAC,GAAG,4BAA4B;AAoClE,MAAM,qBAAqB,eACzB,WAAW,eAAe,KAAA,IACtB,kNAGA,yEAAyE,WAAW,WAAW,KAAK,mMAErD,WAAW,WAAW,KAAK;AAEhF,MAAM,+BAA+B,MAAc,oBACjD,0BAA0B,kBAAkB,uBAAuB,gBAAgB,2CAA2C,KAAK,UAAU,IAAI,EAAE;;;;;;;;;AAYrJ,MAAM,YAAY,aAAqC;CACrD,MAAM;CACN;CACA,MAAM,OAAO,YAAY,UAAU,EAAE,SAAS,QAAQ,CAAC;AACzD;AAEA,MAAM,8BAA8B,eAAoD;CACtF,IAAI,WAAW,YAAY,aAAa,MACtC,OAAO,SACL,4BACE,WAAW,WAAW,OACrB,WAAW,qBAAqB,UAAU,KAAK,CAClD,CACF;CAEF,IAAI,aAAa,WAAW,MAAM,GAChC,OAAO,SACL,+LAEG,WAAW,eAAe,KAAA,IACvB,KACA,sBAAsB,WAAW,WAAW,KAAK,qRACzD;CAEF,IAAI;EACF,MAAM,aAAa,KAAK,wBAAwB,WAAW,MAAM;EAEjE,OAAO,SACL,GAAG,kBAAkB,UAAU,EAAE,MAAM,KAAK,UAAU,YAAY,KAAA,GAAW,CAAC,GAChF;CACF,SAAS,OAAO;EACd,OAAO;GACL,MAAM;GACN,QAAQ,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK;EAC/D;CACF;AACF;AAIA,MAAM,kCAAkB,IAAI,QAA6C;AAEzE,MAAa,wBAAwB,eAAoD;CACvF,MAAM,SAAS,gBAAgB,IAAI,UAAU;CAE7C,IAAI,WAAW,KAAA,GAAW,OAAO;CACjC,MAAM,OAAO,2BAA2B,UAAU;CAClD,MAAM,eAAe,WAAW,uBAAuB,CAAC;CAExD,MAAM,WACJ,KAAK,SAAS,cAAc,aAAa,SAAS,IAC9C,SACE,2FAA2F,aAAa,KAAK,gBAAgB,KAAK,UAAU,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE;;IAGxK,KAAK,OACT,IACA;CAEN,gBAAgB,IAAI,YAAY,QAAQ;CAExC,OAAO;AACT;AAEA,MAAM,oBAAoB,OAAO,cAAc,OAAO,aAAa;;;;;;;;;;;;;;AAenE,MAAa,sBACX,QACA,aACkB;CAClB,MAAM,UAAuC,CAAC;CAC9C,MAAM,eAAsC,CAAC;CAC7C,MAAM,uBAAO,IAAI,IAAyC;CAE1D,KAAK,IAAI,QAAQ,OAAO,QAAQ,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG;EAClE,MAAM,UAAU,OAAO,QAAQ;EAE/B,IAAI,YAAY,KAAA,GAAW;EAC3B,IAAI,QAAQ,SAAS,UAAU;GAC7B,aAAa,KAAK,OAAO;GACzB;EACF;EACA,MAAM,WAAW,KAAK,IAAI,QAAQ,OAAO;EAEzC,IAAI,UAAU,MAAM,aAAa,kBAAkB,UAAU,OAAO,CAAC,GAAG;EACxE,IAAI,aAAa,KAAA,GAAW,KAAK,IAAI,QAAQ,SAAS,CAAC,OAAO,CAAC;OAC1D,SAAS,KAAK,OAAO;EAC1B,QAAQ,KAAK,OAAO;CACtB;CAEA,OAAO,OAAO,aAAa;EACzB,GAAG,QAAQ,QAAQ;EACnB,GAAI,aAAa,KAAA,IAAY,CAAC,IAAI,CAAC,QAAQ;EAC3C,GAAG,aAAa,QAAQ;CAC1B,CAAC;AACH"}

package/package.json

@@ -1 +1 @@
-{"name":"effect-agent","version":"0.1.0-beta.139","devDependencies":{"@effect/platform-node":"4.0.0-rc.117","@effect/vitest":"4.0.0-rc.117","effect":"4.0.0-rc.117","typescript":"7.0.2","vite-plus":"0.3.2"},"peerDependencies":{"effect":"^4.0.0-rc.117"},"exports":{".":{"types":"./dist/index.d.mts","default":"./dist/index.mjs"},"./activity-store":{"types":"./dist/durable/ActivityStore.d.mts","default":"./dist/durable/ActivityStore.mjs"},"./admin":{"types":"./dist/durable/Admin.d.mts","default":"./dist/durable/Admin.mjs"},"./agent":{"types":"./dist/core/Agent.d.mts","default":"./dist/core/Agent.mjs"},"./agent-error":{"types":"./dist/core/AgentError.d.mts","default":"./dist/core/AgentError.mjs"},"./agent-policy":{"types":"./dist/core/AgentPolicy.d.mts","default":"./dist/core/AgentPolicy.mjs"},"./agent-registration":{"types":"./dist/durable/AgentRegistration.d.mts","default":"./dist/durable/AgentRegistration.mjs"},"./agent-runtime":{"types":"./dist/engine/AgentRuntime.d.mts","default":"./dist/engine/AgentRuntime.mjs"},"./agent-updates":{"types":"./dist/core/AgentUpdates.d.mts","default":"./dist/core/AgentUpdates.mjs"},"./approval":{"types":"./dist/capabilities/Approval.d.mts","default":"./dist/capabilities/Approval.mjs"},"./budget":{"types":"./dist/capabilities/Budget.d.mts","default":"./dist/capabilities/Budget.mjs"},"./code-executor":{"types":"./dist/sandbox/CodeExecutor.d.mts","default":"./dist/sandbox/CodeExecutor.mjs"},"./code-mode":{"types":"./dist/capabilities/CodeMode.d.mts","default":"./dist/capabilities/CodeMode.mjs"},"./commands":{"types":"./dist/capabilities/Commands.d.mts","default":"./dist/capabilities/Commands.mjs"},"./committed-activity":{"types":"./dist/durable/CommittedActivity.d.mts","default":"./dist/durable/CommittedActivity.mjs"},"./compaction":{"types":"./dist/engine/Compaction.d.mts","default":"./dist/engine/Compaction.mjs"},"./context-compactor":{"types":"./dist/engine/ContextCompactor.d.mts","default":"./dist/engine/ContextCompactor.mjs"},"./context-history":{"types":"./dist/engine/ContextHistory.d.mts","default":"./dist/engine/ContextHistory.mjs"},"./context-tools":{"types":"./dist/capabilities/ContextTools.d.mts","default":"./dist/capabilities/ContextTools.mjs"},"./context-window":{"types":"./dist/engine/ContextWindow.d.mts","default":"./dist/engine/ContextWindow.mjs"},"./digest":{"types":"./dist/durable/Digest.d.mts","default":"./dist/durable/Digest.mjs"},"./durable-agent-runtime":{"types":"./dist/durable/DurableAgentRuntime.d.mts","default":"./dist/durable/DurableAgentRuntime.mjs"},"./durable-failpoint":{"types":"./dist/durable/DurableFailpoint.d.mts","default":"./dist/durable/DurableFailpoint.mjs"},"./durable-step":{"types":"./dist/engine/DurableStep.d.mts","default":"./dist/engine/DurableStep.mjs"},"./event-source":{"types":"./dist/durable/EventSource.d.mts","default":"./dist/durable/EventSource.mjs"},"./failure-diagnostic":{"types":"./dist/core/FailureDiagnostic.d.mts","default":"./dist/core/FailureDiagnostic.mjs"},"./git-hub-workflow-source":{"types":"./dist/durable/GitHubWorkflowSource.d.mts","default":"./dist/durable/GitHubWorkflowSource.mjs"},"./id-generator":{"types":"./dist/core/IdGenerator.d.mts","default":"./dist/core/IdGenerator.mjs"},"./identifiers":{"types":"./dist/core/Identifiers.d.mts","default":"./dist/core/Identifiers.mjs"},"./in-memory":{"types":"./dist/InMemory.d.mts","default":"./dist/InMemory.mjs"},"./interactive-browser":{"types":"./dist/sandbox/InteractiveBrowser.d.mts","default":"./dist/sandbox/InteractiveBrowser.mjs"},"./mcp":{"types":"./dist/capabilities/Mcp.d.mts","default":"./dist/capabilities/Mcp.mjs"},"./mcp-client":{"types":"./dist/capabilities/McpClient.d.mts","default":"./dist/capabilities/McpClient.mjs"},"./memory":{"types":"./dist/core/Memory.d.mts","default":"./dist/core/Memory.mjs"},"./memory-namespace":{"types":"./dist/core/MemoryNamespace.d.mts","default":"./dist/core/MemoryNamespace.mjs"},"./memory-notes":{"types":"./dist/capabilities/MemoryNotes.d.mts","default":"./dist/capabilities/MemoryNotes.mjs"},"./memory-reference":{"types":"./dist/core/MemoryReference.d.mts","default":"./dist/core/MemoryReference.mjs"},"./memory-revalidation":{"types":"./dist/core/MemoryRevalidation.d.mts","default":"./dist/core/MemoryRevalidation.mjs"},"./memory-store":{"types":"./dist/core/MemoryStore.d.mts","default":"./dist/core/MemoryStore.mjs"},"./message-delivery":{"types":"./dist/durable/MessageDelivery.d.mts","default":"./dist/durable/MessageDelivery.mjs"},"./messaging":{"types":"./dist/capabilities/Messaging.d.mts","default":"./dist/capabilities/Messaging.mjs"},"./messaging-host":{"types":"./dist/engine/MessagingHost.d.mts","default":"./dist/engine/MessagingHost.mjs"},"./model-context":{"types":"./dist/capabilities/ModelContext.d.mts","default":"./dist/capabilities/ModelContext.mjs"},"./operation-authorizer":{"types":"./dist/durable/OperationAuthorizer.d.mts","default":"./dist/durable/OperationAuthorizer.mjs"},"./output":{"types":"./dist/engine/Output.d.mts","default":"./dist/engine/Output.mjs"},"./page-capture":{"types":"./dist/sandbox/PageCapture.d.mts","default":"./dist/sandbox/PageCapture.mjs"},"./page-crawl":{"types":"./dist/sandbox/PageCrawl.d.mts","default":"./dist/sandbox/PageCrawl.mjs"},"./page-screenshot":{"types":"./dist/sandbox/PageScreenshot.d.mts","default":"./dist/sandbox/PageScreenshot.mjs"},"./persistent-history":{"types":"./dist/durable/PersistentHistory.d.mts","default":"./dist/durable/PersistentHistory.mjs"},"./prepared-input-admission":{"types":"./dist/durable/PreparedInputAdmission.d.mts","default":"./dist/durable/PreparedInputAdmission.mjs"},"./receipt":{"types":"./dist/core/Receipt.d.mts","default":"./dist/core/Receipt.mjs"},"./records":{"types":"./dist/durable/Records.d.mts","default":"./dist/durable/Records.mjs"},"./recovery":{"types":"./dist/durable/Recovery.d.mts","default":"./dist/durable/Recovery.mjs"},"./redaction":{"types":"./dist/capabilities/Redaction.d.mts","default":"./dist/capabilities/Redaction.mjs"},"./remembering":{"types":"./dist/capabilities/Remembering.d.mts","default":"./dist/capabilities/Remembering.mjs"},"./remembering-store":{"types":"./dist/core/RememberingStore.d.mts","default":"./dist/core/RememberingStore.mjs"},"./run-event":{"types":"./dist/core/RunEvent.d.mts","default":"./dist/core/RunEvent.mjs"},"./run-event-sink":{"types":"./dist/engine/RunEventSink.d.mts","default":"./dist/engine/RunEventSink.mjs"},"./run-hooks":{"types":"./dist/capabilities/RunHooks.d.mts","default":"./dist/capabilities/RunHooks.mjs"},"./run-journal":{"types":"./dist/durable/RunJournal.d.mts","default":"./dist/durable/RunJournal.mjs"},"./run-options":{"types":"./dist/engine/RunOptions.d.mts","default":"./dist/engine/RunOptions.mjs"},"./run-policy-usage":{"types":"./dist/core/RunPolicyUsage.d.mts","default":"./dist/core/RunPolicyUsage.mjs"},"./sandbox":{"types":"./dist/sandbox/Sandbox.d.mts","default":"./dist/sandbox/Sandbox.mjs"},"./schedule":{"types":"./dist/durable/Schedule.d.mts","default":"./dist/durable/Schedule.mjs"},"./schedule-transition":{"types":"./dist/durable/ScheduleTransition.d.mts","default":"./dist/durable/ScheduleTransition.mjs"},"./scheduling":{"types":"./dist/durable/Scheduling.d.mts","default":"./dist/durable/Scheduling.mjs"},"./semantic-memory":{"types":"./dist/capabilities/SemanticMemory.d.mts","default":"./dist/capabilities/SemanticMemory.mjs"},"./semantic-memory-index":{"types":"./dist/core/SemanticMemoryIndex.d.mts","default":"./dist/core/SemanticMemoryIndex.mjs"},"./semantic-memory-revalidation":{"types":"./dist/core/SemanticMemoryRevalidation.d.mts","default":"./dist/core/SemanticMemoryRevalidation.mjs"},"./sql-thread-native-reads":{"types":"./dist/durable/SqlThreadNativeReads.d.mts","default":"./dist/durable/SqlThreadNativeReads.mjs"},"./sql-memory-store":{"types":"./dist/durable/SqlMemoryStore.d.mts","default":"./dist/durable/SqlMemoryStore.mjs"},"./sql-message-delivery-store":{"types":"./dist/durable/SqlMessageDeliveryStore.d.mts","default":"./dist/durable/SqlMessageDeliveryStore.mjs"},"./sql-storage-v2-upgrade":{"types":"./dist/durable/SqlStorageV2Upgrade.d.mts","default":"./dist/durable/SqlStorageV2Upgrade.mjs"},"./sql-subscription-store":{"types":"./dist/durable/SqlSubscriptionStore.d.mts","default":"./dist/durable/SqlSubscriptionStore.mjs"},"./subagent":{"types":"./dist/capabilities/Subagent.d.mts","default":"./dist/capabilities/Subagent.mjs"},"./subagent-contract":{"types":"./dist/core/SubagentContract.d.mts","default":"./dist/core/SubagentContract.mjs"},"./subagent-host":{"types":"./dist/engine/SubagentHost.d.mts","default":"./dist/engine/SubagentHost.mjs"},"./subagent-reservations":{"types":"./dist/capabilities/SubagentReservations.d.mts","default":"./dist/capabilities/SubagentReservations.mjs"},"./submission-ledger":{"types":"./dist/durable/SubmissionLedger.d.mts","default":"./dist/durable/SubmissionLedger.mjs"},"./submission-status":{"types":"./dist/durable/SubmissionStatus.d.mts","default":"./dist/durable/SubmissionStatus.mjs"},"./subscription":{"types":"./dist/durable/Subscription.d.mts","default":"./dist/durable/Subscription.mjs"},"./subscription-input":{"types":"./dist/durable/SubscriptionInput.d.mts","default":"./dist/durable/SubscriptionInput.mjs"},"./subscription-tools":{"types":"./dist/durable/SubscriptionTools.d.mts","default":"./dist/durable/SubscriptionTools.mjs"},"./subscription-transition":{"types":"./dist/durable/SubscriptionTransition.d.mts","default":"./dist/durable/SubscriptionTransition.mjs"},"./subscriptions":{"types":"./dist/durable/Subscriptions.d.mts","default":"./dist/durable/Subscriptions.mjs"},"./testing/certification":{"types":"./dist/durable/Certification.d.mts","default":"./dist/durable/Certification.mjs"},"./testing/durable-failpoint-test-control":{"types":"./dist/durable/DurableFailpointTestControl.d.mts","default":"./dist/durable/DurableFailpointTestControl.mjs"},"./testing/message-delivery-store-conformance":{"types":"./dist/durable/MessageDeliveryStoreConformance.d.mts","default":"./dist/durable/MessageDeliveryStoreConformance.mjs"},"./testing/schedule-store-conformance":{"types":"./dist/durable/ScheduleStoreConformance.d.mts","default":"./dist/durable/ScheduleStoreConformance.mjs"},"./testing/submission-ledger-conformance":{"types":"./dist/durable/SubmissionLedgerConformance.d.mts","default":"./dist/durable/SubmissionLedgerConformance.mjs"},"./testing/subscription-store-conformance":{"types":"./dist/durable/SubscriptionStoreConformance.d.mts","default":"./dist/durable/SubscriptionStoreConformance.mjs"},"./testing/thread-store-conformance":{"types":"./dist/durable/ThreadStoreConformance.d.mts","default":"./dist/durable/ThreadStoreConformance.mjs"},"./thread":{"types":"./dist/core/Thread.d.mts","default":"./dist/core/Thread.mjs"},"./thread-context-history":{"types":"./dist/durable/ThreadContextHistory.d.mts","default":"./dist/durable/ThreadContextHistory.mjs"},"./thread-context-history-projection":{"types":"./dist/durable/ThreadContextHistoryProjection.d.mts","default":"./dist/durable/ThreadContextHistoryProjection.mjs"},"./thread-history":{"types":"./dist/engine/ThreadHistory.d.mts","default":"./dist/engine/ThreadHistory.mjs"},"./thread-invariants":{"types":"./dist/durable/ThreadInvariants.d.mts","default":"./dist/durable/ThreadInvariants.mjs"},"./thread-projection":{"types":"./dist/durable/ThreadProjection.d.mts","default":"./dist/durable/ThreadProjection.mjs"},"./thread-projection-maintenance":{"types":"./dist/durable/ThreadProjectionMaintenance.d.mts","default":"./dist/durable/ThreadProjectionMaintenance.mjs"},"./thread-store":{"types":"./dist/durable/ThreadStore.d.mts","default":"./dist/durable/ThreadStore.mjs"},"./tool-broker":{"types":"./dist/engine/ToolBroker.d.mts","default":"./dist/engine/ToolBroker.mjs"},"./tool-discovery":{"types":"./dist/capabilities/ToolDiscovery.d.mts","default":"./dist/capabilities/ToolDiscovery.mjs"},"./tool-exposure":{"types":"./dist/ToolExposure.d.mts","default":"./dist/ToolExposure.mjs"},"./tool-reconciler":{"types":"./dist/durable/ToolReconciler.d.mts","default":"./dist/durable/ToolReconciler.mjs"},"./tool-result":{"types":"./dist/core/ToolResult.d.mts","default":"./dist/core/ToolResult.mjs"},"./usage":{"types":"./dist/core/Usage.d.mts","default":"./dist/core/Usage.mjs"},"./wake-scheduler":{"types":"./dist/durable/WakeScheduler.d.mts","default":"./dist/durable/WakeScheduler.mjs"},"./web-capture":{"types":"./dist/capabilities/WebCapture.d.mts","default":"./dist/capabilities/WebCapture.mjs"},"./web-search":{"types":"./dist/capabilities/WebSearch.d.mts","default":"./dist/capabilities/WebSearch.mjs"},"./worker":{"types":"./dist/core/Worker.d.mts","default":"./dist/core/Worker.mjs"},"./worker-host":{"types":"./dist/durable/WorkerHost.d.mts","default":"./dist/durable/WorkerHost.mjs"}},"description":"Effect-native agents, execution, subagents, and sandbox contracts in one tree-shakeable package.","license":"MIT","repository":{"type":"git","url":"git+https://github.com/danieljvdm/effect-agent.git","directory":"packages/effect-agent"},"files":["dist","src"],"type":"module","sideEffects":[],"publishConfig":{"access":"public"},"scripts":{"build":"vp pack","check":"tsc --noEmit -p tsconfig.json","test":"vp test --passWithNoTests"}}
+{"name":"effect-agent","version":"0.1.0-beta.140","devDependencies":{"@effect/platform-node":"4.0.0-rc.117","@effect/vitest":"4.0.0-rc.117","effect":"4.0.0-rc.117","typescript":"7.0.2","vite-plus":"0.3.2"},"peerDependencies":{"effect":"^4.0.0-rc.117"},"exports":{".":{"types":"./dist/index.d.mts","default":"./dist/index.mjs"},"./activity-store":{"types":"./dist/durable/ActivityStore.d.mts","default":"./dist/durable/ActivityStore.mjs"},"./admin":{"types":"./dist/durable/Admin.d.mts","default":"./dist/durable/Admin.mjs"},"./agent":{"types":"./dist/core/Agent.d.mts","default":"./dist/core/Agent.mjs"},"./agent-error":{"types":"./dist/core/AgentError.d.mts","default":"./dist/core/AgentError.mjs"},"./agent-policy":{"types":"./dist/core/AgentPolicy.d.mts","default":"./dist/core/AgentPolicy.mjs"},"./agent-registration":{"types":"./dist/durable/AgentRegistration.d.mts","default":"./dist/durable/AgentRegistration.mjs"},"./agent-runtime":{"types":"./dist/engine/AgentRuntime.d.mts","default":"./dist/engine/AgentRuntime.mjs"},"./agent-updates":{"types":"./dist/core/AgentUpdates.d.mts","default":"./dist/core/AgentUpdates.mjs"},"./approval":{"types":"./dist/capabilities/Approval.d.mts","default":"./dist/capabilities/Approval.mjs"},"./budget":{"types":"./dist/capabilities/Budget.d.mts","default":"./dist/capabilities/Budget.mjs"},"./code-executor":{"types":"./dist/sandbox/CodeExecutor.d.mts","default":"./dist/sandbox/CodeExecutor.mjs"},"./code-mode":{"types":"./dist/capabilities/CodeMode.d.mts","default":"./dist/capabilities/CodeMode.mjs"},"./commands":{"types":"./dist/capabilities/Commands.d.mts","default":"./dist/capabilities/Commands.mjs"},"./committed-activity":{"types":"./dist/durable/CommittedActivity.d.mts","default":"./dist/durable/CommittedActivity.mjs"},"./compaction":{"types":"./dist/engine/Compaction.d.mts","default":"./dist/engine/Compaction.mjs"},"./context-compactor":{"types":"./dist/engine/ContextCompactor.d.mts","default":"./dist/engine/ContextCompactor.mjs"},"./context-history":{"types":"./dist/engine/ContextHistory.d.mts","default":"./dist/engine/ContextHistory.mjs"},"./context-tools":{"types":"./dist/capabilities/ContextTools.d.mts","default":"./dist/capabilities/ContextTools.mjs"},"./context-window":{"types":"./dist/engine/ContextWindow.d.mts","default":"./dist/engine/ContextWindow.mjs"},"./digest":{"types":"./dist/durable/Digest.d.mts","default":"./dist/durable/Digest.mjs"},"./durable-agent-runtime":{"types":"./dist/durable/DurableAgentRuntime.d.mts","default":"./dist/durable/DurableAgentRuntime.mjs"},"./durable-failpoint":{"types":"./dist/durable/DurableFailpoint.d.mts","default":"./dist/durable/DurableFailpoint.mjs"},"./durable-step":{"types":"./dist/engine/DurableStep.d.mts","default":"./dist/engine/DurableStep.mjs"},"./event-source":{"types":"./dist/durable/EventSource.d.mts","default":"./dist/durable/EventSource.mjs"},"./failure-diagnostic":{"types":"./dist/core/FailureDiagnostic.d.mts","default":"./dist/core/FailureDiagnostic.mjs"},"./git-hub-workflow-source":{"types":"./dist/durable/GitHubWorkflowSource.d.mts","default":"./dist/durable/GitHubWorkflowSource.mjs"},"./id-generator":{"types":"./dist/core/IdGenerator.d.mts","default":"./dist/core/IdGenerator.mjs"},"./identifiers":{"types":"./dist/core/Identifiers.d.mts","default":"./dist/core/Identifiers.mjs"},"./in-memory":{"types":"./dist/InMemory.d.mts","default":"./dist/InMemory.mjs"},"./interactive-browser":{"types":"./dist/sandbox/InteractiveBrowser.d.mts","default":"./dist/sandbox/InteractiveBrowser.mjs"},"./mcp":{"types":"./dist/capabilities/Mcp.d.mts","default":"./dist/capabilities/Mcp.mjs"},"./mcp-client":{"types":"./dist/capabilities/McpClient.d.mts","default":"./dist/capabilities/McpClient.mjs"},"./memory":{"types":"./dist/core/Memory.d.mts","default":"./dist/core/Memory.mjs"},"./memory-namespace":{"types":"./dist/core/MemoryNamespace.d.mts","default":"./dist/core/MemoryNamespace.mjs"},"./memory-notes":{"types":"./dist/capabilities/MemoryNotes.d.mts","default":"./dist/capabilities/MemoryNotes.mjs"},"./memory-reference":{"types":"./dist/core/MemoryReference.d.mts","default":"./dist/core/MemoryReference.mjs"},"./memory-revalidation":{"types":"./dist/core/MemoryRevalidation.d.mts","default":"./dist/core/MemoryRevalidation.mjs"},"./memory-store":{"types":"./dist/core/MemoryStore.d.mts","default":"./dist/core/MemoryStore.mjs"},"./message-delivery":{"types":"./dist/durable/MessageDelivery.d.mts","default":"./dist/durable/MessageDelivery.mjs"},"./messaging":{"types":"./dist/capabilities/Messaging.d.mts","default":"./dist/capabilities/Messaging.mjs"},"./messaging-host":{"types":"./dist/engine/MessagingHost.d.mts","default":"./dist/engine/MessagingHost.mjs"},"./model-context":{"types":"./dist/capabilities/ModelContext.d.mts","default":"./dist/capabilities/ModelContext.mjs"},"./operation-authorizer":{"types":"./dist/durable/OperationAuthorizer.d.mts","default":"./dist/durable/OperationAuthorizer.mjs"},"./output":{"types":"./dist/engine/Output.d.mts","default":"./dist/engine/Output.mjs"},"./page-capture":{"types":"./dist/sandbox/PageCapture.d.mts","default":"./dist/sandbox/PageCapture.mjs"},"./page-crawl":{"types":"./dist/sandbox/PageCrawl.d.mts","default":"./dist/sandbox/PageCrawl.mjs"},"./page-screenshot":{"types":"./dist/sandbox/PageScreenshot.d.mts","default":"./dist/sandbox/PageScreenshot.mjs"},"./persistent-history":{"types":"./dist/durable/PersistentHistory.d.mts","default":"./dist/durable/PersistentHistory.mjs"},"./prepared-input-admission":{"types":"./dist/durable/PreparedInputAdmission.d.mts","default":"./dist/durable/PreparedInputAdmission.mjs"},"./receipt":{"types":"./dist/core/Receipt.d.mts","default":"./dist/core/Receipt.mjs"},"./records":{"types":"./dist/durable/Records.d.mts","default":"./dist/durable/Records.mjs"},"./recovery":{"types":"./dist/durable/Recovery.d.mts","default":"./dist/durable/Recovery.mjs"},"./redaction":{"types":"./dist/capabilities/Redaction.d.mts","default":"./dist/capabilities/Redaction.mjs"},"./remembering":{"types":"./dist/capabilities/Remembering.d.mts","default":"./dist/capabilities/Remembering.mjs"},"./remembering-store":{"types":"./dist/core/RememberingStore.d.mts","default":"./dist/core/RememberingStore.mjs"},"./run-event":{"types":"./dist/core/RunEvent.d.mts","default":"./dist/core/RunEvent.mjs"},"./run-event-sink":{"types":"./dist/engine/RunEventSink.d.mts","default":"./dist/engine/RunEventSink.mjs"},"./run-hooks":{"types":"./dist/capabilities/RunHooks.d.mts","default":"./dist/capabilities/RunHooks.mjs"},"./run-journal":{"types":"./dist/durable/RunJournal.d.mts","default":"./dist/durable/RunJournal.mjs"},"./run-options":{"types":"./dist/engine/RunOptions.d.mts","default":"./dist/engine/RunOptions.mjs"},"./run-policy-usage":{"types":"./dist/core/RunPolicyUsage.d.mts","default":"./dist/core/RunPolicyUsage.mjs"},"./sandbox":{"types":"./dist/sandbox/Sandbox.d.mts","default":"./dist/sandbox/Sandbox.mjs"},"./schedule":{"types":"./dist/durable/Schedule.d.mts","default":"./dist/durable/Schedule.mjs"},"./schedule-transition":{"types":"./dist/durable/ScheduleTransition.d.mts","default":"./dist/durable/ScheduleTransition.mjs"},"./scheduling":{"types":"./dist/durable/Scheduling.d.mts","default":"./dist/durable/Scheduling.mjs"},"./semantic-memory":{"types":"./dist/capabilities/SemanticMemory.d.mts","default":"./dist/capabilities/SemanticMemory.mjs"},"./semantic-memory-index":{"types":"./dist/core/SemanticMemoryIndex.d.mts","default":"./dist/core/SemanticMemoryIndex.mjs"},"./semantic-memory-revalidation":{"types":"./dist/core/SemanticMemoryRevalidation.d.mts","default":"./dist/core/SemanticMemoryRevalidation.mjs"},"./sql-thread-native-reads":{"types":"./dist/durable/SqlThreadNativeReads.d.mts","default":"./dist/durable/SqlThreadNativeReads.mjs"},"./sql-memory-store":{"types":"./dist/durable/SqlMemoryStore.d.mts","default":"./dist/durable/SqlMemoryStore.mjs"},"./sql-message-delivery-store":{"types":"./dist/durable/SqlMessageDeliveryStore.d.mts","default":"./dist/durable/SqlMessageDeliveryStore.mjs"},"./sql-storage-v2-upgrade":{"types":"./dist/durable/SqlStorageV2Upgrade.d.mts","default":"./dist/durable/SqlStorageV2Upgrade.mjs"},"./sql-subscription-store":{"types":"./dist/durable/SqlSubscriptionStore.d.mts","default":"./dist/durable/SqlSubscriptionStore.mjs"},"./subagent":{"types":"./dist/capabilities/Subagent.d.mts","default":"./dist/capabilities/Subagent.mjs"},"./subagent-contract":{"types":"./dist/core/SubagentContract.d.mts","default":"./dist/core/SubagentContract.mjs"},"./subagent-host":{"types":"./dist/engine/SubagentHost.d.mts","default":"./dist/engine/SubagentHost.mjs"},"./subagent-reservations":{"types":"./dist/capabilities/SubagentReservations.d.mts","default":"./dist/capabilities/SubagentReservations.mjs"},"./submission-ledger":{"types":"./dist/durable/SubmissionLedger.d.mts","default":"./dist/durable/SubmissionLedger.mjs"},"./submission-status":{"types":"./dist/durable/SubmissionStatus.d.mts","default":"./dist/durable/SubmissionStatus.mjs"},"./subscription":{"types":"./dist/durable/Subscription.d.mts","default":"./dist/durable/Subscription.mjs"},"./subscription-input":{"types":"./dist/durable/SubscriptionInput.d.mts","default":"./dist/durable/SubscriptionInput.mjs"},"./subscription-tools":{"types":"./dist/durable/SubscriptionTools.d.mts","default":"./dist/durable/SubscriptionTools.mjs"},"./subscription-transition":{"types":"./dist/durable/SubscriptionTransition.d.mts","default":"./dist/durable/SubscriptionTransition.mjs"},"./subscriptions":{"types":"./dist/durable/Subscriptions.d.mts","default":"./dist/durable/Subscriptions.mjs"},"./testing/certification":{"types":"./dist/durable/Certification.d.mts","default":"./dist/durable/Certification.mjs"},"./testing/durable-failpoint-test-control":{"types":"./dist/durable/DurableFailpointTestControl.d.mts","default":"./dist/durable/DurableFailpointTestControl.mjs"},"./testing/message-delivery-store-conformance":{"types":"./dist/durable/MessageDeliveryStoreConformance.d.mts","default":"./dist/durable/MessageDeliveryStoreConformance.mjs"},"./testing/schedule-store-conformance":{"types":"./dist/durable/ScheduleStoreConformance.d.mts","default":"./dist/durable/ScheduleStoreConformance.mjs"},"./testing/submission-ledger-conformance":{"types":"./dist/durable/SubmissionLedgerConformance.d.mts","default":"./dist/durable/SubmissionLedgerConformance.mjs"},"./testing/subscription-store-conformance":{"types":"./dist/durable/SubscriptionStoreConformance.d.mts","default":"./dist/durable/SubscriptionStoreConformance.mjs"},"./testing/thread-store-conformance":{"types":"./dist/durable/ThreadStoreConformance.d.mts","default":"./dist/durable/ThreadStoreConformance.mjs"},"./thread":{"types":"./dist/core/Thread.d.mts","default":"./dist/core/Thread.mjs"},"./thread-context-history":{"types":"./dist/durable/ThreadContextHistory.d.mts","default":"./dist/durable/ThreadContextHistory.mjs"},"./thread-context-history-projection":{"types":"./dist/durable/ThreadContextHistoryProjection.d.mts","default":"./dist/durable/ThreadContextHistoryProjection.mjs"},"./thread-history":{"types":"./dist/engine/ThreadHistory.d.mts","default":"./dist/engine/ThreadHistory.mjs"},"./thread-invariants":{"types":"./dist/durable/ThreadInvariants.d.mts","default":"./dist/durable/ThreadInvariants.mjs"},"./thread-projection":{"types":"./dist/durable/ThreadProjection.d.mts","default":"./dist/durable/ThreadProjection.mjs"},"./thread-projection-maintenance":{"types":"./dist/durable/ThreadProjectionMaintenance.d.mts","default":"./dist/durable/ThreadProjectionMaintenance.mjs"},"./thread-store":{"types":"./dist/durable/ThreadStore.d.mts","default":"./dist/durable/ThreadStore.mjs"},"./tool-broker":{"types":"./dist/engine/ToolBroker.d.mts","default":"./dist/engine/ToolBroker.mjs"},"./tool-discovery":{"types":"./dist/capabilities/ToolDiscovery.d.mts","default":"./dist/capabilities/ToolDiscovery.mjs"},"./tool-exposure":{"types":"./dist/ToolExposure.d.mts","default":"./dist/ToolExposure.mjs"},"./tool-reconciler":{"types":"./dist/durable/ToolReconciler.d.mts","default":"./dist/durable/ToolReconciler.mjs"},"./tool-result":{"types":"./dist/core/ToolResult.d.mts","default":"./dist/core/ToolResult.mjs"},"./usage":{"types":"./dist/core/Usage.d.mts","default":"./dist/core/Usage.mjs"},"./wake-scheduler":{"types":"./dist/durable/WakeScheduler.d.mts","default":"./dist/durable/WakeScheduler.mjs"},"./web-capture":{"types":"./dist/capabilities/WebCapture.d.mts","default":"./dist/capabilities/WebCapture.mjs"},"./web-search":{"types":"./dist/capabilities/WebSearch.d.mts","default":"./dist/capabilities/WebSearch.mjs"},"./worker":{"types":"./dist/core/Worker.d.mts","default":"./dist/core/Worker.mjs"},"./worker-host":{"types":"./dist/durable/WorkerHost.d.mts","default":"./dist/durable/WorkerHost.mjs"}},"description":"Effect-native agents, execution, subagents, and sandbox contracts in one tree-shakeable package.","license":"MIT","repository":{"type":"git","url":"git+https://github.com/danieljvdm/effect-agent.git","directory":"packages/effect-agent"},"files":["dist","src"],"type":"module","sideEffects":[],"publishConfig":{"access":"public"},"scripts":{"build":"vp pack","check":"tsc --noEmit -p tsconfig.json","test":"vp test --passWithNoTests"}}

package/src/core/Agent.ts

@@ -151,7 +151,10 @@ export interface Definition<
   readonly input: InputSchema;
   /** Canonical schema used to decode the final model output. */
   readonly output: OutputSchema;
-  /** Instructions evaluated once while preparing each run. */
+  /**
+   * Evaluated once while preparing each Run. Outgoing system messages form a leading block;
+   * exact repeats (including provider options) keep their last occurrence. Stored history is unchanged.
+   */
   readonly instructions: Instructions;
   /** Optional projection from decoded input to model-visible native Effect AI prompt content. */
   readonly inputPrompt?: InputPromptValue | undefined;

package/src/engine/internal/agent-runtime.ts

@@ -131,7 +131,7 @@ import { SubagentHost } from "../SubagentHost.ts";
 import { ThreadHistory, ThreadHistoryError } from "../ThreadHistory.ts";
 import { CurrentToolCatalog, RunToolVisibility, type CatalogEntry } from "../ToolExposure.ts";
 import { boundedValueFootprint } from "./bounded-value.ts";
-import { insertOutputContract, isTextOutput, outputSchemaContract } from "./output-contract.ts";
+import { isTextOutput, outputSchemaContract, prepareModelPrompt } from "./output-contract.ts";
 import { ownPrimitiveDelta } from "./primitive-delta.ts";
 import {
   boundedCanonicalJsonSnapshot,
@@ -3884,7 +3884,9 @@ const nextContextEstimate = Effect.fn("AgentRuntime.nextContextEstimate")(functi
     );
   }
 
-  return yield* estimateContextTokens(view);
+  return yield* estimateContextTokens(
+    prepareModelPrompt(Prompt.fromMessages(view), undefined).content,
+  );
 });
 
 const snapshotCompactionMessages = Effect.fnUntraced(function* (
@@ -5732,11 +5734,13 @@ const makeTurn = <
 
       // Preparation may replace an existing prefix, and transient context may
       // change independently of history. Only ordinary append-only history can
-      // reuse the last provider-reported input as an estimation anchor.
+      // reuse the last provider-reported input as an estimation anchor. Full
+      // estimates exclude system copies removed by the provider projection;
+      // canonical indices still locate appended content and compaction coverage.
       const estimateSourceContext = (view: ReadonlyArray<Prompt.Message>) =>
         options.context === undefined && options.transientContext === undefined
           ? nextContextEstimate(context, view)
-          : estimateCallTokens(view);
+          : estimateCallTokens(prepareModelPrompt(Prompt.fromMessages(view), undefined).content);
 
       let prepared = buildCompactedView(modelContext.prompt.content, context.compaction);
       let sourceTokens: number | undefined;
@@ -6208,10 +6212,10 @@ const makeTurn = <
                 }
                 context.toolExposure = snapshot;
 
-                const providerPrompt =
-                  outputContract._tag !== "rendered"
-                    ? outgoing
-                    : insertOutputContract(outgoing, outputContract.part);
+                const providerPrompt = prepareModelPrompt(
+                  outgoing,
+                  outputContract._tag === "rendered" ? outputContract.part : undefined,
+                );
 
                 // Prepared and transient context can change at every Turn. A
                 // final full-prompt check closes the per-call boundary for grace

package/src/engine/internal/output-contract.ts

@@ -144,30 +144,48 @@ export const outputSchemaContract = (definition: Agent.AnyDefinition): OutputCon
   return contract;
 };
 
+const sameSystemMessage = Schema.toEquivalence(Prompt.SystemMessage);
+
 /**
- * Insert the contract immediately after the request prompt's last system
- * message (position 0 when none exists), extending the last contiguous
- * system block. Placement is normative: the Anthropic provider replaces its
- * top-level `system` parameter per contiguous system group, so only the last
- * block survives there — an isolated trailing contract message would discard
- * the author's instructions, and a contract inside an earlier block (for
- * example a resumed Thread's original instructions ahead of this Run's
- * evaluated instructions) would itself be discarded. Extending the last
- * block keeps author content and contract together on every provider and
- * preserves the author's per-message cache-control annotations.
+ * Project system instructions and the output contract into one leading block.
+ * Repeated Runs append instructions to canonical history; letting those copies
+ * move the contract breaks the preceding user/tool prefix used by provider caches.
+ * Keep the last occurrence of each equivalent system message, preserving the
+ * precedence of distinct instructions and their native provider options.
+ *
+ * This runs after preparation and compaction. Canonical messages, protected
+ * instruction/input spans and compaction coverage retain their original positions.
+ * Conversation order and message identities are unchanged. A single system block
+ * also prevents Anthropic's last-system-group conversion from discarding earlier
+ * application instructions or the output contract.
  */
-export const insertOutputContract = (
+export const prepareModelPrompt = (
   prompt: Prompt.Prompt,
-  message: Prompt.SystemMessage,
+  contract: Prompt.SystemMessage | undefined,
 ): Prompt.Prompt => {
-  const content = prompt.content;
-  let insertAt = 0;
+  const systems: Array<Prompt.SystemMessage> = [];
+  const conversation: Array<Prompt.Message> = [];
+  const seen = new Map<string, Array<Prompt.SystemMessage>>();
 
-  for (let index = 0; index < content.length; index += 1) {
-    if (content[index]?.role === "system") {
-      insertAt = index + 1;
+  for (let index = prompt.content.length - 1; index >= 0; index -= 1) {
+    const message = prompt.content[index];
+
+    if (message === undefined) continue;
+    if (message.role !== "system") {
+      conversation.push(message);
+      continue;
     }
+    const variants = seen.get(message.content);
+
+    if (variants?.some((previous) => sameSystemMessage(previous, message))) continue;
+    if (variants === undefined) seen.set(message.content, [message]);
+    else variants.push(message);
+    systems.push(message);
   }
 
-  return Prompt.fromMessages([...content.slice(0, insertAt), message, ...content.slice(insertAt)]);
+  return Prompt.fromMessages([
+    ...systems.reverse(),
+    ...(contract === undefined ? [] : [contract]),
+    ...conversation.reverse(),
+  ]);
 };