@voltro/workflow 0.83.1 → 0.85.0

package/dist/{clusterDiagnostics-CGUtnJkX.js → workflowReadSelections-CZAUjP7f.js}

@@ -1,10 +1,10 @@
-import { C as e, S as t, _ as n, b as r, l as i, m as a } from "./journalEncryption--n5VDdYO.js";
+import { C as e, S as t, _ as n, b as r, l as i, m as a } from "./journalEncryption-DTyhUzaS.js";
 import { Context as o, Effect as s, Schema as c } from "effect";
 import { WorkflowRestartObservationSchema as l, WorkflowRestartSelectionSchema as u, WorkflowRestartTargetSchema as d, WorkflowStartTerminalOutcomeSchema as f } from "@voltro/protocol";
 import { and as p, derivedRowId as m, eq as h, gt as g, id as _, integer as ee, isNull as v, json as y, or as te, table as ne, text as b, timestamp as re } from "@voltro/database";
 import { createHash as ie, randomUUID as x } from "node:crypto";
 import { isDeepStrictEqual as ae } from "node:util";
-import { SqlClient as S } from "@effect/sql";
+import { SqlClient as S } from "effect/sql";
 //#region src/admissionTransaction.ts
 var oe = "_voltro_workflow_admission_locks", se = "deployment", C = async (e, t) => (await e.insertIgnoreWithOutcome(oe, {
 	id: se,
@@ -162,7 +162,11 @@ var oe = "_voltro_workflow_admission_locks", se = "deployment", C = async (e, t)
 	workflowName: c.String,
 	tenantId: c.NullOr(c.String),
 	sourceId: c.String,
-	sourceKind: c.Literal("submission", "intent", "run"),
+	sourceKind: c.Literals([
+		"submission",
+		"intent",
+		"run"
+	]),
 	handler: c.NullOr(c.String),
 	callerContext: c.Unknown,
 	report: c.Struct({
@@ -245,7 +249,7 @@ var oe = "_voltro_workflow_admission_locks", se = "deployment", C = async (e, t)
 	return !1;
 }, Ce = c.Struct({
 	handoffReceiptId: c.NullOr(c.String),
-	handoffAttempt: c.NonNegativeInt,
+	handoffAttempt: c.Number.check(c.isInt(), c.isGreaterThanOrEqualTo(0)),
 	acceptedExecutionId: c.NullOr(c.NonEmptyString)
 }), we = (e, t) => `wfrc_${ie("sha256").update(JSON.stringify([
 	"failure",
@@ -382,8 +386,12 @@ var oe = "_voltro_workflow_admission_locks", se = "deployment", C = async (e, t)
 	workflowName: c.NonEmptyString,
 	executionId: c.NonEmptyString,
 	generation: c.NonEmptyString,
-	parentStatus: c.Literal("succeeded", "failed", "cancelled"),
-	closedAt: c.DateFromSelf
+	parentStatus: c.Literals([
+		"succeeded",
+		"failed",
+		"cancelled"
+	]),
+	closedAt: c.Date
 }), Ae = async (e, t, n) => {
 	let [r] = await e.query({
 		table: "_voltro_workflow_runs",
@@ -440,7 +448,7 @@ var oe = "_voltro_workflow_admission_locks", se = "deployment", C = async (e, t)
 	executionId: c.NullOr(c.String),
 	runId: c.NullOr(c.String),
 	receiptsBound: c.Boolean,
-	dispatchAttempts: c.NonNegativeInt,
+	dispatchAttempts: c.Number.check(c.isInt(), c.isGreaterThanOrEqualTo(0)),
 	failureId: c.NullOr(c.String),
 	retry: c.Struct({
 		attempts: c.Int,
@@ -706,8 +714,8 @@ var Fe = async (e, t, n) => (await Ie(e, t, n)).map((e) => Ne(e)), Ie = async (e
 	pendingId: c.String,
 	submissionId: c.NullOr(c.String),
 	terminal: c.NullOr(f),
-	requestFingerprint: c.optional(c.NullOr(c.String.pipe(c.pattern(/^[a-f0-9]{64}$/))))
-}).pipe(c.filter((e) => e.submissionId === null || e.terminal === null, { message: () => "A start receipt cannot be both submitted and terminal before admission" })), P = c.decodeUnknownSync(Je), F = async (e, t) => {
+	requestFingerprint: c.optional(c.NullOr(c.String.pipe(c.check(c.isPattern(/^[a-f0-9]{64}$/)))))
+}).pipe(c.check(c.makeFilter((e) => e.submissionId === null || e.terminal === null, { message: "A start receipt cannot be both submitted and terminal before admission" }))), P = c.decodeUnknownSync(Je), F = async (e, t) => {
 	let n = await e.query({
 		table: N,
 		predicate: h("id", t),
@@ -1161,27 +1169,28 @@ var Fe = async (e, t, n) => (await Ie(e, t, n)).map((e) => Ne(e)), Ie = async (e
 		direction: "asc"
 	}], n)), i = t.getTime(), a = r.filter((e) => e.releasedAt != null && B(e.admittedAt) < i);
 	return await Promise.all(a.map((t) => e.delete(L, String(t.id)))), a.length;
-}, G = "_voltro_workflow_control_requests", K = c.String.pipe(c.minLength(1)), wt = c.Struct({
-	kind: c.Literal("confirmed", "already-terminal"),
-	status: c.Literal("succeeded", "failed", "cancelled"),
-	completedAt: c.Number.pipe(c.finite()),
+}, G = "_voltro_workflow_control_requests", K = c.String.pipe(c.check(c.isMinLength(1))), wt = c.Struct({
+	kind: c.Literals(["confirmed", "already-terminal"]),
+	status: c.Literals([
+		"succeeded",
+		"failed",
+		"cancelled"
+	]),
+	completedAt: c.Number.pipe(c.check(c.isFinite())),
 	output: c.Unknown,
 	errorTag: c.NullOr(c.String),
 	errorMessage: c.NullOr(c.String)
 }), Tt = c.Struct({
 	kind: c.Literal("confirmed"),
 	status: c.Literal("running"),
-	enteredAt: c.Number.pipe(c.finite()),
+	enteredAt: c.Number.pipe(c.check(c.isFinite())),
 	generation: K
-}), Et = c.Union(wt, Tt), Dt = c.Struct({
+}), Et = c.Union([wt, Tt]), Dt = c.Struct({
 	reason: c.NonEmptyString,
-	detail: c.optional(c.Record({
-		key: c.String,
-		value: c.Unknown
-	}))
+	detail: c.optional(c.Record(c.String, c.Unknown))
 }), Ot = c.Struct({ tenantId: c.NullOr(c.String) }), q = c.Struct({
-	requestId: c.String.pipe(c.pattern(/^[1-9]\d*$/)),
-	replyId: c.String.pipe(c.pattern(/^[1-9]\d*$/)),
+	requestId: c.String.pipe(c.check(c.isPattern(/^[1-9]\d*$/))),
+	replyId: c.String.pipe(c.check(c.isPattern(/^[1-9]\d*$/))),
 	restartToken: c.NullOr(c.NonEmptyString)
 }), kt = c.Struct({
 	id: K,
@@ -1189,16 +1198,20 @@ var Fe = async (e, t, n) => (await Ie(e, t, n)).map((e) => Ne(e)), Ie = async (e
 	workflowName: K,
 	executionId: K,
 	generation: K,
-	operation: c.Literal("cancel", "terminate", "resume"),
-	requestedAt: c.Number.pipe(c.finite()),
+	operation: c.Literals([
+		"cancel",
+		"terminate",
+		"resume"
+	]),
+	requestedAt: c.Number.pipe(c.check(c.isFinite())),
 	owner: c.NullOr(Ot),
 	cause: c.optional(c.NullOr(Dt)),
-	dispatchAttempts: c.Number.pipe(c.int(), c.nonNegative()),
+	dispatchAttempts: c.Number.pipe(c.check(c.isInt()), c.check(c.isGreaterThanOrEqualTo(0))),
 	resumeJournal: c.NullOr(q),
 	result: c.NullOr(Et)
 }), At = c.Struct({
 	...kt.fields,
-	requestedAt: c.DateFromSelf
+	requestedAt: c.Date
 }), J = (e) => {
 	let t = c.decodeUnknownSync(At)(e);
 	return c.decodeUnknownSync(kt)({
@@ -1330,7 +1343,7 @@ var Fe = async (e, t, n) => (await Ie(e, t, n)).map((e) => Ne(e)), Ie = async (e
 		result: c.decodeUnknownSync(Et)({
 			kind: "already-terminal",
 			status: a.status,
-			completedAt: c.decodeUnknownSync(c.DateFromSelf)(a.completedAt).getTime(),
+			completedAt: c.decodeUnknownSync(c.Date)(a.completedAt).getTime(),
 			output: a.output,
 			errorTag: a.errorTag,
 			errorMessage: a.errorMessage
@@ -1516,7 +1529,7 @@ var Fe = async (e, t, n) => (await Ie(e, t, n)).map((e) => Ne(e)), Ie = async (e
 		if (typeof o.id != "string") throw Error("Workflow control cursor has an invalid identity");
 		a = o.id;
 	}
-}, Wt = "voltro-workflow-restart", Gt = class extends o.Tag("voltro/CurrentWorkflowDelivery")() {}, Kt = (e) => ({
+}, Wt = "voltro-workflow-restart", Gt = class extends o.Service()("voltro/CurrentWorkflowDelivery") {}, Kt = (e) => ({
 	...e,
 	registerEntity: (t, n, r) => e.registerEntity(t, t.type.startsWith("Workflow/") ? n.pipe(s.map((e) => {
 		let t = e.run;
@@ -1535,13 +1548,10 @@ var Fe = async (e, t, n) => (await Ie(e, t, n)).map((e) => Ne(e)), Ie = async (e
 			}
 		};
 	})) : n, r)
-}), qt = c.parseJson(c.Struct({
+}), qt = c.fromJsonString(c.Struct({
 	_tag: c.Literal("Success"),
 	value: c.Struct({ _tag: c.Literal("Suspended") })
-})), Jt = c.parseJson(c.Record({
-	key: c.String,
-	value: c.String
-})), Yt = (e) => s.gen(function* () {
+})), Jt = c.fromJsonString(c.Record(c.String, c.String)), Yt = (e) => s.gen(function* () {
 	if (!/^[1-9]\d*$/.test(e.requestId) || e.workflowName.length === 0 || e.executionId.length === 0) return yield* s.die(/* @__PURE__ */ Error("Suspension observation requires an exact engine delivery owner"));
 	let [t] = yield* (yield* S.SqlClient).withoutTransforms()`
       SELECT m.entity_type, m.entity_id, m.tag, m.headers, r.id AS reply_id, r.payload
@@ -1600,10 +1610,7 @@ var Fe = async (e, t, n) => (await Ie(e, t, n)).map((e) => Ne(e)), Ie = async (e
 			let [e] = yield* o`
           SELECT entity_type, entity_id, tag, headers FROM ${l} WHERE id = ${r.requestId}`;
 			if (e?.entity_type !== `Workflow/${r.workflowName}` || e.entity_id !== r.executionId || e.tag !== "run" || r.workflowName.length === 0 || r.executionId.length === 0) return yield* s.die(/* @__PURE__ */ Error("Journal resume selection belongs to another execution or procedure"));
-			if (((yield* s.sync(() => c.decodeUnknownSync(c.parseJson(c.Record({
-				key: c.String,
-				value: c.String
-			})))(e.headers)))["voltro-workflow-restart"] ?? null) !== r.restartToken) return {
+			if (((yield* s.sync(() => c.decodeUnknownSync(c.fromJsonString(c.Record(c.String, c.String)))(e.headers)))["voltro-workflow-restart"] ?? null) !== r.restartToken) return {
 				kind: "changed",
 				requestId: r.requestId
 			};
@@ -1612,10 +1619,7 @@ var Fe = async (e, t, n) => (await Ie(e, t, n)).map((e) => Ne(e)), Ie = async (e
 			let [e] = yield* o`
           SELECT tag, entity_type, headers FROM ${l} WHERE id = ${n.requestId}`;
 			if (e?.tag !== "run" || !e.entity_type.startsWith("Workflow/")) return yield* s.die(/* @__PURE__ */ Error("Journal restart marker can only target a workflow run"));
-			if (t = yield* s.sync(() => c.decodeUnknownSync(c.parseJson(c.Record({
-				key: c.String,
-				value: c.String
-			})))(e.headers)), t["voltro-workflow-restart"] === n.token) return {
+			if (t = yield* s.sync(() => c.decodeUnknownSync(c.fromJsonString(c.Record(c.String, c.String)))(e.headers)), t["voltro-workflow-restart"] === n.token) return {
 				kind: "already-reset",
 				count: a.length
 			};
@@ -1683,7 +1687,7 @@ var Fe = async (e, t, n) => (await Ie(e, t, n)).map((e) => Ne(e)), Ie = async (e
 	workflowName: c.NonEmptyString,
 	tenantId: c.NullOr(c.NonEmptyString),
 	selection: $,
-	withdrawnAt: c.DateFromSelf
+	withdrawnAt: c.Date
 }), nn = async (e, t) => {
 	let n = c.decodeUnknownSync(d)(t), [r] = await e.query({
 		table: en.tableName,
@@ -1717,8 +1721,8 @@ var Fe = async (e, t, n) => (await Ie(e, t, n)).map((e) => Ne(e)), Ie = async (e
 		executionId: Z,
 		runId: c.String
 	})),
-	requestedAt: c.DateFromSelf,
-	dispatchAttempts: c.NonNegativeInt,
+	requestedAt: c.Date,
+	dispatchAttempts: c.Number.check(c.isInt(), c.isGreaterThanOrEqualTo(0)),
 	enteredGeneration: c.NullOr(Z)
 }), on = (e, t) => e.kind === t.kind && (e.kind === "failed-steps" || t.kind === "from-step" && e.stepName === t.stepName), sn = async (e, t) => {
 	let n = c.decodeUnknownSync(d)(t), [r] = await e.query({
@@ -2064,7 +2068,7 @@ var Fe = async (e, t, n) => (await Ie(e, t, n)).map((e) => Ne(e)), Ie = async (e
 			}
 		})
 	};
-}, _n = 6e5, vn = class extends o.Tag("@voltro/workflow/ClusterDiagnostics")() {}, yn = (e, t, n = Date.now()) => s.flatMap(e.messagesFor(t), (t) => {
+}, _n = 6e5, vn = class extends o.Service()("@voltro/workflow/ClusterDiagnostics") {}, yn = (e, t, n = Date.now()) => s.flatMap(e.messagesFor(t), (t) => {
 	if (t.length === 0) return s.succeed(void 0);
 	let r = [...new Set(t.filter((e) => !e.processed).map((e) => e.shardId))], i = r.length === 0 ? s.succeed([]) : e.shardLockHolders(r);
 	return s.map(i, (r) => ({
@@ -2079,6 +2083,14 @@ var Fe = async (e, t, n) => (await Ie(e, t, n)).map((e) => Ne(e)), Ie = async (e
 		})),
 		shardLocks: r
 	}));
-});
+}), bn = (e) => e.findLast((e, t, n) => t in n && e._tag === "WithExit"), xn = (e) => {
+	let t = /* @__PURE__ */ new Set();
+	for (let n of e) {
+		if (n.eventType !== "update-completed" && n.eventType !== "update-failed") continue;
+		let e = n.payload?.updateId;
+		typeof e == "string" && e.length > 0 && t.add(e);
+	}
+	return t;
+};
 //#endregion
-export { ft as $, L as A, Ae as At, pt as B, ge as Bt, Pt as C, ze as Ct, Y as D, Ge as Dt, Mt as E, Ie as Et, bt as F, Oe as Ft, it as G, le as Gt, St as H, he as Ht, et as I, E as It, ct as J, nt as K, ue as Kt, gt as L, D as Lt, R as M, O as Mt, I as N, Se as Nt, Ht as O, Le as Ot, ht as P, xe as Pt, dt as Q, _t as R, ve as Rt, Lt as S, Fe as St, Nt as T, M as Tt, yt as U, me as Ut, z as V, fe as Vt, lt as W, de as Wt, ot as X, Ct as Y, rt as Z, Kt as _, We as _t, ln as a, qe as at, Vt as b, Me as bt, fn as c, F as ct, X as d, Xe as dt, at as et, en as f, $e as ft, Wt as g, Ve as gt, Gt as h, Be as ht, gn as i, N as it, tt as j, k as jt, Ut as k, Re as kt, hn as l, Ye as lt, Qt as m, je as mt, vn as n, xt as nt, cn as o, Qe as ot, Yt as p, Ke as pt, mt as q, C as qt, yn as r, H as rt, dn as s, P as st, _n as t, W as tt, un as u, Ze as ut, Ft as v, Ne as vt, Rt as w, He as wt, Bt as x, Ue as xt, zt as y, Pe as yt, vt as z, ce as zt };
+export { rt as $, Ht as A, Le as At, _t as B, ve as Bt, Bt as C, Ue as Ct, Nt as D, M as Dt, Rt as E, He as Et, I as F, Se as Ft, yt as G, me as Gt, pt as H, ge as Ht, ht as I, xe as It, nt as J, ue as Jt, lt as K, de as Kt, bt as L, Oe as Lt, L as M, Ae as Mt, tt as N, k as Nt, Mt as O, Ie as Ot, R as P, O as Pt, ot as Q, et as R, E as Rt, Vt as S, Me as St, Pt as T, ze as Tt, z as U, fe as Ut, vt as V, ce as Vt, St as W, he as Wt, ct as X, mt as Y, C as Yt, Ct as Z, Gt as _, Be as _t, yn as a, H as at, Ft as b, Ne as bt, cn as c, Qe as ct, hn as d, Ye as dt, dt as et, un as f, Ze as ft, Qt as g, je as gt, Yt as h, Ke as ht, vn as i, xt as it, Ut as j, Re as jt, Y as k, Ge as kt, dn as l, P as lt, en as m, $e as mt, xn as n, at as nt, gn as o, N as ot, X as p, Xe as pt, it as q, le as qt, _n as r, W as rt, ln as s, qe as st, bn as t, ft as tt, fn as u, F as ut, Wt as v, Ve as vt, Lt as w, Fe as wt, zt as x, Pe as xt, Kt as y, We as yt, gt as z, D as zt };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@voltro/workflow",
-  "version": "0.83.1",
+  "version": "0.85.0",
   "description": "Durable workflows for Voltro — the workflow() descriptor + step() / awaitSignal primitives over @effect/cluster, with a browser-safe define subpath.",
   "keywords": [
     "voltro",
@@ -48,16 +48,13 @@
     "node": ">=24.0.0"
   },
   "dependencies": {
-    "@effect/cluster": "^0.60.2",
-    "@effect/sql": "^0.52.1",
-    "@effect/workflow": "^0.19.1",
-    "@voltro/database": "0.83.1",
-    "@voltro/logger": "0.83.1",
-    "@voltro/protocol": "0.83.1"
+    "@voltro/database": "0.85.0",
+    "@voltro/logger": "0.85.0",
+    "@voltro/protocol": "0.85.0"
   },
   "peerDependencies": {
-    "effect": "^3.22.2",
-    "vitest": "^5.0.0"
+    "effect": "4.0.1",
+    "vitest": ">=3.0.0"
   },
   "peerDependenciesMeta": {
     "vitest": {