@workflow/core 5.0.0-beta.41 → 5.0.0-beta.43

package/dist/runtime/step-executor.d.ts

@@ -1,7 +1,8 @@
-import type { Event, SerializedData, World } from '@workflow/world';
+import type { Event, SerializedData, StartedStep, World } from '@workflow/world';
 import type { PayloadKey } from '../serialization/encryption.js';
-import { type PreconditionSnapshotParams } from './helpers.js';
+import { type SlotSnapshotParams } from './helpers.js';
 import { ReplayRecoveryReporter } from './replay-recovery-reporter.js';
+import { type ResumeTtrTracking } from './resume-latency.js';
 import { type StepLatencyTracking } from './step-latency.js';
 export declare const DEFAULT_STEP_MAX_RETRIES = 3;
 export interface StepExecutorParams {
@@ -11,6 +12,8 @@ export interface StepExecutorParams {
     workflowDeploymentId?: string;
     workflowName: string;
     workflowStartedAt: number;
+    /** Request ID of the invocation executing this step, when provided by its queue. */
+    requestId?: string;
     /** Root run id of this run's lineage, carried into the step context. */
     rootRunId?: string;
     stepId: string;
@@ -34,6 +37,17 @@ export interface StepExecutorParams {
      * carries no payload (the legacy contract).
      */
     lazyStepInput?: SerializedData;
+    /**
+     * Pre-claimed inline start: the suspension handler committed (or lost) this
+     * step's `step_created` + `step_started` pair inside its batched fan-out
+     * write, so the start this executor would otherwise send has already been
+     * decided. `owned: false` returns `{ type: 'skipped' }` before any write —
+     * the same outcome as losing the lazy claim's atomic create. `owned: true`
+     * skips both start paths (no start write at all) and runs the body against
+     * the claimed step. Mutually exclusive with `lazyStepInput`: the input
+     * already rode the pair's `step_created`, and the claimed step carries it.
+     */
+    preclaimedStart?: PreclaimedInlineStart;
     /**
      * Inline step ownership: the queue message ID of the invocation this
      * executeStep call runs in (from the queue handler's meta). When set, the
@@ -59,20 +73,25 @@ export interface StepExecutorParams {
      */
     inlineDeltaSinceCursor?: string;
     /**
-     * Precondition-guard snapshot of the event log the caller's replay loaded, to
-     * attach to this step's `step_started` claim. On the lazy inline path the
-     * claim is the step's FIRST durable write (its `step_created` is deferred),
-     * so without this the claim would bypass the optimistic-concurrency guard
-     * entirely: a replay working from a stale view could claim — and then commit
-     * — a step scheduled without observing an event it never loaded. A
-     * guard-enforcing World rejects a stale claim with `PreconditionFailedError`
+     * How much of the run's log the caller's replay had loaded when it scheduled
+     * this step, as the highest slot that log occupies. Seeds the snapshot every
+     * write this executor makes carries; each committed event advances it to its
+     * own slot, so a later write never names a position that predates an earlier
+     * one from the same step.
+     *
+     * It matters most on the lazy inline path, where the `step_started` claim is
+     * the step's FIRST durable write (its `step_created` is deferred): without a
+     * seed the claim would name no position at all, and a replay working from a
+     * stale view could claim — and then commit — a step scheduled without
+     * observing an event it never loaded.
+     *
+     * A World that fences rejects a stale claim with `PreconditionFailedError`
      * (412); executeStep does NOT translate that rejection (re-claiming in place
      * would still commit the stale schedule), so it propagates for the caller to
-     * abandon the batch and restart its replay. Undefined when the guard is
-     * disabled or the caller has no snapshot; Worlds that don't enforce the guard
-     * ignore it.
+     * abandon the batch and restart its replay. Undefined for a caller with
+     * nothing loaded.
      */
-    preconditionSnapshot?: PreconditionSnapshotParams;
+    slotSnapshot?: SlotSnapshotParams;
     /**
      * Suppress optimistic inline start for this step regardless of
      * `WORKFLOW_OPTIMISTIC_INLINE_START` / `forceOptimisticStart`: take the
@@ -111,6 +130,15 @@ export interface StepExecutorParams {
      * runtime/step-latency.ts.
      */
     latencyTracking?: StepLatencyTracking;
+    /**
+     * Hook-resume TTR telemetry: the boundaries of a hook resumption whose next
+     * durable step is the one this call is about to execute. When set, the
+     * executor closes the measurement against the `step_started` claim and the
+     * wall clock taken immediately before user code, and attaches the total plus
+     * its phase breakdown to this step's `step.execute` span. Set by the runtime
+     * for exactly one step per resumption — see runtime/resume-latency.ts.
+     */
+    resumeTracking?: ResumeTtrTracking;
     /**
      * Authoritative attempt number for this execution, used to bound retries
      * against `maxRetries` BEFORE the body runs. In order to also catch
@@ -125,6 +153,41 @@ export interface StepExecutorParams {
     /** One-shot recovery telemetry activated by the orchestrator replay. */
     replayRecoveryReporter?: ReplayRecoveryReporter;
 }
+/**
+ * The settled outcome of a `step_created` + `step_started` pair the
+ * suspension handler folded into its batched fan-out write (see
+ * `SuspensionHandlerResult.inlineClaims`). Handed to executeStep as
+ * {@link StepExecutorParams.preclaimedStart} so the executor runs (or skips)
+ * the body off the batch's verdict instead of sending a start of its own.
+ */
+export type PreclaimedInlineStart = {
+    /** The pair committed: this execution owns the step and runs the body. */
+    owned: true;
+    /**
+     * The started step entity from the batch result, with the locally
+     * dehydrated input attached by the suspension handler (batch responses
+     * return refs lazily; the body's hydration wants the same bytes the
+     * pair's `step_created` carried).
+     */
+    step: StartedStep;
+    /**
+     * `Date.now()` taken right before the batch POST that carried the pair
+     * — the claim's "start POST sent" instant, anchoring RSFS exactly like
+     * the lazy claim's own POST would.
+     */
+    batchPostSentAtMs?: number;
+    /**
+     * `Date.now()` taken right after that batch POST returned — the
+     * claim's completion instant (T6 of the hook-resume TTR window).
+     */
+    claimCompletedAtMs?: number;
+} | {
+    /**
+     * The pair lost its atomic create-claim (per-event 409): a concurrent
+     * writer owns the step, so the body must not run here.
+     */
+    owned: false;
+};
 /**
  * Inline-delta returned by a step-terminal write when the caller passed
  * {@link StepExecutorParams.inlineDeltaSinceCursor} and the World supports

package/dist/runtime/step-executor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"step-executor.d.ts","sourceRoot":"","sources":["../../src/runtime/step-executor.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAGV,KAAK,EAEL,cAAc,EAEd,KAAK,EACN,MAAM,iBAAiB,CAAC;AAOzB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAuBjE,OAAO,EAEL,KAAK,0BAA0B,EAChC,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAGL,KAAK,mBAAmB,EACzB,MAAM,mBAAmB,CAAC;AAG3B,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAuB1C,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,KAAK,CAAC;IACb,aAAa,EAAE,MAAM,CAAC;IACtB,6EAA6E;IAC7E,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,wEAAwE;IACxE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,CAAC,EAAE,UAAU,CAAC;IAC3B;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;;;;;;;OAUG;IACH,aAAa,CAAC,EAAE,cAAc,CAAC;IAC/B;;;;;;;;;;;;OAYG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;;;;;OAQG;IACH,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC;;;;;;;;;;;;;OAaG;IACH,oBAAoB,CAAC,EAAE,0BAA0B,CAAC;IAClD;;;;;;;;;;OAUG;IACH,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC;;;;;;OAMG;IACH,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B;;;;;;;OAOG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACnC;;;;;;;OAOG;IACH,eAAe,CAAC,EAAE,mBAAmB,CAAC;IACtC;;;;;;;;;OASG;IACH,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,wEAAwE;IACxE,sBAAsB,CAAC,EAAE,sBAAsB,CAAC;CACjD;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,mBAAmB,GAC3B;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,WAAW,CAAC,EAAE,gBAAgB,CAAC;CAChC,GACD;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GACzC;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CAAC;AAElD;;;;;;GAMG;AACH,wBAAsB,WAAW,CAC/B,MAAM,EAAE,kBAAkB,GACzB,OAAO,CAAC,mBAAmB,CAAC,CA8jC9B"}
+{"version":3,"file":"step-executor.d.ts","sourceRoot":"","sources":["../../src/runtime/step-executor.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAGV,KAAK,EAEL,cAAc,EACd,WAAW,EACX,KAAK,EACN,MAAM,iBAAiB,CAAC;AAQzB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAuBjE,OAAO,EAGL,KAAK,kBAAkB,EACxB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAEL,KAAK,iBAAiB,EACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAGL,KAAK,mBAAmB,EACzB,MAAM,mBAAmB,CAAC;AAG3B,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAuB1C,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,KAAK,CAAC;IACb,aAAa,EAAE,MAAM,CAAC;IACtB,6EAA6E;IAC7E,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,oFAAoF;IACpF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,wEAAwE;IACxE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,CAAC,EAAE,UAAU,CAAC;IAC3B;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;;;;;;;OAUG;IACH,aAAa,CAAC,EAAE,cAAc,CAAC;IAC/B;;;;;;;;;OASG;IACH,eAAe,CAAC,EAAE,qBAAqB,CAAC;IACxC;;;;;;;;;;;;OAYG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;;;;;OAQG;IACH,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC;;;;;;;;;;;;;;;;;;OAkBG;IACH,YAAY,CAAC,EAAE,kBAAkB,CAAC;IAClC;;;;;;;;;;OAUG;IACH,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC;;;;;;OAMG;IACH,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B;;;;;;;OAOG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACnC;;;;;;;OAOG;IACH,eAAe,CAAC,EAAE,mBAAmB,CAAC;IACtC;;;;;;;OAOG;IACH,cAAc,CAAC,EAAE,iBAAiB,CAAC;IACnC;;;;;;;;;OASG;IACH,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,wEAAwE;IACxE,sBAAsB,CAAC,EAAE,sBAAsB,CAAC;CACjD;AAED;;;;;;GAMG;AACH,MAAM,MAAM,qBAAqB,GAC7B;IACE,0EAA0E;IAC1E,KAAK,EAAE,IAAI,CAAC;IACZ;;;;;OAKG;IACH,IAAI,EAAE,WAAW,CAAC;IAClB;;;;OAIG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B;;;OAGG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B,GACD;IACE;;;OAGG;IACH,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEN;;;;;;;;GAQG;AACH,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,mBAAmB,GAC3B;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,WAAW,CAAC,EAAE,gBAAgB,CAAC;CAChC,GACD;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GACzC;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CAAC;AAElD;;;;;;GAMG;AACH,wBAAsB,WAAW,CAC/B,MAAM,EAAE,kBAAkB,GACzB,OAAO,CAAC,mBAAmB,CAAC,CAytC9B"}