@smthrs/flow 1.0.0-rc.4 → 1.0.0-rc.6

package/dist/esm/Flow/Runtime.js.map

@@ -1 +1 @@
-{"version":3,"file":"Runtime.js","sourceRoot":"","sources":["../../../src/Flow/Runtime.ts"],"names":[],"mappings":"AAAA,uDAAuD;AAEvD;;;;GAIG;AAEH,OAAO,KAAK,GAAG,MAAM,cAAc,CAAA;AACnC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAA;AAC7D,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACnE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAe,SAAS,EAAE,MAAM,aAAa,CAAA;AAExE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,MAA8B,EAK9B,EAAE,CACF,MAAM,CAAC,WAAW,CAAC,CAAC,OAAsC,EAAE,EAAE;IAC5D,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IACnD,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAA;IAC7E,MAAM,gBAAgB,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAA;IACjF,OAAO,MAAM,CAAC,IAAI;IAChB,0DAA0D;IAC1D,MAAM,CAAC,SAAS,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,EAC5C,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAC9F,MAAM,CAAC,aAAa,EACpB,gBAAgB;QACd,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE;YAC5B,QAAQ,CAAC,SAAS,GAAG,IAAI,CAAA;YACzB,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpC,QAAQ,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;YACjD,CAAC;YACD,OAAO,MAAM,CAAC,SAAS,CAAA;QACzB,CAAC,CAAC;QACF,CAAC,CAAC,QAAQ,EACZ,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,gBAAgB,CAAC;QACtB,oEAAoE;QACpE,uEAAuE;QACvE,0CAA0C;QAC1C,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CACnB,MAAM,CAAC,OAAO,CACZ,QAAQ,CAAC,OAAO,IAAI,IAAI,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAChE;QACH,SAAS,EAAE,CAAC,KAAK,EAA+B,EAAE;YAChD,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,GAAG,CAAC,SAAS,CACzC,KAAK,CAAC,OAAO,EACb,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAC9C,CAAA;YACD,MAAM,iBAAiB,GAAG,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM,CAAA;YACpE,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,CAAA;YAC1E,OAAO,QAAQ,CAAC,SAAS,IAAI,iBAAiB;gBAC5C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC1D,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,IAAI,iBAAiB,CAAC;oBAC1C,CAAC,CAAC,cAAc,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;oBAC7C,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,QAA8B,CAAC;oBAClD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAA;QACtE,CAAC;KACF,CAAC,EACF,CAAC,GAAG,EAAE,EAAE,CACN,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;QACnC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,OAAO,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QAC1C,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC1C,OAAO,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACrD,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzC,oEAAoE;YACpE,qEAAqE;YACrE,oEAAoE;YACpE,oDAAoD;YACpD,OAAO,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;QAC/C,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAA;IACpB,CAAC,EAAE,IAAI,CAAC,EACV,MAAM,CAAC,eAAe,CACvB,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,gBAAgB,GAAG,OAAO,CAAC,SAAS,CACxC,oCAAoC,EACpC,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAC3B,CAAA;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,MAA8B,EAC9B,SAAgC,EACO,EAAE,CACzC,MAAM,CAAC,WAAW,CAAC,CAAC,OAAsC,EAAE,EAAE;IAC5D,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IACnD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAA;IAC9D,sEAAsE;IACtE,2EAA2E;IAC3E,eAAe;IACf,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,KAAK,MAAM,IAAI,IAAI,SAAS;QAAE,IAAI,IAAI,KAAK,QAAQ;YAAE,SAAS,EAAE,CAAA;IAChE,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAA;IAClC,IAAI,KAAK,CAAC,KAAK,KAAK,CAAC;QAAE,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,CAAA;IAChD,KAAK,CAAC,KAAK,EAAE,CAAA;IACb,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,gBAAgB,EAAE,CAAC,GAAG,SAAS,EAAE,QAAQ,CAAC,CAAC,EACzE,CAAC,IAAI,EAAE,EAAE;QACP,KAAK,CAAC,KAAK,EAAE,CAAA;QACb,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACjE,IACE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;YACpB,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW;YAC/B,IAAI,CAAC,KAAK,CAAC,KAAK,EAChB,CAAC;YACD,QAAQ,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK;gBAC7B,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;gBACjD,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAA;QACtB,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAA;QAC9C,uEAAuE;QACvE,sEAAsE;QACtE,wEAAwE;QACxE,2CAA2C;QAC3C,OAAO,WAAW;YAChB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC3E,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACxC,CAAC,CACF,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,iEAAiE;AACjE,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EACjD,QAAiC,EACjC,SAAiB;IAEjB,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAA;IAClC,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,KAAK,CAAC,KAAK,GAAG,SAAS,EAAE,CAAC;YAC5B,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAA;YACxB,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAA;YACtB,SAAQ;QACV,CAAC;QACD,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAA;QACtB,IAAI,KAAK,CAAC,KAAK,IAAI,SAAS;YAAE,OAAM;IACtC,CAAC;AACH,CAAC,CAAC,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,KAAK,GAId,MAAM,CAAC,GAAG,CACZ,YAAY,EACZ,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAoB,CAC5C,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,MAA8B,EAC+B,EAAE,CAC/D,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;AAEhE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY;AAOvB,oEAAoE;AACpE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EACzB,CAAuE;IAEvE,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;IACpC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAK,CAAA;IAC3C,KAAK,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAA;AACnG,CAAC,CAAC,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,MAAM,YAAY,GAUrB,IAAI,CAAC,CAAC,EAAE,CACV,MAA8B,EAC9B,QAAmF,EACzB,EAAE,CAC5D,MAAM,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE,CACrC,MAAM,CAAC,GAAG,CACR,OAAO,CAAC,MAAM,CAAC,EACf,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CACpG,CACF,CAAC,CAAA;AAEJ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,QAAiC,EAAwB,EAAE,CACjF,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAQ,GAAG,EAAE;IAC/C,QAAQ,CAAC,SAAS,GAAG,IAAI,CAAA;IACzB,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,EAAG,CAAA;IACjC,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;AACjC,CAAC,CAAC,CAAC,CAAA","sourcesContent":["// Deep reviewed and polished by a human on 2026-08-10.\n\n/**\n * Runtime helpers for flow completion, suspension, scopes, and rollback.\n *\n * @since 0.1.0\n */\n\nimport * as Arr from \"effect/Array\"\nimport * as Cause from \"effect/Cause\"\nimport * as Context from \"effect/Context\"\nimport * as Effect from \"effect/Effect\"\nimport * as Exit from \"effect/Exit\"\nimport * as Fiber from \"effect/Fiber\"\nimport * as Filter from \"effect/Filter\"\nimport { dual, identity } from \"effect/Function\"\nimport * as Scope from \"effect/Scope\"\nimport { FlowInstance } from \"../FlowRuntime/FlowInstance.ts\"\nimport { CaptureDefects, SuspendOnFailure } from \"./Annotations.ts\"\nimport { Complete, isResult, type Result, Suspended } from \"./Result.ts\"\n\n/**\n * Runs an effect as a flow execution and converts its outcome into a\n * `Result`, handling suspension, defect capture, interruption, and flow\n * scope finalization.\n *\n * @category results\n * @since 0.1.0\n */\nexport const intoResult = <A, E, R>(\n  effect: Effect.Effect<A, E, R>\n): Effect.Effect<\n  Result<A, E>,\n  never,\n  Exclude<R, Scope.Scope> | FlowInstance\n> =>\n  Effect.contextWith((context: Context.Context<FlowInstance>) => {\n    const instance = Context.get(context, FlowInstance)\n    const captureDefects = Context.get(instance.flow.annotations, CaptureDefects)\n    const suspendOnFailure = Context.get(instance.flow.annotations, SuspendOnFailure)\n    return effect.pipe(\n      // so we can use external interruption to suspend the flow\n      Effect.forkChild({ startImmediately: true }),\n      Effect.flatMap((fiber) => Effect.onInterrupt(Fiber.join(fiber), () => Fiber.interrupt(fiber))),\n      Effect.interruptible,\n      suspendOnFailure\n        ? Effect.catchCause((cause) => {\n          instance.suspended = true\n          if (!Cause.hasInterruptsOnly(cause)) {\n            instance.cause = Cause.die(Cause.squash(cause))\n          }\n          return Effect.interrupt\n        })\n        : identity,\n      Effect.scoped,\n      Effect.matchCauseEffect({\n        // A body that handed off produced no answer of its own, so the slot\n        // the handoff was recorded in wins over the value the handler returned\n        // (`docs/concepts/trampoline-rounds.md`).\n        onSuccess: (value) =>\n          Effect.succeed(\n            instance.handoff ?? new Complete({ exit: Exit.succeed(value) })\n          ),\n        onFailure: (cause): Effect.Effect<Result<A, E>> => {\n          const [reasons, interrupts] = Arr.partition(\n            cause.reasons,\n            Filter.fromPredicate(Cause.isInterruptReason)\n          )\n          const hasInterruptsOnly = interrupts.length === cause.reasons.length\n          const filtered = reasons.length === 0 ? cause : Cause.fromReasons(reasons)\n          return instance.suspended && hasInterruptsOnly\n            ? Effect.succeed(new Suspended({ cause: instance.cause }))\n            : (!instance.interrupted && hasInterruptsOnly) ||\n                (!captureDefects && Cause.hasDies(cause))\n            ? Effect.failCause(filtered as Cause.Cause<never>)\n            : Effect.succeed(new Complete({ exit: Exit.failCause(filtered) }))\n        }\n      }),\n      (eff) =>\n        Effect.onExitPrimitive(eff, (exit) => {\n          if (Exit.isFailure(exit)) {\n            return Scope.close(instance.scope, exit)\n          } else if (exit.value._tag === \"Complete\") {\n            return Scope.close(instance.scope, exit.value.exit)\n          } else if (exit.value._tag === \"Handoff\") {\n            // A handoff ends this round for good — the next round is a separate\n            // execution with its own instance and its own scope — so the round's\n            // scope closes here exactly as a completion closes it. A suspension\n            // is the only settlement that keeps the scope open.\n            return Scope.close(instance.scope, Exit.void)\n          }\n          return Effect.void\n        }, true),\n      Effect.uninterruptible\n    )\n  })\n\n/**\n * The action regions open on the current fiber's dynamic call stack.\n *\n * `actionState.count` says how many regions are open on an instance; it does\n * not say which of them the current region is nested inside. That difference is\n * the whole of {@link wrapActionResult}'s liveness: a region that suspends\n * waits for the *other* open regions to settle, and an enclosing region can\n * never settle before the region inside it returns. Carrying the enclosing\n * instances in the context is what lets a suspension tell a sibling — which\n * will settle — from an ancestor, which is waiting on the very fiber that is\n * waiting on it.\n *\n * It is a context reference rather than a fiber-local counter because the chain\n * crosses fibers: {@link intoResult} forks the body, and an engine gives every\n * action dispatch a fiber of its own. Context propagates to forked children;\n * a per-fiber counter would restart at each fork and read every ancestor as a\n * sibling again.\n */\nconst EnclosingActions = Context.Reference<ReadonlyArray<FlowInstance[\"Service\"]>>(\n  \"@smthrs/flow/Flow/EnclosingActions\",\n  { defaultValue: () => [] }\n)\n\n/**\n * Wraps an action-like effect so flow suspension waits for currently\n * running actions to finish or suspend.\n *\n * The wait is for *siblings*. An action that suspends holds work its siblings\n * have not journaled yet, so the flow must not park out from under them; an\n * enclosing region holds no such work, because everything it is doing is this\n * region. Waiting for one is a deadlock, and it was a real one: a harness cell\n * call is an action, the `wait` flow it dispatches awaits a `DurableClock`\n * under the run's own instance, and the round that should have parked instead\n * blocked forever inside an uninterruptible finalizer — not cancellable, not\n * resumable, and invisible in the journal past the `clock-scheduled` record.\n *\n * @category results\n * @since 0.1.0\n */\nexport const wrapActionResult = <A, E, R>(\n  effect: Effect.Effect<A, E, R>,\n  isSuspend: (value: A) => boolean\n): Effect.Effect<A, E, R | FlowInstance> =>\n  Effect.contextWith((context: Context.Context<FlowInstance>) => {\n    const instance = Context.get(context, FlowInstance)\n    const enclosing = Context.getUnsafe(context, EnclosingActions)\n    // How many of the regions counted on this instance are this one's own\n    // ancestors, and so how many of them will still be open once every sibling\n    // has settled.\n    let ancestors = 0\n    for (const open of enclosing) if (open === instance) ancestors++\n    const state = instance.actionState\n    if (state.count === 0) state.latch.closeUnsafe()\n    state.count++\n    return Effect.onExit(\n      Effect.provideService(effect, EnclosingActions, [...enclosing, instance]),\n      (exit) => {\n        state.count--\n        const isSuspended = Exit.isSuccess(exit) && isSuspend(exit.value)\n        if (\n          Exit.isSuccess(exit) &&\n          isResult(exit.value) &&\n          exit.value._tag === \"Suspended\" &&\n          exit.value.cause\n        ) {\n          instance.cause = instance.cause\n            ? Cause.combine(instance.cause, exit.value.cause)\n            : exit.value.cause\n        }\n        if (state.count === 0) return state.latch.open\n        // Every decrement can satisfy a waiter whose threshold is not zero, so\n        // the waiters are released to re-test their own. `release` wakes them\n        // without opening the latch, so the ones still short of their threshold\n        // park again on the next turn of the loop.\n        return isSuspended\n          ? Effect.andThen(state.latch.release, waitForSiblings(instance, ancestors))\n          : Effect.asVoid(state.latch.release)\n      }\n    )\n  })\n\n// Untraced because this latch loop is a flow scheduler hot path.\nconst waitForSiblings = Effect.fnUntraced(function*(\n  instance: FlowInstance[\"Service\"],\n  ancestors: number\n) {\n  const state = instance.actionState\n  while (true) {\n    if (state.count > ancestors) {\n      yield* state.latch.await\n      yield* Effect.yieldNow\n      continue\n    }\n    yield* Effect.yieldNow\n    if (state.count <= ancestors) return\n  }\n})\n\n/**\n * Accesses the current round's flow scope. Suspension keeps it open;\n * completion or handoff closes it.\n *\n * @category resource management\n * @since 0.1.0\n */\nexport const scope: Effect.Effect<\n  Scope.Scope,\n  never,\n  FlowInstance\n> = Effect.map(\n  FlowInstance,\n  (instance) => instance.scope as Scope.Scope\n)\n\n/**\n * Provides the current round's flow scope to the given effect. Suspension keeps\n * the scope open; completion or handoff closes it.\n *\n * @category resource management\n * @since 0.1.0\n */\nexport const provideScope = <A, E, R>(\n  effect: Effect.Effect<A, E, R>\n): Effect.Effect<A, E, Exclude<R, Scope.Scope> | FlowInstance> =>\n  Effect.flatMap(scope, (scope) => Scope.provide(effect, scope))\n\n/**\n * Adds an exit finalizer to the current flow scope, preserving the\n * services available when the finalizer is registered.\n *\n * @category resource management\n * @since 0.1.0\n */\nexport const addFinalizer: <R>(\n  f: (exit: Exit.Exit<unknown, unknown>) => Effect.Effect<void, never, R>\n) => Effect.Effect<\n  void,\n  never,\n  FlowInstance | R\n> =\n  // Untraced because suspension recursively re-enters flow execution.\n  Effect.fnUntraced(function*<R>(\n    f: (exit: Exit.Exit<unknown, unknown>) => Effect.Effect<void, never, R>\n  ) {\n    const instance = yield* FlowInstance\n    const services = yield* Effect.context<R>()\n    yield* Scope.addFinalizerExit(instance.scope, (exit) => Effect.provideContext(f(exit), services))\n  })\n\n/**\n * Runs an effect and registers how to undo its successful result if the\n * current round later exits unsuccessfully.\n *\n * **When to use**\n *\n * Use when a top-level flow operation changes something that must be undone if\n * a later operation causes the same round to fail or be interrupted.\n *\n * **Details**\n *\n * The effect runs first. If it fails, no rollback is registered. If it\n * succeeds, its value is captured in a round-scope finalizer. The finalizer does\n * nothing when the round succeeds; when the round exits unsuccessfully\n * it calls `rollback(value, cause)`. Suspension keeps that scope open.\n *\n * A handoff completes the round successfully and discards its `withRollback` registrations.\n * A later round's failure cannot invoke those rollbacks. The engine does not\n * provide lineage-scoped compensation.\n *\n * **Gotchas**\n *\n * This applies only to effects run directly inside the flow execution. It does\n * not attach rollback behavior to nested actions. The rollback's typed error\n * channel is `never`; handle expected rollback failures inside the callback.\n *\n * @category resource management\n * @since 0.1.0\n */\nexport const withRollback: {\n  <A, R2>(\n    rollback: (value: A, cause: Cause.Cause<unknown>) => Effect.Effect<void, never, R2>\n  ): <E, R>(\n    effect: Effect.Effect<A, E, R>\n  ) => Effect.Effect<A, E, R | R2 | FlowInstance | Scope.Scope>\n  <A, E, R, R2>(\n    effect: Effect.Effect<A, E, R>,\n    rollback: (value: A, cause: Cause.Cause<unknown>) => Effect.Effect<void, never, R2>\n  ): Effect.Effect<A, E, R | R2 | FlowInstance | Scope.Scope>\n} = dual(2, <A, E, R, R2>(\n  effect: Effect.Effect<A, E, R>,\n  rollback: (value: A, cause: Cause.Cause<unknown>) => Effect.Effect<void, never, R2>\n): Effect.Effect<A, E, R | R2 | FlowInstance | Scope.Scope> =>\n  Effect.uninterruptibleMask((restore) =>\n    Effect.tap(\n      restore(effect),\n      (value) => addFinalizer((exit) => Exit.isSuccess(exit) ? Effect.void : rollback(value, exit.cause))\n    )\n  ))\n\n/**\n * Marks a flow instance as suspended and interrupts the current fiber to\n * stop execution until it is resumed.\n *\n * @category results\n * @since 0.1.0\n */\nexport const suspend = (instance: FlowInstance[\"Service\"]): Effect.Effect<never> =>\n  Effect.interruptible(Effect.callback<never>(() => {\n    instance.suspended = true\n    const fiber = Fiber.getCurrent()!\n    fiber.interruptUnsafe(fiber.id)\n  }))\n"]}
+{"version":3,"file":"Runtime.js","sourceRoot":"","sources":["../../../src/Flow/Runtime.ts"],"names":[],"mappings":"AAAA,uDAAuD;AAEvD;;;;GAIG;AAEH,OAAO,KAAK,GAAG,MAAM,cAAc,CAAA;AACnC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAA;AAC7D,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACnE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAe,SAAS,EAAE,MAAM,aAAa,CAAA;AAExE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,MAA8B,EAK9B,EAAE,CACF,MAAM,CAAC,WAAW,CAAC,CAAC,OAAsC,EAAE,EAAE;IAC5D,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IACnD,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAA;IAC7E,MAAM,gBAAgB,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAA;IACjF,OAAO,MAAM,CAAC,IAAI;IAChB,0DAA0D;IAC1D,MAAM,CAAC,SAAS,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,EAC5C,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAC9F,MAAM,CAAC,aAAa,EACpB,gBAAgB;QACd,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE;YAC5B,QAAQ,CAAC,SAAS,GAAG,IAAI,CAAA;YACzB,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpC,QAAQ,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;YACjD,CAAC;YACD,OAAO,MAAM,CAAC,SAAS,CAAA;QACzB,CAAC,CAAC;QACF,CAAC,CAAC,QAAQ,EACZ,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,gBAAgB,CAAC;QACtB,oEAAoE;QACpE,uEAAuE;QACvE,0CAA0C;QAC1C,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CACnB,MAAM,CAAC,OAAO,CACZ,QAAQ,CAAC,OAAO,IAAI,IAAI,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAChE;QACH,SAAS,EAAE,CAAC,KAAK,EAA+B,EAAE;YAChD,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,GAAG,CAAC,SAAS,CACzC,KAAK,CAAC,OAAO,EACb,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAC9C,CAAA;YACD,MAAM,iBAAiB,GAAG,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM,CAAA;YACpE,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,CAAA;YAC1E,OAAO,QAAQ,CAAC,SAAS,IAAI,iBAAiB;gBAC5C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC1D,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,IAAI,iBAAiB,CAAC;oBAC1C,CAAC,CAAC,cAAc,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;oBAC7C,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,QAA8B,CAAC;oBAClD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAA;QACtE,CAAC;KACF,CAAC,EACF,CAAC,GAAG,EAAE,EAAE,CACN,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;QACnC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,OAAO,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QAC1C,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC1C,OAAO,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACrD,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzC,oEAAoE;YACpE,qEAAqE;YACrE,oEAAoE;YACpE,oDAAoD;YACpD,OAAO,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;QAC/C,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAA;IACpB,CAAC,EAAE,IAAI,CAAC,EACV,MAAM,CAAC,eAAe,CACvB,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,gBAAgB,GAAG,OAAO,CAAC,SAAS,CACxC,oCAAoC,EACpC,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAC3B,CAAA;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,MAA8B,EAC9B,SAAgC,EACO,EAAE,CACzC,MAAM,CAAC,WAAW,CAAC,CAAC,OAAsC,EAAE,EAAE;IAC5D,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IACnD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAA;IAC9D,sEAAsE;IACtE,2EAA2E;IAC3E,eAAe;IACf,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,KAAK,MAAM,IAAI,IAAI,SAAS;QAAE,IAAI,IAAI,KAAK,QAAQ;YAAE,SAAS,EAAE,CAAA;IAChE,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAA;IAClC,IAAI,KAAK,CAAC,KAAK,KAAK,CAAC;QAAE,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,CAAA;IAChD,KAAK,CAAC,KAAK,EAAE,CAAA;IACb,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,gBAAgB,EAAE,CAAC,GAAG,SAAS,EAAE,QAAQ,CAAC,CAAC,EACzE,CAAC,IAAI,EAAE,EAAE;QACP,KAAK,CAAC,KAAK,EAAE,CAAA;QACb,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACjE,IACE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;YACpB,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW;YAC/B,IAAI,CAAC,KAAK,CAAC,KAAK,EAChB,CAAC;YACD,QAAQ,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK;gBAC7B,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;gBACjD,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAA;QACtB,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAA;QAC9C,uEAAuE;QACvE,sEAAsE;QACtE,wEAAwE;QACxE,2CAA2C;QAC3C,OAAO,WAAW;YAChB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC3E,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACxC,CAAC,CACF,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,iEAAiE;AACjE,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EACjD,QAAiC,EACjC,SAAiB;IAEjB,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAA;IAClC,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,KAAK,CAAC,KAAK,GAAG,SAAS,EAAE,CAAC;YAC5B,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAA;YACxB,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAA;YACtB,SAAQ;QACV,CAAC;QACD,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAA;QACtB,IAAI,KAAK,CAAC,KAAK,IAAI,SAAS;YAAE,OAAM;IACtC,CAAC;AACH,CAAC,CAAC,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,KAAK,GAId,MAAM,CAAC,GAAG,CACZ,YAAY,EACZ,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAoB,CAC5C,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,MAA8B,EAC+B,EAAE,CAC/D,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;AAEhE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY;AAOvB,oEAAoE;AACpE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EACzB,CAAuE;IAEvE,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;IACpC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAK,CAAA;IAC3C,KAAK,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAA;AACnG,CAAC,CAAC,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,MAAM,YAAY,GAUrB,IAAI,CAAC,CAAC,EAAE,CACV,MAA8B,EAC9B,QAAmF,EACzB,EAAE,CAC5D,MAAM,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE,CACrC,MAAM,CAAC,GAAG,CACR,OAAO,CAAC,MAAM,CAAC,EACf,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CACpG,CACF,CAAC,CAAA;AAEJ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,QAAiC,EAAwB,EAAE,CACjF,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAQ,GAAG,EAAE;IAC/C,QAAQ,CAAC,SAAS,GAAG,IAAI,CAAA;IACzB,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,EAAG,CAAA;IACjC,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;AACjC,CAAC,CAAC,CAAC,CAAA","sourcesContent":["// Deep reviewed and polished by a human on 2026-08-10.\n\n/**\n * Runtime helpers for flow completion, suspension, scopes, and rollback.\n *\n * @since 0.1.0\n */\n\nimport * as Arr from \"effect/Array\"\nimport * as Cause from \"effect/Cause\"\nimport * as Context from \"effect/Context\"\nimport * as Effect from \"effect/Effect\"\nimport * as Exit from \"effect/Exit\"\nimport * as Fiber from \"effect/Fiber\"\nimport * as Filter from \"effect/Filter\"\nimport { dual, identity } from \"effect/Function\"\nimport * as Scope from \"effect/Scope\"\nimport { FlowInstance } from \"../FlowRuntime/FlowInstance.ts\"\nimport { CaptureDefects, SuspendOnFailure } from \"./Annotations.ts\"\nimport { Complete, isResult, type Result, Suspended } from \"./Result.ts\"\n\n/**\n * Runs an effect as a flow execution and converts its outcome into a\n * `Result`, handling suspension, defect capture, interruption, and flow\n * scope finalization.\n *\n * @category results\n * @since 0.1.0\n */\nexport const intoResult = <A, E, R>(\n  effect: Effect.Effect<A, E, R>\n): Effect.Effect<\n  Result<A, E>,\n  never,\n  Exclude<R, Scope.Scope> | FlowInstance\n> =>\n  Effect.contextWith((context: Context.Context<FlowInstance>) => {\n    const instance = Context.get(context, FlowInstance)\n    const captureDefects = Context.get(instance.flow.annotations, CaptureDefects)\n    const suspendOnFailure = Context.get(instance.flow.annotations, SuspendOnFailure)\n    return effect.pipe(\n      // so we can use external interruption to suspend the flow\n      Effect.forkChild({ startImmediately: true }),\n      Effect.flatMap((fiber) => Effect.onInterrupt(Fiber.join(fiber), () => Fiber.interrupt(fiber))),\n      Effect.interruptible,\n      suspendOnFailure\n        ? Effect.catchCause((cause) => {\n          instance.suspended = true\n          if (!Cause.hasInterruptsOnly(cause)) {\n            instance.cause = Cause.die(Cause.squash(cause))\n          }\n          return Effect.interrupt\n        })\n        : identity,\n      Effect.scoped,\n      Effect.matchCauseEffect({\n        // A body that handed off produced no answer of its own, so the slot\n        // the handoff was recorded in wins over the value the handler returned\n        // (`docs/concepts/trampoline-rounds.md`).\n        onSuccess: (value) =>\n          Effect.succeed(\n            instance.handoff ?? new Complete({ exit: Exit.succeed(value) })\n          ),\n        onFailure: (cause): Effect.Effect<Result<A, E>> => {\n          const [interrupts, reasons] = Arr.partition(\n            cause.reasons,\n            Filter.fromPredicate(Cause.isInterruptReason)\n          )\n          const hasInterruptsOnly = interrupts.length === cause.reasons.length\n          const filtered = reasons.length === 0 ? cause : Cause.fromReasons(reasons)\n          return instance.suspended && hasInterruptsOnly\n            ? Effect.succeed(new Suspended({ cause: instance.cause }))\n            : (!instance.interrupted && hasInterruptsOnly) ||\n                (!captureDefects && Cause.hasDies(cause))\n            ? Effect.failCause(filtered as Cause.Cause<never>)\n            : Effect.succeed(new Complete({ exit: Exit.failCause(filtered) }))\n        }\n      }),\n      (eff) =>\n        Effect.onExitPrimitive(eff, (exit) => {\n          if (Exit.isFailure(exit)) {\n            return Scope.close(instance.scope, exit)\n          } else if (exit.value._tag === \"Complete\") {\n            return Scope.close(instance.scope, exit.value.exit)\n          } else if (exit.value._tag === \"Handoff\") {\n            // A handoff ends this round for good — the next round is a separate\n            // execution with its own instance and its own scope — so the round's\n            // scope closes here exactly as a completion closes it. A suspension\n            // is the only settlement that keeps the scope open.\n            return Scope.close(instance.scope, Exit.void)\n          }\n          return Effect.void\n        }, true),\n      Effect.uninterruptible\n    )\n  })\n\n/**\n * The action regions open on the current fiber's dynamic call stack.\n *\n * `actionState.count` says how many regions are open on an instance; it does\n * not say which of them the current region is nested inside. That difference is\n * the whole of {@link wrapActionResult}'s liveness: a region that suspends\n * waits for the *other* open regions to settle, and an enclosing region can\n * never settle before the region inside it returns. Carrying the enclosing\n * instances in the context is what lets a suspension tell a sibling — which\n * will settle — from an ancestor, which is waiting on the very fiber that is\n * waiting on it.\n *\n * It is a context reference rather than a fiber-local counter because the chain\n * crosses fibers: {@link intoResult} forks the body, and an engine gives every\n * action dispatch a fiber of its own. Context propagates to forked children;\n * a per-fiber counter would restart at each fork and read every ancestor as a\n * sibling again.\n */\nconst EnclosingActions = Context.Reference<ReadonlyArray<FlowInstance[\"Service\"]>>(\n  \"@smthrs/flow/Flow/EnclosingActions\",\n  { defaultValue: () => [] }\n)\n\n/**\n * Wraps an action-like effect so flow suspension waits for currently\n * running actions to finish or suspend.\n *\n * The wait is for *siblings*. An action that suspends holds work its siblings\n * have not journaled yet, so the flow must not park out from under them; an\n * enclosing region holds no such work, because everything it is doing is this\n * region. Waiting for one is a deadlock, and it was a real one: a harness cell\n * call is an action, the `wait` flow it dispatches awaits a `DurableClock`\n * under the run's own instance, and the round that should have parked instead\n * blocked forever inside an uninterruptible finalizer — not cancellable, not\n * resumable, and invisible in the journal past the `clock-scheduled` record.\n *\n * @category results\n * @since 0.1.0\n */\nexport const wrapActionResult = <A, E, R>(\n  effect: Effect.Effect<A, E, R>,\n  isSuspend: (value: A) => boolean\n): Effect.Effect<A, E, R | FlowInstance> =>\n  Effect.contextWith((context: Context.Context<FlowInstance>) => {\n    const instance = Context.get(context, FlowInstance)\n    const enclosing = Context.getUnsafe(context, EnclosingActions)\n    // How many of the regions counted on this instance are this one's own\n    // ancestors, and so how many of them will still be open once every sibling\n    // has settled.\n    let ancestors = 0\n    for (const open of enclosing) if (open === instance) ancestors++\n    const state = instance.actionState\n    if (state.count === 0) state.latch.closeUnsafe()\n    state.count++\n    return Effect.onExit(\n      Effect.provideService(effect, EnclosingActions, [...enclosing, instance]),\n      (exit) => {\n        state.count--\n        const isSuspended = Exit.isSuccess(exit) && isSuspend(exit.value)\n        if (\n          Exit.isSuccess(exit) &&\n          isResult(exit.value) &&\n          exit.value._tag === \"Suspended\" &&\n          exit.value.cause\n        ) {\n          instance.cause = instance.cause\n            ? Cause.combine(instance.cause, exit.value.cause)\n            : exit.value.cause\n        }\n        if (state.count === 0) return state.latch.open\n        // Every decrement can satisfy a waiter whose threshold is not zero, so\n        // the waiters are released to re-test their own. `release` wakes them\n        // without opening the latch, so the ones still short of their threshold\n        // park again on the next turn of the loop.\n        return isSuspended\n          ? Effect.andThen(state.latch.release, waitForSiblings(instance, ancestors))\n          : Effect.asVoid(state.latch.release)\n      }\n    )\n  })\n\n// Untraced because this latch loop is a flow scheduler hot path.\nconst waitForSiblings = Effect.fnUntraced(function*(\n  instance: FlowInstance[\"Service\"],\n  ancestors: number\n) {\n  const state = instance.actionState\n  while (true) {\n    if (state.count > ancestors) {\n      yield* state.latch.await\n      yield* Effect.yieldNow\n      continue\n    }\n    yield* Effect.yieldNow\n    if (state.count <= ancestors) return\n  }\n})\n\n/**\n * Accesses the current round's flow scope. Suspension keeps it open;\n * completion or handoff closes it.\n *\n * @category resource management\n * @since 0.1.0\n */\nexport const scope: Effect.Effect<\n  Scope.Scope,\n  never,\n  FlowInstance\n> = Effect.map(\n  FlowInstance,\n  (instance) => instance.scope as Scope.Scope\n)\n\n/**\n * Provides the current round's flow scope to the given effect. Suspension keeps\n * the scope open; completion or handoff closes it.\n *\n * @category resource management\n * @since 0.1.0\n */\nexport const provideScope = <A, E, R>(\n  effect: Effect.Effect<A, E, R>\n): Effect.Effect<A, E, Exclude<R, Scope.Scope> | FlowInstance> =>\n  Effect.flatMap(scope, (scope) => Scope.provide(effect, scope))\n\n/**\n * Adds an exit finalizer to the current flow scope, preserving the\n * services available when the finalizer is registered.\n *\n * @category resource management\n * @since 0.1.0\n */\nexport const addFinalizer: <R>(\n  f: (exit: Exit.Exit<unknown, unknown>) => Effect.Effect<void, never, R>\n) => Effect.Effect<\n  void,\n  never,\n  FlowInstance | R\n> =\n  // Untraced because suspension recursively re-enters flow execution.\n  Effect.fnUntraced(function*<R>(\n    f: (exit: Exit.Exit<unknown, unknown>) => Effect.Effect<void, never, R>\n  ) {\n    const instance = yield* FlowInstance\n    const services = yield* Effect.context<R>()\n    yield* Scope.addFinalizerExit(instance.scope, (exit) => Effect.provideContext(f(exit), services))\n  })\n\n/**\n * Runs an effect and registers how to undo its successful result if the\n * current round later exits unsuccessfully.\n *\n * **When to use**\n *\n * Use when a top-level flow operation changes something that must be undone if\n * a later operation causes the same round to fail or be interrupted.\n *\n * **Details**\n *\n * The effect runs first. If it fails, no rollback is registered. If it\n * succeeds, its value is captured in a round-scope finalizer. The finalizer does\n * nothing when the round succeeds; when the round exits unsuccessfully\n * it calls `rollback(value, cause)`. Suspension keeps that scope open.\n *\n * A handoff completes the round successfully and discards its `withRollback` registrations.\n * A later round's failure cannot invoke those rollbacks. The engine does not\n * provide lineage-scoped compensation.\n *\n * **Gotchas**\n *\n * This applies only to effects run directly inside the flow execution. It does\n * not attach rollback behavior to nested actions. The rollback's typed error\n * channel is `never`; handle expected rollback failures inside the callback.\n *\n * @category resource management\n * @since 0.1.0\n */\nexport const withRollback: {\n  <A, R2>(\n    rollback: (value: A, cause: Cause.Cause<unknown>) => Effect.Effect<void, never, R2>\n  ): <E, R>(\n    effect: Effect.Effect<A, E, R>\n  ) => Effect.Effect<A, E, R | R2 | FlowInstance | Scope.Scope>\n  <A, E, R, R2>(\n    effect: Effect.Effect<A, E, R>,\n    rollback: (value: A, cause: Cause.Cause<unknown>) => Effect.Effect<void, never, R2>\n  ): Effect.Effect<A, E, R | R2 | FlowInstance | Scope.Scope>\n} = dual(2, <A, E, R, R2>(\n  effect: Effect.Effect<A, E, R>,\n  rollback: (value: A, cause: Cause.Cause<unknown>) => Effect.Effect<void, never, R2>\n): Effect.Effect<A, E, R | R2 | FlowInstance | Scope.Scope> =>\n  Effect.uninterruptibleMask((restore) =>\n    Effect.tap(\n      restore(effect),\n      (value) => addFinalizer((exit) => Exit.isSuccess(exit) ? Effect.void : rollback(value, exit.cause))\n    )\n  ))\n\n/**\n * Marks a flow instance as suspended and interrupts the current fiber to\n * stop execution until it is resumed.\n *\n * @category results\n * @since 0.1.0\n */\nexport const suspend = (instance: FlowInstance[\"Service\"]): Effect.Effect<never> =>\n  Effect.interruptible(Effect.callback<never>(() => {\n    instance.suspended = true\n    const fiber = Fiber.getCurrent()!\n    fiber.interruptUnsafe(fiber.id)\n  }))\n"]}

package/dist/esm/Flow/internal.js

@@ -113,7 +113,7 @@ const Proto = {
         }))))))).pipe(Effect.withSpan(`${this._tag}.execute`, {}, { captureStackTrace: false }));
     },
     start(payload) {
-        return Effect.flatMap(Crypto.Crypto, (crypto) => Effect.flatMap(Effect.orDie(crypto.randomUUIDv4), (executionId) => this.execute(payload, { executionId, discard: true })));
+        return Effect.flatMap(Crypto.Crypto, (crypto) => Effect.flatMap(Effect.orDie(crypto.randomUUIDv4()), (executionId) => this.execute(payload, { executionId, discard: true })));
     },
     ensure(payload, options) {
         return Schema.decodeUnknownEffect(Schema.String)(options.key).pipe(Effect.flatMap((key) => Effect.orDie(Schema.decodeUnknownEffect(Sha256)(JSON.stringify([this._tag, key])))), Effect.flatMap((executionId) => this.execute(payload, { executionId, discard: true })));

package/dist/esm/Flow/internal.js.map

@@ -1 +1 @@
-{"version":3,"file":"internal.js","sourceRoot":"","sources":["../../../src/Flow/internal.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AACvC,OAAO,KAAK,IAAI,MAAM,mBAAmB,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,yBAAyB,EAAE,MAAM,6CAA6C,CAAA;AACvF,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAA;AAC3D,OAAO,KAAK,eAAe,MAAM,gCAAgC,CAAA;AAEjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAA;AAGvD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC;;;;;;;;;;;;GAYG;AACH,MAAM,0BAA0B,GAAG,CACjC,IAAkB,EAClB,OAAgB,EACmB,EAAE;IACrC,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,CAAA;IAC1C,OAAO,cAAc,KAAK,SAAS;QACjC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7E,kFAAkF;QAClF,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AACjH,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CACzB,IAAkB,EAClB,OAAgB,EAChB,WAA+B,EACI,EAAE,CACrC,WAAW,KAAK,SAAS;IACvB,CAAC,CAAC,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC;IAC3C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;AAEjC,MAAM,KAAK,GAAG;IACZ,CAAC,MAAM,CAAC,EAAE,MAAM;IAChB,QAAQ,CAAqB,GAA0B,EAAE,KAAU;QACjE,OAAO,eAAe,CAAC,QAAQ,CAC7B,SAAS,CAAC;YACR,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,KAAK,CAAC;YACtD,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;YAC/C,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB,CAAC,EACF,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CACjC,CAAA;IACH,CAAC;IACD,aAAa,CAAqB,OAA6B;QAC7D,OAAO,eAAe,CAAC,QAAQ,CAC7B,SAAS,CAAC;YACR,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;YACrD,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;YAC/C,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB,CAAC,EACF,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CACjC,CAAA;IACH,CAAC;IACD,IAAI,CAAqB,OAAgB;QACvC,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;IAC1D,CAAC;IACD,KAAK,CAAqB,OAAgB;QACxC,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAC5D,CAAC;IACD,EAAE,CAAqB,OAAgB;QACrC,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;IAC3D,CAAC;IACD,OAAO,CAEL,MAAW,EACX,IAGa;QAEb,qEAAqE;QACrE,uEAAuE;QACvE,uEAAuE;QACvE,4CAA4C;QAC5C,OAAO,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAC/C,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EACzD,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACzB,MAAM,CAAC,OAAO,CACZ,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,EACpD,CAAC,WAAW,EAAE,EAAE,CACd,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CACrC,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,mBAAmB,CAAC,EAAE,WAAW,EAAE,CAAC,EAC3C,MAAM,CAAC,OAAO,CAAC,IAAW,EAAE;YAC1B,WAAW;YACX,OAAO;YACP,OAAO,EAAE,IAAI,EAAE,OAAO;YACtB,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;SAChD,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE;YAClC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YAC7F,OAAO,MAAM,EAAE,MAAM,YAAY,yBAAyB;gBACxD,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC5B,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QAC7B,CAAC,CAAC,CAAC,CACJ,CAAC,CACP,CACF,CACF,CAAC,IAAI,CACJ,MAAM,CAAC,QAAQ,CACb,GAAG,IAAI,CAAC,IAAI,UAAU,EACtB,EAAE,EACF,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAC7B,CACK,CAAA;IACV,CAAC;IACD,KAAK,CAAqB,OAAgB;QACxC,OAAO,MAAM,CAAC,OAAO,CACnB,MAAM,CAAC,MAAM,EACb,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,EACjC,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CACvE,CACJ,CAAA;IACH,CAAC;IACD,MAAM,CAAqB,OAAgB,EAAE,OAAiC;QAC5E,OAAO,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAChE,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAC3G,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CACvF,CAAA;IACH,CAAC;IACD,IAAI,CAAmE,WAAmB;QACxF,OAAO,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CACjF,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,IAAI,OAAO,EAAE,EAAE,UAAU,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,CACpG,CAAA;IACH,CAAC;IACD,SAAS,CAAqB,WAAmB;QAC/C,OAAO,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CACtF,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,IAAI,YAAY,EAAE,EAAE,UAAU,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,CACzG,CAAA;IACH,CAAC;IACD,MAAM,CAAmE,WAAmB;QAC1F,OAAO,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CACnF,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,IAAI,SAAS,EAAE,EAAE,UAAU,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,CACtG,CAAA;IACH,CAAC;IACD,WAAW,CAAqB,OAAY;QAC1C,OAAO,MAAM,CAAC,OAAO;QACnB,uGAAuG;QACvG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,EACpD,CAAC,OAAO,EAAE,EAAE,CAAC,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,CACvD,CAAA;IACH,CAAC;IACD,YAAY,EAAE,CAAC,CAAC,GAAG,IAAwB,EAAE,EAAE,CAAE,YAAoB,CAAC,GAAG,IAAI,CAAC,CAAC;CAChF,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAOvB,OAcC,EAC6C,EAAE;IAChD,SAAS,IAAI,KAAI,CAAC;IAClB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IAClC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IAC5B,OAAO,IAAW,CAAA;AACpB,CAAC,CAAA","sourcesContent":["/**\n * Private flow construction shared by declarations and action registration.\n *\n * @since 1.0.0\n * @private\n */\n\nimport { Sha256 } from \"@smthrs/crypto\"\nimport * as Node from \"@smthrs/plan/Node\"\nimport * as Cause from \"effect/Cause\"\nimport * as Context from \"effect/Context\"\nimport * as Crypto from \"effect/Crypto\"\nimport type * as Duration from \"effect/Duration\"\nimport * as Effect from \"effect/Effect\"\nimport * as Schema from \"effect/Schema\"\nimport { ExecutionIdentityConflict } from \"../FlowRuntime/ExecutionIdentityConflict.ts\"\nimport { FlowRuntime } from \"../FlowRuntime/FlowRuntime.ts\"\nimport * as DeclarationSite from \"../internal/DeclarationSite.ts\"\nimport type * as RetryPolicy from \"../RetryPolicy.ts\"\nimport { CurrentExecutionIds } from \"./ExecutionIds.ts\"\nimport type { Any, AnyStructSchema, AnyWithProps, BodySuccess, DeclarationMetadata, Flow } from \"./Flow.ts\"\nimport type { To } from \"./Outcome.ts\"\nimport { withRollback } from \"./Runtime.ts\"\nimport { TypeId } from \"./TypeId.ts\"\n\n/**\n * The identity of an invocation that named no `executionId`: the flow's own\n * declared key when it has one, and the ambient source otherwise.\n *\n * A declared key wins over the ambient source because it is the narrower\n * statement — this author said what makes two invocations of THIS flow the\n * same — where the source is the host's blanket answer for every flow it\n * drives.\n *\n * The tag and declared key are JSON-tuple framed before hashing. Their strings\n * are used exactly as given and encoded as UTF-8, with no Unicode\n * normalization. This preimage encoding freezes at rc.0.\n */\nconst makeExecutionIdFromPayload = (\n  self: AnyWithProps,\n  payload: unknown\n): Effect.Effect<string, never, any> => {\n  const idempotencyKey = self.idempotencyKey\n  return idempotencyKey === undefined\n    ? Effect.flatMap(CurrentExecutionIds, (source) => source.mint(self, payload))\n    // The JSON tuple prevents delimiter splicing. This exact framing freezes at rc.0.\n    : Schema.decodeUnknownEffect(Sha256)(JSON.stringify([self._tag, idempotencyKey(payload)])).pipe(Effect.orDie)\n}\n\nconst resolveExecutionId = (\n  self: AnyWithProps,\n  payload: unknown,\n  executionId: string | undefined\n): Effect.Effect<string, never, any> =>\n  executionId === undefined\n    ? makeExecutionIdFromPayload(self, payload)\n    : Effect.succeed(executionId)\n\nconst Proto = {\n  [TypeId]: TypeId,\n  annotate(this: AnyWithProps, tag: Context.Key<any, any>, value: any) {\n    return DeclarationSite.annotate(\n      makeProto({\n        _tag: this._tag,\n        description: this.description,\n        model: this.model,\n        effort: this.effort,\n        system: this.system,\n        chat: this.chat,\n        flows: this.flows,\n        prompt: this.prompt,\n        action: this.action,\n        payloadSchema: this.payloadSchema,\n        successSchema: this.successSchema,\n        errorSchema: this.errorSchema,\n        annotations: Context.add(this.annotations, tag, value),\n        body: this.body,\n        idempotencyKey: this.idempotencyKey,\n        suspendedRetryPolicy: this.suspendedRetryPolicy,\n        maxRounds: this.maxRounds,\n        deadline: this.deadline\n      }),\n      DeclarationSite.declaredAt(this)\n    )\n  },\n  annotateMerge(this: AnyWithProps, context: Context.Context<any>) {\n    return DeclarationSite.annotate(\n      makeProto({\n        _tag: this._tag,\n        description: this.description,\n        model: this.model,\n        effort: this.effort,\n        system: this.system,\n        chat: this.chat,\n        flows: this.flows,\n        prompt: this.prompt,\n        action: this.action,\n        payloadSchema: this.payloadSchema,\n        successSchema: this.successSchema,\n        errorSchema: this.errorSchema,\n        annotations: Context.merge(this.annotations, context),\n        body: this.body,\n        idempotencyKey: this.idempotencyKey,\n        suspendedRetryPolicy: this.suspendedRetryPolicy,\n        maxRounds: this.maxRounds,\n        deadline: this.deadline\n      }),\n      DeclarationSite.declaredAt(this)\n    )\n  },\n  call(this: AnyWithProps, payload: unknown) {\n    return Node.flowCall(this, this._tag, \"inline\", payload)\n  },\n  child(this: AnyWithProps, payload: unknown) {\n    return Node.flowCall(this, this._tag, \"boundary\", payload)\n  },\n  to(this: AnyWithProps, payload: unknown): Node.Node<To<unknown>> {\n    return Node.flowCall(this, this._tag, \"handoff\", payload)\n  },\n  execute<const Discard extends boolean = false>(\n    this: AnyWithProps,\n    fields: any,\n    opts?: {\n      readonly discard?: Discard\n      readonly executionId?: string | undefined\n    } | undefined\n  ) {\n    // Caller input that fails the payload schema is data, not programmer\n    // wiring, so it FAILS with the schema's typed `SchemaError` — carrying\n    // the offending field path — instead of dying with the raw constructor\n    // throw `payloadSchema.make` would produce.\n    return this.payloadSchema.makeEffect(fields).pipe(\n      Effect.mapError((issue) => new Schema.SchemaError(issue)),\n      Effect.flatMap((payload) =>\n        Effect.flatMap(\n          resolveExecutionId(this, payload, opts?.executionId),\n          (executionId) =>\n            Effect.flatMap(FlowRuntime, (engine) =>\n              Effect.andThen(\n                Effect.annotateCurrentSpan({ executionId }),\n                engine.execute(this as any, {\n                  executionId,\n                  payload,\n                  discard: opts?.discard,\n                  suspendedRetryPolicy: this.suspendedRetryPolicy\n                }).pipe(Effect.catchCause((cause) => {\n                  const reason = cause.reasons.length === 1 ? cause.reasons.find(Cause.isDieReason) : undefined\n                  return reason?.defect instanceof ExecutionIdentityConflict\n                    ? Effect.fail(reason.defect)\n                    : Effect.failCause(cause)\n                }))\n              ))\n        )\n      )\n    ).pipe(\n      Effect.withSpan(\n        `${this._tag}.execute`,\n        {},\n        { captureStackTrace: false }\n      )\n    ) as any\n  },\n  start(this: AnyWithProps, payload: unknown) {\n    return Effect.flatMap(\n      Crypto.Crypto,\n      (crypto) =>\n        Effect.flatMap(\n          Effect.orDie(crypto.randomUUIDv4),\n          (executionId) => this.execute(payload, { executionId, discard: true })\n        )\n    )\n  },\n  ensure(this: AnyWithProps, payload: unknown, options: { readonly key: string }) {\n    return Schema.decodeUnknownEffect(Schema.String)(options.key).pipe(\n      Effect.flatMap((key) => Effect.orDie(Schema.decodeUnknownEffect(Sha256)(JSON.stringify([this._tag, key])))),\n      Effect.flatMap((executionId) => this.execute(payload, { executionId, discard: true }))\n    )\n  },\n  poll(this: Flow<string, AnyStructSchema, Schema.Top, Schema.Top, any>, executionId: string) {\n    return Effect.flatMap(FlowRuntime, (engine) => engine.poll(this, executionId)).pipe(\n      Effect.withSpan(`${this._tag}.poll`, { attributes: { executionId } }, { captureStackTrace: false })\n    )\n  },\n  interrupt(this: AnyWithProps, executionId: string) {\n    return Effect.flatMap(FlowRuntime, (engine) => engine.interrupt(this, executionId)).pipe(\n      Effect.withSpan(`${this._tag}.interrupt`, { attributes: { executionId } }, { captureStackTrace: false })\n    )\n  },\n  resume(this: Flow<string, AnyStructSchema, Schema.Top, Schema.Top, any>, executionId: string) {\n    return Effect.flatMap(FlowRuntime, (engine) => engine.resume(this, executionId)).pipe(\n      Effect.withSpan(`${this._tag}.resume`, { attributes: { executionId } }, { captureStackTrace: false })\n    )\n  },\n  executionId(this: AnyWithProps, payload: any) {\n    return Effect.flatMap(\n      // The channel stays never: precomputing callers must validate first, and an invalid payload dies here.\n      Effect.orDie(this.payloadSchema.makeEffect(payload)),\n      (payload) => makeExecutionIdFromPayload(this, payload)\n    )\n  },\n  withRollback: ((...args: ReadonlyArray<any>) => (withRollback as any)(...args))\n}\n\n/**\n * Builds the private prototype from normalized declaration data.\n *\n * @since 1.0.0\n * @private\n */\nexport const makeProto = <\n  const Tag extends string,\n  Payload extends AnyStructSchema,\n  Success extends Schema.Top,\n  Error extends Schema.Top,\n  Requires\n>(\n  options: DeclarationMetadata & {\n    readonly _tag: Tag\n    readonly description?: string | undefined\n    readonly payloadSchema: Payload\n    readonly successSchema: Success\n    readonly errorSchema: Error\n    readonly annotations: Context.Context<never>\n    readonly body: (payload: Payload[\"Type\"]) => Node.Node<BodySuccess<Success[\"Type\"]>, Error[\"Type\"], Requires>\n    readonly prompt?: ((payload: Payload[\"Type\"]) => string) | undefined\n    readonly action?: Any[\"action\"] | undefined\n    readonly idempotencyKey?: ((payload: Payload[\"Type\"]) => string) | undefined\n    readonly suspendedRetryPolicy?: RetryPolicy.RetryPolicy | undefined\n    readonly maxRounds?: number | undefined\n    readonly deadline?: Duration.Duration | undefined\n  }\n): Flow<Tag, Payload, Success, Error, Requires> => {\n  function Flow() {}\n  Object.setPrototypeOf(Flow, Proto)\n  Object.assign(Flow, options)\n  return Flow as any\n}\n"]}
+{"version":3,"file":"internal.js","sourceRoot":"","sources":["../../../src/Flow/internal.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AACvC,OAAO,KAAK,IAAI,MAAM,mBAAmB,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,yBAAyB,EAAE,MAAM,6CAA6C,CAAA;AACvF,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAA;AAC3D,OAAO,KAAK,eAAe,MAAM,gCAAgC,CAAA;AAEjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAA;AAGvD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC;;;;;;;;;;;;GAYG;AACH,MAAM,0BAA0B,GAAG,CACjC,IAAkB,EAClB,OAAgB,EACmB,EAAE;IACrC,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,CAAA;IAC1C,OAAO,cAAc,KAAK,SAAS;QACjC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7E,kFAAkF;QAClF,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AACjH,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CACzB,IAAkB,EAClB,OAAgB,EAChB,WAA+B,EACI,EAAE,CACrC,WAAW,KAAK,SAAS;IACvB,CAAC,CAAC,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC;IAC3C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;AAEjC,MAAM,KAAK,GAAG;IACZ,CAAC,MAAM,CAAC,EAAE,MAAM;IAChB,QAAQ,CAAqB,GAA0B,EAAE,KAAU;QACjE,OAAO,eAAe,CAAC,QAAQ,CAC7B,SAAS,CAAC;YACR,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,KAAK,CAAC;YACtD,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;YAC/C,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB,CAAC,EACF,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CACjC,CAAA;IACH,CAAC;IACD,aAAa,CAAqB,OAA6B;QAC7D,OAAO,eAAe,CAAC,QAAQ,CAC7B,SAAS,CAAC;YACR,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;YACrD,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;YAC/C,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB,CAAC,EACF,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CACjC,CAAA;IACH,CAAC;IACD,IAAI,CAAqB,OAAgB;QACvC,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;IAC1D,CAAC;IACD,KAAK,CAAqB,OAAgB;QACxC,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAC5D,CAAC;IACD,EAAE,CAAqB,OAAgB;QACrC,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;IAC3D,CAAC;IACD,OAAO,CAEL,MAAW,EACX,IAGa;QAEb,qEAAqE;QACrE,uEAAuE;QACvE,uEAAuE;QACvE,4CAA4C;QAC5C,OAAO,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAC/C,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EACzD,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACzB,MAAM,CAAC,OAAO,CACZ,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,EACpD,CAAC,WAAW,EAAE,EAAE,CACd,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CACrC,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,mBAAmB,CAAC,EAAE,WAAW,EAAE,CAAC,EAC3C,MAAM,CAAC,OAAO,CAAC,IAAW,EAAE;YAC1B,WAAW;YACX,OAAO;YACP,OAAO,EAAE,IAAI,EAAE,OAAO;YACtB,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;SAChD,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE;YAClC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YAC7F,OAAO,MAAM,EAAE,MAAM,YAAY,yBAAyB;gBACxD,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC5B,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QAC7B,CAAC,CAAC,CAAC,CACJ,CAAC,CACP,CACF,CACF,CAAC,IAAI,CACJ,MAAM,CAAC,QAAQ,CACb,GAAG,IAAI,CAAC,IAAI,UAAU,EACtB,EAAE,EACF,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAC7B,CACK,CAAA;IACV,CAAC;IACD,KAAK,CAAqB,OAAgB;QACxC,OAAO,MAAM,CAAC,OAAO,CACnB,MAAM,CAAC,MAAM,EACb,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,EACnC,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CACvE,CACJ,CAAA;IACH,CAAC;IACD,MAAM,CAAqB,OAAgB,EAAE,OAAiC;QAC5E,OAAO,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAChE,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAC3G,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CACvF,CAAA;IACH,CAAC;IACD,IAAI,CAAmE,WAAmB;QACxF,OAAO,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CACjF,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,IAAI,OAAO,EAAE,EAAE,UAAU,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,CACpG,CAAA;IACH,CAAC;IACD,SAAS,CAAqB,WAAmB;QAC/C,OAAO,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CACtF,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,IAAI,YAAY,EAAE,EAAE,UAAU,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,CACzG,CAAA;IACH,CAAC;IACD,MAAM,CAAmE,WAAmB;QAC1F,OAAO,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CACnF,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,IAAI,SAAS,EAAE,EAAE,UAAU,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,CACtG,CAAA;IACH,CAAC;IACD,WAAW,CAAqB,OAAY;QAC1C,OAAO,MAAM,CAAC,OAAO;QACnB,uGAAuG;QACvG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,EACpD,CAAC,OAAO,EAAE,EAAE,CAAC,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,CACvD,CAAA;IACH,CAAC;IACD,YAAY,EAAE,CAAC,CAAC,GAAG,IAAwB,EAAE,EAAE,CAAE,YAAoB,CAAC,GAAG,IAAI,CAAC,CAAC;CAChF,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAOvB,OAcC,EAC6C,EAAE;IAChD,SAAS,IAAI,KAAI,CAAC;IAClB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IAClC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IAC5B,OAAO,IAAW,CAAA;AACpB,CAAC,CAAA","sourcesContent":["/**\n * Private flow construction shared by declarations and action registration.\n *\n * @since 1.0.0\n * @private\n */\n\nimport { Sha256 } from \"@smthrs/crypto\"\nimport * as Node from \"@smthrs/plan/Node\"\nimport * as Cause from \"effect/Cause\"\nimport * as Context from \"effect/Context\"\nimport * as Crypto from \"effect/Crypto\"\nimport type * as Duration from \"effect/Duration\"\nimport * as Effect from \"effect/Effect\"\nimport * as Schema from \"effect/Schema\"\nimport { ExecutionIdentityConflict } from \"../FlowRuntime/ExecutionIdentityConflict.ts\"\nimport { FlowRuntime } from \"../FlowRuntime/FlowRuntime.ts\"\nimport * as DeclarationSite from \"../internal/DeclarationSite.ts\"\nimport type * as RetryPolicy from \"../RetryPolicy.ts\"\nimport { CurrentExecutionIds } from \"./ExecutionIds.ts\"\nimport type { Any, AnyStructSchema, AnyWithProps, BodySuccess, DeclarationMetadata, Flow } from \"./Flow.ts\"\nimport type { To } from \"./Outcome.ts\"\nimport { withRollback } from \"./Runtime.ts\"\nimport { TypeId } from \"./TypeId.ts\"\n\n/**\n * The identity of an invocation that named no `executionId`: the flow's own\n * declared key when it has one, and the ambient source otherwise.\n *\n * A declared key wins over the ambient source because it is the narrower\n * statement — this author said what makes two invocations of THIS flow the\n * same — where the source is the host's blanket answer for every flow it\n * drives.\n *\n * The tag and declared key are JSON-tuple framed before hashing. Their strings\n * are used exactly as given and encoded as UTF-8, with no Unicode\n * normalization. This preimage encoding freezes at rc.0.\n */\nconst makeExecutionIdFromPayload = (\n  self: AnyWithProps,\n  payload: unknown\n): Effect.Effect<string, never, any> => {\n  const idempotencyKey = self.idempotencyKey\n  return idempotencyKey === undefined\n    ? Effect.flatMap(CurrentExecutionIds, (source) => source.mint(self, payload))\n    // The JSON tuple prevents delimiter splicing. This exact framing freezes at rc.0.\n    : Schema.decodeUnknownEffect(Sha256)(JSON.stringify([self._tag, idempotencyKey(payload)])).pipe(Effect.orDie)\n}\n\nconst resolveExecutionId = (\n  self: AnyWithProps,\n  payload: unknown,\n  executionId: string | undefined\n): Effect.Effect<string, never, any> =>\n  executionId === undefined\n    ? makeExecutionIdFromPayload(self, payload)\n    : Effect.succeed(executionId)\n\nconst Proto = {\n  [TypeId]: TypeId,\n  annotate(this: AnyWithProps, tag: Context.Key<any, any>, value: any) {\n    return DeclarationSite.annotate(\n      makeProto({\n        _tag: this._tag,\n        description: this.description,\n        model: this.model,\n        effort: this.effort,\n        system: this.system,\n        chat: this.chat,\n        flows: this.flows,\n        prompt: this.prompt,\n        action: this.action,\n        payloadSchema: this.payloadSchema,\n        successSchema: this.successSchema,\n        errorSchema: this.errorSchema,\n        annotations: Context.add(this.annotations, tag, value),\n        body: this.body,\n        idempotencyKey: this.idempotencyKey,\n        suspendedRetryPolicy: this.suspendedRetryPolicy,\n        maxRounds: this.maxRounds,\n        deadline: this.deadline\n      }),\n      DeclarationSite.declaredAt(this)\n    )\n  },\n  annotateMerge(this: AnyWithProps, context: Context.Context<any>) {\n    return DeclarationSite.annotate(\n      makeProto({\n        _tag: this._tag,\n        description: this.description,\n        model: this.model,\n        effort: this.effort,\n        system: this.system,\n        chat: this.chat,\n        flows: this.flows,\n        prompt: this.prompt,\n        action: this.action,\n        payloadSchema: this.payloadSchema,\n        successSchema: this.successSchema,\n        errorSchema: this.errorSchema,\n        annotations: Context.merge(this.annotations, context),\n        body: this.body,\n        idempotencyKey: this.idempotencyKey,\n        suspendedRetryPolicy: this.suspendedRetryPolicy,\n        maxRounds: this.maxRounds,\n        deadline: this.deadline\n      }),\n      DeclarationSite.declaredAt(this)\n    )\n  },\n  call(this: AnyWithProps, payload: unknown) {\n    return Node.flowCall(this, this._tag, \"inline\", payload)\n  },\n  child(this: AnyWithProps, payload: unknown) {\n    return Node.flowCall(this, this._tag, \"boundary\", payload)\n  },\n  to(this: AnyWithProps, payload: unknown): Node.Node<To<unknown>> {\n    return Node.flowCall(this, this._tag, \"handoff\", payload)\n  },\n  execute<const Discard extends boolean = false>(\n    this: AnyWithProps,\n    fields: any,\n    opts?: {\n      readonly discard?: Discard\n      readonly executionId?: string | undefined\n    } | undefined\n  ) {\n    // Caller input that fails the payload schema is data, not programmer\n    // wiring, so it FAILS with the schema's typed `SchemaError` — carrying\n    // the offending field path — instead of dying with the raw constructor\n    // throw `payloadSchema.make` would produce.\n    return this.payloadSchema.makeEffect(fields).pipe(\n      Effect.mapError((issue) => new Schema.SchemaError(issue)),\n      Effect.flatMap((payload) =>\n        Effect.flatMap(\n          resolveExecutionId(this, payload, opts?.executionId),\n          (executionId) =>\n            Effect.flatMap(FlowRuntime, (engine) =>\n              Effect.andThen(\n                Effect.annotateCurrentSpan({ executionId }),\n                engine.execute(this as any, {\n                  executionId,\n                  payload,\n                  discard: opts?.discard,\n                  suspendedRetryPolicy: this.suspendedRetryPolicy\n                }).pipe(Effect.catchCause((cause) => {\n                  const reason = cause.reasons.length === 1 ? cause.reasons.find(Cause.isDieReason) : undefined\n                  return reason?.defect instanceof ExecutionIdentityConflict\n                    ? Effect.fail(reason.defect)\n                    : Effect.failCause(cause)\n                }))\n              ))\n        )\n      )\n    ).pipe(\n      Effect.withSpan(\n        `${this._tag}.execute`,\n        {},\n        { captureStackTrace: false }\n      )\n    ) as any\n  },\n  start(this: AnyWithProps, payload: unknown) {\n    return Effect.flatMap(\n      Crypto.Crypto,\n      (crypto) =>\n        Effect.flatMap(\n          Effect.orDie(crypto.randomUUIDv4()),\n          (executionId) => this.execute(payload, { executionId, discard: true })\n        )\n    )\n  },\n  ensure(this: AnyWithProps, payload: unknown, options: { readonly key: string }) {\n    return Schema.decodeUnknownEffect(Schema.String)(options.key).pipe(\n      Effect.flatMap((key) => Effect.orDie(Schema.decodeUnknownEffect(Sha256)(JSON.stringify([this._tag, key])))),\n      Effect.flatMap((executionId) => this.execute(payload, { executionId, discard: true }))\n    )\n  },\n  poll(this: Flow<string, AnyStructSchema, Schema.Top, Schema.Top, any>, executionId: string) {\n    return Effect.flatMap(FlowRuntime, (engine) => engine.poll(this, executionId)).pipe(\n      Effect.withSpan(`${this._tag}.poll`, { attributes: { executionId } }, { captureStackTrace: false })\n    )\n  },\n  interrupt(this: AnyWithProps, executionId: string) {\n    return Effect.flatMap(FlowRuntime, (engine) => engine.interrupt(this, executionId)).pipe(\n      Effect.withSpan(`${this._tag}.interrupt`, { attributes: { executionId } }, { captureStackTrace: false })\n    )\n  },\n  resume(this: Flow<string, AnyStructSchema, Schema.Top, Schema.Top, any>, executionId: string) {\n    return Effect.flatMap(FlowRuntime, (engine) => engine.resume(this, executionId)).pipe(\n      Effect.withSpan(`${this._tag}.resume`, { attributes: { executionId } }, { captureStackTrace: false })\n    )\n  },\n  executionId(this: AnyWithProps, payload: any) {\n    return Effect.flatMap(\n      // The channel stays never: precomputing callers must validate first, and an invalid payload dies here.\n      Effect.orDie(this.payloadSchema.makeEffect(payload)),\n      (payload) => makeExecutionIdFromPayload(this, payload)\n    )\n  },\n  withRollback: ((...args: ReadonlyArray<any>) => (withRollback as any)(...args))\n}\n\n/**\n * Builds the private prototype from normalized declaration data.\n *\n * @since 1.0.0\n * @private\n */\nexport const makeProto = <\n  const Tag extends string,\n  Payload extends AnyStructSchema,\n  Success extends Schema.Top,\n  Error extends Schema.Top,\n  Requires\n>(\n  options: DeclarationMetadata & {\n    readonly _tag: Tag\n    readonly description?: string | undefined\n    readonly payloadSchema: Payload\n    readonly successSchema: Success\n    readonly errorSchema: Error\n    readonly annotations: Context.Context<never>\n    readonly body: (payload: Payload[\"Type\"]) => Node.Node<BodySuccess<Success[\"Type\"]>, Error[\"Type\"], Requires>\n    readonly prompt?: ((payload: Payload[\"Type\"]) => string) | undefined\n    readonly action?: Any[\"action\"] | undefined\n    readonly idempotencyKey?: ((payload: Payload[\"Type\"]) => string) | undefined\n    readonly suspendedRetryPolicy?: RetryPolicy.RetryPolicy | undefined\n    readonly maxRounds?: number | undefined\n    readonly deadline?: Duration.Duration | undefined\n  }\n): Flow<Tag, Payload, Success, Error, Requires> => {\n  function Flow() {}\n  Object.setPrototypeOf(Flow, Proto)\n  Object.assign(Flow, options)\n  return Flow as any\n}\n"]}

package/dist/esm/Graph.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Graph.d.ts","sourceRoot":"","sources":["../../src/Graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AAIH,OAAO,EAAE,eAAe,EAAqB,MAAM,8BAA8B,CAAA;AAEjF,OAAO,KAAK,IAAI,MAAM,mBAAmB,CAAA;AACzC,OAAO,KAAK,KAAK,IAAI,MAAM,mBAAmB,CAAA;AAQ9C,OAAO,KAAK,WAAW,MAAM,uBAAuB,CAAA;AAEpD,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C,OAAO,KAAK,eAAe,MAAM,+BAA+B,CAAA;AAKhE;;;;;;;GAOG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,cAAc,GAAG,SAAS,CAAA;AAE7D;;;;;;GAMG;AACH,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;CAC5B;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAC/B,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC5C,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC5C,QAAQ,CAAC,kBAAkB,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAA;IACjE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAA;IAC9B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAA;IACtB;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB;;;;;;;;;OASG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,eAAe,CAAC,UAAU,GAAG,SAAS,CAAA;CAC7D;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAC/B,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC5C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,GAAG,SAAS,CAAA;IACjD,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAC5B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,YAAY,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAA;IAClF;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,QAAQ,GAAG,eAAe,GAAG,SAAS,CAAA;IAClE;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CACnC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;IACxC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IACnC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,eAAe,CAAC,CAAA;CACrD;AAiKD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,iBAAiB,OAAQ,CAAA;AA4ftC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,KAAK,GAChB,YAAY,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,EAC/B,UAAU,OAAO,EACjB,UAAS,YAAiB,KACzB,KAwxBF,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,KAAG,aAAa,CAAC,SAAS,CAAgB,CAAA;AAE5E;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,KAAG,aAAa,CAAC,IAAI,CAAgB,CAAA;AAEvE;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,aAAa,GAAI,WAAW,MAAM,EAAE,OAAO,MAAM,KAAG,IAAuD,CAAA;AAExH;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,KAAG,aAAa,CAAC,IAAI,CAAC,SAAS,CAIjE,CAAA;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,GAAI,OAAO,KAAK,KAAG,aAAa,CAAC,eAAe,CAAsB,CAAA;AAE9F;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,GAAG,MAAM,GAAG,cAAc,CAAC,GAAG;QAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC5G,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IACnC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC9E,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACxF,oEAAoE;IACpE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,OAAO,GAAI,MAAM,IAAI,CAAC,GAAG,KAAG,UAkDxC,CAAA"}
+{"version":3,"file":"Graph.d.ts","sourceRoot":"","sources":["../../src/Graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AAIH,OAAO,EAAE,eAAe,EAAqB,MAAM,8BAA8B,CAAA;AAEjF,OAAO,KAAK,IAAI,MAAM,mBAAmB,CAAA;AACzC,OAAO,KAAK,KAAK,IAAI,MAAM,mBAAmB,CAAA;AAQ9C,OAAO,KAAK,WAAW,MAAM,uBAAuB,CAAA;AAEpD,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C,OAAO,KAAK,eAAe,MAAM,+BAA+B,CAAA;AAKhE;;;;;;;GAOG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,cAAc,GAAG,SAAS,CAAA;AAE7D;;;;;;GAMG;AACH,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;CAC5B;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAC/B,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC5C,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC5C,QAAQ,CAAC,kBAAkB,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAA;IACjE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAA;IAC9B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAA;IACtB;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB;;;;;;;;;OASG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,eAAe,CAAC,UAAU,GAAG,SAAS,CAAA;CAC7D;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAC/B,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC5C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,GAAG,SAAS,CAAA;IACjD,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAC5B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,YAAY,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAA;IAClF;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,QAAQ,GAAG,eAAe,GAAG,SAAS,CAAA;IAClE;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CACnC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;IACxC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IACnC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,eAAe,CAAC,CAAA;CACrD;AAoKD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,iBAAiB,OAAQ,CAAA;AA4ftC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,KAAK,GAChB,YAAY,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,EAC/B,UAAU,OAAO,EACjB,UAAS,YAAiB,KACzB,KAwxBF,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,KAAG,aAAa,CAAC,SAAS,CAAgB,CAAA;AAE5E;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,KAAG,aAAa,CAAC,IAAI,CAAgB,CAAA;AAEvE;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,aAAa,GAAI,WAAW,MAAM,EAAE,OAAO,MAAM,KAAG,IAAuD,CAAA;AAExH;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,KAAG,aAAa,CAAC,IAAI,CAAC,SAAS,CAIjE,CAAA;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,GAAI,OAAO,KAAK,KAAG,aAAa,CAAC,eAAe,CAAsB,CAAA;AAE9F;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,GAAG,MAAM,GAAG,cAAc,CAAC,GAAG;QAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC5G,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IACnC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC9E,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACxF,oEAAoE;IACpE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,OAAO,GAAI,MAAM,IAAI,CAAC,GAAG,KAAG,UAkDxC,CAAA"}

package/dist/esm/Graph.js

@@ -63,7 +63,6 @@ import * as Planned from "@smthrs/plan/Planned";
 import * as Context from "effect/Context";
 import * as Option from "effect/Option";
 import * as Predicate from "effect/Predicate";
-import * as Schema from "effect/Schema";
 import { TypeId as ActionTypeId } from "./Action/TypeId.js";
 import * as Annotations from "./Flow/Annotations.js";
 import { capabilityCeilings } from "./Flow/CapabilityCeiling.js";
@@ -128,13 +127,16 @@ const refusalMessage = (narrowed, site) => {
  * transformation and needs the call re-keyed renames the declaration.
  * `@smthrs/core` carries the same algorithm and the same limit.
  *
+ * `Node.schemaIdentity` prints the document, not the installed `effect`: a
+ * release that prints a schema differently must not move the identity.
+ *
  * @private
  */
 const schemaIdentity = (schema) => {
     const cached = schemaDocuments.get(schema);
     if (cached !== undefined)
         return cached;
-    const document = Schema.toJsonSchemaDocument(schema, { onExcessProperty: "error" });
+    const document = Node.schemaIdentity(schema, { onExcessProperty: "error" });
     schemaDocuments.set(schema, document);
     return document;
 };