@temporal-contract/worker 1.0.0 → 2.1.0

package/dist/workflow.d.cts

@@ -1,9 +1,8 @@
-import { _ as WorkerInferOutput, a as ChildWorkflowNotFoundError, c as SignalInputValidationError, d as WorkflowCancelledError, f as WorkflowInputValidationError, g as WorkerInferInput, h as ClientInferOutput, i as ChildWorkflowError, l as UpdateInputValidationError, m as ClientInferInput, n as ActivityInputValidationError, o as QueryInputValidationError, p as WorkflowOutputValidationError, r as ActivityOutputValidationError, s as QueryOutputValidationError, u as UpdateOutputValidationError } from "./errors-CG1y7SHO.cjs";
-import { ActivityDefinition, ContractDefinition, QueryDefinition, SignalDefinition, UpdateDefinition, WorkflowDefinition } from "@temporal-contract/contract";
+import { _ as ClientInferOutput, a as ChildWorkflowError, c as QueryOutputValidationError, d as UpdateOutputValidationError, f as WorkflowCancelledError, g as ClientInferInput, h as WorkflowScopeError, i as ChildWorkflowCancelledError, l as SignalInputValidationError, m as WorkflowOutputValidationError, n as ActivityInputValidationError, o as ChildWorkflowNotFoundError, p as WorkflowInputValidationError, r as ActivityOutputValidationError, s as QueryInputValidationError, u as UpdateInputValidationError, v as WorkerInferInput, y as WorkerInferOutput } from "./errors-DTq5OTwH.cjs";
+import { ActivityDefinition, AnyWorkflowDefinition, ContractDefinition, QueryDefinition, QueryNamesOf, SignalDefinition, SignalNamesOf, UpdateDefinition, UpdateNamesOf } from "@temporal-contract/contract";
+import { ResultAsync } from "neverthrow";
 import { StandardSchemaV1 } from "@standard-schema/spec";
-import { Future, Result } from "@temporal-contract/boxed";
 import { ActivityOptions, ChildWorkflowOptions, ContinueAsNewOptions, WorkflowInfo } from "@temporalio/workflow";
-
 //#region src/handlers.d.ts
 /**
  * Signal handler implementation
@@ -35,6 +34,51 @@ type UpdateHandlerImplementation<TUpdate extends UpdateDefinition> = (args: Work
  */
 type TypedContinueAsNewOptions = Omit<ContinueAsNewOptions, "workflowType" | "taskQueue">;
 //#endregion
+//#region src/child-workflow.d.ts
+/**
+ * Options for starting a child workflow. `taskQueue` and `args` come from
+ * the contract; everything else is forwarded to Temporal's
+ * `startChild` / `executeChild`.
+ */
+type TypedChildWorkflowOptions<TChildContract extends ContractDefinition, TChildWorkflowName extends keyof TChildContract["workflows"] & string> = Omit<ChildWorkflowOptions, "taskQueue" | "args"> & {
+  args: ClientInferInput<TChildContract["workflows"][TChildWorkflowName]>;
+};
+/**
+ * Typed handle for a child workflow with neverthrow `ResultAsync` pattern.
+ */
+type TypedChildWorkflowHandle<TWorkflow extends AnyWorkflowDefinition> = {
+  /**
+   * Get child workflow result with `ResultAsync` pattern.
+   */
+  result: () => ResultAsync<ClientInferOutput<TWorkflow>, ChildWorkflowError | ChildWorkflowCancelledError>;
+  /**
+   * Child workflow ID.
+   */
+  workflowId: string;
+};
+//#endregion
+//#region src/activities-proxy.d.ts
+/**
+ * Activity function signature from workflow execution perspective.
+ *
+ * Workflows call activities with validated input (z.input parsed) and receive validated output (z.output).
+ */
+type WorkflowInferActivity<TActivity extends ActivityDefinition> = (args: ClientInferInput<TActivity>) => Promise<ClientInferOutput<TActivity>>;
+/**
+ * All global activities from a contract (workflow execution perspective).
+ */
+type WorkflowInferActivities<TContract extends ContractDefinition> = TContract["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof TContract["activities"]]: WorkflowInferActivity<TContract["activities"][K]> } : {};
+/**
+ * Workflow-specific activities (workflow execution perspective).
+ */
+type WorkflowInferWorkflowActivities<T extends AnyWorkflowDefinition> = T["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof T["activities"]]: WorkflowInferActivity<T["activities"][K]> } : {};
+/**
+ * All activities available in a workflow context (workflow execution perspective).
+ *
+ * Combines workflow-specific activities with global contract activities.
+ */
+type WorkflowInferWorkflowContextActivities<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"] & string> = WorkflowInferWorkflowActivities<TContract["workflows"][TWorkflowName]> & WorkflowInferActivities<TContract>;
+//#endregion
 //#region src/workflow.d.ts
 /**
  * Create a typed workflow implementation with automatic validation
@@ -109,7 +153,7 @@ type TypedContinueAsNewOptions = Omit<ContinueAsNewOptions, "workflowType" | "ta
  * });
  * ```
  */
-declare function declareWorkflow<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]>({
+declare function declareWorkflow<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"] & string>({
   workflowName,
   contract,
   implementation,
@@ -120,11 +164,11 @@ declare function declareWorkflow<TContract extends ContractDefinition, TWorkflow
  * Union of all activity names available to a workflow — the workflow-local
  * activities plus the contract's global activities.
  */
-type ActivityNamesFor<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]> = (TContract["workflows"][TWorkflowName]["activities"] extends Record<string, ActivityDefinition> ? keyof TContract["workflows"][TWorkflowName]["activities"] & string : never) | (TContract["activities"] extends Record<string, ActivityDefinition> ? keyof TContract["activities"] & string : never);
+type ActivityNamesFor<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"] & string> = (TContract["workflows"][TWorkflowName]["activities"] extends Record<string, ActivityDefinition> ? keyof TContract["workflows"][TWorkflowName]["activities"] & string : never) | (TContract["activities"] extends Record<string, ActivityDefinition> ? keyof TContract["activities"] & string : never);
 /**
  * Options for declaring a workflow implementation
  */
-type DeclareWorkflowOptions<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]> = {
+type DeclareWorkflowOptions<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"] & string> = {
   workflowName: TWorkflowName;
   contract: TContract;
   implementation: WorkflowImplementation<TContract, TWorkflowName>;
@@ -178,7 +222,7 @@ type DeclareWorkflowOptions<TContract extends ContractDefinition, TWorkflowName
  * Receives a workflow context (with typed activities and utilities) and validated input arguments.
  * Returns the workflow output which will be validated against the contract schema.
  */
-type WorkflowImplementation<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]> = (context: WorkflowContext<TContract, TWorkflowName>, args: WorkerInferInput<TContract["workflows"][TWorkflowName]>) => Promise<WorkerInferOutput<TContract["workflows"][TWorkflowName]>>;
+type WorkflowImplementation<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"] & string> = (context: WorkflowContext<TContract, TWorkflowName>, args: WorkerInferInput<TContract["workflows"][TWorkflowName]>) => Promise<WorkerInferOutput<TContract["workflows"][TWorkflowName]>>;
 /**
  * Workflow execution context providing typed activities, workflow info, and interaction handlers
  *
@@ -188,8 +232,8 @@ type WorkflowImplementation<TContract extends ContractDefinition, TWorkflowName
  * - Signal, query, and update handler registration
  * - Child workflow execution capabilities
  */
-type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]> = {
-  activities: WorkflowInferWorkflowContextActivities<TContract, TWorkflowName>;
+type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"] & string> = {
+  activities: Readonly<WorkflowInferWorkflowContextActivities<TContract, TWorkflowName>>;
   info: WorkflowInfo;
   /**
    * Define a signal handler within the workflow implementation
@@ -208,7 +252,7 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    * }
    * ```
    */
-  defineSignal: <K extends keyof TContract["workflows"][TWorkflowName]["signals"]>(signalName: K, handler: SignalHandlerImplementation<TContract["workflows"][TWorkflowName]["signals"][K] extends SignalDefinition ? TContract["workflows"][TWorkflowName]["signals"][K] : never>) => void;
+  defineSignal: <K extends SignalNamesOf<TContract["workflows"][TWorkflowName]>>(signalName: K, handler: SignalHandlerImplementation<NonNullable<TContract["workflows"][TWorkflowName]["signals"]> extends Record<string, SignalDefinition> ? NonNullable<TContract["workflows"][TWorkflowName]["signals"]>[K] extends SignalDefinition ? NonNullable<TContract["workflows"][TWorkflowName]["signals"]>[K] : never : never>) => void;
   /**
    * Define a query handler within the workflow implementation
    * Allows the query handler to access workflow state
@@ -226,7 +270,7 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    * }
    * ```
    */
-  defineQuery: <K extends keyof TContract["workflows"][TWorkflowName]["queries"]>(queryName: K, handler: QueryHandlerImplementation<TContract["workflows"][TWorkflowName]["queries"][K] extends QueryDefinition ? TContract["workflows"][TWorkflowName]["queries"][K] : never>) => void;
+  defineQuery: <K extends QueryNamesOf<TContract["workflows"][TWorkflowName]>>(queryName: K, handler: QueryHandlerImplementation<NonNullable<TContract["workflows"][TWorkflowName]["queries"]> extends Record<string, QueryDefinition> ? NonNullable<TContract["workflows"][TWorkflowName]["queries"]>[K] extends QueryDefinition ? NonNullable<TContract["workflows"][TWorkflowName]["queries"]>[K] : never : never>) => void;
   /**
    * Define an update handler within the workflow implementation
    * Allows the update handler to access and modify workflow state
@@ -245,9 +289,9 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    * }
    * ```
    */
-  defineUpdate: <K extends keyof TContract["workflows"][TWorkflowName]["updates"]>(updateName: K, handler: UpdateHandlerImplementation<TContract["workflows"][TWorkflowName]["updates"][K] extends UpdateDefinition ? TContract["workflows"][TWorkflowName]["updates"][K] : never>) => void;
+  defineUpdate: <K extends UpdateNamesOf<TContract["workflows"][TWorkflowName]>>(updateName: K, handler: UpdateHandlerImplementation<NonNullable<TContract["workflows"][TWorkflowName]["updates"]> extends Record<string, UpdateDefinition> ? NonNullable<TContract["workflows"][TWorkflowName]["updates"]>[K] extends UpdateDefinition ? NonNullable<TContract["workflows"][TWorkflowName]["updates"]>[K] : never : never>) => void;
   /**
-   * Start a child workflow and return a typed handle with Future/Result pattern
+   * Start a child workflow and return a typed handle with ResultAsync pattern
    *
    * Supports both same-contract and cross-contract child workflows:
    * - Same contract: Pass workflowName from current contract
@@ -267,18 +311,18 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    *   args: { message: 'Hello' }
    * });
    *
-   * childResult.match({
-   *   Ok: async (handle) => {
+   * childResult.match(
+   *   async (handle) => {
    *     const result = await handle.result();
    *     // ... handle result
    *   },
-   *   Error: (error) => console.error('Failed to start:', error),
-   * });
+   *   (error) => console.error('Failed to start:', error),
+   * );
    * ```
    */
-  startChildWorkflow: <TChildContract extends ContractDefinition, TChildWorkflowName extends keyof TChildContract["workflows"]>(contract: TChildContract, workflowName: TChildWorkflowName, options: TypedChildWorkflowOptions<TChildContract, TChildWorkflowName>) => Future<Result<TypedChildWorkflowHandle<TChildContract["workflows"][TChildWorkflowName]>, ChildWorkflowError>>;
+  startChildWorkflow: <TChildContract extends ContractDefinition, TChildWorkflowName extends keyof TChildContract["workflows"] & string>(contract: TChildContract, workflowName: TChildWorkflowName, options: TypedChildWorkflowOptions<TChildContract, TChildWorkflowName>) => ResultAsync<TypedChildWorkflowHandle<TChildContract["workflows"][TChildWorkflowName]>, ChildWorkflowError | ChildWorkflowCancelledError | ChildWorkflowNotFoundError>;
   /**
-   * Execute a child workflow (start and wait for result) with Future/Result pattern
+   * Execute a child workflow (start and wait for result) with ResultAsync pattern
    *
    * Supports both same-contract and cross-contract child workflows:
    * - Same contract: Pass workflowName from current contract
@@ -298,22 +342,25 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    *   args: { message: 'Hello' }
    * });
    *
-   * result.match({
-   *   Ok: (output) => console.log('Payment processed:', output),
-   *   Error: (error) => console.error('Processing failed:', error),
-   * });
+   * result.match(
+   *   (output) => console.log('Payment processed:', output),
+   *   (error) => console.error('Processing failed:', error),
+   * );
    * ```
    */
-  executeChildWorkflow: <TChildContract extends ContractDefinition, TChildWorkflowName extends keyof TChildContract["workflows"]>(contract: TChildContract, workflowName: TChildWorkflowName, options: TypedChildWorkflowOptions<TChildContract, TChildWorkflowName>) => Future<Result<ClientInferOutput<TChildContract["workflows"][TChildWorkflowName]>, ChildWorkflowError>>;
+  executeChildWorkflow: <TChildContract extends ContractDefinition, TChildWorkflowName extends keyof TChildContract["workflows"] & string>(contract: TChildContract, workflowName: TChildWorkflowName, options: TypedChildWorkflowOptions<TChildContract, TChildWorkflowName>) => ResultAsync<ClientInferOutput<TChildContract["workflows"][TChildWorkflowName]>, ChildWorkflowError | ChildWorkflowCancelledError | ChildWorkflowNotFoundError>;
   /**
    * Run `fn` inside a cancellable Temporal scope. If the workflow (or an
    * ancestor scope) is cancelled while `fn` is in flight, the resulting
-   * Future resolves to `Result.Error(WorkflowCancelledError)` instead of
+   * ResultAsync resolves to `err(WorkflowCancelledError)` instead of
    * rejecting — letting callers handle cancellation explicitly, typically
    * to perform a graceful exit from the current step.
    *
-   * Non-cancellation errors thrown by `fn` propagate as Future rejections
-   * unchanged, preserving their identity for upstream `try/catch` blocks.
+   * Non-cancellation errors thrown by `fn` resolve to
+   * `err(WorkflowScopeError)` (with the original error preserved on
+   * `cause`). Both failure modes ride neverthrow's railway, so
+   * `result.match(...)` is exhaustive — nothing escapes as an unhandled
+   * rejection.
    *
    * @example
    * ```ts
@@ -322,30 +369,35 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    *     return context.activities.processStep(args);
    *   });
    *
-   *   if (result.isError()) {
-   *     // workflow was cancelled — perform cleanup that must not be cancelled:
-   *     await context.nonCancellableScope(async () => {
-   *       await context.activities.releaseResources(args);
-   *     });
-   *     return { status: "cancelled" };
+   *   if (result.isErr()) {
+   *     if (result.error instanceof WorkflowCancelledError) {
+   *       // workflow was cancelled — perform cleanup that must not be cancelled:
+   *       await context.nonCancellableScope(async () => {
+   *         await context.activities.releaseResources(args);
+   *       });
+   *       return { status: "cancelled" };
+   *     }
+   *     // result.error instanceof WorkflowScopeError — domain failure
+   *     return { status: "failed" };
    *   }
    *
    *   return { status: "ok" };
    * }
    * ```
    */
-  cancellableScope: <T>(fn: () => T | Promise<T>) => Future<Result<T, WorkflowCancelledError>>;
+  cancellableScope: <T>(fn: () => T | Promise<T>) => ResultAsync<T, WorkflowCancelledError | WorkflowScopeError>;
   /**
    * Run `fn` inside a non-cancellable Temporal scope. Cancellation requests
    * from outside the scope are ignored for its duration — the idiomatic way
    * to perform cleanup work that must not be interrupted.
    *
-   * Returns the same `Future<Result<...>>` shape as
+   * Returns the same `ResultAsync<...>` shape as
    * {@link WorkflowContext.cancellableScope} for symmetry; the
-   * `Result.Error` branch only triggers when cancellation is raised from
-   * *inside* the scope, which is rare.
+   * `err(WorkflowCancelledError)` branch only triggers when cancellation is
+   * raised from *inside* the scope, which is rare. Non-cancellation errors
+   * surface as `err(WorkflowScopeError)`.
    */
-  nonCancellableScope: <T>(fn: () => T | Promise<T>) => Future<Result<T, WorkflowCancelledError>>;
+  nonCancellableScope: <T>(fn: () => T | Promise<T>) => ResultAsync<T, WorkflowCancelledError | WorkflowScopeError>;
   /**
    * Continue this workflow execution as a new run, optionally with a different
    * workflow type from another contract.
@@ -375,48 +427,9 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    */
   continueAsNew: {
     /** Same-workflow continuation — args typed against this workflow's input. */(args: ClientInferInput<TContract["workflows"][TWorkflowName]>, options?: TypedContinueAsNewOptions): Promise<never>; /** Cross-contract continuation — args typed against the destination workflow. */
-    <TOtherContract extends ContractDefinition, TOtherWorkflowName extends keyof TOtherContract["workflows"]>(contract: TOtherContract, workflowName: TOtherWorkflowName, args: ClientInferInput<TOtherContract["workflows"][TOtherWorkflowName]>, options?: TypedContinueAsNewOptions): Promise<never>;
+    <TOtherContract extends ContractDefinition, TOtherWorkflowName extends keyof TOtherContract["workflows"] & string>(contract: TOtherContract, workflowName: TOtherWorkflowName, args: ClientInferInput<TOtherContract["workflows"][TOtherWorkflowName]>, options?: TypedContinueAsNewOptions): Promise<never>;
   };
-};
-/**
- * Options for starting a child workflow
- */
-type TypedChildWorkflowOptions<TChildContract extends ContractDefinition, TChildWorkflowName extends keyof TChildContract["workflows"]> = Omit<ChildWorkflowOptions, "taskQueue" | "args"> & {
-  args: ClientInferInput<TChildContract["workflows"][TChildWorkflowName]>;
-};
-/**
- * Typed handle for a child workflow with Future/Result pattern
- */
-type TypedChildWorkflowHandle<TWorkflow extends WorkflowDefinition> = {
-  /**
-   * Get child workflow result with Result pattern
-   */
-  result: () => Future<Result<ClientInferOutput<TWorkflow>, ChildWorkflowError>>;
-  /**
-   * Child workflow ID
-   */
-  workflowId: string;
-};
-/**
- * Activity function signature from workflow execution perspective
- *
- * Workflows call activities with validated input (z.input parsed) and receive validated output (z.output)
- */
-type WorkflowInferActivity<TActivity extends ActivityDefinition> = (args: ClientInferInput<TActivity>) => Promise<ClientInferOutput<TActivity>>;
-/**
- * All global activities from a contract (workflow execution perspective)
- */
-type WorkflowInferActivities<TContract extends ContractDefinition> = TContract["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof TContract["activities"]]: WorkflowInferActivity<TContract["activities"][K]> } : {};
-/**
- * Workflow-specific activities (workflow execution perspective)
- */
-type WorkflowInferWorkflowActivities<T extends WorkflowDefinition> = T["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof T["activities"]]: WorkflowInferActivity<T["activities"][K]> } : {};
-/**
- * All activities available in a workflow context (workflow execution perspective)
- *
- * Combines workflow-specific activities with global contract activities
- */
-type WorkflowInferWorkflowContextActivities<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]> = WorkflowInferWorkflowActivities<TContract["workflows"][TWorkflowName]> & WorkflowInferActivities<TContract>; //# sourceMappingURL=workflow.d.ts.map
+}; //# sourceMappingURL=workflow.d.ts.map
 //#endregion
-export { ActivityInputValidationError, ActivityOutputValidationError, ChildWorkflowError, ChildWorkflowNotFoundError, QueryInputValidationError, QueryOutputValidationError, SignalInputValidationError, UpdateInputValidationError, UpdateOutputValidationError, WorkflowCancelledError, WorkflowInputValidationError, WorkflowOutputValidationError, declareWorkflow };
+export { ActivityInputValidationError, ActivityOutputValidationError, ChildWorkflowCancelledError, ChildWorkflowError, ChildWorkflowNotFoundError, QueryInputValidationError, QueryOutputValidationError, SignalInputValidationError, UpdateInputValidationError, UpdateOutputValidationError, WorkflowCancelledError, WorkflowInputValidationError, WorkflowOutputValidationError, WorkflowScopeError, declareWorkflow };
 //# sourceMappingURL=workflow.d.cts.map

package/dist/workflow.d.cts.map

@@ -1 +1 @@
-{"version":3,"file":"workflow.d.cts","names":[],"sources":["../src/handlers.ts","../src/internal.ts","../src/workflow.ts"],"mappings":";;;;;;;;;;;;AAkCA;KAAY,2BAAA,iBAA4C,gBAAA,KACtD,IAAA,EAAM,gBAAA,CAAiB,OAAA,aACb,OAAA;;;;;;;KAQA,0BAAA,gBAA0C,eAAA,KACpD,IAAA,EAAM,gBAAA,CAAiB,MAAA,MACpB,iBAAA,CAAkB,MAAA;;;;;;;KAQX,2BAAA,iBAA4C,gBAAA,KACtD,IAAA,EAAM,gBAAA,CAAiB,OAAA,MACpB,OAAA,CAAQ,iBAAA,CAAkB,OAAA;;;;;;;;KC2DnB,yBAAA,GAA4B,IAAA,CAAK,oBAAA;;;;;;;;;;;;;;;;;;;ADvE7C;;;;;;;;;;;;;;;;;;;AAUA;;;;;;;;;;;;;;;;;;;;;;;;AC6DA;;;;;;;;AC8BA;;;;;;iBAAgB,eAAA,mBACI,kBAAA,8BACU,SAAA,cAAA,CAAA;EAE5B,YAAA;EACA,QAAA;EACA,cAAA;EACA,eAAA;EACA;AAAA,GACC,sBAAA,CAAuB,SAAA,EAAW,aAAA,QAChC,IAAA,gBACA,OAAA,CAAQ,iBAAA,CAAkB,SAAA,cAAuB,aAAA;;;;;KAmHjD,gBAAA,mBACe,kBAAA,8BACU,SAAA,kBAEzB,SAAA,cAAuB,aAAA,wBAAqC,MAAA,SAAe,kBAAA,UAClE,SAAA,cAAuB,aAAA,qCAEhC,SAAA,uBAAgC,MAAA,SAAe,kBAAA,UACtC,SAAA;;;;KAMT,sBAAA,mBACe,kBAAA,8BACU,SAAA;EAE5B,YAAA,EAAc,aAAA;EACd,QAAA,EAAU,SAAA;EACV,cAAA,EAAgB,sBAAA,CAAuB,SAAA,EAAW,aAAA;EAjJlD;;;;;;;;;;;;;;;;;;;EAqKA,eAAA,EAAiB,eAAA;EA3JY;;;;AA6G9B;;;;;;;;;;;;;;;;;;EAqEC,qBAAA,GAAwB,OAAA,CACtB,MAAA,CAAO,gBAAA,CAAiB,SAAA,EAAW,aAAA,GAAgB,eAAA;AAAA;;;;;;;KAUlD,sBAAA,mBACe,kBAAA,8BACU,SAAA,kBAE5B,OAAA,EAAS,eAAA,CAAgB,SAAA,EAAW,aAAA,GACpC,IAAA,EAAM,gBAAA,CAAiB,SAAA,cAAuB,aAAA,OAC3C,OAAA,CAAQ,iBAAA,CAAkB,SAAA,cAAuB,aAAA;;;;;;;AAxE/B;;;KAmFlB,eAAA,mBACe,kBAAA,8BACU,SAAA;EAE5B,UAAA,EAAY,sCAAA,CAAuC,SAAA,EAAW,aAAA;EAC9D,IAAA,EAAM,YAAA;EA7EI;;;;;;;;;;;;;;;;;EAgGV,YAAA,mBAA+B,SAAA,cAAuB,aAAA,cACpD,UAAA,EAAY,CAAA,EACZ,OAAA,EAAS,2BAAA,CACP,SAAA,cAAuB,aAAA,aAA0B,CAAA,UAAW,gBAAA,GACxD,SAAA,cAAuB,aAAA,aAA0B,CAAA;EArG3C;;;;;;;;;;;;;;;;;EA2Hd,WAAA,mBAA8B,SAAA,cAAuB,aAAA,cACnD,SAAA,EAAW,CAAA,EACX,OAAA,EAAS,0BAAA,CACP,SAAA,cAAuB,aAAA,aAA0B,CAAA,UAAW,eAAA,GACxD,SAAA,cAAuB,aAAA,aAA0B,CAAA;EAvEtD;;;;;;;;;;;;;;;;;;EA8FH,YAAA,mBAA+B,SAAA,cAAuB,aAAA,cACpD,UAAA,EAAY,CAAA,EACZ,OAAA,EAAS,2BAAA,CACP,SAAA,cAAuB,aAAA,aAA0B,CAAA,UAAW,gBAAA,GACxD,SAAA,cAAuB,aAAA,aAA0B,CAAA;EAhGzD;;;;;;;;;;;;;;;;AAIiE;;;;;;;;;;;;;;EA+HjE,kBAAA,0BACyB,kBAAA,mCACU,cAAA,eAEjC,QAAA,EAAU,cAAA,EACV,YAAA,EAAc,kBAAA,EACd,OAAA,EAAS,yBAAA,CAA0B,cAAA,EAAgB,kBAAA,MAChD,MAAA,CACH,MAAA,CACE,wBAAA,CAAyB,cAAA,cAA4B,kBAAA,IACrD,kBAAA;EAnG4D;;;;;;;;;;;;;;;;;;;;;;;;;;;EAkIhE,oBAAA,0BACyB,kBAAA,mCACU,cAAA,eAEjC,QAAA,EAAU,cAAA,EACV,YAAA,EAAc,kBAAA,EACd,OAAA,EAAS,yBAAA,CAA0B,cAAA,EAAgB,kBAAA,MAChD,MAAA,CACH,MAAA,CAAO,iBAAA,CAAkB,cAAA,cAA4B,kBAAA,IAAsB,kBAAA;EA/C1C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA+EnC,gBAAA,MAAsB,EAAA,QAAU,CAAA,GAAI,OAAA,CAAQ,CAAA,MAAO,MAAA,CAAO,MAAA,CAAO,CAAA,EAAG,sBAAA;EAAV;;;;;;;;;;EAY1D,mBAAA,MAAyB,EAAA,QAAU,CAAA,GAAI,OAAA,CAAQ,CAAA,MAAO,MAAA,CAAO,MAAA,CAAO,CAAA,EAAG,sBAAA;EAgC7D;;;;;;;;;;;;;;;;;;;;;;;;;;;EAHV,aAAA;IArNc,8EAwNV,IAAA,EAAM,gBAAA,CAAiB,SAAA,cAAuB,aAAA,IAC9C,OAAA,GAAU,yBAAA,GACT,OAAA,SAzNM;IAAA,wBA4NgB,kBAAA,mCACU,cAAA,eAEjC,QAAA,EAAU,cAAA,EACV,YAAA,EAAc,kBAAA,EACd,IAAA,EAAM,gBAAA,CAAiB,cAAA,cAA4B,kBAAA,IACnD,OAAA,GAAU,yBAAA,GACT,OAAA;EAAA;AAAA;;;;KAOF,yBAAA,wBACoB,kBAAA,mCACU,cAAA,iBAC/B,IAAA,CAAK,oBAAA;EACP,IAAA,EAAM,gBAAA,CAAiB,cAAA,cAA4B,kBAAA;AAAA;;;;KAMhD,wBAAA,mBAA2C,kBAAA;EA3N5C;;;EA+NF,MAAA,QAAc,MAAA,CAAO,MAAA,CAAO,iBAAA,CAAkB,SAAA,GAAY,kBAAA;EA7NL;;;EAkOrD,UAAA;AAAA;;;;;;KAQG,qBAAA,mBAAwC,kBAAA,KAC3C,IAAA,EAAM,gBAAA,CAAiB,SAAA,MACpB,OAAA,CAAQ,iBAAA,CAAkB,SAAA;;;;KAK1B,uBAAA,mBAA0C,kBAAA,IAC7C,SAAA,uBAAgC,MAAA,SAAe,kBAAA,kBAE7B,SAAA,iBAA0B,qBAAA,CAAsB,SAAA,eAAwB,CAAA;;;;KAOvF,+BAAA,WAA0C,kBAAA,IAC7C,CAAA,uBAAwB,MAAA,SAAe,kBAAA,kBAErB,CAAA,iBAAkB,qBAAA,CAAsB,CAAA,eAAgB,CAAA;;;;;;KASvE,sCAAA,mBACe,kBAAA,8BACU,SAAA,iBAC1B,+BAAA,CAAgC,SAAA,cAAuB,aAAA,KACzD,uBAAA,CAAwB,SAAA"}
+{"version":3,"file":"workflow.d.cts","names":[],"sources":["../src/handlers.ts","../src/internal.ts","../src/child-workflow.ts","../src/activities-proxy.ts","../src/workflow.ts"],"mappings":";;;;;;;;;;;;KAkCY,2BAAA,iBAA4C,gBAAA,KACtD,IAAA,EAAM,gBAAA,CAAiB,OAAA,aACb,OAAA;;;;;;;KAQA,0BAAA,gBAA0C,eAAA,KACpD,IAAA,EAAM,gBAAA,CAAiB,MAAA,MACpB,iBAAA,CAAkB,MAAA;;;;;;;KAQX,2BAAA,iBAA4C,gBAAA,KACtD,IAAA,EAAM,gBAAA,CAAiB,OAAA,MACpB,OAAA,CAAQ,iBAAA,CAAkB,OAAA;;;;;;;;KCsFnB,yBAAA,GAA4B,IAAA,CAAK,oBAAA;;;;;;;;KChHjC,yBAAA,wBACa,kBAAA,mCACU,cAAA,0BAC/B,IAAA,CAAK,oBAAA;EACP,IAAA,EAAM,gBAAA,CAAiB,cAAA,cAA4B,kBAAA;AAAA;;;;KAMzC,wBAAA,mBAA2C,qBAAA;EFJ3C;;;EEQV,MAAA,QAAc,WAAA,CACZ,iBAAA,CAAkB,SAAA,GAClB,kBAAA,GAAqB,2BAAA;EFFa;;;EEQpC,UAAA;AAAA;;;AFlBF;;;;;AAAA,KGfY,qBAAA,mBAAwC,kBAAA,KAClD,IAAA,EAAM,gBAAA,CAAiB,SAAA,MACpB,OAAA,CAAQ,iBAAA,CAAkB,SAAA;;;;KAKnB,uBAAA,mBAA0C,kBAAA,IACpD,SAAA,uBAAgC,MAAA,SAAe,kBAAA,kBAE7B,SAAA,iBAA0B,qBAAA,CAAsB,SAAA,eAAwB,CAAA;;;;KAOhF,+BAAA,WAA0C,qBAAA,IACpD,CAAA,uBAAwB,MAAA,SAAe,kBAAA,kBAErB,CAAA,iBAAkB,qBAAA,CAAsB,CAAA,eAAgB,CAAA;;;;;;KAShE,sCAAA,mBACQ,kBAAA,8BACU,SAAA,0BAC1B,+BAAA,CAAgC,SAAA,cAAuB,aAAA,KACzD,uBAAA,CAAwB,SAAA;;;;;;;;;;;;;;;;;;AHR1B;;;;;;;;;;;;;;;;;;;AAUA;;;;;;;;;;;;;;;;;;;;;;;;ACwFA;;;;;;;;AChHA;;;;;;;iBEwHgB,eAAA,mBACI,kBAAA,8BACU,SAAA,uBAAA,CAAA;EAE5B,YAAA;EACA,QAAA;EACA,cAAA;EACA,eAAA;EACA;AAAA,GACC,sBAAA,CAAuB,SAAA,EAAW,aAAA,QAChC,IAAA,gBACA,OAAA,CAAQ,iBAAA,CAAkB,SAAA,cAAuB,aAAA;;;;;KA0IjD,gBAAA,mBACe,kBAAA,8BACU,SAAA,2BAEzB,SAAA,cAAuB,aAAA,wBAAqC,MAAA,SAAe,kBAAA,UAClE,SAAA,cAAuB,aAAA,qCAEhC,SAAA,uBAAgC,MAAA,SAAe,kBAAA,UACtC,SAAA;;;;KAMT,sBAAA,mBACe,kBAAA,8BACU,SAAA;EAE5B,YAAA,EAAc,aAAA;EACd,QAAA,EAAU,SAAA;EACV,cAAA,EAAgB,sBAAA,CAAuB,SAAA,EAAW,aAAA;EF7R3B;;;;AAMzB;;;;;;;;;;;;;;;EE2SE,eAAA,EAAiB,eAAA;EFtSG;;;;;;;;;AC1BtB;;;;;;;;;;;;;ECuVE,qBAAA,GAAwB,OAAA,CACtB,MAAA,CAAO,gBAAA,CAAiB,SAAA,EAAW,aAAA,GAAgB,eAAA;AAAA;;;;;;;KAUlD,sBAAA,mBACe,kBAAA,8BACU,SAAA,2BAE5B,OAAA,EAAS,eAAA,CAAgB,SAAA,EAAW,aAAA,GACpC,IAAA,EAAM,gBAAA,CAAiB,SAAA,cAAuB,aAAA,OAC3C,OAAA,CAAQ,iBAAA,CAAkB,SAAA,cAAuB,aAAA;;;;;;;;;;KAWjD,eAAA,mBACe,kBAAA,8BACU,SAAA;EAE5B,UAAA,EAAY,QAAA,CAAS,sCAAA,CAAuC,SAAA,EAAW,aAAA;EACvE,IAAA,EAAM,YAAA;EDjX4B;;;;;;;;;;;;AAUpC;;;;;EC0XE,YAAA,aAAyB,aAAA,CAAc,SAAA,cAAuB,aAAA,IAC5D,UAAA,EAAY,CAAA,EACZ,OAAA,EAAS,2BAAA,CACP,WAAA,CAAY,SAAA,cAAuB,aAAA,sBAAmC,MAAA,SAEpE,gBAAA,IAEE,WAAA,CAAY,SAAA,cAAuB,aAAA,cAA2B,CAAA,UAAW,gBAAA,GACvE,WAAA,CAAY,SAAA,cAAuB,aAAA,cAA2B,CAAA;EDjYhD;;;;;;;;;;;;;;;;;ECwZxB,WAAA,aAAwB,YAAA,CAAa,SAAA,cAAuB,aAAA,IAC1D,SAAA,EAAW,CAAA,EACX,OAAA,EAAS,0BAAA,CACP,WAAA,CAAY,SAAA,cAAuB,aAAA,sBAAmC,MAAA,SAEpE,eAAA,IAEE,WAAA,CAAY,SAAA,cAAuB,aAAA,cAA2B,CAAA,UAAW,eAAA,GACvE,WAAA,CAAY,SAAA,cAAuB,aAAA,cAA2B,CAAA;ED9ZG;AAS7E;;;;;;;;;;;;;;;;;EC6aE,YAAA,aAAyB,aAAA,CAAc,SAAA,cAAuB,aAAA,IAC5D,UAAA,EAAY,CAAA,EACZ,OAAA,EAAS,2BAAA,CACP,WAAA,CAAY,SAAA,cAAuB,aAAA,sBAAmC,MAAA,SAEpE,gBAAA,IAEE,WAAA,CAAY,SAAA,cAAuB,aAAA,cAA2B,CAAA,UAAW,gBAAA,GACvE,WAAA,CAAY,SAAA,cAAuB,aAAA,cAA2B,CAAA;EDlbf;;;;;;;;ACmG3D;;;;;;;;;;;;;;;;;;;;;;EAmXE,kBAAA,0BACyB,kBAAA,mCACU,cAAA,wBAEjC,QAAA,EAAU,cAAA,EACV,YAAA,EAAc,kBAAA,EACd,OAAA,EAAS,yBAAA,CAA0B,cAAA,EAAgB,kBAAA,MAChD,WAAA,CACH,wBAAA,CAAyB,cAAA,cAA4B,kBAAA,IACrD,kBAAA,GAAqB,2BAAA,GAA8B,0BAAA;EAxXrD;;;;;;;;;;;;;;;;;;;;AA2ID;;;;;;;EA2QC,oBAAA,0BACyB,kBAAA,mCACU,cAAA,wBAEjC,QAAA,EAAU,cAAA,EACV,YAAA,EAAc,kBAAA,EACd,OAAA,EAAS,yBAAA,CAA0B,cAAA,EAAgB,kBAAA,MAChD,WAAA,CACH,iBAAA,CAAkB,cAAA,cAA4B,kBAAA,IAC9C,kBAAA,GAAqB,2BAAA,GAA8B,0BAAA;EA1QU;;;;;;;;;;;;;;;;;;;;;;;;;AAI1C;;;;;;;;;;;EA6SrB,gBAAA,MACE,EAAA,QAAU,CAAA,GAAI,OAAA,CAAQ,CAAA,MACnB,WAAA,CAAY,CAAA,EAAG,sBAAA,GAAyB,kBAAA;EAvPR;;;;;;;;;;;EAoQrC,mBAAA,MACE,EAAA,QAAU,CAAA,GAAI,OAAA,CAAQ,CAAA,MACnB,WAAA,CAAY,CAAA,EAAG,sBAAA,GAAyB,kBAAA;EApT/B;;;;;;;;;;;;;;;;;;AA8CsD;;;;;;;;;EAmSpE,aAAA;IApRM,8EAuRF,IAAA,EAAM,gBAAA,CAAiB,SAAA,cAAuB,aAAA,IAC9C,OAAA,GAAU,yBAAA,GACT,OAAA,SAxR+C;IAAA,wBA2RzB,kBAAA,mCACU,cAAA,wBAEjC,QAAA,EAAU,cAAA,EACV,YAAA,EAAc,kBAAA,EACd,IAAA,EAAM,gBAAA,CAAiB,cAAA,cAA4B,kBAAA,IACnD,OAAA,GAAU,yBAAA,GACT,OAAA;EAAA;AAAA"}

package/dist/workflow.d.mts

@@ -1,7 +1,7 @@
-import { _ as WorkerInferOutput, a as ChildWorkflowNotFoundError, c as SignalInputValidationError, d as WorkflowCancelledError, f as WorkflowInputValidationError, g as WorkerInferInput, h as ClientInferOutput, i as ChildWorkflowError, l as UpdateInputValidationError, m as ClientInferInput, n as ActivityInputValidationError, o as QueryInputValidationError, p as WorkflowOutputValidationError, r as ActivityOutputValidationError, s as QueryOutputValidationError, u as UpdateOutputValidationError } from "./errors-DZhaNhwr.mjs";
+import { _ as ClientInferOutput, a as ChildWorkflowError, c as QueryOutputValidationError, d as UpdateOutputValidationError, f as WorkflowCancelledError, g as ClientInferInput, h as WorkflowScopeError, i as ChildWorkflowCancelledError, l as SignalInputValidationError, m as WorkflowOutputValidationError, n as ActivityInputValidationError, o as ChildWorkflowNotFoundError, p as WorkflowInputValidationError, r as ActivityOutputValidationError, s as QueryInputValidationError, u as UpdateInputValidationError, v as WorkerInferInput, y as WorkerInferOutput } from "./errors-DbPMxULo.mjs";
+import { ActivityDefinition, AnyWorkflowDefinition, ContractDefinition, QueryDefinition, QueryNamesOf, SignalDefinition, SignalNamesOf, UpdateDefinition, UpdateNamesOf } from "@temporal-contract/contract";
 import { ActivityOptions, ChildWorkflowOptions, ContinueAsNewOptions, WorkflowInfo } from "@temporalio/workflow";
-import { Future, Result } from "@temporal-contract/boxed";
-import { ActivityDefinition, ContractDefinition, QueryDefinition, SignalDefinition, UpdateDefinition, WorkflowDefinition } from "@temporal-contract/contract";
+import { ResultAsync } from "neverthrow";
 import { StandardSchemaV1 } from "@standard-schema/spec";
 
 //#region src/handlers.d.ts
@@ -35,6 +35,51 @@ type UpdateHandlerImplementation<TUpdate extends UpdateDefinition> = (args: Work
  */
 type TypedContinueAsNewOptions = Omit<ContinueAsNewOptions, "workflowType" | "taskQueue">;
 //#endregion
+//#region src/child-workflow.d.ts
+/**
+ * Options for starting a child workflow. `taskQueue` and `args` come from
+ * the contract; everything else is forwarded to Temporal's
+ * `startChild` / `executeChild`.
+ */
+type TypedChildWorkflowOptions<TChildContract extends ContractDefinition, TChildWorkflowName extends keyof TChildContract["workflows"] & string> = Omit<ChildWorkflowOptions, "taskQueue" | "args"> & {
+  args: ClientInferInput<TChildContract["workflows"][TChildWorkflowName]>;
+};
+/**
+ * Typed handle for a child workflow with neverthrow `ResultAsync` pattern.
+ */
+type TypedChildWorkflowHandle<TWorkflow extends AnyWorkflowDefinition> = {
+  /**
+   * Get child workflow result with `ResultAsync` pattern.
+   */
+  result: () => ResultAsync<ClientInferOutput<TWorkflow>, ChildWorkflowError | ChildWorkflowCancelledError>;
+  /**
+   * Child workflow ID.
+   */
+  workflowId: string;
+};
+//#endregion
+//#region src/activities-proxy.d.ts
+/**
+ * Activity function signature from workflow execution perspective.
+ *
+ * Workflows call activities with validated input (z.input parsed) and receive validated output (z.output).
+ */
+type WorkflowInferActivity<TActivity extends ActivityDefinition> = (args: ClientInferInput<TActivity>) => Promise<ClientInferOutput<TActivity>>;
+/**
+ * All global activities from a contract (workflow execution perspective).
+ */
+type WorkflowInferActivities<TContract extends ContractDefinition> = TContract["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof TContract["activities"]]: WorkflowInferActivity<TContract["activities"][K]> } : {};
+/**
+ * Workflow-specific activities (workflow execution perspective).
+ */
+type WorkflowInferWorkflowActivities<T extends AnyWorkflowDefinition> = T["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof T["activities"]]: WorkflowInferActivity<T["activities"][K]> } : {};
+/**
+ * All activities available in a workflow context (workflow execution perspective).
+ *
+ * Combines workflow-specific activities with global contract activities.
+ */
+type WorkflowInferWorkflowContextActivities<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"] & string> = WorkflowInferWorkflowActivities<TContract["workflows"][TWorkflowName]> & WorkflowInferActivities<TContract>;
+//#endregion
 //#region src/workflow.d.ts
 /**
  * Create a typed workflow implementation with automatic validation
@@ -109,7 +154,7 @@ type TypedContinueAsNewOptions = Omit<ContinueAsNewOptions, "workflowType" | "ta
  * });
  * ```
  */
-declare function declareWorkflow<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]>({
+declare function declareWorkflow<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"] & string>({
   workflowName,
   contract,
   implementation,
@@ -120,11 +165,11 @@ declare function declareWorkflow<TContract extends ContractDefinition, TWorkflow
  * Union of all activity names available to a workflow — the workflow-local
  * activities plus the contract's global activities.
  */
-type ActivityNamesFor<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]> = (TContract["workflows"][TWorkflowName]["activities"] extends Record<string, ActivityDefinition> ? keyof TContract["workflows"][TWorkflowName]["activities"] & string : never) | (TContract["activities"] extends Record<string, ActivityDefinition> ? keyof TContract["activities"] & string : never);
+type ActivityNamesFor<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"] & string> = (TContract["workflows"][TWorkflowName]["activities"] extends Record<string, ActivityDefinition> ? keyof TContract["workflows"][TWorkflowName]["activities"] & string : never) | (TContract["activities"] extends Record<string, ActivityDefinition> ? keyof TContract["activities"] & string : never);
 /**
  * Options for declaring a workflow implementation
  */
-type DeclareWorkflowOptions<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]> = {
+type DeclareWorkflowOptions<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"] & string> = {
   workflowName: TWorkflowName;
   contract: TContract;
   implementation: WorkflowImplementation<TContract, TWorkflowName>;
@@ -178,7 +223,7 @@ type DeclareWorkflowOptions<TContract extends ContractDefinition, TWorkflowName
  * Receives a workflow context (with typed activities and utilities) and validated input arguments.
  * Returns the workflow output which will be validated against the contract schema.
  */
-type WorkflowImplementation<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]> = (context: WorkflowContext<TContract, TWorkflowName>, args: WorkerInferInput<TContract["workflows"][TWorkflowName]>) => Promise<WorkerInferOutput<TContract["workflows"][TWorkflowName]>>;
+type WorkflowImplementation<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"] & string> = (context: WorkflowContext<TContract, TWorkflowName>, args: WorkerInferInput<TContract["workflows"][TWorkflowName]>) => Promise<WorkerInferOutput<TContract["workflows"][TWorkflowName]>>;
 /**
  * Workflow execution context providing typed activities, workflow info, and interaction handlers
  *
@@ -188,8 +233,8 @@ type WorkflowImplementation<TContract extends ContractDefinition, TWorkflowName
  * - Signal, query, and update handler registration
  * - Child workflow execution capabilities
  */
-type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]> = {
-  activities: WorkflowInferWorkflowContextActivities<TContract, TWorkflowName>;
+type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"] & string> = {
+  activities: Readonly<WorkflowInferWorkflowContextActivities<TContract, TWorkflowName>>;
   info: WorkflowInfo;
   /**
    * Define a signal handler within the workflow implementation
@@ -208,7 +253,7 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    * }
    * ```
    */
-  defineSignal: <K extends keyof TContract["workflows"][TWorkflowName]["signals"]>(signalName: K, handler: SignalHandlerImplementation<TContract["workflows"][TWorkflowName]["signals"][K] extends SignalDefinition ? TContract["workflows"][TWorkflowName]["signals"][K] : never>) => void;
+  defineSignal: <K extends SignalNamesOf<TContract["workflows"][TWorkflowName]>>(signalName: K, handler: SignalHandlerImplementation<NonNullable<TContract["workflows"][TWorkflowName]["signals"]> extends Record<string, SignalDefinition> ? NonNullable<TContract["workflows"][TWorkflowName]["signals"]>[K] extends SignalDefinition ? NonNullable<TContract["workflows"][TWorkflowName]["signals"]>[K] : never : never>) => void;
   /**
    * Define a query handler within the workflow implementation
    * Allows the query handler to access workflow state
@@ -226,7 +271,7 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    * }
    * ```
    */
-  defineQuery: <K extends keyof TContract["workflows"][TWorkflowName]["queries"]>(queryName: K, handler: QueryHandlerImplementation<TContract["workflows"][TWorkflowName]["queries"][K] extends QueryDefinition ? TContract["workflows"][TWorkflowName]["queries"][K] : never>) => void;
+  defineQuery: <K extends QueryNamesOf<TContract["workflows"][TWorkflowName]>>(queryName: K, handler: QueryHandlerImplementation<NonNullable<TContract["workflows"][TWorkflowName]["queries"]> extends Record<string, QueryDefinition> ? NonNullable<TContract["workflows"][TWorkflowName]["queries"]>[K] extends QueryDefinition ? NonNullable<TContract["workflows"][TWorkflowName]["queries"]>[K] : never : never>) => void;
   /**
    * Define an update handler within the workflow implementation
    * Allows the update handler to access and modify workflow state
@@ -245,9 +290,9 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    * }
    * ```
    */
-  defineUpdate: <K extends keyof TContract["workflows"][TWorkflowName]["updates"]>(updateName: K, handler: UpdateHandlerImplementation<TContract["workflows"][TWorkflowName]["updates"][K] extends UpdateDefinition ? TContract["workflows"][TWorkflowName]["updates"][K] : never>) => void;
+  defineUpdate: <K extends UpdateNamesOf<TContract["workflows"][TWorkflowName]>>(updateName: K, handler: UpdateHandlerImplementation<NonNullable<TContract["workflows"][TWorkflowName]["updates"]> extends Record<string, UpdateDefinition> ? NonNullable<TContract["workflows"][TWorkflowName]["updates"]>[K] extends UpdateDefinition ? NonNullable<TContract["workflows"][TWorkflowName]["updates"]>[K] : never : never>) => void;
   /**
-   * Start a child workflow and return a typed handle with Future/Result pattern
+   * Start a child workflow and return a typed handle with ResultAsync pattern
    *
    * Supports both same-contract and cross-contract child workflows:
    * - Same contract: Pass workflowName from current contract
@@ -267,18 +312,18 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    *   args: { message: 'Hello' }
    * });
    *
-   * childResult.match({
-   *   Ok: async (handle) => {
+   * childResult.match(
+   *   async (handle) => {
    *     const result = await handle.result();
    *     // ... handle result
    *   },
-   *   Error: (error) => console.error('Failed to start:', error),
-   * });
+   *   (error) => console.error('Failed to start:', error),
+   * );
    * ```
    */
-  startChildWorkflow: <TChildContract extends ContractDefinition, TChildWorkflowName extends keyof TChildContract["workflows"]>(contract: TChildContract, workflowName: TChildWorkflowName, options: TypedChildWorkflowOptions<TChildContract, TChildWorkflowName>) => Future<Result<TypedChildWorkflowHandle<TChildContract["workflows"][TChildWorkflowName]>, ChildWorkflowError>>;
+  startChildWorkflow: <TChildContract extends ContractDefinition, TChildWorkflowName extends keyof TChildContract["workflows"] & string>(contract: TChildContract, workflowName: TChildWorkflowName, options: TypedChildWorkflowOptions<TChildContract, TChildWorkflowName>) => ResultAsync<TypedChildWorkflowHandle<TChildContract["workflows"][TChildWorkflowName]>, ChildWorkflowError | ChildWorkflowCancelledError | ChildWorkflowNotFoundError>;
   /**
-   * Execute a child workflow (start and wait for result) with Future/Result pattern
+   * Execute a child workflow (start and wait for result) with ResultAsync pattern
    *
    * Supports both same-contract and cross-contract child workflows:
    * - Same contract: Pass workflowName from current contract
@@ -298,22 +343,25 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    *   args: { message: 'Hello' }
    * });
    *
-   * result.match({
-   *   Ok: (output) => console.log('Payment processed:', output),
-   *   Error: (error) => console.error('Processing failed:', error),
-   * });
+   * result.match(
+   *   (output) => console.log('Payment processed:', output),
+   *   (error) => console.error('Processing failed:', error),
+   * );
    * ```
    */
-  executeChildWorkflow: <TChildContract extends ContractDefinition, TChildWorkflowName extends keyof TChildContract["workflows"]>(contract: TChildContract, workflowName: TChildWorkflowName, options: TypedChildWorkflowOptions<TChildContract, TChildWorkflowName>) => Future<Result<ClientInferOutput<TChildContract["workflows"][TChildWorkflowName]>, ChildWorkflowError>>;
+  executeChildWorkflow: <TChildContract extends ContractDefinition, TChildWorkflowName extends keyof TChildContract["workflows"] & string>(contract: TChildContract, workflowName: TChildWorkflowName, options: TypedChildWorkflowOptions<TChildContract, TChildWorkflowName>) => ResultAsync<ClientInferOutput<TChildContract["workflows"][TChildWorkflowName]>, ChildWorkflowError | ChildWorkflowCancelledError | ChildWorkflowNotFoundError>;
   /**
    * Run `fn` inside a cancellable Temporal scope. If the workflow (or an
    * ancestor scope) is cancelled while `fn` is in flight, the resulting
-   * Future resolves to `Result.Error(WorkflowCancelledError)` instead of
+   * ResultAsync resolves to `err(WorkflowCancelledError)` instead of
    * rejecting — letting callers handle cancellation explicitly, typically
    * to perform a graceful exit from the current step.
    *
-   * Non-cancellation errors thrown by `fn` propagate as Future rejections
-   * unchanged, preserving their identity for upstream `try/catch` blocks.
+   * Non-cancellation errors thrown by `fn` resolve to
+   * `err(WorkflowScopeError)` (with the original error preserved on
+   * `cause`). Both failure modes ride neverthrow's railway, so
+   * `result.match(...)` is exhaustive — nothing escapes as an unhandled
+   * rejection.
    *
    * @example
    * ```ts
@@ -322,30 +370,35 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    *     return context.activities.processStep(args);
    *   });
    *
-   *   if (result.isError()) {
-   *     // workflow was cancelled — perform cleanup that must not be cancelled:
-   *     await context.nonCancellableScope(async () => {
-   *       await context.activities.releaseResources(args);
-   *     });
-   *     return { status: "cancelled" };
+   *   if (result.isErr()) {
+   *     if (result.error instanceof WorkflowCancelledError) {
+   *       // workflow was cancelled — perform cleanup that must not be cancelled:
+   *       await context.nonCancellableScope(async () => {
+   *         await context.activities.releaseResources(args);
+   *       });
+   *       return { status: "cancelled" };
+   *     }
+   *     // result.error instanceof WorkflowScopeError — domain failure
+   *     return { status: "failed" };
    *   }
    *
    *   return { status: "ok" };
    * }
    * ```
    */
-  cancellableScope: <T>(fn: () => T | Promise<T>) => Future<Result<T, WorkflowCancelledError>>;
+  cancellableScope: <T>(fn: () => T | Promise<T>) => ResultAsync<T, WorkflowCancelledError | WorkflowScopeError>;
   /**
    * Run `fn` inside a non-cancellable Temporal scope. Cancellation requests
    * from outside the scope are ignored for its duration — the idiomatic way
    * to perform cleanup work that must not be interrupted.
    *
-   * Returns the same `Future<Result<...>>` shape as
+   * Returns the same `ResultAsync<...>` shape as
    * {@link WorkflowContext.cancellableScope} for symmetry; the
-   * `Result.Error` branch only triggers when cancellation is raised from
-   * *inside* the scope, which is rare.
+   * `err(WorkflowCancelledError)` branch only triggers when cancellation is
+   * raised from *inside* the scope, which is rare. Non-cancellation errors
+   * surface as `err(WorkflowScopeError)`.
    */
-  nonCancellableScope: <T>(fn: () => T | Promise<T>) => Future<Result<T, WorkflowCancelledError>>;
+  nonCancellableScope: <T>(fn: () => T | Promise<T>) => ResultAsync<T, WorkflowCancelledError | WorkflowScopeError>;
   /**
    * Continue this workflow execution as a new run, optionally with a different
    * workflow type from another contract.
@@ -375,48 +428,9 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    */
   continueAsNew: {
     /** Same-workflow continuation — args typed against this workflow's input. */(args: ClientInferInput<TContract["workflows"][TWorkflowName]>, options?: TypedContinueAsNewOptions): Promise<never>; /** Cross-contract continuation — args typed against the destination workflow. */
-    <TOtherContract extends ContractDefinition, TOtherWorkflowName extends keyof TOtherContract["workflows"]>(contract: TOtherContract, workflowName: TOtherWorkflowName, args: ClientInferInput<TOtherContract["workflows"][TOtherWorkflowName]>, options?: TypedContinueAsNewOptions): Promise<never>;
+    <TOtherContract extends ContractDefinition, TOtherWorkflowName extends keyof TOtherContract["workflows"] & string>(contract: TOtherContract, workflowName: TOtherWorkflowName, args: ClientInferInput<TOtherContract["workflows"][TOtherWorkflowName]>, options?: TypedContinueAsNewOptions): Promise<never>;
   };
-};
-/**
- * Options for starting a child workflow
- */
-type TypedChildWorkflowOptions<TChildContract extends ContractDefinition, TChildWorkflowName extends keyof TChildContract["workflows"]> = Omit<ChildWorkflowOptions, "taskQueue" | "args"> & {
-  args: ClientInferInput<TChildContract["workflows"][TChildWorkflowName]>;
-};
-/**
- * Typed handle for a child workflow with Future/Result pattern
- */
-type TypedChildWorkflowHandle<TWorkflow extends WorkflowDefinition> = {
-  /**
-   * Get child workflow result with Result pattern
-   */
-  result: () => Future<Result<ClientInferOutput<TWorkflow>, ChildWorkflowError>>;
-  /**
-   * Child workflow ID
-   */
-  workflowId: string;
-};
-/**
- * Activity function signature from workflow execution perspective
- *
- * Workflows call activities with validated input (z.input parsed) and receive validated output (z.output)
- */
-type WorkflowInferActivity<TActivity extends ActivityDefinition> = (args: ClientInferInput<TActivity>) => Promise<ClientInferOutput<TActivity>>;
-/**
- * All global activities from a contract (workflow execution perspective)
- */
-type WorkflowInferActivities<TContract extends ContractDefinition> = TContract["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof TContract["activities"]]: WorkflowInferActivity<TContract["activities"][K]> } : {};
-/**
- * Workflow-specific activities (workflow execution perspective)
- */
-type WorkflowInferWorkflowActivities<T extends WorkflowDefinition> = T["activities"] extends Record<string, ActivityDefinition> ? { [K in keyof T["activities"]]: WorkflowInferActivity<T["activities"][K]> } : {};
-/**
- * All activities available in a workflow context (workflow execution perspective)
- *
- * Combines workflow-specific activities with global contract activities
- */
-type WorkflowInferWorkflowContextActivities<TContract extends ContractDefinition, TWorkflowName extends keyof TContract["workflows"]> = WorkflowInferWorkflowActivities<TContract["workflows"][TWorkflowName]> & WorkflowInferActivities<TContract>; //# sourceMappingURL=workflow.d.ts.map
+}; //# sourceMappingURL=workflow.d.ts.map
 //#endregion
-export { ActivityInputValidationError, ActivityOutputValidationError, ChildWorkflowError, ChildWorkflowNotFoundError, QueryInputValidationError, QueryOutputValidationError, SignalInputValidationError, UpdateInputValidationError, UpdateOutputValidationError, WorkflowCancelledError, WorkflowInputValidationError, WorkflowOutputValidationError, declareWorkflow };
+export { ActivityInputValidationError, ActivityOutputValidationError, ChildWorkflowCancelledError, ChildWorkflowError, ChildWorkflowNotFoundError, QueryInputValidationError, QueryOutputValidationError, SignalInputValidationError, UpdateInputValidationError, UpdateOutputValidationError, WorkflowCancelledError, WorkflowInputValidationError, WorkflowOutputValidationError, WorkflowScopeError, declareWorkflow };
 //# sourceMappingURL=workflow.d.mts.map