effect-agent 0.1.0-beta.15 → 0.1.0-beta.151

package/dist/durable/MessageDeliveryStoreConformance.d.mts

@@ -0,0 +1,400 @@
+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 { r as Diagnostic } from "../FailureDiagnostic-CaAkzGHL.mjs";
+import { t as AgentPolicy } from "../AgentPolicy-BqDoSXO6.mjs";
+import { h as DefinitionDigests } from "../Records-B5GFWCpn.mjs";
+import { t as DigestError } from "../Digest-U69rDHuO.mjs";
+import { fn as Settlement } from "../Admin-CKIdJoP8.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>;
+export declare class MessageDeliveryConformanceViolation extends MessageDeliveryConformanceViolation_base {}
+/** One valid frozen envelope shared by real storage and restart tests. */
+export 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 continuationOf?: {
+          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 settlementId: string & import("effect/Brand").Brand<"@effect-agent/core/SettlementId">;
+        } | undefined;
+        readonly budgetScope?: "source-subtree" | "worker-run" | undefined;
+        readonly lifecycle?: "assignment" | 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;
+          readonly returnAddress?: {
+            readonly input: Schema.Json;
+            readonly principal: string & import("effect/Brand").Brand<"@effect-agent/thread/Principal">;
+            readonly policy: AgentPolicy;
+            readonly depth: number;
+            readonly grant?: SubagentGrant | undefined;
+            readonly workerAdmission?: Schema.Json | undefined;
+          } | 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;
+  };
+  readonly lastFailureDiagnostic?: Diagnostic | undefined;
+}, DigestError | MessageDeliveryError, import("effect/Crypto").Crypto>;
+export declare const messageDeliveryFixtureReceipt: Receipt;
+export 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 continuationOf?: {
+          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 settlementId: string & import("effect/Brand").Brand<"@effect-agent/core/SettlementId">;
+        } | undefined;
+        readonly budgetScope?: "source-subtree" | "worker-run" | undefined;
+        readonly lifecycle?: "assignment" | 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;
+          readonly returnAddress?: {
+            readonly input: Schema.Json;
+            readonly principal: string & import("effect/Brand").Brand<"@effect-agent/thread/Principal">;
+            readonly policy: AgentPolicy;
+            readonly depth: number;
+            readonly grant?: SubagentGrant | undefined;
+            readonly workerAdmission?: Schema.Json | undefined;
+          } | 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;
+  };
+  readonly lastFailureDiagnostic?: Diagnostic | undefined;
+}, DigestError | MessageDeliveryError, import("effect/Crypto").Crypto>;
+/** Every case starts with an empty store; all clocks and expected values are explicit. */
+export 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
+//# sourceMappingURL=MessageDeliveryStoreConformance.d.mts.map