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

package/dist/durable/SubscriptionStoreConformance.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"SubscriptionStoreConformance.mjs","names":[],"sources":["../../src/durable/SubscriptionStoreConformance.ts"],"sourcesContent":["import { Clock, Effect, Result, Schema } from \"effect\";\nimport { TestClock } from \"effect/testing\";\n\nimport { AgentId, ThreadId, ReceiptId, SubmissionId } from \"../core/Identifiers.ts\";\nimport { Receipt } from \"./DurableAgentRuntime.ts\";\nimport { DefinitionDigests, Digest } from \"./Records.ts\";\nimport { IdempotencyKey, Principal, QueueSequence } from \"./SubmissionLedger.ts\";\nimport {\n  type AcceptedEvent,\n  defaultSubscriptionLimits,\n  type SourcePartition,\n  type SubscriptionDelivery,\n  type SubscriptionRecord,\n  SubscriptionStore,\n  type SubscriptionStoreFailure,\n} from \"./Subscription.ts\";\n\nexport class SubscriptionStoreConformanceViolation extends Schema.TaggedError<SubscriptionStoreConformanceViolation>()(\n  \"SubscriptionStoreConformanceViolation\",\n  { caseName: Schema.String, message: Schema.String },\n) {}\n\nexport interface SubscriptionStoreConformanceCase {\n  readonly name: string;\n  readonly run: Effect.Effect<\n    void,\n    SubscriptionStoreFailure | SubscriptionStoreConformanceViolation,\n    SubscriptionStore\n  >;\n}\n\nexport const subscriptionConformancePartition: SourcePartition = {\n  tenantId: \"subscription-conformance\",\n  address: \"source-address\",\n};\n\nconst principal = Schema.decodeSync(Principal)(\"subscription-conformance-principal\");\nconst agentId = Schema.decodeSync(AgentId)(\"subscription-conformance-agent\");\nconst threadId = Schema.decodeSync(ThreadId)(\"subscription-conformance-thread\");\nconst digest = (character: string) => Schema.decodeSync(Digest)(character.repeat(64));\n\nconst definitions = DefinitionDigests.make({\n  agent: digest(\"a\"),\n  model: digest(\"b\"),\n  tools: digest(\"c\"),\n});\n\nconst record = (\n  name: string,\n  mode: \"once\" | \"continuous\" = \"once\",\n  ownerId = \"owner\",\n): SubscriptionRecord => ({\n  schemaVersion: 1,\n  key: { partition: subscriptionConformancePartition, ownerId, subscriptionId: name },\n  creationFingerprint: digest(name.charCodeAt(0) % 2 === 0 ? \"d\" : \"e\"),\n  createdBy: principal,\n  createdAtMillis: 1,\n  ordinal: 0,\n  configurationRevision: 1,\n  configurationFingerprint: digest(name.charCodeAt(0) % 2 === 0 ? \"d\" : \"e\"),\n  creationConfiguration: {\n    source: { name: \"trusted\", version: \"1\" },\n    matchingKey: \"match\",\n    parameters: { name },\n    context: { name },\n    mode,\n    expiresAtMillis: 100_000,\n    destination: { _tag: \"ExistingThread\", threadId },\n    deliveryPrincipal: principal,\n    agentId,\n    definitions,\n  },\n  configuration: {\n    source: { name: \"trusted\", version: \"1\" },\n    matchingKey: \"match\",\n    parameters: { name },\n    context: { name },\n    mode,\n    expiresAtMillis: 100_000,\n    destination: { _tag: \"ExistingThread\", threadId },\n    deliveryPrincipal: principal,\n    agentId,\n    definitions,\n  },\n  state: \"active\",\n  recovery: null,\n});\n\nconst event = (name: string, payloadDigest = digest(\"f\")): AcceptedEvent => ({\n  schemaVersion: 1,\n  partition: subscriptionConformancePartition,\n  eventId: name,\n  source: { name: \"trusted\", version: \"1\" },\n  matchingKey: \"match\",\n  payload: { name },\n  payloadDigest,\n  acceptedAtMillis: 10,\n  cutoff: 0,\n  cursor: 0,\n  routingComplete: false,\n  routingFailure: null,\n  nextAttemptAtMillis: 10,\n});\n\nconst delivery = (\n  subscription: SubscriptionRecord,\n  accepted: AcceptedEvent,\n  suffix = \"0\",\n): SubscriptionDelivery => {\n  const deliveryId = digest(suffix === \"0\" ? \"1\" : \"2\");\n\n  return {\n    schemaVersion: 1,\n    key: { subscription: subscription.key, eventId: accepted.eventId },\n    deliveryId,\n    source: accepted.source,\n    subscriptionFingerprint: subscription.configurationFingerprint,\n    configurationRevision: subscription.configurationRevision,\n    configuration: subscription.configuration,\n    eventDigest: accepted.payloadDigest,\n    threadId,\n    admissionKey: Schema.decodeSync(IdempotencyKey)(`subscription:${deliveryId}`),\n    selectedAtMillis: suffix === \"0\" ? 20 : 21,\n    state: \"selected\",\n    envelope: null,\n    envelopeDigest: null,\n    retry: {\n      generation: 0,\n      attempts: 0,\n      automaticAttempts: 0,\n      parked: false,\n      nextAttemptAtMillis: 20,\n      lastAttemptAtMillis: null,\n      lastFailure: null,\n    },\n    receipt: null,\n    refusal: null,\n  };\n};\n\nconst preparedInput = (selected: SubscriptionDelivery) => ({\n  schemaVersion: 1 as const,\n  threadId: selected.threadId,\n  deliveryPrincipal: principal,\n  agentId,\n  definitions,\n  input: { event: selected.key.eventId },\n  inputDigest: digest(\"3\"),\n  admissionKey: selected.admissionKey,\n  authorization: { policyId: \"policy\", decisionId: \"decision\" },\n});\n\nconst receipt = Receipt.make({\n  receiptId: Schema.decodeSync(ReceiptId)(\"subscription-conformance-receipt\"),\n  submissionId: Schema.decodeSync(SubmissionId)(\"subscription-conformance-submission\"),\n  threadId,\n  queueSequence: Schema.decodeSync(QueueSequence)(1),\n});\n\nconst conformanceCase = (\n  name: string,\n  body: (\n    ensure: (\n      condition: boolean,\n      message: string,\n    ) => Effect.Effect<void, SubscriptionStoreConformanceViolation>,\n  ) => Effect.Effect<\n    void,\n    SubscriptionStoreFailure | SubscriptionStoreConformanceViolation,\n    SubscriptionStore\n  >,\n): SubscriptionStoreConformanceCase => ({\n  name,\n  run: body((condition, message) =>\n    condition\n      ? Effect.void\n      : Effect.fail(SubscriptionStoreConformanceViolation.make({ caseName: name, message })),\n  ),\n});\n\nconst historicalOccurrenceReplay = conformanceCase(\n  \"preserves unknown occurrence time on replay and fences known times\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* SubscriptionStore;\n      const original = yield* store.accept(event(\"legacy-occurrence\"), defaultSubscriptionLimits);\n\n      const replay = yield* store.accept(\n        { ...original, occurredAtMillis: 1 },\n        defaultSubscriptionLimits,\n      );\n\n      yield* ensure(\n        replay.occurredAtMillis === undefined &&\n          replay.acceptedAtMillis === original.acceptedAtMillis &&\n          replay.cutoff === original.cutoff,\n        \"replay invented historical occurrence or moved acceptance\",\n      );\n\n      const known = yield* store.accept(\n        { ...event(\"known-occurrence\"), occurredAtMillis: 1 },\n        defaultSubscriptionLimits,\n      );\n\n      const changed = yield* store\n        .accept({ ...known, occurredAtMillis: 2 }, defaultSubscriptionLimits)\n        .pipe(Effect.result);\n\n      yield* ensure(Result.isFailure(changed), \"known occurrence time changed on replay\");\n\n      const omitted = yield* store\n        .accept(event(\"known-occurrence\"), defaultSubscriptionLimits)\n        .pipe(Effect.result);\n\n      yield* ensure(Result.isFailure(omitted), \"known occurrence time was erased on replay\");\n    }),\n);\n\nconst cutoffAndIntake = conformanceCase(\n  \"orders eligibility cutoffs and preserves duplicate intake\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* SubscriptionStore;\n      const before = yield* store.register(record(\"before\"), defaultSubscriptionLimits);\n      const accepted = yield* store.accept(event(\"cutoff\"), defaultSubscriptionLimits);\n      const after = yield* store.register(record(\"after\"), defaultSubscriptionLimits);\n\n      yield* ensure(\n        before.ordinal < accepted.cutoff && after.ordinal > accepted.cutoff,\n        \"sequence did not order registration and intake\",\n      );\n      const candidates = yield* store.candidates(accepted, 10);\n\n      yield* ensure(\n        candidates.length === 1 && candidates[0].key.subscriptionId === \"before\",\n        \"cutoff admitted a later registration\",\n      );\n\n      const replayed = yield* store.accept(\n        { ...event(\"cutoff\"), acceptedAtMillis: 99 },\n        defaultSubscriptionLimits,\n      );\n\n      yield* ensure(\n        replayed.cutoff === accepted.cutoff &&\n          replayed.acceptedAtMillis === accepted.acceptedAtMillis,\n        \"duplicate intake did not return retained progress\",\n      );\n\n      const conflict = yield* Effect.result(\n        store.accept(event(\"cutoff\", digest(\"9\")), defaultSubscriptionLimits),\n      );\n\n      yield* ensure(\n        Result.isFailure(conflict) &&\n          conflict.failure._tag === \"SubscriptionError\" &&\n          conflict.failure.reason === \"conflict\",\n        \"conflicting event identity was accepted\",\n      );\n    }),\n);\n\nconst onceAndCapacity = conformanceCase(\n  \"consumes once atomically and rejects capacity before progress\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* SubscriptionStore;\n      const once = yield* store.register(record(\"once\"), defaultSubscriptionLimits);\n      const first = yield* store.accept(event(\"first\"), defaultSubscriptionLimits);\n      const second = yield* store.accept(event(\"second\"), defaultSubscriptionLimits);\n\n      yield* store.select(\n        first,\n        [delivery(once, first)],\n        once.ordinal,\n        true,\n        20,\n        defaultSubscriptionLimits,\n      );\n      yield* store.select(\n        second,\n        [delivery(once, second)],\n        once.ordinal,\n        true,\n        20,\n        defaultSubscriptionLimits,\n      );\n      yield* ensure(\n        (yield* store.get(once.key))?.state === \"consumed\",\n        \"once registration remained active\",\n      );\n      yield* ensure(\n        (yield* store.delivery({ subscription: once.key, eventId: first.eventId })) !== null,\n        \"winning delivery was lost\",\n      );\n      yield* ensure(\n        (yield* store.delivery({ subscription: once.key, eventId: second.eventId })) === null,\n        \"second event consumed once registration again\",\n      );\n\n      const left = yield* store.register(\n        record(\"left\", \"continuous\", \"capacity\"),\n        defaultSubscriptionLimits,\n      );\n\n      const right = yield* store.register(\n        record(\"right\", \"continuous\", \"capacity\"),\n        defaultSubscriptionLimits,\n      );\n\n      const bounded = yield* store.accept(event(\"bounded\"), defaultSubscriptionLimits);\n      const limits = { ...defaultSubscriptionLimits, maxDeliveries: 2, maxDeliveriesPerOwner: 1 };\n\n      const failure = yield* Effect.result(\n        store.select(\n          bounded,\n          [delivery(left, bounded), delivery(right, bounded, \"1\")],\n          right.ordinal,\n          true,\n          20,\n          limits,\n        ),\n      );\n\n      yield* ensure(\n        Result.isFailure(failure) &&\n          failure.failure._tag === \"SubscriptionError\" &&\n          failure.failure.reason === \"capacity\",\n        \"delivery quota did not reject batch\",\n      );\n      yield* ensure(\n        (yield* store.event(bounded.eventId))?.cursor === 0,\n        \"capacity failure advanced event cursor\",\n      );\n    }),\n);\n\nconst preparationLifecycle = conformanceCase(\n  \"refuses cancelled selection and preserves prepared work\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* SubscriptionStore;\n      const cancelled = yield* store.register(record(\"cancelled\"), defaultSubscriptionLimits);\n\n      const cancelledEvent = yield* store.accept(\n        event(\"cancelled-event\"),\n        defaultSubscriptionLimits,\n      );\n\n      const cancelledDelivery = delivery(cancelled, cancelledEvent);\n\n      yield* store.select(\n        cancelledEvent,\n        [cancelledDelivery],\n        cancelled.ordinal,\n        true,\n        20,\n        defaultSubscriptionLimits,\n      );\n      yield* store.cancel(cancelled.key);\n\n      const refused = yield* store.changeDelivery(\n        cancelledDelivery.key,\n        cancelledDelivery.deliveryId,\n        {\n          _tag: \"Prepare\",\n          envelope: preparedInput(cancelledDelivery),\n          envelopeDigest: digest(\"4\"),\n          nowMillis: 30,\n        },\n      );\n\n      yield* ensure(\n        refused.state === \"refused\" && refused.refusal?.code === \"cancelled\",\n        \"cancelled selection prepared\",\n      );\n\n      const durable = yield* store.register(record(\"durable\"), defaultSubscriptionLimits);\n      const durableEvent = yield* store.accept(event(\"durable-event\"), defaultSubscriptionLimits);\n      const selected = delivery(durable, durableEvent);\n\n      yield* store.select(\n        durableEvent,\n        [selected],\n        durable.ordinal,\n        true,\n        20,\n        defaultSubscriptionLimits,\n      );\n\n      const prepared = yield* store.changeDelivery(selected.key, selected.deliveryId, {\n        _tag: \"Prepare\",\n        envelope: preparedInput(selected),\n        envelopeDigest: digest(\"5\"),\n        nowMillis: 30,\n      });\n\n      const retry = {\n        generation: 0,\n        automaticAttempts: 0,\n        parked: false,\n        attempts: 2,\n        nextAttemptAtMillis: 60,\n        lastAttemptAtMillis: 35,\n        lastFailure: \"transport\" as const,\n      };\n\n      yield* store.changeDelivery(selected.key, selected.deliveryId, {\n        _tag: \"Retry\",\n        retry,\n        nowMillis: 35,\n      });\n      for (const staleRetry of [\n        { ...retry, attempts: 1, nextAttemptAtMillis: 70 },\n        { ...retry, nextAttemptAtMillis: 70 },\n        { ...retry, attempts: 3, nextAttemptAtMillis: 50 },\n      ]) {\n        const retained = yield* store.changeDelivery(selected.key, selected.deliveryId, {\n          _tag: \"Retry\",\n          retry: staleRetry,\n          nowMillis: 36,\n        });\n\n        yield* ensure(\n          retained.retry.attempts === 2 && retained.retry.nextAttemptAtMillis === 60,\n          \"stale retry overwrote newer retry state\",\n        );\n      }\n      yield* store.cancel(durable.key);\n\n      const completed = yield* store.changeDelivery(selected.key, selected.deliveryId, {\n        _tag: \"Complete\",\n        receipt,\n        nowMillis: 40,\n      });\n\n      yield* ensure(\n        prepared.state === \"prepared\" && completed.state === \"delivered\",\n        \"prepared work did not survive cancellation\",\n      );\n\n      const stale = yield* Effect.result(\n        store.changeDelivery(selected.key, digest(\"8\"), {\n          _tag: \"Complete\",\n          receipt,\n          nowMillis: 41,\n        }),\n      );\n\n      yield* ensure(\n        Result.isFailure(stale) &&\n          stale.failure._tag === \"SubscriptionError\" &&\n          stale.failure.code === \"stale-delivery\",\n        \"stale outcome was not fenced\",\n      );\n    }),\n);\n\nconst catchUpAndCursors = conformanceCase(\n  \"limits catch-up to one watch and persists recovery cursors\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* SubscriptionStore;\n      const accepted = yield* store.accept(event(\"observed\"), defaultSubscriptionLimits);\n      const watch = yield* store.register(record(\"watch\"), defaultSubscriptionLimits);\n      const selected = delivery(watch, accepted);\n\n      yield* store.catchUp(accepted, selected, 20, defaultSubscriptionLimits);\n      yield* store.catchUp(\n        accepted,\n        { ...selected, selectedAtMillis: 999, retry: { ...selected.retry, attempts: 2 } },\n        30,\n        defaultSubscriptionLimits,\n      );\n      yield* ensure(\n        (yield* store.get(watch.key))?.state === \"consumed\",\n        \"catch-up did not consume watch\",\n      );\n      yield* store.advanceScanCursors({ events: \"e\", deliveries: \"d\", recovery: 7 });\n      const cursors = yield* store.readScanCursors;\n\n      yield* ensure(\n        cursors.events === \"e\" && cursors.deliveries === \"d\" && cursors.recovery === 7,\n        \"scan cursors were not durable\",\n      );\n      yield* ensure(\n        (yield* store.nextDeadline) === 0,\n        \"nonzero scan cursor did not keep recovery armed\",\n      );\n    }),\n);\n\nconst replayUnderTighterLimits = conformanceCase(\n  \"preserves retained identities when limits tighten\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* SubscriptionStore;\n      const created = yield* store.register(record(\"retained\"), defaultSubscriptionLimits);\n      const accepted = yield* store.accept(event(\"retained\"), defaultSubscriptionLimits);\n\n      const limits = {\n        ...defaultSubscriptionLimits,\n        maxRegistrations: 1,\n        maxEvents: 1,\n        maxPayloadBytes: 1,\n        maxContextBytes: 1,\n        maxLifetimeMillis: 1,\n      };\n\n      const replayed = yield* store.register(record(\"retained\"), limits);\n      const repeated = yield* store.accept(event(\"retained\"), limits);\n\n      yield* ensure(replayed.ordinal === created.ordinal, \"registration replay lost identity\");\n      yield* ensure(repeated.cutoff === accepted.cutoff, \"intake replay lost cutoff\");\n      const newRegistration = yield* Effect.result(store.register(record(\"new\"), limits));\n      const newEvent = yield* Effect.result(store.accept(event(\"new\"), limits));\n\n      yield* ensure(Result.isFailure(newRegistration), \"new registration ignored tightened limits\");\n      yield* ensure(Result.isFailure(newEvent), \"new intake ignored tightened limits\");\n    }),\n);\n\nconst revisionsAndRetention = conformanceCase(\n  \"preserves historical selection, CAS revisions, and unsettled evidence during retention\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* SubscriptionStore;\n      const now = yield* Clock.currentTimeMillis;\n      const policy = { replayHorizonMillis: 10_000, completedRetentionMillis: 0, maxTombstones: 8 };\n      const limits = { ...defaultSubscriptionLimits, retention: policy };\n      const indefinite = record(\"revision\", \"continuous\");\n\n      const original = yield* store.register(\n        {\n          ...indefinite,\n          configuration: { ...indefinite.configuration, expiresAtMillis: null },\n        },\n        limits,\n      );\n\n      yield* ensure(\n        original.configuration.expiresAtMillis === null,\n        \"UntilCancelled must remain explicit\",\n      );\n      yield* ensure(\n        (yield* store.nextDeadline) === null,\n        \"UntilCancelled cannot create an expiry wake\",\n      );\n\n      const accepted = yield* store.accept(\n        { ...event(\"retained\"), occurredAtMillis: now, acceptedAtMillis: now },\n        limits,\n      );\n\n      const selected = {\n        ...delivery(original, accepted),\n        configuration: original.configuration,\n        configurationRevision: 1,\n      };\n\n      yield* store.select(\n        accepted,\n        [selected],\n        original.ordinal,\n        true,\n        now + limits.maxLifetimeMillis + 1,\n        limits,\n      );\n      yield* ensure(\n        (yield* store.delivery(selected.key)) !== null,\n        \"UntilCancelled cannot expire at the ordinary maximum lifetime\",\n      );\n\n      const updated = yield* store.change(original.key, 1, {\n        _tag: \"Update\",\n        configuration: { ...original.configuration, context: { edited: true } },\n        configurationFingerprint: digest(\"9\"),\n        recovery: null,\n      });\n\n      yield* ensure(\n        updated.configurationRevision === 2 && updated.creationConfiguration !== undefined,\n        \"Update must preserve creation evidence and advance revision\",\n      );\n      const stale = yield* store.change(original.key, 1, { _tag: \"Pause\" }).pipe(Effect.result);\n\n      yield* ensure(Result.isFailure(stale), \"Stale management must conflict\");\n      yield* store.changeDelivery(selected.key, selected.deliveryId, {\n        _tag: \"Prepare\",\n        envelope: preparedInput(selected),\n        envelopeDigest: digest(\"4\"),\n        nowMillis: now,\n      });\n      yield* store.changeDelivery(selected.key, selected.deliveryId, {\n        _tag: \"Complete\",\n        receipt,\n        nowMillis: now,\n      });\n      yield* store.compact(now, policy, 8);\n      yield* ensure(\n        (yield* store.delivery(selected.key)) !== null,\n        \"Admission is not settlement; delivery evidence must remain\",\n      );\n      yield* store.changeDelivery(selected.key, selected.deliveryId, {\n        _tag: \"ObserveSettlement\",\n        receipt,\n        settled: true,\n        nowMillis: now,\n        nextAttemptAtMillis: now,\n      });\n      const recovering = yield* store.register(record(\"recovering-retention\", \"once\"), limits);\n\n      yield* store.deferRecovery(recovering.key, recovering.configurationRevision, {\n        attempts: 1,\n        nextAttemptAtMillis: null,\n        lastFailure: \"source-unavailable\",\n      });\n      yield* store.compact(now, policy, 8);\n      yield* ensure(\n        (yield* store.delivery(selected.key)) !== null,\n        \"Permanent recovery evidence must protect retained source facts\",\n      );\n      yield* store.deferRecovery(recovering.key, recovering.configurationRevision, null);\n      yield* store.compact(now, policy, 8);\n      yield* ensure(\n        (yield* store.delivery(selected.key)) === null,\n        \"Settled delivery must release retained capacity\",\n      );\n      yield* ensure(\n        (yield* store.event(accepted.eventId))?.tombstone === true,\n        \"Deduplication tombstone must outlive completed payload\",\n      );\n      const replay = yield* store.accept(accepted, limits);\n\n      yield* ensure(\n        Result.isFailure(\n          yield* store\n            .accept({ ...accepted, occurredAtMillis: now + 1 }, limits)\n            .pipe(Effect.result),\n        ),\n        \"An event identity cannot replace its retained source timestamp\",\n      );\n\n      yield* ensure(\n        Result.isFailure(\n          yield* store.compact(now, { ...policy, replayHorizonMillis: 1 }, 8).pipe(Effect.result),\n        ),\n        \"Compaction cannot change the persisted replay horizon\",\n      );\n      yield* ensure(\n        Result.isFailure(\n          yield* store\n            .accept(event(\"without-policy\"), defaultSubscriptionLimits)\n            .pipe(Effect.result),\n        ),\n        \"Fresh intake cannot disable established retention\",\n      );\n      yield* ensure(\n        replay.cutoff === accepted.cutoff && replay.tombstone === true,\n        \"Duplicate intake cannot reopen routing after compaction\",\n      );\n    }),\n);\n\nconst sustainedRetention = conformanceCase(\n  \"reuses event, delivery and tombstone quotas across replay horizons\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* SubscriptionStore;\n      const policy = { replayHorizonMillis: 100, completedRetentionMillis: 0, maxTombstones: 8 };\n\n      const limits = {\n        ...defaultSubscriptionLimits,\n        maxEvents: 4,\n        maxDeliveries: 4,\n        maxDeliveriesPerOwner: 4,\n        retention: policy,\n      };\n\n      const registration = yield* store.register(record(\"sustained\", \"continuous\"), limits);\n\n      // 32 events reuse four live slots and eight tombstone slots across six replay\n      // horizons, including the lexical 9→10 boundary. The full driver's >1,000-event\n      // regression remains in storage-memory/test/subscriptions.test.ts; bounded cursor\n      // traversal is exercised separately by retentionFairness on every adapter.\n      for (let index = 0; index < 32; index++) {\n        const now = yield* Clock.currentTimeMillis;\n\n        const accepted = yield* store.accept(\n          { ...event(`retained-${index}`), occurredAtMillis: now, acceptedAtMillis: now },\n          limits,\n        );\n\n        const deliveryId = Schema.decodeSync(Digest)(index.toString(16).padStart(64, \"0\"));\n\n        const selected = {\n          ...delivery(registration, accepted),\n          deliveryId,\n          admissionKey: Schema.decodeSync(IdempotencyKey)(`subscription:${deliveryId}`),\n        };\n\n        yield* store.select(accepted, [selected], registration.ordinal, true, now, limits);\n        yield* store.changeDelivery(selected.key, selected.deliveryId, {\n          _tag: \"Prepare\",\n          envelope: preparedInput(selected),\n          envelopeDigest: digest(\"4\"),\n          nowMillis: now,\n        });\n        yield* store.changeDelivery(selected.key, selected.deliveryId, {\n          _tag: \"Complete\",\n          receipt,\n          nowMillis: now,\n        });\n        yield* store.changeDelivery(selected.key, selected.deliveryId, {\n          _tag: \"ObserveSettlement\",\n          receipt,\n          settled: true,\n          nowMillis: now,\n          nextAttemptAtMillis: now,\n        });\n        yield* store.compact(now, policy, 8);\n        yield* ensure(\n          (yield* store.delivery(selected.key)) === null,\n          \"Settled delivery must release its quota on every cycle\",\n        );\n        yield* ensure(\n          (yield* store.accept(accepted, limits)).tombstone === true,\n          \"Duplicate acknowledgement must preserve its tombstone\",\n        );\n        yield* TestClock.adjust(20);\n      }\n      yield* ensure(\n        (yield* store.event(\"retained-0\")) === null,\n        \"Expired identity must be reclaimed\",\n      );\n\n      const expired = yield* store\n        .accept({ ...event(\"retained-0\"), occurredAtMillis: 0 }, limits)\n        .pipe(Effect.result);\n\n      yield* ensure(\n        Result.isFailure(expired) &&\n          expired.failure._tag === \"SubscriptionError\" &&\n          expired.failure.code === \"event-replay-horizon\",\n        \"Reclaimed identity must not be admitted after its replay horizon\",\n      );\n    }),\n);\n\nconst recoveryRevisionFence = conformanceCase(\n  \"fences source recovery across pause, resume and configuration replacement\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* SubscriptionStore;\n\n      const initial = yield* store.register(\n        {\n          ...record(\"recovery-revisions\"),\n          recovery: { attempts: 0, nextAttemptAtMillis: 10, lastFailure: null },\n        },\n        defaultSubscriptionLimits,\n      );\n\n      const paused = yield* store.change(initial.key, 1, { _tag: \"Pause\" });\n\n      yield* store.deferRecovery(initial.key, 1, null);\n      yield* ensure(\n        (yield* store.get(initial.key))?.recovery?.nextAttemptAtMillis === 10,\n        \"late provider completion erased paused recovery\",\n      );\n\n      const resumed = yield* store.change(initial.key, paused.configurationRevision, {\n        _tag: \"Resume\",\n      });\n\n      yield* ensure(\n        resumed.recovery?.nextAttemptAtMillis === 10,\n        \"resume lost the recovery obligation\",\n      );\n\n      const updated = yield* store.change(initial.key, resumed.configurationRevision, {\n        _tag: \"Update\",\n        configuration: { ...initial.configuration, source: { name: \"replacement\", version: \"2\" } },\n        configurationFingerprint: digest(\"9\"),\n        recovery: { attempts: 0, nextAttemptAtMillis: 50, lastFailure: null },\n      });\n\n      yield* store.deferRecovery(initial.key, resumed.configurationRevision, {\n        attempts: 9,\n        nextAttemptAtMillis: null,\n        lastFailure: \"obsolete-source\",\n      });\n      const retained = yield* store.get(initial.key);\n\n      yield* ensure(\n        retained?.recovery?.nextAttemptAtMillis === 50 &&\n          retained.configurationRevision === updated.configurationRevision,\n        \"obsolete provider completion overwrote replacement recovery\",\n      );\n      yield* ensure(\n        retained?.creationFingerprint === initial.creationFingerprint &&\n          retained.creationConfiguration.source.name === initial.configuration.source.name,\n        \"revision rewrote creation identity\",\n      );\n    }),\n);\n\nconst retryGenerationFence = conformanceCase(\n  \"rearms only one delivery generation and retains late receipt authority\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* SubscriptionStore;\n\n      const subscription = yield* store.register(\n        record(\"retry-generation\", \"continuous\"),\n        defaultSubscriptionLimits,\n      );\n\n      const accepted = yield* store.accept(event(\"retry-generation\"), defaultSubscriptionLimits);\n      const selected = { ...delivery(subscription, accepted), observeSettlement: true };\n\n      yield* store.select(\n        accepted,\n        [selected],\n        subscription.ordinal,\n        true,\n        20,\n        defaultSubscriptionLimits,\n      );\n      yield* store.changeDelivery(selected.key, selected.deliveryId, {\n        _tag: \"Prepare\",\n        envelope: preparedInput(selected),\n        envelopeDigest: digest(\"4\"),\n        nowMillis: 30,\n      });\n\n      const parked = yield* store.changeDelivery(selected.key, selected.deliveryId, {\n        _tag: \"Retry\",\n        nowMillis: 40,\n        retry: {\n          ...selected.retry,\n          attempts: 8,\n          automaticAttempts: 8,\n          parked: true,\n          nextAttemptAtMillis: 50,\n          lastAttemptAtMillis: 40,\n          lastFailure: \"ambiguous\",\n        },\n      });\n\n      yield* ensure(\n        (yield* store.pendingDeliveries(100, \"\", 10)).length === 0,\n        \"parked admission remained due for settlement observation\",\n      );\n      yield* ensure(\n        (yield* store.nextDeadline) === null,\n        \"parked admission retained a busy-loop deadline\",\n      );\n\n      const recovered = yield* store.changeDelivery(selected.key, selected.deliveryId, {\n        _tag: \"Recover\",\n        expectedGeneration: parked.retry.generation,\n        nowMillis: 50,\n      });\n\n      const stale = yield* store.changeDelivery(selected.key, selected.deliveryId, {\n        _tag: \"Retry\",\n        nowMillis: 60,\n        retry: { ...parked.retry, attempts: 9, nextAttemptAtMillis: 70 },\n      });\n\n      yield* ensure(\n        !stale.retry.parked && stale.retry.generation === recovered.retry.generation,\n        \"stale retry undid recovery\",\n      );\n\n      const completed = yield* store.changeDelivery(selected.key, selected.deliveryId, {\n        _tag: \"Complete\",\n        receipt,\n        nowMillis: 70,\n      });\n\n      yield* ensure(\n        completed.receipt?.receiptId === receipt.receiptId &&\n          completed.envelopeDigest === digest(\"4\"),\n        \"late receipt or immutable envelope was lost\",\n      );\n    }),\n);\n\nconst retentionFairness = conformanceCase(\n  \"advances bounded maintenance beyond protected oldest events\",\n  (ensure) =>\n    Effect.gen(function* () {\n      const store = yield* SubscriptionStore;\n      const policy = { replayHorizonMillis: 1_000, completedRetentionMillis: 0, maxTombstones: 8 };\n      const limits = { ...defaultSubscriptionLimits, retention: policy };\n\n      for (let index = 0; index < 6; index++) {\n        const accepted = yield* store.accept(\n          { ...event(`protected-${index}`), occurredAtMillis: 0, acceptedAtMillis: 0 },\n          limits,\n        );\n\n        if (index === 5) yield* store.select(accepted, [], 0, true, 0, limits);\n      }\n      yield* TestClock.setTime(10);\n      for (let pass = 0; pass < 8; pass++) yield* store.compact(10, policy, 1);\n      yield* ensure(\n        (yield* store.event(\"protected-5\"))?.tombstone === true,\n        \"protected first pages starved a reclaimable event\",\n      );\n      yield* ensure(\n        (yield* store.event(\"protected-0\"))?.tombstone !== true,\n        \"unfinished event was reclaimed\",\n      );\n      yield* TestClock.setTime(1_001);\n      for (let pass = 0; pass < 8; pass++) yield* store.compact(1_001, policy, 1);\n      yield* ensure(\n        (yield* store.event(\"protected-5\")) === null,\n        \"idle maintenance did not expire tombstone\",\n      );\n\n      const rejected = yield* store\n        .accept({ ...event(\"protected-5\"), occurredAtMillis: 0 }, limits)\n        .pipe(Effect.result);\n\n      // The caller cannot manufacture a recent occurrence to resurrect a pruned identity.\n      yield* ensure(Result.isFailure(rejected), \"retention state became inconsistent\");\n    }),\n);\n\nexport const subscriptionStoreConformanceCases: ReadonlyArray<SubscriptionStoreConformanceCase> = [\n  historicalOccurrenceReplay,\n  recoveryRevisionFence,\n  retryGenerationFence,\n  retentionFairness,\n  sustainedRetention,\n  revisionsAndRetention,\n  cutoffAndIntake,\n  onceAndCapacity,\n  preparationLifecycle,\n  catchUpAndCursors,\n  replayUnderTighterLimits,\n];\n"],"mappings":";;;;;;;AAiBA,IAAa,wCAAb,cAA2D,OAAO,YAAmD,CAAC,CACpH,yCACA;CAAE,UAAU,OAAO;CAAQ,SAAS,OAAO;AAAO,CACpD,CAAC,CAAC,CAAC;AAWH,MAAa,mCAAoD;CAC/D,UAAU;CACV,SAAS;AACX;AAEA,MAAM,YAAY,OAAO,WAAW,SAAS,CAAC,CAAC,oCAAoC;AACnF,MAAM,UAAU,OAAO,WAAW,OAAO,CAAC,CAAC,gCAAgC;AAC3E,MAAM,WAAW,OAAO,WAAW,QAAQ,CAAC,CAAC,iCAAiC;AAC9E,MAAM,UAAU,cAAsB,OAAO,WAAW,MAAM,CAAC,CAAC,UAAU,OAAO,EAAE,CAAC;AAEpF,MAAM,cAAc,kBAAkB,KAAK;CACzC,OAAO,OAAO,GAAG;CACjB,OAAO,OAAO,GAAG;CACjB,OAAO,OAAO,GAAG;AACnB,CAAC;AAED,MAAM,UACJ,MACA,OAA8B,QAC9B,UAAU,aACc;CACxB,eAAe;CACf,KAAK;EAAE,WAAW;EAAkC;EAAS,gBAAgB;CAAK;CAClF,qBAAqB,OAAO,KAAK,WAAW,CAAC,IAAI,MAAM,IAAI,MAAM,GAAG;CACpE,WAAW;CACX,iBAAiB;CACjB,SAAS;CACT,uBAAuB;CACvB,0BAA0B,OAAO,KAAK,WAAW,CAAC,IAAI,MAAM,IAAI,MAAM,GAAG;CACzE,uBAAuB;EACrB,QAAQ;GAAE,MAAM;GAAW,SAAS;EAAI;EACxC,aAAa;EACb,YAAY,EAAE,KAAK;EACnB,SAAS,EAAE,KAAK;EAChB;EACA,iBAAiB;EACjB,aAAa;GAAE,MAAM;GAAkB;EAAS;EAChD,mBAAmB;EACnB;EACA;CACF;CACA,eAAe;EACb,QAAQ;GAAE,MAAM;GAAW,SAAS;EAAI;EACxC,aAAa;EACb,YAAY,EAAE,KAAK;EACnB,SAAS,EAAE,KAAK;EAChB;EACA,iBAAiB;EACjB,aAAa;GAAE,MAAM;GAAkB;EAAS;EAChD,mBAAmB;EACnB;EACA;CACF;CACA,OAAO;CACP,UAAU;AACZ;AAEA,MAAM,SAAS,MAAc,gBAAgB,OAAO,GAAG,OAAsB;CAC3E,eAAe;CACf,WAAW;CACX,SAAS;CACT,QAAQ;EAAE,MAAM;EAAW,SAAS;CAAI;CACxC,aAAa;CACb,SAAS,EAAE,KAAK;CAChB;CACA,kBAAkB;CAClB,QAAQ;CACR,QAAQ;CACR,iBAAiB;CACjB,gBAAgB;CAChB,qBAAqB;AACvB;AAEA,MAAM,YACJ,cACA,UACA,SAAS,QACgB;CACzB,MAAM,aAAa,OAAO,WAAW,MAAM,MAAM,GAAG;CAEpD,OAAO;EACL,eAAe;EACf,KAAK;GAAE,cAAc,aAAa;GAAK,SAAS,SAAS;EAAQ;EACjE;EACA,QAAQ,SAAS;EACjB,yBAAyB,aAAa;EACtC,uBAAuB,aAAa;EACpC,eAAe,aAAa;EAC5B,aAAa,SAAS;EACtB;EACA,cAAc,OAAO,WAAW,cAAc,CAAC,CAAC,gBAAgB,YAAY;EAC5E,kBAAkB,WAAW,MAAM,KAAK;EACxC,OAAO;EACP,UAAU;EACV,gBAAgB;EAChB,OAAO;GACL,YAAY;GACZ,UAAU;GACV,mBAAmB;GACnB,QAAQ;GACR,qBAAqB;GACrB,qBAAqB;GACrB,aAAa;EACf;EACA,SAAS;EACT,SAAS;CACX;AACF;AAEA,MAAM,iBAAiB,cAAoC;CACzD,eAAe;CACf,UAAU,SAAS;CACnB,mBAAmB;CACnB;CACA;CACA,OAAO,EAAE,OAAO,SAAS,IAAI,QAAQ;CACrC,aAAa,OAAO,GAAG;CACvB,cAAc,SAAS;CACvB,eAAe;EAAE,UAAU;EAAU,YAAY;CAAW;AAC9D;AAEA,MAAM,UAAU,QAAQ,KAAK;CAC3B,WAAW,OAAO,WAAW,SAAS,CAAC,CAAC,kCAAkC;CAC1E,cAAc,OAAO,WAAW,YAAY,CAAC,CAAC,qCAAqC;CACnF;CACA,eAAe,OAAO,WAAW,aAAa,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,mBACJ,MACA,UAUsC;CACtC;CACA,KAAK,MAAM,WAAW,YACpB,YACI,OAAO,OACP,OAAO,KAAK,sCAAsC,KAAK;EAAE,UAAU;EAAM;CAAQ,CAAC,CAAC,CACzF;AACF;AAEA,MAAM,6BAA6B,gBACjC,uEACC,WACC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO;CACrB,MAAM,WAAW,OAAO,MAAM,OAAO,MAAM,mBAAmB,GAAG,yBAAyB;CAE1F,MAAM,SAAS,OAAO,MAAM,OAC1B;EAAE,GAAG;EAAU,kBAAkB;CAAE,GACnC,yBACF;CAEA,OAAO,OACL,OAAO,qBAAqB,KAAA,KAC1B,OAAO,qBAAqB,SAAS,oBACrC,OAAO,WAAW,SAAS,QAC7B,2DACF;CAEA,MAAM,QAAQ,OAAO,MAAM,OACzB;EAAE,GAAG,MAAM,kBAAkB;EAAG,kBAAkB;CAAE,GACpD,yBACF;CAEA,MAAM,UAAU,OAAO,MACpB,OAAO;EAAE,GAAG;EAAO,kBAAkB;CAAE,GAAG,yBAAyB,CAAC,CACpE,KAAK,OAAO,MAAM;CAErB,OAAO,OAAO,OAAO,UAAU,OAAO,GAAG,yCAAyC;CAElF,MAAM,UAAU,OAAO,MACpB,OAAO,MAAM,kBAAkB,GAAG,yBAAyB,CAAC,CAC5D,KAAK,OAAO,MAAM;CAErB,OAAO,OAAO,OAAO,UAAU,OAAO,GAAG,4CAA4C;AACvF,CAAC,CACL;AAEA,MAAM,kBAAkB,gBACtB,8DACC,WACC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO;CACrB,MAAM,SAAS,OAAO,MAAM,SAAS,OAAO,QAAQ,GAAG,yBAAyB;CAChF,MAAM,WAAW,OAAO,MAAM,OAAO,MAAM,QAAQ,GAAG,yBAAyB;CAC/E,MAAM,QAAQ,OAAO,MAAM,SAAS,OAAO,OAAO,GAAG,yBAAyB;CAE9E,OAAO,OACL,OAAO,UAAU,SAAS,UAAU,MAAM,UAAU,SAAS,QAC7D,gDACF;CACA,MAAM,aAAa,OAAO,MAAM,WAAW,UAAU,EAAE;CAEvD,OAAO,OACL,WAAW,WAAW,KAAK,WAAW,EAAE,CAAC,IAAI,mBAAmB,UAChE,sCACF;CAEA,MAAM,WAAW,OAAO,MAAM,OAC5B;EAAE,GAAG,MAAM,QAAQ;EAAG,kBAAkB;CAAG,GAC3C,yBACF;CAEA,OAAO,OACL,SAAS,WAAW,SAAS,UAC3B,SAAS,qBAAqB,SAAS,kBACzC,mDACF;CAEA,MAAM,WAAW,OAAO,OAAO,OAC7B,MAAM,OAAO,MAAM,UAAU,OAAO,GAAG,CAAC,GAAG,yBAAyB,CACtE;CAEA,OAAO,OACL,OAAO,UAAU,QAAQ,KACvB,SAAS,QAAQ,SAAS,uBAC1B,SAAS,QAAQ,WAAW,YAC9B,yCACF;AACF,CAAC,CACL;AAEA,MAAM,kBAAkB,gBACtB,kEACC,WACC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO;CACrB,MAAM,OAAO,OAAO,MAAM,SAAS,OAAO,MAAM,GAAG,yBAAyB;CAC5E,MAAM,QAAQ,OAAO,MAAM,OAAO,MAAM,OAAO,GAAG,yBAAyB;CAC3E,MAAM,SAAS,OAAO,MAAM,OAAO,MAAM,QAAQ,GAAG,yBAAyB;CAE7E,OAAO,MAAM,OACX,OACA,CAAC,SAAS,MAAM,KAAK,CAAC,GACtB,KAAK,SACL,MACA,IACA,yBACF;CACA,OAAO,MAAM,OACX,QACA,CAAC,SAAS,MAAM,MAAM,CAAC,GACvB,KAAK,SACL,MACA,IACA,yBACF;CACA,OAAO,QACJ,OAAO,MAAM,IAAI,KAAK,GAAG,EAAA,EAAI,UAAU,YACxC,mCACF;CACA,OAAO,QACJ,OAAO,MAAM,SAAS;EAAE,cAAc,KAAK;EAAK,SAAS,MAAM;CAAQ,CAAC,OAAO,MAChF,2BACF;CACA,OAAO,QACJ,OAAO,MAAM,SAAS;EAAE,cAAc,KAAK;EAAK,SAAS,OAAO;CAAQ,CAAC,OAAO,MACjF,+CACF;CAEA,MAAM,OAAO,OAAO,MAAM,SACxB,OAAO,QAAQ,cAAc,UAAU,GACvC,yBACF;CAEA,MAAM,QAAQ,OAAO,MAAM,SACzB,OAAO,SAAS,cAAc,UAAU,GACxC,yBACF;CAEA,MAAM,UAAU,OAAO,MAAM,OAAO,MAAM,SAAS,GAAG,yBAAyB;CAC/E,MAAM,SAAS;EAAE,GAAG;EAA2B,eAAe;EAAG,uBAAuB;CAAE;CAE1F,MAAM,UAAU,OAAO,OAAO,OAC5B,MAAM,OACJ,SACA,CAAC,SAAS,MAAM,OAAO,GAAG,SAAS,OAAO,SAAS,GAAG,CAAC,GACvD,MAAM,SACN,MACA,IACA,MACF,CACF;CAEA,OAAO,OACL,OAAO,UAAU,OAAO,KACtB,QAAQ,QAAQ,SAAS,uBACzB,QAAQ,QAAQ,WAAW,YAC7B,qCACF;CACA,OAAO,QACJ,OAAO,MAAM,MAAM,QAAQ,OAAO,EAAA,EAAI,WAAW,GAClD,wCACF;AACF,CAAC,CACL;AAEA,MAAM,uBAAuB,gBAC3B,4DACC,WACC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO;CACrB,MAAM,YAAY,OAAO,MAAM,SAAS,OAAO,WAAW,GAAG,yBAAyB;CAEtF,MAAM,iBAAiB,OAAO,MAAM,OAClC,MAAM,iBAAiB,GACvB,yBACF;CAEA,MAAM,oBAAoB,SAAS,WAAW,cAAc;CAE5D,OAAO,MAAM,OACX,gBACA,CAAC,iBAAiB,GAClB,UAAU,SACV,MACA,IACA,yBACF;CACA,OAAO,MAAM,OAAO,UAAU,GAAG;CAEjC,MAAM,UAAU,OAAO,MAAM,eAC3B,kBAAkB,KAClB,kBAAkB,YAClB;EACE,MAAM;EACN,UAAU,cAAc,iBAAiB;EACzC,gBAAgB,OAAO,GAAG;EAC1B,WAAW;CACb,CACF;CAEA,OAAO,OACL,QAAQ,UAAU,aAAa,QAAQ,SAAS,SAAS,aACzD,8BACF;CAEA,MAAM,UAAU,OAAO,MAAM,SAAS,OAAO,SAAS,GAAG,yBAAyB;CAClF,MAAM,eAAe,OAAO,MAAM,OAAO,MAAM,eAAe,GAAG,yBAAyB;CAC1F,MAAM,WAAW,SAAS,SAAS,YAAY;CAE/C,OAAO,MAAM,OACX,cACA,CAAC,QAAQ,GACT,QAAQ,SACR,MACA,IACA,yBACF;CAEA,MAAM,WAAW,OAAO,MAAM,eAAe,SAAS,KAAK,SAAS,YAAY;EAC9E,MAAM;EACN,UAAU,cAAc,QAAQ;EAChC,gBAAgB,OAAO,GAAG;EAC1B,WAAW;CACb,CAAC;CAED,MAAM,QAAQ;EACZ,YAAY;EACZ,mBAAmB;EACnB,QAAQ;EACR,UAAU;EACV,qBAAqB;EACrB,qBAAqB;EACrB,aAAa;CACf;CAEA,OAAO,MAAM,eAAe,SAAS,KAAK,SAAS,YAAY;EAC7D,MAAM;EACN;EACA,WAAW;CACb,CAAC;CACD,KAAK,MAAM,cAAc;EACvB;GAAE,GAAG;GAAO,UAAU;GAAG,qBAAqB;EAAG;EACjD;GAAE,GAAG;GAAO,qBAAqB;EAAG;EACpC;GAAE,GAAG;GAAO,UAAU;GAAG,qBAAqB;EAAG;CACnD,GAAG;EACD,MAAM,WAAW,OAAO,MAAM,eAAe,SAAS,KAAK,SAAS,YAAY;GAC9E,MAAM;GACN,OAAO;GACP,WAAW;EACb,CAAC;EAED,OAAO,OACL,SAAS,MAAM,aAAa,KAAK,SAAS,MAAM,wBAAwB,IACxE,yCACF;CACF;CACA,OAAO,MAAM,OAAO,QAAQ,GAAG;CAE/B,MAAM,YAAY,OAAO,MAAM,eAAe,SAAS,KAAK,SAAS,YAAY;EAC/E,MAAM;EACN;EACA,WAAW;CACb,CAAC;CAED,OAAO,OACL,SAAS,UAAU,cAAc,UAAU,UAAU,aACrD,4CACF;CAEA,MAAM,QAAQ,OAAO,OAAO,OAC1B,MAAM,eAAe,SAAS,KAAK,OAAO,GAAG,GAAG;EAC9C,MAAM;EACN;EACA,WAAW;CACb,CAAC,CACH;CAEA,OAAO,OACL,OAAO,UAAU,KAAK,KACpB,MAAM,QAAQ,SAAS,uBACvB,MAAM,QAAQ,SAAS,kBACzB,8BACF;AACF,CAAC,CACL;AAEA,MAAM,oBAAoB,gBACxB,+DACC,WACC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO;CACrB,MAAM,WAAW,OAAO,MAAM,OAAO,MAAM,UAAU,GAAG,yBAAyB;CACjF,MAAM,QAAQ,OAAO,MAAM,SAAS,OAAO,OAAO,GAAG,yBAAyB;CAC9E,MAAM,WAAW,SAAS,OAAO,QAAQ;CAEzC,OAAO,MAAM,QAAQ,UAAU,UAAU,IAAI,yBAAyB;CACtE,OAAO,MAAM,QACX,UACA;EAAE,GAAG;EAAU,kBAAkB;EAAK,OAAO;GAAE,GAAG,SAAS;GAAO,UAAU;EAAE;CAAE,GAChF,IACA,yBACF;CACA,OAAO,QACJ,OAAO,MAAM,IAAI,MAAM,GAAG,EAAA,EAAI,UAAU,YACzC,gCACF;CACA,OAAO,MAAM,mBAAmB;EAAE,QAAQ;EAAK,YAAY;EAAK,UAAU;CAAE,CAAC;CAC7E,MAAM,UAAU,OAAO,MAAM;CAE7B,OAAO,OACL,QAAQ,WAAW,OAAO,QAAQ,eAAe,OAAO,QAAQ,aAAa,GAC7E,+BACF;CACA,OAAO,QACJ,OAAO,MAAM,kBAAkB,GAChC,iDACF;AACF,CAAC,CACL;AAEA,MAAM,2BAA2B,gBAC/B,sDACC,WACC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO;CACrB,MAAM,UAAU,OAAO,MAAM,SAAS,OAAO,UAAU,GAAG,yBAAyB;CACnF,MAAM,WAAW,OAAO,MAAM,OAAO,MAAM,UAAU,GAAG,yBAAyB;CAEjF,MAAM,SAAS;EACb,GAAG;EACH,kBAAkB;EAClB,WAAW;EACX,iBAAiB;EACjB,iBAAiB;EACjB,mBAAmB;CACrB;CAEA,MAAM,WAAW,OAAO,MAAM,SAAS,OAAO,UAAU,GAAG,MAAM;CACjE,MAAM,WAAW,OAAO,MAAM,OAAO,MAAM,UAAU,GAAG,MAAM;CAE9D,OAAO,OAAO,SAAS,YAAY,QAAQ,SAAS,mCAAmC;CACvF,OAAO,OAAO,SAAS,WAAW,SAAS,QAAQ,2BAA2B;CAC9E,MAAM,kBAAkB,OAAO,OAAO,OAAO,MAAM,SAAS,OAAO,KAAK,GAAG,MAAM,CAAC;CAClF,MAAM,WAAW,OAAO,OAAO,OAAO,MAAM,OAAO,MAAM,KAAK,GAAG,MAAM,CAAC;CAExE,OAAO,OAAO,OAAO,UAAU,eAAe,GAAG,2CAA2C;CAC5F,OAAO,OAAO,OAAO,UAAU,QAAQ,GAAG,qCAAqC;AACjF,CAAC,CACL;AAEA,MAAM,wBAAwB,gBAC5B,2FACC,WACC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO;CACrB,MAAM,MAAM,OAAO,MAAM;CACzB,MAAM,SAAS;EAAE,qBAAqB;EAAQ,0BAA0B;EAAG,eAAe;CAAE;CAC5F,MAAM,SAAS;EAAE,GAAG;EAA2B,WAAW;CAAO;CACjE,MAAM,aAAa,OAAO,YAAY,YAAY;CAElD,MAAM,WAAW,OAAO,MAAM,SAC5B;EACE,GAAG;EACH,eAAe;GAAE,GAAG,WAAW;GAAe,iBAAiB;EAAK;CACtE,GACA,MACF;CAEA,OAAO,OACL,SAAS,cAAc,oBAAoB,MAC3C,qCACF;CACA,OAAO,QACJ,OAAO,MAAM,kBAAkB,MAChC,6CACF;CAEA,MAAM,WAAW,OAAO,MAAM,OAC5B;EAAE,GAAG,MAAM,UAAU;EAAG,kBAAkB;EAAK,kBAAkB;CAAI,GACrE,MACF;CAEA,MAAM,WAAW;EACf,GAAG,SAAS,UAAU,QAAQ;EAC9B,eAAe,SAAS;EACxB,uBAAuB;CACzB;CAEA,OAAO,MAAM,OACX,UACA,CAAC,QAAQ,GACT,SAAS,SACT,MACA,MAAM,OAAO,oBAAoB,GACjC,MACF;CACA,OAAO,QACJ,OAAO,MAAM,SAAS,SAAS,GAAG,OAAO,MAC1C,+DACF;CAEA,MAAM,UAAU,OAAO,MAAM,OAAO,SAAS,KAAK,GAAG;EACnD,MAAM;EACN,eAAe;GAAE,GAAG,SAAS;GAAe,SAAS,EAAE,QAAQ,KAAK;EAAE;EACtE,0BAA0B,OAAO,GAAG;EACpC,UAAU;CACZ,CAAC;CAED,OAAO,OACL,QAAQ,0BAA0B,KAAK,QAAQ,0BAA0B,KAAA,GACzE,6DACF;CACA,MAAM,QAAQ,OAAO,MAAM,OAAO,SAAS,KAAK,GAAG,EAAE,MAAM,QAAQ,CAAC,CAAC,CAAC,KAAK,OAAO,MAAM;CAExF,OAAO,OAAO,OAAO,UAAU,KAAK,GAAG,gCAAgC;CACvE,OAAO,MAAM,eAAe,SAAS,KAAK,SAAS,YAAY;EAC7D,MAAM;EACN,UAAU,cAAc,QAAQ;EAChC,gBAAgB,OAAO,GAAG;EAC1B,WAAW;CACb,CAAC;CACD,OAAO,MAAM,eAAe,SAAS,KAAK,SAAS,YAAY;EAC7D,MAAM;EACN;EACA,WAAW;CACb,CAAC;CACD,OAAO,MAAM,QAAQ,KAAK,QAAQ,CAAC;CACnC,OAAO,QACJ,OAAO,MAAM,SAAS,SAAS,GAAG,OAAO,MAC1C,4DACF;CACA,OAAO,MAAM,eAAe,SAAS,KAAK,SAAS,YAAY;EAC7D,MAAM;EACN;EACA,SAAS;EACT,WAAW;EACX,qBAAqB;CACvB,CAAC;CACD,MAAM,aAAa,OAAO,MAAM,SAAS,OAAO,wBAAwB,MAAM,GAAG,MAAM;CAEvF,OAAO,MAAM,cAAc,WAAW,KAAK,WAAW,uBAAuB;EAC3E,UAAU;EACV,qBAAqB;EACrB,aAAa;CACf,CAAC;CACD,OAAO,MAAM,QAAQ,KAAK,QAAQ,CAAC;CACnC,OAAO,QACJ,OAAO,MAAM,SAAS,SAAS,GAAG,OAAO,MAC1C,gEACF;CACA,OAAO,MAAM,cAAc,WAAW,KAAK,WAAW,uBAAuB,IAAI;CACjF,OAAO,MAAM,QAAQ,KAAK,QAAQ,CAAC;CACnC,OAAO,QACJ,OAAO,MAAM,SAAS,SAAS,GAAG,OAAO,MAC1C,iDACF;CACA,OAAO,QACJ,OAAO,MAAM,MAAM,SAAS,OAAO,EAAA,EAAI,cAAc,MACtD,wDACF;CACA,MAAM,SAAS,OAAO,MAAM,OAAO,UAAU,MAAM;CAEnD,OAAO,OACL,OAAO,UACL,OAAO,MACJ,OAAO;EAAE,GAAG;EAAU,kBAAkB,MAAM;CAAE,GAAG,MAAM,CAAC,CAC1D,KAAK,OAAO,MAAM,CACvB,GACA,gEACF;CAEA,OAAO,OACL,OAAO,UACL,OAAO,MAAM,QAAQ,KAAK;EAAE,GAAG;EAAQ,qBAAqB;CAAE,GAAG,CAAC,CAAC,CAAC,KAAK,OAAO,MAAM,CACxF,GACA,uDACF;CACA,OAAO,OACL,OAAO,UACL,OAAO,MACJ,OAAO,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,CAC1D,KAAK,OAAO,MAAM,CACvB,GACA,mDACF;CACA,OAAO,OACL,OAAO,WAAW,SAAS,UAAU,OAAO,cAAc,MAC1D,yDACF;AACF,CAAC,CACL;AAEA,MAAM,qBAAqB,gBACzB,uEACC,WACC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO;CACrB,MAAM,SAAS;EAAE,qBAAqB;EAAK,0BAA0B;EAAG,eAAe;CAAE;CAEzF,MAAM,SAAS;EACb,GAAG;EACH,WAAW;EACX,eAAe;EACf,uBAAuB;EACvB,WAAW;CACb;CAEA,MAAM,eAAe,OAAO,MAAM,SAAS,OAAO,aAAa,YAAY,GAAG,MAAM;CAMpF,KAAK,IAAI,QAAQ,GAAG,QAAQ,IAAI,SAAS;EACvC,MAAM,MAAM,OAAO,MAAM;EAEzB,MAAM,WAAW,OAAO,MAAM,OAC5B;GAAE,GAAG,MAAM,YAAY,OAAO;GAAG,kBAAkB;GAAK,kBAAkB;EAAI,GAC9E,MACF;EAEA,MAAM,aAAa,OAAO,WAAW,MAAM,CAAC,CAAC,MAAM,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC;EAEjF,MAAM,WAAW;GACf,GAAG,SAAS,cAAc,QAAQ;GAClC;GACA,cAAc,OAAO,WAAW,cAAc,CAAC,CAAC,gBAAgB,YAAY;EAC9E;EAEA,OAAO,MAAM,OAAO,UAAU,CAAC,QAAQ,GAAG,aAAa,SAAS,MAAM,KAAK,MAAM;EACjF,OAAO,MAAM,eAAe,SAAS,KAAK,SAAS,YAAY;GAC7D,MAAM;GACN,UAAU,cAAc,QAAQ;GAChC,gBAAgB,OAAO,GAAG;GAC1B,WAAW;EACb,CAAC;EACD,OAAO,MAAM,eAAe,SAAS,KAAK,SAAS,YAAY;GAC7D,MAAM;GACN;GACA,WAAW;EACb,CAAC;EACD,OAAO,MAAM,eAAe,SAAS,KAAK,SAAS,YAAY;GAC7D,MAAM;GACN;GACA,SAAS;GACT,WAAW;GACX,qBAAqB;EACvB,CAAC;EACD,OAAO,MAAM,QAAQ,KAAK,QAAQ,CAAC;EACnC,OAAO,QACJ,OAAO,MAAM,SAAS,SAAS,GAAG,OAAO,MAC1C,wDACF;EACA,OAAO,QACJ,OAAO,MAAM,OAAO,UAAU,MAAM,EAAA,CAAG,cAAc,MACtD,uDACF;EACA,OAAO,UAAU,OAAO,EAAE;CAC5B;CACA,OAAO,QACJ,OAAO,MAAM,MAAM,YAAY,OAAO,MACvC,oCACF;CAEA,MAAM,UAAU,OAAO,MACpB,OAAO;EAAE,GAAG,MAAM,YAAY;EAAG,kBAAkB;CAAE,GAAG,MAAM,CAAC,CAC/D,KAAK,OAAO,MAAM;CAErB,OAAO,OACL,OAAO,UAAU,OAAO,KACtB,QAAQ,QAAQ,SAAS,uBACzB,QAAQ,QAAQ,SAAS,wBAC3B,kEACF;AACF,CAAC,CACL;AAyLA,MAAa,oCAAqF;CAChG;CAxL4B,gBAC5B,8EACC,WACC,OAAO,IAAI,aAAa;EACtB,MAAM,QAAQ,OAAO;EAErB,MAAM,UAAU,OAAO,MAAM,SAC3B;GACE,GAAG,OAAO,oBAAoB;GAC9B,UAAU;IAAE,UAAU;IAAG,qBAAqB;IAAI,aAAa;GAAK;EACtE,GACA,yBACF;EAEA,MAAM,SAAS,OAAO,MAAM,OAAO,QAAQ,KAAK,GAAG,EAAE,MAAM,QAAQ,CAAC;EAEpE,OAAO,MAAM,cAAc,QAAQ,KAAK,GAAG,IAAI;EAC/C,OAAO,QACJ,OAAO,MAAM,IAAI,QAAQ,GAAG,EAAA,EAAI,UAAU,wBAAwB,IACnE,iDACF;EAEA,MAAM,UAAU,OAAO,MAAM,OAAO,QAAQ,KAAK,OAAO,uBAAuB,EAC7E,MAAM,SACR,CAAC;EAED,OAAO,OACL,QAAQ,UAAU,wBAAwB,IAC1C,qCACF;EAEA,MAAM,UAAU,OAAO,MAAM,OAAO,QAAQ,KAAK,QAAQ,uBAAuB;GAC9E,MAAM;GACN,eAAe;IAAE,GAAG,QAAQ;IAAe,QAAQ;KAAE,MAAM;KAAe,SAAS;IAAI;GAAE;GACzF,0BAA0B,OAAO,GAAG;GACpC,UAAU;IAAE,UAAU;IAAG,qBAAqB;IAAI,aAAa;GAAK;EACtE,CAAC;EAED,OAAO,MAAM,cAAc,QAAQ,KAAK,QAAQ,uBAAuB;GACrE,UAAU;GACV,qBAAqB;GACrB,aAAa;EACf,CAAC;EACD,MAAM,WAAW,OAAO,MAAM,IAAI,QAAQ,GAAG;EAE7C,OAAO,OACL,UAAU,UAAU,wBAAwB,MAC1C,SAAS,0BAA0B,QAAQ,uBAC7C,6DACF;EACA,OAAO,OACL,UAAU,wBAAwB,QAAQ,uBACxC,SAAS,sBAAsB,OAAO,SAAS,QAAQ,cAAc,OAAO,MAC9E,oCACF;CACF,CAAC,CAkIH;CA/H2B,gBAC3B,2EACC,WACC,OAAO,IAAI,aAAa;EACtB,MAAM,QAAQ,OAAO;EAErB,MAAM,eAAe,OAAO,MAAM,SAChC,OAAO,oBAAoB,YAAY,GACvC,yBACF;EAEA,MAAM,WAAW,OAAO,MAAM,OAAO,MAAM,kBAAkB,GAAG,yBAAyB;EACzF,MAAM,WAAW;GAAE,GAAG,SAAS,cAAc,QAAQ;GAAG,mBAAmB;EAAK;EAEhF,OAAO,MAAM,OACX,UACA,CAAC,QAAQ,GACT,aAAa,SACb,MACA,IACA,yBACF;EACA,OAAO,MAAM,eAAe,SAAS,KAAK,SAAS,YAAY;GAC7D,MAAM;GACN,UAAU,cAAc,QAAQ;GAChC,gBAAgB,OAAO,GAAG;GAC1B,WAAW;EACb,CAAC;EAED,MAAM,SAAS,OAAO,MAAM,eAAe,SAAS,KAAK,SAAS,YAAY;GAC5E,MAAM;GACN,WAAW;GACX,OAAO;IACL,GAAG,SAAS;IACZ,UAAU;IACV,mBAAmB;IACnB,QAAQ;IACR,qBAAqB;IACrB,qBAAqB;IACrB,aAAa;GACf;EACF,CAAC;EAED,OAAO,QACJ,OAAO,MAAM,kBAAkB,KAAK,IAAI,EAAE,EAAA,CAAG,WAAW,GACzD,0DACF;EACA,OAAO,QACJ,OAAO,MAAM,kBAAkB,MAChC,gDACF;EAEA,MAAM,YAAY,OAAO,MAAM,eAAe,SAAS,KAAK,SAAS,YAAY;GAC/E,MAAM;GACN,oBAAoB,OAAO,MAAM;GACjC,WAAW;EACb,CAAC;EAED,MAAM,QAAQ,OAAO,MAAM,eAAe,SAAS,KAAK,SAAS,YAAY;GAC3E,MAAM;GACN,WAAW;GACX,OAAO;IAAE,GAAG,OAAO;IAAO,UAAU;IAAG,qBAAqB;GAAG;EACjE,CAAC;EAED,OAAO,OACL,CAAC,MAAM,MAAM,UAAU,MAAM,MAAM,eAAe,UAAU,MAAM,YAClE,4BACF;EAEA,MAAM,YAAY,OAAO,MAAM,eAAe,SAAS,KAAK,SAAS,YAAY;GAC/E,MAAM;GACN;GACA,WAAW;EACb,CAAC;EAED,OAAO,OACL,UAAU,SAAS,cAAc,QAAQ,aACvC,UAAU,mBAAmB,OAAO,GAAG,GACzC,6CACF;CACF,CAAC,CAgDH;CA7CwB,gBACxB,gEACC,WACC,OAAO,IAAI,aAAa;EACtB,MAAM,QAAQ,OAAO;EACrB,MAAM,SAAS;GAAE,qBAAqB;GAAO,0BAA0B;GAAG,eAAe;EAAE;EAC3F,MAAM,SAAS;GAAE,GAAG;GAA2B,WAAW;EAAO;EAEjE,KAAK,IAAI,QAAQ,GAAG,QAAQ,GAAG,SAAS;GACtC,MAAM,WAAW,OAAO,MAAM,OAC5B;IAAE,GAAG,MAAM,aAAa,OAAO;IAAG,kBAAkB;IAAG,kBAAkB;GAAE,GAC3E,MACF;GAEA,IAAI,UAAU,GAAG,OAAO,MAAM,OAAO,UAAU,CAAC,GAAG,GAAG,MAAM,GAAG,MAAM;EACvE;EACA,OAAO,UAAU,QAAQ,EAAE;EAC3B,KAAK,IAAI,OAAO,GAAG,OAAO,GAAG,QAAQ,OAAO,MAAM,QAAQ,IAAI,QAAQ,CAAC;EACvE,OAAO,QACJ,OAAO,MAAM,MAAM,aAAa,EAAA,EAAI,cAAc,MACnD,mDACF;EACA,OAAO,QACJ,OAAO,MAAM,MAAM,aAAa,EAAA,EAAI,cAAc,MACnD,gCACF;EACA,OAAO,UAAU,QAAQ,IAAK;EAC9B,KAAK,IAAI,OAAO,GAAG,OAAO,GAAG,QAAQ,OAAO,MAAM,QAAQ,MAAO,QAAQ,CAAC;EAC1E,OAAO,QACJ,OAAO,MAAM,MAAM,aAAa,OAAO,MACxC,2CACF;EAEA,MAAM,WAAW,OAAO,MACrB,OAAO;GAAE,GAAG,MAAM,aAAa;GAAG,kBAAkB;EAAE,GAAG,MAAM,CAAC,CAChE,KAAK,OAAO,MAAM;EAGrB,OAAO,OAAO,OAAO,UAAU,QAAQ,GAAG,qCAAqC;CACjF,CAAC,CAOH;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF"}

package/dist/durable/SubscriptionTools.d.mts

@@ -0,0 +1,273 @@
+import { t as AgentId, u as ThreadId } from "../Identifiers-CN2s30fF.mjs";
+import { r as Principal } from "../Receipt-BAHyigAF.mjs";
+import { t as DurableStep } from "../DurableStep-Cry_iol4.mjs";
+import { h as DefinitionDigests } from "../Records-BAGkekt8.mjs";
+import { c as ScheduleDestination } from "../Schedule-H3SEYX9g.mjs";
+import { E as SubscriptionSourceError, g as SubscriptionFailpointError, i as EventSourceVersion, m as SubscriptionError, w as SubscriptionScope } from "../Subscription-BEP8oQO5.mjs";
+import { Subscriptions } from "./Subscriptions.mjs";
+import { Tool, Toolkit } from "effect/unstable/ai";
+import { Crypto, Layer, Schema } from "effect";
+declare namespace SubscriptionTools_d_exports {
+  export { CancelEventSubscription, CancelEventSubscriptionParameters, ListEventSources, ListEventSubscriptions, ListEventSubscriptionsParameters, PermittedSubscriptionToolSource, SubscribeToEvent, SubscribeToEventParameters, SubscriptionToolRegistration, SubscriptionToolSourceCatalogEntry, SubscriptionTools, SubscriptionToolsOptions, subscriptionToolsLayer };
+}
+declare const SubscriptionToolRegistration: Schema.Struct<{
+  readonly subscriptionId: Schema.NonEmptyString;
+  readonly source: Schema.Struct<{
+    readonly name: Schema.NonEmptyString;
+    readonly version: Schema.NonEmptyString;
+  }>;
+  readonly mode: Schema.Literals<readonly ["once", "continuous"]>;
+  readonly state: Schema.Literals<readonly ["active", "paused", "consumed", "cancelled", "expired"]>;
+  readonly createdAtMillis: Schema.Int;
+  readonly expiresAtMillis: Schema.NullOr<Schema.Int>;
+  readonly recovery: Schema.NullOr<Schema.Struct<{
+    readonly attempts: Schema.Natural;
+    readonly nextAttemptAtMillis: Schema.NullOr<Schema.Int>;
+    readonly lastFailure: Schema.NullOr<Schema.NonEmptyString>;
+  }>>;
+}>;
+type SubscriptionToolRegistration = typeof SubscriptionToolRegistration.Type;
+declare const SubscribeToEventParameters: Schema.Struct<{
+  readonly source: Schema.Struct<{
+    readonly name: Schema.NonEmptyString;
+    readonly version: Schema.NonEmptyString;
+  }>;
+  readonly parameters: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+  readonly mode: Schema.Literals<readonly ["once", "continuous"]>;
+  readonly expiresAtMillis: Schema.NullOr<Schema.Int>;
+  readonly context: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+}>;
+declare const ListEventSubscriptionsParameters: Schema.Struct<{
+  readonly after: Schema.optionalKey<Schema.Natural>;
+  readonly limit: Schema.optionalKey<Schema.Int>;
+}>;
+declare const CancelEventSubscriptionParameters: Schema.Struct<{
+  readonly subscriptionId: Schema.NonEmptyString;
+}>;
+declare const SubscriptionToolSourceCatalogEntry: Schema.Struct<{
+  readonly source: Schema.Struct<{
+    readonly name: Schema.NonEmptyString;
+    readonly version: Schema.NonEmptyString;
+  }>;
+  readonly description: Schema.NonEmptyString;
+  readonly parametersJsonSchema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+  readonly contextJsonSchema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+}>;
+type SubscriptionToolSourceCatalogEntry = typeof SubscriptionToolSourceCatalogEntry.Type;
+declare const ListEventSources: Tool.Tool<"list_event_sources", {
+  readonly parameters: Schema.Struct<{}>;
+  readonly success: Schema.$Array<Schema.Struct<{
+    readonly source: Schema.Struct<{
+      readonly name: Schema.NonEmptyString;
+      readonly version: Schema.NonEmptyString;
+    }>;
+    readonly description: Schema.NonEmptyString;
+    readonly parametersJsonSchema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+    readonly contextJsonSchema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+  }>>;
+  readonly failure: typeof SubscriptionError;
+  readonly failureMode: "return";
+}, never>;
+declare const SubscribeToEvent: Tool.Tool<"subscribe_to_event", {
+  readonly parameters: Schema.Struct<{
+    readonly source: Schema.Struct<{
+      readonly name: Schema.NonEmptyString;
+      readonly version: Schema.NonEmptyString;
+    }>;
+    readonly parameters: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+    readonly mode: Schema.Literals<readonly ["once", "continuous"]>;
+    readonly expiresAtMillis: Schema.NullOr<Schema.Int>;
+    readonly context: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+  }>;
+  readonly success: Schema.Struct<{
+    readonly subscriptionId: Schema.NonEmptyString;
+    readonly source: Schema.Struct<{
+      readonly name: Schema.NonEmptyString;
+      readonly version: Schema.NonEmptyString;
+    }>;
+    readonly mode: Schema.Literals<readonly ["once", "continuous"]>;
+    readonly state: Schema.Literals<readonly ["active", "paused", "consumed", "cancelled", "expired"]>;
+    readonly createdAtMillis: Schema.Int;
+    readonly expiresAtMillis: Schema.NullOr<Schema.Int>;
+    readonly recovery: Schema.NullOr<Schema.Struct<{
+      readonly attempts: Schema.Natural;
+      readonly nextAttemptAtMillis: Schema.NullOr<Schema.Int>;
+      readonly lastFailure: Schema.NullOr<Schema.NonEmptyString>;
+    }>>;
+  }>;
+  readonly failure: Schema.Union<readonly [typeof SubscriptionError, typeof SubscriptionSourceError, typeof SubscriptionFailpointError]>;
+  readonly failureMode: "return";
+}, DurableStep>;
+declare const ListEventSubscriptions: Tool.Tool<"list_event_subscriptions", {
+  readonly parameters: Schema.Struct<{
+    readonly after: Schema.optionalKey<Schema.Natural>;
+    readonly limit: Schema.optionalKey<Schema.Int>;
+  }>;
+  readonly success: Schema.Struct<{
+    readonly items: Schema.$Array<Schema.Struct<{
+      readonly subscriptionId: Schema.NonEmptyString;
+      readonly source: Schema.Struct<{
+        readonly name: Schema.NonEmptyString;
+        readonly version: Schema.NonEmptyString;
+      }>;
+      readonly mode: Schema.Literals<readonly ["once", "continuous"]>;
+      readonly state: Schema.Literals<readonly ["active", "paused", "consumed", "cancelled", "expired"]>;
+      readonly createdAtMillis: Schema.Int;
+      readonly expiresAtMillis: Schema.NullOr<Schema.Int>;
+      readonly recovery: Schema.NullOr<Schema.Struct<{
+        readonly attempts: Schema.Natural;
+        readonly nextAttemptAtMillis: Schema.NullOr<Schema.Int>;
+        readonly lastFailure: Schema.NullOr<Schema.NonEmptyString>;
+      }>>;
+    }>>;
+    readonly next: Schema.NullOr<Schema.Natural>;
+  }>;
+  readonly failure: typeof SubscriptionError;
+  readonly failureMode: "return";
+}, never>;
+declare const CancelEventSubscription: Tool.Tool<"cancel_event_subscription", {
+  readonly parameters: Schema.Struct<{
+    readonly subscriptionId: Schema.NonEmptyString;
+  }>;
+  readonly success: Schema.Struct<{
+    readonly subscriptionId: Schema.NonEmptyString;
+    readonly source: Schema.Struct<{
+      readonly name: Schema.NonEmptyString;
+      readonly version: Schema.NonEmptyString;
+    }>;
+    readonly mode: Schema.Literals<readonly ["once", "continuous"]>;
+    readonly state: Schema.Literals<readonly ["active", "paused", "consumed", "cancelled", "expired"]>;
+    readonly createdAtMillis: Schema.Int;
+    readonly expiresAtMillis: Schema.NullOr<Schema.Int>;
+    readonly recovery: Schema.NullOr<Schema.Struct<{
+      readonly attempts: Schema.Natural;
+      readonly nextAttemptAtMillis: Schema.NullOr<Schema.Int>;
+      readonly lastFailure: Schema.NullOr<Schema.NonEmptyString>;
+    }>>;
+  }>;
+  readonly failure: Schema.Union<readonly [typeof SubscriptionError, typeof SubscriptionFailpointError]>;
+  readonly failureMode: "return";
+}, DurableStep>;
+declare const SubscriptionTools: Toolkit.Toolkit<{
+  readonly cancel_event_subscription: Tool.Tool<"cancel_event_subscription", {
+    readonly parameters: Schema.Struct<{
+      readonly subscriptionId: Schema.NonEmptyString;
+    }>;
+    readonly success: Schema.Struct<{
+      readonly subscriptionId: Schema.NonEmptyString;
+      readonly source: Schema.Struct<{
+        readonly name: Schema.NonEmptyString;
+        readonly version: Schema.NonEmptyString;
+      }>;
+      readonly mode: Schema.Literals<readonly ["once", "continuous"]>;
+      readonly state: Schema.Literals<readonly ["active", "paused", "consumed", "cancelled", "expired"]>;
+      readonly createdAtMillis: Schema.Int;
+      readonly expiresAtMillis: Schema.NullOr<Schema.Int>;
+      readonly recovery: Schema.NullOr<Schema.Struct<{
+        readonly attempts: Schema.Natural;
+        readonly nextAttemptAtMillis: Schema.NullOr<Schema.Int>;
+        readonly lastFailure: Schema.NullOr<Schema.NonEmptyString>;
+      }>>;
+    }>;
+    readonly failure: Schema.Union<readonly [typeof SubscriptionError, typeof SubscriptionFailpointError]>;
+    readonly failureMode: "return";
+  }, DurableStep>;
+  readonly list_event_sources: Tool.Tool<"list_event_sources", {
+    readonly parameters: Schema.Struct<{}>;
+    readonly success: Schema.$Array<Schema.Struct<{
+      readonly source: Schema.Struct<{
+        readonly name: Schema.NonEmptyString;
+        readonly version: Schema.NonEmptyString;
+      }>;
+      readonly description: Schema.NonEmptyString;
+      readonly parametersJsonSchema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+      readonly contextJsonSchema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+    }>>;
+    readonly failure: typeof SubscriptionError;
+    readonly failureMode: "return";
+  }, never>;
+  readonly list_event_subscriptions: Tool.Tool<"list_event_subscriptions", {
+    readonly parameters: Schema.Struct<{
+      readonly after: Schema.optionalKey<Schema.Natural>;
+      readonly limit: Schema.optionalKey<Schema.Int>;
+    }>;
+    readonly success: Schema.Struct<{
+      readonly items: Schema.$Array<Schema.Struct<{
+        readonly subscriptionId: Schema.NonEmptyString;
+        readonly source: Schema.Struct<{
+          readonly name: Schema.NonEmptyString;
+          readonly version: Schema.NonEmptyString;
+        }>;
+        readonly mode: Schema.Literals<readonly ["once", "continuous"]>;
+        readonly state: Schema.Literals<readonly ["active", "paused", "consumed", "cancelled", "expired"]>;
+        readonly createdAtMillis: Schema.Int;
+        readonly expiresAtMillis: Schema.NullOr<Schema.Int>;
+        readonly recovery: Schema.NullOr<Schema.Struct<{
+          readonly attempts: Schema.Natural;
+          readonly nextAttemptAtMillis: Schema.NullOr<Schema.Int>;
+          readonly lastFailure: Schema.NullOr<Schema.NonEmptyString>;
+        }>>;
+      }>>;
+      readonly next: Schema.NullOr<Schema.Natural>;
+    }>;
+    readonly failure: typeof SubscriptionError;
+    readonly failureMode: "return";
+  }, never>;
+  readonly subscribe_to_event: Tool.Tool<"subscribe_to_event", {
+    readonly parameters: Schema.Struct<{
+      readonly source: Schema.Struct<{
+        readonly name: Schema.NonEmptyString;
+        readonly version: Schema.NonEmptyString;
+      }>;
+      readonly parameters: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+      readonly mode: Schema.Literals<readonly ["once", "continuous"]>;
+      readonly expiresAtMillis: Schema.NullOr<Schema.Int>;
+      readonly context: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+    }>;
+    readonly success: Schema.Struct<{
+      readonly subscriptionId: Schema.NonEmptyString;
+      readonly source: Schema.Struct<{
+        readonly name: Schema.NonEmptyString;
+        readonly version: Schema.NonEmptyString;
+      }>;
+      readonly mode: Schema.Literals<readonly ["once", "continuous"]>;
+      readonly state: Schema.Literals<readonly ["active", "paused", "consumed", "cancelled", "expired"]>;
+      readonly createdAtMillis: Schema.Int;
+      readonly expiresAtMillis: Schema.NullOr<Schema.Int>;
+      readonly recovery: Schema.NullOr<Schema.Struct<{
+        readonly attempts: Schema.Natural;
+        readonly nextAttemptAtMillis: Schema.NullOr<Schema.Int>;
+        readonly lastFailure: Schema.NullOr<Schema.NonEmptyString>;
+      }>>;
+    }>;
+    readonly failure: Schema.Union<readonly [typeof SubscriptionError, typeof SubscriptionSourceError, typeof SubscriptionFailpointError]>;
+    readonly failureMode: "return";
+  }, DurableStep>;
+}>;
+interface PermittedSubscriptionToolSource {
+  readonly source: EventSourceVersion;
+  /** The source's input Schema must be the input Schema of this exact host Agent identity. */
+  readonly agentId: AgentId;
+  readonly description: string;
+  readonly parameters: Schema.Top;
+  readonly context: Schema.Top;
+}
+interface SubscriptionToolsOptions {
+  readonly scope: SubscriptionScope;
+  readonly currentThreadId: ThreadId;
+  readonly deliveryPrincipal: Principal;
+  readonly agentId: AgentId;
+  readonly definitions: DefinitionDigests;
+  readonly permittedSources: ReadonlyArray<PermittedSubscriptionToolSource>;
+  /** Defaults to the current Thread; a host may instead bind deterministic fresh delivery. */
+  readonly destination?: ScheduleDestination | undefined;
+}
+/**
+ * Bind management authority before exposing Tools to a model. The model can select only an exact
+ * source/version and source-defined parameters; it cannot choose another tenant, owner,
+ * Thread, Agent, definition digest, principal, destination policy, or credential.
+ */
+declare const subscriptionToolsLayer: (options: SubscriptionToolsOptions) => Layer.Layer<Tool.HandlersFor<Toolkit.Tools<typeof SubscriptionTools>>, SubscriptionError, Subscriptions | Crypto.Crypto>;
+//#endregion
+export { CancelEventSubscription, CancelEventSubscriptionParameters, ListEventSources, ListEventSubscriptions, ListEventSubscriptionsParameters, PermittedSubscriptionToolSource, SubscribeToEvent, SubscribeToEventParameters, SubscriptionToolRegistration, SubscriptionToolSourceCatalogEntry, SubscriptionTools, SubscriptionToolsOptions, subscriptionToolsLayer, SubscriptionTools_d_exports as t };
+//# sourceMappingURL=SubscriptionTools.d.mts.map

package/dist/durable/SubscriptionTools.mjs

@@ -0,0 +1,190 @@
+import { t as __exportAll } from "../rolldown-runtime-D7D4PA-g.mjs";
+import { DurableStep, ToolExecutionClass } from "../engine/DurableStep.mjs";
+import { SubscriptionError, SubscriptionFailpointError, SubscriptionName, SubscriptionSnapshot, SubscriptionSourceError } from "./Subscription.mjs";
+import { Subscriptions } from "./Subscriptions.mjs";
+import { Tool, Toolkit } from "effect/unstable/ai";
+import { Crypto, Effect, Schema } from "effect";
+//#region src/durable/SubscriptionTools.ts
+var SubscriptionTools_exports = /* @__PURE__ */ __exportAll({
+	CancelEventSubscription: () => CancelEventSubscription,
+	CancelEventSubscriptionParameters: () => CancelEventSubscriptionParameters,
+	ListEventSources: () => ListEventSources,
+	ListEventSubscriptions: () => ListEventSubscriptions,
+	ListEventSubscriptionsParameters: () => ListEventSubscriptionsParameters,
+	SubscribeToEvent: () => SubscribeToEvent,
+	SubscribeToEventParameters: () => SubscribeToEventParameters,
+	SubscriptionToolRegistration: () => SubscriptionToolRegistration,
+	SubscriptionToolSourceCatalogEntry: () => SubscriptionToolSourceCatalogEntry,
+	SubscriptionTools: () => SubscriptionTools,
+	subscriptionToolsLayer: () => subscriptionToolsLayer
+});
+const SubscriptionToolRegistration = Schema.Struct({
+	subscriptionId: SubscriptionName,
+	source: Schema.Struct({
+		name: SubscriptionName,
+		version: SubscriptionName
+	}),
+	mode: Schema.Literals(["once", "continuous"]),
+	state: Schema.Literals([
+		"active",
+		"paused",
+		"consumed",
+		"cancelled",
+		"expired"
+	]),
+	createdAtMillis: Schema.Int,
+	expiresAtMillis: Schema.NullOr(Schema.Int),
+	recovery: SubscriptionSnapshot.fields.recovery
+});
+const SubscribeToEventParameters = Schema.Struct({
+	source: Schema.Struct({
+		name: SubscriptionName,
+		version: SubscriptionName
+	}),
+	parameters: Schema.Json,
+	mode: Schema.Literals(["once", "continuous"]),
+	expiresAtMillis: Schema.NullOr(Schema.Int).annotate({ description: "Absolute Unix epoch milliseconds, or null to remain active until cancelled; retain the same value on retries" }),
+	context: Schema.Json
+});
+const ListEventSubscriptionsParameters = Schema.Struct({
+	after: Schema.optionalKey(Schema.Natural),
+	limit: Schema.optionalKey(Schema.Int.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(100)))
+});
+const CancelEventSubscriptionParameters = Schema.Struct({ subscriptionId: SubscriptionName });
+const SubscriptionToolSourceCatalogEntry = Schema.Struct({
+	source: Schema.Struct({
+		name: SubscriptionName,
+		version: SubscriptionName
+	}),
+	description: Schema.NonEmptyString.check(Schema.isMaxLength(2048)),
+	parametersJsonSchema: Schema.Json,
+	contextJsonSchema: Schema.Json
+});
+const SubscriptionToolFailure = Schema.Union([
+	SubscriptionError,
+	SubscriptionSourceError,
+	SubscriptionFailpointError
+]);
+const ListEventSources = Tool.make("list_event_sources", {
+	description: "List the exact event source versions this host permits, with their parameter and continuation-context JSON Schemas. Inspect this catalog before subscribing.",
+	parameters: Schema.Struct({}),
+	success: Schema.Array(SubscriptionToolSourceCatalogEntry),
+	failure: SubscriptionError,
+	failureMode: "return"
+}).annotate(Tool.Readonly, true).annotate(ToolExecutionClass, "readonly");
+const SubscribeToEvent = Tool.make("subscribe_to_event", {
+	description: "Register a durable event subscription from the host-permitted source catalog. The destination, Agent, authority, and delivery principal are fixed by the host.",
+	parameters: SubscribeToEventParameters,
+	success: SubscriptionToolRegistration,
+	failure: SubscriptionToolFailure,
+	failureMode: "return",
+	dependencies: [DurableStep]
+}).annotate(Tool.Readonly, false).annotate(ToolExecutionClass, "idempotent");
+const ListEventSubscriptions = Tool.make("list_event_subscriptions", {
+	description: "List redacted durable event subscriptions in the current host-bound owner scope.",
+	parameters: ListEventSubscriptionsParameters,
+	success: Schema.Struct({
+		items: Schema.Array(SubscriptionToolRegistration),
+		next: Schema.NullOr(Schema.Natural)
+	}),
+	failure: SubscriptionError,
+	failureMode: "return"
+}).annotate(Tool.Readonly, true).annotate(ToolExecutionClass, "readonly");
+const CancelEventSubscription = Tool.make("cancel_event_subscription", {
+	description: "Cancel one durable event subscription in the current host-bound owner scope.",
+	parameters: CancelEventSubscriptionParameters,
+	success: SubscriptionToolRegistration,
+	failure: Schema.Union([SubscriptionError, SubscriptionFailpointError]),
+	failureMode: "return",
+	dependencies: [DurableStep]
+}).annotate(Tool.Readonly, false).annotate(ToolExecutionClass, "idempotent");
+const SubscriptionTools = Toolkit.make(ListEventSources, SubscribeToEvent, ListEventSubscriptions, CancelEventSubscription);
+const sameSource = (left, right) => left.name === right.name && left.version === right.version;
+const registration = (snapshot) => ({
+	subscriptionId: snapshot.key.subscriptionId,
+	source: snapshot.source,
+	mode: snapshot.mode,
+	state: snapshot.state,
+	createdAtMillis: snapshot.createdAtMillis,
+	expiresAtMillis: snapshot.expiresAtMillis,
+	recovery: snapshot.recovery
+});
+const toolFailure = (reason, code) => SubscriptionError.make({
+	reason,
+	code
+});
+/**
+* Bind management authority before exposing Tools to a model. The model can select only an exact
+* source/version and source-defined parameters; it cannot choose another tenant, owner,
+* Thread, Agent, definition digest, principal, destination policy, or credential.
+*/
+const subscriptionToolsLayer = (options) => {
+	const destination = options.destination ?? {
+		_tag: "ExistingThread",
+		threadId: options.currentThreadId
+	};
+	const build = Effect.gen(function* () {
+		if (options.permittedSources.find((candidate, index, all) => all.findIndex((item) => sameSource(item.source, candidate.source)) !== index) !== void 0) return yield* toolFailure("validation", "duplicate-source-catalog-entry");
+		if (options.permittedSources.find((candidate) => candidate.agentId !== options.agentId) !== void 0) return yield* toolFailure("validation", "source-agent-mismatch");
+		const catalog = yield* Effect.forEach(options.permittedSources, (candidate) => Effect.gen(function* () {
+			const description = yield* Schema.decodeEffect(SubscriptionToolSourceCatalogEntry.fields.description)(candidate.description).pipe(Effect.mapError(() => toolFailure("validation", "source-catalog-description")));
+			return SubscriptionToolSourceCatalogEntry.make({
+				source: candidate.source,
+				description,
+				parametersJsonSchema: yield* Effect.try({
+					try: () => Tool.getJsonSchemaFromSchema(candidate.parameters),
+					catch: () => toolFailure("validation", "source-parameters-schema")
+				}),
+				contextJsonSchema: yield* Effect.try({
+					try: () => Tool.getJsonSchemaFromSchema(candidate.context),
+					catch: () => toolFailure("validation", "source-context-schema")
+				})
+			});
+		}));
+		const subscriptions = yield* Subscriptions;
+		const crypto = yield* Crypto.Crypto;
+		const permitted = (source) => options.permittedSources.some((candidate) => sameSource(candidate.source, source));
+		const subscribe = Effect.fn("SubscriptionTools.subscribe")(function* (parameters) {
+			if (!permitted(parameters.source)) return yield* toolFailure("unauthorized", "source-catalog");
+			const step = yield* DurableStep;
+			const subscriptionId = yield* step.do("subscription-identity", SubscriptionName, crypto.randomUUIDv7.pipe(Effect.map((id) => `tool:${id}`), Effect.mapError(() => toolFailure("storage", "creation-identity")))).pipe(Effect.catchTag("DurableStepError", (error) => Effect.fail(toolFailure("storage", `durable-step-${error.reason}`))));
+			return yield* step.do("register-subscription", SubscriptionToolRegistration, subscriptions.subscribe(options.scope, {
+				subscriptionId,
+				source: parameters.source,
+				parameters: parameters.parameters,
+				context: parameters.context,
+				mode: parameters.mode,
+				expiresAtMillis: parameters.expiresAtMillis,
+				destination,
+				deliveryPrincipal: options.deliveryPrincipal,
+				agentId: options.agentId,
+				definitions: options.definitions
+			}).pipe(Effect.map(registration))).pipe(Effect.catchTag("DurableStepError", (error) => Effect.fail(toolFailure("storage", `durable-step-${error.reason}`))));
+		});
+		const list = Effect.fn("SubscriptionTools.list")(function* (parameters) {
+			const page = yield* subscriptions.listSubscriptions(options.scope, parameters.after, parameters.limit);
+			return {
+				items: page.items.map(registration),
+				next: page.next
+			};
+		});
+		const cancel = Effect.fn("SubscriptionTools.cancel")(function* (parameters) {
+			return yield* (yield* DurableStep).do("cancel-subscription", SubscriptionToolRegistration, subscriptions.cancelSubscription(options.scope, {
+				partition: options.scope.partition,
+				ownerId: options.scope.ownerId,
+				subscriptionId: parameters.subscriptionId
+			}).pipe(Effect.map(registration))).pipe(Effect.catchTag("DurableStepError", (error) => Effect.fail(toolFailure("storage", `durable-step-${error.reason}`))));
+		});
+		return SubscriptionTools.of({
+			list_event_sources: () => Effect.succeed(catalog),
+			subscribe_to_event: subscribe,
+			list_event_subscriptions: list,
+			cancel_event_subscription: cancel
+		});
+	});
+	return SubscriptionTools.toLayer(build);
+};
+//#endregion
+export { CancelEventSubscription, CancelEventSubscriptionParameters, ListEventSources, ListEventSubscriptions, ListEventSubscriptionsParameters, SubscribeToEvent, SubscribeToEventParameters, SubscriptionToolRegistration, SubscriptionToolSourceCatalogEntry, SubscriptionTools, subscriptionToolsLayer, SubscriptionTools_exports as t };
+
+//# sourceMappingURL=SubscriptionTools.mjs.map

package/dist/durable/SubscriptionTools.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"SubscriptionTools.mjs","names":[],"sources":["../../src/durable/SubscriptionTools.ts"],"sourcesContent":["import type { Layer } from \"effect\";\nimport { Crypto, Effect, Schema } from \"effect\";\nimport { Tool, Toolkit } from \"effect/unstable/ai\";\n\nimport { type AgentId, type ThreadId } from \"../core/Identifiers.ts\";\nimport { DurableStep, ToolExecutionClass } from \"../engine/DurableStep.ts\";\nimport type { DefinitionDigests, PersistedJson } from \"./Records.ts\";\nimport type { ScheduleDestination } from \"./Schedule.ts\";\nimport type { Principal } from \"./SubmissionLedger.ts\";\nimport {\n  type EventSourceVersion,\n  SubscriptionError,\n  SubscriptionFailpointError,\n  SubscriptionName,\n  SubscriptionSnapshot,\n  SubscriptionSourceError,\n  type SubscriptionScope,\n} from \"./Subscription.ts\";\nimport { Subscriptions } from \"./Subscriptions.ts\";\n\nexport const SubscriptionToolRegistration = Schema.Struct({\n  subscriptionId: SubscriptionName,\n  source: Schema.Struct({ name: SubscriptionName, version: SubscriptionName }),\n  mode: Schema.Literals([\"once\", \"continuous\"]),\n  state: Schema.Literals([\"active\", \"paused\", \"consumed\", \"cancelled\", \"expired\"]),\n  createdAtMillis: Schema.Int,\n  expiresAtMillis: Schema.NullOr(Schema.Int),\n  recovery: SubscriptionSnapshot.fields.recovery,\n});\n\nexport type SubscriptionToolRegistration = typeof SubscriptionToolRegistration.Type;\n\nexport const SubscribeToEventParameters = Schema.Struct({\n  source: Schema.Struct({ name: SubscriptionName, version: SubscriptionName }),\n  parameters: Schema.Json,\n  mode: Schema.Literals([\"once\", \"continuous\"]),\n  expiresAtMillis: Schema.NullOr(Schema.Int).annotate({\n    description:\n      \"Absolute Unix epoch milliseconds, or null to remain active until cancelled; retain the same value on retries\",\n  }),\n  context: Schema.Json,\n});\n\nexport const ListEventSubscriptionsParameters = Schema.Struct({\n  after: Schema.optionalKey(Schema.Natural),\n  limit: Schema.optionalKey(\n    Schema.Int.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(100)),\n  ),\n});\n\nexport const CancelEventSubscriptionParameters = Schema.Struct({\n  subscriptionId: SubscriptionName,\n});\n\nexport const SubscriptionToolSourceCatalogEntry = Schema.Struct({\n  source: Schema.Struct({ name: SubscriptionName, version: SubscriptionName }),\n  description: Schema.NonEmptyString.check(Schema.isMaxLength(2_048)),\n  parametersJsonSchema: Schema.Json,\n  contextJsonSchema: Schema.Json,\n});\n\nexport type SubscriptionToolSourceCatalogEntry = typeof SubscriptionToolSourceCatalogEntry.Type;\n\nconst SubscriptionToolFailure = Schema.Union([\n  SubscriptionError,\n  SubscriptionSourceError,\n  SubscriptionFailpointError,\n]);\n\nexport const ListEventSources = Tool.make(\"list_event_sources\", {\n  description:\n    \"List the exact event source versions this host permits, with their parameter and continuation-context JSON Schemas. Inspect this catalog before subscribing.\",\n  parameters: Schema.Struct({}),\n  success: Schema.Array(SubscriptionToolSourceCatalogEntry),\n  failure: SubscriptionError,\n  failureMode: \"return\",\n})\n  .annotate(Tool.Readonly, true)\n  .annotate(ToolExecutionClass, \"readonly\");\n\nexport const SubscribeToEvent = Tool.make(\"subscribe_to_event\", {\n  description:\n    \"Register a durable event subscription from the host-permitted source catalog. The destination, Agent, authority, and delivery principal are fixed by the host.\",\n  parameters: SubscribeToEventParameters,\n  success: SubscriptionToolRegistration,\n  failure: SubscriptionToolFailure,\n  failureMode: \"return\",\n  dependencies: [DurableStep],\n})\n  .annotate(Tool.Readonly, false)\n  .annotate(ToolExecutionClass, \"idempotent\");\n\nexport const ListEventSubscriptions = Tool.make(\"list_event_subscriptions\", {\n  description: \"List redacted durable event subscriptions in the current host-bound owner scope.\",\n  parameters: ListEventSubscriptionsParameters,\n  success: Schema.Struct({\n    items: Schema.Array(SubscriptionToolRegistration),\n    next: Schema.NullOr(Schema.Natural),\n  }),\n  failure: SubscriptionError,\n  failureMode: \"return\",\n})\n  .annotate(Tool.Readonly, true)\n  .annotate(ToolExecutionClass, \"readonly\");\n\nexport const CancelEventSubscription = Tool.make(\"cancel_event_subscription\", {\n  description: \"Cancel one durable event subscription in the current host-bound owner scope.\",\n  parameters: CancelEventSubscriptionParameters,\n  success: SubscriptionToolRegistration,\n  failure: Schema.Union([SubscriptionError, SubscriptionFailpointError]),\n  failureMode: \"return\",\n  dependencies: [DurableStep],\n})\n  .annotate(Tool.Readonly, false)\n  .annotate(ToolExecutionClass, \"idempotent\");\n\nexport const SubscriptionTools = Toolkit.make(\n  ListEventSources,\n  SubscribeToEvent,\n  ListEventSubscriptions,\n  CancelEventSubscription,\n);\n\nexport interface PermittedSubscriptionToolSource {\n  readonly source: EventSourceVersion;\n  /** The source's input Schema must be the input Schema of this exact host Agent identity. */\n  readonly agentId: AgentId;\n  readonly description: string;\n  readonly parameters: Schema.Top;\n  readonly context: Schema.Top;\n}\n\nexport interface SubscriptionToolsOptions {\n  readonly scope: SubscriptionScope;\n  readonly currentThreadId: ThreadId;\n  readonly deliveryPrincipal: Principal;\n  readonly agentId: AgentId;\n  readonly definitions: DefinitionDigests;\n  readonly permittedSources: ReadonlyArray<PermittedSubscriptionToolSource>;\n  /** Defaults to the current Thread; a host may instead bind deterministic fresh delivery. */\n  readonly destination?: ScheduleDestination | undefined;\n}\n\nconst sameSource = (left: EventSourceVersion, right: EventSourceVersion): boolean =>\n  left.name === right.name && left.version === right.version;\n\nconst registration = (\n  snapshot: typeof SubscriptionSnapshot.Type,\n): SubscriptionToolRegistration => ({\n  subscriptionId: snapshot.key.subscriptionId,\n  source: snapshot.source,\n  mode: snapshot.mode,\n  state: snapshot.state,\n  createdAtMillis: snapshot.createdAtMillis,\n  expiresAtMillis: snapshot.expiresAtMillis,\n  recovery: snapshot.recovery,\n});\n\nconst toolFailure = (reason: SubscriptionError[\"reason\"], code: string): SubscriptionError =>\n  SubscriptionError.make({ reason, code });\n\n/**\n * Bind management authority before exposing Tools to a model. The model can select only an exact\n * source/version and source-defined parameters; it cannot choose another tenant, owner,\n * Thread, Agent, definition digest, principal, destination policy, or credential.\n */\nexport const subscriptionToolsLayer = (\n  options: SubscriptionToolsOptions,\n): Layer.Layer<\n  Tool.HandlersFor<Toolkit.Tools<typeof SubscriptionTools>>,\n  SubscriptionError,\n  Subscriptions | Crypto.Crypto\n> => {\n  const destination: ScheduleDestination = options.destination ?? {\n    _tag: \"ExistingThread\",\n    threadId: options.currentThreadId,\n  };\n\n  const build = Effect.gen(function* () {\n    const duplicate = options.permittedSources.find(\n      (candidate, index, all) =>\n        all.findIndex((item) => sameSource(item.source, candidate.source)) !== index,\n    );\n\n    if (duplicate !== undefined) {\n      return yield* toolFailure(\"validation\", \"duplicate-source-catalog-entry\");\n    }\n\n    const mismatched = options.permittedSources.find(\n      (candidate) => candidate.agentId !== options.agentId,\n    );\n\n    if (mismatched !== undefined) {\n      return yield* toolFailure(\"validation\", \"source-agent-mismatch\");\n    }\n\n    const catalog = yield* Effect.forEach(options.permittedSources, (candidate) =>\n      Effect.gen(function* () {\n        const description = yield* Schema.decodeEffect(\n          SubscriptionToolSourceCatalogEntry.fields.description,\n        )(candidate.description).pipe(\n          Effect.mapError(() => toolFailure(\"validation\", \"source-catalog-description\")),\n        );\n\n        return SubscriptionToolSourceCatalogEntry.make({\n          source: candidate.source,\n          description,\n          parametersJsonSchema: yield* Effect.try({\n            try: () => Tool.getJsonSchemaFromSchema(candidate.parameters),\n            catch: () => toolFailure(\"validation\", \"source-parameters-schema\"),\n          }),\n          contextJsonSchema: yield* Effect.try({\n            try: () => Tool.getJsonSchemaFromSchema(candidate.context),\n            catch: () => toolFailure(\"validation\", \"source-context-schema\"),\n          }),\n        });\n      }),\n    );\n\n    const subscriptions = yield* Subscriptions;\n    const crypto = yield* Crypto.Crypto;\n\n    const permitted = (source: EventSourceVersion) =>\n      options.permittedSources.some((candidate) => sameSource(candidate.source, source));\n\n    const subscribe = Effect.fn(\"SubscriptionTools.subscribe\")(function* (parameters: {\n      readonly source: EventSourceVersion;\n      readonly parameters: PersistedJson;\n      readonly mode: \"once\" | \"continuous\";\n      readonly expiresAtMillis: number | null;\n      readonly context: PersistedJson;\n    }) {\n      if (!permitted(parameters.source)) {\n        return yield* toolFailure(\"unauthorized\", \"source-catalog\");\n      }\n      const step = yield* DurableStep;\n\n      // The first committed Step creates one identity per Tool Call. Re-entry observes the same\n      // value, while a separate identical call receives a distinct identity.\n      const subscriptionId = yield* step\n        .do(\n          \"subscription-identity\",\n          SubscriptionName,\n          crypto.randomUUIDv7.pipe(\n            Effect.map((id) => `tool:${id}`),\n            Effect.mapError(() => toolFailure(\"storage\", \"creation-identity\")),\n          ),\n        )\n        .pipe(\n          Effect.catchTag(\"DurableStepError\", (error) =>\n            Effect.fail(toolFailure(\"storage\", `durable-step-${error.reason}`)),\n          ),\n        );\n\n      return yield* step\n        .do(\n          \"register-subscription\",\n          SubscriptionToolRegistration,\n          subscriptions\n            .subscribe(options.scope, {\n              subscriptionId,\n              source: parameters.source,\n              parameters: parameters.parameters,\n              context: parameters.context,\n              mode: parameters.mode,\n              expiresAtMillis: parameters.expiresAtMillis,\n              destination,\n              deliveryPrincipal: options.deliveryPrincipal,\n              agentId: options.agentId,\n              definitions: options.definitions,\n            })\n            .pipe(Effect.map(registration)),\n        )\n        .pipe(\n          Effect.catchTag(\"DurableStepError\", (error) =>\n            Effect.fail(toolFailure(\"storage\", `durable-step-${error.reason}`)),\n          ),\n        );\n    });\n\n    const list = Effect.fn(\"SubscriptionTools.list\")(function* (parameters: {\n      readonly after?: number | undefined;\n      readonly limit?: number | undefined;\n    }) {\n      const page = yield* subscriptions.listSubscriptions(\n        options.scope,\n        parameters.after,\n        parameters.limit,\n      );\n\n      return { items: page.items.map(registration), next: page.next };\n    });\n\n    const cancel = Effect.fn(\"SubscriptionTools.cancel\")(function* (parameters: {\n      readonly subscriptionId: string;\n    }) {\n      const step = yield* DurableStep;\n\n      return yield* step\n        .do(\n          \"cancel-subscription\",\n          SubscriptionToolRegistration,\n          subscriptions\n            .cancelSubscription(options.scope, {\n              partition: options.scope.partition,\n              ownerId: options.scope.ownerId,\n              subscriptionId: parameters.subscriptionId,\n            })\n            .pipe(Effect.map(registration)),\n        )\n        .pipe(\n          Effect.catchTag(\"DurableStepError\", (error) =>\n            Effect.fail(toolFailure(\"storage\", `durable-step-${error.reason}`)),\n          ),\n        );\n    });\n\n    return SubscriptionTools.of({\n      list_event_sources: () => Effect.succeed(catalog),\n      subscribe_to_event: subscribe,\n      list_event_subscriptions: list,\n      cancel_event_subscription: cancel,\n    });\n  });\n\n  return SubscriptionTools.toLayer(build);\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAoBA,MAAa,+BAA+B,OAAO,OAAO;CACxD,gBAAgB;CAChB,QAAQ,OAAO,OAAO;EAAE,MAAM;EAAkB,SAAS;CAAiB,CAAC;CAC3E,MAAM,OAAO,SAAS,CAAC,QAAQ,YAAY,CAAC;CAC5C,OAAO,OAAO,SAAS;EAAC;EAAU;EAAU;EAAY;EAAa;CAAS,CAAC;CAC/E,iBAAiB,OAAO;CACxB,iBAAiB,OAAO,OAAO,OAAO,GAAG;CACzC,UAAU,qBAAqB,OAAO;AACxC,CAAC;AAID,MAAa,6BAA6B,OAAO,OAAO;CACtD,QAAQ,OAAO,OAAO;EAAE,MAAM;EAAkB,SAAS;CAAiB,CAAC;CAC3E,YAAY,OAAO;CACnB,MAAM,OAAO,SAAS,CAAC,QAAQ,YAAY,CAAC;CAC5C,iBAAiB,OAAO,OAAO,OAAO,GAAG,CAAC,CAAC,SAAS,EAClD,aACE,+GACJ,CAAC;CACD,SAAS,OAAO;AAClB,CAAC;AAED,MAAa,mCAAmC,OAAO,OAAO;CAC5D,OAAO,OAAO,YAAY,OAAO,OAAO;CACxC,OAAO,OAAO,YACZ,OAAO,IAAI,MAAM,OAAO,cAAc,CAAC,GAAG,OAAO,oBAAoB,GAAG,CAAC,CAC3E;AACF,CAAC;AAED,MAAa,oCAAoC,OAAO,OAAO,EAC7D,gBAAgB,iBAClB,CAAC;AAED,MAAa,qCAAqC,OAAO,OAAO;CAC9D,QAAQ,OAAO,OAAO;EAAE,MAAM;EAAkB,SAAS;CAAiB,CAAC;CAC3E,aAAa,OAAO,eAAe,MAAM,OAAO,YAAY,IAAK,CAAC;CAClE,sBAAsB,OAAO;CAC7B,mBAAmB,OAAO;AAC5B,CAAC;AAID,MAAM,0BAA0B,OAAO,MAAM;CAC3C;CACA;CACA;AACF,CAAC;AAED,MAAa,mBAAmB,KAAK,KAAK,sBAAsB;CAC9D,aACE;CACF,YAAY,OAAO,OAAO,CAAC,CAAC;CAC5B,SAAS,OAAO,MAAM,kCAAkC;CACxD,SAAS;CACT,aAAa;AACf,CAAC,CAAC,CACC,SAAS,KAAK,UAAU,IAAI,CAAC,CAC7B,SAAS,oBAAoB,UAAU;AAE1C,MAAa,mBAAmB,KAAK,KAAK,sBAAsB;CAC9D,aACE;CACF,YAAY;CACZ,SAAS;CACT,SAAS;CACT,aAAa;CACb,cAAc,CAAC,WAAW;AAC5B,CAAC,CAAC,CACC,SAAS,KAAK,UAAU,KAAK,CAAC,CAC9B,SAAS,oBAAoB,YAAY;AAE5C,MAAa,yBAAyB,KAAK,KAAK,4BAA4B;CAC1E,aAAa;CACb,YAAY;CACZ,SAAS,OAAO,OAAO;EACrB,OAAO,OAAO,MAAM,4BAA4B;EAChD,MAAM,OAAO,OAAO,OAAO,OAAO;CACpC,CAAC;CACD,SAAS;CACT,aAAa;AACf,CAAC,CAAC,CACC,SAAS,KAAK,UAAU,IAAI,CAAC,CAC7B,SAAS,oBAAoB,UAAU;AAE1C,MAAa,0BAA0B,KAAK,KAAK,6BAA6B;CAC5E,aAAa;CACb,YAAY;CACZ,SAAS;CACT,SAAS,OAAO,MAAM,CAAC,mBAAmB,0BAA0B,CAAC;CACrE,aAAa;CACb,cAAc,CAAC,WAAW;AAC5B,CAAC,CAAC,CACC,SAAS,KAAK,UAAU,KAAK,CAAC,CAC9B,SAAS,oBAAoB,YAAY;AAE5C,MAAa,oBAAoB,QAAQ,KACvC,kBACA,kBACA,wBACA,uBACF;AAsBA,MAAM,cAAc,MAA0B,UAC5C,KAAK,SAAS,MAAM,QAAQ,KAAK,YAAY,MAAM;AAErD,MAAM,gBACJ,cACkC;CAClC,gBAAgB,SAAS,IAAI;CAC7B,QAAQ,SAAS;CACjB,MAAM,SAAS;CACf,OAAO,SAAS;CAChB,iBAAiB,SAAS;CAC1B,iBAAiB,SAAS;CAC1B,UAAU,SAAS;AACrB;AAEA,MAAM,eAAe,QAAqC,SACxD,kBAAkB,KAAK;CAAE;CAAQ;AAAK,CAAC;;;;;;AAOzC,MAAa,0BACX,YAKG;CACH,MAAM,cAAmC,QAAQ,eAAe;EAC9D,MAAM;EACN,UAAU,QAAQ;CACpB;CAEA,MAAM,QAAQ,OAAO,IAAI,aAAa;EAMpC,IALkB,QAAQ,iBAAiB,MACxC,WAAW,OAAO,QACjB,IAAI,WAAW,SAAS,WAAW,KAAK,QAAQ,UAAU,MAAM,CAAC,MAAM,KAG/D,MAAM,KAAA,GAChB,OAAO,OAAO,YAAY,cAAc,gCAAgC;EAO1E,IAJmB,QAAQ,iBAAiB,MACzC,cAAc,UAAU,YAAY,QAAQ,OAGlC,MAAM,KAAA,GACjB,OAAO,OAAO,YAAY,cAAc,uBAAuB;EAGjE,MAAM,UAAU,OAAO,OAAO,QAAQ,QAAQ,mBAAmB,cAC/D,OAAO,IAAI,aAAa;GACtB,MAAM,cAAc,OAAO,OAAO,aAChC,mCAAmC,OAAO,WAC5C,CAAC,CAAC,UAAU,WAAW,CAAC,CAAC,KACvB,OAAO,eAAe,YAAY,cAAc,4BAA4B,CAAC,CAC/E;GAEA,OAAO,mCAAmC,KAAK;IAC7C,QAAQ,UAAU;IAClB;IACA,sBAAsB,OAAO,OAAO,IAAI;KACtC,WAAW,KAAK,wBAAwB,UAAU,UAAU;KAC5D,aAAa,YAAY,cAAc,0BAA0B;IACnE,CAAC;IACD,mBAAmB,OAAO,OAAO,IAAI;KACnC,WAAW,KAAK,wBAAwB,UAAU,OAAO;KACzD,aAAa,YAAY,cAAc,uBAAuB;IAChE,CAAC;GACH,CAAC;EACH,CAAC,CACH;EAEA,MAAM,gBAAgB,OAAO;EAC7B,MAAM,SAAS,OAAO,OAAO;EAE7B,MAAM,aAAa,WACjB,QAAQ,iBAAiB,MAAM,cAAc,WAAW,UAAU,QAAQ,MAAM,CAAC;EAEnF,MAAM,YAAY,OAAO,GAAG,6BAA6B,CAAC,CAAC,WAAW,YAMnE;GACD,IAAI,CAAC,UAAU,WAAW,MAAM,GAC9B,OAAO,OAAO,YAAY,gBAAgB,gBAAgB;GAE5D,MAAM,OAAO,OAAO;GAIpB,MAAM,iBAAiB,OAAO,KAC3B,GACC,yBACA,kBACA,OAAO,aAAa,KAClB,OAAO,KAAK,OAAO,QAAQ,IAAI,GAC/B,OAAO,eAAe,YAAY,WAAW,mBAAmB,CAAC,CACnE,CACF,CAAC,CACA,KACC,OAAO,SAAS,qBAAqB,UACnC,OAAO,KAAK,YAAY,WAAW,gBAAgB,MAAM,QAAQ,CAAC,CACpE,CACF;GAEF,OAAO,OAAO,KACX,GACC,yBACA,8BACA,cACG,UAAU,QAAQ,OAAO;IACxB;IACA,QAAQ,WAAW;IACnB,YAAY,WAAW;IACvB,SAAS,WAAW;IACpB,MAAM,WAAW;IACjB,iBAAiB,WAAW;IAC5B;IACA,mBAAmB,QAAQ;IAC3B,SAAS,QAAQ;IACjB,aAAa,QAAQ;GACvB,CAAC,CAAC,CACD,KAAK,OAAO,IAAI,YAAY,CAAC,CAClC,CAAC,CACA,KACC,OAAO,SAAS,qBAAqB,UACnC,OAAO,KAAK,YAAY,WAAW,gBAAgB,MAAM,QAAQ,CAAC,CACpE,CACF;EACJ,CAAC;EAED,MAAM,OAAO,OAAO,GAAG,wBAAwB,CAAC,CAAC,WAAW,YAGzD;GACD,MAAM,OAAO,OAAO,cAAc,kBAChC,QAAQ,OACR,WAAW,OACX,WAAW,KACb;GAEA,OAAO;IAAE,OAAO,KAAK,MAAM,IAAI,YAAY;IAAG,MAAM,KAAK;GAAK;EAChE,CAAC;EAED,MAAM,SAAS,OAAO,GAAG,0BAA0B,CAAC,CAAC,WAAW,YAE7D;GAGD,OAAO,QAAO,OAFM,YAAA,CAGjB,GACC,uBACA,8BACA,cACG,mBAAmB,QAAQ,OAAO;IACjC,WAAW,QAAQ,MAAM;IACzB,SAAS,QAAQ,MAAM;IACvB,gBAAgB,WAAW;GAC7B,CAAC,CAAC,CACD,KAAK,OAAO,IAAI,YAAY,CAAC,CAClC,CAAC,CACA,KACC,OAAO,SAAS,qBAAqB,UACnC,OAAO,KAAK,YAAY,WAAW,gBAAgB,MAAM,QAAQ,CAAC,CACpE,CACF;EACJ,CAAC;EAED,OAAO,kBAAkB,GAAG;GAC1B,0BAA0B,OAAO,QAAQ,OAAO;GAChD,oBAAoB;GACpB,0BAA0B;GAC1B,2BAA2B;EAC7B,CAAC;CACH,CAAC;CAED,OAAO,kBAAkB,QAAQ,KAAK;AACxC"}

package/dist/durable/SubscriptionTransition.d.mts

@@ -0,0 +1,21 @@
+import { b as SubscriptionRecord, d as SubscriptionDelivery, l as SubscriptionChange, m as SubscriptionError, n as DeliveryChange, o as SourcePartition, t as AcceptedEvent, v as SubscriptionLimits } from "../Subscription-BEP8oQO5.mjs";
+import { Result } from "effect";
+declare namespace SubscriptionTransition_d_exports {
+  export { applySubscriptionChange, applySubscriptionDeliveryChange, sameAcceptedEventIdentity, sameSourcePartition, sameSubscriptionDelivery, subscriptionCanSelect, subscriptionDeliveryCanSelect, subscriptionMatchesEvent, validateEventRetention };
+}
+declare const sameSourcePartition: (left: SourcePartition, right: SourcePartition) => boolean;
+/** The retained event is authoritative. An absent historical occurrence stays unknown on replay. */
+declare const sameAcceptedEventIdentity: (left: AcceptedEvent, right: AcceptedEvent) => boolean;
+declare const subscriptionMatchesEvent: (subscription: SubscriptionRecord, event: AcceptedEvent) => boolean;
+declare const subscriptionCanSelect: (subscription: SubscriptionRecord, event: AcceptedEvent, nowMillis: number, bypassCutoff: boolean) => boolean;
+declare const subscriptionDeliveryCanSelect: (delivery: SubscriptionDelivery, subscription: SubscriptionRecord, event: AcceptedEvent) => boolean;
+declare const sameSubscriptionDelivery: (left: SubscriptionDelivery, right: SubscriptionDelivery) => boolean;
+/** Pure lifecycle transition used inside each adapter's local atomic mutation. */
+declare const applySubscriptionDeliveryChange: (existing: SubscriptionDelivery, subscription: SubscriptionRecord, deliveryId: string, change: DeliveryChange) => Result.Result<SubscriptionDelivery, SubscriptionError>;
+/** CAS management never mutates a selected or prepared delivery. */
+declare const applySubscriptionChange: (existing: SubscriptionRecord, expectedRevision: number, change: SubscriptionChange) => Result.Result<SubscriptionRecord, SubscriptionError>;
+/** Called only after retained identity lookup: unfinished work remains replayable past the horizon. */
+declare const validateEventRetention: (event: AcceptedEvent, limits: SubscriptionLimits, nowMillis: number) => Result.Result<void, SubscriptionError>;
+//#endregion
+export { applySubscriptionChange, applySubscriptionDeliveryChange, sameAcceptedEventIdentity, sameSourcePartition, sameSubscriptionDelivery, subscriptionCanSelect, subscriptionDeliveryCanSelect, subscriptionMatchesEvent, SubscriptionTransition_d_exports as t, validateEventRetention };
+//# sourceMappingURL=SubscriptionTransition.d.mts.map