effect-agent 0.1.0-beta.85 → 0.1.0-beta.87

package/dist/core/AgentError.mjs

@@ -0,0 +1,117 @@
+import { t as __exportAll } from "../rolldown-runtime-D7D4PA-g.mjs";
+import { ToolCallId } from "./Identifiers.mjs";
+import { Schema } from "effect";
+//#region src/core/AgentError.ts
+var AgentError_exports = /* @__PURE__ */ __exportAll({
+	AgentApprovalDenied: () => AgentApprovalDenied,
+	AgentApprovalPending: () => AgentApprovalPending,
+	AgentError: () => AgentError,
+	AgentInputError: () => AgentInputError,
+	AgentInterrupted: () => AgentInterrupted,
+	AgentOutputError: () => AgentOutputError,
+	AgentPolicyError: () => AgentPolicyError,
+	AgentRunDispositionError: () => AgentRunDispositionError,
+	AgentToolAuthorizationDenied: () => AgentToolAuthorizationDenied,
+	ContextBudgetError: () => ContextBudgetError,
+	ContextOverflowError: () => ContextOverflowError,
+	ModelProtocolError: () => ModelProtocolError,
+	PolicyLimit: () => PolicyLimit
+});
+/** Run input failed to decode through the agent definition's input Schema. */
+var AgentInputError = class extends Schema.TaggedError()("AgentInputError", { message: Schema.String }) {};
+/** Final model output failed to decode through the agent definition's output Schema. */
+var AgentOutputError = class extends Schema.TaggedError()("AgentOutputError", { message: Schema.String }) {};
+/** An application-selected run disposition failed its definition-owned Schema boundary. */
+var AgentRunDispositionError = class extends Schema.TaggedError()("AgentRunDispositionError", {
+	cause: Schema.Defect(),
+	message: Schema.String
+}) {};
+/** The finite policy dimension a run exhausted; shared with durable settlement metadata. */
+const PolicyLimit = Schema.Literals([
+	"turns",
+	"tool-calls",
+	"duration",
+	"usage",
+	"tokens",
+	"cost",
+	"repeated-failures"
+]);
+/** A run exhausted one of its finite policy limits. */
+var AgentPolicyError = class extends Schema.TaggedError()("AgentPolicyError", {
+	limit: PolicyLimit,
+	message: Schema.String
+}) {};
+/** A native Effect AI Tool approval was explicitly denied before its Handler started. */
+var AgentApprovalDenied = class extends Schema.TaggedError()("AgentApprovalDenied", {
+	toolCallId: ToolCallId,
+	toolName: Schema.NonEmptyString,
+	message: Schema.String
+}) {
+	/** Decode the native Effect AI Tool Call ID at the core error boundary. */
+	static make(input) {
+		return super.make({
+			...input,
+			toolCallId: Schema.decodeSync(ToolCallId)(input.toolCallId)
+		});
+	}
+};
+/** A host denied current execution authority for a Tool Call before its Handler started. */
+var AgentToolAuthorizationDenied = class extends Schema.TaggedError()("AgentToolAuthorizationDenied", {
+	toolCallId: ToolCallId,
+	toolName: Schema.NonEmptyString,
+	message: Schema.String
+}) {};
+/** A native Effect AI Tool approval has no decision and the ephemeral Run cannot proceed. */
+var AgentApprovalPending = class extends Schema.TaggedError()("AgentApprovalPending", {
+	approvalId: Schema.NonEmptyString,
+	toolCallId: ToolCallId,
+	toolName: Schema.NonEmptyString,
+	message: Schema.String
+}) {
+	/** Decode the native Effect AI Tool Call ID at the core error boundary. */
+	static make(input) {
+		return super.make({
+			...input,
+			toolCallId: Schema.decodeSync(ToolCallId)(input.toolCallId)
+		});
+	}
+};
+/** A model response sequence violated an agent-loop protocol invariant. */
+var ModelProtocolError = class extends Schema.TaggedError()("ModelProtocolError", { message: Schema.String }) {};
+/** A run was interrupted without manufacturing a successful result. */
+var AgentInterrupted = class extends Schema.TaggedError()("AgentInterrupted", { message: Schema.String }) {};
+/**
+* The provider rejected a prompt that exceeds the model context window and
+* compaction recovery is unavailable or was already attempted once. This is
+* an expected failure: the engine classifies the provider error rather than
+* surfacing an opaque transport failure.
+*/
+var ContextOverflowError = class extends Schema.TaggedError()("ContextOverflowError", {
+	message: Schema.String,
+	retried: Schema.Boolean
+}) {};
+/** Local context preparation could not fit a legal prompt inside its target before provider I/O. */
+var ContextBudgetError = class extends Schema.TaggedError()("ContextBudgetError", {
+	message: Schema.String,
+	estimatedTokens: Schema.Natural,
+	targetTokens: Schema.Natural,
+	completionReserveTokens: Schema.Natural
+}) {};
+/** Schema for framework-owned agent errors; application and Effect AI failures remain separate. */
+const AgentError = Schema.Union([
+	AgentInputError,
+	AgentOutputError,
+	AgentRunDispositionError,
+	AgentPolicyError,
+	AgentApprovalDenied,
+	AgentToolAuthorizationDenied,
+	AgentApprovalPending,
+	ModelProtocolError,
+	AgentInterrupted,
+	ContextOverflowError,
+	ContextBudgetError
+]);
+//#endregion
+export { AgentApprovalDenied, AgentApprovalPending, AgentError, AgentInputError, AgentInterrupted, AgentOutputError, AgentPolicyError, AgentRunDispositionError, AgentToolAuthorizationDenied, ContextBudgetError, ContextOverflowError, ModelProtocolError, PolicyLimit, AgentError_exports as t };
+
+//# sourceMappingURL=AgentError.mjs.map

package/dist/core/AgentError.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"AgentError.mjs","names":[],"sources":["../../src/core/AgentError.ts"],"sourcesContent":["import { Schema } from \"effect\";\n\nimport { ToolCallId } from \"./Identifiers.ts\";\n\n/** Run input failed to decode through the agent definition's input Schema. */\nexport class AgentInputError extends Schema.TaggedError<AgentInputError>()(\"AgentInputError\", {\n  message: Schema.String,\n}) {}\n\n/** Final model output failed to decode through the agent definition's output Schema. */\nexport class AgentOutputError extends Schema.TaggedError<AgentOutputError>()(\"AgentOutputError\", {\n  message: Schema.String,\n}) {}\n\n/** An application-selected run disposition failed its definition-owned Schema boundary. */\nexport class AgentRunDispositionError extends Schema.TaggedError<AgentRunDispositionError>()(\n  \"AgentRunDispositionError\",\n  {\n    cause: Schema.Defect(),\n    message: Schema.String,\n  },\n) {}\n\n/** The finite policy dimension a run exhausted; shared with durable settlement metadata. */\nexport const PolicyLimit = Schema.Literals([\n  \"turns\",\n  \"tool-calls\",\n  \"duration\",\n  \"usage\",\n  \"tokens\",\n  \"cost\",\n  \"repeated-failures\",\n]);\n\nexport type PolicyLimit = typeof PolicyLimit.Type;\n\n/** A run exhausted one of its finite policy limits. */\nexport class AgentPolicyError extends Schema.TaggedError<AgentPolicyError>()(\"AgentPolicyError\", {\n  limit: PolicyLimit,\n  message: Schema.String,\n}) {}\n\n/** A native Effect AI Tool approval was explicitly denied before its Handler started. */\nexport class AgentApprovalDenied extends Schema.TaggedError<AgentApprovalDenied>()(\n  \"AgentApprovalDenied\",\n  {\n    toolCallId: ToolCallId,\n    toolName: Schema.NonEmptyString,\n    message: Schema.String,\n  },\n) {\n  /** Decode the native Effect AI Tool Call ID at the core error boundary. */\n  static override make(input: {\n    readonly toolCallId: string;\n    readonly toolName: string;\n    readonly message: string;\n  }): AgentApprovalDenied {\n    return super.make({\n      ...input,\n      toolCallId: Schema.decodeSync(ToolCallId)(input.toolCallId),\n    });\n  }\n}\n\n/** A host denied current execution authority for a Tool Call before its Handler started. */\nexport class AgentToolAuthorizationDenied extends Schema.TaggedError<AgentToolAuthorizationDenied>()(\n  \"AgentToolAuthorizationDenied\",\n  {\n    toolCallId: ToolCallId,\n    toolName: Schema.NonEmptyString,\n    message: Schema.String,\n  },\n) {}\n\n/** A native Effect AI Tool approval has no decision and the ephemeral Run cannot proceed. */\nexport class AgentApprovalPending extends Schema.TaggedError<AgentApprovalPending>()(\n  \"AgentApprovalPending\",\n  {\n    approvalId: Schema.NonEmptyString,\n    toolCallId: ToolCallId,\n    toolName: Schema.NonEmptyString,\n    message: Schema.String,\n  },\n) {\n  /** Decode the native Effect AI Tool Call ID at the core error boundary. */\n  static override make(input: {\n    readonly approvalId: string;\n    readonly toolCallId: string;\n    readonly toolName: string;\n    readonly message: string;\n  }): AgentApprovalPending {\n    return super.make({\n      ...input,\n      toolCallId: Schema.decodeSync(ToolCallId)(input.toolCallId),\n    });\n  }\n}\n\n/** A model response sequence violated an agent-loop protocol invariant. */\nexport class ModelProtocolError extends Schema.TaggedError<ModelProtocolError>()(\n  \"ModelProtocolError\",\n  {\n    message: Schema.String,\n  },\n) {}\n\n/** A run was interrupted without manufacturing a successful result. */\nexport class AgentInterrupted extends Schema.TaggedError<AgentInterrupted>()(\"AgentInterrupted\", {\n  message: Schema.String,\n}) {}\n\n/**\n * The provider rejected a prompt that exceeds the model context window and\n * compaction recovery is unavailable or was already attempted once. This is\n * an expected failure: the engine classifies the provider error rather than\n * surfacing an opaque transport failure.\n */\nexport class ContextOverflowError extends Schema.TaggedError<ContextOverflowError>()(\n  \"ContextOverflowError\",\n  {\n    message: Schema.String,\n    retried: Schema.Boolean,\n  },\n) {}\n\n/** Local context preparation could not fit a legal prompt inside its target before provider I/O. */\nexport class ContextBudgetError extends Schema.TaggedError<ContextBudgetError>()(\n  \"ContextBudgetError\",\n  {\n    message: Schema.String,\n    estimatedTokens: Schema.Natural,\n    targetTokens: Schema.Natural,\n    completionReserveTokens: Schema.Natural,\n  },\n) {}\n\n/** Schema for framework-owned agent errors; application and Effect AI failures remain separate. */\nexport const AgentError = Schema.Union([\n  AgentInputError,\n  AgentOutputError,\n  AgentRunDispositionError,\n  AgentPolicyError,\n  AgentApprovalDenied,\n  AgentToolAuthorizationDenied,\n  AgentApprovalPending,\n  ModelProtocolError,\n  AgentInterrupted,\n  ContextOverflowError,\n  ContextBudgetError,\n]);\n\nexport type AgentError = typeof AgentError.Type;\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAKA,IAAa,kBAAb,cAAqC,OAAO,YAA6B,CAAC,CAAC,mBAAmB,EAC5F,SAAS,OAAO,OAClB,CAAC,CAAC,CAAC,CAAC;;AAGJ,IAAa,mBAAb,cAAsC,OAAO,YAA8B,CAAC,CAAC,oBAAoB,EAC/F,SAAS,OAAO,OAClB,CAAC,CAAC,CAAC,CAAC;;AAGJ,IAAa,2BAAb,cAA8C,OAAO,YAAsC,CAAC,CAC1F,4BACA;CACE,OAAO,OAAO,OAAO;CACrB,SAAS,OAAO;AAClB,CACF,CAAC,CAAC,CAAC;;AAGH,MAAa,cAAc,OAAO,SAAS;CACzC;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;;AAKD,IAAa,mBAAb,cAAsC,OAAO,YAA8B,CAAC,CAAC,oBAAoB;CAC/F,OAAO;CACP,SAAS,OAAO;AAClB,CAAC,CAAC,CAAC,CAAC;;AAGJ,IAAa,sBAAb,cAAyC,OAAO,YAAiC,CAAC,CAChF,uBACA;CACE,YAAY;CACZ,UAAU,OAAO;CACjB,SAAS,OAAO;AAClB,CACF,CAAC,CAAC;;CAEA,OAAgB,KAAK,OAIG;EACtB,OAAO,MAAM,KAAK;GAChB,GAAG;GACH,YAAY,OAAO,WAAW,UAAU,CAAC,CAAC,MAAM,UAAU;EAC5D,CAAC;CACH;AACF;;AAGA,IAAa,+BAAb,cAAkD,OAAO,YAA0C,CAAC,CAClG,gCACA;CACE,YAAY;CACZ,UAAU,OAAO;CACjB,SAAS,OAAO;AAClB,CACF,CAAC,CAAC,CAAC;;AAGH,IAAa,uBAAb,cAA0C,OAAO,YAAkC,CAAC,CAClF,wBACA;CACE,YAAY,OAAO;CACnB,YAAY;CACZ,UAAU,OAAO;CACjB,SAAS,OAAO;AAClB,CACF,CAAC,CAAC;;CAEA,OAAgB,KAAK,OAKI;EACvB,OAAO,MAAM,KAAK;GAChB,GAAG;GACH,YAAY,OAAO,WAAW,UAAU,CAAC,CAAC,MAAM,UAAU;EAC5D,CAAC;CACH;AACF;;AAGA,IAAa,qBAAb,cAAwC,OAAO,YAAgC,CAAC,CAC9E,sBACA,EACE,SAAS,OAAO,OAClB,CACF,CAAC,CAAC,CAAC;;AAGH,IAAa,mBAAb,cAAsC,OAAO,YAA8B,CAAC,CAAC,oBAAoB,EAC/F,SAAS,OAAO,OAClB,CAAC,CAAC,CAAC,CAAC;;;;;;;AAQJ,IAAa,uBAAb,cAA0C,OAAO,YAAkC,CAAC,CAClF,wBACA;CACE,SAAS,OAAO;CAChB,SAAS,OAAO;AAClB,CACF,CAAC,CAAC,CAAC;;AAGH,IAAa,qBAAb,cAAwC,OAAO,YAAgC,CAAC,CAC9E,sBACA;CACE,SAAS,OAAO;CAChB,iBAAiB,OAAO;CACxB,cAAc,OAAO;CACrB,yBAAyB,OAAO;AAClC,CACF,CAAC,CAAC,CAAC;;AAGH,MAAa,aAAa,OAAO,MAAM;CACrC;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC"}

package/dist/core/AgentPolicy.d.mts

@@ -0,0 +1,2 @@
+import { a as CompactionPolicyInput, i as CompactionPolicy, n as AgentPolicyInput, t as AgentPolicy } from "../AgentPolicy-CetmQrf3.mjs";
+export { AgentPolicy, AgentPolicyInput, CompactionPolicy, CompactionPolicyInput };

package/dist/core/AgentPolicy.mjs

@@ -0,0 +1,94 @@
+import { t as __exportAll } from "../rolldown-runtime-D7D4PA-g.mjs";
+import { ToolResultBounds } from "./ToolResult.mjs";
+import * as Schema from "effect/Schema";
+import * as Duration from "effect/Duration";
+//#region src/core/AgentPolicy.ts
+var AgentPolicy_exports = /* @__PURE__ */ __exportAll({
+	AgentPolicy: () => AgentPolicy,
+	CompactionPolicy: () => CompactionPolicy
+});
+const PositiveInt = Schema.Int.check(Schema.isGreaterThan(0));
+const NonNegativeInt = Schema.Int.check(Schema.isGreaterThanOrEqualTo(0));
+const CompactionMode = Schema.Literals([
+	"prune",
+	"summarize",
+	"prune-then-summarize"
+]);
+/** How the engine reduces model context when `contextTokenLimit` is crossed. */
+var CompactionPolicy = class extends Schema.Class("CompactionPolicy")({
+	keepRecentTokens: PositiveInt,
+	mode: CompactionMode
+}) {
+	/** Normalize and validate compaction bounds, filling documented defaults. */
+	static make(input = {}) {
+		return super.make({
+			keepRecentTokens: input.keepRecentTokens ?? 2e4,
+			mode: input.mode ?? "prune-then-summarize"
+		});
+	}
+};
+const FinitePositiveDuration = Schema.Duration.pipe(Schema.refine((duration) => Duration.isFinite(duration) && Duration.isPositive(duration), { expected: "a finite positive duration" }));
+/**
+* Resolution when `maxTurns`, `maxToolCalls`, or `tokenBudget` is exhausted:
+* `"final-answer"` gives the model one constrained opportunity to settle with
+* output (the Run completes with `finishReason: "budget-exhausted"` and the
+* exhausted-dimension marker), while `"fail"` fails the Run typed. Turn and
+* Tool Call bounds resolve per RUN-018/RUN-019; the token dimension
+* participates per RUN-025 with a one-shot bound (at most one grace call).
+* Duration, cost, and repeated-failure bounds are hard rails regardless of
+* this setting.
+*/
+const OnExhaustion = Schema.Literals(["final-answer", "fail"]);
+const AgentPolicyFields = Schema.Struct({
+	maxTurns: PositiveInt,
+	maxToolCalls: PositiveInt,
+	maxDuration: FinitePositiveDuration,
+	toolConcurrency: PositiveInt,
+	repeatedFailureLimit: NonNegativeInt,
+	onExhaustion: OnExhaustion,
+	tokenBudget: Schema.optionalKey(PositiveInt),
+	/** Tokens withheld from research calls so one final delivery call remains admissible. */
+	completionReserveTokens: NonNegativeInt,
+	costBudgetMicrousd: Schema.optionalKey(NonNegativeInt),
+	/** Per-model-call live-context bound; crossing it triggers compaction rather than failure. */
+	contextTokenLimit: Schema.optionalKey(PositiveInt),
+	toolResultBounds: ToolResultBounds,
+	runStatus: Schema.Literals(["appended", "off"]),
+	compaction: CompactionPolicy
+}).check(Schema.makeFilter((policy) => policy.tokenBudget !== void 0 && policy.completionReserveTokens > policy.tokenBudget ? {
+	path: ["completionReserveTokens"],
+	issue: "completionReserveTokens cannot exceed tokenBudget"
+} : void 0));
+/** Schema class for finite agent run limits. */
+var AgentPolicy = class AgentPolicy extends Schema.Class("AgentPolicy")(AgentPolicyFields) {
+	/** Resolve an optional declaration against finite standalone or parent defaults. */
+	static resolve(input = {}, parent) {
+		return AgentPolicy.make({
+			maxTurns: 12,
+			maxToolCalls: 24,
+			maxDuration: "5 minutes",
+			toolConcurrency: 4,
+			...parent,
+			...input,
+			...input.completionReserveTokens !== void 0 || parent === void 0 ? {} : { completionReserveTokens: Math.min(parent.completionReserveTokens, input.tokenBudget ?? parent.tokenBudget ?? parent.completionReserveTokens) }
+		});
+	}
+	/** Normalize and validate finite policy bounds, throwing on invalid input. */
+	static make(input) {
+		const completionReserveTokens = input.completionReserveTokens ?? (input.tokenBudget === void 0 ? 4096 : Math.min(4096, Math.floor(input.tokenBudget / 5)));
+		return super.make({
+			...input,
+			maxDuration: Duration.fromInputUnsafe(input.maxDuration),
+			repeatedFailureLimit: input.repeatedFailureLimit ?? 3,
+			onExhaustion: input.onExhaustion ?? "final-answer",
+			toolResultBounds: input.toolResultBounds ?? ToolResultBounds.make({ maxBytes: 51200 }),
+			runStatus: input.runStatus ?? "off",
+			completionReserveTokens,
+			compaction: input.compaction ?? CompactionPolicy.make()
+		});
+	}
+};
+//#endregion
+export { AgentPolicy, CompactionPolicy, AgentPolicy_exports as t };
+
+//# sourceMappingURL=AgentPolicy.mjs.map

package/dist/core/AgentPolicy.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"AgentPolicy.mjs","names":[],"sources":["../../src/core/AgentPolicy.ts"],"sourcesContent":["import * as Duration from \"effect/Duration\";\nimport * as Schema from \"effect/Schema\";\n\nimport { ToolResultBounds } from \"./ToolResult.ts\";\n\nconst PositiveInt = Schema.Int.check(Schema.isGreaterThan(0));\nconst NonNegativeInt = Schema.Int.check(Schema.isGreaterThanOrEqualTo(0));\n\nconst CompactionMode = Schema.Literals([\"prune\", \"summarize\", \"prune-then-summarize\"]);\n\n/** Inputs normalized and validated by `CompactionPolicy.make`. */\nexport type CompactionPolicyInput = Readonly<{\n  /** Estimated tokens of recent history preserved verbatim across a compaction; defaults to `20_000`. */\n  readonly keepRecentTokens?: number;\n  /** Compaction strategy order; defaults to `\"prune-then-summarize\"`. */\n  readonly mode?: typeof CompactionMode.Type;\n}>;\n\n/** How the engine reduces model context when `contextTokenLimit` is crossed. */\nexport class CompactionPolicy extends Schema.Class<CompactionPolicy>(\"CompactionPolicy\")({\n  keepRecentTokens: PositiveInt,\n  mode: CompactionMode,\n}) {\n  /** Normalize and validate compaction bounds, filling documented defaults. */\n  static override make(input: CompactionPolicyInput = {}): CompactionPolicy {\n    return super.make({\n      keepRecentTokens: input.keepRecentTokens ?? 20_000,\n      mode: input.mode ?? \"prune-then-summarize\",\n    });\n  }\n}\n\nconst FinitePositiveDuration = Schema.Duration.pipe(\n  Schema.refine(\n    (duration): duration is Duration.Duration =>\n      Duration.isFinite(duration) && Duration.isPositive(duration),\n    { expected: \"a finite positive duration\" },\n  ),\n);\n\n/**\n * Resolution when `maxTurns`, `maxToolCalls`, or `tokenBudget` is exhausted:\n * `\"final-answer\"` gives the model one constrained opportunity to settle with\n * output (the Run completes with `finishReason: \"budget-exhausted\"` and the\n * exhausted-dimension marker), while `\"fail\"` fails the Run typed. Turn and\n * Tool Call bounds resolve per RUN-018/RUN-019; the token dimension\n * participates per RUN-025 with a one-shot bound (at most one grace call).\n * Duration, cost, and repeated-failure bounds are hard rails regardless of\n * this setting.\n */\nconst OnExhaustion = Schema.Literals([\"final-answer\", \"fail\"]);\n\nconst AgentPolicyFields = Schema.Struct({\n  maxTurns: PositiveInt,\n  maxToolCalls: PositiveInt,\n  maxDuration: FinitePositiveDuration,\n  toolConcurrency: PositiveInt,\n  repeatedFailureLimit: NonNegativeInt,\n  onExhaustion: OnExhaustion,\n  tokenBudget: Schema.optionalKey(PositiveInt),\n  /** Tokens withheld from research calls so one final delivery call remains admissible. */\n  completionReserveTokens: NonNegativeInt,\n  costBudgetMicrousd: Schema.optionalKey(NonNegativeInt),\n  /** Per-model-call live-context bound; crossing it triggers compaction rather than failure. */\n  contextTokenLimit: Schema.optionalKey(PositiveInt),\n  toolResultBounds: ToolResultBounds,\n  runStatus: Schema.Literals([\"appended\", \"off\"]),\n  compaction: CompactionPolicy,\n}).check(\n  Schema.makeFilter((policy) =>\n    policy.tokenBudget !== undefined && policy.completionReserveTokens > policy.tokenBudget\n      ? {\n          path: [\"completionReserveTokens\"],\n          issue: \"completionReserveTokens cannot exceed tokenBudget\",\n        }\n      : undefined,\n  ),\n);\n\ntype AgentPolicyFields = typeof AgentPolicyFields.Type;\n\n/** Inputs normalized and validated by `AgentPolicy.make`. */\nexport type AgentPolicyInput = Readonly<\n  Omit<\n    AgentPolicyFields,\n    | \"maxDuration\"\n    | \"repeatedFailureLimit\"\n    | \"onExhaustion\"\n    | \"toolResultBounds\"\n    | \"runStatus\"\n    | \"compaction\"\n    | \"completionReserveTokens\"\n  > & {\n    /** Finite, positive wall-clock duration accepted in any Effect Duration input form. */\n    readonly maxDuration: Duration.Input;\n    /** Non-negative repeated-failure bound; defaults to `3`. */\n    readonly repeatedFailureLimit?: number;\n    /** Turn/Tool-Call/token exhaustion resolution; defaults to `\"final-answer\"`. */\n    readonly onExhaustion?: typeof OnExhaustion.Type;\n    /** Byte bound for each encoded Tool result; defaults to `50 KiB`. */\n    readonly toolResultBounds?: ToolResultBounds;\n    /** Whether a derived run-status message is appended to each model call; defaults to `\"off\"` to preserve retained prompt cache boundaries. */\n    readonly runStatus?: AgentPolicyFields[\"runStatus\"];\n    /** Tokens reserved for final delivery; defaults to 20% of tokenBudget, capped at 4,096. */\n    readonly completionReserveTokens?: number;\n    /** Compaction strategy applied when `contextTokenLimit` is crossed; defaults documented on `CompactionPolicy`. */\n    readonly compaction?: CompactionPolicy;\n  }\n>;\n\n/** Schema class for finite agent run limits. */\nexport class AgentPolicy extends Schema.Class<AgentPolicy>(\"AgentPolicy\")(AgentPolicyFields) {\n  /** Resolve an optional declaration against finite standalone or parent defaults. */\n  static resolve(input: Partial<AgentPolicyInput> = {}, parent?: AgentPolicy): AgentPolicy {\n    return AgentPolicy.make({\n      maxTurns: 12,\n      maxToolCalls: 24,\n      maxDuration: \"5 minutes\",\n      toolConcurrency: 4,\n      ...parent,\n      ...input,\n      // A smaller token budget must not inherit a reserve larger than itself.\n      ...(input.completionReserveTokens !== undefined || parent === undefined\n        ? {}\n        : {\n            completionReserveTokens: Math.min(\n              parent.completionReserveTokens,\n              input.tokenBudget ?? parent.tokenBudget ?? parent.completionReserveTokens,\n            ),\n          }),\n    });\n  }\n\n  /** Normalize and validate finite policy bounds, throwing on invalid input. */\n  static override make(input: AgentPolicyInput): AgentPolicy {\n    const completionReserveTokens =\n      input.completionReserveTokens ??\n      (input.tokenBudget === undefined\n        ? 4_096\n        : Math.min(4_096, Math.floor(input.tokenBudget / 5)));\n\n    return super.make({\n      ...input,\n      maxDuration: Duration.fromInputUnsafe(input.maxDuration),\n      repeatedFailureLimit: input.repeatedFailureLimit ?? 3,\n      onExhaustion: input.onExhaustion ?? \"final-answer\",\n      toolResultBounds: input.toolResultBounds ?? ToolResultBounds.make({ maxBytes: 50 * 1024 }),\n      runStatus: input.runStatus ?? \"off\",\n      completionReserveTokens,\n      compaction: input.compaction ?? CompactionPolicy.make(),\n    });\n  }\n}\n"],"mappings":";;;;;;;;;AAKA,MAAM,cAAc,OAAO,IAAI,MAAM,OAAO,cAAc,CAAC,CAAC;AAC5D,MAAM,iBAAiB,OAAO,IAAI,MAAM,OAAO,uBAAuB,CAAC,CAAC;AAExE,MAAM,iBAAiB,OAAO,SAAS;CAAC;CAAS;CAAa;AAAsB,CAAC;;AAWrF,IAAa,mBAAb,cAAsC,OAAO,MAAwB,kBAAkB,CAAC,CAAC;CACvF,kBAAkB;CAClB,MAAM;AACR,CAAC,CAAC,CAAC;;CAED,OAAgB,KAAK,QAA+B,CAAC,GAAqB;EACxE,OAAO,MAAM,KAAK;GAChB,kBAAkB,MAAM,oBAAoB;GAC5C,MAAM,MAAM,QAAQ;EACtB,CAAC;CACH;AACF;AAEA,MAAM,yBAAyB,OAAO,SAAS,KAC7C,OAAO,QACJ,aACC,SAAS,SAAS,QAAQ,KAAK,SAAS,WAAW,QAAQ,GAC7D,EAAE,UAAU,6BAA6B,CAC3C,CACF;;;;;;;;;;;AAYA,MAAM,eAAe,OAAO,SAAS,CAAC,gBAAgB,MAAM,CAAC;AAE7D,MAAM,oBAAoB,OAAO,OAAO;CACtC,UAAU;CACV,cAAc;CACd,aAAa;CACb,iBAAiB;CACjB,sBAAsB;CACtB,cAAc;CACd,aAAa,OAAO,YAAY,WAAW;;CAE3C,yBAAyB;CACzB,oBAAoB,OAAO,YAAY,cAAc;;CAErD,mBAAmB,OAAO,YAAY,WAAW;CACjD,kBAAkB;CAClB,WAAW,OAAO,SAAS,CAAC,YAAY,KAAK,CAAC;CAC9C,YAAY;AACd,CAAC,CAAC,CAAC,MACD,OAAO,YAAY,WACjB,OAAO,gBAAgB,KAAA,KAAa,OAAO,0BAA0B,OAAO,cACxE;CACE,MAAM,CAAC,yBAAyB;CAChC,OAAO;AACT,IACA,KAAA,CACN,CACF;;AAkCA,IAAa,cAAb,MAAa,oBAAoB,OAAO,MAAmB,aAAa,CAAC,CAAC,iBAAiB,CAAC,CAAC;;CAE3F,OAAO,QAAQ,QAAmC,CAAC,GAAG,QAAmC;EACvF,OAAO,YAAY,KAAK;GACtB,UAAU;GACV,cAAc;GACd,aAAa;GACb,iBAAiB;GACjB,GAAG;GACH,GAAG;GAEH,GAAI,MAAM,4BAA4B,KAAA,KAAa,WAAW,KAAA,IAC1D,CAAC,IACD,EACE,yBAAyB,KAAK,IAC5B,OAAO,yBACP,MAAM,eAAe,OAAO,eAAe,OAAO,uBACpD,EACF;EACN,CAAC;CACH;;CAGA,OAAgB,KAAK,OAAsC;EACzD,MAAM,0BACJ,MAAM,4BACL,MAAM,gBAAgB,KAAA,IACnB,OACA,KAAK,IAAI,MAAO,KAAK,MAAM,MAAM,cAAc,CAAC,CAAC;EAEvD,OAAO,MAAM,KAAK;GAChB,GAAG;GACH,aAAa,SAAS,gBAAgB,MAAM,WAAW;GACvD,sBAAsB,MAAM,wBAAwB;GACpD,cAAc,MAAM,gBAAgB;GACpC,kBAAkB,MAAM,oBAAoB,iBAAiB,KAAK,EAAE,UAAU,MAAU,CAAC;GACzF,WAAW,MAAM,aAAa;GAC9B;GACA,YAAY,MAAM,cAAc,iBAAiB,KAAK;EACxD,CAAC;CACH;AACF"}

package/dist/core/AgentUpdates.d.mts

@@ -0,0 +1,2 @@
+import { a as decode, i as UpdateError, n as Emitter, o as emit, r as Update, s as observe } from "../AgentUpdates-DMJ-_xow.mjs";
+export { Emitter, Update, UpdateError, decode, emit, observe };

package/dist/core/AgentUpdates.mjs

@@ -0,0 +1,63 @@
+import { t as __exportAll } from "../rolldown-runtime-D7D4PA-g.mjs";
+import { AgentId, RunId, ThreadId } from "./Identifiers.mjs";
+import { IdempotencyKey } from "./Receipt.mjs";
+import { Context, Effect, Option, Schema, Stream } from "effect";
+//#region src/core/AgentUpdates.ts
+var AgentUpdates_exports = /* @__PURE__ */ __exportAll({
+	Emitter: () => Emitter,
+	Update: () => Update,
+	UpdateError: () => UpdateError,
+	decode: () => decode,
+	emit: () => emit,
+	observe: () => observe
+});
+/** Canonical schema-encoded intermediate output, scoped to one logical Run. */
+var Update = class extends Schema.Class("@effect-agent/core/AgentUpdates/Update")({
+	schemaVersion: Schema.Literal(1),
+	agentId: AgentId,
+	threadId: ThreadId,
+	runId: RunId,
+	updateId: IdempotencyKey,
+	sequence: Schema.Int.check(Schema.isGreaterThan(0)),
+	value: Schema.Json
+}) {};
+/** Fail-closed update acceptance and decoding errors; payloads are never included. */
+var UpdateError = class extends Schema.TaggedError()("AgentUpdateError", { reason: Schema.Literals([
+	"validation",
+	"unavailable",
+	"conflict",
+	"capacity",
+	"storage",
+	"identity",
+	"denied"
+]) }) {};
+/** Engine-owned invocation port. The Agent ID and exact update Schema must match the executing definition. */
+var Emitter = class extends Context.Service()("@effect-agent/core/AgentUpdates/Emitter") {};
+/** Emit a decoded update under an explicit stable key. Retries cannot replace accepted values. */
+const emit = Effect.fn("AgentUpdates.emit")(function* (agent, value, options) {
+	const target = "definition" in agent ? agent.definition : agent;
+	if (target.updates === void 0) return yield* new UpdateError({ reason: "unavailable" });
+	const updateId = yield* Schema.decodeEffect(IdempotencyKey)(options.idempotencyKey).pipe(Effect.mapError(() => new UpdateError({ reason: "validation" })));
+	const encoded = yield* Schema.encodeEffect(target.updates)(value).pipe(Effect.flatMap(Schema.decodeUnknownEffect(Schema.Json)), Effect.mapError(() => new UpdateError({ reason: "validation" })));
+	const emitter = yield* Effect.serviceOption(Emitter);
+	if (Option.isNone(emitter)) return yield* new UpdateError({ reason: "unavailable" });
+	return yield* emitter.value.emit({
+		target,
+		updateId,
+		value: encoded
+	});
+});
+/** Decode canonical update data through its declaring Agent Schema. */
+const decode = Effect.fn("AgentUpdates.decode")(function* (agent, update) {
+	const definition = "definition" in agent ? agent.definition : agent;
+	if (definition.updates === void 0) return yield* new UpdateError({ reason: "unavailable" });
+	const decoded = yield* Schema.decodeEffect(Update)(update).pipe(Effect.mapError(() => new UpdateError({ reason: "validation" })));
+	if (decoded.agentId !== definition.id) return yield* new UpdateError({ reason: "identity" });
+	return yield* Schema.decodeEffect(definition.updates)(decoded.value).pipe(Effect.mapError(() => new UpdateError({ reason: "validation" })));
+});
+/** Decode an encoded update stream without hiding its failures or requirements. */
+const observe = (agent, updates) => updates.pipe(Stream.mapEffect((update) => decode(agent, update)));
+//#endregion
+export { Emitter, Update, UpdateError, decode, emit, observe, AgentUpdates_exports as t };
+
+//# sourceMappingURL=AgentUpdates.mjs.map

package/dist/core/AgentUpdates.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"AgentUpdates.mjs","names":[],"sources":["../../src/core/AgentUpdates.ts"],"sourcesContent":["import { Context, Effect, Option, Schema, Stream } from \"effect\";\n\nimport { AgentId, ThreadId, RunId } from \"./Identifiers.ts\";\nimport { IdempotencyKey } from \"./Receipt.ts\";\n\n/** Canonical schema-encoded intermediate output, scoped to one logical Run. */\nexport class Update extends Schema.Class<Update>(\"@effect-agent/core/AgentUpdates/Update\")({\n  schemaVersion: Schema.Literal(1),\n  agentId: AgentId,\n  threadId: ThreadId,\n  runId: RunId,\n  updateId: IdempotencyKey,\n  sequence: Schema.Int.check(Schema.isGreaterThan(0)),\n  value: Schema.Json,\n}) {}\n\n/** Fail-closed update acceptance and decoding errors; payloads are never included. */\nexport class UpdateError extends Schema.TaggedError<UpdateError>()(\"AgentUpdateError\", {\n  reason: Schema.Literals([\n    \"validation\",\n    \"unavailable\",\n    \"conflict\",\n    \"capacity\",\n    \"storage\",\n    \"identity\",\n    \"denied\",\n  ]),\n}) {}\n\n/** Engine-owned invocation port. The Agent ID and exact update Schema must match the executing definition. */\nexport class Emitter extends Context.Service<\n  Emitter,\n  {\n    readonly emit: (request: {\n      readonly target: { readonly id: AgentId; readonly updates?: Schema.Top | undefined };\n      readonly updateId: IdempotencyKey;\n      readonly value: Schema.Json;\n    }) => Effect.Effect<Update, UpdateError>;\n  }\n>()(\"@effect-agent/core/AgentUpdates/Emitter\") {}\n\n/** Structural schema boundary accepted by definitions and their model bindings. */\ntype Source<S extends Schema.Top> = {\n  readonly id: AgentId;\n  readonly updates?: S | undefined;\n};\n\ntype BoundSource<S extends Schema.Top> = Source<S> | { readonly definition: Source<S> };\n\n/** Emit a decoded update under an explicit stable key. Retries cannot replace accepted values. */\nexport const emit = Effect.fn(\"AgentUpdates.emit\")(function* <S extends Schema.Top>(\n  agent: BoundSource<S>,\n  value: NoInfer<S[\"Type\"]>,\n  options: { readonly idempotencyKey: IdempotencyKey },\n): Effect.fn.Return<Update, UpdateError, Emitter | S[\"EncodingServices\"]> {\n  const target = \"definition\" in agent ? agent.definition : agent;\n\n  if (target.updates === undefined) return yield* new UpdateError({ reason: \"unavailable\" });\n\n  const updateId = yield* Schema.decodeEffect(IdempotencyKey)(options.idempotencyKey).pipe(\n    Effect.mapError(() => new UpdateError({ reason: \"validation\" })),\n  );\n\n  const encoded = yield* Schema.encodeEffect(target.updates)(value).pipe(\n    Effect.flatMap(Schema.decodeUnknownEffect(Schema.Json)),\n    Effect.mapError(() => new UpdateError({ reason: \"validation\" })),\n  );\n\n  const emitter = yield* Effect.serviceOption(Emitter);\n\n  if (Option.isNone(emitter)) return yield* new UpdateError({ reason: \"unavailable\" });\n\n  return yield* emitter.value.emit({ target, updateId, value: encoded });\n});\n\n/** Decode canonical update data through its declaring Agent Schema. */\nexport const decode = Effect.fn(\"AgentUpdates.decode\")(function* <S extends Schema.Top>(\n  agent: BoundSource<S>,\n  update: Update,\n): Effect.fn.Return<S[\"Type\"], UpdateError, S[\"DecodingServices\"]> {\n  const definition = \"definition\" in agent ? agent.definition : agent;\n\n  if (definition.updates === undefined) return yield* new UpdateError({ reason: \"unavailable\" });\n\n  const decoded = yield* Schema.decodeEffect(Update)(update).pipe(\n    Effect.mapError(() => new UpdateError({ reason: \"validation\" })),\n  );\n\n  if (decoded.agentId !== definition.id) return yield* new UpdateError({ reason: \"identity\" });\n\n  return yield* Schema.decodeEffect(definition.updates)(decoded.value).pipe(\n    Effect.mapError(() => new UpdateError({ reason: \"validation\" })),\n  );\n});\n\n/** Decode an encoded update stream without hiding its failures or requirements. */\nexport const observe = <S extends Schema.Top, E, R>(\n  agent: BoundSource<S>,\n  updates: Stream.Stream<Update, E, R>,\n) => updates.pipe(Stream.mapEffect((update) => decode(agent, update)));\n"],"mappings":";;;;;;;;;;;;;;AAMA,IAAa,SAAb,cAA4B,OAAO,MAAc,wCAAwC,CAAC,CAAC;CACzF,eAAe,OAAO,QAAQ,CAAC;CAC/B,SAAS;CACT,UAAU;CACV,OAAO;CACP,UAAU;CACV,UAAU,OAAO,IAAI,MAAM,OAAO,cAAc,CAAC,CAAC;CAClD,OAAO,OAAO;AAChB,CAAC,CAAC,CAAC,CAAC;;AAGJ,IAAa,cAAb,cAAiC,OAAO,YAAyB,CAAC,CAAC,oBAAoB,EACrF,QAAQ,OAAO,SAAS;CACtB;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC,EACH,CAAC,CAAC,CAAC,CAAC;;AAGJ,IAAa,UAAb,cAA6B,QAAQ,QASnC,CAAC,CAAC,yCAAyC,CAAC,CAAC,CAAC;;AAWhD,MAAa,OAAO,OAAO,GAAG,mBAAmB,CAAC,CAAC,WACjD,OACA,OACA,SACwE;CACxE,MAAM,SAAS,gBAAgB,QAAQ,MAAM,aAAa;CAE1D,IAAI,OAAO,YAAY,KAAA,GAAW,OAAO,OAAO,IAAI,YAAY,EAAE,QAAQ,cAAc,CAAC;CAEzF,MAAM,WAAW,OAAO,OAAO,aAAa,cAAc,CAAC,CAAC,QAAQ,cAAc,CAAC,CAAC,KAClF,OAAO,eAAe,IAAI,YAAY,EAAE,QAAQ,aAAa,CAAC,CAAC,CACjE;CAEA,MAAM,UAAU,OAAO,OAAO,aAAa,OAAO,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,KAChE,OAAO,QAAQ,OAAO,oBAAoB,OAAO,IAAI,CAAC,GACtD,OAAO,eAAe,IAAI,YAAY,EAAE,QAAQ,aAAa,CAAC,CAAC,CACjE;CAEA,MAAM,UAAU,OAAO,OAAO,cAAc,OAAO;CAEnD,IAAI,OAAO,OAAO,OAAO,GAAG,OAAO,OAAO,IAAI,YAAY,EAAE,QAAQ,cAAc,CAAC;CAEnF,OAAO,OAAO,QAAQ,MAAM,KAAK;EAAE;EAAQ;EAAU,OAAO;CAAQ,CAAC;AACvE,CAAC;;AAGD,MAAa,SAAS,OAAO,GAAG,qBAAqB,CAAC,CAAC,WACrD,OACA,QACiE;CACjE,MAAM,aAAa,gBAAgB,QAAQ,MAAM,aAAa;CAE9D,IAAI,WAAW,YAAY,KAAA,GAAW,OAAO,OAAO,IAAI,YAAY,EAAE,QAAQ,cAAc,CAAC;CAE7F,MAAM,UAAU,OAAO,OAAO,aAAa,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,KACzD,OAAO,eAAe,IAAI,YAAY,EAAE,QAAQ,aAAa,CAAC,CAAC,CACjE;CAEA,IAAI,QAAQ,YAAY,WAAW,IAAI,OAAO,OAAO,IAAI,YAAY,EAAE,QAAQ,WAAW,CAAC;CAE3F,OAAO,OAAO,OAAO,aAAa,WAAW,OAAO,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,KACnE,OAAO,eAAe,IAAI,YAAY,EAAE,QAAQ,aAAa,CAAC,CAAC,CACjE;AACF,CAAC;;AAGD,MAAa,WACX,OACA,YACG,QAAQ,KAAK,OAAO,WAAW,WAAW,OAAO,OAAO,MAAM,CAAC,CAAC"}

package/dist/core/IdGenerator.d.mts

@@ -0,0 +1,26 @@
+import { f as TurnId, s as RunId, u as ThreadId } from "../Identifiers-CN2s30fF.mjs";
+import { Context, Effect, Layer } from "effect";
+declare namespace IdGenerator_d_exports {
+  export { IdGenerator, Service, layer };
+}
+/** Replaceable authority for creating runtime identities, including deterministic test IDs. */
+interface Service {
+  /** Create the identity for a new thread. */
+  readonly nextThreadId: Effect.Effect<ThreadId>;
+  /** Create the identity for a new run. */
+  readonly nextRunId: Effect.Effect<RunId>;
+  /** Create the identity for a new model turn. */
+  readonly nextTurnId: Effect.Effect<TurnId>;
+}
+/**
+ * Runtime identities default to Effect AI's generator without requiring a Layer.
+ * Randomness is fiber-local and can be seeded in tests. Override this reference
+ * with Layer.succeed/Layer.effect or Effect.provideService for custom identities.
+ * The default holds only Effects: it allocates no mutable state or resources.
+ */
+declare const IdGenerator: Context.Reference<Service>;
+/** Explicitly select the default generator, replacing any enclosing override. */
+declare const layer: Layer.Layer<never>;
+//#endregion
+export { IdGenerator, Service, layer, IdGenerator_d_exports as t };
+//# sourceMappingURL=IdGenerator.d.mts.map

package/dist/core/IdGenerator.mjs

@@ -0,0 +1,27 @@
+import { t as __exportAll } from "../rolldown-runtime-D7D4PA-g.mjs";
+import { RunId, ThreadId, TurnId } from "./Identifiers.mjs";
+import { IdGenerator as IdGenerator$1 } from "effect/unstable/ai";
+import { Context, Effect, Layer, Schema } from "effect";
+//#region src/core/IdGenerator.ts
+var IdGenerator_exports = /* @__PURE__ */ __exportAll({
+	IdGenerator: () => IdGenerator,
+	layer: () => layer
+});
+const defaultGenerator = {
+	nextThreadId: IdGenerator$1.defaultIdGenerator.generateId().pipe(Effect.map((id) => Schema.decodeSync(ThreadId)(`thread-${id}`))),
+	nextRunId: IdGenerator$1.defaultIdGenerator.generateId().pipe(Effect.map((id) => Schema.decodeSync(RunId)(`run-${id}`))),
+	nextTurnId: IdGenerator$1.defaultIdGenerator.generateId().pipe(Effect.map((id) => Schema.decodeSync(TurnId)(`turn-${id}`)))
+};
+/**
+* Runtime identities default to Effect AI's generator without requiring a Layer.
+* Randomness is fiber-local and can be seeded in tests. Override this reference
+* with Layer.succeed/Layer.effect or Effect.provideService for custom identities.
+* The default holds only Effects: it allocates no mutable state or resources.
+*/
+const IdGenerator = Context.Reference("@effect-agent/core/IdGenerator", { defaultValue: () => defaultGenerator });
+/** Explicitly select the default generator, replacing any enclosing override. */
+const layer = Layer.succeed(IdGenerator, defaultGenerator);
+//#endregion
+export { IdGenerator, layer, IdGenerator_exports as t };
+
+//# sourceMappingURL=IdGenerator.mjs.map

package/dist/core/IdGenerator.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"IdGenerator.mjs","names":["EffectAiIdGenerator"],"sources":["../../src/core/IdGenerator.ts"],"sourcesContent":["import { Context, Effect, Layer, Schema } from \"effect\";\nimport { IdGenerator as EffectAiIdGenerator } from \"effect/unstable/ai\";\n\nimport { ThreadId, RunId, TurnId } from \"./Identifiers.ts\";\n\n/** Replaceable authority for creating runtime identities, including deterministic test IDs. */\nexport interface Service {\n  /** Create the identity for a new thread. */\n  readonly nextThreadId: Effect.Effect<ThreadId>;\n  /** Create the identity for a new run. */\n  readonly nextRunId: Effect.Effect<RunId>;\n  /** Create the identity for a new model turn. */\n  readonly nextTurnId: Effect.Effect<TurnId>;\n}\n\nconst defaultGenerator: Service = {\n  nextThreadId: EffectAiIdGenerator.defaultIdGenerator\n    .generateId()\n    .pipe(Effect.map((id) => Schema.decodeSync(ThreadId)(`thread-${id}`))),\n  nextRunId: EffectAiIdGenerator.defaultIdGenerator\n    .generateId()\n    .pipe(Effect.map((id) => Schema.decodeSync(RunId)(`run-${id}`))),\n  nextTurnId: EffectAiIdGenerator.defaultIdGenerator\n    .generateId()\n    .pipe(Effect.map((id) => Schema.decodeSync(TurnId)(`turn-${id}`))),\n};\n\n/**\n * Runtime identities default to Effect AI's generator without requiring a Layer.\n * Randomness is fiber-local and can be seeded in tests. Override this reference\n * with Layer.succeed/Layer.effect or Effect.provideService for custom identities.\n * The default holds only Effects: it allocates no mutable state or resources.\n */\nexport const IdGenerator = Context.Reference<Service>(\"@effect-agent/core/IdGenerator\", {\n  defaultValue: () => defaultGenerator,\n});\n\n/** Explicitly select the default generator, replacing any enclosing override. */\nexport const layer: Layer.Layer<never> = Layer.succeed(IdGenerator, defaultGenerator);\n"],"mappings":";;;;;;;;;AAeA,MAAM,mBAA4B;CAChC,cAAcA,cAAoB,mBAC/B,WAAW,CAAC,CACZ,KAAK,OAAO,KAAK,OAAO,OAAO,WAAW,QAAQ,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC;CACvE,WAAWA,cAAoB,mBAC5B,WAAW,CAAC,CACZ,KAAK,OAAO,KAAK,OAAO,OAAO,WAAW,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;CACjE,YAAYA,cAAoB,mBAC7B,WAAW,CAAC,CACZ,KAAK,OAAO,KAAK,OAAO,OAAO,WAAW,MAAM,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC;AACrE;;;;;;;AAQA,MAAa,cAAc,QAAQ,UAAmB,kCAAkC,EACtF,oBAAoB,iBACtB,CAAC;;AAGD,MAAa,QAA4B,MAAM,QAAQ,aAAa,gBAAgB"}

package/dist/core/Identifiers.d.mts

@@ -0,0 +1,2 @@
+import { c as SettlementId, d as ToolCallId, f as TurnId, i as EventOffset, l as SubmissionId, n as AttemptId, o as ReceiptId, r as DelegationId, s as RunId, t as AgentId, u as ThreadId } from "../Identifiers-CN2s30fF.mjs";
+export { AgentId, AttemptId, DelegationId, EventOffset, ReceiptId, RunId, SettlementId, SubmissionId, ThreadId, ToolCallId, TurnId };

package/dist/core/Identifiers.mjs

@@ -0,0 +1,43 @@
+import { t as __exportAll } from "../rolldown-runtime-D7D4PA-g.mjs";
+import * as Schema from "effect/Schema";
+//#region src/core/Identifiers.ts
+var Identifiers_exports = /* @__PURE__ */ __exportAll({
+	AgentId: () => AgentId,
+	AttemptId: () => AttemptId,
+	DelegationId: () => DelegationId,
+	EventOffset: () => EventOffset,
+	ReceiptId: () => ReceiptId,
+	RunId: () => RunId,
+	SettlementId: () => SettlementId,
+	SubmissionId: () => SubmissionId,
+	ThreadId: () => ThreadId,
+	ToolCallId: () => ToolCallId,
+	TurnId: () => TurnId
+});
+const identifier = (name) => Schema.NonEmptyString.pipe(Schema.brand(`@effect-agent/core/${name}`));
+/** Stable identity of an agent definition, distinct from a display name. */
+const AgentId = identifier("AgentId");
+/** Identity shared by runs that participate in one thread history. */
+const ThreadId = identifier("ThreadId");
+/** Identity of one accepted input submission. */
+const SubmissionId = identifier("SubmissionId");
+/** Durable identity returned once ledger admission and Thread readiness are committed. */
+const ReceiptId = identifier("ReceiptId");
+/** Identity of the single durable terminal outcome owed to one accepted Submission. */
+const SettlementId = identifier("SettlementId");
+/** Identity of one execution ownership period for accepted work. */
+const AttemptId = identifier("AttemptId");
+/** Identity of one logical agent run. */
+const RunId = identifier("RunId");
+/** Identity of one model turn within a run. */
+const TurnId = identifier("TurnId");
+/** Identity used to correlate a Tool Call with progress and its terminal outcome. */
+const ToolCallId = identifier("ToolCallId");
+/** Stable identity of one configured Subagent capability. */
+const DelegationId = identifier("DelegationId");
+/** Opaque position in a semantic event sequence. */
+const EventOffset = identifier("EventOffset");
+//#endregion
+export { AgentId, AttemptId, DelegationId, EventOffset, ReceiptId, RunId, SettlementId, SubmissionId, ThreadId, ToolCallId, TurnId, Identifiers_exports as t };
+
+//# sourceMappingURL=Identifiers.mjs.map

package/dist/core/Identifiers.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Identifiers.mjs","names":[],"sources":["../../src/core/Identifiers.ts"],"sourcesContent":["import * as Schema from \"effect/Schema\";\n\nconst identifier = <const Name extends string>(name: Name) =>\n  Schema.NonEmptyString.pipe(Schema.brand(`@effect-agent/core/${name}`));\n\n/** Stable identity of an agent definition, distinct from a display name. */\nexport const AgentId = identifier(\"AgentId\");\nexport type AgentId = typeof AgentId.Type;\n\n/** Identity shared by runs that participate in one thread history. */\nexport const ThreadId = identifier(\"ThreadId\");\nexport type ThreadId = typeof ThreadId.Type;\n\n/** Identity of one accepted input submission. */\nexport const SubmissionId = identifier(\"SubmissionId\");\nexport type SubmissionId = typeof SubmissionId.Type;\n\n/** Durable identity returned once ledger admission and Thread readiness are committed. */\nexport const ReceiptId = identifier(\"ReceiptId\");\nexport type ReceiptId = typeof ReceiptId.Type;\n\n/** Identity of the single durable terminal outcome owed to one accepted Submission. */\nexport const SettlementId = identifier(\"SettlementId\");\nexport type SettlementId = typeof SettlementId.Type;\n\n/** Identity of one execution ownership period for accepted work. */\nexport const AttemptId = identifier(\"AttemptId\");\nexport type AttemptId = typeof AttemptId.Type;\n\n/** Identity of one logical agent run. */\nexport const RunId = identifier(\"RunId\");\nexport type RunId = typeof RunId.Type;\n\n/** Identity of one model turn within a run. */\nexport const TurnId = identifier(\"TurnId\");\nexport type TurnId = typeof TurnId.Type;\n\n/** Identity used to correlate a Tool Call with progress and its terminal outcome. */\nexport const ToolCallId = identifier(\"ToolCallId\");\nexport type ToolCallId = typeof ToolCallId.Type;\n\n/** Stable identity of one configured Subagent capability. */\nexport const DelegationId = identifier(\"DelegationId\");\nexport type DelegationId = typeof DelegationId.Type;\n\n/** Opaque position in a semantic event sequence. */\nexport const EventOffset = identifier(\"EventOffset\");\nexport type EventOffset = typeof EventOffset.Type;\n"],"mappings":";;;;;;;;;;;;;;;;AAEA,MAAM,cAAyC,SAC7C,OAAO,eAAe,KAAK,OAAO,MAAM,sBAAsB,MAAM,CAAC;;AAGvE,MAAa,UAAU,WAAW,SAAS;;AAI3C,MAAa,WAAW,WAAW,UAAU;;AAI7C,MAAa,eAAe,WAAW,cAAc;;AAIrD,MAAa,YAAY,WAAW,WAAW;;AAI/C,MAAa,eAAe,WAAW,cAAc;;AAIrD,MAAa,YAAY,WAAW,WAAW;;AAI/C,MAAa,QAAQ,WAAW,OAAO;;AAIvC,MAAa,SAAS,WAAW,QAAQ;;AAIzC,MAAa,aAAa,WAAW,YAAY;;AAIjD,MAAa,eAAe,WAAW,cAAc;;AAIrD,MAAa,cAAc,WAAW,aAAa"}

package/dist/core/Memory.d.mts

@@ -0,0 +1,57 @@
+import { a as MemoryPassage, o as MemoryRecallError, r as MemoryLookup, s as MemoryRecallLimits } from "../MemoryReference-B8Q3UJoJ.mjs";
+import { Effect, Schema, Scope } from "effect";
+declare namespace Memory_d_exports {
+  export { MemoryRecallSource, MemorySourceOutcome, RecalledMemory, recall };
+}
+/**
+ * Host-selected read capability. Close over authorization and query policy here; neither
+ * source selection nor access scope is model-controlled. Convert only intended expected
+ * failures to Unavailable. All other errors, defects, and interruptions propagate.
+ */
+interface MemoryRecallSource<E = never, R = never> {
+  readonly id: string;
+  readonly essential: boolean;
+  readonly read: Effect.Effect<MemoryLookup, E, R>;
+}
+declare const MemorySourceOutcome: Schema.Struct<{
+  readonly sourceId: Schema.NonEmptyString;
+  readonly status: Schema.Literals<readonly ["Found", "NoMatch", "Unavailable", "InsufficientFreshness"]>;
+  readonly selected: Schema.Natural;
+  readonly deduplicated: Schema.Natural;
+  readonly omitted: Schema.Natural;
+}>;
+declare const RecalledMemory_base: Schema.Class<RecalledMemory, Schema.Struct<{
+  readonly text: Schema.String;
+  readonly passages: Schema.$Array<typeof MemoryPassage>;
+  readonly outcomes: Schema.$Array<Schema.Struct<{
+    readonly sourceId: Schema.NonEmptyString;
+    readonly status: Schema.Literals<readonly ["Found", "NoMatch", "Unavailable", "InsufficientFreshness"]>;
+    readonly selected: Schema.Natural;
+    readonly deduplicated: Schema.Natural;
+    readonly omitted: Schema.Natural;
+  }>>;
+  readonly bytes: Schema.Natural;
+  readonly estimatedTokens: Schema.Natural;
+}>, {}>;
+/** Model-visible text with host-only passages and outcomes. Do not persist it as Thread history. */
+declare class RecalledMemory extends RecalledMemory_base {}
+/**
+ * Read in declaration/ranking order and retain whole passages that fit. Essential sources
+ * must have a represented passage when they return matches, including exact duplicates.
+ * Explicit passage authorities qualify source identity across readers; absent authority is
+ * local to the reader declaration. Raw authorities stay in host passages, never rendered text.
+ * maxSources bounds both reader declarations and authority-qualified selected sources. No-match is successful even when
+ * essential. Optional unavailable/stale sources remain visible in outcomes. Nothing is cached.
+ * Admitted conflicting identities are rejected even when an earlier passage does not fit the output budget.
+ * maxInputBytes bounds cumulative JSON passage encodings before selection or identity retention;
+ * its default is 16 MiB. Exhaustion stops validation and returns no partial context. Reader-owned
+ * allocation and result decoding precede that input bound.
+ *
+ * The default estimate is one token per UTF-8 byte. Supply the selected model's tokenizer
+ * for tighter selection. The engine independently enforces its full per-call context budget.
+ * The deadline owns a Scope, so temporary reader resources finalize on every exit path.
+ */
+declare const recall: <E = never, R = never>(sources: readonly MemoryRecallSource<E, R>[], limits: MemoryRecallLimits, estimateTokens?: ((text: string) => number) | undefined) => Effect.Effect<RecalledMemory, E | MemoryRecallError, Exclude<R, Scope.Scope>>;
+//#endregion
+export { MemoryRecallSource, MemorySourceOutcome, RecalledMemory, recall, Memory_d_exports as t };
+//# sourceMappingURL=Memory.d.mts.map