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

package/dist/durable/MessageDeliveryStoreConformance.d.mts

@@ -0,0 +1,358 @@
+import { d as SubagentReservationAmounts, l as SubagentGrant, o as SubagentDelegationCaps, s as SubagentExecutionFailure } from "../SubagentContract-DdT7Cqe6.mjs";
+import { a as Receipt } from "../Receipt-BAHyigAF.mjs";
+import { r as Update } from "../AgentUpdates-DMJ-_xow.mjs";
+import { t as AgentPolicy } from "../AgentPolicy-CetmQrf3.mjs";
+import { Fa as Settlement, Vr as DigestError, h as DefinitionDigests } from "../Records-BAGkekt8.mjs";
+import { MessageDeliveryError, MessageDeliveryFailure, MessageDeliveryStore } from "./MessageDelivery.mjs";
+import { Effect, Schema } from "effect";
+//#region src/durable/MessageDeliveryStoreConformance.d.ts
+declare const MessageDeliveryConformanceViolation_base: Schema.Class<MessageDeliveryConformanceViolation, Schema.TaggedStruct<"MessageDeliveryConformanceViolation", {
+  readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+declare class MessageDeliveryConformanceViolation extends MessageDeliveryConformanceViolation_base {}
+/** One valid frozen envelope shared by real storage and restart tests. */
+declare const makeMessageDeliveryFixture: (messageId?: any, owner?: any, text?: any) => Effect.Effect<{
+  readonly schemaVersion: 1;
+  readonly key: {
+    readonly ownerThreadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+    readonly messageId: string & import("effect/Brand").Brand<"@effect-agent/thread/IdempotencyKey">;
+  };
+  readonly envelope: {
+    readonly schemaVersion: 1;
+    readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+    readonly deliveryPrincipal: string & import("effect/Brand").Brand<"@effect-agent/thread/Principal">;
+    readonly admissionGroup?: string | undefined;
+    readonly admissionFence?: {
+      readonly policyId: string;
+      readonly key: string;
+      readonly revision: string;
+    } | undefined;
+    readonly agentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+    readonly definitions: DefinitionDigests;
+    readonly input: Schema.Json;
+    readonly inputDigest: string & import("effect/Brand").Brand<"@effect-agent/thread/Digest">;
+    readonly admissionKey: string & import("effect/Brand").Brand<"@effect-agent/thread/IdempotencyKey">;
+    readonly authorization: {
+      readonly policyId: string;
+      readonly decisionId: string;
+    };
+    readonly workerAdmission?: {
+      readonly origin: {
+        readonly worker: {
+          readonly schemaVersion: 1;
+          readonly delegationId: string & import("effect/Brand").Brand<"@effect-agent/core/DelegationId">;
+          readonly targetAgentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+          readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        };
+        readonly source: {
+          readonly _tag: "tool";
+          readonly agentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+          readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+          readonly runId: string & import("effect/Brand").Brand<"@effect-agent/core/RunId">;
+          readonly toolCallId: string & import("effect/Brand").Brand<"@effect-agent/core/ToolCallId">;
+        } | {
+          readonly _tag: "programmatic";
+          readonly agentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+          readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        };
+        readonly budgetScope?: "source-subtree" | "worker-run" | undefined;
+        readonly targetDigests: DefinitionDigests;
+        readonly policy: AgentPolicy;
+        readonly budget: {
+          readonly caps: SubagentDelegationCaps;
+          readonly allocation: SubagentReservationAmounts;
+          readonly descendantInvocations?: number | undefined;
+        };
+        readonly grant: SubagentGrant;
+        readonly depth: number;
+        readonly toolCallAllowance?: number | undefined;
+        readonly firstMessageId: string & import("effect/Brand").Brand<"@effect-agent/thread/IdempotencyKey">;
+        readonly createdAtMillis: number;
+        readonly expiresAtMillis: number;
+        readonly reporting?: {
+          readonly mode?: "standard" | undefined;
+          readonly sourceDigests: DefinitionDigests;
+          readonly destinationDelegationId?: (string & import("effect/Brand").Brand<"@effect-agent/core/DelegationId">) | undefined;
+        } | undefined;
+      };
+      readonly messageId: string & import("effect/Brand").Brand<"@effect-agent/thread/IdempotencyKey">;
+      readonly parameters: Schema.Json;
+      readonly createdAtMillis: number;
+      readonly sourceSubmissionId?: (string & import("effect/Brand").Brand<"@effect-agent/core/SubmissionId">) | undefined;
+      readonly deliveryPrincipal?: (string & import("effect/Brand").Brand<"@effect-agent/thread/Principal">) | undefined;
+      readonly reportKind?: "update" | undefined;
+    } | undefined;
+    readonly messageAdmission?: {
+      readonly schemaVersion: 1;
+      readonly message: {
+        readonly ownerThreadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        readonly messageId: string & import("effect/Brand").Brand<"@effect-agent/thread/IdempotencyKey">;
+      };
+      readonly peerName: string;
+      readonly sender: {
+        readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        readonly agentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+      };
+      readonly returnAddress: {
+        readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        readonly agentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+      };
+      readonly inReplyTo?: {
+        readonly ownerThreadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        readonly messageId: string & import("effect/Brand").Brand<"@effect-agent/thread/IdempotencyKey">;
+      } | undefined;
+    } | {
+      readonly _tag: "WorkerCompletion";
+      readonly budgetExhausted: boolean;
+      readonly schemaVersion: 1;
+      readonly report: {
+        readonly _tag: "Settled";
+        readonly worker: {
+          readonly schemaVersion: 1;
+          readonly delegationId: string & import("effect/Brand").Brand<"@effect-agent/core/DelegationId">;
+          readonly targetAgentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+          readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        };
+        readonly receipt: Receipt;
+        readonly runId: string & import("effect/Brand").Brand<"@effect-agent/core/RunId">;
+        readonly settlementId: string & import("effect/Brand").Brand<"@effect-agent/core/SettlementId">;
+        readonly outcome: "completed";
+        readonly result: Schema.Json;
+      } | {
+        readonly _tag: "Settled";
+        readonly worker: {
+          readonly schemaVersion: 1;
+          readonly delegationId: string & import("effect/Brand").Brand<"@effect-agent/core/DelegationId">;
+          readonly targetAgentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+          readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        };
+        readonly receipt: Receipt;
+        readonly runId: string & import("effect/Brand").Brand<"@effect-agent/core/RunId">;
+        readonly settlementId: string & import("effect/Brand").Brand<"@effect-agent/core/SettlementId">;
+        readonly outcome: "aborted" | "failed";
+        readonly failure: SubagentExecutionFailure;
+      };
+    } | {
+      readonly _tag: "WorkerUpdate";
+      readonly schemaVersion: 1;
+      readonly worker: {
+        readonly schemaVersion: 1;
+        readonly delegationId: string & import("effect/Brand").Brand<"@effect-agent/core/DelegationId">;
+        readonly targetAgentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+        readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+      };
+      readonly update: Update;
+    } | undefined;
+  };
+  readonly envelopeDigest: string & import("effect/Brand").Brand<"@effect-agent/thread/Digest">;
+  readonly predecessor?: (string & import("effect/Brand").Brand<"@effect-agent/thread/IdempotencyKey">) | undefined;
+  readonly createdAtMillis: number;
+  readonly initialDeadlineAtMillis: number;
+  readonly deadlineAtMillis: number;
+  readonly policy: {
+    readonly maxAutomaticAttempts: number;
+    readonly attemptTimeoutMillis: number;
+    readonly retryBaseMillis: number;
+    readonly retryMaxMillis: number;
+    readonly settlementPollMillis: number;
+  };
+  readonly version: number;
+  readonly status: "accepted" | "parked" | "pending" | "processed" | "refused";
+  readonly receipt: Receipt | null;
+  readonly settlement: Settlement | null;
+  readonly refusal: string | null;
+  readonly parkReason: "deadline" | "exhausted" | "status-unavailable" | null;
+  readonly leaseUntilMillis: number | null;
+  readonly retry: {
+    readonly attempts: number;
+    readonly generation: number;
+    readonly automaticAttempts: number;
+    readonly parked: boolean;
+    readonly nextAttemptAtMillis: number;
+    readonly lastAttemptAtMillis: number | null;
+    readonly lastFailure: "ambiguous" | "capacity" | "host-closed" | "storage" | "timeout" | "transport" | null;
+  };
+}, DigestError | MessageDeliveryError, import("effect/Crypto").Crypto>;
+declare const messageDeliveryFixtureReceipt: Receipt;
+declare const makeWorkerUpdateDeliveryFixture: (id: string) => Effect.Effect<{
+  readonly schemaVersion: 1;
+  readonly key: {
+    readonly ownerThreadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+    readonly messageId: string & import("effect/Brand").Brand<"@effect-agent/thread/IdempotencyKey">;
+  };
+  readonly envelope: {
+    readonly schemaVersion: 1;
+    readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+    readonly deliveryPrincipal: string & import("effect/Brand").Brand<"@effect-agent/thread/Principal">;
+    readonly admissionGroup?: string | undefined;
+    readonly admissionFence?: {
+      readonly policyId: string;
+      readonly key: string;
+      readonly revision: string;
+    } | undefined;
+    readonly agentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+    readonly definitions: DefinitionDigests;
+    readonly input: Schema.Json;
+    readonly inputDigest: string & import("effect/Brand").Brand<"@effect-agent/thread/Digest">;
+    readonly admissionKey: string & import("effect/Brand").Brand<"@effect-agent/thread/IdempotencyKey">;
+    readonly authorization: {
+      readonly policyId: string;
+      readonly decisionId: string;
+    };
+    readonly workerAdmission?: {
+      readonly origin: {
+        readonly worker: {
+          readonly schemaVersion: 1;
+          readonly delegationId: string & import("effect/Brand").Brand<"@effect-agent/core/DelegationId">;
+          readonly targetAgentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+          readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        };
+        readonly source: {
+          readonly _tag: "tool";
+          readonly agentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+          readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+          readonly runId: string & import("effect/Brand").Brand<"@effect-agent/core/RunId">;
+          readonly toolCallId: string & import("effect/Brand").Brand<"@effect-agent/core/ToolCallId">;
+        } | {
+          readonly _tag: "programmatic";
+          readonly agentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+          readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        };
+        readonly budgetScope?: "source-subtree" | "worker-run" | undefined;
+        readonly targetDigests: DefinitionDigests;
+        readonly policy: AgentPolicy;
+        readonly budget: {
+          readonly caps: SubagentDelegationCaps;
+          readonly allocation: SubagentReservationAmounts;
+          readonly descendantInvocations?: number | undefined;
+        };
+        readonly grant: SubagentGrant;
+        readonly depth: number;
+        readonly toolCallAllowance?: number | undefined;
+        readonly firstMessageId: string & import("effect/Brand").Brand<"@effect-agent/thread/IdempotencyKey">;
+        readonly createdAtMillis: number;
+        readonly expiresAtMillis: number;
+        readonly reporting?: {
+          readonly mode?: "standard" | undefined;
+          readonly sourceDigests: DefinitionDigests;
+          readonly destinationDelegationId?: (string & import("effect/Brand").Brand<"@effect-agent/core/DelegationId">) | undefined;
+        } | undefined;
+      };
+      readonly messageId: string & import("effect/Brand").Brand<"@effect-agent/thread/IdempotencyKey">;
+      readonly parameters: Schema.Json;
+      readonly createdAtMillis: number;
+      readonly sourceSubmissionId?: (string & import("effect/Brand").Brand<"@effect-agent/core/SubmissionId">) | undefined;
+      readonly deliveryPrincipal?: (string & import("effect/Brand").Brand<"@effect-agent/thread/Principal">) | undefined;
+      readonly reportKind?: "update" | undefined;
+    } | undefined;
+    readonly messageAdmission?: {
+      readonly schemaVersion: 1;
+      readonly message: {
+        readonly ownerThreadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        readonly messageId: string & import("effect/Brand").Brand<"@effect-agent/thread/IdempotencyKey">;
+      };
+      readonly peerName: string;
+      readonly sender: {
+        readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        readonly agentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+      };
+      readonly returnAddress: {
+        readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        readonly agentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+      };
+      readonly inReplyTo?: {
+        readonly ownerThreadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        readonly messageId: string & import("effect/Brand").Brand<"@effect-agent/thread/IdempotencyKey">;
+      } | undefined;
+    } | {
+      readonly _tag: "WorkerCompletion";
+      readonly budgetExhausted: boolean;
+      readonly schemaVersion: 1;
+      readonly report: {
+        readonly _tag: "Settled";
+        readonly worker: {
+          readonly schemaVersion: 1;
+          readonly delegationId: string & import("effect/Brand").Brand<"@effect-agent/core/DelegationId">;
+          readonly targetAgentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+          readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        };
+        readonly receipt: Receipt;
+        readonly runId: string & import("effect/Brand").Brand<"@effect-agent/core/RunId">;
+        readonly settlementId: string & import("effect/Brand").Brand<"@effect-agent/core/SettlementId">;
+        readonly outcome: "completed";
+        readonly result: Schema.Json;
+      } | {
+        readonly _tag: "Settled";
+        readonly worker: {
+          readonly schemaVersion: 1;
+          readonly delegationId: string & import("effect/Brand").Brand<"@effect-agent/core/DelegationId">;
+          readonly targetAgentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+          readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+        };
+        readonly receipt: Receipt;
+        readonly runId: string & import("effect/Brand").Brand<"@effect-agent/core/RunId">;
+        readonly settlementId: string & import("effect/Brand").Brand<"@effect-agent/core/SettlementId">;
+        readonly outcome: "aborted" | "failed";
+        readonly failure: SubagentExecutionFailure;
+      };
+    } | {
+      readonly _tag: "WorkerUpdate";
+      readonly schemaVersion: 1;
+      readonly worker: {
+        readonly schemaVersion: 1;
+        readonly delegationId: string & import("effect/Brand").Brand<"@effect-agent/core/DelegationId">;
+        readonly targetAgentId: string & import("effect/Brand").Brand<"@effect-agent/core/AgentId">;
+        readonly threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">;
+      };
+      readonly update: Update;
+    } | undefined;
+  };
+  readonly envelopeDigest: string & import("effect/Brand").Brand<"@effect-agent/thread/Digest">;
+  readonly predecessor?: (string & import("effect/Brand").Brand<"@effect-agent/thread/IdempotencyKey">) | undefined;
+  readonly createdAtMillis: number;
+  readonly initialDeadlineAtMillis: number;
+  readonly deadlineAtMillis: number;
+  readonly policy: {
+    readonly maxAutomaticAttempts: number;
+    readonly attemptTimeoutMillis: number;
+    readonly retryBaseMillis: number;
+    readonly retryMaxMillis: number;
+    readonly settlementPollMillis: number;
+  };
+  readonly version: number;
+  readonly status: "accepted" | "parked" | "pending" | "processed" | "refused";
+  readonly receipt: Receipt | null;
+  readonly settlement: Settlement | null;
+  readonly refusal: string | null;
+  readonly parkReason: "deadline" | "exhausted" | "status-unavailable" | null;
+  readonly leaseUntilMillis: number | null;
+  readonly retry: {
+    readonly attempts: number;
+    readonly generation: number;
+    readonly automaticAttempts: number;
+    readonly parked: boolean;
+    readonly nextAttemptAtMillis: number;
+    readonly lastAttemptAtMillis: number | null;
+    readonly lastFailure: "ambiguous" | "capacity" | "host-closed" | "storage" | "timeout" | "transport" | null;
+  };
+}, DigestError | MessageDeliveryError, import("effect/Crypto").Crypto>;
+/** Every case starts with an empty store; all clocks and expected values are explicit. */
+declare const messageDeliveryStoreConformanceCases: readonly [{
+  readonly name: "reserves ordinary delivery capacity when worker updates saturate their separate bound";
+  readonly run: Effect.Effect<void, DigestError | MessageDeliveryConformanceViolation | MessageDeliveryFailure, import("effect/Crypto").Crypto | MessageDeliveryStore>;
+}, {
+  readonly name: "retains predecessor identity and defers ordering waits without spending attempts";
+  readonly run: Effect.Effect<void, DigestError | MessageDeliveryConformanceViolation | MessageDeliveryFailure, import("effect/Crypto").Crypto | MessageDeliveryStore>;
+}, {
+  readonly name: "retains pending, accepted and processed facts with stable duplicate admission";
+  readonly run: Effect.Effect<void, DigestError | MessageDeliveryConformanceViolation | MessageDeliveryFailure, import("effect/Crypto").Crypto | MessageDeliveryStore>;
+}, {
+  readonly name: "rejects conflicting identity and scopes cursors and discovery to the source owner";
+  readonly run: Effect.Effect<void, DigestError | MessageDeliveryConformanceViolation | MessageDeliveryFailure, import("effect/Crypto").Crypto | MessageDeliveryStore>;
+}, {
+  readonly name: "fences stale completion and preserves parked work for explicit recovery";
+  readonly run: Effect.Effect<void, DigestError | MessageDeliveryConformanceViolation | MessageDeliveryFailure, import("effect/Crypto").Crypto | MessageDeliveryStore>;
+}];
+//#endregion
+export { MessageDeliveryConformanceViolation, makeMessageDeliveryFixture, makeWorkerUpdateDeliveryFixture, messageDeliveryFixtureReceipt, messageDeliveryStoreConformanceCases };
+//# sourceMappingURL=MessageDeliveryStoreConformance.d.mts.map

package/dist/durable/MessageDeliveryStoreConformance.mjs

@@ -0,0 +1,243 @@
+import { AgentId, DelegationId, ReceiptId, RunId, SettlementId, SubmissionId, ThreadId } from "../core/Identifiers.mjs";
+import { IdempotencyKey, Principal, QueueSequence, Receipt } from "../core/Receipt.mjs";
+import { Update } from "../core/AgentUpdates.mjs";
+import { WorkerUpdate } from "../core/Worker.mjs";
+import { DefinitionDigests, Digest } from "./Records.mjs";
+import { Settlement } from "./SubmissionLedger.mjs";
+import { digestJson } from "./Digest.mjs";
+import { MessageDeliveryStore, messageDeliveryCapacity, prepareMessageDelivery } from "./MessageDelivery.mjs";
+import { DateTime, Effect, Equal, Result, Schema } from "effect";
+//#region src/durable/MessageDeliveryStoreConformance.ts
+var MessageDeliveryConformanceViolation = class extends Schema.TaggedError()("MessageDeliveryConformanceViolation", { message: Schema.String }) {};
+const verify = (condition, message) => condition ? Effect.void : Effect.fail(MessageDeliveryConformanceViolation.make({ message }));
+/** One valid frozen envelope shared by real storage and restart tests. */
+const makeMessageDeliveryFixture = Effect.fn("MessageDeliveryConformance.fixture")(function* (messageId = "message", owner = "sender", text = "hello") {
+	const digest = Schema.decodeSync(Digest)("a".repeat(64));
+	const input = { text };
+	return yield* prepareMessageDelivery({
+		key: {
+			ownerThreadId: Schema.decodeSync(ThreadId)(owner),
+			messageId: Schema.decodeSync(IdempotencyKey)(messageId)
+		},
+		createdAtMillis: 0,
+		deadlineAtMillis: 1e3,
+		policy: {
+			maxAutomaticAttempts: 3,
+			attemptTimeoutMillis: 100,
+			retryBaseMillis: 10,
+			retryMaxMillis: 20,
+			settlementPollMillis: 5
+		},
+		envelope: {
+			schemaVersion: 1,
+			threadId: Schema.decodeSync(ThreadId)("receiver"),
+			deliveryPrincipal: Schema.decodeSync(Principal)("principal"),
+			agentId: Schema.decodeSync(AgentId)("agent"),
+			definitions: DefinitionDigests.make({
+				agent: digest,
+				model: digest,
+				tools: digest
+			}),
+			input,
+			inputDigest: yield* digestJson(input),
+			admissionKey: Schema.decodeSync(IdempotencyKey)(`admit:${owner}:${messageId}`),
+			authorization: {
+				policyId: "policy",
+				decisionId: "decision"
+			}
+		}
+	});
+});
+const messageDeliveryFixtureReceipt = Receipt.make({
+	threadId: Schema.decodeSync(ThreadId)("receiver"),
+	receiptId: Schema.decodeSync(ReceiptId)("receipt"),
+	submissionId: Schema.decodeSync(SubmissionId)("submission"),
+	queueSequence: Schema.decodeSync(QueueSequence)(0)
+});
+const makeWorkerUpdateDeliveryFixture = Effect.fn("MessageDeliveryConformance.updateFixture")(function* (id) {
+	const base = yield* makeMessageDeliveryFixture(id);
+	return yield* prepareMessageDelivery({
+		key: base.key,
+		createdAtMillis: base.createdAtMillis,
+		deadlineAtMillis: base.deadlineAtMillis,
+		policy: base.policy,
+		envelope: {
+			...base.envelope,
+			messageAdmission: WorkerUpdate.make({
+				_tag: "WorkerUpdate",
+				schemaVersion: 1,
+				worker: {
+					schemaVersion: 1,
+					delegationId: Schema.decodeSync(DelegationId)("worker"),
+					targetAgentId: Schema.decodeSync(AgentId)("child"),
+					threadId: base.key.ownerThreadId
+				},
+				update: Update.make({
+					schemaVersion: 1,
+					agentId: Schema.decodeSync(AgentId)("child"),
+					threadId: base.key.ownerThreadId,
+					runId: Schema.decodeSync(RunId)("run"),
+					updateId: base.key.messageId,
+					sequence: 1,
+					value: { finding: id }
+				})
+			})
+		}
+	});
+});
+/** Every case starts with an empty store; all clocks and expected values are explicit. */
+const messageDeliveryStoreConformanceCases = [
+	{
+		name: "reserves ordinary delivery capacity when worker updates saturate their separate bound",
+		run: Effect.gen(function* () {
+			const store = yield* MessageDeliveryStore;
+			const capacity = messageDeliveryCapacity(store.limits, true);
+			for (let index = 0; index < capacity.pending; index++) yield* store.insert(yield* makeWorkerUpdateDeliveryFixture(`update-${index}`));
+			const refused = yield* store.insert(yield* makeWorkerUpdateDeliveryFixture("overflow")).pipe(Effect.result);
+			yield* verify(Result.isFailure(refused) && refused.failure._tag === "MessageDeliveryError" && refused.failure.reason === "capacity", "Updates must stop at their independent pending bound");
+			const terminal = yield* makeMessageDeliveryFixture("terminal");
+			yield* verify((yield* store.insert(terminal)).status === "pending", "Update pressure must preserve ordinary terminal capacity");
+			yield* verify((yield* store.get({
+				...terminal.key,
+				messageId: Schema.decodeSync(IdempotencyKey)("overflow")
+			})) === null, "Rejected update must not mutate delivery storage");
+		})
+	},
+	{
+		name: "retains predecessor identity and defers ordering waits without spending attempts",
+		run: Effect.gen(function* () {
+			const store = yield* MessageDeliveryStore;
+			const initial = {
+				...yield* makeMessageDeliveryFixture("later"),
+				predecessor: Schema.decodeSync(IdempotencyKey)("earlier")
+			};
+			yield* store.insert(initial);
+			const deferred = yield* store.change(initial.key, {
+				_tag: "Defer",
+				expectedVersion: 1,
+				nowMillis: 0,
+				untilMillis: 100
+			});
+			yield* verify(deferred.retry.attempts === 0 && deferred.retry.automaticAttempts === 0 && deferred.retry.nextAttemptAtMillis === 100, "Ordering waits must remain bounded without exhausting transport retries");
+			yield* verify((yield* store.due(99, 10)).length === 0 && (yield* store.due(100, 10)).length === 1, "Deferral must advance the persisted wake deadline");
+			const changed = yield* store.insert({
+				...initial,
+				predecessor: Schema.decodeSync(IdempotencyKey)("different")
+			}).pipe(Effect.result);
+			yield* verify(Result.isFailure(changed) && changed.failure._tag === "MessageDeliveryError" && changed.failure.reason === "conflict", "A retry cannot replace its ordering predecessor");
+		})
+	},
+	{
+		name: "retains pending, accepted and processed facts with stable duplicate admission",
+		run: Effect.gen(function* () {
+			const store = yield* MessageDeliveryStore;
+			const initial = yield* makeMessageDeliveryFixture();
+			yield* store.insert(initial);
+			yield* verify(Equal.equals(yield* store.due(0, 10), [initial.key]), "Pending work must be independently discoverable");
+			const claim = yield* store.change(initial.key, {
+				_tag: "Claim",
+				nowMillis: 0,
+				expectedVersion: 1
+			});
+			const accepted = yield* store.change(initial.key, {
+				_tag: "Accept",
+				nowMillis: 1,
+				expectedVersion: claim.version,
+				receipt: messageDeliveryFixtureReceipt
+			});
+			yield* verify(accepted.status === "accepted" && accepted.settlement === null, "Acceptance must not claim processing");
+			const secondClaim = yield* store.change(initial.key, {
+				_tag: "Claim",
+				nowMillis: 6,
+				expectedVersion: accepted.version
+			});
+			const settlement = Settlement.make({
+				receiptId: messageDeliveryFixtureReceipt.receiptId,
+				submissionId: messageDeliveryFixtureReceipt.submissionId,
+				settlementId: Schema.decodeSync(SettlementId)("settlement"),
+				outcome: "completed",
+				settledAt: DateTime.makeUnsafe(7)
+			});
+			const processed = yield* store.change(initial.key, {
+				_tag: "Process",
+				nowMillis: 7,
+				expectedVersion: secondClaim.version,
+				settlement
+			});
+			yield* verify(processed.status === "processed", "Canonical settlement must finish processing");
+			yield* verify(Equal.equals(yield* store.insert(initial), processed), "Replay must preserve terminal evidence");
+			yield* verify((yield* store.nextDeadline()) === null, "Processed work must release its wake deadline");
+		})
+	},
+	{
+		name: "rejects conflicting identity and scopes cursors and discovery to the source owner",
+		run: Effect.gen(function* () {
+			const store = yield* MessageDeliveryStore;
+			const a = yield* makeMessageDeliveryFixture("a");
+			const b = yield* makeMessageDeliveryFixture("b");
+			const other = yield* makeMessageDeliveryFixture("a", "other");
+			yield* store.insert(a);
+			yield* store.insert(b);
+			yield* store.insert(other);
+			const conflict = yield* store.insert(yield* makeMessageDeliveryFixture("a", "sender", "changed")).pipe(Effect.result);
+			yield* verify(Result.isFailure(conflict) && conflict.failure._tag === "MessageDeliveryError" && conflict.failure.reason === "conflict", "Conflicting replay must be refused");
+			yield* verify(Equal.equals(yield* store.get(a.key), a), "Refusal must preserve original input");
+			const page = yield* store.list({
+				ownerThreadId: a.key.ownerThreadId,
+				limit: 1
+			});
+			yield* verify(page.items.length === 1 && page.items[0]?.key.messageId === "a" && page.next === "a", "First page must remain owner scoped");
+			const next = yield* store.list({
+				ownerThreadId: a.key.ownerThreadId,
+				limit: 1,
+				after: a.key.messageId
+			});
+			yield* verify(next.items.length === 1 && next.items[0]?.key.messageId === "b" && next.next === null, "Cursor must be stable");
+			yield* verify(Equal.equals(yield* store.due(0, 10, other.key.ownerThreadId), [other.key]), "Owner-scoped scans must not expose another source");
+		})
+	},
+	{
+		name: "fences stale completion and preserves parked work for explicit recovery",
+		run: Effect.gen(function* () {
+			const store = yield* MessageDeliveryStore;
+			const initial = yield* makeMessageDeliveryFixture();
+			yield* store.insert(initial);
+			const old = yield* store.change(initial.key, {
+				_tag: "Claim",
+				nowMillis: 0,
+				expectedVersion: 1
+			});
+			const current = yield* store.change(initial.key, {
+				_tag: "Claim",
+				nowMillis: 101,
+				expectedVersion: old.version
+			});
+			const stale = yield* store.change(initial.key, {
+				_tag: "Accept",
+				nowMillis: 102,
+				expectedVersion: old.version,
+				receipt: messageDeliveryFixtureReceipt
+			}).pipe(Effect.result);
+			yield* verify(Result.isFailure(stale) && stale.failure._tag === "MessageDeliveryError" && stale.failure.reason === "conflict", "Old claims cannot commit");
+			const parked = yield* store.change(initial.key, {
+				_tag: "Park",
+				nowMillis: 102,
+				expectedVersion: current.version,
+				reason: "exhausted"
+			});
+			yield* verify((yield* store.nextDeadline()) === null && parked.status === "parked", "Parked work must remain inspectable without busy polling");
+			const recovered = yield* store.change(initial.key, {
+				_tag: "Recover",
+				nowMillis: 103,
+				expectedVersion: parked.version,
+				deadlineAtMillis: 2e3
+			});
+			yield* verify(recovered.retry.generation === 1 && Equal.equals(recovered.envelope, initial.envelope), "Explicit retry must preserve the frozen envelope");
+			yield* verify((yield* store.nextDeadline()) === 103, "Recovered work must be discoverable");
+		})
+	}
+];
+//#endregion
+export { MessageDeliveryConformanceViolation, makeMessageDeliveryFixture, makeWorkerUpdateDeliveryFixture, messageDeliveryFixtureReceipt, messageDeliveryStoreConformanceCases };
+
+//# sourceMappingURL=MessageDeliveryStoreConformance.mjs.map

package/dist/durable/MessageDeliveryStoreConformance.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"MessageDeliveryStoreConformance.mjs","names":[],"sources":["../../src/durable/MessageDeliveryStoreConformance.ts"],"sourcesContent":["import { DateTime, Effect, Equal, Result, Schema } from \"effect\";\n\nimport { Update } from \"../core/AgentUpdates.ts\";\nimport {\n  AgentId,\n  ReceiptId,\n  SettlementId,\n  SubmissionId,\n  ThreadId,\n  RunId,\n  DelegationId,\n} from \"../core/Identifiers.ts\";\nimport { WorkerUpdate } from \"../core/Worker.ts\";\nimport { digestJson } from \"./Digest.ts\";\nimport { Receipt } from \"./DurableAgentRuntime.ts\";\nimport {\n  MessageDeliveryStore,\n  messageDeliveryCapacity,\n  prepareMessageDelivery,\n} from \"./MessageDelivery.ts\";\nimport { DefinitionDigests, Digest } from \"./Records.ts\";\nimport { IdempotencyKey, Principal, QueueSequence, Settlement } from \"./SubmissionLedger.ts\";\n\nexport class MessageDeliveryConformanceViolation extends Schema.TaggedError<MessageDeliveryConformanceViolation>()(\n  \"MessageDeliveryConformanceViolation\",\n  { message: Schema.String },\n) {}\n\nconst verify = (condition: boolean, message: string) =>\n  condition ? Effect.void : Effect.fail(MessageDeliveryConformanceViolation.make({ message }));\n\n/** One valid frozen envelope shared by real storage and restart tests. */\nexport const makeMessageDeliveryFixture = Effect.fn(\"MessageDeliveryConformance.fixture\")(\n  function* (messageId = \"message\", owner = \"sender\", text = \"hello\") {\n    const digest = Schema.decodeSync(Digest)(\"a\".repeat(64));\n    const input = { text };\n\n    return yield* prepareMessageDelivery({\n      key: {\n        ownerThreadId: Schema.decodeSync(ThreadId)(owner),\n        messageId: Schema.decodeSync(IdempotencyKey)(messageId),\n      },\n      createdAtMillis: 0,\n      deadlineAtMillis: 1_000,\n      policy: {\n        maxAutomaticAttempts: 3,\n        attemptTimeoutMillis: 100,\n        retryBaseMillis: 10,\n        retryMaxMillis: 20,\n        settlementPollMillis: 5,\n      },\n      envelope: {\n        schemaVersion: 1,\n        threadId: Schema.decodeSync(ThreadId)(\"receiver\"),\n        deliveryPrincipal: Schema.decodeSync(Principal)(\"principal\"),\n        agentId: Schema.decodeSync(AgentId)(\"agent\"),\n        definitions: DefinitionDigests.make({ agent: digest, model: digest, tools: digest }),\n        input,\n        inputDigest: yield* digestJson(input),\n        admissionKey: Schema.decodeSync(IdempotencyKey)(`admit:${owner}:${messageId}`),\n        authorization: { policyId: \"policy\", decisionId: \"decision\" },\n      },\n    });\n  },\n);\n\nexport const messageDeliveryFixtureReceipt = Receipt.make({\n  threadId: Schema.decodeSync(ThreadId)(\"receiver\"),\n  receiptId: Schema.decodeSync(ReceiptId)(\"receipt\"),\n  submissionId: Schema.decodeSync(SubmissionId)(\"submission\"),\n  queueSequence: Schema.decodeSync(QueueSequence)(0),\n});\n\nexport const makeWorkerUpdateDeliveryFixture = Effect.fn(\n  \"MessageDeliveryConformance.updateFixture\",\n)(function* (id: string) {\n  const base = yield* makeMessageDeliveryFixture(id);\n\n  return yield* prepareMessageDelivery({\n    key: base.key,\n    createdAtMillis: base.createdAtMillis,\n    deadlineAtMillis: base.deadlineAtMillis,\n    policy: base.policy,\n    envelope: {\n      ...base.envelope,\n      messageAdmission: WorkerUpdate.make({\n        _tag: \"WorkerUpdate\",\n        schemaVersion: 1,\n        worker: {\n          schemaVersion: 1,\n          delegationId: Schema.decodeSync(DelegationId)(\"worker\"),\n          targetAgentId: Schema.decodeSync(AgentId)(\"child\"),\n          threadId: base.key.ownerThreadId,\n        },\n        update: Update.make({\n          schemaVersion: 1,\n          agentId: Schema.decodeSync(AgentId)(\"child\"),\n          threadId: base.key.ownerThreadId,\n          runId: Schema.decodeSync(RunId)(\"run\"),\n          updateId: base.key.messageId,\n          sequence: 1,\n          value: { finding: id },\n        }),\n      }),\n    },\n  });\n});\n\n/** Every case starts with an empty store; all clocks and expected values are explicit. */\nexport const messageDeliveryStoreConformanceCases = [\n  {\n    name: \"reserves ordinary delivery capacity when worker updates saturate their separate bound\",\n    run: Effect.gen(function* () {\n      const store = yield* MessageDeliveryStore;\n      const capacity = messageDeliveryCapacity(store.limits, true);\n\n      for (let index = 0; index < capacity.pending; index++)\n        yield* store.insert(yield* makeWorkerUpdateDeliveryFixture(`update-${index}`));\n\n      const refused = yield* store\n        .insert(yield* makeWorkerUpdateDeliveryFixture(\"overflow\"))\n        .pipe(Effect.result);\n\n      yield* verify(\n        Result.isFailure(refused) &&\n          refused.failure._tag === \"MessageDeliveryError\" &&\n          refused.failure.reason === \"capacity\",\n        \"Updates must stop at their independent pending bound\",\n      );\n      const terminal = yield* makeMessageDeliveryFixture(\"terminal\");\n\n      yield* verify(\n        (yield* store.insert(terminal)).status === \"pending\",\n        \"Update pressure must preserve ordinary terminal capacity\",\n      );\n      yield* verify(\n        (yield* store.get({\n          ...terminal.key,\n          messageId: Schema.decodeSync(IdempotencyKey)(\"overflow\"),\n        })) === null,\n        \"Rejected update must not mutate delivery storage\",\n      );\n    }),\n  },\n  {\n    name: \"retains predecessor identity and defers ordering waits without spending attempts\",\n    run: Effect.gen(function* () {\n      const store = yield* MessageDeliveryStore;\n\n      const initial = {\n        ...(yield* makeMessageDeliveryFixture(\"later\")),\n        predecessor: Schema.decodeSync(IdempotencyKey)(\"earlier\"),\n      };\n\n      yield* store.insert(initial);\n\n      const deferred = yield* store.change(initial.key, {\n        _tag: \"Defer\",\n        expectedVersion: 1,\n        nowMillis: 0,\n        untilMillis: 100,\n      });\n\n      yield* verify(\n        deferred.retry.attempts === 0 &&\n          deferred.retry.automaticAttempts === 0 &&\n          deferred.retry.nextAttemptAtMillis === 100,\n        \"Ordering waits must remain bounded without exhausting transport retries\",\n      );\n      yield* verify(\n        (yield* store.due(99, 10)).length === 0 && (yield* store.due(100, 10)).length === 1,\n        \"Deferral must advance the persisted wake deadline\",\n      );\n\n      const changed = yield* store\n        .insert({ ...initial, predecessor: Schema.decodeSync(IdempotencyKey)(\"different\") })\n        .pipe(Effect.result);\n\n      yield* verify(\n        Result.isFailure(changed) &&\n          changed.failure._tag === \"MessageDeliveryError\" &&\n          changed.failure.reason === \"conflict\",\n        \"A retry cannot replace its ordering predecessor\",\n      );\n    }),\n  },\n  {\n    name: \"retains pending, accepted and processed facts with stable duplicate admission\",\n    run: Effect.gen(function* () {\n      const store = yield* MessageDeliveryStore;\n      const initial = yield* makeMessageDeliveryFixture();\n\n      yield* store.insert(initial);\n      yield* verify(\n        Equal.equals(yield* store.due(0, 10), [initial.key]),\n        \"Pending work must be independently discoverable\",\n      );\n\n      const claim = yield* store.change(initial.key, {\n        _tag: \"Claim\",\n        nowMillis: 0,\n        expectedVersion: 1,\n      });\n\n      const accepted = yield* store.change(initial.key, {\n        _tag: \"Accept\",\n        nowMillis: 1,\n        expectedVersion: claim.version,\n        receipt: messageDeliveryFixtureReceipt,\n      });\n\n      yield* verify(\n        accepted.status === \"accepted\" && accepted.settlement === null,\n        \"Acceptance must not claim processing\",\n      );\n\n      const secondClaim = yield* store.change(initial.key, {\n        _tag: \"Claim\",\n        nowMillis: 6,\n        expectedVersion: accepted.version,\n      });\n\n      const settlement = Settlement.make({\n        receiptId: messageDeliveryFixtureReceipt.receiptId,\n        submissionId: messageDeliveryFixtureReceipt.submissionId,\n        settlementId: Schema.decodeSync(SettlementId)(\"settlement\"),\n        outcome: \"completed\",\n        settledAt: DateTime.makeUnsafe(7),\n      });\n\n      const processed = yield* store.change(initial.key, {\n        _tag: \"Process\",\n        nowMillis: 7,\n        expectedVersion: secondClaim.version,\n        settlement,\n      });\n\n      yield* verify(\n        processed.status === \"processed\",\n        \"Canonical settlement must finish processing\",\n      );\n      yield* verify(\n        Equal.equals(yield* store.insert(initial), processed),\n        \"Replay must preserve terminal evidence\",\n      );\n      yield* verify(\n        (yield* store.nextDeadline()) === null,\n        \"Processed work must release its wake deadline\",\n      );\n    }),\n  },\n  {\n    name: \"rejects conflicting identity and scopes cursors and discovery to the source owner\",\n    run: Effect.gen(function* () {\n      const store = yield* MessageDeliveryStore;\n      const a = yield* makeMessageDeliveryFixture(\"a\");\n      const b = yield* makeMessageDeliveryFixture(\"b\");\n      const other = yield* makeMessageDeliveryFixture(\"a\", \"other\");\n\n      yield* store.insert(a);\n      yield* store.insert(b);\n      yield* store.insert(other);\n\n      const conflict = yield* store\n        .insert(yield* makeMessageDeliveryFixture(\"a\", \"sender\", \"changed\"))\n        .pipe(Effect.result);\n\n      yield* verify(\n        Result.isFailure(conflict) &&\n          conflict.failure._tag === \"MessageDeliveryError\" &&\n          conflict.failure.reason === \"conflict\",\n        \"Conflicting replay must be refused\",\n      );\n      yield* verify(\n        Equal.equals(yield* store.get(a.key), a),\n        \"Refusal must preserve original input\",\n      );\n      const page = yield* store.list({ ownerThreadId: a.key.ownerThreadId, limit: 1 });\n\n      yield* verify(\n        page.items.length === 1 && page.items[0]?.key.messageId === \"a\" && page.next === \"a\",\n        \"First page must remain owner scoped\",\n      );\n\n      const next = yield* store.list({\n        ownerThreadId: a.key.ownerThreadId,\n        limit: 1,\n        after: a.key.messageId,\n      });\n\n      yield* verify(\n        next.items.length === 1 && next.items[0]?.key.messageId === \"b\" && next.next === null,\n        \"Cursor must be stable\",\n      );\n      yield* verify(\n        Equal.equals(yield* store.due(0, 10, other.key.ownerThreadId), [other.key]),\n        \"Owner-scoped scans must not expose another source\",\n      );\n    }),\n  },\n  {\n    name: \"fences stale completion and preserves parked work for explicit recovery\",\n    run: Effect.gen(function* () {\n      const store = yield* MessageDeliveryStore;\n      const initial = yield* makeMessageDeliveryFixture();\n\n      yield* store.insert(initial);\n\n      const old = yield* store.change(initial.key, {\n        _tag: \"Claim\",\n        nowMillis: 0,\n        expectedVersion: 1,\n      });\n\n      const current = yield* store.change(initial.key, {\n        _tag: \"Claim\",\n        nowMillis: 101,\n        expectedVersion: old.version,\n      });\n\n      const stale = yield* store\n        .change(initial.key, {\n          _tag: \"Accept\",\n          nowMillis: 102,\n          expectedVersion: old.version,\n          receipt: messageDeliveryFixtureReceipt,\n        })\n        .pipe(Effect.result);\n\n      yield* verify(\n        Result.isFailure(stale) &&\n          stale.failure._tag === \"MessageDeliveryError\" &&\n          stale.failure.reason === \"conflict\",\n        \"Old claims cannot commit\",\n      );\n\n      const parked = yield* store.change(initial.key, {\n        _tag: \"Park\",\n        nowMillis: 102,\n        expectedVersion: current.version,\n        reason: \"exhausted\",\n      });\n\n      yield* verify(\n        (yield* store.nextDeadline()) === null && parked.status === \"parked\",\n        \"Parked work must remain inspectable without busy polling\",\n      );\n\n      const recovered = yield* store.change(initial.key, {\n        _tag: \"Recover\",\n        nowMillis: 103,\n        expectedVersion: parked.version,\n        deadlineAtMillis: 2_000,\n      });\n\n      yield* verify(\n        recovered.retry.generation === 1 && Equal.equals(recovered.envelope, initial.envelope),\n        \"Explicit retry must preserve the frozen envelope\",\n      );\n      yield* verify((yield* store.nextDeadline()) === 103, \"Recovered work must be discoverable\");\n    }),\n  },\n] as const;\n"],"mappings":";;;;;;;;;;AAuBA,IAAa,sCAAb,cAAyD,OAAO,YAAiD,CAAC,CAChH,uCACA,EAAE,SAAS,OAAO,OAAO,CAC3B,CAAC,CAAC,CAAC;AAEH,MAAM,UAAU,WAAoB,YAClC,YAAY,OAAO,OAAO,OAAO,KAAK,oCAAoC,KAAK,EAAE,QAAQ,CAAC,CAAC;;AAG7F,MAAa,6BAA6B,OAAO,GAAG,oCAAoC,CAAC,CACvF,WAAW,YAAY,WAAW,QAAQ,UAAU,OAAO,SAAS;CAClE,MAAM,SAAS,OAAO,WAAW,MAAM,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;CACvD,MAAM,QAAQ,EAAE,KAAK;CAErB,OAAO,OAAO,uBAAuB;EACnC,KAAK;GACH,eAAe,OAAO,WAAW,QAAQ,CAAC,CAAC,KAAK;GAChD,WAAW,OAAO,WAAW,cAAc,CAAC,CAAC,SAAS;EACxD;EACA,iBAAiB;EACjB,kBAAkB;EAClB,QAAQ;GACN,sBAAsB;GACtB,sBAAsB;GACtB,iBAAiB;GACjB,gBAAgB;GAChB,sBAAsB;EACxB;EACA,UAAU;GACR,eAAe;GACf,UAAU,OAAO,WAAW,QAAQ,CAAC,CAAC,UAAU;GAChD,mBAAmB,OAAO,WAAW,SAAS,CAAC,CAAC,WAAW;GAC3D,SAAS,OAAO,WAAW,OAAO,CAAC,CAAC,OAAO;GAC3C,aAAa,kBAAkB,KAAK;IAAE,OAAO;IAAQ,OAAO;IAAQ,OAAO;GAAO,CAAC;GACnF;GACA,aAAa,OAAO,WAAW,KAAK;GACpC,cAAc,OAAO,WAAW,cAAc,CAAC,CAAC,SAAS,MAAM,GAAG,WAAW;GAC7E,eAAe;IAAE,UAAU;IAAU,YAAY;GAAW;EAC9D;CACF,CAAC;AACH,CACF;AAEA,MAAa,gCAAgC,QAAQ,KAAK;CACxD,UAAU,OAAO,WAAW,QAAQ,CAAC,CAAC,UAAU;CAChD,WAAW,OAAO,WAAW,SAAS,CAAC,CAAC,SAAS;CACjD,cAAc,OAAO,WAAW,YAAY,CAAC,CAAC,YAAY;CAC1D,eAAe,OAAO,WAAW,aAAa,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,MAAa,kCAAkC,OAAO,GACpD,0CACF,CAAC,CAAC,WAAW,IAAY;CACvB,MAAM,OAAO,OAAO,2BAA2B,EAAE;CAEjD,OAAO,OAAO,uBAAuB;EACnC,KAAK,KAAK;EACV,iBAAiB,KAAK;EACtB,kBAAkB,KAAK;EACvB,QAAQ,KAAK;EACb,UAAU;GACR,GAAG,KAAK;GACR,kBAAkB,aAAa,KAAK;IAClC,MAAM;IACN,eAAe;IACf,QAAQ;KACN,eAAe;KACf,cAAc,OAAO,WAAW,YAAY,CAAC,CAAC,QAAQ;KACtD,eAAe,OAAO,WAAW,OAAO,CAAC,CAAC,OAAO;KACjD,UAAU,KAAK,IAAI;IACrB;IACA,QAAQ,OAAO,KAAK;KAClB,eAAe;KACf,SAAS,OAAO,WAAW,OAAO,CAAC,CAAC,OAAO;KAC3C,UAAU,KAAK,IAAI;KACnB,OAAO,OAAO,WAAW,KAAK,CAAC,CAAC,KAAK;KACrC,UAAU,KAAK,IAAI;KACnB,UAAU;KACV,OAAO,EAAE,SAAS,GAAG;IACvB,CAAC;GACH,CAAC;EACH;CACF,CAAC;AACH,CAAC;;AAGD,MAAa,uCAAuC;CAClD;EACE,MAAM;EACN,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,QAAQ,OAAO;GACrB,MAAM,WAAW,wBAAwB,MAAM,QAAQ,IAAI;GAE3D,KAAK,IAAI,QAAQ,GAAG,QAAQ,SAAS,SAAS,SAC5C,OAAO,MAAM,OAAO,OAAO,gCAAgC,UAAU,OAAO,CAAC;GAE/E,MAAM,UAAU,OAAO,MACpB,OAAO,OAAO,gCAAgC,UAAU,CAAC,CAAC,CAC1D,KAAK,OAAO,MAAM;GAErB,OAAO,OACL,OAAO,UAAU,OAAO,KACtB,QAAQ,QAAQ,SAAS,0BACzB,QAAQ,QAAQ,WAAW,YAC7B,sDACF;GACA,MAAM,WAAW,OAAO,2BAA2B,UAAU;GAE7D,OAAO,QACJ,OAAO,MAAM,OAAO,QAAQ,EAAA,CAAG,WAAW,WAC3C,0DACF;GACA,OAAO,QACJ,OAAO,MAAM,IAAI;IAChB,GAAG,SAAS;IACZ,WAAW,OAAO,WAAW,cAAc,CAAC,CAAC,UAAU;GACzD,CAAC,OAAO,MACR,kDACF;EACF,CAAC;CACH;CACA;EACE,MAAM;EACN,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,QAAQ,OAAO;GAErB,MAAM,UAAU;IACd,GAAI,OAAO,2BAA2B,OAAO;IAC7C,aAAa,OAAO,WAAW,cAAc,CAAC,CAAC,SAAS;GAC1D;GAEA,OAAO,MAAM,OAAO,OAAO;GAE3B,MAAM,WAAW,OAAO,MAAM,OAAO,QAAQ,KAAK;IAChD,MAAM;IACN,iBAAiB;IACjB,WAAW;IACX,aAAa;GACf,CAAC;GAED,OAAO,OACL,SAAS,MAAM,aAAa,KAC1B,SAAS,MAAM,sBAAsB,KACrC,SAAS,MAAM,wBAAwB,KACzC,yEACF;GACA,OAAO,QACJ,OAAO,MAAM,IAAI,IAAI,EAAE,EAAA,CAAG,WAAW,MAAM,OAAO,MAAM,IAAI,KAAK,EAAE,EAAA,CAAG,WAAW,GAClF,mDACF;GAEA,MAAM,UAAU,OAAO,MACpB,OAAO;IAAE,GAAG;IAAS,aAAa,OAAO,WAAW,cAAc,CAAC,CAAC,WAAW;GAAE,CAAC,CAAC,CACnF,KAAK,OAAO,MAAM;GAErB,OAAO,OACL,OAAO,UAAU,OAAO,KACtB,QAAQ,QAAQ,SAAS,0BACzB,QAAQ,QAAQ,WAAW,YAC7B,iDACF;EACF,CAAC;CACH;CACA;EACE,MAAM;EACN,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,QAAQ,OAAO;GACrB,MAAM,UAAU,OAAO,2BAA2B;GAElD,OAAO,MAAM,OAAO,OAAO;GAC3B,OAAO,OACL,MAAM,OAAO,OAAO,MAAM,IAAI,GAAG,EAAE,GAAG,CAAC,QAAQ,GAAG,CAAC,GACnD,iDACF;GAEA,MAAM,QAAQ,OAAO,MAAM,OAAO,QAAQ,KAAK;IAC7C,MAAM;IACN,WAAW;IACX,iBAAiB;GACnB,CAAC;GAED,MAAM,WAAW,OAAO,MAAM,OAAO,QAAQ,KAAK;IAChD,MAAM;IACN,WAAW;IACX,iBAAiB,MAAM;IACvB,SAAS;GACX,CAAC;GAED,OAAO,OACL,SAAS,WAAW,cAAc,SAAS,eAAe,MAC1D,sCACF;GAEA,MAAM,cAAc,OAAO,MAAM,OAAO,QAAQ,KAAK;IACnD,MAAM;IACN,WAAW;IACX,iBAAiB,SAAS;GAC5B,CAAC;GAED,MAAM,aAAa,WAAW,KAAK;IACjC,WAAW,8BAA8B;IACzC,cAAc,8BAA8B;IAC5C,cAAc,OAAO,WAAW,YAAY,CAAC,CAAC,YAAY;IAC1D,SAAS;IACT,WAAW,SAAS,WAAW,CAAC;GAClC,CAAC;GAED,MAAM,YAAY,OAAO,MAAM,OAAO,QAAQ,KAAK;IACjD,MAAM;IACN,WAAW;IACX,iBAAiB,YAAY;IAC7B;GACF,CAAC;GAED,OAAO,OACL,UAAU,WAAW,aACrB,6CACF;GACA,OAAO,OACL,MAAM,OAAO,OAAO,MAAM,OAAO,OAAO,GAAG,SAAS,GACpD,wCACF;GACA,OAAO,QACJ,OAAO,MAAM,aAAa,OAAO,MAClC,+CACF;EACF,CAAC;CACH;CACA;EACE,MAAM;EACN,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,QAAQ,OAAO;GACrB,MAAM,IAAI,OAAO,2BAA2B,GAAG;GAC/C,MAAM,IAAI,OAAO,2BAA2B,GAAG;GAC/C,MAAM,QAAQ,OAAO,2BAA2B,KAAK,OAAO;GAE5D,OAAO,MAAM,OAAO,CAAC;GACrB,OAAO,MAAM,OAAO,CAAC;GACrB,OAAO,MAAM,OAAO,KAAK;GAEzB,MAAM,WAAW,OAAO,MACrB,OAAO,OAAO,2BAA2B,KAAK,UAAU,SAAS,CAAC,CAAC,CACnE,KAAK,OAAO,MAAM;GAErB,OAAO,OACL,OAAO,UAAU,QAAQ,KACvB,SAAS,QAAQ,SAAS,0BAC1B,SAAS,QAAQ,WAAW,YAC9B,oCACF;GACA,OAAO,OACL,MAAM,OAAO,OAAO,MAAM,IAAI,EAAE,GAAG,GAAG,CAAC,GACvC,sCACF;GACA,MAAM,OAAO,OAAO,MAAM,KAAK;IAAE,eAAe,EAAE,IAAI;IAAe,OAAO;GAAE,CAAC;GAE/E,OAAO,OACL,KAAK,MAAM,WAAW,KAAK,KAAK,MAAM,EAAE,EAAE,IAAI,cAAc,OAAO,KAAK,SAAS,KACjF,qCACF;GAEA,MAAM,OAAO,OAAO,MAAM,KAAK;IAC7B,eAAe,EAAE,IAAI;IACrB,OAAO;IACP,OAAO,EAAE,IAAI;GACf,CAAC;GAED,OAAO,OACL,KAAK,MAAM,WAAW,KAAK,KAAK,MAAM,EAAE,EAAE,IAAI,cAAc,OAAO,KAAK,SAAS,MACjF,uBACF;GACA,OAAO,OACL,MAAM,OAAO,OAAO,MAAM,IAAI,GAAG,IAAI,MAAM,IAAI,aAAa,GAAG,CAAC,MAAM,GAAG,CAAC,GAC1E,mDACF;EACF,CAAC;CACH;CACA;EACE,MAAM;EACN,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,QAAQ,OAAO;GACrB,MAAM,UAAU,OAAO,2BAA2B;GAElD,OAAO,MAAM,OAAO,OAAO;GAE3B,MAAM,MAAM,OAAO,MAAM,OAAO,QAAQ,KAAK;IAC3C,MAAM;IACN,WAAW;IACX,iBAAiB;GACnB,CAAC;GAED,MAAM,UAAU,OAAO,MAAM,OAAO,QAAQ,KAAK;IAC/C,MAAM;IACN,WAAW;IACX,iBAAiB,IAAI;GACvB,CAAC;GAED,MAAM,QAAQ,OAAO,MAClB,OAAO,QAAQ,KAAK;IACnB,MAAM;IACN,WAAW;IACX,iBAAiB,IAAI;IACrB,SAAS;GACX,CAAC,CAAC,CACD,KAAK,OAAO,MAAM;GAErB,OAAO,OACL,OAAO,UAAU,KAAK,KACpB,MAAM,QAAQ,SAAS,0BACvB,MAAM,QAAQ,WAAW,YAC3B,0BACF;GAEA,MAAM,SAAS,OAAO,MAAM,OAAO,QAAQ,KAAK;IAC9C,MAAM;IACN,WAAW;IACX,iBAAiB,QAAQ;IACzB,QAAQ;GACV,CAAC;GAED,OAAO,QACJ,OAAO,MAAM,aAAa,OAAO,QAAQ,OAAO,WAAW,UAC5D,0DACF;GAEA,MAAM,YAAY,OAAO,MAAM,OAAO,QAAQ,KAAK;IACjD,MAAM;IACN,WAAW;IACX,iBAAiB,OAAO;IACxB,kBAAkB;GACpB,CAAC;GAED,OAAO,OACL,UAAU,MAAM,eAAe,KAAK,MAAM,OAAO,UAAU,UAAU,QAAQ,QAAQ,GACrF,kDACF;GACA,OAAO,QAAQ,OAAO,MAAM,aAAa,OAAO,KAAK,qCAAqC;EAC5F,CAAC;CACH;AACF"}

package/dist/durable/OperationAuthorizer.d.mts

@@ -0,0 +1,2 @@
+import { c as possessionOperationAuthorizer, i as OperationAuthorizerService, n as OperationAuthorizationRequest, o as OperationDenied, r as OperationAuthorizer, s as operationAuthorizerLayer, t as AuthorizedOperation } from "../OperationAuthorizer-TzcQtpX5.mjs";
+export { AuthorizedOperation, OperationAuthorizationRequest, OperationAuthorizer, OperationAuthorizerService, OperationDenied, operationAuthorizerLayer, possessionOperationAuthorizer };