@dudousxd/nestjs-durable-core 0.50.1 → 0.52.0

package/dist/index.d.cts

@@ -1749,6 +1749,59 @@ declare function runInWorkflowCtx<T>(ctx: WorkflowCtx, fn: () => T): T;
  */
 declare function currentWorkflowCtx(): WorkflowCtx | undefined;
 
+/**
+ * Cross-package, cross-runtime marker for engine CONTROL-FLOW signals — {@link WorkflowSuspended}
+ * and {@link ContinueAsNew} (this package), plus the thin worker's {@link
+ * import('@dudousxd/durable-worker').Suspend} (`@dudousxd/durable-worker`, the BullMQ
+ * route-by-handler runtime). These are thrown by `WorkflowCtx`/`WorkflowContext` ops to unwind the
+ * current turn — never real failures — so a workflow's `catch` block MUST rethrow them untouched.
+ * Running a failure/cleanup path on a control-flow signal corrupts the run: it emits extra
+ * `recordStep` commands into history that a subsequent replay didn't produce the first time,
+ * surfacing as a `NonDeterminismError`/`NondeterminismError` on resume.
+ *
+ * `Symbol.for` (the GLOBAL registry), NOT a plain `Symbol()` — so a duplicate copy of this module
+ * (pnpm peer-dependency multiplexing, a dual ESM/CJS load, or the SEPARATE `@dudousxd/durable-worker`
+ * package declaring the same `Symbol.for` key locally) still collapses onto the SAME symbol. Same
+ * rationale as `DURABLE_STEP_NAME` in `./step-name-symbol.ts`.
+ *
+ * Deliberately checked as a stamped property, NOT `instanceof` — `instanceof` only recognizes a
+ * signal thrown by the SAME class the checking code imported, which fails across the in-process
+ * engine (`@dudousxd/nestjs-durable-core`'s `WorkflowSuspended`/`ContinueAsNew`) and the thin worker
+ * (`@dudousxd/durable-worker`'s `Suspend`) — two different classes for what is, from a workflow
+ * author's catch block, the same "this isn't a real error, let it through" event.
+ *
+ * NOT designed to survive a serialization boundary (e.g. JSON over the wire) — these signals are
+ * always thrown and caught in-process within a single replay turn, never (de)serialized, so a
+ * stamped-but-not-cloneable property is sufficient.
+ */
+declare const CONTROL_FLOW_SIGNAL: unique symbol;
+/**
+ * True for any engine control-flow signal (currently: {@link WorkflowSuspended}, {@link
+ * ContinueAsNew}, and the thin worker's `Suspend`) — regardless of which runtime or module instance
+ * threw it. Workflow `catch` blocks MUST rethrow these untouched; running a failure/cleanup path on
+ * one corrupts the run's history (extra commands recorded during what replay will later see as a
+ * suspend, not a failure) and the resumed replay dies with a non-determinism error.
+ *
+ * Deliberately NOT control-flow (do not add to this predicate):
+ * - `Cancelled` (worker) / a cancelled run — a TERMINAL outcome the consumer may legitimately want
+ *   to observe and react to (e.g. release a lock), not a mid-turn unwind to rethrow untouched.
+ * - `StepFailed` (worker) / an awaited step rejection reaching the engine — a REAL failure a
+ *   workflow's `catch` is meant to compensate for; misclassifying it as control-flow would swallow
+ *   genuine errors instead of protecting them.
+ *
+ * @example
+ * ```ts
+ * try {
+ *   await ctx.step('chargeCard', input);
+ * } catch (error) {
+ *   if (isWorkflowControlFlowSignal(error)) throw error; // suspend/continue-as-new: rethrow as-is
+ *   await ctx.step('refund', input); // a REAL failure — safe to run cleanup here
+ *   throw error;
+ * }
+ * ```
+ */
+declare function isWorkflowControlFlowSignal(error: unknown): boolean;
+
 /**
  * Back-compat alias of {@link WorkflowCtx}. `localStep` — the checkpointed in-process step primitive
  * used for saga compensation — is now part of the public {@link WorkflowCtx}, so this type adds
@@ -2875,6 +2928,8 @@ declare class GatherError extends Error {
 declare class WorkflowSuspended extends Error {
     /** Epoch ms to auto-resume (durable sleep), or undefined when waiting on an external signal. */
     readonly wakeAt?: number | undefined;
+    /** Marks this as a control-flow signal — see {@link isWorkflowControlFlowSignal}. */
+    readonly [CONTROL_FLOW_SIGNAL] = true;
     constructor(wakeAt?: number);
 }
 /**
@@ -2884,6 +2939,8 @@ declare class WorkflowSuspended extends Error {
  */
 declare class ContinueAsNew extends Error {
     readonly input: unknown;
+    /** Marks this as a control-flow signal — see {@link isWorkflowControlFlowSignal}. */
+    readonly [CONTROL_FLOW_SIGNAL] = true;
     constructor(input: unknown);
 }
 
@@ -3369,6 +3426,60 @@ declare const STATE_STORE_CANONICAL: unique symbol;
 declare const TRANSPORT_CANONICAL: unique symbol;
 declare const DURABLE_OPTIONS_CANONICAL: unique symbol;
 
+/**
+ * The OPT-IN declaration-site contract for a `@Workflow` class: `implements WorkflowHandler<TInput,
+ * TOutput, A>` pins the class's `run(ctx, input)` signature against `TInput`/`TOutput`/`A` so a wrong
+ * signature — a renamed method, swapped/missing param, wrong return type — is a compile error AT THE
+ * CLASS instead of surfacing later as a runtime discovery failure (the `@Workflow` decorator finds no
+ * `run` it recognizes) or a silently-wrong type flowing out of `ctx.child(ThisWorkflow, …)` /
+ * `engine.start(ThisWorkflow, …)`. `A` also declares the run's {@link SearchAttributes} shape, so
+ * `ctx.upsertSearchAttributes` is narrowed to it inside the workflow body — see
+ * {@link SearchAttributesSchema} / {@link InferSearchAttributes} for pairing it with a `@Workflow({
+ * searchAttributes })` schema.
+ *
+ * This is a TYPES-ONLY contract: nothing reads `implements WorkflowHandler` at runtime, registration
+ * still goes through the `@Workflow` decorator + reflected metadata exactly as before, and a class
+ * that doesn't implement it works exactly as it always has.
+ *
+ * IMPORTANT caveat: TypeScript does **not** contextually infer a method's parameter types from an
+ * `implements` clause the way it does for e.g. an object literal assigned to a typed variable. The
+ * class still has to annotate `ctx`/`input` itself — `implements` only CHECKS that what you wrote is
+ * assignable to the interface; it doesn't write the annotations for you. Leaving `run`'s params
+ * unannotated still leaves them `any`/inferred-from-usage, `implements` or not.
+ *
+ * @example
+ * ```ts
+ * import { z } from 'zod';
+ * import { Workflow } from '@dudousxd/nestjs-durable';
+ * import type { InferSearchAttributes, WorkflowCtx, WorkflowHandler } from '@dudousxd/nestjs-durable';
+ *
+ * const orderAttrs = z.object({
+ *   tier: z.enum(['free', 'pro']),
+ *   amount: z.number(),
+ * });
+ * type OrderAttrs = InferSearchAttributes<typeof orderAttrs>;
+ *
+ * interface CheckoutInput {
+ *   orderId: string;
+ * }
+ * interface CheckoutOutput {
+ *   receiptId: string;
+ * }
+ *
+ * @Workflow({ name: 'checkout', searchAttributes: orderAttrs })
+ * class CheckoutWorkflow implements WorkflowHandler<CheckoutInput, CheckoutOutput, OrderAttrs> {
+ *   async run(ctx: WorkflowCtx<OrderAttrs>, input: CheckoutInput): Promise<CheckoutOutput> {
+ *     await ctx.upsertSearchAttributes({ tier: 'pro', amount: 100 });
+ *     const receiptId = await ctx.step('charge-card', { orderId: input.orderId });
+ *     return { receiptId };
+ *   }
+ * }
+ * ```
+ */
+interface WorkflowHandler<TInput = unknown, TOutput = unknown, A extends SearchAttributes = SearchAttributes> {
+    run(ctx: WorkflowCtx<A>, input: TInput): Promise<TOutput> | TOutput;
+}
+
 /**
  * A non-durable, in-process `StateStore` for tests and local development.
  * The shipped `@dudousxd/nestjs-durable-store` package re-exports an equivalent.
@@ -3458,4 +3569,4 @@ declare class InMemoryTransport implements Transport, ControlPlane {
     onControl(handler: (msg: ControlMessage) => void): void;
 }
 
-export { type AccumulatorHost, type Admission, type AdmissionBackend, type AdmissionItem, type AttributeFilter, type AttributeOp, type BackoffStrategy, type ChildCallOptions, CodecStateStore, ContinueAsNew, type ControlMessage, type ControlPlane, DURABLE_OPTIONS, DURABLE_OPTIONS_CANONICAL, DURABLE_STEP_CONFIG, DURABLE_STEP_NAME, type DurableTopology, type DurableWebhook, DurableWorkflow, type EngineEvent, type EngineEventType, type EngineListener, Entities, type EntityConfig, type EntityHandler, type EntityHost, EventAccumulators, type EventBatchConfig, FatalError, GatherError, type GroupHealth, type Heartbeat, type HistoryEvent, InMemoryAdmissionBackend, InMemoryStateStore, InMemoryTransport, type InferSearchAttributes, type MetricsCollector, type MetricsSnapshot, type NamedTransport, NonDeterminismError, type PayloadCodec, type QueueConfig, QueueController, RemoteStepError, RemoteStepTimeout, type RemoteTask, RemoteWorkflowExecutor, RemoteWorkflowTimeout, type RetentionPolicy, type RunAttributeRow, type RunDetail, type RunDispatcher, type RunGateway, type RunListItem, type RunQuery, type RunReply, type RunReplyResult, type RunRequest, type RunRequestKind, type RunResult, type RunSchedulesOptions, type RunStatus, type RunWaiting, STATE_STORE, STATE_STORE_CANONICAL, type ScheduledWorkflow, type SearchAttributes, type SearchAttributesSchema, SignalTimeoutError, type SignalWaiter, type SingletonConfig, SingletonQueueFullError, StandardSchemaV1, type StartOptions, type StartRunMessage, type StateStore, type StepCheckpoint, type StepConfig, type StepDef, type StepDispatchOpts, type StepError, type StepEvent, type StepHandler, type StepInterceptor, type StepInvocation, type StepKind, type StepLogger, type StepOptions, type StepRef, type StepResult, type StepUndo, type StoreTransaction, type SubProcessHandle, TERMINAL_RUN_STATUSES, TRANSPORT, TRANSPORT_CANONICAL, type TenantEvent, type Transport, type UndoOf, type UpdateResult, type UpdateValidator, WORKFLOW_NAME_KEY, type WireDates, type WorkerAdjust, type WorkerConcurrencyStatus, type WorkerHeartbeat, type WorkerStatus, type WorkflowClass, type WorkflowCommand, type WorkflowCtx, type WorkflowDecision, WorkflowEngine, type WorkflowEngineDeps, type WorkflowExecutor, type WorkflowInputOf, type WorkflowOutputOf, type WorkflowRef, type WorkflowRun, type WorkflowStartClient, type WorkflowStepEvent, WorkflowSuspended, type WorkflowTask, applyAttributeQuery, attributeColumnFor, attributeOperand, bindWorkflowClass, breakpointToken, classifyWaiterToken, collectMetrics, createStepLogger, currentWorkflowCtx, eventMatchOf, eventMatches, eventNameOf, eventPrefix, eventToken, indexWaitersByRun, matchesAttributes, normalizeAttributeRows, parseDuration, prevCronFireMs, readSearchAttributes, resolveRunWaiting, runInWorkflowCtx, runSchedules, runStepHandler, sanitizeQueueToken, scheduledRunId, sqlComparator, stepConfigOf, stepId, stepNameOf, tenantGroup, workflowName };
+export { type AccumulatorHost, type Admission, type AdmissionBackend, type AdmissionItem, type AttributeFilter, type AttributeOp, type BackoffStrategy, CONTROL_FLOW_SIGNAL, type ChildCallOptions, CodecStateStore, ContinueAsNew, type ControlMessage, type ControlPlane, DURABLE_OPTIONS, DURABLE_OPTIONS_CANONICAL, DURABLE_STEP_CONFIG, DURABLE_STEP_NAME, type DurableTopology, type DurableWebhook, DurableWorkflow, type EngineEvent, type EngineEventType, type EngineListener, Entities, type EntityConfig, type EntityHandler, type EntityHost, EventAccumulators, type EventBatchConfig, FatalError, GatherError, type GroupHealth, type Heartbeat, type HistoryEvent, InMemoryAdmissionBackend, InMemoryStateStore, InMemoryTransport, type InferSearchAttributes, type MetricsCollector, type MetricsSnapshot, type NamedTransport, NonDeterminismError, type PayloadCodec, type QueueConfig, QueueController, RemoteStepError, RemoteStepTimeout, type RemoteTask, RemoteWorkflowExecutor, RemoteWorkflowTimeout, type RetentionPolicy, type RunAttributeRow, type RunDetail, type RunDispatcher, type RunGateway, type RunListItem, type RunQuery, type RunReply, type RunReplyResult, type RunRequest, type RunRequestKind, type RunResult, type RunSchedulesOptions, type RunStatus, type RunWaiting, STATE_STORE, STATE_STORE_CANONICAL, type ScheduledWorkflow, type SearchAttributes, type SearchAttributesSchema, SignalTimeoutError, type SignalWaiter, type SingletonConfig, SingletonQueueFullError, StandardSchemaV1, type StartOptions, type StartRunMessage, type StateStore, type StepCheckpoint, type StepConfig, type StepDef, type StepDispatchOpts, type StepError, type StepEvent, type StepHandler, type StepInterceptor, type StepInvocation, type StepKind, type StepLogger, type StepOptions, type StepRef, type StepResult, type StepUndo, type StoreTransaction, type SubProcessHandle, TERMINAL_RUN_STATUSES, TRANSPORT, TRANSPORT_CANONICAL, type TenantEvent, type Transport, type UndoOf, type UpdateResult, type UpdateValidator, WORKFLOW_NAME_KEY, type WireDates, type WorkerAdjust, type WorkerConcurrencyStatus, type WorkerHeartbeat, type WorkerStatus, type WorkflowClass, type WorkflowCommand, type WorkflowCtx, type WorkflowDecision, WorkflowEngine, type WorkflowEngineDeps, type WorkflowExecutor, type WorkflowHandler, type WorkflowInputOf, type WorkflowOutputOf, type WorkflowRef, type WorkflowRun, type WorkflowStartClient, type WorkflowStepEvent, WorkflowSuspended, type WorkflowTask, applyAttributeQuery, attributeColumnFor, attributeOperand, bindWorkflowClass, breakpointToken, classifyWaiterToken, collectMetrics, createStepLogger, currentWorkflowCtx, eventMatchOf, eventMatches, eventNameOf, eventPrefix, eventToken, indexWaitersByRun, isWorkflowControlFlowSignal, matchesAttributes, normalizeAttributeRows, parseDuration, prevCronFireMs, readSearchAttributes, resolveRunWaiting, runInWorkflowCtx, runSchedules, runStepHandler, sanitizeQueueToken, scheduledRunId, sqlComparator, stepConfigOf, stepId, stepNameOf, tenantGroup, workflowName };

package/dist/index.d.ts

@@ -1749,6 +1749,59 @@ declare function runInWorkflowCtx<T>(ctx: WorkflowCtx, fn: () => T): T;
  */
 declare function currentWorkflowCtx(): WorkflowCtx | undefined;
 
+/**
+ * Cross-package, cross-runtime marker for engine CONTROL-FLOW signals — {@link WorkflowSuspended}
+ * and {@link ContinueAsNew} (this package), plus the thin worker's {@link
+ * import('@dudousxd/durable-worker').Suspend} (`@dudousxd/durable-worker`, the BullMQ
+ * route-by-handler runtime). These are thrown by `WorkflowCtx`/`WorkflowContext` ops to unwind the
+ * current turn — never real failures — so a workflow's `catch` block MUST rethrow them untouched.
+ * Running a failure/cleanup path on a control-flow signal corrupts the run: it emits extra
+ * `recordStep` commands into history that a subsequent replay didn't produce the first time,
+ * surfacing as a `NonDeterminismError`/`NondeterminismError` on resume.
+ *
+ * `Symbol.for` (the GLOBAL registry), NOT a plain `Symbol()` — so a duplicate copy of this module
+ * (pnpm peer-dependency multiplexing, a dual ESM/CJS load, or the SEPARATE `@dudousxd/durable-worker`
+ * package declaring the same `Symbol.for` key locally) still collapses onto the SAME symbol. Same
+ * rationale as `DURABLE_STEP_NAME` in `./step-name-symbol.ts`.
+ *
+ * Deliberately checked as a stamped property, NOT `instanceof` — `instanceof` only recognizes a
+ * signal thrown by the SAME class the checking code imported, which fails across the in-process
+ * engine (`@dudousxd/nestjs-durable-core`'s `WorkflowSuspended`/`ContinueAsNew`) and the thin worker
+ * (`@dudousxd/durable-worker`'s `Suspend`) — two different classes for what is, from a workflow
+ * author's catch block, the same "this isn't a real error, let it through" event.
+ *
+ * NOT designed to survive a serialization boundary (e.g. JSON over the wire) — these signals are
+ * always thrown and caught in-process within a single replay turn, never (de)serialized, so a
+ * stamped-but-not-cloneable property is sufficient.
+ */
+declare const CONTROL_FLOW_SIGNAL: unique symbol;
+/**
+ * True for any engine control-flow signal (currently: {@link WorkflowSuspended}, {@link
+ * ContinueAsNew}, and the thin worker's `Suspend`) — regardless of which runtime or module instance
+ * threw it. Workflow `catch` blocks MUST rethrow these untouched; running a failure/cleanup path on
+ * one corrupts the run's history (extra commands recorded during what replay will later see as a
+ * suspend, not a failure) and the resumed replay dies with a non-determinism error.
+ *
+ * Deliberately NOT control-flow (do not add to this predicate):
+ * - `Cancelled` (worker) / a cancelled run — a TERMINAL outcome the consumer may legitimately want
+ *   to observe and react to (e.g. release a lock), not a mid-turn unwind to rethrow untouched.
+ * - `StepFailed` (worker) / an awaited step rejection reaching the engine — a REAL failure a
+ *   workflow's `catch` is meant to compensate for; misclassifying it as control-flow would swallow
+ *   genuine errors instead of protecting them.
+ *
+ * @example
+ * ```ts
+ * try {
+ *   await ctx.step('chargeCard', input);
+ * } catch (error) {
+ *   if (isWorkflowControlFlowSignal(error)) throw error; // suspend/continue-as-new: rethrow as-is
+ *   await ctx.step('refund', input); // a REAL failure — safe to run cleanup here
+ *   throw error;
+ * }
+ * ```
+ */
+declare function isWorkflowControlFlowSignal(error: unknown): boolean;
+
 /**
  * Back-compat alias of {@link WorkflowCtx}. `localStep` — the checkpointed in-process step primitive
  * used for saga compensation — is now part of the public {@link WorkflowCtx}, so this type adds
@@ -2875,6 +2928,8 @@ declare class GatherError extends Error {
 declare class WorkflowSuspended extends Error {
     /** Epoch ms to auto-resume (durable sleep), or undefined when waiting on an external signal. */
     readonly wakeAt?: number | undefined;
+    /** Marks this as a control-flow signal — see {@link isWorkflowControlFlowSignal}. */
+    readonly [CONTROL_FLOW_SIGNAL] = true;
     constructor(wakeAt?: number);
 }
 /**
@@ -2884,6 +2939,8 @@ declare class WorkflowSuspended extends Error {
  */
 declare class ContinueAsNew extends Error {
     readonly input: unknown;
+    /** Marks this as a control-flow signal — see {@link isWorkflowControlFlowSignal}. */
+    readonly [CONTROL_FLOW_SIGNAL] = true;
     constructor(input: unknown);
 }
 
@@ -3369,6 +3426,60 @@ declare const STATE_STORE_CANONICAL: unique symbol;
 declare const TRANSPORT_CANONICAL: unique symbol;
 declare const DURABLE_OPTIONS_CANONICAL: unique symbol;
 
+/**
+ * The OPT-IN declaration-site contract for a `@Workflow` class: `implements WorkflowHandler<TInput,
+ * TOutput, A>` pins the class's `run(ctx, input)` signature against `TInput`/`TOutput`/`A` so a wrong
+ * signature — a renamed method, swapped/missing param, wrong return type — is a compile error AT THE
+ * CLASS instead of surfacing later as a runtime discovery failure (the `@Workflow` decorator finds no
+ * `run` it recognizes) or a silently-wrong type flowing out of `ctx.child(ThisWorkflow, …)` /
+ * `engine.start(ThisWorkflow, …)`. `A` also declares the run's {@link SearchAttributes} shape, so
+ * `ctx.upsertSearchAttributes` is narrowed to it inside the workflow body — see
+ * {@link SearchAttributesSchema} / {@link InferSearchAttributes} for pairing it with a `@Workflow({
+ * searchAttributes })` schema.
+ *
+ * This is a TYPES-ONLY contract: nothing reads `implements WorkflowHandler` at runtime, registration
+ * still goes through the `@Workflow` decorator + reflected metadata exactly as before, and a class
+ * that doesn't implement it works exactly as it always has.
+ *
+ * IMPORTANT caveat: TypeScript does **not** contextually infer a method's parameter types from an
+ * `implements` clause the way it does for e.g. an object literal assigned to a typed variable. The
+ * class still has to annotate `ctx`/`input` itself — `implements` only CHECKS that what you wrote is
+ * assignable to the interface; it doesn't write the annotations for you. Leaving `run`'s params
+ * unannotated still leaves them `any`/inferred-from-usage, `implements` or not.
+ *
+ * @example
+ * ```ts
+ * import { z } from 'zod';
+ * import { Workflow } from '@dudousxd/nestjs-durable';
+ * import type { InferSearchAttributes, WorkflowCtx, WorkflowHandler } from '@dudousxd/nestjs-durable';
+ *
+ * const orderAttrs = z.object({
+ *   tier: z.enum(['free', 'pro']),
+ *   amount: z.number(),
+ * });
+ * type OrderAttrs = InferSearchAttributes<typeof orderAttrs>;
+ *
+ * interface CheckoutInput {
+ *   orderId: string;
+ * }
+ * interface CheckoutOutput {
+ *   receiptId: string;
+ * }
+ *
+ * @Workflow({ name: 'checkout', searchAttributes: orderAttrs })
+ * class CheckoutWorkflow implements WorkflowHandler<CheckoutInput, CheckoutOutput, OrderAttrs> {
+ *   async run(ctx: WorkflowCtx<OrderAttrs>, input: CheckoutInput): Promise<CheckoutOutput> {
+ *     await ctx.upsertSearchAttributes({ tier: 'pro', amount: 100 });
+ *     const receiptId = await ctx.step('charge-card', { orderId: input.orderId });
+ *     return { receiptId };
+ *   }
+ * }
+ * ```
+ */
+interface WorkflowHandler<TInput = unknown, TOutput = unknown, A extends SearchAttributes = SearchAttributes> {
+    run(ctx: WorkflowCtx<A>, input: TInput): Promise<TOutput> | TOutput;
+}
+
 /**
  * A non-durable, in-process `StateStore` for tests and local development.
  * The shipped `@dudousxd/nestjs-durable-store` package re-exports an equivalent.
@@ -3458,4 +3569,4 @@ declare class InMemoryTransport implements Transport, ControlPlane {
     onControl(handler: (msg: ControlMessage) => void): void;
 }
 
-export { type AccumulatorHost, type Admission, type AdmissionBackend, type AdmissionItem, type AttributeFilter, type AttributeOp, type BackoffStrategy, type ChildCallOptions, CodecStateStore, ContinueAsNew, type ControlMessage, type ControlPlane, DURABLE_OPTIONS, DURABLE_OPTIONS_CANONICAL, DURABLE_STEP_CONFIG, DURABLE_STEP_NAME, type DurableTopology, type DurableWebhook, DurableWorkflow, type EngineEvent, type EngineEventType, type EngineListener, Entities, type EntityConfig, type EntityHandler, type EntityHost, EventAccumulators, type EventBatchConfig, FatalError, GatherError, type GroupHealth, type Heartbeat, type HistoryEvent, InMemoryAdmissionBackend, InMemoryStateStore, InMemoryTransport, type InferSearchAttributes, type MetricsCollector, type MetricsSnapshot, type NamedTransport, NonDeterminismError, type PayloadCodec, type QueueConfig, QueueController, RemoteStepError, RemoteStepTimeout, type RemoteTask, RemoteWorkflowExecutor, RemoteWorkflowTimeout, type RetentionPolicy, type RunAttributeRow, type RunDetail, type RunDispatcher, type RunGateway, type RunListItem, type RunQuery, type RunReply, type RunReplyResult, type RunRequest, type RunRequestKind, type RunResult, type RunSchedulesOptions, type RunStatus, type RunWaiting, STATE_STORE, STATE_STORE_CANONICAL, type ScheduledWorkflow, type SearchAttributes, type SearchAttributesSchema, SignalTimeoutError, type SignalWaiter, type SingletonConfig, SingletonQueueFullError, StandardSchemaV1, type StartOptions, type StartRunMessage, type StateStore, type StepCheckpoint, type StepConfig, type StepDef, type StepDispatchOpts, type StepError, type StepEvent, type StepHandler, type StepInterceptor, type StepInvocation, type StepKind, type StepLogger, type StepOptions, type StepRef, type StepResult, type StepUndo, type StoreTransaction, type SubProcessHandle, TERMINAL_RUN_STATUSES, TRANSPORT, TRANSPORT_CANONICAL, type TenantEvent, type Transport, type UndoOf, type UpdateResult, type UpdateValidator, WORKFLOW_NAME_KEY, type WireDates, type WorkerAdjust, type WorkerConcurrencyStatus, type WorkerHeartbeat, type WorkerStatus, type WorkflowClass, type WorkflowCommand, type WorkflowCtx, type WorkflowDecision, WorkflowEngine, type WorkflowEngineDeps, type WorkflowExecutor, type WorkflowInputOf, type WorkflowOutputOf, type WorkflowRef, type WorkflowRun, type WorkflowStartClient, type WorkflowStepEvent, WorkflowSuspended, type WorkflowTask, applyAttributeQuery, attributeColumnFor, attributeOperand, bindWorkflowClass, breakpointToken, classifyWaiterToken, collectMetrics, createStepLogger, currentWorkflowCtx, eventMatchOf, eventMatches, eventNameOf, eventPrefix, eventToken, indexWaitersByRun, matchesAttributes, normalizeAttributeRows, parseDuration, prevCronFireMs, readSearchAttributes, resolveRunWaiting, runInWorkflowCtx, runSchedules, runStepHandler, sanitizeQueueToken, scheduledRunId, sqlComparator, stepConfigOf, stepId, stepNameOf, tenantGroup, workflowName };
+export { type AccumulatorHost, type Admission, type AdmissionBackend, type AdmissionItem, type AttributeFilter, type AttributeOp, type BackoffStrategy, CONTROL_FLOW_SIGNAL, type ChildCallOptions, CodecStateStore, ContinueAsNew, type ControlMessage, type ControlPlane, DURABLE_OPTIONS, DURABLE_OPTIONS_CANONICAL, DURABLE_STEP_CONFIG, DURABLE_STEP_NAME, type DurableTopology, type DurableWebhook, DurableWorkflow, type EngineEvent, type EngineEventType, type EngineListener, Entities, type EntityConfig, type EntityHandler, type EntityHost, EventAccumulators, type EventBatchConfig, FatalError, GatherError, type GroupHealth, type Heartbeat, type HistoryEvent, InMemoryAdmissionBackend, InMemoryStateStore, InMemoryTransport, type InferSearchAttributes, type MetricsCollector, type MetricsSnapshot, type NamedTransport, NonDeterminismError, type PayloadCodec, type QueueConfig, QueueController, RemoteStepError, RemoteStepTimeout, type RemoteTask, RemoteWorkflowExecutor, RemoteWorkflowTimeout, type RetentionPolicy, type RunAttributeRow, type RunDetail, type RunDispatcher, type RunGateway, type RunListItem, type RunQuery, type RunReply, type RunReplyResult, type RunRequest, type RunRequestKind, type RunResult, type RunSchedulesOptions, type RunStatus, type RunWaiting, STATE_STORE, STATE_STORE_CANONICAL, type ScheduledWorkflow, type SearchAttributes, type SearchAttributesSchema, SignalTimeoutError, type SignalWaiter, type SingletonConfig, SingletonQueueFullError, StandardSchemaV1, type StartOptions, type StartRunMessage, type StateStore, type StepCheckpoint, type StepConfig, type StepDef, type StepDispatchOpts, type StepError, type StepEvent, type StepHandler, type StepInterceptor, type StepInvocation, type StepKind, type StepLogger, type StepOptions, type StepRef, type StepResult, type StepUndo, type StoreTransaction, type SubProcessHandle, TERMINAL_RUN_STATUSES, TRANSPORT, TRANSPORT_CANONICAL, type TenantEvent, type Transport, type UndoOf, type UpdateResult, type UpdateValidator, WORKFLOW_NAME_KEY, type WireDates, type WorkerAdjust, type WorkerConcurrencyStatus, type WorkerHeartbeat, type WorkerStatus, type WorkflowClass, type WorkflowCommand, type WorkflowCtx, type WorkflowDecision, WorkflowEngine, type WorkflowEngineDeps, type WorkflowExecutor, type WorkflowHandler, type WorkflowInputOf, type WorkflowOutputOf, type WorkflowRef, type WorkflowRun, type WorkflowStartClient, type WorkflowStepEvent, WorkflowSuspended, type WorkflowTask, applyAttributeQuery, attributeColumnFor, attributeOperand, bindWorkflowClass, breakpointToken, classifyWaiterToken, collectMetrics, createStepLogger, currentWorkflowCtx, eventMatchOf, eventMatches, eventNameOf, eventPrefix, eventToken, indexWaitersByRun, isWorkflowControlFlowSignal, matchesAttributes, normalizeAttributeRows, parseDuration, prevCronFireMs, readSearchAttributes, resolveRunWaiting, runInWorkflowCtx, runSchedules, runStepHandler, sanitizeQueueToken, scheduledRunId, sqlComparator, stepConfigOf, stepId, stepNameOf, tenantGroup, workflowName };

package/dist/index.js

@@ -173,6 +173,13 @@ function currentWorkflowCtx() {
 }
 __name(currentWorkflowCtx, "currentWorkflowCtx");
 
+// src/control-flow-signal.ts
+var CONTROL_FLOW_SIGNAL = Symbol.for("aviary:durable:control-flow");
+function isWorkflowControlFlowSignal(error) {
+  return typeof error === "object" && error !== null && error[CONTROL_FLOW_SIGNAL] === true;
+}
+__name(isWorkflowControlFlowSignal, "isWorkflowControlFlowSignal");
+
 // src/errors.ts
 var FatalError = class extends Error {
   static {
@@ -271,6 +278,8 @@ var WorkflowSuspended = class extends Error {
   }
   /** Epoch ms to auto-resume (durable sleep), or undefined when waiting on an external signal. */
   wakeAt;
+  /** Marks this as a control-flow signal — see {@link isWorkflowControlFlowSignal}. */
+  [CONTROL_FLOW_SIGNAL] = true;
   constructor(wakeAt) {
     super("workflow suspended");
     this.name = "WorkflowSuspended";
@@ -282,6 +291,8 @@ var ContinueAsNew = class extends Error {
     __name(this, "ContinueAsNew");
   }
   input;
+  /** Marks this as a control-flow signal — see {@link isWorkflowControlFlowSignal}. */
+  [CONTROL_FLOW_SIGNAL] = true;
   constructor(input) {
     super("workflow continued as new"), this.input = input;
     this.name = "ContinueAsNew";
@@ -5203,6 +5214,7 @@ var InMemoryTransport = class {
   }
 };
 export {
+  CONTROL_FLOW_SIGNAL,
   CodecStateStore,
   ContinueAsNew,
   DURABLE_OPTIONS,
@@ -5248,6 +5260,7 @@ export {
   eventPrefix,
   eventToken,
   indexWaitersByRun,
+  isWorkflowControlFlowSignal,
   matchesAttributes,
   normalizeAttributeRows,
   parseDuration,