@usine/engine 0.0.1 → 0.2.0

package/dist/transcript.js

@@ -0,0 +1,59 @@
+import * as AttemptChannel from "@usine/core/attempt/channel";
+import { AttemptId } from "@usine/core/attempt";
+import { Schema } from "effect";
+/**
+ * Global append order of the persisted transcript. Distinct from
+ * `AttemptChannel.Sequence`, which orders messages within one Attempt's channel
+ * direction.
+ */
+export const TranscriptSequence = Schema.Int.check(Schema.isGreaterThanOrEqualTo(1)).pipe(Schema.brand("TranscriptSequence"));
+const LEGACY_TRANSCRIPT_PROTOCOL_VERSION = 3;
+const LegacyTranscriptEnvelope = Schema.Union([
+    Schema.Struct({
+        ...AttemptChannel.OutboundEnvelope.fields,
+        version: Schema.Literal(LEGACY_TRANSCRIPT_PROTOCOL_VERSION),
+    }),
+    Schema.Struct({
+        ...AttemptChannel.InboundEnvelope.fields,
+        version: Schema.Literal(LEGACY_TRANSCRIPT_PROTOCOL_VERSION),
+    }),
+]);
+/** Stored v3 envelopes stay readable; the live channel is v4 only. */
+const TranscriptEnvelope = Schema.Union([AttemptChannel.Envelope, LegacyTranscriptEnvelope]);
+/** One append-only row of an Attempt transcript. */
+export class TranscriptEntry extends Schema.Class("@usine/engine/TranscriptEntry")({
+    sequence: TranscriptSequence,
+    attemptId: AttemptId,
+    direction: AttemptChannel.Direction,
+    envelope: TranscriptEnvelope,
+    receivedAt: Schema.DateTimeUtc,
+}) {
+}
+/** All persisted rows for one Attempt, in append order. */
+export class TranscriptAllQuery extends Schema.TaggedClass("@usine/engine/TranscriptAllQuery")("TranscriptAllQuery", { attemptId: AttemptId }) {
+}
+/** The next bounded set of rows after a cursor, in append order, for following an Attempt's activity. */
+export class TranscriptTailQuery extends Schema.TaggedClass("@usine/engine/TranscriptTailQuery")("TranscriptTailQuery", {
+    attemptId: AttemptId,
+    /** Last row already received; the response excludes this row. */
+    after: TranscriptSequence,
+    /** Maximum number of newer rows to return. */
+    limit: Schema.Int.check(Schema.isGreaterThanOrEqualTo(1)),
+}) {
+}
+/** The newest bounded page before a cursor, returned in append order for loading earlier activity. */
+export class TranscriptPageQuery extends Schema.TaggedClass("@usine/engine/TranscriptPageQuery")("TranscriptPageQuery", {
+    attemptId: AttemptId,
+    /** Earliest row already loaded, excluded from the response; `None` starts at the current tail. */
+    before: Schema.Option(TranscriptSequence),
+    /** Maximum number of earlier rows to return. */
+    limit: Schema.Int.check(Schema.isGreaterThanOrEqualTo(1)),
+}) {
+}
+/** Selects a complete Attempt transcript, newer activity, or an earlier page. */
+export const TranscriptQuery = Schema.Union([
+    TranscriptAllQuery,
+    TranscriptTailQuery,
+    TranscriptPageQuery,
+]);
+//# sourceMappingURL=transcript.js.map

package/dist/transcript.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transcript.js","sourceRoot":"","sources":["../src/transcript.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,cAAc,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CACvF,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CACnC,CAAC;AAIF,MAAM,kCAAkC,GAAG,CAAU,CAAC;AAEtD,MAAM,wBAAwB,GAAG,MAAM,CAAC,KAAK,CAAC;IAC5C,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,cAAc,CAAC,gBAAgB,CAAC,MAAM;QACzC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,kCAAkC,CAAC;KAC5D,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,cAAc,CAAC,eAAe,CAAC,MAAM;QACxC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,kCAAkC,CAAC;KAC5D,CAAC;CACH,CAAC,CAAC;AAEH,sEAAsE;AACtE,MAAM,kBAAkB,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC,CAAC;AAE7F,oDAAoD;AACpD,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,KAAK,CAAkB,+BAA+B,CAAC,CACjG;IACE,QAAQ,EAAE,kBAAkB;IAC5B,SAAS,EAAE,SAAS;IACpB,SAAS,EAAE,cAAc,CAAC,SAAS;IACnC,QAAQ,EAAE,kBAAkB;IAC5B,UAAU,EAAE,MAAM,CAAC,WAAW;CAC/B,CACF;CAAG;AAEJ,2DAA2D;AAC3D,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC,WAAW,CACxD,kCAAkC,CACnC,CAAC,oBAAoB,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;CAAG;AAEpD,yGAAyG;AACzG,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,CACzD,mCAAmC,CACpC,CAAC,qBAAqB,EAAE;IACvB,SAAS,EAAE,SAAS;IACpB,iEAAiE;IACjE,KAAK,EAAE,kBAAkB;IACzB,8CAA8C;IAC9C,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;CAC1D,CAAC;CAAG;AAEL,sGAAsG;AACtG,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,CACzD,mCAAmC,CACpC,CAAC,qBAAqB,EAAE;IACvB,SAAS,EAAE,SAAS;IACpB,kGAAkG;IAClG,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC;IACzC,gDAAgD;IAChD,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;CAC1D,CAAC;CAAG;AAEL,iFAAiF;AACjF,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC;IAC1C,kBAAkB;IAClB,mBAAmB;IACnB,mBAAmB;CACpB,CAAC,CAAC"}

package/dist/workflow/admission.d.ts

@@ -0,0 +1,13 @@
+import type { RunId } from "@usine/core/run";
+import { Context, Effect, Layer } from "effect";
+declare const AttemptAdmission_base: Context.ServiceClass<AttemptAdmission, "@usine/engine/AttemptAdmission", {
+    /** Admits and brackets one Attempt through outcome persistence; denied work waits for runtime teardown. */
+    readonly withAttempt: <A, E, R>(runId: RunId, attempt: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>;
+    readonly drain: () => Effect.Effect<void>;
+}>;
+/** Process-local Attempt admission. Durable Runs stay recoverable when admission closes (ADR 0023). */
+export declare class AttemptAdmission extends AttemptAdmission_base {
+    static readonly layer: Layer.Layer<AttemptAdmission, never, never>;
+}
+export {};
+//# sourceMappingURL=admission.d.ts.map

package/dist/workflow/admission.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"admission.d.ts","sourceRoot":"","sources":["../../src/workflow/admission.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,OAAO,EAAY,MAAM,EAAE,KAAK,EAAe,MAAM,QAAQ,CAAC;;IAOnE,2GAA2G;0BACrF,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC5B,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAC5B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;oBACX,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;;AAT7C,uGAAuG;AACvG,qBAAa,gBAAiB,SAAQ,qBAUD;IACnC,MAAM,CAAC,QAAQ,CAAC,KAAK,8CAkEnB;CACH"}

package/dist/workflow/admission.js

@@ -0,0 +1,55 @@
+import { Context, Deferred, Effect, Layer, Option, Ref } from "effect";
+import { RunEngineShutdown } from "../engine/shutdown.js";
+/** Process-local Attempt admission. Durable Runs stay recoverable when admission closes (ADR 0023). */
+export class AttemptAdmission extends Context.Service()("@usine/engine/AttemptAdmission") {
+    static layer = Layer.effect(AttemptAdmission, Effect.gen(function* () {
+        const hostShutdown = yield* Effect.serviceOption(RunEngineShutdown);
+        const shutdown = Option.isSome(hostShutdown)
+            ? hostShutdown.value
+            : yield* Deferred.make();
+        const active = yield* Ref.make(new Set());
+        const empty = yield* Deferred.make();
+        const enter = Effect.fn("AttemptAdmission.enter")(function* (runId) {
+            yield* Effect.annotateCurrentSpan({ runId });
+            // The host completes the same latch synchronously on a signal. This
+            // read and the active-set update are one atomic Ref.modify callback.
+            const admitted = yield* Ref.modify(active, (current) => Deferred.isDoneUnsafe(shutdown)
+                ? [false, current]
+                : [true, new Set([...current, runId])]);
+            if (!admitted)
+                yield* Effect.logInfo("Attempt deferred until restart; the engine is draining", {
+                    runId,
+                });
+            return admitted;
+        });
+        const leave = Effect.fn("AttemptAdmission.leave")(function* (runId) {
+            yield* Effect.annotateCurrentSpan({ runId });
+            const remaining = yield* Ref.updateAndGet(active, (current) => new Set([...current].filter((id) => id !== runId)));
+            if (yield* Deferred.isDone(shutdown)) {
+                yield* Effect.logInfo("Attempt settled during drain", {
+                    runId,
+                    remainingRunIds: [...remaining],
+                });
+                if (remaining.size === 0)
+                    yield* Deferred.succeed(empty, undefined);
+            }
+        });
+        const withAttempt = Effect.fn("AttemptAdmission.withAttempt")(function* (runId, attempt) {
+            yield* Effect.annotateCurrentSpan({ runId });
+            return yield* Effect.acquireUseRelease(enter(runId), (admitted) => (admitted ? attempt : Effect.never), (admitted) => (admitted ? leave(runId) : Effect.void));
+        });
+        const drain = Effect.fn("AttemptAdmission.drain")(function* () {
+            yield* Deferred.succeed(shutdown, undefined);
+            const current = yield* Ref.get(active);
+            yield* Effect.logInfo("Engine drain started; no further Attempts will be admitted", {
+                activeRunIds: [...current],
+            });
+            if (current.size === 0)
+                yield* Deferred.succeed(empty, undefined);
+            yield* Deferred.await(empty);
+            yield* Effect.logInfo("Engine drain completed; all admitted Attempts settled");
+        });
+        return { withAttempt, drain };
+    }));
+}
+//# sourceMappingURL=admission.js.map

package/dist/workflow/admission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"admission.js","sourceRoot":"","sources":["../../src/workflow/admission.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE1D,uGAAuG;AACvG,MAAM,OAAO,gBAAiB,SAAQ,OAAO,CAAC,OAAO,EAUlD,CAAC,gCAAgC,CAAC;IACnC,MAAM,CAAU,KAAK,GAAG,KAAK,CAAC,MAAM,CAClC,gBAAgB,EAChB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC;QACpE,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;YAC1C,CAAC,CAAC,YAAY,CAAC,KAAK;YACpB,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAQ,CAAC;QACjC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAqB,IAAI,GAAG,EAAE,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAQ,CAAC;QAE3C,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAY;YACvE,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7C,oEAAoE;YACpE,qEAAqE;YACrE,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CACrD,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC;gBAC7B,CAAC,CAAE,CAAC,KAAK,EAAE,OAAO,CAAW;gBAC7B,CAAC,CAAE,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,EAAE,KAAK,CAAC,CAAC,CAAW,CACpD,CAAC;YACF,IAAI,CAAC,QAAQ;gBACX,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,wDAAwD,EAAE;oBAC9E,KAAK;iBACN,CAAC,CAAC;YACL,OAAO,QAAQ,CAAC;QAClB,CAAC,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAY;YACvE,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,YAAY,CACvC,MAAM,EACN,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAChE,CAAC;YACF,IAAI,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACrC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,8BAA8B,EAAE;oBACpD,KAAK;oBACL,eAAe,EAAE,CAAC,GAAG,SAAS,CAAC;iBAChC,CAAC,CAAC;gBACH,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;oBAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACtE,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,8BAA8B,CAAC,CAAC,QAAQ,CAAC,EACrE,KAAY,EACZ,OAA+B;YAE/B,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,iBAAiB,CACpC,KAAK,CAAC,KAAK,CAAC,EACZ,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EACjD,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CACtD,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC,QAAQ,CAAC;YACzD,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACvC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,4DAA4D,EAAE;gBAClF,YAAY,EAAE,CAAC,GAAG,OAAO,CAAC;aAC3B,CAAC,CAAC;YACH,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;gBAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAClE,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC7B,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,uDAAuD,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;QAEH,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAChC,CAAC,CAAC,CACH,CAAC;CACH"}

package/dist/workflow/command.d.ts

@@ -0,0 +1,13 @@
+import { Schema } from "effect";
+/** One-shot requests the store hands to the workflow runtime. */
+export declare const WORKFLOW_COMMANDS: readonly ["Approve", "Continue", "Interrupt", "Resume"];
+export declare const WorkflowCommand: Schema.Literals<readonly ["Approve", "Continue", "Interrupt", "Resume"]>;
+export type WorkflowCommand = typeof WorkflowCommand.Type;
+/**
+ * Replay order after a restart, first delivered first. Interrupt precedes
+ * Continue so a canceled workflow stops before the next queued Event opens,
+ * keeping one open Run per Item; the length constraint makes the list name
+ * every command exactly once.
+ */
+export declare const WORKFLOW_COMMAND_PRIORITY: readonly ["Resume", "Interrupt", "Continue", "Approve"];
+//# sourceMappingURL=command.d.ts.map

package/dist/workflow/command.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../src/workflow/command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,iEAAiE;AACjE,eAAO,MAAM,iBAAiB,YAAI,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,CAAU,CAAC;AAEzF,eAAO,MAAM,eAAe,0EAAqC,CAAC;AAElE,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC;AAE1D;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,yDAOrC,CAAC"}

package/dist/workflow/command.js

@@ -0,0 +1,17 @@
+import { Schema } from "effect";
+/** One-shot requests the store hands to the workflow runtime. */
+export const WORKFLOW_COMMANDS = ["Approve", "Continue", "Interrupt", "Resume"];
+export const WorkflowCommand = Schema.Literals(WORKFLOW_COMMANDS);
+/**
+ * Replay order after a restart, first delivered first. Interrupt precedes
+ * Continue so a canceled workflow stops before the next queued Event opens,
+ * keeping one open Run per Item; the length constraint makes the list name
+ * every command exactly once.
+ */
+export const WORKFLOW_COMMAND_PRIORITY = [
+    "Resume",
+    "Interrupt",
+    "Continue",
+    "Approve",
+];
+//# sourceMappingURL=command.js.map

package/dist/workflow/command.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"command.js","sourceRoot":"","sources":["../../src/workflow/command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,iEAAiE;AACjE,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,CAAU,CAAC;AAEzF,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;AAIlE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG;IACvC,QAAQ;IACR,WAAW;IACX,UAAU;IACV,SAAS;CAGV,CAAC"}

package/dist/workflow/workflow.d.ts

@@ -0,0 +1,18 @@
+import { AgentFailure, DefectFailure, InfraFailure } from "@usine/core/attempt/failure";
+import { RunId } from "@usine/core/run";
+import { StepResult } from "@usine/core/step/result";
+import { Effect, Schema } from "effect";
+import { DurableDeferred, Workflow, WorkflowEngine } from "effect/unstable/workflow";
+import { StepExecutor } from "../step-executor.ts";
+import { AttemptAdmission } from "./admission.ts";
+import { RunStore } from "../store/store.ts";
+import { type RunStoreError } from "../engine/error.ts";
+import { Submission } from "../engine/submission.ts";
+export declare const DurableRun: Workflow.Workflow<"@usine/engine/DurableRun", Schema.Struct<{
+    readonly submission: typeof Submission;
+}>, typeof StepResult, Schema.Union<readonly [typeof InfraFailure, typeof DefectFailure, typeof AgentFailure, typeof import("@usine/core/attempt/failure").RunawayFailure, typeof import("@usine/core/attempt/failure").ChildSessionBudgetFailure]>>;
+export declare const ApprovalGate: DurableDeferred.DurableDeferred<Schema.Void, Schema.Never>;
+export declare const continueWithNewest: (store: RunStore["Service"], completedRunId: RunId) => Effect.Effect<void, RunStoreError, WorkflowEngine.WorkflowEngine>;
+export declare const durableRunLayer: import("effect/Layer").Layer<never, never, AttemptAdmission | RunStore | StepExecutor | WorkflowEngine.WorkflowEngine>;
+export declare const runIdFor: (submission: Submission) => Effect.Effect<string & import("effect/Brand").Brand<"RunId">, never, never>;
+//# sourceMappingURL=workflow.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workflow.d.ts","sourceRoot":"","sources":["../../src/workflow/workflow.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EAEZ,aAAa,EACb,YAAY,EACb,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAExC,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,MAAM,EAAkB,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AACrF,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAyB,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAIL,KAAK,aAAa,EACnB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAOrD,eAAO,MAAM,UAAU;;oPAKqB,CAAC;AAE7C,eAAO,MAAM,YAAY,4DAAqD,CAAC;AAiB/E,eAAO,MAAM,kBAAkB,EAAE,CAC/B,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,EAC1B,cAAc,EAAE,KAAK,KAClB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,EAAE,cAAc,CAAC,cAAc,CAanE,CAAC;AA6FH,eAAO,MAAM,eAAe,wHAAwC,CAAC;AAErE,eAAO,MAAM,QAAQ,yGAEnB,CAAC"}

package/dist/workflow/workflow.js

@@ -0,0 +1,108 @@
+import { AgentFailure, AttemptFailure, DefectFailure, InfraFailure, } from "@usine/core/attempt/failure";
+import { RunId } from "@usine/core/run";
+import { StepResult } from "@usine/core/step/result";
+import { Effect, Option, Result, Schema } from "effect";
+import { DurableDeferred, Workflow, WorkflowEngine } from "effect/unstable/workflow";
+import { StepExecutor } from "../step-executor.js";
+import { AttemptAdmission } from "./admission.js";
+import { AttemptRecoveryFailed, RunStore } from "../store/store.js";
+import { EnginePersistenceError, RunNotFoundError, RunOperationRejectedError, } from "../engine/error.js";
+import { Submission } from "../engine/submission.js";
+const WorkflowPayload = Schema.Struct({
+    submission: Submission,
+});
+export const DurableRun = Workflow.make("@usine/engine/DurableRun", {
+    payload: WorkflowPayload,
+    success: StepResult,
+    error: AttemptFailure,
+    idempotencyKey: ({ submission }) => submission.event.dedupKey,
+}).annotate(Workflow.SuspendOnFailure, true);
+export const ApprovalGate = DurableDeferred.make("@usine/engine/ApprovalGate");
+const asAttemptFailure = (effect) => Effect.catchTags(effect, {
+    EnginePersistenceError: (error) => new InfraFailure({
+        message: `Engine persistence failed during ${error.operation}`,
+        cause: error,
+    }),
+    RunNotFoundError: (error) => Effect.die(error),
+    RunOperationRejectedError: (error) => Effect.die(error),
+});
+const executionId = (submission) => DurableRun.executionId({ submission });
+export const continueWithNewest = Effect.fn("DurableRun.continueWithNewest")(function* (store, completedRunId) {
+    const queued = yield* store.nextQueued(completedRunId);
+    if (Option.isSome(queued)) {
+        const nextExecutionId = yield* executionId(queued.value);
+        const runId = RunId.make(nextExecutionId);
+        const claimed = yield* store.claimQueued(queued.value, runId);
+        if (Option.isSome(claimed)) {
+            yield* DurableRun.execute({ submission: claimed.value.submission }, { discard: true });
+        }
+    }
+    yield* store.completeWorkflowCommand(completedRunId, "Continue");
+});
+const executeAttempt = Effect.fn("DurableRun.attempt")(function* (runId, worker) {
+    yield* Effect.annotateCurrentSpan({ runId, worker });
+    const store = yield* RunStore;
+    const executor = yield* StepExecutor;
+    const started = yield* store.beginAttempt(runId, worker).pipe(asAttemptFailure);
+    if (started instanceof AttemptRecoveryFailed || started._tag === "RunClosed") {
+        return started;
+    }
+    // Durable workflows need a serializable terminal outcome. Preserve an
+    // executor defect without turning a programming bug into an automatic retry.
+    const result = yield* executor
+        .execute(started.execution, {
+        append: (direction, envelope) => store.appendTranscript(direction, envelope).pipe(asAttemptFailure),
+    })
+        .pipe(Effect.catchDefect((defect) => Effect.logError("Step executor defect; operator intervention required", { runId }).pipe(Effect.andThen(new DefectFailure({
+        message: "The step executor crashed outside its typed failure channel",
+        cause: defect,
+    })))), Effect.result);
+    const decision = yield* store
+        .finishAttempt(started.execution.attempt, result)
+        .pipe(asAttemptFailure);
+    return { _tag: "AttemptExecuted", result, decision };
+});
+const executeDurableRun = Effect.fn("DurableRun.execute")(function* ({ submission }, executionId) {
+    const runId = RunId.make(executionId);
+    const store = yield* RunStore;
+    const executor = yield* StepExecutor;
+    const admission = yield* AttemptAdmission;
+    if (submission.approval === "required") {
+        yield* store.parkForApproval(runId).pipe(asAttemptFailure);
+        yield* DurableDeferred.await(ApprovalGate);
+    }
+    while (true) {
+        // The wait for a worker slot stays interruptible so a cancel can reach a run
+        // parked in `reserve`; the scheduler releases or reoffers the slot in its own
+        // onInterrupt. The release obligation begins only once the lease exists.
+        const attempted = yield* Effect.uninterruptibleMask((restore) => restore(executor.reserve(submission)).pipe(Effect.flatMap((lease) => restore(admission.withAttempt(runId, executeAttempt(runId, lease.worker))).pipe(Effect.ensuring(lease.release)))));
+        if (attempted._tag === "RunClosed") {
+            // Canceled, superseded, or revoked while queued: release was the only
+            // obligation, and the closing operation already delivered the interrupt.
+            yield* Effect.logInfo("Run closed while it waited for a worker", {
+                runId,
+                state: attempted.state,
+            });
+            yield* continueWithNewest(store, runId).pipe(asAttemptFailure);
+            return yield* new AgentFailure({
+                message: `The run closed (${attempted.state}) before an attempt started`,
+            });
+        }
+        if (attempted instanceof AttemptRecoveryFailed) {
+            yield* continueWithNewest(store, runId).pipe(asAttemptFailure);
+            return yield* attempted.failure;
+        }
+        const { result, decision } = attempted;
+        if (decision._tag !== "RetryAttempt") {
+            yield* continueWithNewest(store, runId).pipe(asAttemptFailure);
+            if (Result.isSuccess(result))
+                return result.success;
+            return yield* result.failure;
+        }
+    }
+});
+export const durableRunLayer = DurableRun.toLayer(executeDurableRun);
+export const runIdFor = Effect.fn("DurableRun.runIdFor")(function* (submission) {
+    return RunId.make(yield* executionId(submission));
+});
+//# sourceMappingURL=workflow.js.map

package/dist/workflow/workflow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow.js","sourceRoot":"","sources":["../../src/workflow/workflow.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,cAAc,EACd,aAAa,EACb,YAAY,GACb,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAExC,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AACrF,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,qBAAqB,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AACpE,OAAO,EACL,sBAAsB,EACtB,gBAAgB,EAChB,yBAAyB,GAE1B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAErD,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,UAAU,EAAE,UAAU;CACvB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,0BAA0B,EAAE;IAClE,OAAO,EAAE,eAAe;IACxB,OAAO,EAAE,UAAU;IACnB,KAAK,EAAE,cAAc;IACrB,cAAc,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ;CAC9D,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;AAE7C,MAAM,CAAC,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;AAE/E,MAAM,gBAAgB,GAAG,CACvB,MAA0C,EACL,EAAE,CACvC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE;IACvB,sBAAsB,EAAE,CAAC,KAA6B,EAAE,EAAE,CACxD,IAAI,YAAY,CAAC;QACf,OAAO,EAAE,oCAAoC,KAAK,CAAC,SAAS,EAAE;QAC9D,KAAK,EAAE,KAAK;KACb,CAAC;IACJ,gBAAgB,EAAE,CAAC,KAAuB,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;IAChE,yBAAyB,EAAE,CAAC,KAAgC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;CACnF,CAAC,CAAC;AAEL,MAAM,WAAW,GAAG,CAAC,UAAsB,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC;AAEvF,MAAM,CAAC,MAAM,kBAAkB,GAG0C,MAAM,CAAC,EAAE,CAChF,+BAA+B,CAChC,CAAC,QAAQ,CAAC,EAAE,KAA0B,EAAE,cAAqB;IAC5D,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;IACvD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9D,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;IACD,KAAK,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;AACnE,CAAC,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,QAAQ,CAAC,EAC9D,KAAY,EACZ,MAAkB;IAElB,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC;IACrC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAChF,IAAI,OAAO,YAAY,qBAAqB,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC7E,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,sEAAsE;IACtE,6EAA6E;IAC7E,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,QAAQ;SAC3B,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE;QAC1B,MAAM,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE,CAC9B,KAAK,CAAC,gBAAgB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;KACrE,CAAC;SACD,IAAI,CACH,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5B,MAAM,CAAC,QAAQ,CAAC,sDAAsD,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CACrF,MAAM,CAAC,OAAO,CACZ,IAAI,aAAa,CAAC;QAChB,OAAO,EAAE,6DAA6D;QACtE,KAAK,EAAE,MAAM;KACd,CAAC,CACH,CACF,CACF,EACD,MAAM,CAAC,MAAM,CACd,CAAC;IACJ,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK;SAC1B,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC;SAChD,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC1B,OAAO,EAAE,IAAI,EAAE,iBAA0B,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAChE,CAAC,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,QAAQ,CAAC,EACjE,EAAE,UAAU,EAAmB,EAC/B,WAAmB;IAEnB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC;IACrC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAC;IAE1C,IAAI,UAAU,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACvC,KAAK,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC3D,KAAK,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO,IAAI,EAAE,CAAC;QACZ,6EAA6E;QAC7E,8EAA8E;QAC9E,yEAAyE;QACzE,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE,CAC9D,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CACxC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACvB,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAC7E,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAC/B,CACF,CACF,CACF,CAAC;QACF,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACnC,sEAAsE;YACtE,yEAAyE;YACzE,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,yCAAyC,EAAE;gBAC/D,KAAK;gBACL,KAAK,EAAE,SAAS,CAAC,KAAK;aACvB,CAAC,CAAC;YACH,KAAK,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC/D,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC;gBAC7B,OAAO,EAAE,mBAAmB,SAAS,CAAC,KAAK,6BAA6B;aACzE,CAAC,CAAC;QACL,CAAC;QACD,IAAI,SAAS,YAAY,qBAAqB,EAAE,CAAC;YAC/C,KAAK,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC/D,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC;QAClC,CAAC;QAED,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC;QACvC,IAAI,QAAQ,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACrC,KAAK,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC/D,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;gBAAE,OAAO,MAAM,CAAC,OAAO,CAAC;YACpD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QAC/B,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG,UAAU,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;AAErE,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,EAAE,UAAsB;IACxF,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC;AACpD,CAAC,CAAC,CAAC"}

package/drizzle/20260825055549_initial_runtime/migration.sql

@@ -0,0 +1,73 @@
+CREATE TABLE `usine_approvals` (
+	`run_id` text PRIMARY KEY,
+	`event_id` text NOT NULL UNIQUE,
+	CONSTRAINT `fk_usine_approvals_run_id_usine_runs_run_id_fk` FOREIGN KEY (`run_id`) REFERENCES `usine_runs`(`run_id`),
+	CONSTRAINT `fk_usine_approvals_event_id_usine_events_event_id_fk` FOREIGN KEY (`event_id`) REFERENCES `usine_events`(`event_id`)
+);
+--> statement-breakpoint
+CREATE TABLE `usine_attempts` (
+	`attempt_id` text PRIMARY KEY,
+	`run_id` text NOT NULL,
+	`step_name` text NOT NULL,
+	`attempt_number` integer NOT NULL,
+	`started_at` text NOT NULL,
+	`outcome_json` text,
+	CONSTRAINT `fk_usine_attempts_run_id_step_name_usine_steps_run_id_step_name_fk` FOREIGN KEY (`run_id`,`step_name`) REFERENCES `usine_steps`(`run_id`,`step_name`),
+	CONSTRAINT "usine_attempts_number" CHECK("attempt_number" >= 1),
+	CONSTRAINT "usine_attempts_outcome_json_valid" CHECK("outcome_json" is null or json_valid("outcome_json"))
+);
+--> statement-breakpoint
+CREATE TABLE `usine_events` (
+	`event_id` text PRIMARY KEY,
+	`dedup_key` text NOT NULL UNIQUE,
+	`payload_json` text NOT NULL,
+	`received_at` text NOT NULL,
+	CONSTRAINT "usine_events_payload_json_valid" CHECK(json_valid("payload_json"))
+);
+--> statement-breakpoint
+CREATE TABLE `usine_ignored_events` (
+	`event_id` text PRIMARY KEY,
+	`reason` text NOT NULL,
+	CONSTRAINT `fk_usine_ignored_events_event_id_usine_trigger_events_event_id_fk` FOREIGN KEY (`event_id`) REFERENCES `usine_trigger_events`(`event_id`),
+	CONSTRAINT "usine_ignored_events_reason" CHECK("reason" in ('superseded', 'revoked'))
+);
+--> statement-breakpoint
+CREATE TABLE `usine_runs` (
+	`run_id` text PRIMARY KEY,
+	`event_id` text NOT NULL UNIQUE,
+	`loop_name` text NOT NULL,
+	`state_json` text NOT NULL,
+	`opened_at` text NOT NULL,
+	CONSTRAINT `fk_usine_runs_event_id_usine_trigger_events_event_id_fk` FOREIGN KEY (`event_id`) REFERENCES `usine_trigger_events`(`event_id`),
+	CONSTRAINT "usine_runs_state_json_valid" CHECK(json_valid("state_json"))
+);
+--> statement-breakpoint
+CREATE TABLE `usine_steps` (
+	`run_id` text NOT NULL,
+	`step_name` text NOT NULL,
+	`result` text,
+	CONSTRAINT `usine_steps_pk` PRIMARY KEY(`run_id`, `step_name`),
+	CONSTRAINT `fk_usine_steps_run_id_usine_runs_run_id_fk` FOREIGN KEY (`run_id`) REFERENCES `usine_runs`(`run_id`)
+);
+--> statement-breakpoint
+CREATE TABLE `usine_trigger_events` (
+	`event_id` text PRIMARY KEY,
+	`item_key` text NOT NULL,
+	`loop_name` text NOT NULL,
+	`step_name` text NOT NULL,
+	`approval` text NOT NULL,
+	CONSTRAINT `fk_usine_trigger_events_event_id_usine_events_event_id_fk` FOREIGN KEY (`event_id`) REFERENCES `usine_events`(`event_id`),
+	CONSTRAINT "usine_trigger_events_approval" CHECK("approval" in ('none', 'required'))
+);
+--> statement-breakpoint
+CREATE TABLE `usine_workflow_commands` (
+	`run_id` text NOT NULL,
+	`command` text NOT NULL,
+	CONSTRAINT `usine_workflow_commands_pk` PRIMARY KEY(`run_id`, `command`),
+	CONSTRAINT `fk_usine_workflow_commands_run_id_usine_runs_run_id_fk` FOREIGN KEY (`run_id`) REFERENCES `usine_runs`(`run_id`),
+	CONSTRAINT "usine_workflow_commands_command" CHECK("command" in ('Approve', 'Continue', 'Interrupt', 'Resume'))
+);
+--> statement-breakpoint
+CREATE UNIQUE INDEX `usine_attempt_number` ON `usine_attempts` (`run_id`,`step_name`,`attempt_number`);--> statement-breakpoint
+CREATE UNIQUE INDEX `usine_one_in_flight_attempt` ON `usine_attempts` (`run_id`) WHERE "usine_attempts"."outcome_json" is null;--> statement-breakpoint
+CREATE INDEX `usine_trigger_events_item` ON `usine_trigger_events` (`loop_name`,`item_key`);