@smthrs/flow 0.0.0-stage → 1.0.0-rc.4

package/dist/esm/ExternalJob.d.ts

@@ -0,0 +1,179 @@
+/**
+ * Durable external work as ordinary actions, handoffs and parked timers.
+ *
+ * @since 1.0.0
+ */
+import * as Node from "@smthrs/plan/Node";
+import * as Cause from "effect/Cause";
+import * as Duration from "effect/Duration";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as Schema from "effect/Schema";
+import * as Action from "./Action/index.ts";
+import * as Flow from "./Flow/index.ts";
+import { FlowInstance } from "./FlowRuntime/FlowInstance.ts";
+import * as Sleep from "./Sleep.ts";
+/**
+ * External process observation.
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const Status: Schema.Union<readonly [Schema.Struct<{
+    readonly _tag: Schema.Literal<"Running">;
+}>, Schema.Struct<{
+    readonly _tag: Schema.Literal<"Exited">;
+    readonly exitCode: Schema.Int;
+}>, Schema.Struct<{
+    readonly _tag: Schema.Literal<"Lost">;
+}>]>;
+/**
+ * Decoded external process observation.
+ * @category models
+ * @since 1.0.0
+ */
+export type Status = typeof Status.Type;
+/**
+ * Decoded external process observation.
+ * @category models
+ * @since 1.0.0
+ */
+export type Exited = Extract<Status, {
+    readonly _tag: "Exited";
+}>;
+declare const Again_base: Schema.Class<Again, Schema.TaggedStruct<"@smthrs/flow/ExternalJobAgain", {
+    readonly message: Schema.String;
+}>, Cause.YieldableError>;
+/**
+ * A collected exit that can be replaced.
+ *
+ * @category errors
+ * @since 1.0.0
+ */
+export declare class Again extends Again_base {
+}
+declare const ExternalJobLost_base: Schema.Class<ExternalJobLost, Schema.TaggedStruct<"@smthrs/flow/ExternalJobLost", {
+    readonly key: Schema.String;
+    readonly message: Schema.String;
+}>, Cause.YieldableError>;
+/**
+ * No worker or exit receipt remains.
+ *
+ * @category errors
+ * @since 1.0.0
+ */
+export declare class ExternalJobLost extends ExternalJobLost_base {
+}
+declare const ExternalJobTimedOut_base: Schema.Class<ExternalJobTimedOut, Schema.TaggedStruct<"@smthrs/flow/ExternalJobTimedOut", {
+    readonly key: Schema.String;
+    readonly message: Schema.String;
+}>, Cause.YieldableError>;
+/**
+ * The deadline anchored before initial start elapsed.
+ *
+ * @category errors
+ * @since 1.0.0
+ */
+export declare class ExternalJobTimedOut extends ExternalJobTimedOut_base {
+}
+/**
+ * The adapter's full typed failure union belongs in make's error schema.
+ *
+ * @category models
+ * @since 1.0.0
+ */
+export interface Operations<P, H, A, E, R> {
+    readonly start: (payload: P, key: string) => Effect.Effect<H, E, R>;
+    readonly status: (handle: H, key: string) => Effect.Effect<Status, E, R>;
+    readonly collect: (handle: H, key: string, exited: Exited) => Effect.Effect<A, E | Again, R>;
+    readonly cancel: (handle: H, key: string) => Effect.Effect<void, never, R>;
+}
+/**
+ * Create-or-get by execution id and generation. Private ordinary flows carry
+ * journaled state; initial callers cannot supply a key or continuation handle.
+ * `restarts` counts replacement generations; zero permits only g1.
+ * @category constructors
+ * @since 1.0.0
+ */
+export declare const make: <const Tag extends string, P extends Schema.Struct.Fields | Flow.AnyStructSchema, H extends Schema.Top, A extends Schema.Top, E extends Schema.Top = typeof Schema.Never>(tag: Tag, options: {
+    readonly payload: P;
+    readonly handle: H;
+    readonly success: A;
+    readonly error?: E;
+    readonly probe: {
+        readonly every: Duration.Input;
+        readonly max: Duration.Input;
+    };
+    readonly timeout: Duration.Input;
+    readonly restarts?: number;
+}) => {
+    readonly call: (payload: Action.PlannedPayload<(P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["~type.make.in"]>) => Node.Node<A["Type"], Sleep.SleepRequestInvalid | ExternalJobLost | ExternalJobTimedOut | E["Type"], never>;
+    readonly toLayer: <R>(operations: Operations<(P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["Type"], H["Type"], A["Type"], E["Type"], R>) => Layer.Layer<Layer.Success<Layer.Layer<Action.Requirement<`${Tag}/initialize`> | Action.Requirement<`${Tag}/start`> | Action.Requirement<`${Tag}/status`> | Action.Requirement<`${Tag}/collect`> | Action.Requirement<`${Tag}/cancel`> | Action.Requirement<`${Tag}/fail`> | Action.Requirement<`${Tag}/ready`> | Action.Requirement<`${Tag}/launch-timeout`>, never, import("effect/Crypto").Crypto | import("./FlowRuntime/FlowRuntime.ts").FlowRuntime | Action.Implementations | {
+        executionId: string;
+        current: {
+            handle: H["Type"];
+            key: string;
+        } | undefined;
+    } | (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["DecodingServices"] | (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["EncodingServices"] | A["DecodingServices"] | A["EncodingServices"] | E["DecodingServices"] | E["EncodingServices"] | Schema.Struct.DecodingServices<{
+        readonly handle: Schema.Codec<H["Type"], H["Encoded"], H["DecodingServices"], H["EncodingServices"]>;
+        readonly input: Schema.Codec<(P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["Type"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["Encoded"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["DecodingServices"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["EncodingServices"]>;
+        readonly origin: Schema.String;
+        readonly startedAt: Schema.Number;
+        readonly generation: Schema.Int;
+        readonly probe: Schema.Int;
+    }> | Schema.Struct.EncodingServices<{
+        readonly handle: Schema.Codec<H["Type"], H["Encoded"], H["DecodingServices"], H["EncodingServices"]>;
+        readonly input: Schema.Codec<(P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["Type"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["Encoded"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["DecodingServices"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["EncodingServices"]>;
+        readonly origin: Schema.String;
+        readonly startedAt: Schema.Number;
+        readonly generation: Schema.Int;
+        readonly probe: Schema.Int;
+    }> | Exclude<R, FlowInstance | import("effect/Scope").Scope | import("./FlowRuntime/FlowRuntime.ts").FlowRuntime> | Exclude<R, import("effect/Scope").Scope>>>, Layer.Error<Layer.Layer<Action.Requirement<`${Tag}/initialize`> | Action.Requirement<`${Tag}/start`> | Action.Requirement<`${Tag}/status`> | Action.Requirement<`${Tag}/collect`> | Action.Requirement<`${Tag}/cancel`> | Action.Requirement<`${Tag}/fail`> | Action.Requirement<`${Tag}/ready`> | Action.Requirement<`${Tag}/launch-timeout`>, never, import("effect/Crypto").Crypto | import("./FlowRuntime/FlowRuntime.ts").FlowRuntime | Action.Implementations | {
+        executionId: string;
+        current: {
+            handle: H["Type"];
+            key: string;
+        } | undefined;
+    } | (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["DecodingServices"] | (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["EncodingServices"] | A["DecodingServices"] | A["EncodingServices"] | E["DecodingServices"] | E["EncodingServices"] | Schema.Struct.DecodingServices<{
+        readonly handle: Schema.Codec<H["Type"], H["Encoded"], H["DecodingServices"], H["EncodingServices"]>;
+        readonly input: Schema.Codec<(P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["Type"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["Encoded"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["DecodingServices"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["EncodingServices"]>;
+        readonly origin: Schema.String;
+        readonly startedAt: Schema.Number;
+        readonly generation: Schema.Int;
+        readonly probe: Schema.Int;
+    }> | Schema.Struct.EncodingServices<{
+        readonly handle: Schema.Codec<H["Type"], H["Encoded"], H["DecodingServices"], H["EncodingServices"]>;
+        readonly input: Schema.Codec<(P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["Type"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["Encoded"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["DecodingServices"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["EncodingServices"]>;
+        readonly origin: Schema.String;
+        readonly startedAt: Schema.Number;
+        readonly generation: Schema.Int;
+        readonly probe: Schema.Int;
+    }> | Exclude<R, FlowInstance | import("effect/Scope").Scope | import("./FlowRuntime/FlowRuntime.ts").FlowRuntime> | Exclude<R, import("effect/Scope").Scope>>>, Exclude<Layer.Services<Layer.Layer<Action.Requirement<`${Tag}/initialize`> | Action.Requirement<`${Tag}/start`> | Action.Requirement<`${Tag}/status`> | Action.Requirement<`${Tag}/collect`> | Action.Requirement<`${Tag}/cancel`> | Action.Requirement<`${Tag}/fail`> | Action.Requirement<`${Tag}/ready`> | Action.Requirement<`${Tag}/launch-timeout`>, never, import("effect/Crypto").Crypto | import("./FlowRuntime/FlowRuntime.ts").FlowRuntime | Action.Implementations | {
+        executionId: string;
+        current: {
+            handle: H["Type"];
+            key: string;
+        } | undefined;
+    } | (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["DecodingServices"] | (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["EncodingServices"] | A["DecodingServices"] | A["EncodingServices"] | E["DecodingServices"] | E["EncodingServices"] | Schema.Struct.DecodingServices<{
+        readonly handle: Schema.Codec<H["Type"], H["Encoded"], H["DecodingServices"], H["EncodingServices"]>;
+        readonly input: Schema.Codec<(P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["Type"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["Encoded"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["DecodingServices"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["EncodingServices"]>;
+        readonly origin: Schema.String;
+        readonly startedAt: Schema.Number;
+        readonly generation: Schema.Int;
+        readonly probe: Schema.Int;
+    }> | Schema.Struct.EncodingServices<{
+        readonly handle: Schema.Codec<H["Type"], H["Encoded"], H["DecodingServices"], H["EncodingServices"]>;
+        readonly input: Schema.Codec<(P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["Type"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["Encoded"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["DecodingServices"], (P extends Schema.Struct.Fields ? Schema.Struct<P> : P)["EncodingServices"]>;
+        readonly origin: Schema.String;
+        readonly startedAt: Schema.Number;
+        readonly generation: Schema.Int;
+        readonly probe: Schema.Int;
+    }> | Exclude<R, FlowInstance | import("effect/Scope").Scope | import("./FlowRuntime/FlowRuntime.ts").FlowRuntime> | Exclude<R, import("effect/Scope").Scope>>>, {
+        executionId: string;
+        current: {
+            handle: H["Type"];
+            key: string;
+        } | undefined;
+    }>>;
+} & Flow.Flow<Tag, P extends Schema.Struct.Fields ? Schema.Struct<P> : P, A, Schema.Union<readonly [E, typeof ExternalJobLost, typeof ExternalJobTimedOut, typeof Sleep.SleepRequestInvalid]>, Action.Requirement<string>>;
+export {};
+//# sourceMappingURL=ExternalJob.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ExternalJob.d.ts","sourceRoot":"","sources":["../../src/ExternalJob.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,IAAI,MAAM,mBAAmB,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AAGrC,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAA;AAC3C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AAErC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAE3C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAG5D,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC;;;;GAIG;AACH,eAAO,MAAM,MAAM;;;;;;;IAIjB,CAAA;AACF;;;;GAIG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC;;;;GAIG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,CAAA;;;;AACjE;;;;;GAKG;AACH,qBAAa,KAAM,SAAQ,UAAwF;CAAG;;;;;AACtH;;;;;GAKG;AACH,qBAAa,eAAgB,SAAQ,oBAGnC;CAAG;;;;;AACL;;;;;GAKG;AACH,qBAAa,mBAAoB,SAAQ,wBAGvC;CAAG;AAaL;;;;;GAKG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACnE,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACxE,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAA;IAC5F,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CAC3E;AAED;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,GACf,KAAK,CAAC,GAAG,SAAS,MAAM,EACxB,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,eAAe,EACrD,CAAC,SAAS,MAAM,CAAC,GAAG,EACpB,CAAC,SAAS,MAAM,CAAC,GAAG,EACpB,CAAC,SAAS,MAAM,CAAC,GAAG,GAAG,OAAO,MAAM,CAAC,KAAK,EAC1C,KAAK,GAAG,EAAE,SAAS;IACnB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAA;KAAE,CAAA;IAChF,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAA;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAC3B,KAqTkD;IAC/C,QAAQ,CAAC,IAAI,2NAAa;IAC1B,QAAQ,CAAC,OAAO,GAvGD,CAAC,cAAc,UAAU,kEAAoB,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,KA4F/E,KAAK,CAAC,KAAK,CACzB,KAAK,CAAC,OAAO;qBA3QY,MAAM;iBAAW;YAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,GAAG,SAAS;;;;;;;;;;;;;;;kKA2Q7D,EAC3B,KAAK,CAAC,KAAK;qBA5Qc,MAAM;iBAAW;YAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,GAAG,SAAS;;;;;;;;;;;;;;;kKA4Q/D,EACzB,OAAO,CAAC,KAAK,CAAC,QAAQ;qBA7QG,MAAM;iBAAW;YAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,GAAG,SAAS;;;;;;;;;;;;;;;kKA6QpD;qBA7QX,MAAM;iBAAW;YAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,GAAG,SAAS;MA6Q3C,CAC9C,CAO+B;CACjC,yNACF,CAAA"}

package/dist/esm/ExternalJob.js

@@ -0,0 +1,296 @@
+/**
+ * Durable external work as ordinary actions, handoffs and parked timers.
+ *
+ * @since 1.0.0
+ */
+import * as Node from "@smthrs/plan/Node";
+import * as Cause from "effect/Cause";
+import * as Clock from "effect/Clock";
+import * as Context from "effect/Context";
+import * as Duration from "effect/Duration";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import * as Action from "./Action/index.js";
+import * as Fault from "./Fault.js";
+import * as Flow from "./Flow/index.js";
+import { FlowInstance } from "./FlowRuntime/FlowInstance.js";
+import { ExecutionMiddleware } from "./internal/ExecutionMiddleware.js";
+import * as Interpreter from "./Interpreter.js";
+import * as Sleep from "./Sleep.js";
+/**
+ * External process observation.
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Status = Schema.Union([
+    Schema.Struct({ _tag: Schema.Literal("Running") }),
+    Schema.Struct({ _tag: Schema.Literal("Exited"), exitCode: Schema.Int }),
+    Schema.Struct({ _tag: Schema.Literal("Lost") })
+]);
+/**
+ * A collected exit that can be replaced.
+ *
+ * @category errors
+ * @since 1.0.0
+ */
+export class Again extends Schema.TaggedError()("@smthrs/flow/ExternalJobAgain", { message: Schema.String }) {
+}
+/**
+ * No worker or exit receipt remains.
+ *
+ * @category errors
+ * @since 1.0.0
+ */
+export class ExternalJobLost extends Schema.TaggedError()("@smthrs/flow/ExternalJobLost", {
+    key: Schema.String,
+    message: Schema.String
+}) {
+}
+/**
+ * The deadline anchored before initial start elapsed.
+ *
+ * @category errors
+ * @since 1.0.0
+ */
+export class ExternalJobTimedOut extends Schema.TaggedError()("@smthrs/flow/ExternalJobTimedOut", {
+    key: Schema.String,
+    message: Schema.String
+}) {
+}
+Fault.register("@smthrs/flow/ExternalJobLost", "infra");
+Fault.register("@smthrs/flow/ExternalJobTimedOut", "dependency");
+Fault.register("@smthrs/flow/ExternalJobAgain", "dependency");
+const millis = (value, field) => {
+    const parsed = Duration.fromInput(value);
+    const result = Option.isSome(parsed) ? Duration.toMillis(parsed.value) : NaN;
+    if (!Number.isFinite(result) || result <= 0) {
+        throw new RangeError(`ExternalJob.make: ${field} must be a finite positive duration`);
+    }
+    return result;
+};
+/**
+ * Create-or-get by execution id and generation. Private ordinary flows carry
+ * journaled state; initial callers cannot supply a key or continuation handle.
+ * `restarts` counts replacement generations; zero permits only g1.
+ * @category constructors
+ * @since 1.0.0
+ */
+export const make = (tag, options) => {
+    const every = millis(options.probe.every, "probe.every");
+    const maximum = millis(options.probe.max, "probe.max");
+    const timeout = millis(options.timeout, "timeout");
+    const restarts = options.restarts ?? 0;
+    if (maximum < every)
+        throw new RangeError("ExternalJob.make: probe.max must be at least probe.every");
+    if (!Number.isSafeInteger(restarts) || restarts < 0) {
+        throw new RangeError("ExternalJob.make: restarts must be a nonnegative safe integer");
+    }
+    // Erase field modifiers at nesting boundaries: these are required values,
+    // even when the author's schema contains optional fields internally.
+    const input = (Schema.isSchema(options.payload) ? options.payload : Schema.Struct(options.payload));
+    const handle = options.handle;
+    const providerError = (options.error ?? Schema.Never);
+    const failure = Schema.Union([providerError, ExternalJobLost, ExternalJobTimedOut, Sleep.SleepRequestInvalid]);
+    const state = Schema.Struct({
+        input,
+        origin: Schema.String,
+        startedAt: Schema.Number,
+        generation: Schema.Int,
+        probe: Schema.Int
+    });
+    const observed = Schema.Struct({ ...state.fields, handle });
+    const keyOf = (job) => `${job.origin}#g${job.generation}`;
+    const captures = { tag, every, maximum, timeout, restarts, version: "external-job/v1" };
+    const active = Context.Service(`${tag}/ExternalJobActive`);
+    // Registry tables wrap get() for module isolation but retain add(), the
+    // scoped registration owner. Anchor lifecycle bindings to that owner.
+    const cancellations = new WeakMap();
+    const annotations = Context.make(ExecutionMiddleware, {
+        wrap: (payload, body) => Effect.gen(function* () {
+            const instance = yield* FlowInstance;
+            const table = yield* Action.Implementations;
+            const cancel = cancellations.get(table.add);
+            if (cancel === undefined) {
+                return yield* Effect.die(new Interpreter.InterpreterError({
+                    code: "unresolved_action",
+                    flow: tag,
+                    node: `${tag}/cancel`,
+                    message: `ExternalJob ${tag} has no cancellation implementation; provide its toLayer`
+                }));
+            }
+            const current = {
+                executionId: instance.executionId,
+                current: instance.flow._tag === `${tag}/observe`
+                    ? { handle: payload.handle, key: keyOf(payload) } :
+                    undefined
+            };
+            yield* Flow.withRollback(Effect.succeed(current), (value, cause) => Cause.hasInterruptsOnly(cause) && !instance.interrupted && !instance.suspended || value.current === undefined
+                ? Effect.void :
+                cancel(value.current.handle, value.current.key));
+            return yield* body.pipe(Effect.provideService(active, current));
+        })
+    });
+    const Initialize = Action.make(`${tag}/initialize`, { payload: { input }, success: state });
+    const Start = Action.make(`${tag}/start`, {
+        payload: state,
+        success: options.handle,
+        error: providerError,
+        tier: "irreversible",
+        idempotencyKey: keyOf
+    });
+    const Probe = Action.make(`${tag}/status`, {
+        payload: observed,
+        success: Schema.Struct({
+            status: Status,
+            timedOut: Schema.Boolean,
+            wakeAt: Schema.Number,
+            next: observed,
+            restart: state
+        }),
+        error: providerError,
+        implementationVersion: "external-job/status/v1",
+        effects: { reads: [], writes: [], mode: "expected", onConflict: "fail" },
+        tier: "sealed",
+        idempotencyKey: (job) => `${keyOf(job)}/probe/${job.probe}`
+    });
+    const Collect = Action.make(`${tag}/collect`, {
+        payload: { job: observed, exited: Schema.Struct({ _tag: Schema.Literal("Exited"), exitCode: Schema.Int }) },
+        success: options.success,
+        error: Schema.Union([providerError, Again]),
+        tier: "irreversible",
+        idempotencyKey: ({ job }) => `${keyOf(job)}/collect`
+    });
+    const Cancel = Action.make(`${tag}/cancel`, {
+        payload: observed,
+        success: Schema.Void,
+        tier: "irreversible",
+        idempotencyKey: (job) => `${keyOf(job)}/cancel`
+    });
+    const Fail = Action.make(`${tag}/fail`, {
+        payload: { job: observed, timedOut: Schema.Boolean },
+        success: Schema.Never,
+        error: Schema.Union([ExternalJobLost, ExternalJobTimedOut])
+    });
+    const Ready = Action.make(`${tag}/ready`, { payload: state, success: Schema.Boolean });
+    const LaunchFailure = Action.make(`${tag}/launch-timeout`, {
+        payload: state,
+        success: Schema.Never,
+        error: ExternalJobTimedOut
+    });
+    const launched = (job) => Start.call(job).pipe(Node.bindPlanned((handle) => observe.to({
+        input: job.input,
+        origin: job.origin,
+        startedAt: job.startedAt,
+        generation: job.generation,
+        probe: job.probe,
+        handle
+    })));
+    // Pin the declared union through recursive bodies: cross-package inference
+    // otherwise narrows the error schema to the provider-only generic E.
+    const launch = Flow.make(`${tag}/launch`, {
+        payload: state,
+        success: options.success,
+        error: failure,
+        annotations,
+        body: Node.capture(captures, (job) => Ready.call(job).pipe(Node.branch({
+            if: Node.capture(captures, (ready) => ready),
+            then: () => launched(job),
+            else: () => LaunchFailure.call(job)
+        })))
+    });
+    const recover = (job, result) => Cancel.call(job).pipe(Node.andThen(Node.succeed(job).pipe(Node.branch({
+        if: Node.capture(captures, (current) => current.generation <= restarts),
+        then: () => Sleep.action.call({ until: result.wakeAt }).pipe(Node.andThen(launch.to(result.restart))),
+        else: () => Fail.call({ job, timedOut: false })
+    }))));
+    const observe = Flow.make(`${tag}/observe`, {
+        payload: observed,
+        success: options.success,
+        error: failure,
+        annotations,
+        body: Node.capture(captures, (job) => Probe.call(job).pipe(Node.bindPlanned((result) => Node.succeed(result).pipe(Node.branch({
+            if: Node.capture(captures, (value) => value.timedOut),
+            then: () => Cancel.call(job).pipe(Node.andThen(Fail.call({ job, timedOut: true }))),
+            else: () => Node.succeed(result.status).pipe(Node.branch({
+                if: Node.capture(captures, (status) => status._tag === "Running"),
+                then: () => Sleep.action.call({ until: result.wakeAt }).pipe(Node.andThen(observe.to(result.next))),
+                else: (status) => Node.succeed(status).pipe(Node.branch({
+                    if: Node.capture(captures, (value) => value._tag === "Lost"),
+                    then: () => recover(job, result),
+                    else: (exited) => Collect.call({ job, exited: exited }).pipe(Node.catch({ error: Again, onFailure: () => recover(job, result) }))
+                }))
+            }))
+        })))))
+    });
+    const flow = Flow.make(tag, {
+        payload: options.payload,
+        success: options.success,
+        error: failure,
+        annotations,
+        body: Node.capture(captures, (payload) => Initialize.call({ input: payload }).pipe(Node.bindPlanned(launched)))
+    });
+    const toLayer = (operations) => {
+        const bindCancellation = Layer.effectDiscard(Effect.gen(function* () {
+            const table = yield* Action.Implementations;
+            const context = yield* Effect.context();
+            const cancel = (handle, key) => operations.cancel(handle, key).pipe(Effect.provideContext(context));
+            cancellations.set(table.add, cancel);
+            yield* Effect.addFinalizer(() => Effect.sync(() => {
+                if (cancellations.get(table.add) === cancel)
+                    cancellations.delete(table.add);
+            }));
+        }));
+        const interpreter = Layer.mergeAll(Interpreter.layer(flow), Interpreter.layer(launch), Interpreter.layer(observe));
+        const layer = Layer.mergeAll(interpreter, bindCancellation, Sleep.layer, Initialize.toLayer(({ input }) => Effect.gen(function* () {
+            const instance = yield* active;
+            return {
+                input,
+                origin: instance.executionId,
+                startedAt: Math.floor(yield* Clock.currentTimeMillis),
+                generation: 1,
+                probe: 1
+            };
+        })), Start.toLayer((job) => Effect.tap(operations.start(job.input, keyOf(job)), (handle) => Effect.map(active, (value) => {
+            value.current = { handle, key: keyOf(job) };
+        }))), Probe.toLayer((job) => Effect.gen(function* () {
+            let now = Math.floor(yield* Clock.currentTimeMillis);
+            const deadline = job.startedAt + timeout;
+            let timedOut = now >= deadline;
+            const status = timedOut ? { _tag: "Running" } : yield* Effect.raceFirst(operations.status(job.handle, keyOf(job)), Effect.sleep(deadline - now).pipe(Effect.as({ _tag: "Running" })));
+            now = Math.floor(yield* Clock.currentTimeMillis);
+            timedOut ||= now >= deadline;
+            const delay = Math.min(maximum, every * 2 ** Math.min(job.probe - 1, 1023));
+            return {
+                status,
+                timedOut,
+                wakeAt: Math.min(deadline, Math.ceil(now + delay)),
+                next: { ...job, probe: job.probe + 1 },
+                restart: {
+                    input: job.input,
+                    origin: job.origin,
+                    startedAt: job.startedAt,
+                    generation: job.generation + 1,
+                    probe: 1
+                }
+            };
+        }), { implementationVersion: "external-job/status/v1" }), Collect.toLayer(({ exited, job }) => Effect.tap(operations.collect(job.handle, keyOf(job), exited), () => Effect.map(active, (value) => {
+            value.current = undefined;
+        }))), Cancel.toLayer((job) => Effect.tap(operations.cancel(job.handle, keyOf(job)), () => Effect.map(active, (value) => {
+            value.current = undefined;
+        }))), Fail.toLayer(({ job, timedOut }) => Effect.fail(timedOut
+            ? new ExternalJobTimedOut({ key: keyOf(job), message: `Job ${keyOf(job)} timed out` })
+            : new ExternalJobLost({
+                key: keyOf(job),
+                message: `Job ${keyOf(job)} exhausted its replacement generations`
+            }))), Ready.toLayer((job) => Effect.map(Clock.currentTimeMillis, (now) => now < job.startedAt + timeout)), LaunchFailure.toLayer((job) => Effect.fail(new ExternalJobTimedOut({ key: keyOf(job), message: `Job ${keyOf(job)} timed out before replacement start` }))));
+        // Active is supplied by the execution middleware, never by the host.
+        return layer;
+    };
+    // A job requires its own execution scope and identity even when composed
+    // through call; reuse the existing child boundary rather than inline it.
+    const call = (payload) => flow.child(payload);
+    return Object.assign(flow, { call, toLayer });
+};
+//# sourceMappingURL=ExternalJob.js.map

package/dist/esm/ExternalJob.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExternalJob.js","sourceRoot":"","sources":["../../src/ExternalJob.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,IAAI,MAAM,mBAAmB,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAA;AAC3C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAC3C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAA;AACvE,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAC/C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;IACjC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;IAClD,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;IACvE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;CAChD,CAAC,CAAA;AAaF;;;;;GAKG;AACH,MAAM,OAAO,KAAM,SAAQ,MAAM,CAAC,WAAW,EAAS,CAAC,+BAA+B,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;CAAG;AACtH;;;;;GAKG;AACH,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,EAAmB,CAAC,8BAA8B,EAAE;IACzG,GAAG,EAAE,MAAM,CAAC,MAAM;IAClB,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AACL;;;;;GAKG;AACH,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,EAAuB,CAAC,kCAAkC,EAAE;IACrH,GAAG,EAAE,MAAM,CAAC,MAAM;IAClB,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AACL,KAAK,CAAC,QAAQ,CAAC,8BAA8B,EAAE,OAAO,CAAC,CAAA;AACvD,KAAK,CAAC,QAAQ,CAAC,kCAAkC,EAAE,YAAY,CAAC,CAAA;AAChE,KAAK,CAAC,QAAQ,CAAC,+BAA+B,EAAE,YAAY,CAAC,CAAA;AAE7D,MAAM,MAAM,GAAG,CAAC,KAAqB,EAAE,KAAa,EAAU,EAAE;IAC9D,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IACxC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;IAC5E,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,UAAU,CAAC,qBAAqB,KAAK,qCAAqC,CAAC,CAAA;IACvF,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAcD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAMlB,GAAQ,EAAE,OAQX,EAAE,EAAE;IACH,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAA;IACxD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,WAAW,CAAC,CAAA;IACtD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;IAClD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAA;IACtC,IAAI,OAAO,GAAG,KAAK;QAAE,MAAM,IAAI,UAAU,CAAC,0DAA0D,CAAC,CAAA;IACrG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,UAAU,CAAC,+DAA+D,CAAC,CAAA;IACvF,CAAC;IAED,0EAA0E;IAC1E,qEAAqE;IACrE,MAAM,KAAK,GACT,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAKnF,CAAA;IACH,MAAM,MAAM,GAAG,OAAO,CAAC,MAA6F,CAAA;IACpH,MAAM,aAAa,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAM,CAAA;IAC1D,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,aAAa,EAAE,eAAe,EAAE,mBAAmB,EAAE,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAA;IAC9G,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;QAC1B,KAAK;QACL,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,SAAS,EAAE,MAAM,CAAC,MAAM;QACxB,UAAU,EAAE,MAAM,CAAC,GAAG;QACtB,KAAK,EAAE,MAAM,CAAC,GAAG;KAClB,CAAC,CAAA;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;IAG3D,MAAM,KAAK,GAAG,CAAC,GAA6D,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,KAAK,GAAG,CAAC,UAAU,EAAE,CAAA;IACnH,MAAM,QAAQ,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAA;IAEvF,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAS,GAAG,GAAG,oBAAoB,CAAC,CAAA;IAClE,wEAAwE;IACxE,sEAAsE;IACtE,MAAM,aAAa,GAAG,IAAI,OAAO,EAAmE,CAAA;IACpG,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,mBAAmB,EAAE;QACpD,IAAI,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CACtB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;YACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,eAAe,CAAA;YAC3C,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YAC3C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACtB,IAAI,WAAW,CAAC,gBAAgB,CAAC;oBAC/B,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,GAAG;oBACT,IAAI,EAAE,GAAG,GAAG,SAAS;oBACrB,OAAO,EAAE,eAAe,GAAG,0DAA0D;iBACtF,CAAC,CACH,CAAA;YACH,CAAC;YACD,MAAM,OAAO,GAAW;gBACtB,WAAW,EAAE,QAAQ,CAAC,WAAW;gBACjC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,GAAG,UAAU;oBAC9C,CAAC,CAAC,EAAE,MAAM,EAAG,OAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,OAAmB,CAAC,EAAE,CAAC,CAAC;oBAC7E,SAAS;aACZ,CAAA;YACD,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACjE,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;gBAC3G,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACf,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA;YACpD,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;QACjE,CAAC,CAAC;KACL,CAAC,CAAA;IACF,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,aAAa,EAAE,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAA;IAC3F,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,QAAQ,EAAE;QACxC,OAAO,EAAE,KAAK;QACd,OAAO,EAAE,OAAO,CAAC,MAAM;QACvB,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,cAAc;QACpB,cAAc,EAAE,KAAK;KACtB,CAAC,CAAA;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,SAAS,EAAE;QACzC,OAAO,EAAE,QAAQ;QACjB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACrB,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,MAAM,CAAC,OAAO;YACxB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,KAAK;SACf,CAAC;QACF,KAAK,EAAE,aAAa;QACpB,qBAAqB,EAAE,wBAAwB;QAC/C,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE;QACxE,IAAI,EAAE,QAAQ;QACd,cAAc,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,KAAK,EAAE;KAC5D,CAAC,CAAA;IACF,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,UAAU,EAAE;QAC5C,OAAO,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE;QAC3G,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAI,EAAE,cAAc;QACpB,cAAc,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU;KACrD,CAAC,CAAA;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,SAAS,EAAE;QAC1C,OAAO,EAAE,QAAQ;QACjB,OAAO,EAAE,MAAM,CAAC,IAAI;QACpB,IAAI,EAAE,cAAc;QACpB,cAAc,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS;KAChD,CAAC,CAAA;IACF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,OAAO,EAAE;QACtC,OAAO,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,EAAE;QACpD,OAAO,EAAE,MAAM,CAAC,KAAK;QACrB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,eAAe,EAAE,mBAAmB,CAAC,CAAC;KAC5D,CAAC,CAAA;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAA;IACtF,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,iBAAiB,EAAE;QACzD,OAAO,EAAE,KAAK;QACd,OAAO,EAAE,MAAM,CAAC,KAAK;QACrB,KAAK,EAAE,mBAAmB;KAC3B,CAAC,CAAA;IACF,MAAM,QAAQ,GAAG,CAAC,GAAyC,EAAE,EAAE,CAC7D,KAAK,CAAC,IAAI,CAAC,GAAmC,CAAC,CAAC,IAAI,CAClD,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,EAAE,CAC1B,OAAO,CAAC,EAAE,CAAC;QACT,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,MAAM;KACP,CAAC,CACH,CACF,CAAA;IACH,2EAA2E;IAC3E,qEAAqE;IACrE,MAAM,MAAM,GAAmF,IAAI,CAAC,IAAI,CAOtG,GAAG,GAAG,SAAS,EACf;QACE,OAAO,EAAE,KAAK;QACd,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO;QACd,WAAW;QACX,IAAI,EAAE,IAAI,CAAC,OAAO,CAChB,QAAQ,EACR,CAAC,GAAG,EAAE,EAAE,CACN,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;YAC/B,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC;YAC5C,IAAI,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC;YACzB,IAAI,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC;SACpC,CAAC,CAAC,CACN;KACF,CACF,CAAA;IACD,MAAM,OAAO,GAAG,CAAC,GAAa,EAAE,MAAiE,EAAE,EAAE,CACnG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;QACjC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,IAAI,QAAQ,CAAC;QACvE,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QACrG,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;KAChD,CAAC,CAAC,CACJ,CAAC,CAAA;IACJ,MAAM,OAAO,GAAsF,IAAI,CAAC,IAAI,CAO1G,GAAG,GAAG,UAAU,EAChB;QACE,OAAO,EAAE,QAAQ;QACjB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO;QACd,WAAW;QACX,IAAI,EAAE,IAAI,CAAC,OAAO,CAChB,QAAQ,EACR,CAAC,GAAG,EAAE,EAAE,CACN,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,EAAE,CAC/C,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;YACpC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;YACrD,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACnF,IAAI,EAAE,GAAG,EAAE,CACT,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;gBAC3C,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC;gBACjE,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;gBACnG,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CACf,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;oBACpC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;oBAC5D,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC;oBAChC,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CACf,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,MAA2B,EAAE,CAAC,CAAC,IAAI,CAC7D,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,CACpE;iBACJ,CAAC,CAAC;aACN,CAAC,CAAC;SACN,CAAC,CAAC,CACJ,CAAC,CACL;KACF,CACF,CAAA;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAwD,GAAG,EAAE;QACjF,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO;QACd,WAAW;QACX,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;KAChH,CAAC,CAAA;IACF,MAAM,OAAO,GAAG,CAAI,UAA6E,EAAE,EAAE;QACnG,MAAM,gBAAgB,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC/D,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,eAAe,CAAA;YAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAK,CAAA;YAC1C,MAAM,MAAM,GAAG,CAAC,MAAiB,EAAE,GAAW,EAAE,EAAE,CAChD,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAA;YACrE,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;YACpC,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;gBACf,IAAI,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,MAAM;oBAAE,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YAC9E,CAAC,CAAC,CACH,CAAA;QACH,CAAC,CAAC,CAAC,CAAA;QACH,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;QAClH,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAC1B,WAAW,EACX,gBAAgB,EAChB,KAAK,CAAC,KAAK,EACX,UAAU,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAC/B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAA;YAC9B,OAAO;gBACL,KAAK;gBACL,MAAM,EAAE,QAAQ,CAAC,WAAW;gBAC5B,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;gBACrD,UAAU,EAAE,CAAC;gBACb,KAAK,EAAE,CAAC;aACT,CAAA;QACH,CAAC,CAAC,CACH,EACD,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CACpB,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAC7D,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;YAC3B,KAAK,CAAC,OAAO,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAA;QAC7C,CAAC,CAAC,CAAC,CACN,EACD,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CACpB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,IAAI,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;YACpD,MAAM,QAAQ,GAAG,GAAG,CAAC,SAAS,GAAG,OAAO,CAAA;YACxC,IAAI,QAAQ,GAAG,GAAG,IAAI,QAAQ,CAAA;YAC9B,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CAC9E,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EACzC,MAAM,CAAC,KAAK,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,CAAC,CAAC,CAC3E,CAAA;YACD,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;YAChD,QAAQ,KAAK,GAAG,IAAI,QAAQ,CAAA;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;YAC3E,OAAO;gBACL,MAAM;gBACN,QAAQ;gBACR,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,CAAC;gBAClD,IAAI,EAAE,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE;gBACtC,OAAO,EAAE;oBACP,KAAK,EAAE,GAAG,CAAC,KAAK;oBAChB,MAAM,EAAE,GAAG,CAAC,MAAM;oBAClB,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,UAAU,EAAE,GAAG,CAAC,UAAU,GAAG,CAAC;oBAC9B,KAAK,EAAE,CAAC;iBACT;aACF,CAAA;QACH,CAAC,CAAC,EAAE,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,CAAC,EAC1D,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,CAClC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,CAClE,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;YAC3B,KAAK,CAAC,OAAO,GAAG,SAAS,CAAA;QAC3B,CAAC,CAAC,CAAC,CACN,EACD,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CACrB,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CACzD,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;YAC3B,KAAK,CAAC,OAAO,GAAG,SAAS,CAAA;QAC3B,CAAC,CAAC,CAAC,CACN,EACD,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,CACjC,MAAM,CAAC,IAAI,CACT,QAAQ;YACN,CAAC,CAAC,IAAI,mBAAmB,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC;YACtF,CAAC,CAAC,IAAI,eAAe,CAAC;gBACpB,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;gBACf,OAAO,EAAE,OAAO,KAAK,CAAC,GAAG,CAAC,wCAAwC;aACnE,CAAC,CACL,CACF,EACD,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,SAAS,GAAG,OAAO,CAAC,CAAC,EACnG,aAAa,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAC5B,MAAM,CAAC,IAAI,CACT,IAAI,mBAAmB,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,OAAO,KAAK,CAAC,GAAG,CAAC,qCAAqC,EAAE,CAAC,CAC9G,CACF,CACF,CAAA;QACD,qEAAqE;QACrE,OAAO,KAIN,CAAA;IACH,CAAC,CAAA;IACD,yEAAyE;IACzE,yEAAyE;IACzE,MAAM,IAAI,GAAsB,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IAChE,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAG7B,CAAA;AACjB,CAAC,CAAA","sourcesContent":["/**\n * Durable external work as ordinary actions, handoffs and parked timers.\n *\n * @since 1.0.0\n */\n\nimport * as Node from \"@smthrs/plan/Node\"\nimport * as Cause from \"effect/Cause\"\nimport * as Clock from \"effect/Clock\"\nimport * as Context from \"effect/Context\"\nimport * as Duration from \"effect/Duration\"\nimport * as Effect from \"effect/Effect\"\nimport * as Layer from \"effect/Layer\"\nimport * as Option from \"effect/Option\"\nimport * as Schema from \"effect/Schema\"\nimport * as Action from \"./Action/index.ts\"\nimport * as Fault from \"./Fault.ts\"\nimport * as Flow from \"./Flow/index.ts\"\nimport { FlowInstance } from \"./FlowRuntime/FlowInstance.ts\"\nimport { ExecutionMiddleware } from \"./internal/ExecutionMiddleware.ts\"\nimport * as Interpreter from \"./Interpreter.ts\"\nimport * as Sleep from \"./Sleep.ts\"\n\n/**\n * External process observation.\n * @category schemas\n * @since 1.0.0\n */\nexport const Status = Schema.Union([\n  Schema.Struct({ _tag: Schema.Literal(\"Running\") }),\n  Schema.Struct({ _tag: Schema.Literal(\"Exited\"), exitCode: Schema.Int }),\n  Schema.Struct({ _tag: Schema.Literal(\"Lost\") })\n])\n/**\n * Decoded external process observation.\n * @category models\n * @since 1.0.0\n */\nexport type Status = typeof Status.Type\n/**\n * Decoded external process observation.\n * @category models\n * @since 1.0.0\n */\nexport type Exited = Extract<Status, { readonly _tag: \"Exited\" }>\n/**\n * A collected exit that can be replaced.\n *\n * @category errors\n * @since 1.0.0\n */\nexport class Again extends Schema.TaggedError<Again>()(\"@smthrs/flow/ExternalJobAgain\", { message: Schema.String }) {}\n/**\n * No worker or exit receipt remains.\n *\n * @category errors\n * @since 1.0.0\n */\nexport class ExternalJobLost extends Schema.TaggedError<ExternalJobLost>()(\"@smthrs/flow/ExternalJobLost\", {\n  key: Schema.String,\n  message: Schema.String\n}) {}\n/**\n * The deadline anchored before initial start elapsed.\n *\n * @category errors\n * @since 1.0.0\n */\nexport class ExternalJobTimedOut extends Schema.TaggedError<ExternalJobTimedOut>()(\"@smthrs/flow/ExternalJobTimedOut\", {\n  key: Schema.String,\n  message: Schema.String\n}) {}\nFault.register(\"@smthrs/flow/ExternalJobLost\", \"infra\")\nFault.register(\"@smthrs/flow/ExternalJobTimedOut\", \"dependency\")\nFault.register(\"@smthrs/flow/ExternalJobAgain\", \"dependency\")\n\nconst millis = (value: Duration.Input, field: string): number => {\n  const parsed = Duration.fromInput(value)\n  const result = Option.isSome(parsed) ? Duration.toMillis(parsed.value) : NaN\n  if (!Number.isFinite(result) || result <= 0) {\n    throw new RangeError(`ExternalJob.make: ${field} must be a finite positive duration`)\n  }\n  return result\n}\n/**\n * The adapter's full typed failure union belongs in make's error schema.\n *\n * @category models\n * @since 1.0.0\n */\nexport interface Operations<P, H, A, E, R> {\n  readonly start: (payload: P, key: string) => Effect.Effect<H, E, R>\n  readonly status: (handle: H, key: string) => Effect.Effect<Status, E, R>\n  readonly collect: (handle: H, key: string, exited: Exited) => Effect.Effect<A, E | Again, R>\n  readonly cancel: (handle: H, key: string) => Effect.Effect<void, never, R>\n}\n\n/**\n * Create-or-get by execution id and generation. Private ordinary flows carry\n * journaled state; initial callers cannot supply a key or continuation handle.\n * `restarts` counts replacement generations; zero permits only g1.\n * @category constructors\n * @since 1.0.0\n */\nexport const make = <\n  const Tag extends string,\n  P extends Schema.Struct.Fields | Flow.AnyStructSchema,\n  H extends Schema.Top,\n  A extends Schema.Top,\n  E extends Schema.Top = typeof Schema.Never\n>(tag: Tag, options: {\n  readonly payload: P\n  readonly handle: H\n  readonly success: A\n  readonly error?: E\n  readonly probe: { readonly every: Duration.Input; readonly max: Duration.Input }\n  readonly timeout: Duration.Input\n  readonly restarts?: number\n}) => {\n  const every = millis(options.probe.every, \"probe.every\")\n  const maximum = millis(options.probe.max, \"probe.max\")\n  const timeout = millis(options.timeout, \"timeout\")\n  const restarts = options.restarts ?? 0\n  if (maximum < every) throw new RangeError(\"ExternalJob.make: probe.max must be at least probe.every\")\n  if (!Number.isSafeInteger(restarts) || restarts < 0) {\n    throw new RangeError(\"ExternalJob.make: restarts must be a nonnegative safe integer\")\n  }\n  type Input = P extends Schema.Struct.Fields ? Schema.Struct<P> : P\n  // Erase field modifiers at nesting boundaries: these are required values,\n  // even when the author's schema contains optional fields internally.\n  const input =\n    (Schema.isSchema(options.payload) ? options.payload : Schema.Struct(options.payload)) as unknown as Schema.Codec<\n      Input[\"Type\"],\n      Input[\"Encoded\"],\n      Input[\"DecodingServices\"],\n      Input[\"EncodingServices\"]\n    >\n  const handle = options.handle as Schema.Codec<H[\"Type\"], H[\"Encoded\"], H[\"DecodingServices\"], H[\"EncodingServices\"]>\n  const providerError = (options.error ?? Schema.Never) as E\n  const failure = Schema.Union([providerError, ExternalJobLost, ExternalJobTimedOut, Sleep.SleepRequestInvalid])\n  const state = Schema.Struct({\n    input,\n    origin: Schema.String,\n    startedAt: Schema.Number,\n    generation: Schema.Int,\n    probe: Schema.Int\n  })\n  const observed = Schema.Struct({ ...state.fields, handle })\n  type State = typeof state.Type\n  type Observed = typeof observed.Type\n  const keyOf = (job: { readonly origin: string; readonly generation: number }) => `${job.origin}#g${job.generation}`\n  const captures = { tag, every, maximum, timeout, restarts, version: \"external-job/v1\" }\n  type Active = { executionId: string; current: { handle: H[\"Type\"]; key: string } | undefined }\n  const active = Context.Service<Active>(`${tag}/ExternalJobActive`)\n  // Registry tables wrap get() for module isolation but retain add(), the\n  // scoped registration owner. Anchor lifecycle bindings to that owner.\n  const cancellations = new WeakMap<object, (handle: H[\"Type\"], key: string) => Effect.Effect<void>>()\n  const annotations = Context.make(ExecutionMiddleware, {\n    wrap: (payload, body) =>\n      Effect.gen(function*() {\n        const instance = yield* FlowInstance\n        const table = yield* Action.Implementations\n        const cancel = cancellations.get(table.add)\n        if (cancel === undefined) {\n          return yield* Effect.die(\n            new Interpreter.InterpreterError({\n              code: \"unresolved_action\",\n              flow: tag,\n              node: `${tag}/cancel`,\n              message: `ExternalJob ${tag} has no cancellation implementation; provide its toLayer`\n            })\n          )\n        }\n        const current: Active = {\n          executionId: instance.executionId,\n          current: instance.flow._tag === `${tag}/observe`\n            ? { handle: (payload as Observed).handle, key: keyOf(payload as Observed) } :\n            undefined\n        }\n        yield* Flow.withRollback(Effect.succeed(current), (value, cause) =>\n          Cause.hasInterruptsOnly(cause) && !instance.interrupted && !instance.suspended || value.current === undefined\n            ? Effect.void :\n            cancel(value.current.handle, value.current.key))\n        return yield* body.pipe(Effect.provideService(active, current))\n      })\n  })\n  const Initialize = Action.make(`${tag}/initialize`, { payload: { input }, success: state })\n  const Start = Action.make(`${tag}/start`, {\n    payload: state,\n    success: options.handle,\n    error: providerError,\n    tier: \"irreversible\",\n    idempotencyKey: keyOf\n  })\n  const Probe = Action.make(`${tag}/status`, {\n    payload: observed,\n    success: Schema.Struct({\n      status: Status,\n      timedOut: Schema.Boolean,\n      wakeAt: Schema.Number,\n      next: observed,\n      restart: state\n    }),\n    error: providerError,\n    implementationVersion: \"external-job/status/v1\",\n    effects: { reads: [], writes: [], mode: \"expected\", onConflict: \"fail\" },\n    tier: \"sealed\",\n    idempotencyKey: (job) => `${keyOf(job)}/probe/${job.probe}`\n  })\n  const Collect = Action.make(`${tag}/collect`, {\n    payload: { job: observed, exited: Schema.Struct({ _tag: Schema.Literal(\"Exited\"), exitCode: Schema.Int }) },\n    success: options.success,\n    error: Schema.Union([providerError, Again]),\n    tier: \"irreversible\",\n    idempotencyKey: ({ job }) => `${keyOf(job)}/collect`\n  })\n  const Cancel = Action.make(`${tag}/cancel`, {\n    payload: observed,\n    success: Schema.Void,\n    tier: \"irreversible\",\n    idempotencyKey: (job) => `${keyOf(job)}/cancel`\n  })\n  const Fail = Action.make(`${tag}/fail`, {\n    payload: { job: observed, timedOut: Schema.Boolean },\n    success: Schema.Never,\n    error: Schema.Union([ExternalJobLost, ExternalJobTimedOut])\n  })\n  const Ready = Action.make(`${tag}/ready`, { payload: state, success: Schema.Boolean })\n  const LaunchFailure = Action.make(`${tag}/launch-timeout`, {\n    payload: state,\n    success: Schema.Never,\n    error: ExternalJobTimedOut\n  })\n  const launched = (job: State | Action.PlannedPayload<State>) =>\n    Start.call(job as Action.PlannedPayload<State>).pipe(\n      Node.bindPlanned((handle) =>\n        observe.to({\n          input: job.input,\n          origin: job.origin,\n          startedAt: job.startedAt,\n          generation: job.generation,\n          probe: job.probe,\n          handle\n        })\n      )\n    )\n  // Pin the declared union through recursive bodies: cross-package inference\n  // otherwise narrows the error schema to the provider-only generic E.\n  const launch: Flow.Flow<string, typeof state, A, typeof failure, Action.Requirement<string>> = Flow.make<\n    `${Tag}/launch`,\n    typeof state,\n    A,\n    typeof failure,\n    Action.Requirement<string>\n  >(\n    `${tag}/launch`,\n    {\n      payload: state,\n      success: options.success,\n      error: failure,\n      annotations,\n      body: Node.capture(\n        captures,\n        (job) =>\n          Ready.call(job).pipe(Node.branch({\n            if: Node.capture(captures, (ready) => ready),\n            then: () => launched(job),\n            else: () => LaunchFailure.call(job)\n          }))\n      )\n    }\n  )\n  const recover = (job: Observed, result: Action.PlannedPayload<{ restart: State; wakeAt: number }>) =>\n    Cancel.call(job).pipe(Node.andThen(\n      Node.succeed(job).pipe(Node.branch({\n        if: Node.capture(captures, (current) => current.generation <= restarts),\n        then: () => Sleep.action.call({ until: result.wakeAt }).pipe(Node.andThen(launch.to(result.restart))),\n        else: () => Fail.call({ job, timedOut: false })\n      }))\n    ))\n  const observe: Flow.Flow<string, typeof observed, A, typeof failure, Action.Requirement<string>> = Flow.make<\n    `${Tag}/observe`,\n    typeof observed,\n    A,\n    typeof failure,\n    Action.Requirement<string>\n  >(\n    `${tag}/observe`,\n    {\n      payload: observed,\n      success: options.success,\n      error: failure,\n      annotations,\n      body: Node.capture(\n        captures,\n        (job) =>\n          Probe.call(job).pipe(Node.bindPlanned((result) =>\n            Node.succeed(result).pipe(Node.branch({\n              if: Node.capture(captures, (value) => value.timedOut),\n              then: () => Cancel.call(job).pipe(Node.andThen(Fail.call({ job, timedOut: true }))),\n              else: () =>\n                Node.succeed(result.status).pipe(Node.branch({\n                  if: Node.capture(captures, (status) => status._tag === \"Running\"),\n                  then: () => Sleep.action.call({ until: result.wakeAt }).pipe(Node.andThen(observe.to(result.next))),\n                  else: (status) =>\n                    Node.succeed(status).pipe(Node.branch({\n                      if: Node.capture(captures, (value) => value._tag === \"Lost\"),\n                      then: () => recover(job, result),\n                      else: (exited) =>\n                        Collect.call({ job, exited: exited as unknown as Exited }).pipe(\n                          Node.catch({ error: Again, onFailure: () => recover(job, result) })\n                        )\n                    }))\n                }))\n            }))\n          ))\n      )\n    }\n  )\n  const flow = Flow.make<Tag, P, A, typeof failure, Action.Requirement<string>>(tag, {\n    payload: options.payload,\n    success: options.success,\n    error: failure,\n    annotations,\n    body: Node.capture(captures, (payload) => Initialize.call({ input: payload }).pipe(Node.bindPlanned(launched)))\n  })\n  const toLayer = <R>(operations: Operations<typeof input.Type, H[\"Type\"], A[\"Type\"], E[\"Type\"], R>) => {\n    const bindCancellation = Layer.effectDiscard(Effect.gen(function*() {\n      const table = yield* Action.Implementations\n      const context = yield* Effect.context<R>()\n      const cancel = (handle: H[\"Type\"], key: string) =>\n        operations.cancel(handle, key).pipe(Effect.provideContext(context))\n      cancellations.set(table.add, cancel)\n      yield* Effect.addFinalizer(() =>\n        Effect.sync(() => {\n          if (cancellations.get(table.add) === cancel) cancellations.delete(table.add)\n        })\n      )\n    }))\n    const interpreter = Layer.mergeAll(Interpreter.layer(flow), Interpreter.layer(launch), Interpreter.layer(observe))\n    const layer = Layer.mergeAll(\n      interpreter,\n      bindCancellation,\n      Sleep.layer,\n      Initialize.toLayer(({ input }) =>\n        Effect.gen(function*() {\n          const instance = yield* active\n          return {\n            input,\n            origin: instance.executionId,\n            startedAt: Math.floor(yield* Clock.currentTimeMillis),\n            generation: 1,\n            probe: 1\n          }\n        })\n      ),\n      Start.toLayer((job) =>\n        Effect.tap(operations.start(job.input, keyOf(job)), (handle) =>\n          Effect.map(active, (value) => {\n            value.current = { handle, key: keyOf(job) }\n          }))\n      ),\n      Probe.toLayer((job) =>\n        Effect.gen(function*() {\n          let now = Math.floor(yield* Clock.currentTimeMillis)\n          const deadline = job.startedAt + timeout\n          let timedOut = now >= deadline\n          const status = timedOut ? { _tag: \"Running\" as const } : yield* Effect.raceFirst(\n            operations.status(job.handle, keyOf(job)),\n            Effect.sleep(deadline - now).pipe(Effect.as({ _tag: \"Running\" as const }))\n          )\n          now = Math.floor(yield* Clock.currentTimeMillis)\n          timedOut ||= now >= deadline\n          const delay = Math.min(maximum, every * 2 ** Math.min(job.probe - 1, 1023))\n          return {\n            status,\n            timedOut,\n            wakeAt: Math.min(deadline, Math.ceil(now + delay)),\n            next: { ...job, probe: job.probe + 1 },\n            restart: {\n              input: job.input,\n              origin: job.origin,\n              startedAt: job.startedAt,\n              generation: job.generation + 1,\n              probe: 1\n            }\n          }\n        }), { implementationVersion: \"external-job/status/v1\" }),\n      Collect.toLayer(({ exited, job }) =>\n        Effect.tap(operations.collect(job.handle, keyOf(job), exited), () =>\n          Effect.map(active, (value) => {\n            value.current = undefined\n          }))\n      ),\n      Cancel.toLayer((job) =>\n        Effect.tap(operations.cancel(job.handle, keyOf(job)), () =>\n          Effect.map(active, (value) => {\n            value.current = undefined\n          }))\n      ),\n      Fail.toLayer(({ job, timedOut }) =>\n        Effect.fail(\n          timedOut\n            ? new ExternalJobTimedOut({ key: keyOf(job), message: `Job ${keyOf(job)} timed out` })\n            : new ExternalJobLost({\n              key: keyOf(job),\n              message: `Job ${keyOf(job)} exhausted its replacement generations`\n            })\n        )\n      ),\n      Ready.toLayer((job) => Effect.map(Clock.currentTimeMillis, (now) => now < job.startedAt + timeout)),\n      LaunchFailure.toLayer((job) =>\n        Effect.fail(\n          new ExternalJobTimedOut({ key: keyOf(job), message: `Job ${keyOf(job)} timed out before replacement start` })\n        )\n      )\n    )\n    // Active is supplied by the execution middleware, never by the host.\n    return layer as Layer.Layer<\n      Layer.Success<typeof layer>,\n      Layer.Error<typeof layer>,\n      Exclude<Layer.Services<typeof layer>, Active>\n    >\n  }\n  // A job requires its own execution scope and identity even when composed\n  // through call; reuse the existing child boundary rather than inline it.\n  const call: typeof flow.child = (payload) => flow.child(payload)\n  return Object.assign(flow, { call, toLayer }) as {\n    readonly call: typeof call\n    readonly toLayer: typeof toLayer\n  } & typeof flow\n}\n"]}