effect-agent 0.1.0-beta.16 → 0.1.0-beta.160

package/dist/durable/MessageDelivery.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"MessageDelivery.mjs","names":["FailureDiagnostic.Diagnostic","FailureDiagnostic.Value","FailureDiagnostic.capture"],"sources":["../../src/durable/MessageDelivery.ts"],"sourcesContent":["import { Clock, Context, Crypto, Effect, Layer, Result, Schema, Semaphore } from \"effect\";\n\nimport * as FailureDiagnostic from \"../core/FailureDiagnostic.ts\";\nimport { AgentId, DelegationId, ThreadId } from \"../core/Identifiers.ts\";\nimport { Receipt } from \"../core/Receipt.ts\";\nimport { WorkerUpdate } from \"../core/Worker.ts\";\nimport { digestJson } from \"./Digest.ts\";\nimport type { LifecyclePublicationStorage } from \"./LifecyclePublication.ts\";\nimport { admitPreparedInput, PreparedInputAdmission } from \"./PreparedInputAdmission.ts\";\nimport { Digest } from \"./Records.ts\";\nimport { ScheduleInstant, ScheduleRetry, ScheduleRetryReason } from \"./Schedule.ts\";\nimport { IdempotencyKey, Settlement } from \"./SubmissionLedger.ts\";\nimport { PreparedInput } from \"./Subscription.ts\";\n\nconst Positive = Schema.Int.check(Schema.isGreaterThan(0));\nconst BoundedName = Schema.String.check(Schema.isMinLength(1), Schema.isMaxLength(256));\nconst receiptsEqual = Schema.toEquivalence(Receipt);\nconst settlementsEqual = Schema.toEquivalence(Settlement);\n\n/** An owner is always a source Thread. Destination admission has its own frozen key. */\nexport const MessageDeliveryKey = Schema.Struct({\n  ownerThreadId: ThreadId,\n  messageId: IdempotencyKey,\n});\n\nexport type MessageDeliveryKey = typeof MessageDeliveryKey.Type;\n\nexport const MessageDeliveryPolicy = Schema.Struct({\n  maxAutomaticAttempts: Positive.check(Schema.isLessThanOrEqualTo(100)),\n  attemptTimeoutMillis: Positive.check(Schema.isLessThanOrEqualTo(300_000)),\n  retryBaseMillis: Positive,\n  retryMaxMillis: Positive,\n  settlementPollMillis: Positive,\n}).check(Schema.makeFilter((value) => value.retryBaseMillis <= value.retryMaxMillis));\n\nexport type MessageDeliveryPolicy = typeof MessageDeliveryPolicy.Type;\n\nexport const defaultMessageDeliveryPolicy: MessageDeliveryPolicy = {\n  maxAutomaticAttempts: 8,\n  attemptTimeoutMillis: 30_000,\n  retryBaseMillis: 1_000,\n  retryMaxMillis: 60_000,\n  settlementPollMillis: 5_000,\n};\n\nexport const MessageDeliveryStoreLimits = Schema.Struct({\n  maxPendingPerOwner: Positive,\n  maxRetainedPerOwner: Positive,\n  maxEnvelopeBytes: Positive,\n  /** Separate update capacity preserves the full ordinary allowance for terminal reports. */\n  maxPendingUpdatesPerOwner: Schema.optionalKey(Positive),\n  maxRetainedUpdatesPerOwner: Schema.optionalKey(Positive),\n}).check(\n  Schema.makeFilter(\n    (value) =>\n      value.maxPendingPerOwner <= value.maxRetainedPerOwner &&\n      (value.maxPendingUpdatesPerOwner ?? 32) <= (value.maxRetainedUpdatesPerOwner ?? 256),\n  ),\n);\n\nexport type MessageDeliveryStoreLimits = typeof MessageDeliveryStoreLimits.Type;\n\nexport const defaultMessageDeliveryStoreLimits: MessageDeliveryStoreLimits = {\n  maxPendingPerOwner: 100,\n  maxRetainedPerOwner: 1_000,\n  maxEnvelopeBytes: 262_144,\n  maxPendingUpdatesPerOwner: 32,\n  maxRetainedUpdatesPerOwner: 256,\n};\n\nconst ParkReason = Schema.Literals([\n  \"exhausted\",\n  \"deadline\",\n  \"status-unavailable\",\n  \"awaiting-settlement\",\n]);\n\nexport const MessageDeliveryRecord = Schema.Struct({\n  schemaVersion: Schema.Literal(1),\n  key: MessageDeliveryKey,\n  envelope: PreparedInput,\n  envelopeDigest: Digest,\n  /** Same-owner predecessor whose admission must be known before this message is submitted. */\n  predecessor: Schema.optionalKey(IdempotencyKey),\n  createdAtMillis: ScheduleInstant,\n  /** Immutable creation identity; explicit recovery only renews deadlineAtMillis. */\n  initialDeadlineAtMillis: ScheduleInstant,\n  deadlineAtMillis: ScheduleInstant,\n  policy: MessageDeliveryPolicy,\n  version: Positive,\n  status: Schema.Literals([\"pending\", \"accepted\", \"processed\", \"refused\", \"parked\"]),\n  receipt: Schema.NullOr(Receipt),\n  settlement: Schema.NullOr(Settlement),\n  refusal: Schema.NullOr(BoundedName),\n  parkReason: Schema.NullOr(ParkReason),\n  leaseUntilMillis: Schema.NullOr(ScheduleInstant),\n  retry: ScheduleRetry,\n  /** Last failed admission/status check, retained across retries and successful recovery. */\n  lastFailureDiagnostic: Schema.optionalKey(FailureDiagnostic.Diagnostic),\n}).check(\n  Schema.makeFilter(\n    (record) =>\n      record.deadlineAtMillis > record.createdAtMillis &&\n      record.initialDeadlineAtMillis > record.createdAtMillis &&\n      record.predecessor !== record.key.messageId &&\n      (record.status === \"processed\") === (record.settlement !== null) &&\n      (record.status === \"refused\") === (record.refusal !== null) &&\n      (record.status === \"parked\") === (record.parkReason !== null) &&\n      (record.status === \"parked\") === record.retry.parked &&\n      (record.status === \"accepted\" || record.status === \"processed\"\n        ? record.receipt !== null\n        : true) &&\n      (record.status === \"pending\" || record.status === \"refused\"\n        ? record.receipt === null\n        : true) &&\n      (record.receipt === null || record.receipt.threadId === record.envelope.threadId) &&\n      (record.settlement === null ||\n        (record.settlement.receiptId === record.receipt?.receiptId &&\n          record.settlement.submissionId === record.receipt.submissionId)) &&\n      (record.status === \"processed\" || record.status === \"refused\" || record.status === \"parked\"\n        ? record.leaseUntilMillis === null\n        : true),\n  ),\n);\n\nexport type MessageDeliveryRecord = typeof MessageDeliveryRecord.Type;\n\nexport class MessageDeliveryError extends Schema.TaggedError<MessageDeliveryError>()(\n  \"MessageDeliveryError\",\n  {\n    cause: Schema.optionalKey(FailureDiagnostic.Value),\n    stack: Schema.optionalKey(Schema.String),\n    reason: Schema.Literals([\n      \"validation\",\n      \"conflict\",\n      \"capacity\",\n      \"not-found\",\n      \"storage\",\n      \"corrupt\",\n    ]),\n    operation: Schema.String,\n  },\n) {}\n\nexport class MessageDeliveryFailpointError extends Schema.TaggedError<MessageDeliveryFailpointError>()(\n  \"MessageDeliveryFailpointError\",\n  {\n    point: Schema.String,\n  },\n) {}\n\nexport type MessageDeliveryFailure = MessageDeliveryError | MessageDeliveryFailpointError;\n\nexport const MessageDeliveryFailpoint = Context.Reference<{\n  readonly hit: (point: string) => Effect.Effect<void, MessageDeliveryFailpointError>;\n}>(\"@effect-agent/thread/MessageDeliveryFailpoint\", {\n  defaultValue: () => ({ hit: () => Effect.void }),\n});\n\nconst fence = { expectedVersion: Positive, nowMillis: ScheduleInstant };\n\n/** Terminal destination evidence, independent of an expiring source transport claim. */\nexport const MessageDeliveryCompletion = Schema.Struct({\n  receipt: Receipt,\n  settlement: Settlement,\n  admissionKey: IdempotencyKey,\n  inputDigest: Digest,\n});\n\nexport const MessageDeliveryChange = Schema.Union([\n  Schema.Struct({\n    _tag: Schema.Literal(\"Complete\"),\n    nowMillis: ScheduleInstant,\n    ...MessageDeliveryCompletion.fields,\n  }),\n  Schema.Struct({ _tag: Schema.Literal(\"Claim\"), ...fence }),\n  Schema.Struct({ _tag: Schema.Literal(\"Accept\"), ...fence, receipt: Receipt }),\n  Schema.Struct({ _tag: Schema.Literal(\"Process\"), ...fence, settlement: Settlement }),\n  Schema.Struct({ _tag: Schema.Literal(\"ObservePending\"), ...fence }),\n  Schema.Struct({\n    _tag: Schema.Literal(\"Refuse\"),\n    ...fence,\n    code: BoundedName,\n    diagnostic: Schema.optionalKey(FailureDiagnostic.Diagnostic),\n  }),\n  Schema.Struct({\n    _tag: Schema.Literal(\"Retry\"),\n    ...fence,\n    reason: ScheduleRetryReason,\n    diagnostic: Schema.optionalKey(FailureDiagnostic.Diagnostic),\n  }),\n  Schema.Struct({\n    _tag: Schema.Literal(\"Park\"),\n    ...fence,\n    reason: ParkReason,\n    diagnostic: Schema.optionalKey(FailureDiagnostic.Diagnostic),\n  }),\n  Schema.Struct({ _tag: Schema.Literal(\"Recover\"), ...fence, deadlineAtMillis: ScheduleInstant }),\n  /** Waiting for earlier admission never spends an automatic transport attempt. */\n  Schema.Struct({ _tag: Schema.Literal(\"Defer\"), ...fence, untilMillis: ScheduleInstant }),\n]);\n\nexport type MessageDeliveryChange = typeof MessageDeliveryChange.Type;\n\n/** Select one native index per page; index filters cannot be combined. */\nexport const MessageDeliveryPageRequest = Schema.Struct({\n  ownerThreadId: ThreadId,\n  limit: Positive.check(Schema.isLessThanOrEqualTo(4096)),\n  after: Schema.optionalKey(IdempotencyKey),\n  /** Native pending index, including accepted, future-due and parked obligations. */\n  pendingOnly: Schema.optionalKey(Schema.Boolean),\n  /** First retained envelopes, including starts not admitted at the destination. */\n  workerStarts: Schema.optionalKey(\n    Schema.Struct({ delegationId: DelegationId, targetAgentId: AgentId }),\n  ),\n  /** Retained inputs not yet acknowledged by one destination worker. */\n  pendingWorker: Schema.optionalKey(ThreadId),\n}).check(\n  Schema.makeFilter(\n    (request) =>\n      Number(request.pendingOnly === true) +\n        Number(request.workerStarts !== undefined) +\n        Number(request.pendingWorker !== undefined) <=\n      1,\n  ),\n);\n\nexport type MessageDeliveryPageRequest = typeof MessageDeliveryPageRequest.Type;\n\nexport const MessageDeliveryPage = Schema.Struct({\n  items: Schema.Array(MessageDeliveryRecord),\n  next: Schema.NullOr(IdempotencyKey),\n});\n\nexport type MessageDeliveryPage = typeof MessageDeliveryPage.Type;\n\n/**\n * Trusted host port, independent of either Thread's active Submission. List/get require an owner.\n * Inserts and changes are atomic; identical inserts return current state even after completion.\n * No automatic deletion: completed rows retain deduplication evidence and count toward retention.\n * `due`/`nextDeadline` are bounded host recovery seams, never model-facing management operations.\n */\nexport class MessageDeliveryStore extends Context.Service<\n  MessageDeliveryStore,\n  {\n    readonly lifecyclePublications?: LifecyclePublicationStorage;\n    readonly limits: MessageDeliveryStoreLimits;\n    readonly maxStoredValueBytes: number;\n    readonly insert: (\n      record: MessageDeliveryRecord,\n    ) => Effect.Effect<MessageDeliveryRecord, MessageDeliveryFailure>;\n    readonly get: (\n      key: MessageDeliveryKey,\n    ) => Effect.Effect<MessageDeliveryRecord | null, MessageDeliveryError>;\n    readonly list: (\n      request: MessageDeliveryPageRequest,\n    ) => Effect.Effect<MessageDeliveryPage, MessageDeliveryError>;\n    readonly change: (\n      key: MessageDeliveryKey,\n      change: MessageDeliveryChange,\n    ) => Effect.Effect<MessageDeliveryRecord, MessageDeliveryFailure>;\n    readonly due: (\n      nowMillis: number,\n      limit: number,\n      ownerThreadId?: ThreadId,\n    ) => Effect.Effect<ReadonlyArray<MessageDeliveryKey>, MessageDeliveryError>;\n    readonly nextDeadline: (\n      ownerThreadId?: ThreadId,\n    ) => Effect.Effect<number | null, MessageDeliveryError>;\n  }\n>()(\"@effect-agent/thread/MessageDeliveryStore\") {}\n\n/**\n * Read current source-owned obligations without acquiring a runtime or scanning completed history.\n * A retained receipt is native accepted-admission evidence, not proof of destination materialization.\n * Shipped worker admission reserves the source input before returning that receipt. Policy can\n * therefore leave accepted worker discovery to canonical outstanding inputs; a no-receipt action\n * delivery remains uncertain, including when parked or due in the future.\n */\nexport const readPending = Effect.fn(\"MessageDelivery.readPending\")(function* (\n  request: Pick<MessageDeliveryPageRequest, \"ownerThreadId\" | \"limit\">,\n) {\n  const store = yield* MessageDeliveryStore;\n\n  const input = yield* validateMessageDelivery(\n    MessageDeliveryPageRequest,\n    {\n      ownerThreadId: request.ownerThreadId,\n      limit: request.limit,\n      pendingOnly: true,\n    },\n    \"read-pending\",\n  );\n\n  const page = yield* validateMessageDelivery(\n    MessageDeliveryPage,\n    yield* store.list(input),\n    \"read-pending result\",\n  );\n\n  if (page.next !== null || page.items.length > input.limit)\n    return yield* MessageDeliveryError.make({ reason: \"capacity\", operation: \"read-pending\" });\n  const records = page.items;\n\n  if (\n    records.some(\n      (record) =>\n        record.key.ownerThreadId !== input.ownerThreadId || !messageDeliveryUsesCapacity(record),\n    ) ||\n    new Set(records.map((record) => record.key.messageId)).size !== records.length\n  )\n    return yield* MessageDeliveryError.make({\n      reason: \"corrupt\",\n      operation: \"read-pending result\",\n    });\n\n  return records;\n});\n\nexport const messageDeliveryKeyString = (key: MessageDeliveryKey): string =>\n  JSON.stringify([key.ownerThreadId, key.messageId]);\n\nexport const messageDeliveryUsesCapacity = (record: MessageDeliveryRecord): boolean =>\n  record.status !== \"processed\" && record.status !== \"refused\";\n\nexport const isWorkerUpdateDelivery = (record: MessageDeliveryRecord): boolean =>\n  Schema.is(WorkerUpdate)(record.envelope.messageAdmission);\n\nexport const messageDeliveryCapacity = (limits: MessageDeliveryStoreLimits, update: boolean) => ({\n  pending: update ? (limits.maxPendingUpdatesPerOwner ?? 32) : limits.maxPendingPerOwner,\n  retained: update ? (limits.maxRetainedUpdatesPerOwner ?? 256) : limits.maxRetainedPerOwner,\n});\n\nexport const messageDeliveryDeadline = (record: MessageDeliveryRecord): number | null =>\n  record.status === \"pending\" || record.status === \"accepted\"\n    ? Math.min(record.deadlineAtMillis, record.leaseUntilMillis ?? record.retry.nextAttemptAtMillis)\n    : null;\n\n/** Creation identity deliberately excludes operational counters and renewed recovery deadlines. */\nexport const sameMessageDeliveryIdentity = (\n  left: MessageDeliveryRecord,\n  right: MessageDeliveryRecord,\n): boolean =>\n  messageDeliveryKeyString(left.key) === messageDeliveryKeyString(right.key) &&\n  left.envelopeDigest === right.envelopeDigest &&\n  left.predecessor === right.predecessor &&\n  Schema.toEquivalence(PreparedInput)(left.envelope, right.envelope) &&\n  Schema.toEquivalence(MessageDeliveryPolicy)(left.policy, right.policy) &&\n  left.createdAtMillis === right.createdAtMillis &&\n  left.initialDeadlineAtMillis === right.initialDeadlineAtMillis;\n\nconst error = (reason: MessageDeliveryError[\"reason\"], operation: string, cause?: unknown) =>\n  MessageDeliveryError.make({ reason, operation, ...(cause === undefined ? {} : { cause }) });\n\nexport const validateMessageDelivery = <A, I>(\n  schema: Schema.Codec<A, I>,\n  value: unknown,\n  operation: string,\n) =>\n  Schema.decodeUnknownEffect(Schema.toType(schema))(value).pipe(\n    Effect.mapError(() => error(\"validation\", operation)),\n  );\n\nconst MessageDeliveryPreparation = Schema.Struct({\n  key: MessageDeliveryKey,\n  envelope: PreparedInput,\n  createdAtMillis: ScheduleInstant,\n  deadlineAtMillis: ScheduleInstant,\n  policy: MessageDeliveryPolicy,\n  predecessor: Schema.optionalKey(IdempotencyKey),\n});\n\n/** Freeze and digest the complete admission envelope before publishing the obligation. */\nexport const prepareMessageDelivery = Effect.fn(\"MessageDelivery.prepare\")(function* (options: {\n  readonly key: MessageDeliveryKey;\n  readonly envelope: PreparedInput;\n  readonly createdAtMillis: number;\n  readonly deadlineAtMillis: number;\n  readonly policy?: MessageDeliveryPolicy;\n  readonly predecessor?: IdempotencyKey;\n}): Effect.fn.Return<MessageDeliveryRecord, MessageDeliveryError, Crypto.Crypto> {\n  // JSON detaches every caller-owned value before Crypto can suspend preparation.\n  const snapshot = yield* Schema.encodeEffect(Schema.fromJsonString(MessageDeliveryPreparation))({\n    ...options,\n    policy: options.policy ?? defaultMessageDeliveryPolicy,\n  }).pipe(\n    Effect.flatMap(Schema.decodeEffect(Schema.fromJsonString(MessageDeliveryPreparation))),\n    Effect.mapError((cause) => error(\"validation\", \"prepare\", cause)),\n  );\n\n  const envelope = snapshot.envelope;\n\n  const encoded = yield* Schema.encodeEffect(PreparedInput)(envelope).pipe(\n    Effect.mapError((cause) => error(\"validation\", \"prepare\", cause)),\n  );\n\n  const inputDigest = yield* digestJson(encoded.input).pipe(\n    Effect.mapError((cause) => error(\"storage\", \"digest\", cause)),\n  );\n\n  if (inputDigest !== envelope.inputDigest) return yield* error(\"corrupt\", \"input-digest\");\n\n  const envelopeDigest = yield* digestJson(encoded).pipe(\n    Effect.mapError((cause) => error(\"storage\", \"digest\", cause)),\n  );\n\n  return yield* validateMessageDelivery(\n    MessageDeliveryRecord,\n    {\n      schemaVersion: 1,\n      key: snapshot.key,\n      envelope,\n      envelopeDigest,\n      ...(snapshot.predecessor === undefined ? {} : { predecessor: snapshot.predecessor }),\n      createdAtMillis: snapshot.createdAtMillis,\n      initialDeadlineAtMillis: snapshot.deadlineAtMillis,\n      deadlineAtMillis: snapshot.deadlineAtMillis,\n      policy: snapshot.policy,\n      version: 1,\n      status: \"pending\",\n      receipt: null,\n      settlement: null,\n      refusal: null,\n      parkReason: null,\n      leaseUntilMillis: null,\n      retry: {\n        attempts: 0,\n        generation: 0,\n        automaticAttempts: 0,\n        parked: false,\n        nextAttemptAtMillis: snapshot.createdAtMillis,\n        lastAttemptAtMillis: null,\n        lastFailure: null,\n      },\n    },\n    \"prepare\",\n  );\n});\n\n/** Pure reducer used under the adapter's atomic compare-and-swap boundary. */\nexport const applyMessageDeliveryChange = (\n  record: MessageDeliveryRecord,\n  change: MessageDeliveryChange,\n): Result.Result<MessageDeliveryRecord, MessageDeliveryError> => {\n  const conflict = () => Result.fail(error(\"conflict\", change._tag));\n\n  if (change._tag === \"Complete\") {\n    if (\n      change.admissionKey !== record.envelope.admissionKey ||\n      change.inputDigest !== record.envelope.inputDigest ||\n      change.receipt.threadId !== record.envelope.threadId ||\n      change.settlement.submissionId !== change.receipt.submissionId ||\n      change.settlement.receiptId !== change.receipt.receiptId ||\n      (record.receipt !== null && !receiptsEqual(record.receipt, change.receipt))\n    )\n      return Result.fail(error(\"corrupt\", \"completion-identity\"));\n    if (record.status === \"refused\") return conflict();\n    if (record.status === \"processed\")\n      return record.settlement !== null && settlementsEqual(record.settlement, change.settlement)\n        ? Result.succeed(record)\n        : Result.fail(error(\"corrupt\", \"completion-identity\"));\n\n    return Result.succeed({\n      ...record,\n      version: record.version + 1,\n      status: \"processed\",\n      receipt: change.receipt,\n      settlement: change.settlement,\n      leaseUntilMillis: null,\n      parkReason: null,\n      retry: { ...record.retry, parked: false },\n    });\n  }\n\n  if (record.version !== change.expectedVersion) return conflict();\n  if (record.status === \"processed\" || record.status === \"refused\") return conflict();\n  const now = change.nowMillis;\n\n  const base = {\n    ...record,\n    version: record.version + 1,\n    ...(\"diagnostic\" in change && change.diagnostic !== undefined\n      ? { lastFailureDiagnostic: change.diagnostic }\n      : {}),\n  };\n\n  const parked = (reason: typeof ParkReason.Type): MessageDeliveryRecord => ({\n    ...base,\n    status: \"parked\",\n    parkReason: reason,\n    leaseUntilMillis: null,\n    retry: { ...record.retry, parked: true },\n  });\n\n  if (change._tag === \"Defer\") {\n    if (\n      record.status !== \"pending\" ||\n      (record.leaseUntilMillis !== null && record.leaseUntilMillis > now)\n    )\n      return conflict();\n    if (now >= record.deadlineAtMillis) return Result.succeed(parked(\"deadline\"));\n    if (change.untilMillis <= now) return conflict();\n\n    return Result.succeed({\n      ...base,\n      leaseUntilMillis: null,\n      retry: {\n        ...record.retry,\n        nextAttemptAtMillis: Math.min(change.untilMillis, record.deadlineAtMillis),\n      },\n    });\n  }\n\n  if (change._tag === \"Recover\") {\n    if (record.status !== \"parked\" || change.deadlineAtMillis <= now) return conflict();\n\n    return Result.succeed({\n      ...base,\n      deadlineAtMillis: change.deadlineAtMillis,\n      status: record.receipt === null ? \"pending\" : \"accepted\",\n      parkReason: null,\n      retry: {\n        ...record.retry,\n        generation: record.retry.generation + 1,\n        automaticAttempts: 0,\n        parked: false,\n        nextAttemptAtMillis: now,\n      },\n    });\n  }\n  if (record.status === \"parked\") return conflict();\n  if (change._tag === \"Park\") return Result.succeed(parked(change.reason));\n  if (change._tag === \"Claim\") {\n    const due = messageDeliveryDeadline(record);\n\n    if (due === null || due > now) return conflict();\n    if (now >= record.deadlineAtMillis) return Result.succeed(parked(\"deadline\"));\n    if (record.retry.automaticAttempts >= record.policy.maxAutomaticAttempts)\n      return Result.succeed(parked(\"exhausted\"));\n\n    return Result.succeed({\n      ...base,\n      leaseUntilMillis: Math.min(now + record.policy.attemptTimeoutMillis, record.deadlineAtMillis),\n      retry: {\n        ...record.retry,\n        attempts: record.retry.attempts + 1,\n        automaticAttempts: record.retry.automaticAttempts + 1,\n        lastAttemptAtMillis: now,\n      },\n    });\n  }\n  if (record.leaseUntilMillis === null || now > record.leaseUntilMillis) return conflict();\n  if (change._tag === \"Accept\") {\n    if (record.status !== \"pending\") return conflict();\n    if (change.receipt.threadId !== record.envelope.threadId)\n      return Result.fail(error(\"corrupt\", \"receipt-identity\"));\n\n    return Result.succeed({\n      ...base,\n      status: \"accepted\",\n      receipt: change.receipt,\n      leaseUntilMillis: null,\n      retry: {\n        ...record.retry,\n        automaticAttempts: 0,\n        nextAttemptAtMillis: Math.min(\n          now + record.policy.settlementPollMillis,\n          record.deadlineAtMillis,\n        ),\n        lastFailure: null,\n      },\n    });\n  }\n  if (change._tag === \"Process\") {\n    if (record.status !== \"accepted\") return conflict();\n    if (\n      change.settlement.submissionId !== record.receipt?.submissionId ||\n      change.settlement.receiptId !== record.receipt.receiptId\n    )\n      return Result.fail(error(\"corrupt\", \"settlement-identity\"));\n\n    return Result.succeed({\n      ...base,\n      status: \"processed\",\n      settlement: change.settlement,\n      leaseUntilMillis: null,\n    });\n  }\n  if (change._tag === \"ObservePending\") {\n    if (record.status !== \"accepted\") return conflict();\n\n    return Result.succeed(parked(\"awaiting-settlement\"));\n  }\n  if (change._tag === \"Refuse\") {\n    if (record.status !== \"pending\") return conflict();\n\n    return Result.succeed({\n      ...base,\n      status: \"refused\",\n      refusal: change.code,\n      leaseUntilMillis: null,\n    });\n  }\n  if (now >= record.deadlineAtMillis) return Result.succeed(parked(\"deadline\"));\n  if (record.retry.automaticAttempts >= record.policy.maxAutomaticAttempts)\n    return Result.succeed(parked(\"exhausted\"));\n\n  const delay = Math.min(\n    record.policy.retryBaseMillis * 2 ** Math.min(record.retry.automaticAttempts - 1, 52),\n    record.policy.retryMaxMillis,\n  );\n\n  return Result.succeed({\n    ...base,\n    leaseUntilMillis: null,\n    retry: {\n      ...record.retry,\n      nextAttemptAtMillis: Math.min(\n        now + (record.status === \"accepted\" ? record.policy.settlementPollMillis : delay),\n        record.deadlineAtMillis,\n      ),\n      lastFailure: change.reason,\n    },\n  });\n};\n\nexport const MessageDeliveryDriverLimits = Schema.Struct({\n  batchSize: Positive.check(Schema.isLessThanOrEqualTo(100)),\n  concurrency: Positive.check(Schema.isLessThanOrEqualTo(32)),\n});\n\nexport type MessageDeliveryDriverLimits = typeof MessageDeliveryDriverLimits.Type;\n\n/**\n * Finite, structured host pump. The host owns its Scope and wakes it from nextDeadline even\n * after source/receiver settlement. Failed or interrupted calls retain their expiring claim;\n * no ordinary tool is replayed here, only idempotent PreparedInput admission/status lookup.\n * Spans expose operation names; envelopes, principals, and message contents are never logged.\n */\nexport class MessageDeliveryDriver extends Context.Service<\n  MessageDeliveryDriver,\n  {\n    readonly process: (\n      key: MessageDeliveryKey,\n    ) => Effect.Effect<MessageDeliveryRecord, MessageDeliveryFailure>;\n    readonly runDue: (\n      ownerThreadId?: ThreadId,\n    ) => Effect.Effect<ReadonlyArray<MessageDeliveryRecord>, MessageDeliveryFailure>;\n    readonly retry: (\n      key: MessageDeliveryKey,\n      expectedVersion: number,\n      deadlineAtMillis: number,\n    ) => Effect.Effect<MessageDeliveryRecord, MessageDeliveryFailure>;\n  }\n>()(\"@effect-agent/thread/MessageDeliveryDriver\") {\n  static layer(\n    limits: MessageDeliveryDriverLimits = { batchSize: 100, concurrency: 4 },\n  ): Layer.Layer<\n    MessageDeliveryDriver,\n    MessageDeliveryError,\n    MessageDeliveryStore | PreparedInputAdmission | Crypto.Crypto\n  > {\n    return Layer.effect(\n      MessageDeliveryDriver,\n      Effect.gen(function* () {\n        const config = yield* validateMessageDelivery(\n          MessageDeliveryDriverLimits,\n          limits,\n          \"driver-limits\",\n        );\n\n        const store = yield* MessageDeliveryStore;\n        const admission = yield* PreparedInputAdmission;\n        const crypto = yield* Crypto.Crypto;\n        const failpoint = yield* MessageDeliveryFailpoint;\n        const semaphore = yield* Semaphore.make(config.concurrency);\n\n        const process = Effect.fn(\"MessageDelivery.process\")((key: MessageDeliveryKey) =>\n          semaphore\n            .withPermit(\n              Effect.gen(function* () {\n                const current = yield* store.get(key);\n\n                if (current === null) return yield* error(\"not-found\", \"process\");\n                const nowMillis = yield* Clock.currentTimeMillis;\n                const due = messageDeliveryDeadline(current);\n\n                if (due === null || due > nowMillis) return current;\n\n                if (current.status === \"pending\" && current.predecessor !== undefined) {\n                  const previous = yield* store.get({\n                    ownerThreadId: key.ownerThreadId,\n                    messageId: current.predecessor,\n                  });\n\n                  if (\n                    previous === null ||\n                    (previous.receipt === null && previous.status !== \"refused\")\n                  ) {\n                    return yield* store.change(key, {\n                      _tag: \"Defer\",\n                      expectedVersion: current.version,\n                      nowMillis,\n                      untilMillis: nowMillis + current.policy.settlementPollMillis,\n                    });\n                  }\n                }\n\n                const claimed = yield* store.change(key, {\n                  _tag: \"Claim\",\n                  expectedVersion: current.version,\n                  nowMillis,\n                });\n\n                if (claimed.status === \"parked\") return claimed;\n\n                const envelope = yield* Schema.encodeEffect(PreparedInput)(claimed.envelope).pipe(\n                  Effect.mapError((cause) => error(\"corrupt\", \"envelope\", cause)),\n                );\n\n                const digest = yield* digestJson(envelope).pipe(\n                  Effect.provideService(Crypto.Crypto, crypto),\n                  Effect.mapError((cause) => error(\"storage\", \"digest\", cause)),\n                );\n\n                if (digest !== claimed.envelopeDigest)\n                  return yield* error(\"corrupt\", \"envelope-digest\");\n\n                const timeout = Math.min(\n                  claimed.policy.attemptTimeoutMillis,\n                  (claimed.leaseUntilMillis ?? claimed.deadlineAtMillis) -\n                    (yield* Clock.currentTimeMillis),\n                );\n\n                // Digest computation cannot extend this claim's admission authority.\n                if (timeout <= 0) return claimed;\n\n                type WithoutFence<T> =\n                  T extends Exclude<MessageDeliveryChange, { _tag: \"Complete\" }>\n                    ? Omit<T, \"expectedVersion\" | \"nowMillis\">\n                    : never;\n\n                const commit = (change: WithoutFence<MessageDeliveryChange>) =>\n                  Clock.currentTimeMillis.pipe(\n                    Effect.flatMap((time) =>\n                      store.change(key, {\n                        ...change,\n                        expectedVersion: claimed.version,\n                        nowMillis: time,\n                      }),\n                    ),\n                  );\n\n                if (claimed.status === \"pending\") {\n                  const outcome = yield* admitPreparedInput(\n                    admission.submit(claimed.envelope),\n                    timeout,\n                  ).pipe(Effect.mapError((cause) => error(\"corrupt\", \"admission\", cause)));\n\n                  yield* failpoint.hit(\"message-delivery:admission:after\");\n                  if (outcome._tag === \"Receipt\") {\n                    const accepted = yield* commit({ _tag: \"Accept\", receipt: outcome.receipt });\n\n                    return yield* store.change(key, {\n                      _tag: \"Park\",\n                      reason: \"awaiting-settlement\",\n                      expectedVersion: accepted.version,\n                      nowMillis: yield* Clock.currentTimeMillis,\n                    });\n                  }\n                  if (outcome._tag === \"Refused\")\n                    return yield* commit({\n                      _tag: \"Refuse\",\n                      code: outcome.error.code,\n                      diagnostic: FailureDiagnostic.capture(outcome.error),\n                    });\n\n                  return yield* commit({\n                    _tag: \"Retry\",\n                    reason: outcome.reason,\n                    diagnostic: outcome.diagnostic,\n                  });\n                }\n                if (claimed.receipt === null) return yield* error(\"corrupt\", \"receipt\");\n                if (admission.submissionStatus === undefined)\n                  return yield* commit({ _tag: \"Park\", reason: \"status-unavailable\" });\n\n                const status = yield* admission.submissionStatus(claimed.receipt).pipe(\n                  Effect.timeout(timeout),\n                  Effect.map((status) => ({ _tag: \"Status\" as const, status })),\n                  Effect.catchTag(\"ScheduledInputRetryable\", (failure) =>\n                    Effect.succeed({\n                      _tag: \"Retry\" as const,\n                      reason: failure.reason,\n                      diagnostic: FailureDiagnostic.capture(failure),\n                    }),\n                  ),\n                  Effect.catchTag(\"ScheduledInputRefused\", (failure) =>\n                    Effect.succeed({\n                      _tag: \"Unavailable\" as const,\n                      diagnostic: FailureDiagnostic.capture(failure),\n                    }),\n                  ),\n                  Effect.catchTag(\"TimeoutError\", (failure) =>\n                    Effect.succeed({\n                      _tag: \"Retry\" as const,\n                      reason: \"timeout\" as const,\n                      diagnostic: FailureDiagnostic.capture(failure),\n                    }),\n                  ),\n                  Effect.catchTag(\"ScheduleStorageError\", (failure) =>\n                    failure.reason === \"unavailable\"\n                      ? Effect.succeed({\n                          _tag: \"Retry\" as const,\n                          reason: \"storage\" as const,\n                          diagnostic: FailureDiagnostic.capture(failure),\n                        })\n                      : Effect.fail(error(\"corrupt\", \"status\", failure)),\n                  ),\n                );\n\n                if (status._tag === \"Unavailable\")\n                  return yield* commit({\n                    _tag: \"Park\",\n                    reason: \"status-unavailable\",\n                    diagnostic: status.diagnostic,\n                  });\n                if (status._tag === \"Status\" && status.status._tag === \"settled\")\n                  return yield* commit({ _tag: \"Process\", settlement: status.status.settlement });\n                if (status._tag === \"Status\") return yield* commit({ _tag: \"ObservePending\" });\n\n                return yield* commit({\n                  _tag: \"Retry\",\n                  reason: status.reason,\n                  diagnostic: status.diagnostic,\n                });\n              }),\n            )\n            .pipe(\n              Effect.catchTag(\"MessageDeliveryError\", (failure) =>\n                failure.reason === \"conflict\"\n                  ? store.get(key).pipe(\n                      Effect.filterOrFail(\n                        (record) => record !== null,\n                        () => failure,\n                      ),\n                    )\n                  : Effect.fail(failure),\n              ),\n            ),\n        );\n\n        return MessageDeliveryDriver.of({\n          process,\n          runDue: Effect.fn(\"MessageDelivery.runDue\")(function* (ownerThreadId) {\n            const keys = yield* store.due(\n              yield* Clock.currentTimeMillis,\n              config.batchSize,\n              ownerThreadId,\n            );\n\n            return yield* Effect.forEach(keys, process, { concurrency: config.concurrency });\n          }),\n          retry: Effect.fn(\"MessageDelivery.retry\")(\n            function* (key, expectedVersion, deadlineAtMillis) {\n              return yield* store.change(key, {\n                _tag: \"Recover\",\n                expectedVersion,\n                deadlineAtMillis,\n                nowMillis: yield* Clock.currentTimeMillis,\n              });\n            },\n          ),\n        });\n      }),\n    );\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAcA,MAAM,WAAW,OAAO,IAAI,MAAM,OAAO,cAAc,CAAC,CAAC;AACzD,MAAM,cAAc,OAAO,OAAO,MAAM,OAAO,YAAY,CAAC,GAAG,OAAO,YAAY,GAAG,CAAC;AACtF,MAAM,gBAAgB,OAAO,cAAc,OAAO;AAClD,MAAM,mBAAmB,OAAO,cAAc,UAAU;;AAGxD,MAAa,qBAAqB,OAAO,OAAO;CAC9C,eAAe;CACf,WAAW;AACb,CAAC;AAID,MAAa,wBAAwB,OAAO,OAAO;CACjD,sBAAsB,SAAS,MAAM,OAAO,oBAAoB,GAAG,CAAC;CACpE,sBAAsB,SAAS,MAAM,OAAO,oBAAoB,GAAO,CAAC;CACxE,iBAAiB;CACjB,gBAAgB;CAChB,sBAAsB;AACxB,CAAC,CAAC,CAAC,MAAM,OAAO,YAAY,UAAU,MAAM,mBAAmB,MAAM,cAAc,CAAC;AAIpF,MAAa,+BAAsD;CACjE,sBAAsB;CACtB,sBAAsB;CACtB,iBAAiB;CACjB,gBAAgB;CAChB,sBAAsB;AACxB;AAEA,MAAa,6BAA6B,OAAO,OAAO;CACtD,oBAAoB;CACpB,qBAAqB;CACrB,kBAAkB;;CAElB,2BAA2B,OAAO,YAAY,QAAQ;CACtD,4BAA4B,OAAO,YAAY,QAAQ;AACzD,CAAC,CAAC,CAAC,MACD,OAAO,YACJ,UACC,MAAM,sBAAsB,MAAM,wBACjC,MAAM,6BAA6B,QAAQ,MAAM,8BAA8B,IACpF,CACF;AAIA,MAAa,oCAAgE;CAC3E,oBAAoB;CACpB,qBAAqB;CACrB,kBAAkB;CAClB,2BAA2B;CAC3B,4BAA4B;AAC9B;AAEA,MAAM,aAAa,OAAO,SAAS;CACjC;CACA;CACA;CACA;AACF,CAAC;AAED,MAAa,wBAAwB,OAAO,OAAO;CACjD,eAAe,OAAO,QAAQ,CAAC;CAC/B,KAAK;CACL,UAAU;CACV,gBAAgB;;CAEhB,aAAa,OAAO,YAAY,cAAc;CAC9C,iBAAiB;;CAEjB,yBAAyB;CACzB,kBAAkB;CAClB,QAAQ;CACR,SAAS;CACT,QAAQ,OAAO,SAAS;EAAC;EAAW;EAAY;EAAa;EAAW;CAAQ,CAAC;CACjF,SAAS,OAAO,OAAO,OAAO;CAC9B,YAAY,OAAO,OAAO,UAAU;CACpC,SAAS,OAAO,OAAO,WAAW;CAClC,YAAY,OAAO,OAAO,UAAU;CACpC,kBAAkB,OAAO,OAAO,eAAe;CAC/C,OAAO;;CAEP,uBAAuB,OAAO,YAAYA,UAA4B;AACxE,CAAC,CAAC,CAAC,MACD,OAAO,YACJ,WACC,OAAO,mBAAmB,OAAO,mBACjC,OAAO,0BAA0B,OAAO,mBACxC,OAAO,gBAAgB,OAAO,IAAI,aACjC,OAAO,WAAW,iBAAkB,OAAO,eAAe,SAC1D,OAAO,WAAW,eAAgB,OAAO,YAAY,SACrD,OAAO,WAAW,cAAe,OAAO,eAAe,SACvD,OAAO,WAAW,aAAc,OAAO,MAAM,WAC7C,OAAO,WAAW,cAAc,OAAO,WAAW,cAC/C,OAAO,YAAY,OACnB,UACH,OAAO,WAAW,aAAa,OAAO,WAAW,YAC9C,OAAO,YAAY,OACnB,UACH,OAAO,YAAY,QAAQ,OAAO,QAAQ,aAAa,OAAO,SAAS,cACvE,OAAO,eAAe,QACpB,OAAO,WAAW,cAAc,OAAO,SAAS,aAC/C,OAAO,WAAW,iBAAiB,OAAO,QAAQ,kBACrD,OAAO,WAAW,eAAe,OAAO,WAAW,aAAa,OAAO,WAAW,WAC/E,OAAO,qBAAqB,OAC5B,KACR,CACF;AAIA,IAAa,uBAAb,cAA0C,OAAO,YAAkC,CAAC,CAClF,wBACA;CACE,OAAO,OAAO,YAAYC,KAAuB;CACjD,OAAO,OAAO,YAAY,OAAO,MAAM;CACvC,QAAQ,OAAO,SAAS;EACtB;EACA;EACA;EACA;EACA;EACA;CACF,CAAC;CACD,WAAW,OAAO;AACpB,CACF,CAAC,CAAC,CAAC;AAEH,IAAa,gCAAb,cAAmD,OAAO,YAA2C,CAAC,CACpG,iCACA,EACE,OAAO,OAAO,OAChB,CACF,CAAC,CAAC,CAAC;AAIH,MAAa,2BAA2B,QAAQ,UAE7C,iDAAiD,EAClD,qBAAqB,EAAE,WAAW,OAAO,KAAK,GAChD,CAAC;AAED,MAAM,QAAQ;CAAE,iBAAiB;CAAU,WAAW;AAAgB;;AAGtE,MAAa,4BAA4B,OAAO,OAAO;CACrD,SAAS;CACT,YAAY;CACZ,cAAc;CACd,aAAa;AACf,CAAC;AAED,MAAa,wBAAwB,OAAO,MAAM;CAChD,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,UAAU;EAC/B,WAAW;EACX,GAAG,0BAA0B;CAC/B,CAAC;CACD,OAAO,OAAO;EAAE,MAAM,OAAO,QAAQ,OAAO;EAAG,GAAG;CAAM,CAAC;CACzD,OAAO,OAAO;EAAE,MAAM,OAAO,QAAQ,QAAQ;EAAG,GAAG;EAAO,SAAS;CAAQ,CAAC;CAC5E,OAAO,OAAO;EAAE,MAAM,OAAO,QAAQ,SAAS;EAAG,GAAG;EAAO,YAAY;CAAW,CAAC;CACnF,OAAO,OAAO;EAAE,MAAM,OAAO,QAAQ,gBAAgB;EAAG,GAAG;CAAM,CAAC;CAClE,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,QAAQ;EAC7B,GAAG;EACH,MAAM;EACN,YAAY,OAAO,YAAYD,UAA4B;CAC7D,CAAC;CACD,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,OAAO;EAC5B,GAAG;EACH,QAAQ;EACR,YAAY,OAAO,YAAYA,UAA4B;CAC7D,CAAC;CACD,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,MAAM;EAC3B,GAAG;EACH,QAAQ;EACR,YAAY,OAAO,YAAYA,UAA4B;CAC7D,CAAC;CACD,OAAO,OAAO;EAAE,MAAM,OAAO,QAAQ,SAAS;EAAG,GAAG;EAAO,kBAAkB;CAAgB,CAAC;CAE9F,OAAO,OAAO;EAAE,MAAM,OAAO,QAAQ,OAAO;EAAG,GAAG;EAAO,aAAa;CAAgB,CAAC;AACzF,CAAC;;AAKD,MAAa,6BAA6B,OAAO,OAAO;CACtD,eAAe;CACf,OAAO,SAAS,MAAM,OAAO,oBAAoB,IAAI,CAAC;CACtD,OAAO,OAAO,YAAY,cAAc;;CAExC,aAAa,OAAO,YAAY,OAAO,OAAO;;CAE9C,cAAc,OAAO,YACnB,OAAO,OAAO;EAAE,cAAc;EAAc,eAAe;CAAQ,CAAC,CACtE;;CAEA,eAAe,OAAO,YAAY,QAAQ;AAC5C,CAAC,CAAC,CAAC,MACD,OAAO,YACJ,YACC,OAAO,QAAQ,gBAAgB,IAAI,IACjC,OAAO,QAAQ,iBAAiB,KAAA,CAAS,IACzC,OAAO,QAAQ,kBAAkB,KAAA,CAAS,KAC5C,CACJ,CACF;AAIA,MAAa,sBAAsB,OAAO,OAAO;CAC/C,OAAO,OAAO,MAAM,qBAAqB;CACzC,MAAM,OAAO,OAAO,cAAc;AACpC,CAAC;;;;;;;AAUD,IAAa,uBAAb,cAA0C,QAAQ,QA4BhD,CAAC,CAAC,2CAA2C,CAAC,CAAC,CAAC;;;;;;;;AASlD,MAAa,cAAc,OAAO,GAAG,6BAA6B,CAAC,CAAC,WAClE,SACA;CACA,MAAM,QAAQ,OAAO;CAErB,MAAM,QAAQ,OAAO,wBACnB,4BACA;EACE,eAAe,QAAQ;EACvB,OAAO,QAAQ;EACf,aAAa;CACf,GACA,cACF;CAEA,MAAM,OAAO,OAAO,wBAClB,qBACA,OAAO,MAAM,KAAK,KAAK,GACvB,qBACF;CAEA,IAAI,KAAK,SAAS,QAAQ,KAAK,MAAM,SAAS,MAAM,OAClD,OAAO,OAAO,qBAAqB,KAAK;EAAE,QAAQ;EAAY,WAAW;CAAe,CAAC;CAC3F,MAAM,UAAU,KAAK;CAErB,IACE,QAAQ,MACL,WACC,OAAO,IAAI,kBAAkB,MAAM,iBAAiB,CAAC,4BAA4B,MAAM,CAC3F,KACA,IAAI,IAAI,QAAQ,KAAK,WAAW,OAAO,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS,QAAQ,QAExE,OAAO,OAAO,qBAAqB,KAAK;EACtC,QAAQ;EACR,WAAW;CACb,CAAC;CAEH,OAAO;AACT,CAAC;AAED,MAAa,4BAA4B,QACvC,KAAK,UAAU,CAAC,IAAI,eAAe,IAAI,SAAS,CAAC;AAEnD,MAAa,+BAA+B,WAC1C,OAAO,WAAW,eAAe,OAAO,WAAW;AAErD,MAAa,0BAA0B,WACrC,OAAO,GAAG,YAAY,CAAC,CAAC,OAAO,SAAS,gBAAgB;AAE1D,MAAa,2BAA2B,QAAoC,YAAqB;CAC/F,SAAS,SAAU,OAAO,6BAA6B,KAAM,OAAO;CACpE,UAAU,SAAU,OAAO,8BAA8B,MAAO,OAAO;AACzE;AAEA,MAAa,2BAA2B,WACtC,OAAO,WAAW,aAAa,OAAO,WAAW,aAC7C,KAAK,IAAI,OAAO,kBAAkB,OAAO,oBAAoB,OAAO,MAAM,mBAAmB,IAC7F;;AAGN,MAAa,+BACX,MACA,UAEA,yBAAyB,KAAK,GAAG,MAAM,yBAAyB,MAAM,GAAG,KACzE,KAAK,mBAAmB,MAAM,kBAC9B,KAAK,gBAAgB,MAAM,eAC3B,OAAO,cAAc,aAAa,CAAC,CAAC,KAAK,UAAU,MAAM,QAAQ,KACjE,OAAO,cAAc,qBAAqB,CAAC,CAAC,KAAK,QAAQ,MAAM,MAAM,KACrE,KAAK,oBAAoB,MAAM,mBAC/B,KAAK,4BAA4B,MAAM;AAEzC,MAAM,SAAS,QAAwC,WAAmB,UACxE,qBAAqB,KAAK;CAAE;CAAQ;CAAW,GAAI,UAAU,KAAA,IAAY,CAAC,IAAI,EAAE,MAAM;AAAG,CAAC;AAE5F,MAAa,2BACX,QACA,OACA,cAEA,OAAO,oBAAoB,OAAO,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KACvD,OAAO,eAAe,MAAM,cAAc,SAAS,CAAC,CACtD;AAEF,MAAM,6BAA6B,OAAO,OAAO;CAC/C,KAAK;CACL,UAAU;CACV,iBAAiB;CACjB,kBAAkB;CAClB,QAAQ;CACR,aAAa,OAAO,YAAY,cAAc;AAChD,CAAC;;AAGD,MAAa,yBAAyB,OAAO,GAAG,yBAAyB,CAAC,CAAC,WAAW,SAOL;CAE/E,MAAM,WAAW,OAAO,OAAO,aAAa,OAAO,eAAe,0BAA0B,CAAC,CAAC,CAAC;EAC7F,GAAG;EACH,QAAQ,QAAQ,UAAU;CAC5B,CAAC,CAAC,CAAC,KACD,OAAO,QAAQ,OAAO,aAAa,OAAO,eAAe,0BAA0B,CAAC,CAAC,GACrF,OAAO,UAAU,UAAU,MAAM,cAAc,WAAW,KAAK,CAAC,CAClE;CAEA,MAAM,WAAW,SAAS;CAE1B,MAAM,UAAU,OAAO,OAAO,aAAa,aAAa,CAAC,CAAC,QAAQ,CAAC,CAAC,KAClE,OAAO,UAAU,UAAU,MAAM,cAAc,WAAW,KAAK,CAAC,CAClE;CAMA,KAAI,OAJuB,WAAW,QAAQ,KAAK,CAAC,CAAC,KACnD,OAAO,UAAU,UAAU,MAAM,WAAW,UAAU,KAAK,CAAC,CAC9D,OAEoB,SAAS,aAAa,OAAO,OAAO,MAAM,WAAW,cAAc;CAEvF,MAAM,iBAAiB,OAAO,WAAW,OAAO,CAAC,CAAC,KAChD,OAAO,UAAU,UAAU,MAAM,WAAW,UAAU,KAAK,CAAC,CAC9D;CAEA,OAAO,OAAO,wBACZ,uBACA;EACE,eAAe;EACf,KAAK,SAAS;EACd;EACA;EACA,GAAI,SAAS,gBAAgB,KAAA,IAAY,CAAC,IAAI,EAAE,aAAa,SAAS,YAAY;EAClF,iBAAiB,SAAS;EAC1B,yBAAyB,SAAS;EAClC,kBAAkB,SAAS;EAC3B,QAAQ,SAAS;EACjB,SAAS;EACT,QAAQ;EACR,SAAS;EACT,YAAY;EACZ,SAAS;EACT,YAAY;EACZ,kBAAkB;EAClB,OAAO;GACL,UAAU;GACV,YAAY;GACZ,mBAAmB;GACnB,QAAQ;GACR,qBAAqB,SAAS;GAC9B,qBAAqB;GACrB,aAAa;EACf;CACF,GACA,SACF;AACF,CAAC;;AAGD,MAAa,8BACX,QACA,WAC+D;CAC/D,MAAM,iBAAiB,OAAO,KAAK,MAAM,YAAY,OAAO,IAAI,CAAC;CAEjE,IAAI,OAAO,SAAS,YAAY;EAC9B,IACE,OAAO,iBAAiB,OAAO,SAAS,gBACxC,OAAO,gBAAgB,OAAO,SAAS,eACvC,OAAO,QAAQ,aAAa,OAAO,SAAS,YAC5C,OAAO,WAAW,iBAAiB,OAAO,QAAQ,gBAClD,OAAO,WAAW,cAAc,OAAO,QAAQ,aAC9C,OAAO,YAAY,QAAQ,CAAC,cAAc,OAAO,SAAS,OAAO,OAAO,GAEzE,OAAO,OAAO,KAAK,MAAM,WAAW,qBAAqB,CAAC;EAC5D,IAAI,OAAO,WAAW,WAAW,OAAO,SAAS;EACjD,IAAI,OAAO,WAAW,aACpB,OAAO,OAAO,eAAe,QAAQ,iBAAiB,OAAO,YAAY,OAAO,UAAU,IACtF,OAAO,QAAQ,MAAM,IACrB,OAAO,KAAK,MAAM,WAAW,qBAAqB,CAAC;EAEzD,OAAO,OAAO,QAAQ;GACpB,GAAG;GACH,SAAS,OAAO,UAAU;GAC1B,QAAQ;GACR,SAAS,OAAO;GAChB,YAAY,OAAO;GACnB,kBAAkB;GAClB,YAAY;GACZ,OAAO;IAAE,GAAG,OAAO;IAAO,QAAQ;GAAM;EAC1C,CAAC;CACH;CAEA,IAAI,OAAO,YAAY,OAAO,iBAAiB,OAAO,SAAS;CAC/D,IAAI,OAAO,WAAW,eAAe,OAAO,WAAW,WAAW,OAAO,SAAS;CAClF,MAAM,MAAM,OAAO;CAEnB,MAAM,OAAO;EACX,GAAG;EACH,SAAS,OAAO,UAAU;EAC1B,GAAI,gBAAgB,UAAU,OAAO,eAAe,KAAA,IAChD,EAAE,uBAAuB,OAAO,WAAW,IAC3C,CAAC;CACP;CAEA,MAAM,UAAU,YAA2D;EACzE,GAAG;EACH,QAAQ;EACR,YAAY;EACZ,kBAAkB;EAClB,OAAO;GAAE,GAAG,OAAO;GAAO,QAAQ;EAAK;CACzC;CAEA,IAAI,OAAO,SAAS,SAAS;EAC3B,IACE,OAAO,WAAW,aACjB,OAAO,qBAAqB,QAAQ,OAAO,mBAAmB,KAE/D,OAAO,SAAS;EAClB,IAAI,OAAO,OAAO,kBAAkB,OAAO,OAAO,QAAQ,OAAO,UAAU,CAAC;EAC5E,IAAI,OAAO,eAAe,KAAK,OAAO,SAAS;EAE/C,OAAO,OAAO,QAAQ;GACpB,GAAG;GACH,kBAAkB;GAClB,OAAO;IACL,GAAG,OAAO;IACV,qBAAqB,KAAK,IAAI,OAAO,aAAa,OAAO,gBAAgB;GAC3E;EACF,CAAC;CACH;CAEA,IAAI,OAAO,SAAS,WAAW;EAC7B,IAAI,OAAO,WAAW,YAAY,OAAO,oBAAoB,KAAK,OAAO,SAAS;EAElF,OAAO,OAAO,QAAQ;GACpB,GAAG;GACH,kBAAkB,OAAO;GACzB,QAAQ,OAAO,YAAY,OAAO,YAAY;GAC9C,YAAY;GACZ,OAAO;IACL,GAAG,OAAO;IACV,YAAY,OAAO,MAAM,aAAa;IACtC,mBAAmB;IACnB,QAAQ;IACR,qBAAqB;GACvB;EACF,CAAC;CACH;CACA,IAAI,OAAO,WAAW,UAAU,OAAO,SAAS;CAChD,IAAI,OAAO,SAAS,QAAQ,OAAO,OAAO,QAAQ,OAAO,OAAO,MAAM,CAAC;CACvE,IAAI,OAAO,SAAS,SAAS;EAC3B,MAAM,MAAM,wBAAwB,MAAM;EAE1C,IAAI,QAAQ,QAAQ,MAAM,KAAK,OAAO,SAAS;EAC/C,IAAI,OAAO,OAAO,kBAAkB,OAAO,OAAO,QAAQ,OAAO,UAAU,CAAC;EAC5E,IAAI,OAAO,MAAM,qBAAqB,OAAO,OAAO,sBAClD,OAAO,OAAO,QAAQ,OAAO,WAAW,CAAC;EAE3C,OAAO,OAAO,QAAQ;GACpB,GAAG;GACH,kBAAkB,KAAK,IAAI,MAAM,OAAO,OAAO,sBAAsB,OAAO,gBAAgB;GAC5F,OAAO;IACL,GAAG,OAAO;IACV,UAAU,OAAO,MAAM,WAAW;IAClC,mBAAmB,OAAO,MAAM,oBAAoB;IACpD,qBAAqB;GACvB;EACF,CAAC;CACH;CACA,IAAI,OAAO,qBAAqB,QAAQ,MAAM,OAAO,kBAAkB,OAAO,SAAS;CACvF,IAAI,OAAO,SAAS,UAAU;EAC5B,IAAI,OAAO,WAAW,WAAW,OAAO,SAAS;EACjD,IAAI,OAAO,QAAQ,aAAa,OAAO,SAAS,UAC9C,OAAO,OAAO,KAAK,MAAM,WAAW,kBAAkB,CAAC;EAEzD,OAAO,OAAO,QAAQ;GACpB,GAAG;GACH,QAAQ;GACR,SAAS,OAAO;GAChB,kBAAkB;GAClB,OAAO;IACL,GAAG,OAAO;IACV,mBAAmB;IACnB,qBAAqB,KAAK,IACxB,MAAM,OAAO,OAAO,sBACpB,OAAO,gBACT;IACA,aAAa;GACf;EACF,CAAC;CACH;CACA,IAAI,OAAO,SAAS,WAAW;EAC7B,IAAI,OAAO,WAAW,YAAY,OAAO,SAAS;EAClD,IACE,OAAO,WAAW,iBAAiB,OAAO,SAAS,gBACnD,OAAO,WAAW,cAAc,OAAO,QAAQ,WAE/C,OAAO,OAAO,KAAK,MAAM,WAAW,qBAAqB,CAAC;EAE5D,OAAO,OAAO,QAAQ;GACpB,GAAG;GACH,QAAQ;GACR,YAAY,OAAO;GACnB,kBAAkB;EACpB,CAAC;CACH;CACA,IAAI,OAAO,SAAS,kBAAkB;EACpC,IAAI,OAAO,WAAW,YAAY,OAAO,SAAS;EAElD,OAAO,OAAO,QAAQ,OAAO,qBAAqB,CAAC;CACrD;CACA,IAAI,OAAO,SAAS,UAAU;EAC5B,IAAI,OAAO,WAAW,WAAW,OAAO,SAAS;EAEjD,OAAO,OAAO,QAAQ;GACpB,GAAG;GACH,QAAQ;GACR,SAAS,OAAO;GAChB,kBAAkB;EACpB,CAAC;CACH;CACA,IAAI,OAAO,OAAO,kBAAkB,OAAO,OAAO,QAAQ,OAAO,UAAU,CAAC;CAC5E,IAAI,OAAO,MAAM,qBAAqB,OAAO,OAAO,sBAClD,OAAO,OAAO,QAAQ,OAAO,WAAW,CAAC;CAE3C,MAAM,QAAQ,KAAK,IACjB,OAAO,OAAO,kBAAkB,KAAK,KAAK,IAAI,OAAO,MAAM,oBAAoB,GAAG,EAAE,GACpF,OAAO,OAAO,cAChB;CAEA,OAAO,OAAO,QAAQ;EACpB,GAAG;EACH,kBAAkB;EAClB,OAAO;GACL,GAAG,OAAO;GACV,qBAAqB,KAAK,IACxB,OAAO,OAAO,WAAW,aAAa,OAAO,OAAO,uBAAuB,QAC3E,OAAO,gBACT;GACA,aAAa,OAAO;EACtB;CACF,CAAC;AACH;AAEA,MAAa,8BAA8B,OAAO,OAAO;CACvD,WAAW,SAAS,MAAM,OAAO,oBAAoB,GAAG,CAAC;CACzD,aAAa,SAAS,MAAM,OAAO,oBAAoB,EAAE,CAAC;AAC5D,CAAC;;;;;;;AAUD,IAAa,wBAAb,MAAa,8BAA8B,QAAQ,QAejD,CAAC,CAAC,4CAA4C,CAAC,CAAC;CAChD,OAAO,MACL,SAAsC;EAAE,WAAW;EAAK,aAAa;CAAE,GAKvE;EACA,OAAO,MAAM,OACX,uBACA,OAAO,IAAI,aAAa;GACtB,MAAM,SAAS,OAAO,wBACpB,6BACA,QACA,eACF;GAEA,MAAM,QAAQ,OAAO;GACrB,MAAM,YAAY,OAAO;GACzB,MAAM,SAAS,OAAO,OAAO;GAC7B,MAAM,YAAY,OAAO;GACzB,MAAM,YAAY,OAAO,UAAU,KAAK,OAAO,WAAW;GAE1D,MAAM,UAAU,OAAO,GAAG,yBAAyB,CAAC,EAAE,QACpD,UACG,WACC,OAAO,IAAI,aAAa;IACtB,MAAM,UAAU,OAAO,MAAM,IAAI,GAAG;IAEpC,IAAI,YAAY,MAAM,OAAO,OAAO,MAAM,aAAa,SAAS;IAChE,MAAM,YAAY,OAAO,MAAM;IAC/B,MAAM,MAAM,wBAAwB,OAAO;IAE3C,IAAI,QAAQ,QAAQ,MAAM,WAAW,OAAO;IAE5C,IAAI,QAAQ,WAAW,aAAa,QAAQ,gBAAgB,KAAA,GAAW;KACrE,MAAM,WAAW,OAAO,MAAM,IAAI;MAChC,eAAe,IAAI;MACnB,WAAW,QAAQ;KACrB,CAAC;KAED,IACE,aAAa,QACZ,SAAS,YAAY,QAAQ,SAAS,WAAW,WAElD,OAAO,OAAO,MAAM,OAAO,KAAK;MAC9B,MAAM;MACN,iBAAiB,QAAQ;MACzB;MACA,aAAa,YAAY,QAAQ,OAAO;KAC1C,CAAC;IAEL;IAEA,MAAM,UAAU,OAAO,MAAM,OAAO,KAAK;KACvC,MAAM;KACN,iBAAiB,QAAQ;KACzB;IACF,CAAC;IAED,IAAI,QAAQ,WAAW,UAAU,OAAO;IAExC,MAAM,WAAW,OAAO,OAAO,aAAa,aAAa,CAAC,CAAC,QAAQ,QAAQ,CAAC,CAAC,KAC3E,OAAO,UAAU,UAAU,MAAM,WAAW,YAAY,KAAK,CAAC,CAChE;IAOA,KAAI,OALkB,WAAW,QAAQ,CAAC,CAAC,KACzC,OAAO,eAAe,OAAO,QAAQ,MAAM,GAC3C,OAAO,UAAU,UAAU,MAAM,WAAW,UAAU,KAAK,CAAC,CAC9D,OAEe,QAAQ,gBACrB,OAAO,OAAO,MAAM,WAAW,iBAAiB;IAElD,MAAM,UAAU,KAAK,IACnB,QAAQ,OAAO,uBACd,QAAQ,oBAAoB,QAAQ,qBAClC,OAAO,MAAM,kBAClB;IAGA,IAAI,WAAW,GAAG,OAAO;IAOzB,MAAM,UAAU,WACd,MAAM,kBAAkB,KACtB,OAAO,SAAS,SACd,MAAM,OAAO,KAAK;KAChB,GAAG;KACH,iBAAiB,QAAQ;KACzB,WAAW;IACb,CAAC,CACH,CACF;IAEF,IAAI,QAAQ,WAAW,WAAW;KAChC,MAAM,UAAU,OAAO,mBACrB,UAAU,OAAO,QAAQ,QAAQ,GACjC,OACF,CAAC,CAAC,KAAK,OAAO,UAAU,UAAU,MAAM,WAAW,aAAa,KAAK,CAAC,CAAC;KAEvE,OAAO,UAAU,IAAI,kCAAkC;KACvD,IAAI,QAAQ,SAAS,WAAW;MAC9B,MAAM,WAAW,OAAO,OAAO;OAAE,MAAM;OAAU,SAAS,QAAQ;MAAQ,CAAC;MAE3E,OAAO,OAAO,MAAM,OAAO,KAAK;OAC9B,MAAM;OACN,QAAQ;OACR,iBAAiB,SAAS;OAC1B,WAAW,OAAO,MAAM;MAC1B,CAAC;KACH;KACA,IAAI,QAAQ,SAAS,WACnB,OAAO,OAAO,OAAO;MACnB,MAAM;MACN,MAAM,QAAQ,MAAM;MACpB,YAAYE,QAA0B,QAAQ,KAAK;KACrD,CAAC;KAEH,OAAO,OAAO,OAAO;MACnB,MAAM;MACN,QAAQ,QAAQ;MAChB,YAAY,QAAQ;KACtB,CAAC;IACH;IACA,IAAI,QAAQ,YAAY,MAAM,OAAO,OAAO,MAAM,WAAW,SAAS;IACtE,IAAI,UAAU,qBAAqB,KAAA,GACjC,OAAO,OAAO,OAAO;KAAE,MAAM;KAAQ,QAAQ;IAAqB,CAAC;IAErE,MAAM,SAAS,OAAO,UAAU,iBAAiB,QAAQ,OAAO,CAAC,CAAC,KAChE,OAAO,QAAQ,OAAO,GACtB,OAAO,KAAK,YAAY;KAAE,MAAM;KAAmB;IAAO,EAAE,GAC5D,OAAO,SAAS,4BAA4B,YAC1C,OAAO,QAAQ;KACb,MAAM;KACN,QAAQ,QAAQ;KAChB,YAAYA,QAA0B,OAAO;IAC/C,CAAC,CACH,GACA,OAAO,SAAS,0BAA0B,YACxC,OAAO,QAAQ;KACb,MAAM;KACN,YAAYA,QAA0B,OAAO;IAC/C,CAAC,CACH,GACA,OAAO,SAAS,iBAAiB,YAC/B,OAAO,QAAQ;KACb,MAAM;KACN,QAAQ;KACR,YAAYA,QAA0B,OAAO;IAC/C,CAAC,CACH,GACA,OAAO,SAAS,yBAAyB,YACvC,QAAQ,WAAW,gBACf,OAAO,QAAQ;KACb,MAAM;KACN,QAAQ;KACR,YAAYA,QAA0B,OAAO;IAC/C,CAAC,IACD,OAAO,KAAK,MAAM,WAAW,UAAU,OAAO,CAAC,CACrD,CACF;IAEA,IAAI,OAAO,SAAS,eAClB,OAAO,OAAO,OAAO;KACnB,MAAM;KACN,QAAQ;KACR,YAAY,OAAO;IACrB,CAAC;IACH,IAAI,OAAO,SAAS,YAAY,OAAO,OAAO,SAAS,WACrD,OAAO,OAAO,OAAO;KAAE,MAAM;KAAW,YAAY,OAAO,OAAO;IAAW,CAAC;IAChF,IAAI,OAAO,SAAS,UAAU,OAAO,OAAO,OAAO,EAAE,MAAM,iBAAiB,CAAC;IAE7E,OAAO,OAAO,OAAO;KACnB,MAAM;KACN,QAAQ,OAAO;KACf,YAAY,OAAO;IACrB,CAAC;GACH,CAAC,CACH,CAAC,CACA,KACC,OAAO,SAAS,yBAAyB,YACvC,QAAQ,WAAW,aACf,MAAM,IAAI,GAAG,CAAC,CAAC,KACb,OAAO,cACJ,WAAW,WAAW,YACjB,OACR,CACF,IACA,OAAO,KAAK,OAAO,CACzB,CACF,CACJ;GAEA,OAAO,sBAAsB,GAAG;IAC9B;IACA,QAAQ,OAAO,GAAG,wBAAwB,CAAC,CAAC,WAAW,eAAe;KACpE,MAAM,OAAO,OAAO,MAAM,IACxB,OAAO,MAAM,mBACb,OAAO,WACP,aACF;KAEA,OAAO,OAAO,OAAO,QAAQ,MAAM,SAAS,EAAE,aAAa,OAAO,YAAY,CAAC;IACjF,CAAC;IACD,OAAO,OAAO,GAAG,uBAAuB,CAAC,CACvC,WAAW,KAAK,iBAAiB,kBAAkB;KACjD,OAAO,OAAO,MAAM,OAAO,KAAK;MAC9B,MAAM;MACN;MACA;MACA,WAAW,OAAO,MAAM;KAC1B,CAAC;IACH,CACF;GACF,CAAC;EACH,CAAC,CACH;CACF;AACF"}

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-tyN9v-Jv.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-B4oH8TbG.mjs";
+import { h as DefinitionDigests } from "../Records-Bm4Qt70a.mjs";
+import { t as DigestError } from "../Digest-COAt3Orl.mjs";
+import { fn as Settlement } from "../Admin-Dirux8PR.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 _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;
+    } | {
+      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;
+    } | 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: "awaiting-settlement" | "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 _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;
+    } | {
+      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;
+    } | 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: "awaiting-settlement" | "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