@yieldstar/core 0.5.0 → 0.6.0

package/dist/base/durable-value.d.ts

@@ -0,0 +1,71 @@
+export type DurableValue = null | boolean | number | string | undefined | Error | DurableValue[] | DurableObject;
+export type DurableObject = {
+    [key: string]: DurableValue;
+};
+/**
+ * Compile-time check for a value that will be recorded. Unlike an index
+ * signature, it accepts interfaces. The codec still validates every value at
+ * runtime.
+ */
+export type Durable<T> = T extends string | number | boolean | null | undefined | Error ? T : T extends readonly (infer U)[] ? readonly Durable<U>[] : T extends Function | Date | Map<any, any> | Set<any> | bigint ? never : {
+    [K in keyof T]: Durable<T[K]>;
+};
+/**
+ * `unknown` when `T` is a durable value, and `Otherwise` when it is not.
+ * Intersect a parameter with it to check a type inferred from the rest of
+ * that parameter: the check takes no part in inference, so literal widening
+ * and union inference are unchanged. `Otherwise` should restate the
+ * parameter with `Durable<T>` in place of `T`, so the error names the
+ * offending property.
+ */
+export type IfDurable<T, Otherwise> = [T] extends [Durable<T>] ? unknown : Otherwise;
+export type DurableValueEncoding = {
+    status: "encoded";
+    canonical: string;
+} | {
+    status: "invalid";
+    message: string;
+};
+export type DurableDecoding = {
+    status: "decoded";
+    value: DurableValue;
+} | {
+    status: "invalid";
+    message: string;
+};
+export interface DurableValueCodec {
+    /**
+     * Validates `value` recursively and returns its canonical JSON: object keys
+     * sorted by UTF-16 code unit and `-0` written as `0`, so equal values always
+     * encode to the same string. `undefined`, errors and plain objects with an
+     * own `$type` key are written as tagged objects. Never throws for an invalid
+     * value.
+     */
+    encode(value: unknown): DurableValueEncoding;
+    /**
+     * Reads an encoding back into the value that was encoded. Errors are revived
+     * as the class registered under their `name`, without calling its
+     * constructor. Never throws for an invalid encoding.
+     */
+    decode(canonical: string): DurableDecoding;
+}
+export declare class DurableValueError extends Error {
+}
+export declare const durableValueCodec: DurableValueCodec;
+/**
+ * Encodes a thrown value: as thrown when it is a `DurableValue`, and as
+ * `Error(String(value))` otherwise. Always succeeds.
+ */
+export declare function encodeThrownValue(value: unknown): string;
+/**
+ * Whether `value` is an object with the default object prototype or `null`.
+ * It says nothing about the object's properties.
+ */
+export declare function isPlainObject(value: unknown): value is Record<string, unknown>;
+/**
+ * Decodes a value already parsed from an encoding's JSON, so that adapters can
+ * embed encodings in a larger JSON document. Throws `DurableValueError` for an
+ * invalid encoding.
+ */
+export declare function decodeParsedValue(parsed: unknown, path?: string): DurableValue;
+//# sourceMappingURL=durable-value.d.ts.map

package/dist/base/durable-value.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"durable-value.d.ts","sourceRoot":"","sources":["../../src/base/durable-value.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,YAAY,GACpB,IAAI,GACJ,OAAO,GACP,MAAM,GACN,MAAM,GACN,SAAS,GACT,KAAK,GACL,YAAY,EAAE,GACd,aAAa,CAAC;AAElB,MAAM,MAAM,aAAa,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,CAAC;AAE5D;;;;GAIG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SACtB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,GACT,KAAK,GACL,CAAC,GACD,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAC9B,SAAS,OAAO,CAAC,CAAC,CAAC,EAAE,GACrB,CAAC,SAAS,QAAQ,GAAG,IAAI,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,GAC7D,KAAK,GACL;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAEtC;;;;;;;GAOG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,SAAS,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,SAAS,CAAC;AAErF,MAAM,MAAM,oBAAoB,GAC5B;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACxC;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3C,MAAM,MAAM,eAAe,GACvB;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAE,GAC1C;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3C,MAAM,WAAW,iBAAiB;IAChC;;;;;;OAMG;IACH,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,oBAAoB,CAAC;IAE7C;;;;OAIG;IACH,MAAM,CAAC,SAAS,EAAE,MAAM,GAAG,eAAe,CAAC;CAC5C;AAED,qBAAa,iBAAkB,SAAQ,KAAK;CAAG;AAE/C,eAAO,MAAM,iBAAiB,EAAE,iBAwB/B,CAAC;AAEF;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAUxD;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAI9E;AAkLD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,SAAM,GAAG,YAAY,CAuC3E"}

package/dist/base/durable-value.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=durable-value.test.d.ts.map

package/dist/base/durable-value.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"durable-value.test.d.ts","sourceRoot":"","sources":["../../src/base/durable-value.test.ts"],"names":[],"mappings":""}

package/dist/base/effect.d.ts

@@ -0,0 +1,136 @@
+import type { DurableObject, DurableValue } from "./durable-value";
+export type EffectBeginRequest = {
+    operation: string;
+    /** Identifies the external operation across every execution and runtime. */
+    effectId: string;
+    input: DurableObject;
+    /** The execution and step that are beginning the effect. */
+    executionId: string;
+    stepKey: string;
+};
+export type EffectBeginResult = {
+    status: "new";
+} | {
+    status: "pending";
+} | {
+    status: "settled";
+    result: DurableValue;
+} | {
+    status: "rejected";
+    code: "EFFECT_REQUEST_MISMATCH";
+};
+export type EffectSettleRequest = {
+    operation: string;
+    effectId: string;
+    result: DurableValue;
+};
+export type EffectSettleResult = {
+    status: "settled";
+    result: DurableValue;
+} | {
+    status: "conflict";
+    /** The first result, which stays settled. */
+    result: DurableValue;
+    conflictingResult: DurableValue;
+};
+export type EffectWatchRequest = {
+    effectId: string;
+    executionId: string;
+    stepKey: string;
+};
+/** A settlement that reported a different result from the settled one. */
+export type EffectConflictReport = {
+    result: DurableValue;
+    conflictingResult: DurableValue;
+    reportedAt: number;
+};
+export type EffectRecord = {
+    effectId: string;
+    operation: string;
+    input: DurableObject;
+    status: "pending" | "settled";
+    /** Present, possibly as `undefined`, only when `status` is `settled`. */
+    result?: DurableValue;
+    conflicts: EffectConflictReport[];
+};
+/**
+ * The runtime's record of external effects, keyed by effect ID (RFC 005).
+ * Effect records are never deleted, including when an execution that began
+ * one is cancelled or pruned.
+ *
+ * `begin`, `settle` and `watch` are not fenced: a stale lease holder's calls
+ * are accepted, and are safe because each is idempotent by effect ID. A
+ * client throws `EffectClientInvariantError` for a request the driver should
+ * never make, such as one with invalid values or for an unknown effect, and
+ * for stored data it cannot read. Any other rejection means the client may be
+ * unavailable.
+ */
+export interface EffectClient {
+    /**
+     * Creates a pending effect before returning `new`. For an existing effect,
+     * returns its current state when `operation` and the canonical encoding of
+     * `input` match, and `EFFECT_REQUEST_MISMATCH` otherwise, leaving the
+     * effect unchanged.
+     */
+    begin(request: EffectBeginRequest): Promise<EffectBeginResult>;
+    /**
+     * Settles a pending effect with `result` and wakes every execution watching
+     * it, all-or-nothing. Settling an effect again with an equal result returns
+     * the settled result; a different result keeps the first, returns
+     * `conflict` and stores a permanent conflict report.
+     */
+    settle(request: EffectSettleRequest): Promise<EffectSettleResult>;
+    /**
+     * Registers the step as a waiter on the effect, so settlement wakes its
+     * execution. Repeating it keeps one registration. If the effect is already
+     * settled, wakes the execution now. The waiter is deleted by the heap write
+     * that records the step's result.
+     */
+    watch(request: EffectWatchRequest): Promise<void>;
+    /** For operators: the effect, its result and any conflict reports. */
+    getEffect(effectId: string): Promise<EffectRecord | undefined>;
+}
+/**
+ * Thrown by an `EffectClient` when a request or its stored data breaks the
+ * client's invariants. The driver requests another delivery instead of
+ * recording a step.
+ */
+export declare class EffectClientInvariantError extends Error {
+    readonly code: "EFFECT_RUNTIME_INVARIANT";
+    constructor(message: string, options?: ErrorOptions);
+}
+export type WorkflowEffectErrorCode = "INVALID_EFFECT_REQUEST" | "EFFECT_REQUEST_MISMATCH";
+/** The codes with which `step.effect` requests another delivery. */
+export type EffectDeliveryErrorCode = "EFFECT_CLIENT_UNAVAILABLE" | "EFFECT_HANDLER_INVALID" | "EFFECT_RUNTIME_INVARIANT";
+/**
+ * The cause of the infrastructure error with which `step.effect` ends a
+ * delivery without recording its step. It never reaches workflow code: the
+ * delivery is not acknowledged, and the execution is delivered again.
+ *
+ * - `EFFECT_CLIENT_UNAVAILABLE`: an `EffectClient` call failed, and may
+ *   recover without intervention.
+ * - `EFFECT_HANDLER_INVALID`: `lookup` or `perform` returned a malformed
+ *   response or a value that is not durable.
+ * - `EFFECT_RUNTIME_INVARIANT`: the `EffectClient` threw
+ *   `EffectClientInvariantError` or answered with a malformed response.
+ */
+export declare class EffectDeliveryError extends Error {
+    readonly code: EffectDeliveryErrorCode;
+    readonly effectId: string;
+    readonly stepKey: string;
+    constructor(code: EffectDeliveryErrorCode, params: {
+        effectId: string;
+        stepKey: string;
+        message: string;
+    }, options?: ErrorOptions);
+}
+/**
+ * Thrown to workflow code by `step.effect` for an invalid request or one that
+ * does not match the recorded effect. It is recorded as the step's error, so
+ * replay throws it again.
+ */
+export declare class WorkflowEffectError extends Error {
+    readonly code: WorkflowEffectErrorCode;
+    constructor(code: WorkflowEffectErrorCode, message: string);
+}
+//# sourceMappingURL=effect.d.ts.map

package/dist/base/effect.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect.d.ts","sourceRoot":"","sources":["../../src/base/effect.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAEnE,MAAM,MAAM,kBAAkB,GAAG;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,4EAA4E;IAC5E,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,aAAa,CAAC;IACrB,4DAA4D;IAC5D,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB;IAAE,MAAM,EAAE,KAAK,CAAA;CAAE,GACjB;IAAE,MAAM,EAAE,SAAS,CAAA;CAAE,GACrB;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC3C;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,yBAAyB,CAAA;CAAE,CAAC;AAE5D,MAAM,MAAM,mBAAmB,GAAG;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,YAAY,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAC1B;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC3C;IACE,MAAM,EAAE,UAAU,CAAC;IACnB,6CAA6C;IAC7C,MAAM,EAAE,YAAY,CAAC;IACrB,iBAAiB,EAAE,YAAY,CAAC;CACjC,CAAC;AAEN,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,0EAA0E;AAC1E,MAAM,MAAM,oBAAoB,GAAG;IACjC,MAAM,EAAE,YAAY,CAAC;IACrB,iBAAiB,EAAE,YAAY,CAAC;IAChC,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,aAAa,CAAC;IACrB,MAAM,EAAE,SAAS,GAAG,SAAS,CAAC;IAC9B,yEAAyE;IACzE,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,SAAS,EAAE,oBAAoB,EAAE,CAAC;CACnC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,YAAY;IAC3B;;;;;OAKG;IACH,KAAK,CAAC,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAE/D;;;;;OAKG;IACH,MAAM,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAElE;;;;;OAKG;IACH,KAAK,CAAC,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAElD,sEAAsE;IACtE,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC,CAAC;CAChE;AAED;;;;GAIG;AACH,qBAAa,0BAA2B,SAAQ,KAAK;IACnD,QAAQ,CAAC,IAAI,EAAG,0BAA0B,CAAU;gBAExC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,YAAY;CAIpD;AAED,MAAM,MAAM,uBAAuB,GAC/B,wBAAwB,GACxB,yBAAyB,CAAC;AAE9B,oEAAoE;AACpE,MAAM,MAAM,uBAAuB,GAC/B,2BAA2B,GAC3B,wBAAwB,GACxB,0BAA0B,CAAC;AAE/B;;;;;;;;;;;GAWG;AACH,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;gBAGvB,IAAI,EAAE,uBAAuB,EAC7B,MAAM,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAC9D,OAAO,CAAC,EAAE,YAAY;CAQzB;AAED;;;;GAIG;AACH,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;gBAE3B,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,MAAM;CAK3D"}

package/dist/base/errors.d.ts

@@ -0,0 +1,23 @@
+export type WorkflowValueErrorCode = "INVALID_STEP_VALUE" | "STEP_SCHEMA_INVALID";
+/** The `stepKey` of a `WorkflowValueError` raised by an invalid workflow result. */
+export declare const WORKFLOW_RESULT_STEP_KEY = "$$workflow-result$$";
+/**
+ * Thrown to workflow code when a step produces a value the durable value codec
+ * rejects, or a step's schema rejects its decoded value. It is recorded as the
+ * step's error, so replay throws it again.
+ */
+export declare class WorkflowValueError extends Error {
+    readonly code: WorkflowValueErrorCode;
+    readonly stepKey: string;
+    constructor(code: WorkflowValueErrorCode, stepKey: string, message: string);
+}
+export type ErrorClass = abstract new (...args: any[]) => Error;
+/**
+ * Registers the class that decoding revives errors named `name` as, replacing
+ * any class registered under that name. Registration is per process: a worker
+ * that has not registered a class revives its errors as plain `Error`s with
+ * the same name, message, code, cause and fields.
+ */
+export declare function registerErrorClass(name: string, errorClass: ErrorClass): void;
+export declare function registeredErrorClass(name: string): ErrorClass | undefined;
+//# sourceMappingURL=errors.d.ts.map

package/dist/base/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/base/errors.ts"],"names":[],"mappings":"AAOA,MAAM,MAAM,sBAAsB,GAAG,oBAAoB,GAAG,qBAAqB,CAAC;AAElF,oFAAoF;AACpF,eAAO,MAAM,wBAAwB,wBAAwB,CAAC;AAE9D;;;;GAIG;AACH,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;gBAEb,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAM3E;AAED,MAAM,MAAM,UAAU,GAAG,QAAQ,MAAM,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,KAAK,CAAC;AAIhE;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,GAAG,IAAI,CAW7E;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAEzE"}

package/dist/base/errors.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=errors.test.d.ts.map

package/dist/base/errors.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.test.d.ts","sourceRoot":"","sources":["../../src/base/errors.test.ts"],"names":[],"mappings":""}

package/dist/base/event.d.ts

@@ -25,7 +25,12 @@ export type WorkflowEvent<Params extends EventParams = EventParams, Context exte
     params: Params;
     context: Context;
 };
-export type MiddlewareEvent<Params extends EventParams = EventParams, Context extends MiddlewareEventContext = MiddlewareEventContext> = ExecutionEvent<Params> & {
+/**
+ * The event a trigger route passes through middleware before admission.
+ * `executionId` is absent when the caller lets the runtime choose one.
+ */
+export type MiddlewareEvent<Params extends EventParams = EventParams, Context extends MiddlewareEventContext = MiddlewareEventContext> = Omit<ExecutionEvent<Params>, "executionId" | "context"> & {
+    executionId?: string;
     context: Context;
 };
 //# sourceMappingURL=event.d.ts.map

package/dist/base/event.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"event.d.ts","sourceRoot":"","sources":["../../src/base/event.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC;AACrD,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AACjD,MAAM,MAAM,sBAAsB,GAAG,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAE5D,MAAM,MAAM,YAAY,CACtB,UAAU,SAAS,MAAM,EACzB,MAAM,SAAS,WAAW,GAAG,WAAW,IACtC,MAAM,SAAS,IAAI,GACnB;IACE,UAAU,EAAE,UAAU,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC/B,GACD;IACE,UAAU,EAAE,UAAU,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC/B,CAAC;AAEN,MAAM,MAAM,cAAc,CAAC,MAAM,SAAS,WAAW,GAAG,WAAW,IAAI;IACrE,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,aAAa,CACvB,MAAM,SAAS,WAAW,GAAG,WAAW,EACxC,OAAO,SAAS,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,IAC3D;IACF,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,eAAe,CACzB,MAAM,SAAS,WAAW,GAAG,WAAW,EACxC,OAAO,SAAS,sBAAsB,GAAG,sBAAsB,IAC7D,cAAc,CAAC,MAAM,CAAC,GAAG;IAC3B,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC"}
+{"version":3,"file":"event.d.ts","sourceRoot":"","sources":["../../src/base/event.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC;AACrD,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AACjD,MAAM,MAAM,sBAAsB,GAAG,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAE5D,MAAM,MAAM,YAAY,CACtB,UAAU,SAAS,MAAM,EACzB,MAAM,SAAS,WAAW,GAAG,WAAW,IACtC,MAAM,SAAS,IAAI,GACnB;IACE,UAAU,EAAE,UAAU,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC/B,GACD;IACE,UAAU,EAAE,UAAU,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC/B,CAAC;AAEN,MAAM,MAAM,cAAc,CAAC,MAAM,SAAS,WAAW,GAAG,WAAW,IAAI;IACrE,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,aAAa,CACvB,MAAM,SAAS,WAAW,GAAG,WAAW,EACxC,OAAO,SAAS,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,IAC3D;IACF,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,eAAe,CACzB,MAAM,SAAS,WAAW,GAAG,WAAW,EACxC,OAAO,SAAS,sBAAsB,GAAG,sBAAsB,IAC7D,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,aAAa,GAAG,SAAS,CAAC,GAAG;IAC5D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC"}

package/dist/base/execution.d.ts

@@ -0,0 +1,244 @@
+import type { DurableObject } from "./durable-value";
+import type { EventContext, EventParams } from "./event";
+export type ExecutionStatus = "admitted" | "running" | "suspended" | "completed" | "failed";
+export type ExecutionOutcome = {
+    status: "completed";
+    result: unknown;
+} | {
+    status: "failed";
+    error: Error;
+};
+/** The execution and step that started an execution with `step.start`. */
+export type ExecutionParent = {
+    executionId: string;
+    stepKey: string;
+};
+/**
+ * The durable record of one workflow execution. Admission creates it and
+ * stores the event once; every delivery reads the event from here.
+ *
+ * - `admitted`: no delivery has been acknowledged yet.
+ * - `running`: the execution has a live lease. When the lease ends without a
+ *   terminal acknowledgement, the status returns to `suspended` if any
+ *   earlier delivery was acknowledged as suspended, and to `admitted`
+ *   otherwise.
+ * - `suspended`: the latest acknowledged delivery suspended the workflow.
+ * - `completed` and `failed` are terminal. `outcome` is present only in these
+ *   states.
+ *
+ * `parent` is present, and immutable, only on executions admitted by `start`.
+ */
+export interface ExecutionRecord {
+    executionId: string;
+    workflowId: string;
+    params: EventParams;
+    context: EventContext;
+    status: ExecutionStatus;
+    outcome?: ExecutionOutcome;
+    admittedAt: number;
+    updatedAt: number;
+    /** Consecutive deliveries that ended without an acknowledgement. */
+    unacknowledgedDeliveryCount: number;
+    parent?: ExecutionParent;
+}
+export type ExecutionAdmissionErrorCode = "EXECUTION_ID_CONFLICT" | "INVALID_EXECUTION_EVENT";
+/**
+ * A lease on one execution, granted by `claimDue`. `token` is a fencing token:
+ * every claim of the execution issues a token greater than every earlier one,
+ * and only the current token's fenced writes are accepted. It also identifies
+ * the wakes the delivery covers. `expiresAt` is read from the runtime clock;
+ * clocks decide only when the execution becomes claimable again, never whose
+ * writes count.
+ */
+export type ExecutionLease = {
+    executionId: string;
+    token: number;
+    expiresAt: number;
+};
+/**
+ * Returned by a fenced write whose lease is no longer current: a higher token
+ * has been issued, or the lease has ended. The write changed nothing, and its
+ * holder must stop.
+ */
+export type LeaseLost = {
+    status: "lost";
+};
+export declare function isLeaseLost(value: unknown): value is LeaseLost;
+/**
+ * What a delivery reports once its durable work is finished:
+ * - `completed`: the workflow returned a result;
+ * - `suspended`: the unfinished step is recorded, and `wakeAt`, when present,
+ *   is the earliest time a paused step needs the execution to run again;
+ * - `failed`: workflow code threw an uncaught error.
+ *
+ * Infrastructure errors are never outcomes: the delivery rejects instead.
+ */
+export type WorkflowRunOutcome = {
+    status: "completed";
+    result: unknown;
+} | {
+    status: "suspended";
+    wakeAt?: number;
+} | {
+    status: "failed";
+    error: Error;
+};
+export type ExecutionAdmissionRequest = {
+    executionId?: string;
+    workflowId: string;
+    params: EventParams;
+    context: EventContext;
+};
+export type ExecutionAdmissionResult = {
+    status: "accepted";
+    executionId: string;
+} | {
+    status: "rejected";
+    code: ExecutionAdmissionErrorCode;
+    message: string;
+};
+export type WorkflowStartErrorCode = "INVALID_START_PARAMETERS" | "START_REQUEST_MISMATCH";
+export type ExecutionStartRequest = {
+    /** Identifies the request: the calling execution and its step key. */
+    requestId: {
+        executionId: string;
+        stepKey: string;
+    };
+    workflowId: string;
+    params?: DurableObject;
+};
+export type ExecutionStartResult = {
+    status: "accepted";
+    executionId: string;
+} | {
+    status: "rejected";
+    code: WorkflowStartErrorCode;
+    message: string;
+};
+export type ExecutionWakeResult = {
+    status: "requested";
+} | {
+    status: "ignored";
+} | {
+    status: "rejected";
+    code: "EXECUTION_NOT_FOUND";
+    message: string;
+};
+export type ExecutionAcknowledgeResult = {
+    status: "suspended";
+} | ExecutionOutcome | LeaseLost;
+export type ExecutionRenewResult = {
+    status: "renewed";
+    lease: ExecutionLease;
+} | LeaseLost;
+export type ExecutionReleaseResult = {
+    status: "released";
+} | LeaseLost;
+export interface ExecutionClient {
+    /**
+     * Creates the execution record with status `admitted` and makes it due
+     * immediately, all-or-nothing. Execution IDs are never reused.
+     */
+    admit(request: ExecutionAdmissionRequest): Promise<ExecutionAdmissionResult>;
+    get(executionId: string): Promise<ExecutionRecord | undefined>;
+    /**
+     * Starts a workflow on behalf of the execution and step named by
+     * `requestId`, idempotently by that ID. A new start admits the target with
+     * the caller's context and a parent link to the caller, and records the
+     * start request, all-or-nothing. A repeated request returns the first
+     * target's ID if its workflow ID and canonical params match, and
+     * `START_REQUEST_MISMATCH` otherwise, whatever the target's status. Invalid
+     * params return `INVALID_START_PARAMETERS` and admit nothing. Not fenced.
+     */
+    start(request: ExecutionStartRequest): Promise<ExecutionStartResult>;
+    /**
+     * Requests a wake from outside a delivery, such as a store commit. Wakes not
+     * covered by a claimed delivery merge into one due time: the earliest.
+     */
+    requestWake(request: {
+        executionId: string;
+        wakeAt: number;
+    }): Promise<ExecutionWakeResult>;
+    /**
+     * Leases up to `limit` executions whose due time is at or before the runtime
+     * clock and that have no live lease, earliest due first. Each lease lasts
+     * `duration` milliseconds and carries a token greater than every earlier
+     * token for its execution. An execution has at most one live lease at a
+     * time, across every client sharing the backend.
+     */
+    claimDue(request: {
+        limit: number;
+        duration: number;
+    }): Promise<ExecutionLease[]>;
+    /**
+     * Extends a lease to `duration` milliseconds from now. Returns `lost` if a
+     * higher token has been issued or the lease has ended. An expired lease
+     * that has not been claimed again is still current.
+     */
+    renew(request: {
+        lease: ExecutionLease;
+        duration: number;
+    }): Promise<ExecutionRenewResult>;
+    /**
+     * Ends a lease without acknowledging an outcome. The delivery counts as
+     * unacknowledged, so the execution becomes claimable again only after the
+     * redelivery delay. Returns `lost` for a stale lease.
+     */
+    release(request: {
+        lease: ExecutionLease;
+    }): Promise<ExecutionReleaseResult>;
+    /**
+     * Records a delivery's outcome and ends its lease, all-or-nothing. A
+     * `suspended` outcome clears the wakes the lease covered, leaving the
+     * execution due at the earliest of `wakeAt` and any wake requested since the
+     * claim. A stale lease returns `lost` and changes nothing.
+     */
+    acknowledge(request: {
+        lease: ExecutionLease;
+        outcome: WorkflowRunOutcome;
+    }): Promise<ExecutionAcknowledgeResult>;
+}
+/**
+ * Thrown by the driver when a fenced write returns `lost`: another claim has
+ * taken over the execution, so this delivery must stop without acknowledging.
+ */
+export declare class LeaseLostError extends Error {
+    readonly executionId: string;
+    constructor(executionId: string);
+}
+/**
+ * Thrown by the driver when the current holder writes a step record that
+ * already exists with a different value. The recorded value stands: the
+ * delivery ends as a retry, and the next delivery replays the recorded value.
+ */
+export declare class StepConflictError extends Error {
+    readonly executionId: string;
+    readonly stepKey: string;
+    constructor(executionId: string, stepKey: string);
+}
+export declare class ExecutionAdmissionError extends Error {
+    readonly code: ExecutionAdmissionErrorCode;
+    constructor(code: ExecutionAdmissionErrorCode, message: string);
+}
+/**
+ * Thrown to workflow code by `step.start` when the runtime rejects the start.
+ * The rejection is recorded as the step's result, so replay throws it again.
+ */
+export declare class WorkflowStartError extends Error {
+    readonly code: WorkflowStartErrorCode;
+    constructor(code: WorkflowStartErrorCode, message: string);
+}
+declare const INFRASTRUCTURE_ERROR: unique symbol;
+/**
+ * Wraps a failure of the runtime rather than of workflow code, such as a heap
+ * or store client rejecting. A delivery that hits one rejects without
+ * resuming workflow code, and is not acknowledged.
+ */
+export declare class InfrastructureError extends Error {
+    readonly [INFRASTRUCTURE_ERROR] = true;
+    constructor(cause: unknown);
+    static is(value: unknown): value is InfrastructureError;
+}
+export declare function isTerminalExecutionStatus(status: ExecutionStatus): status is "completed" | "failed";
+export {};
+//# sourceMappingURL=execution.d.ts.map

package/dist/base/execution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"execution.d.ts","sourceRoot":"","sources":["../../src/base/execution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAEzD,MAAM,MAAM,eAAe,GACvB,UAAU,GACV,SAAS,GACT,WAAW,GACX,WAAW,GACX,QAAQ,CAAC;AAEb,MAAM,MAAM,gBAAgB,GACxB;IAAE,MAAM,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GACxC;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAEvC,0EAA0E;AAC1E,MAAM,MAAM,eAAe,GAAG;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvE;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,eAAe;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,WAAW,CAAC;IACpB,OAAO,EAAE,YAAY,CAAC;IACtB,MAAM,EAAE,eAAe,CAAC;IACxB,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,oEAAoE;IACpE,2BAA2B,EAAE,MAAM,CAAC;IACpC,MAAM,CAAC,EAAE,eAAe,CAAC;CAC1B;AAED,MAAM,MAAM,2BAA2B,GACnC,uBAAuB,GACvB,yBAAyB,CAAC;AAE9B;;;;;;;GAOG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3C,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,SAAS,CAM9D;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,kBAAkB,GAC1B;IAAE,MAAM,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GACxC;IAAE,MAAM,EAAE,WAAW,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GACxC;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAEvC,MAAM,MAAM,yBAAyB,GAAG;IACtC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,WAAW,CAAC;IACpB,OAAO,EAAE,YAAY,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAChC;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAC3C;IACE,MAAM,EAAE,UAAU,CAAC;IACnB,IAAI,EAAE,2BAA2B,CAAC;IAClC,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEN,MAAM,MAAM,sBAAsB,GAC9B,0BAA0B,GAC1B,wBAAwB,CAAC;AAE7B,MAAM,MAAM,qBAAqB,GAAG;IAClC,sEAAsE;IACtE,SAAS,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACpD,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,aAAa,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAC5B;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAC3C;IACE,MAAM,EAAE,UAAU,CAAC;IACnB,IAAI,EAAE,sBAAsB,CAAC;IAC7B,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEN,MAAM,MAAM,mBAAmB,GAC3B;IAAE,MAAM,EAAE,WAAW,CAAA;CAAE,GACvB;IAAE,MAAM,EAAE,SAAS,CAAA;CAAE,GACrB;IACE,MAAM,EAAE,UAAU,CAAC;IACnB,IAAI,EAAE,qBAAqB,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEN,MAAM,MAAM,0BAA0B,GAClC;IAAE,MAAM,EAAE,WAAW,CAAA;CAAE,GACvB,gBAAgB,GAChB,SAAS,CAAC;AAEd,MAAM,MAAM,oBAAoB,GAC5B;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,cAAc,CAAA;CAAE,GAC5C,SAAS,CAAC;AAEd,MAAM,MAAM,sBAAsB,GAAG;IAAE,MAAM,EAAE,UAAU,CAAA;CAAE,GAAG,SAAS,CAAC;AAExE,MAAM,WAAW,eAAe;IAC9B;;;OAGG;IACH,KAAK,CAAC,OAAO,EAAE,yBAAyB,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAAC;IAE7E,GAAG,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,GAAG,SAAS,CAAC,CAAC;IAE/D;;;;;;;;OAQG;IACH,KAAK,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAErE;;;OAGG;IACH,WAAW,CAAC,OAAO,EAAE;QACnB,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,MAAM,CAAC;KAChB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAEjC;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,EAAE;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,MAAM,CAAC;KAClB,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;IAE9B;;;;OAIG;IACH,KAAK,CAAC,OAAO,EAAE;QACb,KAAK,EAAE,cAAc,CAAC;QACtB,QAAQ,EAAE,MAAM,CAAC;KAClB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAElC;;;;OAIG;IACH,OAAO,CAAC,OAAO,EAAE;QAAE,KAAK,EAAE,cAAc,CAAA;KAAE,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAAC;IAE7E;;;;;OAKG;IACH,WAAW,CAAC,OAAO,EAAE;QACnB,KAAK,EAAE,cAAc,CAAC;QACtB,OAAO,EAAE,kBAAkB,CAAC;KAC7B,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAC;CACzC;AAED;;;GAGG;AACH,qBAAa,cAAe,SAAQ,KAAK;IACvC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;gBAEjB,WAAW,EAAE,MAAM;CAKhC;AAED;;;;GAIG;AACH,qBAAa,iBAAkB,SAAQ,KAAK;IAC1C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;gBAEb,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAQjD;AAED,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,QAAQ,CAAC,IAAI,EAAE,2BAA2B,CAAC;gBAE/B,IAAI,EAAE,2BAA2B,EAAE,OAAO,EAAE,MAAM;CAK/D;AAED;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;gBAE1B,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,MAAM;CAK1D;AAED,QAAA,MAAM,oBAAoB,eAA8C,CAAC;AAEzE;;;;GAIG;AACH,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,CAAC,oBAAoB,CAAC,QAAQ;gBAE3B,KAAK,EAAE,OAAO;IAK1B,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,mBAAmB;CAOxD;AAED,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,eAAe,GACtB,MAAM,IAAI,WAAW,GAAG,QAAQ,CAElC"}

package/dist/base/heap.d.ts

@@ -1,3 +1,4 @@
+import type { ExecutionLease, LeaseLost } from "./execution";
 export type HeapRecord = {
     stepResponseJson: string;
     meta: {
@@ -10,12 +11,23 @@ export declare abstract class HeapClient {
         executionId: string;
         stepKey: string;
     }): Promise<HeapRecord | null>;
+    /**
+     * Records one attempt of a step, fenced by `lease`. The token check and the
+     * write are atomic: if the lease is not current, nothing changes and the
+     * write returns `lost`. A `done` record also deletes the step's store
+     * and effect waiters in the same write.
+     *
+     * Records are keyed by execution, step key and attempt, and never change
+     * once written. Rewriting an existing record succeeds without changing it,
+     * and resolves with the record as stored, which may hold a different value
+     * from the one written: callers compare it to detect a conflicting write.
+     */
     abstract writeStep(params: {
-        executionId: string;
+        lease: ExecutionLease;
         stepKey: string;
         stepAttempt: number;
-        stepDone: boolean;
+        done: boolean;
         stepResponseJson: string;
-    }): Promise<void>;
+    }): Promise<HeapRecord | LeaseLost>;
 }
 //# sourceMappingURL=heap.d.ts.map

package/dist/base/heap.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"heap.d.ts","sourceRoot":"","sources":["../../src/base/heap.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,UAAU,GAAG;IACvB,gBAAgB,EAAE,MAAM,CAAC;IACzB,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC;CAC1C,CAAC;AAEF,8BAAsB,UAAU;IAC9B,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE;QACxB,WAAW,EAAE,MAAM,CAAC;QACpB,OAAO,EAAE,MAAM,CAAC;KACjB,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE;QACzB,WAAW,EAAE,MAAM,CAAC;QACpB,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;QACpB,QAAQ,EAAE,OAAO,CAAC;QAClB,gBAAgB,EAAE,MAAM,CAAC;KAC1B,GAAG,OAAO,CAAC,IAAI,CAAC;CAClB"}
+{"version":3,"file":"heap.d.ts","sourceRoot":"","sources":["../../src/base/heap.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7D,MAAM,MAAM,UAAU,GAAG;IACvB,gBAAgB,EAAE,MAAM,CAAC;IACzB,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC;CAC1C,CAAC;AAEF,8BAAsB,UAAU;IAC9B,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE;QACxB,WAAW,EAAE,MAAM,CAAC;QACpB,OAAO,EAAE,MAAM,CAAC;KACjB,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAE9B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE;QACzB,KAAK,EAAE,cAAc,CAAC;QACtB,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;QACpB,IAAI,EAAE,OAAO,CAAC;QACd,gBAAgB,EAAE,MAAM,CAAC;KAC1B,GAAG,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC;CACpC"}

package/dist/base/invoker.d.ts

@@ -1,7 +1,52 @@
 import type { EventEmitter } from "node:events";
-import type { ExecutionEvent } from "./event";
+import type { WorkflowEvent } from "./event";
+import type { ExecutionLease, WorkflowRunOutcome } from "./execution";
+export type DeliveryOptions = {
+    /** Every fenced write the delivery makes carries this lease. */
+    lease: ExecutionLease;
+    /**
+     * Aborted when the delivery must stop: the dispatcher aborts it, with a
+     * `LeaseLostError` as its reason, when a renewal returns `lost`. The driver
+     * checks it before each step function and each fenced write, and ends an
+     * aborted delivery without running more workflow code.
+     */
+    signal: AbortSignal;
+};
 export type WorkflowInvoker = {
+    /**
+     * @deprecated The execution record is the source of truth for outcomes.
+     * The dispatcher still emits terminal outcomes here as an in-process fast
+     * path; no guarantee depends on it.
+     */
     workflowEndEmitter: EventEmitter;
-    execute(event: ExecutionEvent): Promise<void>;
+    /**
+     * Runs one delivery of an execution and resolves with its outcome. Rejects,
+     * without an outcome, when the delivery hits an infrastructure error or the
+     * worker exits before replying. Once `options.signal` aborts, the delivery runs
+     * no more workflow code and makes no more fenced writes; it rejects with an
+     * `InfrastructureError` whose cause is the signal's reason. An invoker that
+     * can stop a step function already running, as the worker invoker does by
+     * killing its worker, should do so and reject at once. The dispatcher
+     * abandons a delivery that has not settled within its `abortGracePeriod`
+     * of the abort, and frees its slot.
+     *
+     * A worker that exits before replying rejects with a `WorkerExitedError`:
+     * the dispatcher then leaves the lease to expire, because the worker's last
+     * writes may still be landing. Every other rejection is a retry reply, and
+     * the dispatcher releases the lease.
+     */
+    deliver(event: WorkflowEvent, options: DeliveryOptions): Promise<WorkflowRunOutcome>;
 };
+declare const WORKER_EXITED: unique symbol;
+/**
+ * Rejects a delivery whose worker exited, or was killed, before replying.
+ * The dispatcher does not release the lease: it expires, and the execution is
+ * delivered again after the redelivery delay.
+ */
+export declare class WorkerExitedError extends Error {
+    readonly [WORKER_EXITED] = true;
+    constructor(message: string);
+    static is(value: unknown): value is WorkerExitedError;
+}
+export {};
 //# sourceMappingURL=invoker.d.ts.map

package/dist/base/invoker.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"invoker.d.ts","sourceRoot":"","sources":["../../src/base/invoker.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAE9C,MAAM,MAAM,eAAe,GAAG;IAC5B,kBAAkB,EAAE,YAAY,CAAC;IACjC,OAAO,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAC/C,CAAC"}
+{"version":3,"file":"invoker.d.ts","sourceRoot":"","sources":["../../src/base/invoker.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7C,OAAO,KAAK,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAEtE,MAAM,MAAM,eAAe,GAAG;IAC5B,gEAAgE;IAChE,KAAK,EAAE,cAAc,CAAC;IACtB;;;;;OAKG;IACH,MAAM,EAAE,WAAW,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B;;;;OAIG;IACH,kBAAkB,EAAE,YAAY,CAAC;IACjC;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;CACtF,CAAC;AAEF,QAAA,MAAM,aAAa,eAAuC,CAAC;AAE3D;;;;GAIG;AACH,qBAAa,iBAAkB,SAAQ,KAAK;IAC1C,QAAQ,CAAC,CAAC,aAAa,CAAC,QAAQ;gBAEpB,OAAO,EAAE,MAAM;IAK3B,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,iBAAiB;CAOtD"}