@proompteng/temporal-bun-sdk 0.1.0

package/dist/src/workflow/replay.d.ts

@@ -0,0 +1,87 @@
+import { Effect } from 'effect';
+import { type DataConverter } from '../common/payloads';
+import { type Payloads } from '../proto/temporal/api/common/v1/message_pb';
+import { EventType } from '../proto/temporal/api/enums/v1/event_type_pb';
+import type { HistoryEvent } from '../proto/temporal/api/history/v1/message_pb';
+import type { WorkflowCommandIntent } from './commands';
+import type { WorkflowInfo } from './context';
+import type { WorkflowDeterminismState } from './determinism';
+export interface ReplayIntake {
+    readonly info: WorkflowInfo;
+    readonly history: HistoryEvent[];
+    readonly dataConverter: DataConverter;
+    readonly ignoreDeterminismMarker?: boolean;
+}
+export interface ReplayResult {
+    readonly determinismState: WorkflowDeterminismState;
+    readonly lastEventId: string | null;
+    readonly hasDeterminismMarker: boolean;
+}
+export interface DeterminismMarkerInput {
+    readonly info: WorkflowInfo;
+    readonly determinismState: WorkflowDeterminismState;
+    readonly lastEventId: string | null;
+    readonly recordedAt?: Date;
+}
+export interface DeterminismMarkerEnvelope {
+    readonly schemaVersion: number;
+    readonly workflow: WorkflowInfo;
+    readonly determinismState: WorkflowDeterminismState;
+    readonly lastEventId: string | null;
+    readonly recordedAtIso: string;
+}
+export interface DeterminismDiffResult {
+    readonly mismatches: DeterminismMismatch[];
+}
+export interface DeterminismMismatchCommand {
+    readonly kind: 'command';
+    readonly index: number;
+    readonly expected?: WorkflowCommandIntent;
+    readonly actual?: WorkflowCommandIntent;
+    readonly expectedEventId?: string | null;
+    readonly actualEventId?: string | null;
+    readonly workflowTaskCompletedEventId?: string | null;
+    readonly eventType?: EventType;
+}
+export interface DeterminismMismatchRandom {
+    readonly kind: 'random';
+    readonly index: number;
+    readonly expected?: number;
+    readonly actual?: number;
+}
+export interface DeterminismMismatchTime {
+    readonly kind: 'time';
+    readonly index: number;
+    readonly expected?: number;
+    readonly actual?: number;
+}
+export type DeterminismMismatch = DeterminismMismatchCommand | DeterminismMismatchRandom | DeterminismMismatchTime;
+export declare const DETERMINISM_MARKER_NAME = "temporal-bun-sdk/determinism";
+/**
+ * Encode a workflow determinism snapshot into a marker payload map suitable for
+ * use with {@link RecordMarkerCommandAttributes.details}.
+ */
+export declare const encodeDeterminismMarkerDetails: (converter: DataConverter, input: DeterminismMarkerInput) => Effect.Effect<Record<string, Payloads>, unknown, never>;
+export interface DecodeDeterminismMarkerInput {
+    readonly converter: DataConverter;
+    readonly details: Record<string, Payloads> | undefined;
+}
+/**
+ * Decode determinism snapshot metadata from a marker payload map. Returns
+ * `undefined` when the supplied details do not contain a determinism snapshot.
+ */
+export declare const decodeDeterminismMarkerEnvelope: (input: DecodeDeterminismMarkerInput) => Effect.Effect<DeterminismMarkerEnvelope | undefined, unknown, never>;
+/**
+ * Processes workflow history into a determinism snapshot that can seed the
+ * {@link DeterminismGuard}. Downstream tasks populate sticky caches and replay
+ * diagnostics from the returned state.
+ */
+export declare const ingestWorkflowHistory: (intake: ReplayIntake) => Effect.Effect<ReplayResult, unknown, never>;
+/**
+ * Diff determinism state against freshly emitted intents to produce rich
+ * diagnostics for `WorkflowNondeterminismError` instances.
+ */
+export declare const diffDeterminismState: (expected: WorkflowDeterminismState, actual: WorkflowDeterminismState) => Effect.Effect<DeterminismDiffResult, never, never>;
+export declare const resolveHistoryLastEventId: (events: HistoryEvent[]) => string | null;
+export declare const cloneDeterminismState: (state: WorkflowDeterminismState) => WorkflowDeterminismState;
+//# sourceMappingURL=replay.d.ts.map

package/dist/src/workflow/replay.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"replay.d.ts","sourceRoot":"","sources":["../../../src/workflow/replay.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B,OAAO,EAAE,KAAK,aAAa,EAAkD,MAAM,oBAAoB,CAAA;AACvG,OAAO,EAAE,KAAK,QAAQ,EAAoC,MAAM,4CAA4C,CAAA;AAC5G,OAAO,EAAE,SAAS,EAAE,MAAM,8CAA8C,CAAA;AAGxE,OAAO,KAAK,EAEV,YAAY,EASb,MAAM,6CAA6C,CAAA;AACpD,OAAO,KAAK,EAMV,qBAAqB,EACtB,MAAM,YAAY,CAAA;AACnB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAC7C,OAAO,KAAK,EAIV,wBAAwB,EAEzB,MAAM,eAAe,CAAA;AAGtB,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,YAAY,EAAE,CAAA;IAChC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAA;IACrC,QAAQ,CAAC,uBAAuB,CAAC,EAAE,OAAO,CAAA;CAC3C;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,gBAAgB,EAAE,wBAAwB,CAAA;IACnD,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;IACnC,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAA;CACvC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,gBAAgB,EAAE,wBAAwB,CAAA;IACnD,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,CAAA;CAC3B;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAA;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,wBAAwB,CAAA;IACnD,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAC/B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,EAAE,CAAA;CAC3C;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,qBAAqB,CAAA;IACzC,QAAQ,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAA;IACvC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IACxC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IACtC,QAAQ,CAAC,4BAA4B,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IACrD,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;CAC/B;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,MAAM,mBAAmB,GAAG,0BAA0B,GAAG,yBAAyB,GAAG,uBAAuB,CAAA;AAElH,eAAO,MAAM,uBAAuB,iCAAiC,CAAA;AAKrE;;;GAGG;AACH,eAAO,MAAM,8BAA8B,GACzC,WAAW,aAAa,EACxB,OAAO,sBAAsB,KAC5B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,KAAK,CAmBrD,CAAA;AAEJ,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAA;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,SAAS,CAAA;CACvD;AAED;;;GAGG;AACH,eAAO,MAAM,+BAA+B,GAC1C,OAAO,4BAA4B,KAClC,MAAM,CAAC,MAAM,CAAC,yBAAyB,GAAG,SAAS,EAAE,OAAO,EAAE,KAAK,CAkBlE,CAAA;AAEJ;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAAI,QAAQ,YAAY,KAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,OAAO,EAAE,KAAK,CA+CnG,CAAA;AAEJ;;;GAGG;AACH,eAAO,MAAM,oBAAoB,GAC/B,UAAU,wBAAwB,EAClC,QAAQ,wBAAwB,KAC/B,MAAM,CAAC,MAAM,CAAC,qBAAqB,EAAE,KAAK,EAAE,KAAK,CA+DhD,CAAA;AAEJ,eAAO,MAAM,yBAAyB,GAAI,QAAQ,YAAY,EAAE,KAAG,MAAM,GAAG,IAgB3E,CAAA;AAED,eAAO,MAAM,qBAAqB,GAAI,OAAO,wBAAwB,KAAG,wBAQtE,CAAA"}