@voltro/workflow 0.85.0 → 0.86.0

package/dist/index.d.ts

@@ -10,6 +10,7 @@ import { FieldBinding } from '@voltro/database';
 import { FieldCipher } from '@voltro/database';
 import { FieldDefinitions } from '@voltro/database';
 import { Layer } from 'effect';
+import { Predicate } from '@voltro/database';
 import { QueryDescriptor } from '@voltro/database';
 import { RateLimiter } from 'effect/persistence';
 import { Row } from '@voltro/database';
@@ -21,6 +22,7 @@ import { Table } from '@voltro/database';
 import { TableLike } from '@voltro/database';
 import { WorkflowAccessOptions } from '@voltro/protocol';
 import { WorkflowEngine } from 'effect/workflow';
+import { WorkflowInstance } from 'effect/workflow/WorkflowEngine';
 import { Workflow as workflowModule } from 'effect/workflow';
 import { WorkflowParentClosePolicy } from '@voltro/protocol';
 import { WorkflowQueuedCancellationResult } from '@voltro/protocol';
@@ -94,8 +96,8 @@ export declare type AdmissionDecision = {
     readonly deadlineAt?: number;
     /** `'replace'` — one pending row per key, newest payload wins (debounce).
      *  `'append'`  — one row per item, they accumulate (batch).
-     *  `'hold'`    — the row already exists and only its `dueAt` moves
-     *                (throttle / concurrency / paused re-checks). */
+     *  `'hold'`    — retain the existing row; persist only a changed future
+     *                deadline (throttle / concurrency / paused re-checks). */
     readonly collapse: 'replace' | 'append' | 'hold';
     readonly keys: AdmissionKeys;
 } | {
@@ -218,6 +220,11 @@ export declare interface AdmissionKeys {
     readonly priority: number;
 }
 
+/** Unknown acceptance cannot expire into proof of spare capacity. Only an
+ * acknowledged execution uses the ordinary crash backstop. Share this rule
+ * between admission decisions and read-only capacity observations. */
+export declare const admissionLeaseHeldPredicate: (now: number) => Predicate;
+
 export declare const ADMISSIONS_TABLE = "_voltro_workflow_admissions";
 
 /** What the store observed for these keys. Every field optional: the store only
@@ -255,6 +262,31 @@ export declare interface AdmissionState {
  * or a batch that has accumulated additional items. */
 export declare type AdmissionSubmission = typeof SubmissionSchema.Type;
 
+export declare type AdmissionSubmissionRetryInspection = {
+    readonly kind: 'eligible';
+    readonly submissionId: string;
+    readonly expected: AdmissionSubmissionRetryToken;
+} | {
+    readonly kind: 'refused';
+    readonly submissionId: string;
+    readonly reason: AdmissionSubmissionRetryRefusal;
+};
+
+export declare type AdmissionSubmissionRetryRefusal = 'missing-submission' | 'incomplete-transfer' | 'accepted' | 'rejected' | 'prepared-execution' | 'dispatch-attempted' | 'not-stopped' | 'changed-retry' | 'missing-lease' | 'foreign-lease' | 'released-lease' | 'bound-lease';
+
+export declare type AdmissionSubmissionRetryResult = {
+    readonly kind: 'retried' | 'already-retried';
+    readonly submissionId: string;
+    readonly expected: AdmissionSubmissionRetryToken;
+} | Extract<AdmissionSubmissionRetryInspection, {
+    kind: 'refused';
+}>;
+
+export declare interface AdmissionSubmissionRetryToken {
+    readonly attempts: number;
+    readonly stoppedAt: number;
+}
+
 /** What the caller learns about a start that went through flow control. */
 export declare type AdmissionVerdict = {
     /** Start it now. The ledger row is already written; call `linkExecution`
@@ -555,6 +587,9 @@ export declare interface AwaitUpdateOptions<A, B = A> {
 
 /** Persist BEFORE calling the engine. Failed acknowledgements and process
  * death must leave evidence that an earlier call could have been accepted.
+ * The first dispatch starts the original finite lease interval: time spent
+ * waiting before engine I/O must not consume the running crash backstop.
+ * Later attempts retain that first deadline, including after a lost ACK.
  * Return null when this source is no longer dispatchable. Database-only;
  * the returned attempt number fences a later permanent-rejection decision. */
 export declare const beginAdmissionSubmissionDispatchInTransaction: (tx: Pick<DataStore, "query" | "update">, id: string, now: number) => Promise<AdmissionSubmission | null>;
@@ -1825,6 +1860,8 @@ export declare interface InMemoryRecorder {
 /** `rateLimit()` counts on the `RateLimiter` service; in memory it is per process. */
 export declare const inMemoryWorkflowEngineLayer: Layer.Layer<WorkflowEngine.WorkflowEngine | RateLimiter.RateLimiter>;
 
+export declare const inspectAdmissionSubmissionRetry: (tx: Pick<DataStore, "query">, id: string) => Promise<AdmissionSubmissionRetryInspection>;
+
 export declare interface InspectedStep {
     readonly name: string;
     /** The attempt number of THIS row (1 on first try, 2+ on retry). When
@@ -2026,8 +2063,12 @@ export declare const normaliseWorkflowPatches: (value: unknown) => ReadonlyArray
  * pending row. Missing acknowledgement does NOT prove that the engine rejected
  * the call; this record deliberately makes no terminal-execution claim.
  * Call inside the owning admission transaction. A reached attempt limit stops
- * automatic retry but retains the lease and receipt for reconciliation. */
-export declare const noteAdmissionSubmissionFailure: (tx: Pick<DataStore, "query" | "update">, id: string, error: string, now: number, maxAttempts?: number | false) => Promise<AdmissionSubmission>;
+ * automatic retry but retains the lease and receipt for reconciliation.
+ * Pass the attempt's observed `retry.recovery?.attempts ?? 0`: an older
+ * in-flight failure must not consume an operator's newly granted budget.
+ * Omission means the original, unrecovered epoch; it cannot change a recovered
+ * submission. An actual dispatch adopts the epoch returned by its begin call. */
+export declare const noteAdmissionSubmissionFailure: (tx: Pick<DataStore, "query" | "update">, id: string, error: string, now: number, maxAttempts?: number | false, expectedRecoveryAttempts?: number) => Promise<AdmissionSubmission>;
 
 export declare const noteIntentAttempt: (store: AdmissionDataStore, intent: PendingIntent, error: string, now: number) => Promise<void>;
 
@@ -2557,6 +2598,17 @@ export declare interface RecordedStepShape {
     readonly stepName: string;
 }
 
+/** Record a known caller's pre-body refusal without replay/version/crash guards
+ * treating the refused attempt as application execution. Entry and completion
+ * use the ordinary resident transactions, delivery identity and generation
+ * fences; an unknown identity cannot create a run. The original failure is
+ * returned to the engine after its terminal record commits. */
+export declare const recordWorkflowExecutionRefusal: (options: WorkflowExecutionRefusalRecordingOptions, input: {
+    readonly executionId: string;
+    readonly payload: unknown;
+    readonly cause: Cause.Cause<unknown>;
+}) => Effect.Effect<never, unknown, WorkflowInstance>;
+
 /** Database-only: call inside the resident admission transaction, together
  * with the source's terminal transition. Never notify the handler from here.
  * Replaying an identity keeps the first report AND recipient, even after a
@@ -2571,12 +2623,14 @@ export declare const recordWorkflowStartReceipt: (tx: Pick<DataStore, "insertIgn
 /** Record proven pre-engine rejection together with its source and lease.
  * Attempt 0 means local validation before any engine call. Attempt 1 means the
  * first call returned a failure the host guarantees occurs before engine I/O.
- * A prior or competing attempt makes acceptance unknown, not rejected. */
+ * A prior or competing attempt makes acceptance unknown, not rejected.
+ * Pass the same observed recovery epoch as failure bookkeeping: an older
+ * pre-engine error cannot reject an explicitly recovered submission. */
 export declare const rejectAdmissionSubmissionInTransaction: (tx: AdmissionDataStore, id: string, attempt: number, failure: {
     readonly handler: string | null;
     readonly errorMessage: string;
     readonly now: number;
-}) => Promise<WorkflowFailureRecord | undefined>;
+}, expectedRecoveryAttempts?: number) => Promise<WorkflowFailureRecord | undefined>;
 
 /**
  * Resume every run parked on `budget`.
@@ -2926,6 +2980,12 @@ export declare const resolveWorkflowStartReceipt: (tx: Pick<DataStore, "query">,
 
 export declare const resumeWorkflow: (store: AdmissionDataStore, workflowName: string) => Promise<boolean>;
 
+/** Call under the SAME resident admission transaction as preparation, dispatch,
+ * cancellation and ACK. The preview is advisory; this locked reread decides.
+ * Keep lifetime attempts monotonic and retain the consumed stop token so a lost
+ * response can be retried without resuming a later exhausted retry budget. */
+export declare const retryAdmissionSubmissionInTransaction: (tx: Pick<DataStore, "query" | "update">, id: string, expected: AdmissionSubmissionRetryToken, now: number) => Promise<AdmissionSubmissionRetryResult>;
+
 /** Re-arm one dead-lettered intent after an operator has deployed a schema or
  * handler fix. The payload and its queue-time provenance stay untouched; only
  * the terminal classification and retry history are reset. */
@@ -3270,6 +3330,8 @@ export declare interface StepRetryPolicy {
 
 declare type Store = Pick<DataStore, 'query' | 'insert' | 'update'>;
 
+export declare const SUBMISSIONS_TABLE = "_voltro_workflow_submissions";
+
 declare const SubmissionSchema: Schema.Struct<{
     readonly id: Schema.String;
     readonly workflowName: Schema.String;
@@ -3286,6 +3348,11 @@ declare const SubmissionSchema: Schema.Struct<{
         readonly after: Schema.Number;
         readonly lastError: Schema.NullOr<Schema.String>;
         readonly stoppedAt: Schema.NullOr<Schema.Number>;
+        readonly recovery: Schema.optional<Schema.Struct<{
+            readonly attempts: Schema.Int;
+            readonly stoppedAt: Schema.Number;
+            readonly retriedAt: Schema.Number;
+        }>>;
     }>;
     readonly payload: Schema.Unknown;
     readonly callerContext: Schema.Unknown;
@@ -3407,10 +3474,15 @@ export declare const takeAdmittedSubmissionInTransaction: (tx: AdmissionDataStor
     readonly dispatchAttempts: number;
     readonly failureId: string | null;
     readonly retry: {
-        readonly attempts: number;
-        readonly after: number;
         readonly lastError: string | null;
+        readonly attempts: number;
         readonly stoppedAt: number | null;
+        readonly after: number;
+        readonly recovery?: {
+            readonly attempts: number;
+            readonly stoppedAt: number;
+            readonly retriedAt: number;
+        } | undefined;
     };
     readonly payload: unknown;
     readonly callerContext: unknown;
@@ -3907,6 +3979,8 @@ export declare interface WorkflowExecuteRecordingOptions extends WorkflowRunReco
     readonly replayShapeLimit?: number;
 }
 
+export declare type WorkflowExecutionRefusalRecordingOptions = WorkflowExecuteRecordingOptions & Required<Pick<WorkflowExecuteRecordingOptions, 'subject' | 'failureContext'>>;
+
 export declare type WorkflowFailureDelivery = WorkflowFailureHandoff | {
     readonly kind: 'accepted';
     readonly executionId: string;

package/dist/index.js

@@ -1,5 +1,49 @@
-import { D as e, E as t, O as n, S as r, _ as i, c as a, g as o, h as s, l as c, m as l, n as u, o as d, r as f, v as p } from "./journalEncryption-DTyhUzaS.js";
-import { A as m, B as h, C as g, D as _, E as v, F as y, G as b, H as x, I as S, J as C, K as w, M as T, O as E, P as D, R as O, S as k, T as A, U as j, V as M, W as N, X as P, Y as F, Z as I, _ as L, a as R, b as z, c as B, d as V, f as H, g as U, h as W, i as G, j as K, k as q, l as J, m as Y, n as X, o as Z, p as Q, q as $, r as ee, s as te, t as ne, u as re, v as ie, w as ae, x as oe, y as se, z as ce } from "./primitives-DX04WTWh.js";
-import { $ as le, A as ue, B as de, C as fe, Ct as pe, D as me, Dt as he, E as ge, Et as _e, F as ve, G as ye, H as be, I as xe, J as Se, K as Ce, L as we, M as Te, N as Ee, O as De, Ot as Oe, P as ke, Q as Ae, R as je, S as Me, St as Ne, T as Pe, Tt as Fe, U as Ie, V as Le, W as Re, X as ze, Y as Be, Z as Ve, _ as He, _t as Ue, a as We, at as Ge, b as Ke, bt as qe, c as Je, ct as Ye, d as Xe, dt as Ze, et as Qe, f as $e, ft as et, g as tt, gt as nt, h as rt, ht as it, i as at, it as ot, j as st, k as ct, l as lt, lt as ut, m as dt, mt as ft, n as pt, nt as mt, o as ht, ot as gt, p as _t, pt as vt, q as yt, r as bt, rt as xt, s as St, st as Ct, t as wt, tt as Tt, u as Et, ut as Dt, v as Ot, vt as kt, w as At, wt as jt, x as Mt, xt as Nt, y as Pt, yt as Ft, z as It } from "./src-C2NEyUM8.js";
-import { $ as Lt, At as Rt, B as zt, Bt, C as Vt, Ct as Ht, Dt as Ut, Et as Wt, F as Gt, G as Kt, Gt as qt, H as Jt, Ht as Yt, I as Xt, J as Zt, Jt as Qt, K as $t, Kt as en, L as tn, Lt as nn, M as rn, N as an, P as on, Pt as sn, Q as cn, S as ln, St as un, Ut as dn, V as fn, Vt as pn, W as mn, Wt as hn, X as gn, Y as _n, Yt as vn, Z as yn, _t as bn, a as xn, c as Sn, ct as Cn, dt as wn, et as Tn, f as En, ft as Dn, gt as On, i as kn, it as An, jt as jn, k as Mn, kt as Nn, m as Pn, nt as Fn, p as In, pt as Ln, q as Rn, qt as zn, r as Bn, st as Vn, tt as Hn, u as Un, ut as Wn, wt as Gn, x as Kn, yt as qn, z as Jn, zt as Yn } from "./workflowReadSelections-CZAUjP7f.js";
-export { rn as ADMISSIONS_TABLE, On as ADMISSION_SUBMISSION_ID_PREFIX, $e as BUDGET_HOLDS_TABLE, _t as BudgetHoldExpired, yt as CANCEL_ON_WATERMARK, Bn as CLUSTER_REREAD_WINDOW_MS, kn as ClusterDiagnostics, T as CurrentWorkflowExecutionId, D as CurrentWorkflowPatches, ae as CurrentWorkflowReplayShape, y as CurrentWorkflowRunId, S as CurrentWorkflowStep, dt as DEFAULT_BUDGET_HOLD_TIMEOUT_MS, Se as DEFAULT_COLD_LOOKBACK_MS, It as DEFAULT_DRAIN_BATCH, Be as DEFAULT_EVENT_BATCH, an as DEFAULT_LEASE_MS, wt as DEFAULT_MAX_RUN_RECLAIMS, pt as DEFAULT_REPLAY_SHAPE_LIMIT, Ie as DEFAULT_STALL_AFTER_MS, Re as DEFAULT_STALL_EVENT_LOOKBACK, ye as DEFAULT_STALL_RUN_PAGE, ke as DEFAULT_SUSPEND_HINT_MS, E as DEFAULT_WORKFLOW_SCHEDULE_MAX_RUNTIME_MS, j as DEFERRING_CONTROLS, ze as EVENTS_TABLE, pn as FlowControlKeyError, on as PAUSES_TABLE, Gt as PENDING_TABLE, u as STEP_JOURNAL_BINDING, ue as SuspensionUnavailable, Ve as WATERMARKS_TABLE, f as WORKFLOW_JOURNAL_BINDING, st as WorkflowCannotPark, ne as WorkflowFlowControlProperty, X as WorkflowMessagesProperty, O as WorkflowRunRecorder, q as WorkflowScheduleProperty, Vn as WorkflowStartRequestConflictError, ce as WorkflowStepInterceptorTag, ee as WorkflowVersionTypeId, G as WorkflowWorkerLayerTypeId, rt as _voltroBudgetHoldsTable, it as _voltroWorkflowAdmissionLocksTable, nt as _voltroWorkflowAdmissionsTable, Ue as _voltroWorkflowControlRequestsTable, kt as _voltroWorkflowFailureReportsTable, Ft as _voltroWorkflowParentClosuresTable, qe as _voltroWorkflowPausesTable, Nt as _voltroWorkflowPendingTable, Fe as _voltroWorkflowRunEventsTable, _e as _voltroWorkflowRunStepsTable, he as _voltroWorkflowRunsTable, jt as _voltroWorkflowStartContextsTable, Ne as _voltroWorkflowStartReceiptsTable, pe as _voltroWorkflowSubmissionsTable, xt as _voltroWorkflowWatermarksTable, de as acceptAdmissionSubmission, Kn as acceptWorkflowControlInTransaction, bn as acknowledgeAdmissionSubmission, ot as admitStart, Xt as allIntents, N as assertConsistentPools, F as attachPreparedWorkflowExecution, Te as awaitEvent, Ee as awaitSignal, fe as awaitSignalSuspending, Xe as awaitUpdate, qn as beginAdmissionSubmissionDispatchInTransaction, ln as beginWorkflowControlDispatchInTransaction, Vt as bindWorkflowResumeJournalInTransaction, Cn as bindWorkflowStartReceipts, tt as budgetHoldGeneration, He as budgetHoldKey, Ot as budgetHoldSignalName, Ye as cancelQueuedWorkflowStartInTransaction, Ze as cancelSuspendedWorkflowRunInTransaction, Yt as comparePendingOrder, At as completeSuspendingSignal, et as completeWorkflowRunGenerationInTransaction, h as currentWorkflowStep, tn as deadLetterIntent, dn as decideAdmission, b as deferringControlsOf, Jn as deleteIntent, xn as describeStalledRun, zt as discardIntent, fn as discardIntentInTransaction, Le as drainTick, Jt as dueIntents, R as durableClock, Z as durableQueue, te as durableQueueModule, vt as enterWorkflowRunGenerationInTransaction, mn as evaluateAdmission, P as executePreparedWorkflow, n as failureMessage, M as getCurrentWorkflowExecutionId, x as getCurrentWorkflowRunId, B as getWorkflowFlowControl, d as getWorkflowJournalCipher, m as getWorkflowSchedule, J as getWorkflowVersionMetadata, sn as handoffWorkflowFailureInTransaction, w as hasCancelOn, $ as hasFlowControl, I as hasPreparedWorkflowExecution, Pt as heldBudgets, Oe as inMemoryWorkflowEngineLayer, Et as inspectWorkflow, re as isCarrier, hn as isFinishExpired, a as isSealedJournalValue, qt as isStartExpired, be as isUnacknowledgedSubmission, c as isWorkflowEncrypted, V as isWorkflowWorkerLayer, Ge as linkExecution, lt as makeInMemoryRecorder, A as makeReplayShapeTracker, bt as makeWorkflowRunRecorder, ge as makeWorkflowUpdateId, ve as maybeHintSuspendingSignal, un as newAdmissionSubmissionId, Tt as newestEventAt, en as nextSlotAt, v as nondeterminismEventPayload, at as normaliseWorkflowPatches, Ht as noteAdmissionSubmissionFailure, Kt as noteIntentAttempt, l as openErrorText, s as openEventPayload, o as openJournalValue, i as openPayloadFields, p as openWorkflowRow, $t as parkDelayedStart, H as patch, Rn as pauseWorkflow, Gn as pendingAdmissionSubmissions, Ke as pendingBudgetHolds, Zt as pendingSlotId, _n as pendingWindow, gn as persistDefer, mt as planCancellations, zn as pooledConcurrencyKey, Wt as prepareAdmissionSubmissionExecutionInTransaction, Q as processQueue, yn as pruneAdmissions, Y as queueWorker, Dt as queuedCancellationRequestsTable, W as rateLimit, cn as readAdmissionState, Ut as readAdmissionSubmission, Lt as readPausedWorkflows, ut as readQueuedWorkflowCancellationInTransaction, Ae as readWatermark, Mn as readWorkflowControlInTransaction, Yn as readWorkflowFailureRecord, Sn as readWorkflowRestartObservationInTransaction, Wn as readWorkflowStartReceipt, wn as readWorkflowStartRequest, nn as reconcileWorkflowFailureInTransaction, Tn as recordAdmission, Bt as recordWorkflowFailureInTransaction, Dn as recordWorkflowStartReceipt, Nn as rejectAdmissionSubmissionInTransaction, Mt as releaseBudgetHolds, Hn as releaseLease, _ as reportNondeterminism, Rt as reserveAdmissionSubmission, jn as reserveAdmissionSubmissionInTransaction, Un as reserveWorkflowRestartInTransaction, xe as resetSuspendHintsForTest, Qt as resolveAdmissionKeys, We as resolveRunGuardTuning, we as resolveSuspendHintMs, me as resolveWorkflowMessageRun, Ln as resolveWorkflowStartReceipt, Fn as resumeWorkflow, An as retryDeadLetterIntent, r as sealJournalValue, De as sendWorkflowSignal, ct as sendWorkflowUpdate, ht as serialiseWorkflowRowForWire, je as setSuspendSignalHintMs, t as setWorkflowJournalCipher, U as sleep, L as sleepUntil, ft as stageWorkflowParentClosureInTransaction, ie as step, se as stepIdempotencyKey, z as stepModule, Me as suspendForBudget, Pe as suspendingSignalDeferredName, le as sweepCancelOn, Ce as sweepStalledRuns, gt as takeAdmittedSubmissionInTransaction, Ct as takePendingAdmissionSubmission, St as truncateWorkflowValue, e as tryOpenJournalValue, C as validateFlowControl, K as validateWorkflowSchedule, vn as withAdmissionTransaction, oe as withCompensation, En as withdrawWorkflowRestartInTransaction, k as workflow, g as workflowModule, In as workflowRestartRequestsTable, Pn as workflowRestartWithdrawalsTable, Je as wrapWorkflowExecuteWithRunRecording, Qe as writeWatermark };
+import { failureMessage as e } from "./failureMessage.js";
+import { attachPreparedWorkflowExecution as t, executePreparedWorkflow as n, hasPreparedWorkflowExecution as r } from "./preparedExecution.js";
+import { STEP_JOURNAL_BINDING as i, WORKFLOW_JOURNAL_BINDING as a, getWorkflowJournalCipher as o, isSealedJournalValue as s, isWorkflowEncrypted as c, openErrorText as l, openEventPayload as u, openJournalValue as d, openPayloadFields as f, openWorkflowRow as p, sealJournalValue as m, setWorkflowJournalCipher as h, tryOpenJournalValue as g } from "./journalEncryption.js";
+import { DEFERRING_CONTROLS as _, assertConsistentPools as v, deferringControlsOf as y, hasCancelOn as b, hasFlowControl as x, validateFlowControl as S } from "./flowControl.js";
+import { CurrentWorkflowExecutionId as C, CurrentWorkflowPatches as w, CurrentWorkflowRunId as T, CurrentWorkflowStep as E, WorkflowRunRecorder as D, WorkflowStepInterceptorTag as O, currentWorkflowStep as k, getCurrentWorkflowExecutionId as A, getCurrentWorkflowRunId as j } from "./recorder.js";
+import { DEFAULT_WORKFLOW_SCHEDULE_MAX_RUNTIME_MS as M, WorkflowScheduleProperty as N, getWorkflowSchedule as P, validateWorkflowSchedule as F } from "./scheduleDeclaration.js";
+import { CurrentWorkflowReplayShape as I, makeReplayShapeTracker as L, nondeterminismEventPayload as R, reportNondeterminism as z } from "./nondeterminism.js";
+import { WorkflowFlowControlProperty as B, WorkflowMessagesProperty as V, WorkflowVersionTypeId as H, WorkflowWorkerLayerTypeId as U, durableClock as W, durableQueue as G, durableQueueModule as K, getWorkflowFlowControl as q, getWorkflowVersionMetadata as J, isCarrier as Y, isWorkflowWorkerLayer as X, patch as Z, processQueue as Q, queueWorker as $, rateLimit as ee, sleep as te, sleepUntil as ne, step as re, stepIdempotencyKey as ie, stepModule as ae, withCompensation as oe, workflow as se, workflowModule as ce } from "./primitives.js";
+import { inMemoryWorkflowEngineLayer as le } from "./inMemoryLayer.js";
+import { _voltroWorkflowRunsTable as ue } from "./runsTable.js";
+import { _voltroWorkflowRunStepsTable as de } from "./runStepsTable.js";
+import { _voltroWorkflowRunEventsTable as fe } from "./runEventsTable.js";
+import { _voltroWorkflowStartContextsTable as pe } from "./startContextsTable.js";
+import { _voltroWorkflowAdmissionLocksTable as me, _voltroWorkflowAdmissionsTable as he, _voltroWorkflowControlRequestsTable as ge, _voltroWorkflowFailureReportsTable as _e, _voltroWorkflowParentClosuresTable as ve, _voltroWorkflowPausesTable as ye, _voltroWorkflowPendingTable as be, _voltroWorkflowStartReceiptsTable as xe, _voltroWorkflowSubmissionsTable as Se } from "./admissionTables.js";
+import { withAdmissionTransaction as Ce } from "./admissionTransaction.js";
+import { FlowControlKeyError as we, comparePendingOrder as Te, decideAdmission as Ee, isFinishExpired as De, isStartExpired as Oe, nextSlotAt as ke, pooledConcurrencyKey as Ae, resolveAdmissionKeys as je } from "./admission.js";
+import { readWorkflowFailureRecord as Me, recordWorkflowFailureInTransaction as Ne } from "./failureReportStore.js";
+import { handoffWorkflowFailureInTransaction as Pe, reconcileWorkflowFailureInTransaction as Fe } from "./failureHandoff.js";
+import { ADMISSION_SUBMISSION_ID_PREFIX as Ie, SUBMISSIONS_TABLE as Le, acknowledgeAdmissionSubmission as Re, beginAdmissionSubmissionDispatchInTransaction as ze, newAdmissionSubmissionId as Be, noteAdmissionSubmissionFailure as Ve, pendingAdmissionSubmissions as He, prepareAdmissionSubmissionExecutionInTransaction as Ue, readAdmissionSubmission as We, rejectAdmissionSubmissionInTransaction as Ge, reserveAdmissionSubmission as Ke, reserveAdmissionSubmissionInTransaction as qe } from "./admissionSubmission.js";
+import { WorkflowStartRequestConflictError as Je, bindWorkflowStartReceipts as Ye, readWorkflowStartReceipt as Xe, readWorkflowStartRequest as Ze, recordWorkflowStartReceipt as Qe, resolveWorkflowStartReceipt as $e } from "./startReceipt.js";
+import { ADMISSIONS_TABLE as et, DEFAULT_LEASE_MS as tt, PAUSES_TABLE as nt, PENDING_TABLE as rt, admissionLeaseHeldPredicate as it, allIntents as at, deadLetterIntent as ot, deleteIntent as st, discardIntent as ct, discardIntentInTransaction as lt, dueIntents as ut, evaluateAdmission as dt, noteIntentAttempt as ft, parkDelayedStart as pt, pauseWorkflow as mt, pendingSlotId as ht, pendingWindow as gt, persistDefer as _t, pruneAdmissions as vt, readAdmissionState as yt, readPausedWorkflows as bt, recordAdmission as xt, releaseLease as St, resumeWorkflow as Ct, retryDeadLetterIntent as wt } from "./admissionStore.js";
+import { acceptWorkflowControlInTransaction as Tt, beginWorkflowControlDispatchInTransaction as Et, bindWorkflowResumeJournalInTransaction as Dt, readWorkflowControlInTransaction as Ot } from "./controlRequest.js";
+import { stageWorkflowParentClosureInTransaction as kt } from "./parentClosure.js";
+import { readWorkflowRestartObservationInTransaction as At, reserveWorkflowRestartInTransaction as jt, withdrawWorkflowRestartInTransaction as Mt, workflowRestartRequestsTable as Nt, workflowRestartWithdrawalsTable as Pt } from "./workflowRestartReservation.js";
+import { cancelSuspendedWorkflowRunInTransaction as Ft, completeWorkflowRunGenerationInTransaction as It, enterWorkflowRunGenerationInTransaction as Lt } from "./runGeneration.js";
+import { queuedCancellationRequestsTable as Rt } from "./queuedCancellationRequest.js";
+import { cancelQueuedWorkflowStartInTransaction as zt, readQueuedWorkflowCancellationInTransaction as Bt } from "./queuedControl.js";
+import { inspectAdmissionSubmissionRetry as Vt, retryAdmissionSubmissionInTransaction as Ht } from "./submissionRetry.js";
+import { takeAdmittedSubmissionInTransaction as Ut, takePendingAdmissionSubmission as Wt } from "./pendingSubmission.js";
+import { admitStart as Gt, linkExecution as Kt } from "./admissionGate.js";
+import { _voltroWorkflowWatermarksTable as qt } from "./watermarkTable.js";
+import { newestEventAt as Jt, planCancellations as Yt } from "./cancelOnPlan.js";
+import { CANCEL_ON_WATERMARK as Xt, DEFAULT_COLD_LOOKBACK_MS as Zt, DEFAULT_EVENT_BATCH as Qt, EVENTS_TABLE as $t, WATERMARKS_TABLE as en, readWatermark as tn, sweepCancelOn as nn, writeWatermark as rn } from "./cancelOnSweep.js";
+import { DEFAULT_STALL_AFTER_MS as an, DEFAULT_STALL_EVENT_LOOKBACK as on, DEFAULT_STALL_RUN_PAGE as sn, sweepStalledRuns as cn } from "./stalenessSweep.js";
+import { CLUSTER_REREAD_WINDOW_MS as ln, ClusterDiagnostics as un, describeStalledRun as dn } from "./clusterDiagnostics.js";
+import { DEFAULT_DRAIN_BATCH as fn, acceptAdmissionSubmission as pn, drainTick as mn, isUnacknowledgedSubmission as hn } from "./admissionDrainer.js";
+import { DEFAULT_SUSPEND_HINT_MS as gn, maybeHintSuspendingSignal as _n, resetSuspendHintsForTest as vn, resolveSuspendHintMs as yn, setSuspendSignalHintMs as bn } from "./signalHint.js";
+import { awaitSignal as xn } from "./signals.js";
+import { awaitEvent as Sn } from "./awaitEvent.js";
+import { SuspensionUnavailable as Cn, WorkflowCannotPark as wn } from "./suspensionUnavailable.js";
+import { makeWorkflowUpdateId as Tn, resolveWorkflowMessageRun as En, sendWorkflowSignal as Dn, sendWorkflowUpdate as On } from "./messages.js";
+import { awaitSignalSuspending as kn, completeSuspendingSignal as An, suspendingSignalDeferredName as jn } from "./signalsSuspending.js";
+import { BUDGET_HOLDS_TABLE as Mn, BudgetHoldExpired as Nn, DEFAULT_BUDGET_HOLD_TIMEOUT_MS as Pn, _voltroBudgetHoldsTable as Fn, budgetHoldGeneration as In, budgetHoldKey as Ln, budgetHoldSignalName as Rn, heldBudgets as zn, pendingBudgetHolds as Bn, releaseBudgetHolds as Vn, suspendForBudget as Hn } from "./budgetHold.js";
+import { awaitUpdate as Un } from "./updates.js";
+import { inspectWorkflow as Wn } from "./inspectWorkflow.js";
+import { makeInMemoryRecorder as Gn } from "./inMemoryRecorder.js";
+import { DEFAULT_MAX_RUN_RECLAIMS as Kn, DEFAULT_REPLAY_SHAPE_LIMIT as qn, makeWorkflowRunRecorder as Jn, normaliseWorkflowPatches as Yn, resolveRunGuardTuning as Xn, serialiseWorkflowRowForWire as Zn, truncateWorkflowValue as Qn, wrapWorkflowExecuteWithRunRecording as $n } from "./runRecording.js";
+import { recordWorkflowExecutionRefusal as er } from "./executionRefusal.js";
+export { et as ADMISSIONS_TABLE, Ie as ADMISSION_SUBMISSION_ID_PREFIX, Mn as BUDGET_HOLDS_TABLE, Nn as BudgetHoldExpired, Xt as CANCEL_ON_WATERMARK, ln as CLUSTER_REREAD_WINDOW_MS, un as ClusterDiagnostics, C as CurrentWorkflowExecutionId, w as CurrentWorkflowPatches, I as CurrentWorkflowReplayShape, T as CurrentWorkflowRunId, E as CurrentWorkflowStep, Pn as DEFAULT_BUDGET_HOLD_TIMEOUT_MS, Zt as DEFAULT_COLD_LOOKBACK_MS, fn as DEFAULT_DRAIN_BATCH, Qt as DEFAULT_EVENT_BATCH, tt as DEFAULT_LEASE_MS, Kn as DEFAULT_MAX_RUN_RECLAIMS, qn as DEFAULT_REPLAY_SHAPE_LIMIT, an as DEFAULT_STALL_AFTER_MS, on as DEFAULT_STALL_EVENT_LOOKBACK, sn as DEFAULT_STALL_RUN_PAGE, gn as DEFAULT_SUSPEND_HINT_MS, M as DEFAULT_WORKFLOW_SCHEDULE_MAX_RUNTIME_MS, _ as DEFERRING_CONTROLS, $t as EVENTS_TABLE, we as FlowControlKeyError, nt as PAUSES_TABLE, rt as PENDING_TABLE, i as STEP_JOURNAL_BINDING, Le as SUBMISSIONS_TABLE, Cn as SuspensionUnavailable, en as WATERMARKS_TABLE, a as WORKFLOW_JOURNAL_BINDING, wn as WorkflowCannotPark, B as WorkflowFlowControlProperty, V as WorkflowMessagesProperty, D as WorkflowRunRecorder, N as WorkflowScheduleProperty, Je as WorkflowStartRequestConflictError, O as WorkflowStepInterceptorTag, H as WorkflowVersionTypeId, U as WorkflowWorkerLayerTypeId, Fn as _voltroBudgetHoldsTable, me as _voltroWorkflowAdmissionLocksTable, he as _voltroWorkflowAdmissionsTable, ge as _voltroWorkflowControlRequestsTable, _e as _voltroWorkflowFailureReportsTable, ve as _voltroWorkflowParentClosuresTable, ye as _voltroWorkflowPausesTable, be as _voltroWorkflowPendingTable, fe as _voltroWorkflowRunEventsTable, de as _voltroWorkflowRunStepsTable, ue as _voltroWorkflowRunsTable, pe as _voltroWorkflowStartContextsTable, xe as _voltroWorkflowStartReceiptsTable, Se as _voltroWorkflowSubmissionsTable, qt as _voltroWorkflowWatermarksTable, pn as acceptAdmissionSubmission, Tt as acceptWorkflowControlInTransaction, Re as acknowledgeAdmissionSubmission, it as admissionLeaseHeldPredicate, Gt as admitStart, at as allIntents, v as assertConsistentPools, t as attachPreparedWorkflowExecution, Sn as awaitEvent, xn as awaitSignal, kn as awaitSignalSuspending, Un as awaitUpdate, ze as beginAdmissionSubmissionDispatchInTransaction, Et as beginWorkflowControlDispatchInTransaction, Dt as bindWorkflowResumeJournalInTransaction, Ye as bindWorkflowStartReceipts, In as budgetHoldGeneration, Ln as budgetHoldKey, Rn as budgetHoldSignalName, zt as cancelQueuedWorkflowStartInTransaction, Ft as cancelSuspendedWorkflowRunInTransaction, Te as comparePendingOrder, An as completeSuspendingSignal, It as completeWorkflowRunGenerationInTransaction, k as currentWorkflowStep, ot as deadLetterIntent, Ee as decideAdmission, y as deferringControlsOf, st as deleteIntent, dn as describeStalledRun, ct as discardIntent, lt as discardIntentInTransaction, mn as drainTick, ut as dueIntents, W as durableClock, G as durableQueue, K as durableQueueModule, Lt as enterWorkflowRunGenerationInTransaction, dt as evaluateAdmission, n as executePreparedWorkflow, e as failureMessage, A as getCurrentWorkflowExecutionId, j as getCurrentWorkflowRunId, q as getWorkflowFlowControl, o as getWorkflowJournalCipher, P as getWorkflowSchedule, J as getWorkflowVersionMetadata, Pe as handoffWorkflowFailureInTransaction, b as hasCancelOn, x as hasFlowControl, r as hasPreparedWorkflowExecution, zn as heldBudgets, le as inMemoryWorkflowEngineLayer, Vt as inspectAdmissionSubmissionRetry, Wn as inspectWorkflow, Y as isCarrier, De as isFinishExpired, s as isSealedJournalValue, Oe as isStartExpired, hn as isUnacknowledgedSubmission, c as isWorkflowEncrypted, X as isWorkflowWorkerLayer, Kt as linkExecution, Gn as makeInMemoryRecorder, L as makeReplayShapeTracker, Jn as makeWorkflowRunRecorder, Tn as makeWorkflowUpdateId, _n as maybeHintSuspendingSignal, Be as newAdmissionSubmissionId, Jt as newestEventAt, ke as nextSlotAt, R as nondeterminismEventPayload, Yn as normaliseWorkflowPatches, Ve as noteAdmissionSubmissionFailure, ft as noteIntentAttempt, l as openErrorText, u as openEventPayload, d as openJournalValue, f as openPayloadFields, p as openWorkflowRow, pt as parkDelayedStart, Z as patch, mt as pauseWorkflow, He as pendingAdmissionSubmissions, Bn as pendingBudgetHolds, ht as pendingSlotId, gt as pendingWindow, _t as persistDefer, Yt as planCancellations, Ae as pooledConcurrencyKey, Ue as prepareAdmissionSubmissionExecutionInTransaction, Q as processQueue, vt as pruneAdmissions, $ as queueWorker, Rt as queuedCancellationRequestsTable, ee as rateLimit, yt as readAdmissionState, We as readAdmissionSubmission, bt as readPausedWorkflows, Bt as readQueuedWorkflowCancellationInTransaction, tn as readWatermark, Ot as readWorkflowControlInTransaction, Me as readWorkflowFailureRecord, At as readWorkflowRestartObservationInTransaction, Xe as readWorkflowStartReceipt, Ze as readWorkflowStartRequest, Fe as reconcileWorkflowFailureInTransaction, xt as recordAdmission, er as recordWorkflowExecutionRefusal, Ne as recordWorkflowFailureInTransaction, Qe as recordWorkflowStartReceipt, Ge as rejectAdmissionSubmissionInTransaction, Vn as releaseBudgetHolds, St as releaseLease, z as reportNondeterminism, Ke as reserveAdmissionSubmission, qe as reserveAdmissionSubmissionInTransaction, jt as reserveWorkflowRestartInTransaction, vn as resetSuspendHintsForTest, je as resolveAdmissionKeys, Xn as resolveRunGuardTuning, yn as resolveSuspendHintMs, En as resolveWorkflowMessageRun, $e as resolveWorkflowStartReceipt, Ct as resumeWorkflow, Ht as retryAdmissionSubmissionInTransaction, wt as retryDeadLetterIntent, m as sealJournalValue, Dn as sendWorkflowSignal, On as sendWorkflowUpdate, Zn as serialiseWorkflowRowForWire, bn as setSuspendSignalHintMs, h as setWorkflowJournalCipher, te as sleep, ne as sleepUntil, kt as stageWorkflowParentClosureInTransaction, re as step, ie as stepIdempotencyKey, ae as stepModule, Hn as suspendForBudget, jn as suspendingSignalDeferredName, nn as sweepCancelOn, cn as sweepStalledRuns, Ut as takeAdmittedSubmissionInTransaction, Wt as takePendingAdmissionSubmission, Qn as truncateWorkflowValue, g as tryOpenJournalValue, S as validateFlowControl, F as validateWorkflowSchedule, Ce as withAdmissionTransaction, oe as withCompensation, Mt as withdrawWorkflowRestartInTransaction, se as workflow, ce as workflowModule, Nt as workflowRestartRequestsTable, Pt as workflowRestartWithdrawalsTable, $n as wrapWorkflowExecuteWithRunRecording, rn as writeWatermark };

package/dist/inspectWorkflow.js

@@ -0,0 +1,101 @@
+import { openJournalValue as e, openPayloadFields as t } from "./journalEncryption.js";
+import { _voltroWorkflowRunsTable as n } from "./runsTable.js";
+import { _voltroWorkflowRunStepsTable as r } from "./runStepsTable.js";
+import { eq as i, or as a, queryFor as o } from "@voltro/database";
+import { types as s } from "node:util";
+//#region src/inspectWorkflow.ts
+var c = (e) => {
+	if (e == null) return null;
+	if (e instanceof Date) return e;
+	if (typeof e == "string" || typeof e == "number") {
+		let t = new Date(e);
+		return Number.isNaN(t.getTime()) ? null : t;
+	}
+	return null;
+}, l = (e) => typeof e == "number" ? e : e == null ? null : Number(e), u = (e) => e == null ? null : String(e), d = (e) => {
+	if (s.isProxy(e)) return !1;
+	let t = Object.getPrototypeOf(e);
+	if (t !== null && t !== Object.prototype) return !1;
+	for (let t of Reflect.ownKeys(e)) {
+		let n = Object.getOwnPropertyDescriptor(e, t);
+		if (n === void 0 || !("value" in n)) return !1;
+	}
+	let n = Object.getOwnPropertyDescriptor(e, "stepName");
+	if (n === void 0 || !("value" in n) || typeof n.value != "string") return !1;
+	for (let t of [
+		"attempt",
+		"durationMs",
+		"errorTag",
+		"errorMessage",
+		"startedAt"
+	]) {
+		let n = Object.getOwnPropertyDescriptor(e, t);
+		if (n === void 0) {
+			if (t in e) return !1;
+			continue;
+		}
+		let r = n.value;
+		if (typeof r == "object" && r && s.isProxy(r) || !(t === "startedAt" && r instanceof Date && Object.getPrototypeOf(r) === Date.prototype && Reflect.ownKeys(r).length === 0) && r != null && typeof r != "number" && typeof r != "string" && typeof r != "boolean") return !1;
+	}
+	return !0;
+}, f = (e) => {
+	let t = /* @__PURE__ */ new Map(), n = /* @__PURE__ */ new Map(), r = !s.isProxy(e) && Object.getPrototypeOf(e) === Array.prototype && !Object.hasOwn(e, Symbol.iterator) && e.find === Array.prototype.find, i = 0;
+	for (let a of e) {
+		let o = r ? Object.getOwnPropertyDescriptor(e, String(i)) : void 0;
+		(o === void 0 || !("value" in o) || !d(a)) && (r = !1), i++;
+		let s = String(a.stepName), c = t.get(s);
+		c === void 0 ? (t.set(s, [a]), n.set(s, a)) : c.push(a);
+	}
+	let a = [];
+	for (let [e, n] of t) {
+		n.sort((e, t) => (l(e.attempt) ?? 0) - (l(t.attempt) ?? 0));
+		let t = n[n.length - 1], r = u(t.errorTag), i = u(t.errorMessage), o = r !== null || i !== null ? {
+			tag: r,
+			message: i ?? ""
+		} : null;
+		a.push({
+			name: e,
+			attempt: l(t.attempt) ?? n.length,
+			attempts: n.length,
+			status: t.status ?? "running",
+			input: t.input ?? null,
+			output: t.output ?? null,
+			error: o,
+			durationMs: l(t.durationMs)
+		});
+	}
+	return a.sort((t, i) => {
+		let a = r ? n.get(t.name) : e.find((e) => String(e.stepName) === t.name), o = r ? n.get(i.name) : e.find((e) => String(e.stepName) === i.name);
+		return (c(a?.startedAt)?.getTime() ?? 0) - (c(o?.startedAt)?.getTime() ?? 0);
+	}), a;
+}, p = (e) => {
+	if (e == null) return null;
+	if (typeof e == "string") try {
+		return JSON.parse(e);
+	} catch {
+		return null;
+	}
+	return typeof e == "object" ? e : null;
+}, m = async (s, l) => {
+	let d = o(n), m = (await l.query(d.where(a(i("id", s), i("executionId", s))).limit(1).descriptor))[0];
+	if (m === void 0) return null;
+	let h = String(m.id), g = o(r), _ = await l.query(g.where(i("runId", h)).descriptor);
+	return {
+		id: h,
+		executionId: u(m.executionId) ?? "",
+		name: u(m.tag) ?? "",
+		status: m.status ?? "running",
+		input: t(m.payload ?? null, "workflow run payload"),
+		output: e(m.output ?? null, "workflow run result"),
+		subject: p(m.subject),
+		source: u(m.source),
+		steps: f(_),
+		startedAt: c(m.startedAt) ?? /* @__PURE__ */ new Date(0),
+		finishedAt: c(m.completedAt),
+		traceId: u(m.traceId),
+		parentExecutionId: u(m.parentExecutionId),
+		parentClosePolicy: u(m.parentClosePolicy)
+	};
+};
+//#endregion
+export { m as inspectWorkflow };

package/dist/{journalEncryption-DTyhUzaS.js → journalEncryption.js}

@@ -1,17 +1,10 @@
-import { Activity as e } from "effect/workflow";
-import { Cause as t, Context as n, Effect as r, Effectable as i, Schema as a, SchemaAST as o, SchemaGetter as s, SchemaIssue as c } from "effect";
-//#region src/failureMessage.ts
-var l = (e) => {
-	let t = e?.message;
-	if (typeof t == "string" && t.length > 0) return t;
-	if (typeof e == "object" && e && typeof e.toJSON == "function") {
-		let { _tag: t, ...n } = e.toJSON(), r = typeof t == "string" ? t : String(e);
-		return Object.keys(n).length === 0 ? r : `${r}: ${JSON.stringify(n)}`;
-	}
-	return String(e);
-}, u = () => void 0, d = (e) => {
+import { failureMessage as e } from "./failureMessage.js";
+import { Activity as t } from "effect/workflow";
+import { Cause as n, Context as r, Effect as i, Effectable as a, Schema as o, SchemaAST as s, SchemaGetter as c, SchemaIssue as l } from "effect";
+//#region src/journalEncryption.ts
+var u = () => void 0, d = (e) => {
 	u = typeof e == "function" ? e : () => e;
-}, f = () => u(), p = n.Reference("@voltro/workflow/CurrentWorkflowEncrypted", { defaultValue: () => !1 }), m = { column: "workflow-journal" }, h = /* @__PURE__ */ new Set(), g = (e) => {
+}, f = () => u(), p = r.Reference("@voltro/workflow/CurrentWorkflowEncrypted", { defaultValue: () => !1 }), m = { column: "workflow-journal" }, h = /* @__PURE__ */ new Set(), g = (e) => {
 	h.add(e);
 }, _ = /* @__PURE__ */ new Set(), v = (e) => {
 	_.add(e);
@@ -25,21 +18,21 @@ var l = (e) => {
 	let r = u();
 	if (r === void 0) throw S(t);
 	return JSON.parse(r.decrypt(e, n));
-}, T = (e) => o.isVoid(e) || o.isNever(e) || o.isUndefined(e), E = (e, t) => {
+}, T = (e) => s.isVoid(e) || s.isNever(e) || s.isUndefined(e), E = (e, t) => {
 	if (T(e.ast)) return e;
 	let n = (e, t) => {
 		try {
-			return r.succeed(t());
+			return i.succeed(t());
 		} catch (t) {
-			return r.fail(new c.InvalidValue({ message: t.message }, e));
+			return i.fail(new l.InvalidValue({ message: t.message }, e));
 		}
 	};
-	return (e.ast.context?.isOptional === !0 ? a.optionalKey(a.Unknown) : a.Unknown).pipe(a.decodeTo(e, {
-		decode: s.transformEffect((e) => n(e, () => Array.isArray(e) ? e.map((e) => w(e, t)) : w(e, t))),
-		encode: s.transformEffect((e) => n(e, () => e === void 0 ? void 0 : C(e, t)))
+	return (e.ast.context?.isOptional === !0 ? o.optionalKey(o.Unknown) : o.Unknown).pipe(o.decodeTo(e, {
+		decode: c.transformEffect((e) => n(e, () => Array.isArray(e) ? e.map((e) => w(e, t)) : w(e, t))),
+		encode: c.transformEffect((e) => n(e, () => e === void 0 ? void 0 : C(e, t)))
 	}));
 }, D = (e, t) => {
-	let n = a.isSchema(t) ? t.fields : t, r = `workflow '${e}' payload`, i = {};
+	let n = o.isSchema(t) ? t.fields : t, r = `workflow '${e}' payload`, i = {};
 	for (let [e, t] of Object.entries(n)) i[e] = E(t, `${r}.${e}`);
 	return i;
 }, O = (e) => typeof e == "object" && !!e && !Array.isArray(e), k = (e, t) => {
@@ -102,21 +95,21 @@ var l = (e) => {
 	let t = { ...e };
 	for (let e of z) x(t[e]) && (t[e] = L(t[e], `workflow event ${e}`));
 	return t;
-}, H = (t) => {
-	let n = e.make({
-		...t,
-		error: a.Defect()
-	}), o, s = `wait '${t.name}'`, c = () => o ??= e.make({
-		...t,
-		success: E(t.success, `${s} value`),
-		error: a.Defect(),
-		execute: t.execute.pipe(r.catchDefect((e) => r.die(M(e, `${s} defect`))))
+}, H = (e) => {
+	let n = t.make({
+		...e,
+		error: o.Defect()
+	}), r, s = `wait '${e.name}'`, c = () => r ??= t.make({
+		...e,
+		success: E(e.success, `${s} value`),
+		error: o.Defect(),
+		execute: e.execute.pipe(i.catchDefect((e) => i.die(M(e, `${s} defect`))))
 	}), l = n;
 	return {
 		...n,
-		...i.Prototype({
+		...a.Prototype({
 			label: "Activity",
-			evaluate: () => r.flatMap(p, (e) => e ? c().pipe(r.catchDefect((e) => r.die(N(e, `${s} defect`)))) : l)
+			evaluate: () => i.flatMap(p, (e) => e ? c().pipe(i.catchDefect((e) => i.die(N(e, `${s} defect`)))) : l)
 		})
 	};
 }, U = { column: "_voltro_workflow_run_steps:payload" }, W = (e) => {
@@ -143,12 +136,12 @@ var l = (e) => {
 		t.payload = k(t.payload, "workflow run payload");
 	} catch {}
 	return "output" in t && (t.output = L(t.output, "workflow run result")), typeof t.errorMessage == "string" && (t.errorMessage = R(t.errorMessage)), t;
-}, K = (e, n) => {
-	if (e === void 0 || !b(e)) {
-		let e = t.isCause(n) ? t.squash(n) : n;
-		return e instanceof Error && e.message.length > 0 ? `${e.name}: ${e.message}` : l(e);
+}, K = (t, r) => {
+	if (t === void 0 || !b(t)) {
+		let t = n.isCause(r) ? n.squash(r) : r;
+		return t instanceof Error && t.message.length > 0 ? `${t.name}: ${t.message}` : e(t);
 	}
-	return `${n instanceof Error ? n.name : typeof n}: [withheld — workflow '${e}' is declared encrypted; the full cause is recorded sealed on its row]`;
+	return `${r instanceof Error ? r.name : typeof r}: [withheld — workflow '${t}' is declared encrypted; the full cause is recorded sealed on its row]`;
 };
 //#endregion
-export { A as C, L as D, d as E, l as O, C as S, E as T, k as _, H as a, I as b, x as c, v as d, g as f, w as g, V as h, F as i, b as l, R as m, U as n, f as o, N as p, m as r, y as s, p as t, K as u, G as v, D as w, B as x, M as y };
+export { p as CurrentWorkflowEncrypted, j as SEALED_DEFECT_NAME, U as STEP_JOURNAL_BINDING, m as WORKFLOW_JOURNAL_BINDING, F as anyWorkflowEncrypted, H as encryptionAwareActivity, f as getWorkflowJournalCipher, y as isQueueEncrypted, x as isSealedJournalValue, b as isWorkflowEncrypted, K as loggableCause, v as markQueueEncrypted, g as markWorkflowEncrypted, N as openDefect, R as openErrorText, V as openEventPayload, w as openJournalValue, k as openPayloadFields, G as openWorkflowRow, M as sealDefect, I as sealErrorText, B as sealEventPayload, C as sealJournalValue, A as sealPayloadFields, D as sealedPayloadFields, E as sealedSchema, d as setWorkflowJournalCipher, L as tryOpenJournalValue };

package/dist/messages.js

@@ -0,0 +1,92 @@
+import { openEventPayload as e } from "./journalEncryption.js";
+import { eq as t } from "@voltro/database";
+//#region src/messages.ts
+var n = (e) => new Promise((t) => setTimeout(t, e)), r = () => {
+	let e = globalThis.crypto;
+	return typeof e?.randomUUID == "function" ? e.randomUUID() : `${Date.now().toString(36)}${Math.random().toString(36).slice(2)}`;
+}, i = () => `wfu_${r()}`, a = async (e, n) => {
+	let r = n.id ?? n.executionId;
+	if (!r) throw Error("workflow message target requires target.id or target.executionId");
+	let i = await e.query({
+		table: "_voltro_workflow_runs",
+		order: [],
+		predicate: t("id", r),
+		projection: void 0,
+		skip: void 0,
+		take: 1
+	});
+	if (i[0]) return i[0];
+	let a = (await e.query({
+		table: "_voltro_workflow_runs",
+		order: [],
+		predicate: t("executionId", r),
+		projection: void 0,
+		skip: void 0,
+		take: 1
+	}))[0];
+	if (!a) throw Error(`workflow message target not found: ${r}`);
+	return a;
+}, o = class extends Error {
+	runId;
+	eventType;
+	eventId;
+	_tag = "WorkflowMessageNotRecorded";
+	constructor(e, t, n) {
+		super(`workflow ${t} for run ${e} was NOT recorded (event ${n}): the run will not see it — the store refused the row, see the recorder's warning`), this.runId = e, this.eventType = t, this.eventId = n, this.name = "WorkflowMessageNotRecorded";
+	}
+}, s = async (e) => {
+	let t = await a(e.store, e.target), n = await e.recorder.recordEvent({
+		runId: t.id,
+		eventType: "signal-sent",
+		payload: {
+			signalName: e.signalName,
+			value: e.payload
+		}
+	});
+	if (n.recorded === !1) throw new o(t.id, "signal-sent", n.id);
+	return { eventId: n.id };
+}, c = async (r) => {
+	let s = await a(r.store, r.target), c = i(), l = await r.recorder.recordEvent({
+		runId: s.id,
+		eventType: "update-requested",
+		payload: {
+			updateId: c,
+			updateName: r.updateName,
+			value: r.payload
+		}
+	});
+	if (l.recorded === !1) throw new o(s.id, "update-requested", l.id);
+	let u = Date.now(), d = r.options?.timeoutMs ?? 3e4, f = r.options?.pollIntervalMs ?? 100;
+	for (;;) {
+		let i = {
+			table: "_voltro_workflow_run_events",
+			order: [{
+				column: "occurredAt",
+				direction: "asc"
+			}],
+			predicate: t("runId", s.id),
+			projection: void 0,
+			skip: void 0,
+			take: 1e3
+		}, a = await r.store.query(i), o = a.find((e) => e.eventType === "update-completed" && e.payload?.updateId === c);
+		if (o) return {
+			eventId: l.id,
+			updateId: c,
+			completedEventId: o.id,
+			result: e(o.payload)?.result
+		};
+		let p = a.find((e) => e.eventType === "update-failed" && e.payload?.updateId === c);
+		if (p) {
+			let t = Error(e(p.payload)?.errorMessage ?? `workflow update '${r.updateName}' failed`);
+			throw Object.assign(t, {
+				updateId: c,
+				eventId: l.id,
+				errorTag: p.payload?.errorTag ?? null
+			}), t;
+		}
+		if (Date.now() - u >= d) throw Error(`Timed out waiting for workflow update '${r.updateName}' (${c})`);
+		await n(f);
+	}
+};
+//#endregion
+export { o as WorkflowMessageNotRecorded, i as makeWorkflowUpdateId, a as resolveWorkflowMessageRun, s as sendWorkflowSignal, c as sendWorkflowUpdate };

package/dist/nondeterminism.js

@@ -0,0 +1,51 @@
+import { CurrentWorkflowRunId as e, WorkflowRunRecorder as t } from "./recorder.js";
+import { Context as n, Effect as r } from "effect";
+//#region src/nondeterminism.ts
+var i = (e) => {
+	let t = /* @__PURE__ */ new Map();
+	for (let n of e) t.set(n.stepName, (t.get(n.stepName) ?? 0) + 1);
+	let n = /* @__PURE__ */ new Map(), r = /* @__PURE__ */ new Set(), i = (e) => !r.has(e) && (r.add(e), !0);
+	return {
+		reach: (e) => {
+			let r = (n.get(e) ?? 0) + 1;
+			n.set(e, r);
+			let a = t.get(e) ?? 0;
+			if (a !== 0 && !(r <= a) && i(`extra:${e}`)) return {
+				kind: "extra-step-occurrence",
+				stepName: e,
+				recorded: a,
+				reached: r,
+				detail: `step '${e}' was reached ${r} time(s) on this attempt but this run only ever recorded ${a} — the body may have changed how often it runs this step (a loop bound), so the journal replays a result for an iteration the code no longer means.`
+			};
+		},
+		settle: () => {
+			let e = [];
+			for (let [r, a] of t) (n.get(r) ?? 0) > 0 || i(`unreached:${r}`) && e.push({
+				kind: "unreached-step",
+				stepName: r,
+				recorded: a,
+				reached: 0,
+				detail: `step '${r}' ran on an earlier attempt of this run but the current code never reaches it — the step was renamed, removed, or moved behind a branch, so its journaled result is orphaned and any step that replaced it executed fresh.`
+			});
+			return e;
+		}
+	};
+}, a = n.Reference("@voltro/workflow/CurrentWorkflowReplayShape", { defaultValue: () => void 0 }), o = (e) => ({
+	kind: e.kind,
+	stepName: e.stepName,
+	recorded: e.recorded,
+	reached: e.reached,
+	detail: e.detail
+}), s = (n) => r.gen(function* () {
+	if (n.length === 0) return;
+	let i = yield* e, a = yield* r.serviceOption(t);
+	if (i === void 0 || a._tag !== "Some") return;
+	let s = a.value;
+	for (let e of n) yield* r.promise(() => s.recordEvent({
+		runId: i,
+		eventType: "nondeterminism-suspected",
+		payload: o(e)
+	}).then(() => void 0).catch(() => void 0));
+});
+//#endregion
+export { a as CurrentWorkflowReplayShape, i as makeReplayShapeTracker, o as nondeterminismEventPayload, s as reportNondeterminism };