@temporal-contract/worker 1.0.0 → 2.0.0

package/dist/{internal-BoNcEtYh.mjs → internal--45IXCxX.mjs}

@@ -195,13 +195,13 @@ var ChildWorkflowError = class extends WorkerError {
 	}
 };
 /**
-* Error returned in the `Result.Error` branch when a typed cancellation
-* scope is cancelled via Temporal's cancellation propagation. Returned by
-* both `context.cancellableScope` (when the workflow or an ancestor scope
-* cancels) and `context.nonCancellableScope` (when cancellation is raised
-* from inside the scope). Distinct from arbitrary thrown errors so call
-* sites can branch on cancellation explicitly while still surfacing
-* non-cancellation errors as Future rejections.
+* Error surfaced in the `err(...)` branch of a `ResultAsync` when a typed
+* cancellation scope is cancelled via Temporal's cancellation propagation.
+* Returned by both `context.cancellableScope` (when the workflow or an
+* ancestor scope cancels) and `context.nonCancellableScope` (when
+* cancellation is raised from inside the scope). Distinct from arbitrary
+* thrown errors so call sites can branch on cancellation explicitly while
+* still surfacing non-cancellation errors as ResultAsync rejections.
 */
 var WorkflowCancelledError = class extends WorkerError {
 	constructor(cause) {
@@ -351,4 +351,4 @@ function looksLikeCrossContractCall(arg1, arg2) {
 //#endregion
 export { formatChildWorkflowValidationMessage as _, ActivityInputValidationError as a, ChildWorkflowNotFoundError as c, SignalInputValidationError as d, UpdateInputValidationError as f, WorkflowOutputValidationError as g, WorkflowInputValidationError as h, ActivityDefinitionNotFoundError as i, QueryInputValidationError as l, WorkflowCancelledError as m, createContinueAsNew as n, ActivityOutputValidationError as o, UpdateOutputValidationError as p, extractHandlerInput as r, ChildWorkflowError as s, buildRawActivitiesProxy as t, QueryOutputValidationError as u };
 
-//# sourceMappingURL=internal-BoNcEtYh.mjs.map
+//# sourceMappingURL=internal--45IXCxX.mjs.map

package/dist/internal--45IXCxX.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"internal--45IXCxX.mjs","names":[],"sources":["../src/format.ts","../src/errors.ts","../src/internal.ts"],"sourcesContent":["/**\n * Issue / validation-message formatters.\n *\n * Lives in its own module (separate from `errors.ts` and `internal.ts`) so\n * both can import these helpers without forming a circular dependency:\n * `errors.ts` -> `format.ts` and `internal.ts` -> `format.ts` are both safe,\n * even when `internal.ts` later needs to import error classes from\n * `errors.ts` (as `createContinueAsNew` does).\n *\n * Not part of the package's public exports map.\n */\nimport type { StandardSchemaV1 } from \"@standard-schema/spec\";\n\n/**\n * Pattern for string keys safe to render with dot notation. A \"safe\" key is a\n * JavaScript identifier (letters/digits/underscore/$, not starting with a\n * digit). Anything else — keys containing dots, spaces, leading digits, the\n * empty string, the literal string `\"0\"` etc. — gets bracket-quoted so the\n * path is unambiguous. Reserved words are accepted: we are formatting a\n * diagnostic, not generating runnable code.\n */\nconst SAFE_IDENTIFIER = /^[A-Za-z_$][A-Za-z0-9_$]*$/;\n\n/**\n * Render a Standard Schema {@link StandardSchemaV1.Issue} into a human-readable\n * string that includes the failing field's path.\n */\nexport function formatIssue(issue: StandardSchemaV1.Issue): string {\n  if (issue.path === undefined || issue.path.length === 0) {\n    return issue.message;\n  }\n  let path = \"\";\n  for (let i = 0; i < issue.path.length; i++) {\n    const segment = issue.path[i];\n    const key =\n      segment !== null && typeof segment === \"object\" && \"key\" in segment ? segment.key : segment;\n    if (typeof key === \"number\") {\n      path += `[${key}]`;\n    } else if (typeof key === \"string\" && SAFE_IDENTIFIER.test(key)) {\n      path += i === 0 ? key : `.${key}`;\n    } else if (typeof key === \"string\") {\n      path += `[${JSON.stringify(key)}]`;\n    } else {\n      path += `[${String(key)}]`;\n    }\n  }\n  return `at ${path}: ${issue.message}`;\n}\n\n/**\n * Join a list of validation issues into a single message, with each issue\n * rendered via {@link formatIssue} so field paths surface in the error text.\n */\nexport function summarizeIssues(issues: ReadonlyArray<StandardSchemaV1.Issue>): string {\n  return issues.map(formatIssue).join(\"; \");\n}\n\n/**\n * Build the message attached to a `ChildWorkflowError` for input/output\n * validation failures. Centralized so the worker and any future call sites\n * format identically.\n */\nexport function formatChildWorkflowValidationMessage(\n  workflowName: string,\n  direction: \"input\" | \"output\",\n  issues: ReadonlyArray<StandardSchemaV1.Issue>,\n): string {\n  return `Child workflow \"${workflowName}\" ${direction} validation failed: ${summarizeIssues(issues)}`;\n}\n","import type { StandardSchemaV1 } from \"@standard-schema/spec\";\nimport { summarizeIssues } from \"./format.js\";\n\n/**\n * Base error class for worker errors\n */\nabstract class WorkerError extends Error {\n  protected constructor(message: string, cause?: unknown) {\n    super(message, { cause });\n    this.name = \"WorkerError\";\n    // Maintains proper stack trace for where our error was thrown (only available on V8)\n    if (Error.captureStackTrace) {\n      Error.captureStackTrace(this, this.constructor);\n    }\n  }\n}\n\n/**\n * Error thrown when an activity definition is not found in the contract\n */\nexport class ActivityDefinitionNotFoundError extends WorkerError {\n  constructor(\n    public readonly activityName: string,\n    public readonly availableDefinitions: readonly string[] = [],\n  ) {\n    const available = availableDefinitions.length > 0 ? availableDefinitions.join(\", \") : \"none\";\n    super(\n      `Activity definition not found for: \"${activityName}\". Available activities: ${available}`,\n    );\n    this.name = \"ActivityDefinitionNotFoundError\";\n  }\n}\n\n/**\n * Error thrown when activity input validation fails\n */\nexport class ActivityInputValidationError extends WorkerError {\n  constructor(\n    public readonly activityName: string,\n    public readonly issues: ReadonlyArray<StandardSchemaV1.Issue>,\n  ) {\n    const message = summarizeIssues(issues);\n    super(`Activity \"${activityName}\" input validation failed: ${message}`);\n    this.name = \"ActivityInputValidationError\";\n  }\n}\n\n/**\n * Error thrown when activity output validation fails\n */\nexport class ActivityOutputValidationError extends WorkerError {\n  constructor(\n    public readonly activityName: string,\n    public readonly issues: ReadonlyArray<StandardSchemaV1.Issue>,\n  ) {\n    const message = summarizeIssues(issues);\n    super(`Activity \"${activityName}\" output validation failed: ${message}`);\n    this.name = \"ActivityOutputValidationError\";\n  }\n}\n\n/**\n * Error thrown when workflow input validation fails\n */\nexport class WorkflowInputValidationError extends WorkerError {\n  constructor(\n    public readonly workflowName: string,\n    public readonly issues: ReadonlyArray<StandardSchemaV1.Issue>,\n  ) {\n    const message = summarizeIssues(issues);\n    super(`Workflow \"${workflowName}\" input validation failed: ${message}`);\n    this.name = \"WorkflowInputValidationError\";\n  }\n}\n\n/**\n * Error thrown when workflow output validation fails\n */\nexport class WorkflowOutputValidationError extends WorkerError {\n  constructor(\n    public readonly workflowName: string,\n    public readonly issues: ReadonlyArray<StandardSchemaV1.Issue>,\n  ) {\n    const message = summarizeIssues(issues);\n    super(`Workflow \"${workflowName}\" output validation failed: ${message}`);\n    this.name = \"WorkflowOutputValidationError\";\n  }\n}\n\n/**\n * Error thrown when signal input validation fails\n */\nexport class SignalInputValidationError extends WorkerError {\n  constructor(\n    public readonly signalName: string,\n    public readonly issues: ReadonlyArray<StandardSchemaV1.Issue>,\n  ) {\n    const message = summarizeIssues(issues);\n    super(`Signal \"${signalName}\" input validation failed: ${message}`);\n    this.name = \"SignalInputValidationError\";\n  }\n}\n\n/**\n * Error thrown when query input validation fails\n */\nexport class QueryInputValidationError extends WorkerError {\n  constructor(\n    public readonly queryName: string,\n    public readonly issues: ReadonlyArray<StandardSchemaV1.Issue>,\n  ) {\n    const message = summarizeIssues(issues);\n    super(`Query \"${queryName}\" input validation failed: ${message}`);\n    this.name = \"QueryInputValidationError\";\n  }\n}\n\n/**\n * Error thrown when query output validation fails\n */\nexport class QueryOutputValidationError extends WorkerError {\n  constructor(\n    public readonly queryName: string,\n    public readonly issues: ReadonlyArray<StandardSchemaV1.Issue>,\n  ) {\n    const message = summarizeIssues(issues);\n    super(`Query \"${queryName}\" output validation failed: ${message}`);\n    this.name = \"QueryOutputValidationError\";\n  }\n}\n\n/**\n * Error thrown when update input validation fails\n */\nexport class UpdateInputValidationError extends WorkerError {\n  constructor(\n    public readonly updateName: string,\n    public readonly issues: ReadonlyArray<StandardSchemaV1.Issue>,\n  ) {\n    const message = summarizeIssues(issues);\n    super(`Update \"${updateName}\" input validation failed: ${message}`);\n    this.name = \"UpdateInputValidationError\";\n  }\n}\n\n/**\n * Error thrown when update output validation fails\n */\nexport class UpdateOutputValidationError extends WorkerError {\n  constructor(\n    public readonly updateName: string,\n    public readonly issues: ReadonlyArray<StandardSchemaV1.Issue>,\n  ) {\n    const message = summarizeIssues(issues);\n    super(`Update \"${updateName}\" output validation failed: ${message}`);\n    this.name = \"UpdateOutputValidationError\";\n  }\n}\n\n/**\n * Error thrown when a child workflow is not found in the contract\n */\nexport class ChildWorkflowNotFoundError extends WorkerError {\n  constructor(\n    public readonly workflowName: string,\n    public readonly availableWorkflows: readonly string[] = [],\n  ) {\n    const available = availableWorkflows.length > 0 ? availableWorkflows.join(\", \") : \"none\";\n    super(`Child workflow not found: \"${workflowName}\". Available workflows: ${available}`);\n    this.name = \"ChildWorkflowNotFoundError\";\n  }\n}\n\n/**\n * Generic error for child workflow operations\n */\nexport class ChildWorkflowError extends WorkerError {\n  constructor(message: string, cause?: unknown) {\n    super(message, cause);\n    this.name = \"ChildWorkflowError\";\n  }\n}\n\n/**\n * Error surfaced in the `err(...)` branch of a `ResultAsync` when a typed\n * cancellation scope is cancelled via Temporal's cancellation propagation.\n * Returned by both `context.cancellableScope` (when the workflow or an\n * ancestor scope cancels) and `context.nonCancellableScope` (when\n * cancellation is raised from inside the scope). Distinct from arbitrary\n * thrown errors so call sites can branch on cancellation explicitly while\n * still surfacing non-cancellation errors as ResultAsync rejections.\n */\nexport class WorkflowCancelledError extends WorkerError {\n  constructor(cause?: unknown) {\n    super(\"Workflow cancellation scope was cancelled\", cause);\n    this.name = \"WorkflowCancelledError\";\n  }\n}\n","/**\n * Internal helpers shared across the worker package's entry points.\n *\n * Not part of the public API — this module is not listed in the package's\n * `exports` map, so consumers can't import from `@temporal-contract/worker/internal`.\n * In-package tests import it directly via relative path.\n */\nimport { makeContinueAsNewFunc, proxyActivities } from \"@temporalio/workflow\";\nimport type { ActivityOptions, ContinueAsNewOptions } from \"@temporalio/workflow\";\nimport type { ActivityDefinition, ContractDefinition } from \"@temporal-contract/contract\";\nimport { WorkflowInputValidationError } from \"./errors.js\";\n\n// Re-export the formatters so workflow.ts and existing tests can keep\n// importing from `./internal.js`. Their canonical home is `./format.js`,\n// which both `errors.ts` and `internal.ts` import from to avoid a\n// circular dependency once `internal.ts` started importing error classes.\nexport { formatIssue, summarizeIssues, formatChildWorkflowValidationMessage } from \"./format.js\";\n\n/**\n * Extract the single payload from a Temporal handler's `...args` array.\n *\n * Temporal invokes handlers with whatever was passed via `args: [...]` at the\n * call site. The typed-contract layer always sends `args: [validatedInput]`,\n * so the common case is a one-element array containing the wrapped input.\n *\n * If a non-typed-contract caller passes multiple positional arguments\n * (`args: [a, b, c]`), we surface the whole array as the input — the schema\n * will then reject it unless the contract specifically modeled a tuple.\n */\nexport function extractHandlerInput(args: unknown[]): unknown {\n  return args.length === 1 ? args[0] : args;\n}\n\ntype ActivityFn = (...args: unknown[]) => Promise<unknown>;\n\n/**\n * Build the raw `Record<name, fn>` proxy of activities for a workflow,\n * applying per-activity `ActivityOptions` overrides where requested.\n *\n * **Fast path (no overrides):** a single `proxyActivities(defaultOptions)`\n * call is made and returned directly. The proxy synthesizes a function for\n * any property access by name, so downstream code that looks up\n * `proxy[activityName]` works identically to before.\n *\n * **Override path:** one extra `proxyActivities(merged)` call is made *only*\n * for each activity that has an override. Activities without an entry keep\n * using the single default proxy. The result is a `Proxy` that returns the\n * override-bound function for named keys and falls back to the default proxy\n * for everything else — so the per-execution overhead scales with the number\n * of overrides, not the number of activities.\n *\n * Per-override merge is shallow: the override's properties replace the\n * default's, including the entire nested `retry` block. This matches\n * Temporal's \"one ActivityOptions per `proxyActivities` call\" semantics.\n */\nexport function buildRawActivitiesProxy(\n  workflowActivities: Record<string, ActivityDefinition> | undefined,\n  contractActivities: Record<string, ActivityDefinition> | undefined,\n  defaultOptions: ActivityOptions,\n  overrides: Partial<Record<string, ActivityOptions>> | undefined,\n): Record<string, ActivityFn> {\n  const defaultProxy = proxyActivities<Record<string, ActivityFn>>(defaultOptions);\n\n  // Fast path: no overrides → use the single default proxy directly.\n  // (`createValidatedActivities` accesses by name, so the Proxy's get-trap\n  // suffices; we don't need an enumerable map.)\n  const overrideEntries = overrides\n    ? Object.entries(overrides).filter(\n        (entry): entry is [string, ActivityOptions] => entry[1] !== undefined,\n      )\n    : [];\n  if (overrideEntries.length === 0) {\n    return defaultProxy;\n  }\n\n  // Validate every override key corresponds to a declared activity.\n  // Without this, a typo at runtime (or a stale options bag from a renamed\n  // activity) silently builds a proxy for a non-existent activity.\n  const declared = new Set<string>([\n    ...Object.keys(workflowActivities ?? {}),\n    ...Object.keys(contractActivities ?? {}),\n  ]);\n  for (const [name] of overrideEntries) {\n    if (!declared.has(name)) {\n      throw new Error(\n        `activityOptionsByName entry \"${name}\" does not match any declared activity. Available: ${[...declared].join(\", \") || \"none\"}.`,\n      );\n    }\n  }\n\n  // Override path: build one proxy per override; combine with the default\n  // proxy via a get-trap so unmatched keys still get the default options.\n  const overriddenFns: Record<string, ActivityFn> = {};\n  for (const [name, override] of overrideEntries) {\n    const mergedOptions: ActivityOptions = { ...defaultOptions, ...override };\n    const overrideProxy = proxyActivities<Record<string, ActivityFn>>(mergedOptions);\n    const fn = overrideProxy[name];\n    if (fn !== undefined) {\n      overriddenFns[name] = fn;\n    }\n  }\n\n  return new Proxy(overriddenFns, {\n    get(target, prop) {\n      if (typeof prop !== \"string\") return undefined;\n      return target[prop] ?? defaultProxy[prop];\n    },\n  });\n}\n\n/**\n * Continue-as-new options the typed wrapper does not own. `workflowType` and\n * `taskQueue` are derived from the contract; everything else is forwarded to\n * Temporal's `makeContinueAsNewFunc`.\n */\nexport type TypedContinueAsNewOptions = Omit<ContinueAsNewOptions, \"workflowType\" | \"taskQueue\">;\n\n/**\n * Build the typed `continueAsNew` function bound to the running workflow's\n * contract. Two overloads — same-workflow and cross-contract — share one\n * implementation; the public type signature lives on `WorkflowContext` so\n * call sites are type-safe.\n *\n * Validation runs *before* Temporal's `makeContinueAsNewFunc(...)` is invoked.\n * On failure, throws a `WorkflowInputValidationError` (matching the behaviour\n * of `declareWorkflow`'s incoming-input validation), which surfaces back to\n * Temporal as a workflow failure rather than silently proceeding with an\n * invalid run.\n *\n * Temporal's `continueAsNew` never returns — it throws a `ContinueAsNew`\n * exception that the runtime intercepts. The returned function preserves\n * `Promise<never>` to encode that.\n *\n * @internal\n */\nexport function createContinueAsNew(\n  currentContract: ContractDefinition,\n  currentWorkflowName: string | number | symbol,\n) {\n  return async function continueAsNew(\n    arg1: unknown,\n    arg2?: unknown,\n    arg3?: unknown,\n    arg4?: TypedContinueAsNewOptions,\n  ): Promise<never> {\n    // Cross-contract dispatch is only triggered when the call signature\n    // unambiguously matches `(contract, workflowName, args, options?)`:\n    //\n    // 1. `arg1` is a non-null object that *looks like* a contract — it has a\n    //    string `taskQueue` and a non-null `workflows` object.\n    // 2. `arg2` is a string — the destination workflow name.\n    // 3. `arg2` resolves to a workflow definition on `arg1.workflows` with a\n    //    Standard Schema `input.~standard.validate` function.\n    //\n    // Without (2)+(3), a same-workflow input that happens to have `taskQueue`\n    // and `workflows` keys (or `workflows = null`, where `typeof === \"object\"`)\n    // would be silently misclassified. The full triple of structural checks\n    // makes the false-positive surface vanishingly small.\n    const isCrossContract = looksLikeCrossContractCall(arg1, arg2);\n\n    let targetContract: ContractDefinition;\n    let targetName: string;\n    let rawArgs: unknown;\n    let options: TypedContinueAsNewOptions | undefined;\n\n    if (isCrossContract) {\n      targetContract = arg1 as ContractDefinition;\n      targetName = arg2 as string;\n      rawArgs = arg3;\n      options = arg4;\n    } else {\n      targetContract = currentContract;\n      targetName = String(currentWorkflowName);\n      rawArgs = arg1;\n      options = arg2 as TypedContinueAsNewOptions | undefined;\n    }\n\n    const targetDef = targetContract.workflows[targetName];\n    if (!targetDef) {\n      throw new WorkflowInputValidationError(targetName, [\n        {\n          message: `continueAsNew target workflow \"${targetName}\" is not declared on the supplied contract.`,\n        },\n      ]);\n    }\n\n    const inputResult = await targetDef.input[\"~standard\"].validate(rawArgs);\n    if (inputResult.issues) {\n      throw new WorkflowInputValidationError(targetName, inputResult.issues);\n    }\n\n    // workflowType/taskQueue come from the destination contract; user\n    // options are spread last so power users can override (e.g. retry,\n    // memo). The public TypedContinueAsNewOptions type Omits workflowType\n    // and taskQueue so this isn't a footgun on the typed call path.\n    const fn = makeContinueAsNewFunc({\n      workflowType: targetName,\n      taskQueue: targetContract.taskQueue,\n      ...options,\n    });\n\n    await fn(inputResult.value);\n    // Unreachable — Temporal's continueAsNew throws to terminate the run.\n    /* c8 ignore next */\n    return undefined as never;\n  };\n}\n\n/**\n * Structural check: does `(arg1, arg2)` look like the\n * `(contract, workflowName, ...)` cross-contract overload of `continueAsNew`?\n *\n * Returns `true` only when:\n *   1. `arg1` is a non-null object with a string `taskQueue` and a non-null\n *      object `workflows` (handles `workflows: null`, where\n *      `typeof null === \"object\"`).\n *   2. `arg2` is a string.\n *\n * Both halves matter. A same-workflow input that happens to contain\n * `taskQueue` and `workflows` keys would otherwise be misclassified — but\n * none of the same-workflow signatures (`continueAsNew(args)`,\n * `continueAsNew(args, options)`) accept a string as `arg2`, so the\n * second check makes the false-positive surface vanishingly small.\n *\n * We deliberately do *not* check that `arg1.workflows[arg2]` is a valid\n * workflow definition. If it isn't, the dispatcher falls through to the\n * `targetContract.workflows[targetName]` lookup which throws a clear\n * \"target workflow X is not declared\" error — better than silently\n * misrouting a typo back to the current workflow.\n */\nfunction looksLikeCrossContractCall(arg1: unknown, arg2: unknown): boolean {\n  if (typeof arg1 !== \"object\" || arg1 === null) return false;\n  if (typeof arg2 !== \"string\") return false;\n  const candidate = arg1 as Record<string, unknown>;\n  if (typeof candidate[\"taskQueue\"] !== \"string\") return false;\n  const workflows = candidate[\"workflows\"];\n  return typeof workflows === \"object\" && workflows !== null;\n}\n"],"mappings":";;;;;;;;;;AAqBA,MAAM,kBAAkB;;;;;AAMxB,SAAgB,YAAY,OAAuC;AACjE,KAAI,MAAM,SAAS,KAAA,KAAa,MAAM,KAAK,WAAW,EACpD,QAAO,MAAM;CAEf,IAAI,OAAO;AACX,MAAK,IAAI,IAAI,GAAG,IAAI,MAAM,KAAK,QAAQ,KAAK;EAC1C,MAAM,UAAU,MAAM,KAAK;EAC3B,MAAM,MACJ,YAAY,QAAQ,OAAO,YAAY,YAAY,SAAS,UAAU,QAAQ,MAAM;AACtF,MAAI,OAAO,QAAQ,SACjB,SAAQ,IAAI,IAAI;WACP,OAAO,QAAQ,YAAY,gBAAgB,KAAK,IAAI,CAC7D,SAAQ,MAAM,IAAI,MAAM,IAAI;WACnB,OAAO,QAAQ,SACxB,SAAQ,IAAI,KAAK,UAAU,IAAI,CAAC;MAEhC,SAAQ,IAAI,OAAO,IAAI,CAAC;;AAG5B,QAAO,MAAM,KAAK,IAAI,MAAM;;;;;;AAO9B,SAAgB,gBAAgB,QAAuD;AACrF,QAAO,OAAO,IAAI,YAAY,CAAC,KAAK,KAAK;;;;;;;AAQ3C,SAAgB,qCACd,cACA,WACA,QACQ;AACR,QAAO,mBAAmB,aAAa,IAAI,UAAU,sBAAsB,gBAAgB,OAAO;;;;;;;AC7DpG,IAAe,cAAf,cAAmC,MAAM;CACvC,YAAsB,SAAiB,OAAiB;AACtD,QAAM,SAAS,EAAE,OAAO,CAAC;AACzB,OAAK,OAAO;AAEZ,MAAI,MAAM,kBACR,OAAM,kBAAkB,MAAM,KAAK,YAAY;;;;;;AAQrD,IAAa,kCAAb,cAAqD,YAAY;CAC/D,YACE,cACA,uBAA0D,EAAE,EAC5D;EACA,MAAM,YAAY,qBAAqB,SAAS,IAAI,qBAAqB,KAAK,KAAK,GAAG;AACtF,QACE,uCAAuC,aAAa,2BAA2B,YAChF;AANe,OAAA,eAAA;AACA,OAAA,uBAAA;AAMhB,OAAK,OAAO;;;;;;AAOhB,IAAa,+BAAb,cAAkD,YAAY;CAC5D,YACE,cACA,QACA;EACA,MAAM,UAAU,gBAAgB,OAAO;AACvC,QAAM,aAAa,aAAa,6BAA6B,UAAU;AAJvD,OAAA,eAAA;AACA,OAAA,SAAA;AAIhB,OAAK,OAAO;;;;;;AAOhB,IAAa,gCAAb,cAAmD,YAAY;CAC7D,YACE,cACA,QACA;EACA,MAAM,UAAU,gBAAgB,OAAO;AACvC,QAAM,aAAa,aAAa,8BAA8B,UAAU;AAJxD,OAAA,eAAA;AACA,OAAA,SAAA;AAIhB,OAAK,OAAO;;;;;;AAOhB,IAAa,+BAAb,cAAkD,YAAY;CAC5D,YACE,cACA,QACA;EACA,MAAM,UAAU,gBAAgB,OAAO;AACvC,QAAM,aAAa,aAAa,6BAA6B,UAAU;AAJvD,OAAA,eAAA;AACA,OAAA,SAAA;AAIhB,OAAK,OAAO;;;;;;AAOhB,IAAa,gCAAb,cAAmD,YAAY;CAC7D,YACE,cACA,QACA;EACA,MAAM,UAAU,gBAAgB,OAAO;AACvC,QAAM,aAAa,aAAa,8BAA8B,UAAU;AAJxD,OAAA,eAAA;AACA,OAAA,SAAA;AAIhB,OAAK,OAAO;;;;;;AAOhB,IAAa,6BAAb,cAAgD,YAAY;CAC1D,YACE,YACA,QACA;EACA,MAAM,UAAU,gBAAgB,OAAO;AACvC,QAAM,WAAW,WAAW,6BAA6B,UAAU;AAJnD,OAAA,aAAA;AACA,OAAA,SAAA;AAIhB,OAAK,OAAO;;;;;;AAOhB,IAAa,4BAAb,cAA+C,YAAY;CACzD,YACE,WACA,QACA;EACA,MAAM,UAAU,gBAAgB,OAAO;AACvC,QAAM,UAAU,UAAU,6BAA6B,UAAU;AAJjD,OAAA,YAAA;AACA,OAAA,SAAA;AAIhB,OAAK,OAAO;;;;;;AAOhB,IAAa,6BAAb,cAAgD,YAAY;CAC1D,YACE,WACA,QACA;EACA,MAAM,UAAU,gBAAgB,OAAO;AACvC,QAAM,UAAU,UAAU,8BAA8B,UAAU;AAJlD,OAAA,YAAA;AACA,OAAA,SAAA;AAIhB,OAAK,OAAO;;;;;;AAOhB,IAAa,6BAAb,cAAgD,YAAY;CAC1D,YACE,YACA,QACA;EACA,MAAM,UAAU,gBAAgB,OAAO;AACvC,QAAM,WAAW,WAAW,6BAA6B,UAAU;AAJnD,OAAA,aAAA;AACA,OAAA,SAAA;AAIhB,OAAK,OAAO;;;;;;AAOhB,IAAa,8BAAb,cAAiD,YAAY;CAC3D,YACE,YACA,QACA;EACA,MAAM,UAAU,gBAAgB,OAAO;AACvC,QAAM,WAAW,WAAW,8BAA8B,UAAU;AAJpD,OAAA,aAAA;AACA,OAAA,SAAA;AAIhB,OAAK,OAAO;;;;;;AAOhB,IAAa,6BAAb,cAAgD,YAAY;CAC1D,YACE,cACA,qBAAwD,EAAE,EAC1D;EACA,MAAM,YAAY,mBAAmB,SAAS,IAAI,mBAAmB,KAAK,KAAK,GAAG;AAClF,QAAM,8BAA8B,aAAa,0BAA0B,YAAY;AAJvE,OAAA,eAAA;AACA,OAAA,qBAAA;AAIhB,OAAK,OAAO;;;;;;AAOhB,IAAa,qBAAb,cAAwC,YAAY;CAClD,YAAY,SAAiB,OAAiB;AAC5C,QAAM,SAAS,MAAM;AACrB,OAAK,OAAO;;;;;;;;;;;;AAahB,IAAa,yBAAb,cAA4C,YAAY;CACtD,YAAY,OAAiB;AAC3B,QAAM,6CAA6C,MAAM;AACzD,OAAK,OAAO;;;;;;;;;;;;;;;;;;;;;;;ACtKhB,SAAgB,oBAAoB,MAA0B;AAC5D,QAAO,KAAK,WAAW,IAAI,KAAK,KAAK;;;;;;;;;;;;;;;;;;;;;;AAyBvC,SAAgB,wBACd,oBACA,oBACA,gBACA,WAC4B;CAC5B,MAAM,eAAe,gBAA4C,eAAe;CAKhF,MAAM,kBAAkB,YACpB,OAAO,QAAQ,UAAU,CAAC,QACvB,UAA8C,MAAM,OAAO,KAAA,EAC7D,GACD,EAAE;AACN,KAAI,gBAAgB,WAAW,EAC7B,QAAO;CAMT,MAAM,WAAW,IAAI,IAAY,CAC/B,GAAG,OAAO,KAAK,sBAAsB,EAAE,CAAC,EACxC,GAAG,OAAO,KAAK,sBAAsB,EAAE,CAAC,CACzC,CAAC;AACF,MAAK,MAAM,CAAC,SAAS,gBACnB,KAAI,CAAC,SAAS,IAAI,KAAK,CACrB,OAAM,IAAI,MACR,gCAAgC,KAAK,qDAAqD,CAAC,GAAG,SAAS,CAAC,KAAK,KAAK,IAAI,OAAO,GAC9H;CAML,MAAM,gBAA4C,EAAE;AACpD,MAAK,MAAM,CAAC,MAAM,aAAa,iBAAiB;EAG9C,MAAM,KADgB,gBAA4C;GADzB,GAAG;GAAgB,GAAG;GACgB,CACvD,CAAC;AACzB,MAAI,OAAO,KAAA,EACT,eAAc,QAAQ;;AAI1B,QAAO,IAAI,MAAM,eAAe,EAC9B,IAAI,QAAQ,MAAM;AAChB,MAAI,OAAO,SAAS,SAAU,QAAO,KAAA;AACrC,SAAO,OAAO,SAAS,aAAa;IAEvC,CAAC;;;;;;;;;;;;;;;;;;;;AA4BJ,SAAgB,oBACd,iBACA,qBACA;AACA,QAAO,eAAe,cACpB,MACA,MACA,MACA,MACgB;EAchB,MAAM,kBAAkB,2BAA2B,MAAM,KAAK;EAE9D,IAAI;EACJ,IAAI;EACJ,IAAI;EACJ,IAAI;AAEJ,MAAI,iBAAiB;AACnB,oBAAiB;AACjB,gBAAa;AACb,aAAU;AACV,aAAU;SACL;AACL,oBAAiB;AACjB,gBAAa,OAAO,oBAAoB;AACxC,aAAU;AACV,aAAU;;EAGZ,MAAM,YAAY,eAAe,UAAU;AAC3C,MAAI,CAAC,UACH,OAAM,IAAI,6BAA6B,YAAY,CACjD,EACE,SAAS,kCAAkC,WAAW,8CACvD,CACF,CAAC;EAGJ,MAAM,cAAc,MAAM,UAAU,MAAM,aAAa,SAAS,QAAQ;AACxE,MAAI,YAAY,OACd,OAAM,IAAI,6BAA6B,YAAY,YAAY,OAAO;AAaxE,QANW,sBAAsB;GAC/B,cAAc;GACd,WAAW,eAAe;GAC1B,GAAG;GACJ,CAEO,CAAC,YAAY,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;AA6B/B,SAAS,2BAA2B,MAAe,MAAwB;AACzE,KAAI,OAAO,SAAS,YAAY,SAAS,KAAM,QAAO;AACtD,KAAI,OAAO,SAAS,SAAU,QAAO;CACrC,MAAM,YAAY;AAClB,KAAI,OAAO,UAAU,iBAAiB,SAAU,QAAO;CACvD,MAAM,YAAY,UAAU;AAC5B,QAAO,OAAO,cAAc,YAAY,cAAc"}

package/dist/{internal-Tj4m4f_K.cjs → internal-C8MB-kez.cjs}

@@ -195,13 +195,13 @@ var ChildWorkflowError = class extends WorkerError {
 	}
 };
 /**
-* Error returned in the `Result.Error` branch when a typed cancellation
-* scope is cancelled via Temporal's cancellation propagation. Returned by
-* both `context.cancellableScope` (when the workflow or an ancestor scope
-* cancels) and `context.nonCancellableScope` (when cancellation is raised
-* from inside the scope). Distinct from arbitrary thrown errors so call
-* sites can branch on cancellation explicitly while still surfacing
-* non-cancellation errors as Future rejections.
+* Error surfaced in the `err(...)` branch of a `ResultAsync` when a typed
+* cancellation scope is cancelled via Temporal's cancellation propagation.
+* Returned by both `context.cancellableScope` (when the workflow or an
+* ancestor scope cancels) and `context.nonCancellableScope` (when
+* cancellation is raised from inside the scope). Distinct from arbitrary
+* thrown errors so call sites can branch on cancellation explicitly while
+* still surfacing non-cancellation errors as ResultAsync rejections.
 */
 var WorkflowCancelledError = class extends WorkerError {
 	constructor(cause) {

package/dist/workflow.cjs

@@ -1,24 +1,24 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
-const require_internal = require("./internal-Tj4m4f_K.cjs");
+const require_internal = require("./internal-C8MB-kez.cjs");
 let _temporalio_workflow = require("@temporalio/workflow");
-let _temporal_contract_boxed = require("@temporal-contract/boxed");
+let neverthrow = require("neverthrow");
 //#region src/cancellation.ts
 /**
 * Typed wrappers around Temporal's `CancellationScope` so workflows can
 * opt into cancellation control without reaching for
 * `@temporalio/workflow` directly. The wrappers fold cancellation into
-* the same `Future<Result<...>>` shape used elsewhere in the worker
-* context — callers branch on `Result.Error(WorkflowCancelledError)`
-* instead of catching `CancelledFailure`.
+* the same `ResultAsync<...>` shape used elsewhere in the worker
+* context — callers branch on `err(WorkflowCancelledError)` instead of
+* catching `CancelledFailure`.
 *
 * Non-cancellation errors thrown inside the scope are *not* swallowed:
-* the Future rejects with the original error so user-domain failures
+* the ResultAsync rejects with the original error so user-domain failures
 * keep their identity.
 */
 /**
 * Run `fn` inside a cancellable Temporal scope. If the workflow (or an
 * ancestor scope) is cancelled while the function is in flight, the
-* resulting Future resolves to `Result.Error(WorkflowCancelledError)`,
+* resulting ResultAsync resolves to `err(WorkflowCancelledError)`,
 * letting callers handle cancellation explicitly — typically to perform
 * a graceful exit from the current step.
 *
@@ -28,24 +28,24 @@ let _temporal_contract_boxed = require("@temporal-contract/boxed");
 *   return await context.activities.processStep(...);
 * });
 *
-* result.match({
-*   Ok: (output) => { ... },
-*   Error: (err) => {
-*     // err instanceof WorkflowCancelledError — graceful exit
+* result.match(
+*   (output) => { ... },
+*   (cancelled) => {
+*     // cancelled instanceof WorkflowCancelledError — graceful exit
 *   },
-* });
+* );
 * ```
 */
 function cancellableScope(fn) {
-	return _temporal_contract_boxed.Future.fromAsync(async () => {
+	const work = async () => {
 		try {
-			const value = await _temporalio_workflow.CancellationScope.cancellable(async () => fn());
-			return _temporal_contract_boxed.Result.Ok(value);
+			return (0, neverthrow.ok)(await _temporalio_workflow.CancellationScope.cancellable(async () => fn()));
 		} catch (error) {
-			if ((0, _temporalio_workflow.isCancellation)(error)) return _temporal_contract_boxed.Result.Error(new require_internal.WorkflowCancelledError(error));
+			if ((0, _temporalio_workflow.isCancellation)(error)) return (0, neverthrow.err)(new require_internal.WorkflowCancelledError(error));
 			throw error;
 		}
-	});
+	};
+	return new neverthrow.ResultAsync(work());
 }
 /**
 * Run `fn` inside a non-cancellable Temporal scope. Cancellation requests
@@ -53,9 +53,9 @@ function cancellableScope(fn) {
 * to perform cleanup that must not be interrupted (e.g. releasing a
 * resource after a graceful shutdown).
 *
-* Mirrors `cancellableScope`'s `Future<Result<...>>` shape for symmetry;
-* the `Result.Error` branch only triggers when cancellation is raised
-* from inside the scope (rare).
+* Mirrors `cancellableScope`'s `ResultAsync<...>` shape for symmetry;
+* the `err(...)` branch only triggers when cancellation is raised from
+* inside the scope (rare).
 *
 * @example
 * ```ts
@@ -65,15 +65,15 @@ function cancellableScope(fn) {
 * ```
 */
 function nonCancellableScope(fn) {
-	return _temporal_contract_boxed.Future.fromAsync(async () => {
+	const work = async () => {
 		try {
-			const value = await _temporalio_workflow.CancellationScope.nonCancellable(async () => fn());
-			return _temporal_contract_boxed.Result.Ok(value);
+			return (0, neverthrow.ok)(await _temporalio_workflow.CancellationScope.nonCancellable(async () => fn()));
 		} catch (error) {
-			if ((0, _temporalio_workflow.isCancellation)(error)) return _temporal_contract_boxed.Result.Error(new require_internal.WorkflowCancelledError(error));
+			if ((0, _temporalio_workflow.isCancellation)(error)) return (0, neverthrow.err)(new require_internal.WorkflowCancelledError(error));
 			throw error;
 		}
-	});
+	};
+	return new neverthrow.ResultAsync(work());
 }
 //#endregion
 //#region src/handlers.ts
@@ -271,16 +271,16 @@ function createValidatedActivities(rawActivities, workflowActivitiesDefinition,
 }
 async function validateChildWorkflowOutput(childDefinition, result, childWorkflowName) {
 	const outputResult = await childDefinition.output["~standard"].validate(result);
-	if (outputResult.issues) return _temporal_contract_boxed.Result.Error(new require_internal.ChildWorkflowError(require_internal.formatChildWorkflowValidationMessage(childWorkflowName, "output", outputResult.issues)));
-	return _temporal_contract_boxed.Result.Ok(outputResult.value);
+	if (outputResult.issues) return (0, neverthrow.err)(new require_internal.ChildWorkflowError(require_internal.formatChildWorkflowValidationMessage(childWorkflowName, "output", outputResult.issues)));
+	return (0, neverthrow.ok)(outputResult.value);
 }
 async function getAndValidateChildWorkflow(childContract, childWorkflowName, args) {
 	const childDefinition = childContract.workflows[childWorkflowName];
-	if (!childDefinition) return _temporal_contract_boxed.Result.Error(new require_internal.ChildWorkflowNotFoundError(String(childWorkflowName), Object.keys(childContract.workflows)));
+	if (!childDefinition) return (0, neverthrow.err)(new require_internal.ChildWorkflowNotFoundError(String(childWorkflowName), Object.keys(childContract.workflows)));
 	const inputResult = await childDefinition.input["~standard"].validate(args);
-	if (inputResult.issues) return _temporal_contract_boxed.Result.Error(new require_internal.ChildWorkflowError(require_internal.formatChildWorkflowValidationMessage(String(childWorkflowName), "input", inputResult.issues)));
+	if (inputResult.issues) return (0, neverthrow.err)(new require_internal.ChildWorkflowError(require_internal.formatChildWorkflowValidationMessage(String(childWorkflowName), "input", inputResult.issues)));
 	const validatedInput = inputResult.value;
-	return _temporal_contract_boxed.Result.Ok({
+	return (0, neverthrow.ok)({
 		definition: childDefinition,
 		validatedInput,
 		taskQueue: childContract.taskQueue
@@ -290,38 +290,39 @@ function createTypedChildHandle(handle, childDefinition, childWorkflowName) {
 	return {
 		workflowId: handle.workflowId,
 		result: () => {
-			return _temporal_contract_boxed.Future.fromAsync(async () => {
+			const work = async () => {
 				try {
 					return validateChildWorkflowOutput(childDefinition, await handle.result(), childWorkflowName);
 				} catch (error) {
-					return _temporal_contract_boxed.Result.Error(new require_internal.ChildWorkflowError(`Child workflow execution failed: ${error instanceof Error ? error.message : String(error)}`, error));
+					return (0, neverthrow.err)(new require_internal.ChildWorkflowError(`Child workflow execution failed: ${error instanceof Error ? error.message : String(error)}`, error));
 				}
-			});
+			};
+			return new neverthrow.ResultAsync(work());
 		}
 	};
 }
 function createStartChildWorkflow(childContract, childWorkflowName, options) {
-	return _temporal_contract_boxed.Future.fromAsync(async () => {
+	const work = async () => {
 		const validationResult = await getAndValidateChildWorkflow(childContract, childWorkflowName, options.args);
-		if (validationResult.isError()) return _temporal_contract_boxed.Result.Error(validationResult.error);
+		if (validationResult.isErr()) return (0, neverthrow.err)(validationResult.error);
 		const { definition: childDefinition, validatedInput, taskQueue } = validationResult.value;
 		try {
 			const { args: _args, ...temporalOptions } = options;
-			const typedHandle = createTypedChildHandle(await (0, _temporalio_workflow.startChild)(childWorkflowName, {
+			return (0, neverthrow.ok)(createTypedChildHandle(await (0, _temporalio_workflow.startChild)(childWorkflowName, {
 				...temporalOptions,
 				taskQueue,
 				args: [validatedInput]
-			}), childDefinition, String(childWorkflowName));
-			return _temporal_contract_boxed.Result.Ok(typedHandle);
+			}), childDefinition, String(childWorkflowName)));
 		} catch (error) {
-			return _temporal_contract_boxed.Result.Error(new require_internal.ChildWorkflowError(`Failed to start child workflow: ${error instanceof Error ? error.message : String(error)}`, error));
+			return (0, neverthrow.err)(new require_internal.ChildWorkflowError(`Failed to start child workflow: ${error instanceof Error ? error.message : String(error)}`, error));
 		}
-	});
+	};
+	return new neverthrow.ResultAsync(work());
 }
 function createExecuteChildWorkflow(childContract, childWorkflowName, options) {
-	return _temporal_contract_boxed.Future.fromAsync(async () => {
+	const work = async () => {
 		const validationResult = await getAndValidateChildWorkflow(childContract, childWorkflowName, options.args);
-		if (validationResult.isError()) return _temporal_contract_boxed.Result.Error(validationResult.error);
+		if (validationResult.isErr()) return (0, neverthrow.err)(validationResult.error);
 		const { definition: childDefinition, validatedInput, taskQueue } = validationResult.value;
 		try {
 			const { args: _args, ...temporalOptions } = options;
@@ -330,12 +331,13 @@ function createExecuteChildWorkflow(childContract, childWorkflowName, options) {
 				taskQueue,
 				args: [validatedInput]
 			}), String(childWorkflowName));
-			if (outputValidationResult.isError()) return _temporal_contract_boxed.Result.Error(outputValidationResult.error);
-			return _temporal_contract_boxed.Result.Ok(outputValidationResult.value);
+			if (outputValidationResult.isErr()) return (0, neverthrow.err)(outputValidationResult.error);
+			return (0, neverthrow.ok)(outputValidationResult.value);
 		} catch (error) {
-			return _temporal_contract_boxed.Result.Error(new require_internal.ChildWorkflowError(`Failed to execute child workflow: ${error instanceof Error ? error.message : String(error)}`, error));
+			return (0, neverthrow.err)(new require_internal.ChildWorkflowError(`Failed to execute child workflow: ${error instanceof Error ? error.message : String(error)}`, error));
 		}
-	});
+	};
+	return new neverthrow.ResultAsync(work());
 }
 //#endregion
 exports.ActivityInputValidationError = require_internal.ActivityInputValidationError;

package/dist/workflow.d.cts

@@ -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-CG1y7SHO.cjs";
+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-BeIXtRJe.cjs";
 import { ActivityDefinition, ContractDefinition, QueryDefinition, SignalDefinition, UpdateDefinition, WorkflowDefinition } 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
@@ -247,7 +247,7 @@ 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;
   /**
-   * 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 +267,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"]>(contract: TChildContract, workflowName: TChildWorkflowName, options: TypedChildWorkflowOptions<TChildContract, TChildWorkflowName>) => ResultAsync<TypedChildWorkflowHandle<TChildContract["workflows"][TChildWorkflowName]>, ChildWorkflowError>;
   /**
-   * 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 +298,23 @@ 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"]>(contract: TChildContract, workflowName: TChildWorkflowName, options: TypedChildWorkflowOptions<TChildContract, TChildWorkflowName>) => ResultAsync<ClientInferOutput<TChildContract["workflows"][TChildWorkflowName]>, ChildWorkflowError>;
   /**
    * 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` propagate as ResultAsync
+   * rejections unchanged, preserving their identity for upstream
+   * `try/catch` blocks.
    *
    * @example
    * ```ts
@@ -322,7 +323,7 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    *     return context.activities.processStep(args);
    *   });
    *
-   *   if (result.isError()) {
+   *   if (result.isErr()) {
    *     // workflow was cancelled — perform cleanup that must not be cancelled:
    *     await context.nonCancellableScope(async () => {
    *       await context.activities.releaseResources(args);
@@ -334,18 +335,18 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    * }
    * ```
    */
-  cancellableScope: <T>(fn: () => T | Promise<T>) => Future<Result<T, WorkflowCancelledError>>;
+  cancellableScope: <T>(fn: () => T | Promise<T>) => ResultAsync<T, WorkflowCancelledError>;
   /**
    * 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
-   * {@link WorkflowContext.cancellableScope} for symmetry; the
-   * `Result.Error` branch only triggers when cancellation is raised from
-   * *inside* the scope, which is rare.
+   * Returns the same `ResultAsync<...>` shape as
+   * {@link WorkflowContext.cancellableScope} for symmetry; the `err(...)`
+   * branch only triggers when cancellation is raised from *inside* the
+   * scope, which is rare.
    */
-  nonCancellableScope: <T>(fn: () => T | Promise<T>) => Future<Result<T, WorkflowCancelledError>>;
+  nonCancellableScope: <T>(fn: () => T | Promise<T>) => ResultAsync<T, WorkflowCancelledError>;
   /**
    * Continue this workflow execution as a new run, optionally with a different
    * workflow type from another contract.
@@ -385,13 +386,13 @@ type TypedChildWorkflowOptions<TChildContract extends ContractDefinition, TChild
   args: ClientInferInput<TChildContract["workflows"][TChildWorkflowName]>;
 };
 /**
- * Typed handle for a child workflow with Future/Result pattern
+ * Typed handle for a child workflow with neverthrow ResultAsync pattern
  */
 type TypedChildWorkflowHandle<TWorkflow extends WorkflowDefinition> = {
   /**
    * Get child workflow result with Result pattern
    */
-  result: () => Future<Result<ClientInferOutput<TWorkflow>, ChildWorkflowError>>;
+  result: () => ResultAsync<ClientInferOutput<TWorkflow>, ChildWorkflowError>;
   /**
    * Child workflow ID
    */

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/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,WAAA,CACH,wBAAA,CAAyB,cAAA,cAA4B,kBAAA,IACrD,kBAAA;EAlG8D;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgIhE,oBAAA,0BACyB,kBAAA,mCACU,cAAA,eAEjC,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;EA9CiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA+EnC,gBAAA,MAAsB,EAAA,QAAU,CAAA,GAAI,OAAA,CAAQ,CAAA,MAAO,WAAA,CAAY,CAAA,EAAG,sBAAA;EAY3B;;;;;;;;;;EAAvC,mBAAA,MAAyB,EAAA,QAAU,CAAA,GAAI,OAAA,CAAQ,CAAA,MAAO,WAAA,CAAY,CAAA,EAAG,sBAAA;EAwCvD;;;;;;;;;;;;;;;;;;;;;;;;;;;EAXd,aAAA;IAnNqD,8EAsNjD,IAAA,EAAM,gBAAA,CAAiB,SAAA,cAAuB,aAAA,IAC9C,OAAA,GAAU,yBAAA,GACT,OAAA,SAvNG;IAAA,wBA0NmB,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;EAzNkB;;;EA6NhE,MAAA,QAAc,WAAA,CAAY,iBAAA,CAAkB,SAAA,GAAY,kBAAA;EA9NtD;;;EAmOF,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"}

package/dist/workflow.d.mts

@@ -1,6 +1,6 @@
-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 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-BjNG_jUi.mjs";
 import { ActivityOptions, ChildWorkflowOptions, ContinueAsNewOptions, WorkflowInfo } from "@temporalio/workflow";
-import { Future, Result } from "@temporal-contract/boxed";
+import { ResultAsync } from "neverthrow";
 import { ActivityDefinition, ContractDefinition, QueryDefinition, SignalDefinition, UpdateDefinition, WorkflowDefinition } from "@temporal-contract/contract";
 import { StandardSchemaV1 } from "@standard-schema/spec";
 
@@ -247,7 +247,7 @@ 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;
   /**
-   * 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 +267,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"]>(contract: TChildContract, workflowName: TChildWorkflowName, options: TypedChildWorkflowOptions<TChildContract, TChildWorkflowName>) => ResultAsync<TypedChildWorkflowHandle<TChildContract["workflows"][TChildWorkflowName]>, ChildWorkflowError>;
   /**
-   * 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 +298,23 @@ 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"]>(contract: TChildContract, workflowName: TChildWorkflowName, options: TypedChildWorkflowOptions<TChildContract, TChildWorkflowName>) => ResultAsync<ClientInferOutput<TChildContract["workflows"][TChildWorkflowName]>, ChildWorkflowError>;
   /**
    * 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` propagate as ResultAsync
+   * rejections unchanged, preserving their identity for upstream
+   * `try/catch` blocks.
    *
    * @example
    * ```ts
@@ -322,7 +323,7 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    *     return context.activities.processStep(args);
    *   });
    *
-   *   if (result.isError()) {
+   *   if (result.isErr()) {
    *     // workflow was cancelled — perform cleanup that must not be cancelled:
    *     await context.nonCancellableScope(async () => {
    *       await context.activities.releaseResources(args);
@@ -334,18 +335,18 @@ type WorkflowContext<TContract extends ContractDefinition, TWorkflowName extends
    * }
    * ```
    */
-  cancellableScope: <T>(fn: () => T | Promise<T>) => Future<Result<T, WorkflowCancelledError>>;
+  cancellableScope: <T>(fn: () => T | Promise<T>) => ResultAsync<T, WorkflowCancelledError>;
   /**
    * 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
-   * {@link WorkflowContext.cancellableScope} for symmetry; the
-   * `Result.Error` branch only triggers when cancellation is raised from
-   * *inside* the scope, which is rare.
+   * Returns the same `ResultAsync<...>` shape as
+   * {@link WorkflowContext.cancellableScope} for symmetry; the `err(...)`
+   * branch only triggers when cancellation is raised from *inside* the
+   * scope, which is rare.
    */
-  nonCancellableScope: <T>(fn: () => T | Promise<T>) => Future<Result<T, WorkflowCancelledError>>;
+  nonCancellableScope: <T>(fn: () => T | Promise<T>) => ResultAsync<T, WorkflowCancelledError>;
   /**
    * Continue this workflow execution as a new run, optionally with a different
    * workflow type from another contract.
@@ -385,13 +386,13 @@ type TypedChildWorkflowOptions<TChildContract extends ContractDefinition, TChild
   args: ClientInferInput<TChildContract["workflows"][TChildWorkflowName]>;
 };
 /**
- * Typed handle for a child workflow with Future/Result pattern
+ * Typed handle for a child workflow with neverthrow ResultAsync pattern
  */
 type TypedChildWorkflowHandle<TWorkflow extends WorkflowDefinition> = {
   /**
    * Get child workflow result with Result pattern
    */
-  result: () => Future<Result<ClientInferOutput<TWorkflow>, ChildWorkflowError>>;
+  result: () => ResultAsync<ClientInferOutput<TWorkflow>, ChildWorkflowError>;
   /**
    * Child workflow ID
    */

package/dist/workflow.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"workflow.d.mts","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.mts","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,WAAA,CACH,wBAAA,CAAyB,cAAA,cAA4B,kBAAA,IACrD,kBAAA;EAlG8D;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgIhE,oBAAA,0BACyB,kBAAA,mCACU,cAAA,eAEjC,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;EA9CiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA+EnC,gBAAA,MAAsB,EAAA,QAAU,CAAA,GAAI,OAAA,CAAQ,CAAA,MAAO,WAAA,CAAY,CAAA,EAAG,sBAAA;EAY3B;;;;;;;;;;EAAvC,mBAAA,MAAyB,EAAA,QAAU,CAAA,GAAI,OAAA,CAAQ,CAAA,MAAO,WAAA,CAAY,CAAA,EAAG,sBAAA;EAwCvD;;;;;;;;;;;;;;;;;;;;;;;;;;;EAXd,aAAA;IAnNqD,8EAsNjD,IAAA,EAAM,gBAAA,CAAiB,SAAA,cAAuB,aAAA,IAC9C,OAAA,GAAU,yBAAA,GACT,OAAA,SAvNG;IAAA,wBA0NmB,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;EAzNkB;;;EA6NhE,MAAA,QAAc,WAAA,CAAY,iBAAA,CAAkB,SAAA,GAAY,kBAAA;EA9NtD;;;EAmOF,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"}