@usine/engine 0.0.0 → 0.1.0

package/dist/store/store.js

@@ -0,0 +1,374 @@
+import { Attempt, AttemptChannel, AttemptFailure, Event, Item, Loop, Run, RunState, StepResult, Worker, } from "@usine/core";
+import { Cause, Context, DateTime, Effect, Exit, Layer, Option, Schema } from "effect";
+import { RunDatabase } from "../database/database.js";
+import { Claimed, Ignored, Queued, RunOperationRejectedError, RunSnapshot, StepExecution, Submission, TranscriptEntry, TranscriptQuery, } from "../model.js";
+import { persistence, submissionFromRow } from "./codec.js";
+import { queriesFor } from "./queries.js";
+const MAX_AUTO_ATTEMPTS = Attempt.AttemptNumber.make(3);
+export class StoredSubmission extends Schema.Class("@usine/engine/internal/StoredSubmission")({
+    submission: Submission,
+    runId: Run.RunId,
+}) {
+}
+export class RecoverableRun extends Schema.Class("@usine/engine/internal/RecoverableRun")({
+    submission: Submission,
+    runId: Run.RunId,
+    state: RunState.RunState,
+}) {
+}
+export class Claim extends Schema.Class("@usine/engine/internal/Claim")({
+    submission: Submission,
+    result: Schema.Union([Claimed, Queued, Ignored]),
+    supersededRun: Schema.Option(Run.RunId),
+}) {
+}
+export class AttemptStarted extends Schema.TaggedClass("@usine/engine/internal/AttemptStarted")("AttemptStarted", {
+    execution: StepExecution,
+}) {
+}
+export class AttemptRecoveryFailed extends Schema.TaggedClass("@usine/engine/internal/AttemptRecoveryFailed")("AttemptRecoveryFailed", {
+    failure: AttemptFailure.InfraFailure,
+}) {
+}
+/**
+ * The Run closed (canceled, superseded, or revoked) while it waited for a
+ * worker slot — a routine outcome once capacity queues exist, never an error.
+ */
+export class RunClosed extends Schema.TaggedClass("@usine/engine/internal/RunClosed")("RunClosed", {
+    state: Schema.String,
+}) {
+}
+const makeRunStore = Effect.gen(function* () {
+    const database = yield* RunDatabase;
+    const queries = queriesFor(database);
+    const claimedRun = (submission, runId, supersededRun = Option.none()) => new Claim({
+        submission,
+        result: new Claimed({ eventId: submission.event.id, runId }),
+        supersededRun,
+    });
+    const openRun = Effect.fn("RunStore.openRun")(function* (tx, submission, runId, supersededRun = Option.none()) {
+        yield* tx.createRun(submission, submission.event.id, runId);
+        return claimedRun(submission, runId, supersededRun);
+    });
+    const recordAndClaim = Effect.fn("RunStore.recordAndClaim")(function* (submission, requestedRunId) {
+        return yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const recorded = yield* tx.recordTriggerEvent(submission);
+            const existing = yield* tx.runForEvent(recorded.event.id);
+            if (existing[0] !== undefined) {
+                return claimedRun(recorded, existing[0].runId);
+            }
+            const ignored = yield* tx.ignoredEvent(recorded.event.id);
+            if (ignored[0] !== undefined) {
+                return new Claim({
+                    submission: recorded,
+                    result: new Ignored({
+                        eventId: recorded.event.id,
+                        reason: ignored[0].reason,
+                    }),
+                    supersededRun: Option.none(),
+                });
+            }
+            const blocking = yield* tx.blockingRun(recorded.loop, recorded.itemKey);
+            const blockedBy = blocking[0];
+            if (blockedBy === undefined) {
+                return yield* openRun(tx, recorded, requestedRunId);
+            }
+            const blockedSnapshot = yield* tx.snapshot(blockedBy.runId);
+            if (blockedSnapshot.run.state._tag === "Running") {
+                return new Claim({
+                    submission: recorded,
+                    result: new Queued({ eventId: recorded.event.id }),
+                    supersededRun: Option.none(),
+                });
+            }
+            if (blockedSnapshot.run.state._tag === "Pending" ||
+                blockedSnapshot.run.state._tag === "Waiting") {
+                yield* tx.updateState(blockedSnapshot.run.id, RunState.supersede(blockedSnapshot.run.state, recorded.event.id));
+                yield* tx.requestInterrupt(blockedSnapshot.run.id);
+                return yield* openRun(tx, recorded, requestedRunId, Option.some(blockedSnapshot.run.id));
+            }
+            return yield* openRun(tx, recorded, requestedRunId);
+        }));
+    }, persistence("submit Event"));
+    const parkForApproval = Effect.fn("RunStore.parkForApproval")(function* (runId) {
+        yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const current = yield* tx.snapshot(runId);
+            if (current.run.state._tag === "Pending") {
+                yield* tx.updateState(runId, RunState.awaitApproval(current.run.state));
+            }
+        }));
+    }, persistence("park run for approval"));
+    const beginAttempt = Effect.fn("RunStore.beginAttempt")(function* (runId, worker) {
+        return yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const current = yield* tx.snapshot(runId);
+            let runState = current.run.state;
+            const lastAttempt = current.attempts[current.attempts.length - 1];
+            if (runState._tag === "Running" &&
+                lastAttempt !== undefined &&
+                Option.isNone(lastAttempt.outcome)) {
+                const failure = new AttemptFailure.InfraFailure({
+                    message: "The orchestrator stopped during the attempt",
+                    cause: new Error("attempt interrupted by orchestrator restart"),
+                });
+                yield* tx.closeAttempt(lastAttempt.id, new Attempt.Failed({ failure }));
+                if (!Attempt.shouldAutoRetry({
+                    failure,
+                    number: lastAttempt.number,
+                    maxAutoAttempts: MAX_AUTO_ATTEMPTS,
+                })) {
+                    yield* tx.updateState(runId, RunState.fail(runState));
+                    yield* tx.requestWorkflowCommand(runId, "Continue");
+                    return new AttemptRecoveryFailed({ failure });
+                }
+            }
+            if (runState._tag === "Pending" || runState._tag === "Waiting") {
+                runState = RunState.start(runState);
+                yield* tx.updateState(runId, runState);
+            }
+            if (runState._tag !== "Running") {
+                // Cancel, supersede, and revoke can all land while the run waits
+                // for a worker slot; the caller releases the slot and moves on.
+                return new RunClosed({ state: runState._tag });
+            }
+            const number = Attempt.AttemptNumber.make((lastAttempt?.number ?? 0) + 1);
+            const attemptId = Attempt.AttemptId.make(`${runId}/${current.step.name}/${number}`);
+            const startedAt = yield* DateTime.now;
+            const attempt = new Attempt.Attempt({
+                id: attemptId,
+                runId,
+                stepName: current.step.name,
+                worker,
+                number,
+                brain: current.agent.brain,
+                parentModel: current.parentModel,
+                startedAt,
+                outcome: Option.none(),
+            });
+            yield* tx.addAttempt(attempt);
+            return new AttemptStarted({
+                execution: new StepExecution({
+                    attempt,
+                    event: current.event,
+                    run: new Run.Run({
+                        id: current.run.id,
+                        eventId: current.run.eventId,
+                        loop: current.run.loop,
+                        state: runState,
+                        openedAt: current.run.openedAt,
+                    }),
+                    step: current.step,
+                    repository: current.repository,
+                    revision: current.revision,
+                    task: current.task,
+                    agent: current.agent,
+                    parentModel: current.parentModel,
+                }),
+            });
+        }));
+    }, persistence("begin attempt"));
+    const succeedAttempt = Effect.fn("RunStore.succeedAttempt")(function* (attempt, result) {
+        yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const current = yield* tx.snapshot(attempt.runId);
+            if (current.run.state._tag !== "Running")
+                return;
+            yield* tx.closeAttempt(attempt.id, new Attempt.Succeeded());
+            yield* tx.updateStepResult(attempt.runId, attempt.stepName, result);
+            yield* tx.updateState(attempt.runId, RunState.succeed(current.run.state));
+            yield* tx.requestWorkflowCommand(attempt.runId, "Continue");
+        }));
+    }, persistence("succeed attempt"));
+    const failAttempt = Effect.fn("RunStore.failAttempt")(function* (attempt, failure) {
+        return yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const current = yield* tx.snapshot(attempt.runId);
+            if (current.run.state._tag !== "Running")
+                return false;
+            yield* tx.closeAttempt(attempt.id, new Attempt.Failed({ failure }));
+            const retry = Attempt.shouldAutoRetry({
+                failure,
+                number: attempt.number,
+                maxAutoAttempts: MAX_AUTO_ATTEMPTS,
+            });
+            if (!retry) {
+                yield* tx.updateState(attempt.runId, RunState.fail(current.run.state));
+                yield* tx.requestWorkflowCommand(attempt.runId, "Continue");
+            }
+            return retry;
+        }));
+    }, persistence("fail attempt"));
+    const approve = Effect.fn("RunStore.approve")(function* (runId, approval) {
+        yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            if (yield* tx.approvalExists(runId))
+                return;
+            const current = yield* tx.snapshot(runId);
+            if (current.run.state._tag !== "Waiting") {
+                return yield* new RunOperationRejectedError({
+                    runId,
+                    operation: "approve",
+                    state: current.run.state._tag,
+                });
+            }
+            yield* tx.recordApproval(runId, approval);
+            yield* tx.requestWorkflowCommand(runId, "Approve");
+        }));
+    }, persistence("approve run"));
+    const retry = Effect.fn("RunStore.retry")(function* (runId) {
+        yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const current = yield* tx.snapshot(runId);
+            if (current.run.state._tag === "Failed") {
+                yield* tx.updateState(runId, RunState.retry(current.run.state));
+                yield* tx.requestWorkflowCommand(runId, "Resume");
+                return;
+            }
+            if (current.run.state._tag === "Running" &&
+                (yield* tx.hasWorkflowCommand(runId, "Resume"))) {
+                return;
+            }
+            return yield* new RunOperationRejectedError({
+                runId,
+                operation: "retry",
+                state: current.run.state._tag,
+            });
+        }));
+    }, persistence("retry run"));
+    const cancel = Effect.fn("RunStore.cancel")(function* (runId) {
+        return yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const current = yield* tx.snapshot(runId);
+            if (!RunState.isOpen(current.run.state)) {
+                const alreadyClosed = { _tag: "AlreadyClosed" };
+                return alreadyClosed;
+            }
+            let openAttempt = Option.none();
+            if (current.run.state._tag === "Running") {
+                const attempt = current.attempts[current.attempts.length - 1];
+                if (attempt !== undefined && Option.isNone(attempt.outcome)) {
+                    yield* tx.closeAttempt(attempt.id, new Attempt.Canceled());
+                    openAttempt = Option.some(attempt.id);
+                }
+            }
+            yield* tx.updateState(runId, RunState.cancelByOperator(current.run.state));
+            yield* tx.requestInterrupt(runId);
+            yield* tx.requestWorkflowCommand(runId, "Continue");
+            const canceled = { _tag: "Canceled", openAttempt };
+            return canceled;
+        }));
+    }, persistence("cancel run"));
+    const revoke = Effect.fn("RunStore.revoke")(function* (loop, itemKey) {
+        return yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const storedRuns = yield* tx.revokeUnstarted(loop, itemKey);
+            for (const row of storedRuns) {
+                const current = yield* tx.snapshot(row.runId);
+                if (current.run.state._tag === "Pending" || current.run.state._tag === "Waiting") {
+                    yield* tx.updateState(row.runId, RunState.revoke(current.run.state));
+                    yield* tx.requestInterrupt(row.runId);
+                }
+            }
+            return storedRuns.map((row) => row.runId);
+        }));
+    }, persistence("revoke run"));
+    const claimQueued = Effect.fn("RunStore.claimQueued")(function* (submission, runId) {
+        return yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const existing = yield* tx.runForEvent(submission.event.id);
+            if (existing[0] !== undefined) {
+                return Option.some(new StoredSubmission({ submission, runId: existing[0].runId }));
+            }
+            if ((yield* tx.ignoredEvent(submission.event.id)).length > 0) {
+                return Option.none();
+            }
+            if ((yield* tx.blockingRun(submission.loop, submission.itemKey)).length > 0) {
+                return Option.none();
+            }
+            yield* tx.createRun(submission, submission.event.id, runId);
+            return Option.some(new StoredSubmission({ submission, runId }));
+        }));
+    }, persistence("claim queued Event"));
+    const recoverable = Effect.fn("RunStore.recoverable")(function* () {
+        return (yield* queries.recoverable()).map((row) => new RecoverableRun({
+            submission: submissionFromRow(row),
+            runId: row.runId,
+            state: row.state,
+        }));
+    }, persistence("list recoverable runs"));
+    const appendTranscript = Effect.fn("RunStore.appendTranscript")(function* (direction, envelope) {
+        const receivedAt = yield* DateTime.now;
+        yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            if (direction === "outbound" && envelope.payload._tag === "Started") {
+                yield* tx.updateAttemptParentModel(envelope.attemptId, envelope.payload.parentModel);
+            }
+            yield* tx.appendTranscript(direction, envelope, receivedAt);
+        }));
+    }, persistence("append Attempt transcript"));
+    const transcript = Effect.fn("RunStore.transcript")(function* (query) {
+        return yield* queries.transcript(query);
+    }, persistence("read Attempt transcript"));
+    const reconcileCompletion = Effect.fn("RunStore.reconcileCompletion")(function* (runId, result) {
+        if (result._tag !== "Complete")
+            return;
+        yield* database.transaction((transaction) => Effect.gen(function* () {
+            const tx = queriesFor(transaction);
+            const current = yield* tx.snapshot(runId);
+            if (current.run.state._tag !== "Running")
+                return;
+            const attempt = current.attempts[current.attempts.length - 1];
+            if (attempt === undefined || Option.isSome(attempt.outcome))
+                return;
+            if (Exit.isSuccess(result.exit)) {
+                yield* tx.closeAttempt(attempt.id, new Attempt.Succeeded());
+                yield* tx.updateStepResult(attempt.runId, attempt.stepName, result.exit.value);
+                yield* tx.updateState(runId, RunState.succeed(current.run.state));
+                yield* tx.requestWorkflowCommand(runId, "Continue");
+                return;
+            }
+            const failure = Cause.findErrorOption(result.exit.cause);
+            if (Option.isNone(failure))
+                return;
+            yield* tx.closeAttempt(attempt.id, new Attempt.Failed({ failure: failure.value }));
+            yield* tx.updateState(runId, RunState.fail(current.run.state));
+            yield* tx.requestWorkflowCommand(runId, "Continue");
+        }));
+    }, persistence("reconcile workflow completion"));
+    return {
+        approve,
+        appendTranscript,
+        beginAttempt,
+        cancel,
+        claimQueued,
+        completeWorkflowCommand: (runId, command) => queries
+            .completeWorkflowCommand(runId, command)
+            .pipe(persistence("complete workflow command")),
+        failAttempt,
+        nextQueued: (runId) => queries.nextQueued(runId).pipe(persistence("find queued Event")),
+        parkForApproval,
+        pendingWorkflowCommands: queries
+            .pendingWorkflowCommands()
+            .pipe(persistence("list pending workflow commands")),
+        recordAndClaim,
+        reconcileCompletion,
+        recoverable: recoverable(),
+        retry,
+        revoke,
+        snapshot: (runId) => queries.snapshot(runId).pipe(persistence("read run")),
+        succeedAttempt,
+        transcript,
+    };
+});
+/**
+ * The durable Run projection store. The interface below is the store's
+ * declared contract — the seam any other backend (for example a Postgres
+ * store) implements with its own `Layer.effect(RunStore, ...)`. Methods speak
+ * domain vocabulary only and fail only with `RunStoreError`.
+ */
+export class RunStore extends Context.Service()("@usine/engine/internal/RunStore") {
+    static layer = Layer.effect(RunStore, makeRunStore);
+}
+//# sourceMappingURL=store.js.map

package/dist/store/store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../../src/store/store.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,cAAc,EACd,cAAc,EACd,KAAK,EACL,IAAI,EACJ,IAAI,EACJ,GAAG,EACH,QAAQ,EACR,UAAU,EACV,MAAM,GACP,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEvF,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EACL,OAAO,EACP,OAAO,EACP,MAAM,EACN,yBAAyB,EACzB,WAAW,EACX,aAAa,EACb,UAAU,EACV,eAAe,EACf,eAAe,GAGhB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAA2B,MAAM,YAAY,CAAC;AACrF,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,MAAM,iBAAiB,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAExD,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,KAAK,CAChD,yCAAyC,CAC1C,CAAC;IACA,UAAU,EAAE,UAAU;IACtB,KAAK,EAAE,GAAG,CAAC,KAAK;CACjB,CAAC;CAAG;AAEL,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,KAAK,CAC9C,uCAAuC,CACxC,CAAC;IACA,UAAU,EAAE,UAAU;IACtB,KAAK,EAAE,GAAG,CAAC,KAAK;IAChB,KAAK,EAAE,QAAQ,CAAC,QAAQ;CACzB,CAAC;CAAG;AAEL,MAAM,OAAO,KAAM,SAAQ,MAAM,CAAC,KAAK,CAAQ,8BAA8B,CAAC,CAAC;IAC7E,UAAU,EAAE,UAAU;IACtB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAChD,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;CACxC,CAAC;CAAG;AAEL,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,CACpD,uCAAuC,CACxC,CAAC,gBAAgB,EAAE;IAClB,SAAS,EAAE,aAAa;CACzB,CAAC;CAAG;AAEL,MAAM,OAAO,qBAAsB,SAAQ,MAAM,CAAC,WAAW,CAC3D,8CAA8C,CAC/C,CAAC,uBAAuB,EAAE;IACzB,OAAO,EAAE,cAAc,CAAC,YAAY;CACrC,CAAC;CAAG;AAEL;;;GAGG;AACH,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,WAAW,CAAY,kCAAkC,CAAC,CAC9F,WAAW,EACX;IACE,KAAK,EAAE,MAAM,CAAC,MAAM;CACrB,CACF;CAAG;AAOJ,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC;IACpC,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAErC,MAAM,UAAU,GAAG,CACjB,UAAsB,EACtB,KAAgB,EAChB,aAAa,GAA6B,MAAM,CAAC,IAAI,EAAE,EACvD,EAAE,CACF,IAAI,KAAK,CAAC;QACR,UAAU;QACV,MAAM,EAAE,IAAI,OAAO,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC;QAC5D,aAAa;KACd,CAAC,CAAC;IAEL,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,EACrD,EAAiC,EACjC,UAAsB,EACtB,KAAgB,EAChB,aAAa,GAA6B,MAAM,CAAC,IAAI,EAAE;QAEvD,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC5D,OAAO,UAAU,CAAC,UAAU,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,MAAM,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC,QAAQ,CAAC,EACnE,UAAsB,EACtB,cAAyB;QAEzB,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;YAC1D,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC1D,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC9B,OAAO,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACjD,CAAC;YAED,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC1D,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC7B,OAAO,IAAI,KAAK,CAAC;oBACf,UAAU,EAAE,QAAQ;oBACpB,MAAM,EAAE,IAAI,OAAO,CAAC;wBAClB,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE;wBAC1B,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM;qBAC1B,CAAC;oBACF,aAAa,EAAE,MAAM,CAAC,IAAI,EAAE;iBAC7B,CAAC,CAAC;YACL,CAAC;YAED,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;YACxE,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;YACtD,CAAC;YAED,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC5D,IAAI,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACjD,OAAO,IAAI,KAAK,CAAC;oBACf,UAAU,EAAE,QAAQ;oBACpB,MAAM,EAAE,IAAI,MAAM,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;oBAClD,aAAa,EAAE,MAAM,CAAC,IAAI,EAAE;iBAC7B,CAAC,CAAC;YACL,CAAC;YACD,IACE,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;gBAC5C,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAC5C,CAAC;gBACD,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CACnB,eAAe,CAAC,GAAG,CAAC,EAAE,EACtB,QAAQ,CAAC,SAAS,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CACjE,CAAC;gBACF,KAAK,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACnD,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3F,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;QACtD,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC;IAEhC,MAAM,eAAe,GAAG,MAAM,CAAC,EAAE,CAAC,0BAA0B,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAgB;QACvF,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACzC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,uBAAuB,CAAC,CAAC,CAAC;IAEzC,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,QAAQ,CAAC,EAC/D,KAAgB,EAChB,MAAmB;QAEnB,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YACjC,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAClE,IACE,QAAQ,CAAC,IAAI,KAAK,SAAS;gBAC3B,WAAW,KAAK,SAAS;gBACzB,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,EAClC,CAAC;gBACD,MAAM,OAAO,GAAG,IAAI,cAAc,CAAC,YAAY,CAAC;oBAC9C,OAAO,EAAE,6CAA6C;oBACtD,KAAK,EAAE,IAAI,KAAK,CAAC,6CAA6C,CAAC;iBAChE,CAAC,CAAC;gBACH,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;gBACxE,IACE,CAAC,OAAO,CAAC,eAAe,CAAC;oBACvB,OAAO;oBACP,MAAM,EAAE,WAAW,CAAC,MAAM;oBAC1B,eAAe,EAAE,iBAAiB;iBACnC,CAAC,EACF,CAAC;oBACD,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;oBACtD,KAAK,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;oBACpD,OAAO,IAAI,qBAAqB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;gBAChD,CAAC;YACH,CAAC;YAED,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC/D,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBACpC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YACzC,CAAC;YACD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAChC,iEAAiE;gBACjE,gEAAgE;gBAChE,OAAO,IAAI,SAAS,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;YACjD,CAAC;YAED,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1E,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC,CAAC;YACpF,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;YACtC,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC;gBAClC,EAAE,EAAE,SAAS;gBACb,KAAK;gBACL,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI;gBAC3B,MAAM;gBACN,MAAM;gBACN,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK;gBAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,SAAS;gBACT,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE;aACvB,CAAC,CAAC;YACH,KAAK,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAC9B,OAAO,IAAI,cAAc,CAAC;gBACxB,SAAS,EAAE,IAAI,aAAa,CAAC;oBAC3B,OAAO;oBACP,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,GAAG,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC;wBACf,EAAE,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE;wBAClB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO;wBAC5B,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI;wBACtB,KAAK,EAAE,QAAQ;wBACf,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,QAAQ;qBAC/B,CAAC;oBACF,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,UAAU,EAAE,OAAO,CAAC,UAAU;oBAC9B,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,WAAW,EAAE,OAAO,CAAC,WAAW;iBACjC,CAAC;aACH,CAAC,CAAC;QACL,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,eAAe,CAAC,CAAC,CAAC;IAEjC,MAAM,cAAc,GAAG,MAAM,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC,QAAQ,CAAC,EACnE,OAAwB,EACxB,MAA6B;QAE7B,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAClD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO;YACjD,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;YAC5D,KAAK,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACpE,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1E,KAAK,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC9D,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAEnC,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,QAAQ,CAAC,EAC7D,OAAwB,EACxB,OAAsC;QAEtC,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAClD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YACvD,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;YACpE,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC;gBACpC,OAAO;gBACP,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,eAAe,EAAE,iBAAiB;aACnC,CAAC,CAAC;YACH,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBACvE,KAAK,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YAC9D,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC;IAEhC,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,EACrD,KAAgB,EAChB,QAAqB;QAErB,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC;gBAAE,OAAO;YAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACzC,OAAO,KAAK,CAAC,CAAC,IAAI,yBAAyB,CAAC;oBAC1C,KAAK;oBACL,SAAS,EAAE,SAAS;oBACpB,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI;iBAC9B,CAAC,CAAC;YACL,CAAC;YACD,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YAC1C,KAAK,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACrD,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC;IAE/B,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAgB;QACnE,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChE,KAAK,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;gBAClD,OAAO;YACT,CAAC;YACD,IACE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;gBACpC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,EAC/C,CAAC;gBACD,OAAO;YACT,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,IAAI,yBAAyB,CAAC;gBAC1C,KAAK;gBACL,SAAS,EAAE,OAAO;gBAClB,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI;aAC9B,CAAC,CAAC;QACL,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC;IAE7B,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAgB;QACrE,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxC,MAAM,aAAa,GAAkB,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;gBAC/D,OAAO,aAAa,CAAC;YACvB,CAAC;YACD,IAAI,WAAW,GAAG,MAAM,CAAC,IAAI,EAAqB,CAAC;YACnD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACzC,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC9D,IAAI,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC5D,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;oBAC3D,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;YACD,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YAC3E,KAAK,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;YAClC,KAAK,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YACpD,MAAM,QAAQ,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;YAClE,OAAO,QAAQ,CAAC;QAClB,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;IAE9B,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EACnD,IAAmB,EACnB,OAAqB;QAErB,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC5D,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC9C,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBACjF,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrE,KAAK,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC5C,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;IAE9B,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,QAAQ,CAAC,EAC7D,UAAsB,EACtB,KAAgB;QAEhB,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC5D,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC9B,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACrF,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7D,OAAO,MAAM,CAAC,IAAI,EAAoB,CAAC;YACzC,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5E,OAAO,MAAM,CAAC,IAAI,EAAoB,CAAC;YACzC,CAAC;YACD,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC5D,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAClE,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAEtC,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,QAAQ,CAAC;QAC7D,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,CACvC,CAAC,GAAG,EAAE,EAAE,CACN,IAAI,cAAc,CAAC;YACjB,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC;YAClC,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,KAAK,EAAE,GAAG,CAAC,KAAK;SACjB,CAAC,CACL,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,uBAAuB,CAAC,CAAC,CAAC;IAEzC,MAAM,gBAAgB,GAAG,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,QAAQ,CAAC,EACvE,SAAmC,EACnC,QAAiC;QAEjC,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QACvC,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,IAAI,SAAS,KAAK,UAAU,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpE,KAAK,CAAC,CAAC,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YACvF,CAAC;YACD,KAAK,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC9D,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,2BAA2B,CAAC,CAAC,CAAC;IAE7C,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAsB;QACnF,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,EAAE,WAAW,CAAC,yBAAyB,CAAC,CAAC,CAAC;IAE3C,MAAM,mBAAmB,GAAG,MAAM,CAAC,EAAE,CAAC,8BAA8B,CAAC,CAAC,QAAQ,CAAC,EAC7E,KAAgB,EAChB,MAA6E;QAE7E,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO;QACvC,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO;YACjD,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAC9D,IAAI,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;gBAAE,OAAO;YACpE,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;gBAC5D,KAAK,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC/E,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBAClE,KAAK,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;gBACpD,OAAO;YACT,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzD,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;gBAAE,OAAO;YACnC,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACnF,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YAC/D,KAAK,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QACtD,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,EAAE,WAAW,CAAC,+BAA+B,CAAC,CAAC,CAAC;IAEjD,OAAO;QACL,OAAO;QACP,gBAAgB;QAChB,YAAY;QACZ,MAAM;QACN,WAAW;QACX,uBAAuB,EAAE,CAAC,KAAgB,EAAE,OAAwB,EAAE,EAAE,CACtE,OAAO;aACJ,uBAAuB,CAAC,KAAK,EAAE,OAAO,CAAC;aACvC,IAAI,CAAC,WAAW,CAAC,2BAA2B,CAAC,CAAC;QACnD,WAAW;QACX,UAAU,EAAE,CAAC,KAAgB,EAAE,EAAE,CAC/B,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC;QAClE,eAAe;QACf,uBAAuB,EAAE,OAAO;aAC7B,uBAAuB,EAAE;aACzB,IAAI,CAAC,WAAW,CAAC,gCAAgC,CAAC,CAAC;QACtD,cAAc;QACd,mBAAmB;QACnB,WAAW,EAAE,WAAW,EAAE;QAC1B,KAAK;QACL,MAAM;QACN,QAAQ,EAAE,CAAC,KAAgB,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QACrF,cAAc;QACd,UAAU;KACF,CAAC;AACb,CAAC,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,OAAO,QAAS,SAAQ,OAAO,CAAC,OAAO,EA2D1C,CAAC,iCAAiC,CAAC;IACpC,MAAM,CAAU,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;CAC9D"}

package/dist/workflow.d.ts

@@ -0,0 +1,14 @@
+import { AttemptFailure, Run, StepResult } from "@usine/core";
+import { Effect, Schema } from "effect";
+import { DurableDeferred, Workflow, WorkflowEngine } from "effect/unstable/workflow";
+import { StepExecutor } from "./step-executor.ts";
+import { RunStore } from "./store/store.ts";
+import { Submission, type RunStoreError } from "./model.ts";
+export declare const DurableRun: Workflow.Workflow<"@usine/engine/DurableRun", Schema.Struct<{
+    readonly submission: typeof Submission;
+}>, typeof StepResult.StepResult, Schema.Union<readonly [typeof AttemptFailure.InfraFailure, typeof AttemptFailure.AgentFailure, typeof AttemptFailure.RunawayFailure]>>;
+export declare const ApprovalGate: DurableDeferred.DurableDeferred<Schema.Void, Schema.Never>;
+export declare const continueWithNewest: (store: RunStore["Service"], completedRunId: Run.RunId) => Effect.Effect<void, RunStoreError, WorkflowEngine.WorkflowEngine>;
+export declare const durableRunLayer: import("effect/Layer").Layer<never, never, 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.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow.d.ts","sourceRoot":"","sources":["../src/workflow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9D,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,oBAAoB,CAAC;AAClD,OAAO,EAAyB,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACnE,OAAO,EAIL,UAAU,EACV,KAAK,aAAa,EACnB,MAAM,YAAY,CAAC;AAOpB,eAAO,MAAM,UAAU;;wKAKqB,CAAC;AAE7C,eAAO,MAAM,YAAY,4DAAqD,CAAC;AAiB/E,eAAO,MAAM,kBAAkB,EAAE,CAC/B,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,EAC1B,cAAc,EAAE,GAAG,CAAC,KAAK,KACtB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,EAAE,cAAc,CAAC,cAAc,CAanE,CAAC;AAiFH,eAAO,MAAM,eAAe,qGAAwC,CAAC;AAErE,eAAO,MAAM,QAAQ,yGAEnB,CAAC"}

package/dist/workflow.js

@@ -0,0 +1,105 @@
+import { AttemptFailure, Run, StepResult } from "@usine/core";
+import { Effect, Option, Result, Schema } from "effect";
+import { DurableDeferred, Workflow, WorkflowEngine } from "effect/unstable/workflow";
+import { StepExecutor } from "./step-executor.js";
+import { AttemptRecoveryFailed, RunStore } from "./store/store.js";
+import { EnginePersistenceError, RunNotFoundError, RunOperationRejectedError, Submission, } from "./model.js";
+const WorkflowPayload = Schema.Struct({
+    submission: Submission,
+});
+export const DurableRun = Workflow.make("@usine/engine/DurableRun", {
+    payload: WorkflowPayload,
+    success: StepResult.StepResult,
+    error: AttemptFailure.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 AttemptFailure.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 = Run.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 executeDurableRun = Effect.fn("DurableRun.execute")(function* ({ submission }, executionId) {
+    const runId = Run.RunId.make(executionId);
+    const store = yield* RunStore;
+    const executor = yield* StepExecutor;
+    if (submission.approval === "required") {
+        yield* store.parkForApproval(runId).pipe(asAttemptFailure);
+        yield* DurableDeferred.await(ApprovalGate);
+    }
+    while (true) {
+        // The wait for a worker slot stays interruptible: a cancel must be able
+        // to reach a run parked in `reserve` (its scheduler releases or reoffers
+        // the slot in its own onInterrupt). Only after the lease exists does the
+        // release obligation begin.
+        const lease = yield* executor.reserve(submission);
+        const attempted = yield* Effect.gen(function* () {
+            const started = yield* store.beginAttempt(runId, lease.worker).pipe(asAttemptFailure);
+            if (started instanceof AttemptRecoveryFailed || started._tag === "RunClosed") {
+                return started;
+            }
+            // Port ACL: the executor's contract is the typed AttemptFailure channel.
+            // A defect escaping the adapter is infrastructure breakage around the
+            // agent, so it is translated before reaching the durable workflow.
+            const result = yield* executor
+                .execute(started.execution, {
+                append: (direction, envelope) => store.appendTranscript(direction, envelope).pipe(asAttemptFailure),
+            })
+                .pipe(Effect.catchDefect((defect) => new AttemptFailure.InfraFailure({
+                message: "The step executor crashed outside its typed failure channel",
+                cause: defect,
+            })), Effect.result);
+            return { _tag: "AttemptExecuted", result, started };
+        }).pipe(Effect.ensuring(lease.release));
+        if (attempted._tag === "RunClosed") {
+            // Canceled, superseded, or revoked while queued: release was the only
+            // obligation; 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 AttemptFailure.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, started } = attempted;
+        if (Result.isSuccess(result)) {
+            yield* store.succeedAttempt(started.execution.attempt, result.success).pipe(asAttemptFailure);
+            yield* continueWithNewest(store, runId).pipe(asAttemptFailure);
+            return result.success;
+        }
+        const retry = yield* store
+            .failAttempt(started.execution.attempt, result.failure)
+            .pipe(asAttemptFailure);
+        if (!retry) {
+            yield* continueWithNewest(store, runId).pipe(asAttemptFailure);
+            return yield* result.failure;
+        }
+    }
+});
+export const durableRunLayer = DurableRun.toLayer(executeDurableRun);
+export const runIdFor = Effect.fn("DurableRun.runIdFor")(function* (submission) {
+    return Run.RunId.make(yield* executionId(submission));
+});
+//# sourceMappingURL=workflow.js.map

package/dist/workflow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow.js","sourceRoot":"","sources":["../src/workflow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9D,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,oBAAoB,CAAC;AAClD,OAAO,EAAE,qBAAqB,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACnE,OAAO,EACL,sBAAsB,EACtB,gBAAgB,EAChB,yBAAyB,EACzB,UAAU,GAEX,MAAM,YAAY,CAAC;AAEpB,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,CAAC,UAAU;IAC9B,KAAK,EAAE,cAAc,CAAC,cAAc;IACpC,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,EACU,EAAE,CACtD,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE;IACvB,sBAAsB,EAAE,CAAC,KAA6B,EAAE,EAAE,CACxD,IAAI,cAAc,CAAC,YAAY,CAAC;QAC9B,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,cAAyB;IAChE,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,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC9C,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,iBAAiB,GAAG,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,QAAQ,CAAC,EACjE,EAAE,UAAU,EAAmB,EAC/B,WAAmB;IAEnB,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC;IAErC,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,wEAAwE;QACxE,yEAAyE;QACzE,yEAAyE;QACzE,4BAA4B;QAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACtF,IAAI,OAAO,YAAY,qBAAqB,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC7E,OAAO,OAAO,CAAC;YACjB,CAAC;YAED,yEAAyE;YACzE,sEAAsE;YACtE,mEAAmE;YACnE,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,QAAQ;iBAC3B,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE;gBAC1B,MAAM,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE,CAC9B,KAAK,CAAC,gBAAgB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;aACrE,CAAC;iBACD,IAAI,CACH,MAAM,CAAC,WAAW,CAChB,CAAC,MAAM,EAAE,EAAE,CACT,IAAI,cAAc,CAAC,YAAY,CAAC;gBAC9B,OAAO,EAAE,6DAA6D;gBACtE,KAAK,EAAE,MAAM;aACd,CAAC,CACL,EACD,MAAM,CAAC,MAAM,CACd,CAAC;YACJ,OAAO,EAAE,IAAI,EAAE,iBAA0B,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;QAC/D,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QACxC,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACnC,sEAAsE;YACtE,qEAAqE;YACrE,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,cAAc,CAAC,YAAY,CAAC;gBAC5C,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,OAAO,EAAE,GAAG,SAAS,CAAC;QACtC,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,KAAK,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC9F,KAAK,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC/D,OAAO,MAAM,CAAC,OAAO,CAAC;QACxB,CAAC;QAED,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK;aACvB,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;aACtD,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,KAAK,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC/D,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,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC;AACxD,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`);