@usine/engine 0.2.0 → 0.4.0

package/dist/engine/run-again.js

@@ -0,0 +1,56 @@
+import { AttemptContext } from "@usine/core/attempt";
+import { CycleLimit } from "@usine/core/cycle-budget";
+import { DedupKey, Event, EventId } from "@usine/core/event";
+import { ApprovalRequirement, LoopPermissions } from "@usine/core/loop";
+import { OperatorLogin } from "@usine/core/operator";
+import { StepName } from "@usine/core/step";
+import { Schema } from "effect";
+import { Claimed, CycleBlocked, Submission } from "./submission.js";
+/**
+ * An operator request to run a succeeded or canceled Run again with the Loop's current settings
+ * (#152). `requestedBy` is `None` if `usine.yaml` sets no operator login.
+ */
+export class RunAgainRequest extends Schema.Class("@usine/engine/RunAgainRequest")({
+    step: StepName,
+    approval: ApprovalRequirement,
+    /** The cycle limit, or `None` for a schedule Loop. */
+    cycleLimit: Schema.Option(CycleLimit),
+    permissions: LoopPermissions,
+    context: AttemptContext,
+    requestedBy: Schema.Option(OperatorLogin),
+}) {
+}
+/**
+ * The result of a run again: `Claimed` with the new Run, or `CycleBlocked` with the Ask opened
+ * because the Item's cycle budget is used up.
+ */
+export const RunAgainResult = Schema.Union([Claimed, CycleBlocked]);
+/**
+ * Returns the Event for a run again, with the closed Run's Item state and revision, the Loop's
+ * current settings, and the operator's task and Agent. Its dedup key,
+ * `["operator-run-again", n, <trigger key>]`, never collides with a polled Event.
+ */
+export const runAgainSubmission = (ran, request, identity) => {
+    const dedupKey = DedupKey.make(JSON.stringify(["operator-run-again", identity.reopening, identity.trigger]));
+    return new Submission({
+        event: new Event({
+            id: EventId.make(dedupKey),
+            dedupKey,
+            payload: ran.event.payload,
+            receivedAt: identity.receivedAt,
+        }),
+        itemKey: ran.itemKey,
+        loop: ran.run.loop,
+        step: request.step,
+        approval: request.approval,
+        permissions: request.permissions,
+        cycleLimit: request.cycleLimit,
+        cycleGeneration: identity.generation,
+        repository: ran.repository,
+        revision: ran.revision,
+        task: request.context.task,
+        agent: request.context.agent,
+        parentModel: request.context.parentModel,
+    });
+};
+//# sourceMappingURL=run-again.js.map

package/dist/engine/run-again.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-again.js","sourceRoot":"","sources":["../../src/engine/run-again.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAwB,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC5E,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAiB,MAAM,EAAE,MAAM,QAAQ,CAAC;AAE/C,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAEpE;;;GAGG;AACH,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,KAAK,CAAkB,+BAA+B,CAAC,CACjG;IACE,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,mBAAmB;IAC7B,sDAAsD;IACtD,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;IACrC,WAAW,EAAE,eAAe;IAC5B,OAAO,EAAE,cAAc;IACvB,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC;CAC1C,CACF;CAAG;AAEJ;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;AAepE;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,GAAgB,EAChB,OAAwB,EACxB,QAA0B,EACd,EAAE;IACd,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAC5B,IAAI,CAAC,SAAS,CAAC,CAAC,oBAAoB,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAC7E,CAAC;IACF,OAAO,IAAI,UAAU,CAAC;QACpB,KAAK,EAAE,IAAI,KAAK,CAAC;YACf,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;YAC1B,QAAQ;YACR,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO;YAC1B,UAAU,EAAE,QAAQ,CAAC,UAAU;SAChC,CAAC;QACF,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI;QAClB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,eAAe,EAAE,QAAQ,CAAC,UAAU;QACpC,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI;QAC1B,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK;QAC5B,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,WAAW;KACzC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/engine/run-driver.d.ts

@@ -0,0 +1,54 @@
+import type { AttemptId } from "@usine/core/attempt";
+import type { RunId } from "@usine/core/run";
+import { Context, Crypto, Effect, Layer } from "effect";
+import { ItemProjectionWriter } from "../item-projection/item-projection.ts";
+import { StepExecutor } from "../step-executor.ts";
+import { RunStore } from "../store/store.ts";
+import { TriggerCondition } from "../trigger-condition.ts";
+import { AttemptAdmission } from "./admission.ts";
+import type { RunStoreError } from "./error.ts";
+declare const RunDriver_base: Context.ServiceClass<RunDriver, "@usine/engine/internal/RunDriver", {
+    /** Starts the fiber of an open Run, unless one already runs here. */
+    readonly launch: (runId: RunId) => Effect.Effect<void>;
+    /** Starts the fiber of a Run that an approval or operator retry reopened, after its previous fiber ends. */
+    readonly resume: (runId: RunId) => Effect.Effect<void>;
+    /** Interrupts the fiber of a closed Run and waits for it to end. */
+    readonly stop: (runId: RunId) => Effect.Effect<void>;
+    /**
+     * Gives the newest queued Event of the closed Run's Item its turn, after re-evaluating the
+     * trigger against the Item's current state. If the Item is gone, marks its projection gone.
+     */
+    readonly continueWithNewest: (closedRunId: RunId) => Effect.Effect<void, RunStoreError>;
+    /**
+     * Opens the queued Events whose continuation didn't run and starts a fiber for every open Run
+     * without one, except Runs waiting for approval. Also retries the parent task stops that
+     * `releaseKept` or `recoverWorkspaces` couldn't confirm.
+     */
+    readonly reconcile: () => Effect.Effect<void, RunStoreError>;
+    /**
+     * Reconciles at startup the checkout of every persisted Attempt on a configured Worker, before
+     * any Run admits its next Attempt. Keeps the checkout and occupies a Worker slot (#177) for
+     * an open Attempt whose parent task is live or unreadable, and for a closed Attempt whose
+     * parent task isn't confirmed stopped. See `checkoutRecoveryFor`.
+     */
+    readonly recoverWorkspaces: () => Effect.Effect<void, RunStoreError>;
+    /**
+     * Releases what `recoverWorkspaces` kept for reattaching `attemptId`, for a Run that closes the
+     * Attempt before its execution acquired the checkout. Once the parent task is confirmed
+     * stopped, reconciles the checkout and releases the slot; until then both stay kept (#177) and
+     * each `reconcile` retries.
+     */
+    readonly releaseKept: (attemptId: AttemptId) => Effect.Effect<void>;
+}>;
+/**
+ * The service that drives open Runs in this process, one fiber per Run. A fiber parks a gated
+ * Run for approval, then reserves a Worker, starts or reattaches the Attempt, records its
+ * outcome, and repeats until the Run closes. The fiber that closes a Run gives the Item's newest
+ * queued Event its turn; cancel, supersede, and revoke do that themselves. A fiber that ends
+ * without closing its Run leaves it for `resume` or `reconcile`.
+ */
+export declare class RunDriver extends RunDriver_base {
+    static readonly layer: Layer.Layer<RunDriver, never, AttemptAdmission | Crypto.Crypto | ItemProjectionWriter | RunStore | StepExecutor | TriggerCondition>;
+}
+export {};
+//# sourceMappingURL=run-driver.d.ts.map

package/dist/engine/run-driver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-driver.d.ts","sourceRoot":"","sources":["../../src/engine/run-driver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAW,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAG9D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAG7C,OAAO,EAEL,OAAO,EACP,MAAM,EAEN,MAAM,EAGN,KAAK,EAKN,MAAM,QAAQ,CAAC;AAChB,OAAO,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAElD,OAAO,KAAK,EAKV,aAAa,EACd,MAAM,YAAY,CAAC;;IA+EhB,qEAAqE;qBACpD,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IACtD,4GAA4G;qBAC3F,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IACtD,oEAAoE;mBACrD,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IACpD;;;OAGG;iCAC0B,CAAC,WAAW,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;IACvF;;;;OAIG;wBACiB,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;IAC5D;;;;;OAKG;gCACyB,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;IACpE;;;;;OAKG;0BACmB,CAAC,SAAS,EAAE,SAAS,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;;AAxCvE;;;;;;GAMG;AACH,qBAAa,SAAU,SAAQ,cAmCQ;IACrC,MAAM,CAAC,QAAQ,CAAC,KAAK,sIAkbnB;CACH"}

package/dist/engine/run-driver.js

@@ -0,0 +1,362 @@
+import * as AttemptChannel from "@usine/core/attempt/channel";
+import { DefectFailure, InfraFailure } from "@usine/core/attempt/failure";
+import { Cause, Context, Crypto, DateTime, Effect, Fiber, FiberMap, Layer, Option, Ref, Result, Schedule, } from "effect";
+import { ItemProjectionWriter } from "../item-projection/item-projection.js";
+import { StepExecutor } from "../step-executor.js";
+import { RunStore } from "../store/store.js";
+import { TranscriptAllQuery } from "../transcript.js";
+import { TriggerCondition } from "../trigger-condition.js";
+import { AttemptAdmission } from "./admission.js";
+import { checkoutRecoveryFor } from "./checkout-recovery.js";
+import { runIdFor } from "./submission.js";
+// Executor sinks fail with `AttemptFailure`: a persistence error becomes an `InfraFailure`, and
+// other store errors are defects.
+const asAttemptFailure = (effect) => Effect.catchTags(effect, {
+    EnginePersistenceError: (error) => new InfraFailure({
+        message: `Runtime store error: could not ${error.operation}`,
+        cause: error,
+    }),
+    RunNotFoundError: (error) => Effect.die(error),
+    RunOperationRejectedError: (error) => Effect.die(error),
+    RunRetryBlockedError: (error) => Effect.die(error),
+});
+/** The number of retries for a store operation that failed to persist. */
+const STORE_RETRIES = 4;
+/** The delay before the first retry; each later delay doubles. */
+const STORE_RETRY_DELAY = "100 millis";
+/**
+ * Retries a store operation that fails with `EnginePersistenceError`, with exponential backoff.
+ * Returns other errors and the last persistence error.
+ */
+const retryingStore = (runId, operation) => (effect) => effect.pipe(Effect.tapError((error) => error._tag === "EnginePersistenceError"
+    ? Effect.logWarning("A Run store operation failed to persist", {
+        runId,
+        operation,
+        cause: error.cause,
+    })
+    : Effect.void), Effect.retry({
+    schedule: Schedule.exponential(STORE_RETRY_DELAY),
+    times: STORE_RETRIES,
+    while: (error) => error._tag === "EnginePersistenceError",
+}));
+/** Returns the open Attempt if its parent task is live. */
+const reattaching = (open) => Option.flatMap(open, (found) => found._tag === "Live" ? Option.some(found.attempt) : Option.none());
+/**
+ * The service that drives open Runs in this process, one fiber per Run. A fiber parks a gated
+ * Run for approval, then reserves a Worker, starts or reattaches the Attempt, records its
+ * outcome, and repeats until the Run closes. The fiber that closes a Run gives the Item's newest
+ * queued Event its turn; cancel, supersede, and revoke do that themselves. A fiber that ends
+ * without closing its Run leaves it for `resume` or `reconcile`.
+ */
+export class RunDriver extends Context.Service()("@usine/engine/internal/RunDriver") {
+    static layer = Layer.effect(RunDriver, Effect.gen(function* () {
+        const store = yield* RunStore;
+        const executor = yield* StepExecutor;
+        const admission = yield* AttemptAdmission;
+        const condition = yield* TriggerCondition;
+        const items = yield* ItemProjectionWriter;
+        const crypto = yield* Crypto.Crypto;
+        const fibers = yield* FiberMap.make();
+        const checkouts = yield* checkoutRecoveryFor(store, executor);
+        // Closed Attempts whose parent task isn't confirmed stopped; each reconcile retries the stop.
+        const unconfirmed = yield* Ref.make(new Set());
+        // Annotated because a fiber's continuation calls launch again, which TypeScript cannot infer.
+        const launch = Effect.fn("RunDriver.launch")(function* (runId) {
+            yield* Effect.annotateCurrentSpan({ runId });
+            if (yield* FiberMap.has(fibers, runId)) {
+                yield* Effect.logDebug("The Run's fiber already runs in this process", { runId });
+                return;
+            }
+            yield* Effect.logDebug("Starting the Run's fiber", { runId });
+            yield* FiberMap.run(fibers, runId, drive(runId).pipe(Effect.catchCause((cause) => Cause.hasInterruptsOnly(cause)
+                ? Effect.failCause(cause)
+                : Effect.logError("The Run's fiber stopped on an engine failure; the next reconcile or a restart resumes it", { runId, cause }))), { onlyIfMissing: true });
+        });
+        const resume = Effect.fn("RunDriver.resume")(function* (runId) {
+            yield* Effect.annotateCurrentSpan({ runId });
+            const previous = yield* FiberMap.get(fibers, runId);
+            if (Option.isSome(previous)) {
+                // The previous fiber ends right after its last write; wait until it leaves the map.
+                yield* Effect.logDebug("Waiting for the Run's previous fiber to end", { runId });
+                yield* Fiber.await(previous.value);
+            }
+            yield* launch(runId);
+        });
+        const stop = Effect.fn("RunDriver.stop")(function* (runId) {
+            yield* Effect.annotateCurrentSpan({ runId });
+            if (!(yield* FiberMap.has(fibers, runId))) {
+                yield* Effect.logDebug("The closed Run has no fiber in this process", { runId });
+                return;
+            }
+            yield* FiberMap.remove(fibers, runId);
+            yield* Effect.logInfo("The closed Run's fiber stopped", { runId });
+        });
+        const markItemGone = Effect.fn("RunDriver.markItemGone")(function* (closedRunId, submission) {
+            yield* Effect.annotateCurrentSpan({ runId: closedRunId, itemKey: submission.itemKey });
+            return yield* items.markGone(submission.itemKey, yield* DateTime.now).pipe(retryingStore(closedRunId, "mark the item's projection gone"), Effect.catch((error) => Effect.logWarning("Could not mark the gone Item's projection; its Board card stays in place", {
+                completedRunId: closedRunId,
+                itemKey: submission.itemKey,
+                errorTag: error._tag,
+            }).pipe(Effect.as(false))));
+        });
+        const continueWithNewest = Effect.fn("RunDriver.continueWithNewest")(function* (closedRunId) {
+            yield* Effect.annotateCurrentSpan({ runId: closedRunId });
+            const queued = yield* store
+                .nextQueued(closedRunId)
+                .pipe(retryingStore(closedRunId, "read the queued events"));
+            if (Option.isNone(queued))
+                return;
+            const submission = queued.value.submission;
+            const fields = {
+                completedRunId: closedRunId,
+                eventId: submission.event.id,
+                loop: submission.loop,
+                itemKey: submission.itemKey,
+            };
+            const recheck = yield* condition.recheck(submission);
+            if (recheck !== "matches") {
+                // Revoke only the queue read before the remote check.
+                const revoked = yield* store
+                    .revokeQueued(queued.value)
+                    .pipe(retryingStore(closedRunId, "revoke the queued events"));
+                if (recheck === "no-longer-matches") {
+                    yield* Effect.logInfo("Queued Event no longer matches its trigger; revoked", {
+                        ...fields,
+                        revokedEvents: revoked,
+                    });
+                    return;
+                }
+                const projectionMarkedGone = yield* markItemGone(closedRunId, submission);
+                yield* Effect.logInfo("Queued Event's Item is gone from its source; revoked its queued Events", { ...fields, revokedEvents: revoked, projectionMarkedGone });
+                return;
+            }
+            const runId = yield* runIdFor(submission).pipe(Effect.provideService(Crypto.Crypto, crypto));
+            const claimed = yield* store
+                .claimQueued(submission, runId)
+                .pipe(retryingStore(closedRunId, "claim the queued event"));
+            if (Option.isNone(claimed)) {
+                // During the check, the Event was ignored, another Run opened for the Item, or a cycle
+                // reset superseded the Event.
+                yield* Effect.logInfo("Queued Event still matches its trigger but could no longer be claimed; no Run opened", fields);
+                return;
+            }
+            yield* Effect.logInfo("Queued Event still matches its trigger; opening its Run", {
+                ...fields,
+                runId: claimed.value,
+            });
+            yield* launch(claimed.value);
+        });
+        /**
+         * Reads the state of the Run's open Attempt, or `None` if there is none. If a read fails,
+         * logs a warning and returns `Interrupted`.
+         */
+        const openAttempt = Effect.fn("RunDriver.openAttempt")(function* (runId) {
+            yield* Effect.annotateCurrentSpan({ runId });
+            const current = yield* store.snapshot(runId).pipe(retryingStore(runId, "read the run"));
+            const open = current.attempts.at(-1);
+            if (current.run.state._tag !== "Running" ||
+                open === undefined ||
+                Option.isSome(open.outcome))
+                return Option.none();
+            const fields = { runId, attemptId: open.id, worker: open.worker };
+            yield* Effect.annotateCurrentSpan({ attemptId: open.id, worker: open.worker });
+            const live = yield* executor.isLive(open.id).pipe(Effect.result);
+            if (Result.isFailure(live)) {
+                yield* Effect.logWarning("Could not read whether the open Attempt is live; the Run does not reattach it", { ...fields, errorTag: live.failure._tag, message: live.failure.message });
+                return Option.some({ _tag: "Interrupted", attempt: open });
+            }
+            if (live.success) {
+                yield* Effect.logInfo("The open Attempt's parent task is live; reattaching it", fields);
+                return Option.some({ _tag: "Live", attempt: open });
+            }
+            const stored = yield* executor.outcome(open.id).pipe(Effect.result);
+            if (Result.isFailure(stored)) {
+                yield* Effect.logWarning("Could not read the open Attempt's stored outcome; the Run does not reattach it", { ...fields, errorTag: stored.failure._tag, message: stored.failure.message });
+                return Option.some({ _tag: "Interrupted", attempt: open });
+            }
+            if (Option.isNone(stored.success)) {
+                yield* Effect.logInfo("The open Attempt's parent task is gone; the Run does not reattach it", fields);
+                return Option.some({ _tag: "Interrupted", attempt: open });
+            }
+            const result = stored.success.value;
+            yield* Effect.logInfo("The open Attempt's parent task finished before this process recorded it; finishing the Attempt with its stored result", {
+                ...fields,
+                outcome: Result.match(result, {
+                    onSuccess: () => "Succeeded",
+                    onFailure: ({ _tag }) => _tag,
+                }),
+            });
+            return Option.some({ _tag: "Finished", attempt: open, result });
+        });
+        /**
+         * Returns the slot for the Run's next Attempt and the effect that reads the open Attempt once
+         * the slot is held. A reattaching Run uses the slot startup occupied or waits for one on the
+         * Attempt's Worker. Only the wait, through `restore`, is interruptible.
+         */
+        const slotFor = Effect.fn("RunDriver.slot")(function* (runId, submission, open, restore) {
+            yield* Effect.annotateCurrentSpan({ runId });
+            const found = Effect.succeed(open);
+            const reattached = reattaching(open);
+            if (Option.isSome(reattached)) {
+                const occupied = yield* checkouts.reattachSlot(reattached.value.id);
+                if (Option.isSome(occupied)) {
+                    yield* Effect.logInfo("The Run reattaches its open Attempt in the slot startup occupied on its Worker", { runId, attemptId: reattached.value.id, worker: occupied.value.worker });
+                    return { lease: occupied.value, open: found };
+                }
+            }
+            const lease = yield* restore(executor.reserve(submission, Option.map(reattached, ({ worker }) => worker)));
+            // The parent task can stop during the wait, so read it again before reattaching.
+            return { lease, open: Option.isSome(reattached) ? openAttempt(runId) : found };
+        });
+        /**
+         * Runs one Attempt on the reserved Worker and returns the resulting decision tag. `current`
+         * reads the open Attempt once the slot is held.
+         */
+        const executeAttempt = Effect.fn("RunDriver.attempt")(function* (runId, worker, current) {
+            yield* Effect.annotateCurrentSpan({ runId, worker });
+            const open = yield* current;
+            if (Option.isSome(open) && open.value._tag === "Finished") {
+                const finished = yield* store
+                    .finishAttempt(open.value.attempt, open.value.result)
+                    .pipe(retryingStore(runId, "finish the attempt"));
+                if (finished._tag !== "RetryAttempt")
+                    return finished._tag;
+            }
+            const started = yield* store
+                .beginAttempt(runId, worker, Option.map(reattaching(open), ({ id }) => id))
+                .pipe(retryingStore(runId, "begin the attempt"));
+            if (started._tag === "AttemptRecoveryFailed")
+                return "RunFailed";
+            if (started._tag === "RunClosed")
+                return "Unchanged";
+            // An executor defect becomes a `DefectFailure`, which isn't retried automatically (ADR 0003).
+            const result = yield* executor
+                .execute(started.execution, {
+                append: (direction, envelope) => store.appendTranscript(direction, envelope).pipe(asAttemptFailure),
+                salvage: (salvage) => store.recordSalvage(started.execution.attempt.id, salvage).pipe(asAttemptFailure),
+                comments: (comments) => store.recordComments(started.execution.attempt.id, comments).pipe(asAttemptFailure),
+                windows: store
+                    .attemptWindows(started.execution.attempt.id)
+                    .pipe(retryingStore(runId, "read the attempt windows"), asAttemptFailure),
+                transcript: store
+                    .transcript(new TranscriptAllQuery({ attemptId: started.execution.attempt.id }))
+                    .pipe(retryingStore(runId, "read the attempt transcript"), asAttemptFailure, 
+                // Reattached Attempts recorded the current protocol version. A version bump must
+                // convert retired envelopes here for Attempts open across the upgrade.
+                Effect.map((entries) => entries.flatMap(({ envelope }) => envelope.version === AttemptChannel.PROTOCOL_VERSION ? [envelope] : []))),
+                // Until this point, the driver reconciles a checkout that startup kept, for example on
+                // a cancel (#180).
+                checkoutAcquired: checkouts.acquired(started.execution.attempt.id),
+            })
+                .pipe(Effect.catchDefect((defect) => Effect.logError("Step executor defect; operator intervention required", {
+                runId,
+                attemptId: started.execution.attempt.id,
+                defect: defect instanceof Error ? defect.message : String(defect),
+            }).pipe(Effect.andThen(new DefectFailure({
+                message: "The step executor crashed with an unexpected error",
+                cause: defect,
+            })))), Effect.result);
+            if (started.execution.reattach && Result.isFailure(result)) {
+                // Reconcile a reattach that failed before acquiring the kept checkout, such as on a
+                // credential error, so the next Attempt resumes from its salvage. `reconcile` does nothing
+                // once the checkout was acquired, and fails this fiber while the stop is unconfirmed.
+                yield* checkouts.reconcile(started.execution.attempt.id);
+            }
+            const finished = yield* store
+                .finishAttempt(started.execution.attempt, result)
+                .pipe(retryingStore(runId, "finish the attempt"));
+            return finished._tag;
+        });
+        const drive = Effect.fn("RunDriver.drive")(function* (runId) {
+            const submission = yield* store
+                .submission(runId)
+                .pipe(retryingStore(runId, "read the run's submission"));
+            yield* Effect.annotateCurrentSpan({
+                runId,
+                loop: submission.loop,
+                itemKey: submission.itemKey,
+            });
+            if (submission.approval === "required" &&
+                (yield* store
+                    .parkForApproval(runId)
+                    .pipe(retryingStore(runId, "park the run for approval")))._tag === "Waiting") {
+                yield* Effect.logInfo("Run waits for its approval", { runId });
+                return;
+            }
+            let outcome;
+            do {
+                // A reattached Attempt uses a slot on the Worker it started on (#177).
+                const open = yield* openAttempt(runId);
+                if (Option.isSome(open) && open.value._tag !== "Live") {
+                    // Reconcile before waiting for a slot, so the next Attempt resumes from the salvage and
+                    // the slot startup occupied is freed. If the stop can't be confirmed, this fiber fails
+                    // and keeps the slot; the next reconcile drives the Run again.
+                    yield* checkouts.reconcile(open.value.attempt.id);
+                }
+                // Only the slot wait is interruptible, so a cancel can stop a Run in `reserve`; the
+                // scheduler releases or reoffers the slot on interrupt. `lease.release` runs once the
+                // lease exists.
+                outcome = yield* Effect.uninterruptibleMask((restore) => slotFor(runId, submission, open, restore).pipe(Effect.flatMap(({ lease, open: current }) => restore(admission.withAttempt(runId, executeAttempt(runId, lease.worker, current))).pipe(Effect.ensuring(lease.release)))));
+            } while (outcome === "RetryAttempt");
+            // Cancel, supersede, and revoke handle the Item's queued Events themselves and can
+            // interrupt this fiber at any point.
+            if (outcome === "Unchanged") {
+                yield* Effect.logInfo("Run closed by another operation; its fiber ends", { runId });
+                return;
+            }
+            yield* continueWithNewest(runId);
+        });
+        const releaseKept = Effect.fn("RunDriver.releaseKept")(function* (attemptId) {
+            yield* Effect.annotateCurrentSpan({ attemptId });
+            const stopped = yield* checkouts.reconcile(attemptId).pipe(Effect.result);
+            yield* Ref.update(unconfirmed, (ids) => {
+                const next = new Set(ids);
+                if (Result.isSuccess(stopped))
+                    next.delete(attemptId);
+                else
+                    next.add(attemptId);
+                return next;
+            });
+            if (Result.isFailure(stopped))
+                yield* Effect.logWarning("The parent task of an Attempt whose Run closed is not confirmed stopped; its checkout and its Worker's slot stay kept, and the next reconcile tries the stop again", { attemptId });
+        });
+        const recoverWorkspaces = Effect.fn("RunDriver.recoverWorkspaces")(function* () {
+            // Closed Attempts whose parent task stop wasn't confirmed before the restart.
+            const unstopped = yield* checkouts.atStartup();
+            yield* Ref.update(unconfirmed, (ids) => new Set([...ids, ...unstopped]));
+        });
+        const reconcile = Effect.fn("RunDriver.reconcile")(function* () {
+            // No Run fiber retries these stops, so reconcile does.
+            const unstopped = [...(yield* Ref.get(unconfirmed))];
+            yield* Effect.forEach(unstopped, releaseKept, { discard: true });
+            const continuations = yield* store.pendingContinuations;
+            yield* Effect.forEach(continuations, (runId) => continueWithNewest(runId).pipe(Effect.tapError((error) => Effect.logError("Could not continue the queued Events behind a closed Run", {
+                runId,
+                errorTag: error._tag,
+            })), Effect.ignore), { discard: true });
+            const driven = yield* store.runIdsToDrive;
+            const withoutFiber = yield* Effect.filter(driven, (runId) => Effect.map(FiberMap.has(fibers, runId), (running) => !running));
+            yield* Effect.forEach(withoutFiber, launch, { discard: true });
+            const fields = {
+                continuedAfterRunIds: continuations,
+                startedRunIds: withoutFiber,
+                drivenRunIds: driven.length,
+                retriedStopAttemptIds: unstopped,
+            };
+            if (continuations.length === 0 && withoutFiber.length === 0 && unstopped.length === 0)
+                yield* Effect.logDebug("Every Run to drive already has its fiber", fields);
+            else
+                yield* Effect.logInfo("Runs recovered from the run tables", fields);
+        });
+        return {
+            launch,
+            resume,
+            stop,
+            continueWithNewest,
+            reconcile,
+            recoverWorkspaces,
+            releaseKept,
+        };
+    }));
+}
+//# sourceMappingURL=run-driver.js.map

package/dist/engine/run-driver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-driver.js","sourceRoot":"","sources":["../../src/engine/run-driver.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,cAAc,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAuB,aAAa,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAI/F,OAAO,EACL,KAAK,EACL,OAAO,EACP,MAAM,EACN,QAAQ,EACR,MAAM,EACN,KAAK,EACL,QAAQ,EACR,KAAK,EACL,MAAM,EACN,GAAG,EACH,MAAM,EACN,QAAQ,GACT,MAAM,QAAQ,CAAC;AAChB,OAAO,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAS7D,OAAO,EAAE,QAAQ,EAAmB,MAAM,iBAAiB,CAAC;AAE5D,gGAAgG;AAChG,kCAAkC;AAClC,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,kCAAkC,KAAK,CAAC,SAAS,EAAE;QAC5D,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;IAClF,oBAAoB,EAAE,CAAC,KAA2B,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;CACzE,CAAC,CAAC;AAEL,0EAA0E;AAC1E,MAAM,aAAa,GAAG,CAAC,CAAC;AAExB,kEAAkE;AAClE,MAAM,iBAAiB,GAAG,YAAY,CAAC;AAEvC;;;GAGG;AACH,MAAM,aAAa,GACjB,CAAC,KAAY,EAAE,SAAiB,EAAE,EAAE,CACpC,CAAI,MAAuC,EAAmC,EAAE,CAC9E,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,KAAK,CAAC,IAAI,KAAK,wBAAwB;IACrC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,yCAAyC,EAAE;QAC3D,KAAK;QACL,SAAS;QACT,KAAK,EAAE,KAAK,CAAC,KAAK;KACnB,CAAC;IACJ,CAAC,CAAC,MAAM,CAAC,IAAI,CAChB,EACD,MAAM,CAAC,KAAK,CAAC;IACX,QAAQ,EAAE,QAAQ,CAAC,WAAW,CAAC,iBAAiB,CAAC;IACjD,KAAK,EAAE,aAAa;IACpB,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,wBAAwB;CAC1D,CAAC,CACH,CAAC;AAeN,2DAA2D;AAC3D,MAAM,WAAW,GAAG,CAAC,IAAgC,EAA0B,EAAE,CAC/E,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAC7B,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CACnE,CAAC;AAEJ;;;;;;GAMG;AACH,MAAM,OAAO,SAAU,SAAQ,OAAO,CAAC,OAAO,EAmC3C,CAAC,kCAAkC,CAAC;IACrC,MAAM,CAAU,KAAK,GAAG,KAAK,CAAC,MAAM,CAClC,SAAS,EACT,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC;QAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC;QACrC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAC;QAC1C,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAC;QAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,oBAAoB,CAAC;QAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;QACpC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAS,CAAC;QAC7C,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC9D,8FAA8F;QAC9F,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAyB,IAAI,GAAG,EAAE,CAAC,CAAC;QAEvE,8FAA8F;QAC9F,MAAM,MAAM,GAAmC,MAAM,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,EACpF,KAAY;YAEZ,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7C,IAAI,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;gBACvC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,8CAA8C,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;gBAClF,OAAO;YACT,CAAC;YACD,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,0BAA0B,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;YAC9D,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CACjB,MAAM,EACN,KAAK,EACL,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CACf,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1B,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC;gBAC5B,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;gBACzB,CAAC,CAAC,MAAM,CAAC,QAAQ,CACb,0FAA0F,EAC1F,EAAE,KAAK,EAAE,KAAK,EAAE,CACjB,CACN,CACF,EACD,EAAE,aAAa,EAAE,IAAI,EAAE,CACxB,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAY;YAClE,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACpD,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC5B,oFAAoF;gBACpF,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,6CAA6C,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;gBACjF,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACrC,CAAC;YACD,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC,CAAC,CAAC;QAEH,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAY;YAC9D,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7C,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC1C,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,6CAA6C,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;gBACjF,OAAO;YACT,CAAC;YACD,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACtC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,gCAAgC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;QAEH,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC,QAAQ,CAAC,EAChE,WAAkB,EAClB,UAAsB;YAEtB,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;YACvF,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CACxE,aAAa,CAAC,WAAW,EAAE,iCAAiC,CAAC,EAC7D,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACrB,MAAM,CAAC,UAAU,CACf,0EAA0E,EAC1E;gBACE,cAAc,EAAE,WAAW;gBAC3B,OAAO,EAAE,UAAU,CAAC,OAAO;gBAC3B,QAAQ,EAAE,KAAK,CAAC,IAAI;aACrB,CACF,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CACzB,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,MAAM,kBAAkB,GAAG,MAAM,CAAC,EAAE,CAAC,8BAA8B,CAAC,CAAC,QAAQ,CAAC,EAC5E,WAAkB;YAElB,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;YAC1D,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,KAAK;iBACxB,UAAU,CAAC,WAAW,CAAC;iBACvB,IAAI,CAAC,aAAa,CAAC,WAAW,EAAE,wBAAwB,CAAC,CAAC,CAAC;YAC9D,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;gBAAE,OAAO;YAClC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;YAC3C,MAAM,MAAM,GAAG;gBACb,cAAc,EAAE,WAAW;gBAC3B,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE;gBAC5B,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,OAAO,EAAE,UAAU,CAAC,OAAO;aAC5B,CAAC;YACF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACrD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,sDAAsD;gBACtD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK;qBACzB,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC;qBAC1B,IAAI,CAAC,aAAa,CAAC,WAAW,EAAE,0BAA0B,CAAC,CAAC,CAAC;gBAChE,IAAI,OAAO,KAAK,mBAAmB,EAAE,CAAC;oBACpC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,qDAAqD,EAAE;wBAC3E,GAAG,MAAM;wBACT,aAAa,EAAE,OAAO;qBACvB,CAAC,CAAC;oBACH,OAAO;gBACT,CAAC;gBACD,MAAM,oBAAoB,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;gBAC1E,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,wEAAwE,EACxE,EAAE,GAAG,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAC5D,CAAC;gBACF,OAAO;YACT,CAAC;YACD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAC5C,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAC7C,CAAC;YACF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK;iBACzB,WAAW,CAAC,UAAU,EAAE,KAAK,CAAC;iBAC9B,IAAI,CAAC,aAAa,CAAC,WAAW,EAAE,wBAAwB,CAAC,CAAC,CAAC;YAC9D,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,uFAAuF;gBACvF,8BAA8B;gBAC9B,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,sFAAsF,EACtF,MAAM,CACP,CAAC;gBACF,OAAO;YACT,CAAC;YACD,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,yDAAyD,EAAE;gBAC/E,GAAG,MAAM;gBACT,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAC;YACH,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH;;;WAGG;QACH,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAY;YAC5E,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC;YACxF,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACrC,IACE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;gBACpC,IAAI,KAAK,SAAS;gBAClB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;gBAE3B,OAAO,MAAM,CAAC,IAAI,EAAe,CAAC;YACpC,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;YAClE,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YAC/E,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACjE,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,+EAA+E,EAC/E,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAC1E,CAAC;gBACF,OAAO,MAAM,CAAC,IAAI,CAAc,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjB,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,wDAAwD,EAAE,MAAM,CAAC,CAAC;gBACxF,OAAO,MAAM,CAAC,IAAI,CAAc,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACnE,CAAC;YACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACpE,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7B,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,gFAAgF,EAChF,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAC9E,CAAC;gBACF,OAAO,MAAM,CAAC,IAAI,CAAc,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBAClC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,sEAAsE,EACtE,MAAM,CACP,CAAC;gBACF,OAAO,MAAM,CAAC,IAAI,CAAc,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1E,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;YACpC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,uHAAuH,EACvH;gBACE,GAAG,MAAM;gBACT,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE;oBAC5B,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW;oBAC5B,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI;iBAC9B,CAAC;aACH,CACF,CAAC;YACF,OAAO,MAAM,CAAC,IAAI,CAAc,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/E,CAAC,CAAC,CAAC;QAEH;;;;WAIG;QACH,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,EACnD,KAAY,EACZ,UAAsB,EACtB,IAAgC,EAChC,OAA4E;YAE5E,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACpE,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC5B,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,gFAAgF,EAChF,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CACzE,CAAC;oBACF,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;gBAChD,CAAC;YACH,CAAC;YACD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,OAAO,CAC1B,QAAQ,CAAC,OAAO,CACd,UAAU,EACV,MAAM,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAC/C,CACF,CAAC;YACF,iFAAiF;YACjF,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QACjF,CAAC,CAAC,CAAC;QAEH;;;WAGG;QACH,MAAM,cAAc,GAAG,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,EAC7D,KAAY,EACZ,MAAkB,EAClB,OAAiE;YAEjE,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YACrD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;YAC5B,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC1D,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK;qBAC1B,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;qBACpD,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC,CAAC;gBACpD,IAAI,QAAQ,CAAC,IAAI,KAAK,cAAc;oBAAE,OAAO,QAAQ,CAAC,IAAI,CAAC;YAC7D,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK;iBACzB,YAAY,CACX,KAAK,EACL,MAAM,EACN,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAC9C;iBACA,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC,CAAC;YACnD,IAAI,OAAO,CAAC,IAAI,KAAK,uBAAuB;gBAAE,OAAO,WAAW,CAAC;YACjE,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW;gBAAE,OAAO,WAAW,CAAC;YAErD,8FAA8F;YAC9F,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;gBACpE,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CACnB,KAAK,CAAC,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;gBACnF,QAAQ,EAAE,CAAC,QAAQ,EAAE,EAAE,CACrB,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;gBACrF,OAAO,EAAE,KAAK;qBACX,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;qBAC5C,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,0BAA0B,CAAC,EAAE,gBAAgB,CAAC;gBAC3E,UAAU,EAAE,KAAK;qBACd,UAAU,CAAC,IAAI,kBAAkB,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;qBAC/E,IAAI,CACH,aAAa,CAAC,KAAK,EAAE,6BAA6B,CAAC,EACnD,gBAAgB;gBAChB,iFAAiF;gBACjF,uEAAuE;gBACvE,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrB,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAC/B,QAAQ,CAAC,OAAO,KAAK,cAAc,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CACvE,CACF,CACF;gBACH,uFAAuF;gBACvF,mBAAmB;gBACnB,gBAAgB,EAAE,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;aACnE,CAAC;iBACD,IAAI,CACH,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5B,MAAM,CAAC,QAAQ,CAAC,sDAAsD,EAAE;gBACtE,KAAK;gBACL,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE;gBACvC,MAAM,EAAE,MAAM,YAAY,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;aAClE,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,OAAO,CACZ,IAAI,aAAa,CAAC;gBAChB,OAAO,EAAE,oDAAoD;gBAC7D,KAAK,EAAE,MAAM;aACd,CAAC,CACH,CACF,CACF,EACD,MAAM,CAAC,MAAM,CACd,CAAC;YACJ,IAAI,OAAO,CAAC,SAAS,CAAC,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC3D,oFAAoF;gBACpF,2FAA2F;gBAC3F,sFAAsF;gBACtF,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC3D,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK;iBAC1B,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC;iBAChD,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC,CAAC;YACpD,OAAO,QAAQ,CAAC,IAAI,CAAC;QACvB,CAAC,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAY;YAChE,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,KAAK;iBAC5B,UAAU,CAAC,KAAK,CAAC;iBACjB,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,2BAA2B,CAAC,CAAC,CAAC;YAC3D,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC;gBAChC,KAAK;gBACL,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,OAAO,EAAE,UAAU,CAAC,OAAO;aAC5B,CAAC,CAAC;YACH,IACE,UAAU,CAAC,QAAQ,KAAK,UAAU;gBAClC,CAAC,KAAK,CAAC,CAAC,KAAK;qBACV,eAAe,CAAC,KAAK,CAAC;qBACtB,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,2BAA2B,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,EAC9E,CAAC;gBACD,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC/D,OAAO;YACT,CAAC;YAED,IAAI,OAA+B,CAAC;YACpC,GAAG,CAAC;gBACF,uEAAuE;gBACvE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;gBACvC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBACtD,wFAAwF;oBACxF,uFAAuF;oBACvF,+DAA+D;oBAC/D,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBACpD,CAAC;gBACD,oFAAoF;gBACpF,sFAAsF;gBACtF,gBAAgB;gBAChB,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE,CACtD,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,IAAI,CAC5C,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAC1C,OAAO,CACL,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAC3E,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CACvC,CACF,CACF,CAAC;YACJ,CAAC,QAAQ,OAAO,KAAK,cAAc,EAAE;YAErC,mFAAmF;YACnF,qCAAqC;YACrC,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;gBAC5B,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,iDAAiD,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;gBACpF,OAAO;YACT,CAAC;YACD,KAAK,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,QAAQ,CAAC,EAAE,SAAoB;YACpF,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;YACjD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC1E,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,GAAG,EAAE,EAAE;gBACrC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC;oBAAE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;;oBACjD,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACzB,OAAO,IAAI,CAAC;YACd,CAAC,CAAC,CAAC;YACH,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC;gBAC3B,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,oKAAoK,EACpK,EAAE,SAAS,EAAE,CACd,CAAC;QACN,CAAC,CAAC,CAAC;QAEH,MAAM,iBAAiB,GAAG,MAAM,CAAC,EAAE,CAAC,6BAA6B,CAAC,CAAC,QAAQ,CAAC;YAC1E,8EAA8E;YAC9E,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;YAC/C,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;QAEH,MAAM,SAAS,GAAG,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC;YAC1D,uDAAuD;YACvD,MAAM,SAAS,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YACrD,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,WAAW,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACjE,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;YACxD,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,aAAa,EACb,CAAC,KAAK,EAAE,EAAE,CACR,kBAAkB,CAAC,KAAK,CAAC,CAAC,IAAI,CAC5B,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,MAAM,CAAC,QAAQ,CAAC,0DAA0D,EAAE;gBAC1E,KAAK;gBACL,QAAQ,EAAE,KAAK,CAAC,IAAI;aACrB,CAAC,CACH,EACD,MAAM,CAAC,MAAM,CACd,EACH,EAAE,OAAO,EAAE,IAAI,EAAE,CAClB,CAAC;YACF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;YAC1C,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAC1D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAC/D,CAAC;YACF,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/D,MAAM,MAAM,GAAG;gBACb,oBAAoB,EAAE,aAAa;gBACnC,aAAa,EAAE,YAAY;gBAC3B,YAAY,EAAE,MAAM,CAAC,MAAM;gBAC3B,qBAAqB,EAAE,SAAS;aACjC,CAAC;YACF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;gBACnF,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,0CAA0C,EAAE,MAAM,CAAC,CAAC;;gBACxE,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,oCAAoC,EAAE,MAAM,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;QAEH,OAAO;YACL,MAAM;YACN,MAAM;YACN,IAAI;YACJ,kBAAkB;YAClB,SAAS;YACT,iBAAiB;YACjB,WAAW;SACZ,CAAC;IACJ,CAAC,CAAC,CACH,CAAC;CACH"}

package/dist/engine/shutdown.d.ts

@@ -1,10 +1,9 @@
 import { Context, Deferred } from "effect";
 declare const RunEngineShutdown_base: Context.ServiceClass<RunEngineShutdown, "@usine/engine/RunEngineShutdown", Deferred.Deferred<void, never>>;
 /**
- * Optional host-owned shutdown latch, provided before building an engine runtime.
- * Completing it closes Attempt admission even while startup recovery is running.
- * After startup, RunEngine.drain waits for admitted Attempts to persist their outcomes.
- * Allocate a fresh latch for each runtime; it cannot be reopened (ADR 0023).
+ * An optional shutdown latch owned by the host, provided before building an engine runtime.
+ * Completing it closes Attempt admission, even during startup recovery. It can't be reopened,
+ * so each runtime needs a new one (ADR 0023).
  */
 export declare class RunEngineShutdown extends RunEngineShutdown_base {
 }

package/dist/engine/shutdown.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"shutdown.d.ts","sourceRoot":"","sources":["../../src/engine/shutdown.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;;AAE3C;;;;;GAKG;AACH,qBAAa,iBAAkB,SAAQ,sBAGD;CAAG"}
+{"version":3,"file":"shutdown.d.ts","sourceRoot":"","sources":["../../src/engine/shutdown.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;;AAE3C;;;;GAIG;AACH,qBAAa,iBAAkB,SAAQ,sBAGD;CAAG"}

package/dist/engine/shutdown.js

@@ -1,9 +1,8 @@
 import { Context, Deferred } from "effect";
 /**
- * Optional host-owned shutdown latch, provided before building an engine runtime.
- * Completing it closes Attempt admission even while startup recovery is running.
- * After startup, RunEngine.drain waits for admitted Attempts to persist their outcomes.
- * Allocate a fresh latch for each runtime; it cannot be reopened (ADR 0023).
+ * An optional shutdown latch owned by the host, provided before building an engine runtime.
+ * Completing it closes Attempt admission, even during startup recovery. It can't be reopened,
+ * so each runtime needs a new one (ADR 0023).
  */
 export class RunEngineShutdown extends Context.Service()("@usine/engine/RunEngineShutdown") {
 }

package/dist/engine/shutdown.js.map

@@ -1 +1 @@
-{"version":3,"file":"shutdown.js","sourceRoot":"","sources":["../../src/engine/shutdown.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAE3C;;;;;GAKG;AACH,MAAM,OAAO,iBAAkB,SAAQ,OAAO,CAAC,OAAO,EAGnD,CAAC,iCAAiC,CAAC;CAAG"}
+{"version":3,"file":"shutdown.js","sourceRoot":"","sources":["../../src/engine/shutdown.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAE3C;;;;GAIG;AACH,MAAM,OAAO,iBAAkB,SAAQ,OAAO,CAAC,OAAO,EAGnD,CAAC,iCAAiC,CAAC;CAAG"}