@usine/engine 0.0.1 → 0.2.0

package/dist/engine/lifecycle.d.ts

@@ -0,0 +1,112 @@
+import { Attempt, AttemptId, AttemptNumber } from "@usine/core/attempt";
+import { AttemptFailure, InfraFailure } from "@usine/core/attempt/failure";
+import { AttemptCanceled, AttemptFailed, AttemptSucceeded } from "@usine/core/attempt/outcome";
+import { EventId } from "@usine/core/event";
+import { Run, RunId } from "@usine/core/run";
+import * as RunState from "@usine/core/run/state";
+import { StepResult } from "@usine/core/step/result";
+import { Option, Result } from "effect";
+import type { WorkflowCommand } from "../workflow/command.ts";
+/** A Run and its Attempts in ascending attempt-number order, read together. */
+interface RunProgress {
+    readonly run: Run;
+    readonly attempts: ReadonlyArray<Attempt>;
+}
+type Unchanged = {
+    readonly _tag: "Unchanged";
+    readonly reason: "RunNotRunning" | "NoOpenAttempt" | "AttemptReplaced";
+};
+type RetryAttempt = {
+    readonly _tag: "RetryAttempt";
+    readonly attempt: Attempt;
+    readonly outcome: AttemptFailed;
+};
+type RunFailed = {
+    readonly _tag: "RunFailed";
+    readonly attempt: Attempt;
+    readonly outcome: AttemptFailed;
+    readonly state: RunState.Failed;
+};
+type RunSucceeded = {
+    readonly _tag: "RunSucceeded";
+    readonly attempt: Attempt;
+    readonly outcome: AttemptSucceeded;
+    readonly state: RunState.Succeeded;
+    readonly result: StepResult;
+};
+/** Changes that must commit together when an Attempt finishes. Only success stores a Step result. */
+export type FinishDecision = RetryAttempt | RunFailed | RunSucceeded | Unchanged;
+/**
+ * Settles the current Attempt from its executor result. Infrastructure failure
+ * can retry up to three total Attempts; a late or repeated completion changes nothing.
+ */
+export declare const finishAttempt: (current: RunProgress, attemptId: AttemptId, result: Result.Result<StepResult, AttemptFailure>) => FinishDecision;
+/**
+ * Repairs an open Attempt from a final durable result. The workflow has already
+ * ended, so even an infrastructure failure closes the Run without auto-retry.
+ * The runtime must first translate its completion into a typed result; defects
+ * and suspension are not Attempt outcomes here (ADRs 0003 and 0010).
+ */
+export declare const reconcileAttempt: (current: RunProgress, result: Result.Result<StepResult, AttemptFailure>) => FinishDecision;
+type StartDecision = {
+    readonly _tag: "StartAttempt";
+    readonly state: RunState.Running;
+    readonly number: AttemptNumber;
+    readonly interrupted: Option.Option<RetryAttempt>;
+} | RunFailed | {
+    readonly _tag: "RunClosed";
+    readonly state: RunState.RunState;
+};
+/**
+ * Admits the next Attempt after a Worker reservation. An unfinished previous
+ * Attempt indicates a restart and counts against the same retry cap as ordinary
+ * infrastructure failure. `interruption` records the runtime's explanation.
+ * The caller creates the new Attempt's identity and timestamp only when admitted.
+ */
+export declare const beginAttempt: (current: RunProgress, interruption: InfraFailure) => StartDecision;
+type CancelDecision = {
+    readonly _tag: "AlreadyClosed";
+} | {
+    readonly _tag: "Canceled";
+    readonly state: RunState.Canceled;
+    readonly attempt: Option.Option<{
+        readonly id: AttemptId;
+        readonly outcome: AttemptCanceled;
+    }>;
+};
+/**
+ * Cancels open work and, if executing, its unfinished Attempt. A Run awaiting
+ * capacity may have no Attempt, or only the closed Attempt preceding a retry.
+ */
+export declare const cancelRun: (current: RunProgress) => CancelDecision;
+type RetryDecision = {
+    readonly _tag: "Resume";
+    readonly state: RunState.Running;
+} | {
+    readonly _tag: "ResumePending";
+} | {
+    readonly _tag: "RetryRejected";
+};
+/**
+ * Reopens a failed Run for operator retry regardless of its Attempt count.
+ * Repeating the request is accepted while its Resume command remains pending;
+ * after delivery, retrying a Running Run is rejected.
+ */
+export declare const retryRun: (state: RunState.RunState, pendingCommands: ReadonlyArray<WorkflowCommand>) => RetryDecision;
+type ClaimDecision = {
+    readonly _tag: "OpenRun";
+} | {
+    readonly _tag: "QueueEvent";
+} | {
+    readonly _tag: "SupersedeRun";
+    readonly runId: RunId;
+    readonly state: RunState.Canceled;
+};
+/**
+ * Places a previously unclaimed Event behind its Item's running work, or
+ * replaces unstarted work. The ledger must resolve permanent deduplication and
+ * ignored Events before this decision; running Attempts always finish (ADR 0007).
+ */
+export declare const claimRun: (blocking: Option.Option<Run>, eventId: EventId) => ClaimDecision;
+export {};
+//# sourceMappingURL=lifecycle.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lifecycle.d.ts","sourceRoot":"","sources":["../../src/engine/lifecycle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAmB,MAAM,qBAAqB,CAAC;AACzF,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/F,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC5C,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,KAAK,QAAQ,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAK9D,+EAA+E;AAC/E,UAAU,WAAW;IACnB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;IAClB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;CAC3C;AAED,KAAK,SAAS,GAAG;IACf,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,eAAe,GAAG,eAAe,GAAG,iBAAiB,CAAC;CACxE,CAAC;AAEF,KAAK,YAAY,GAAG;IAClB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;CACjC,CAAC;AAEF,KAAK,SAAS,GAAG;IACf,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC;CACjC,CAAC;AAEF,KAAK,YAAY,GAAG;IAClB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B,CAAC;AAEF,qGAAqG;AACrG,MAAM,MAAM,cAAc,GAAG,YAAY,GAAG,SAAS,GAAG,YAAY,GAAG,SAAS,CAAC;AAiDjF;;;GAGG;AACH,eAAO,MAAM,aAAa,YACf,WAAW,aACT,SAAS,UACZ,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,KAChD,cAAiE,CAAC;AAErE;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,YAClB,WAAW,UACZ,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,KAChD,cAKF,CAAC;AAEF,KAAK,aAAa,GACd;IACE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;CACnD,GACD,SAAS,GACT;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAA;CAAE,CAAC;AAEtE;;;;;GAKG;AACH,eAAO,MAAM,YAAY,YAAa,WAAW,gBAAgB,YAAY,KAAG,aAkB/E,CAAC;AAEF,KAAK,cAAc,GACf;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAAE,GAClC;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;QAC9B,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;QACvB,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;KACnC,CAAC,CAAC;CACJ,CAAC;AAEN;;;GAGG;AACH,eAAO,MAAM,SAAS,YAAa,WAAW,KAAG,cAahD,CAAC;AAEF,KAAK,aAAa,GACd;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAAE,GAClC;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAEvC;;;;GAIG;AACH,eAAO,MAAM,QAAQ,UACZ,QAAQ,CAAC,QAAQ,mBACP,aAAa,CAAC,eAAe,CAAC,KAC9C,aAMF,CAAC;AAEF,KAAK,aAAa,GACd;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;CAAE,GAC/B;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAA;CAAE,CAAC;AAEhG;;;;GAIG;AACH,eAAO,MAAM,QAAQ,aAAc,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,OAAO,KAAG,aAQzE,CAAC"}

package/dist/engine/lifecycle.js

@@ -0,0 +1,132 @@
+import { Attempt, AttemptId, AttemptNumber, shouldAutoRetry } from "@usine/core/attempt";
+import { AttemptFailure, InfraFailure } from "@usine/core/attempt/failure";
+import { AttemptCanceled, AttemptFailed, AttemptSucceeded } from "@usine/core/attempt/outcome";
+import { EventId } from "@usine/core/event";
+import { Run, RunId } from "@usine/core/run";
+import * as RunState from "@usine/core/run/state";
+import { StepResult } from "@usine/core/step/result";
+import { Option, Result } from "effect";
+// Engine policy, not a limit imposed on consumers of the core Attempt model.
+const MAX_AUTO_ATTEMPTS = AttemptNumber.make(3);
+const openAttempt = (current) => Option.fromNullishOr(current.attempts.at(-1)).pipe(Option.filter((attempt) => Option.isNone(attempt.outcome)));
+const failRunningAttempt = (state, attempt, failure, policy) => {
+    const outcome = new AttemptFailed({ failure });
+    if (policy === "Execution" &&
+        shouldAutoRetry({ failure, number: attempt.number, maxAutoAttempts: MAX_AUTO_ATTEMPTS })) {
+        return { _tag: "RetryAttempt", attempt, outcome };
+    }
+    return { _tag: "RunFailed", attempt, outcome, state: RunState.fail(state) };
+};
+const finish = (current, attemptId, result, policy) => {
+    if (current.run.state._tag !== "Running") {
+        return { _tag: "Unchanged", reason: "RunNotRunning" };
+    }
+    const attempt = openAttempt(current);
+    if (Option.isNone(attempt))
+        return { _tag: "Unchanged", reason: "NoOpenAttempt" };
+    // A completion from before restart or operator retry cannot settle the
+    // replacement Attempt, even though the Run is Running again.
+    if (attempt.value.id !== attemptId)
+        return { _tag: "Unchanged", reason: "AttemptReplaced" };
+    if (Result.isFailure(result)) {
+        return failRunningAttempt(current.run.state, attempt.value, result.failure, policy);
+    }
+    return {
+        _tag: "RunSucceeded",
+        attempt: attempt.value,
+        outcome: new AttemptSucceeded(),
+        state: RunState.succeed(current.run.state),
+        result: result.success,
+    };
+};
+/**
+ * Settles the current Attempt from its executor result. Infrastructure failure
+ * can retry up to three total Attempts; a late or repeated completion changes nothing.
+ */
+export const finishAttempt = (current, attemptId, result) => finish(current, attemptId, result, "Execution");
+/**
+ * Repairs an open Attempt from a final durable result. The workflow has already
+ * ended, so even an infrastructure failure closes the Run without auto-retry.
+ * The runtime must first translate its completion into a typed result; defects
+ * and suspension are not Attempt outcomes here (ADRs 0003 and 0010).
+ */
+export const reconcileAttempt = (current, result) => {
+    const attempt = openAttempt(current);
+    return Option.isNone(attempt)
+        ? { _tag: "Unchanged", reason: "NoOpenAttempt" }
+        : finish(current, attempt.value.id, result, "FinalReconciliation");
+};
+/**
+ * Admits the next Attempt after a Worker reservation. An unfinished previous
+ * Attempt indicates a restart and counts against the same retry cap as ordinary
+ * infrastructure failure. `interruption` records the runtime's explanation.
+ * The caller creates the new Attempt's identity and timestamp only when admitted.
+ */
+export const beginAttempt = (current, interruption) => {
+    const state = current.run.state;
+    if (!RunState.isStartable(state) && state._tag !== "Running") {
+        return { _tag: "RunClosed", state };
+    }
+    let interrupted = Option.none();
+    const attempt = openAttempt(current);
+    if (state._tag === "Running" && Option.isSome(attempt)) {
+        const recovery = failRunningAttempt(state, attempt.value, interruption, "Execution");
+        if (recovery._tag === "RunFailed")
+            return recovery;
+        interrupted = Option.some(recovery);
+    }
+    return {
+        _tag: "StartAttempt",
+        state: state._tag === "Running" ? state : RunState.start(state),
+        number: AttemptNumber.make((current.attempts.at(-1)?.number ?? 0) + 1),
+        interrupted,
+    };
+};
+/**
+ * Cancels open work and, if executing, its unfinished Attempt. A Run awaiting
+ * capacity may have no Attempt, or only the closed Attempt preceding a retry.
+ */
+export const cancelRun = (current) => {
+    if (!RunState.isOpen(current.run.state))
+        return { _tag: "AlreadyClosed" };
+    return {
+        _tag: "Canceled",
+        state: RunState.cancelByOperator(current.run.state),
+        attempt: current.run.state._tag === "Running"
+            ? Option.map(openAttempt(current), (attempt) => ({
+                id: attempt.id,
+                outcome: new AttemptCanceled(),
+            }))
+            : Option.none(),
+    };
+};
+/**
+ * Reopens a failed Run for operator retry regardless of its Attempt count.
+ * Repeating the request is accepted while its Resume command remains pending;
+ * after delivery, retrying a Running Run is rejected.
+ */
+export const retryRun = (state, pendingCommands) => {
+    if (state._tag === "Failed")
+        return { _tag: "Resume", state: RunState.retry(state) };
+    if (state._tag === "Running" && pendingCommands.includes("Resume")) {
+        return { _tag: "ResumePending" };
+    }
+    return { _tag: "RetryRejected" };
+};
+/**
+ * Places a previously unclaimed Event behind its Item's running work, or
+ * replaces unstarted work. The ledger must resolve permanent deduplication and
+ * ignored Events before this decision; running Attempts always finish (ADR 0007).
+ */
+export const claimRun = (blocking, eventId) => {
+    if (Option.isNone(blocking))
+        return { _tag: "OpenRun" };
+    const run = blocking.value;
+    if (run.state._tag === "Running")
+        return { _tag: "QueueEvent" };
+    if (RunState.isUnstarted(run.state)) {
+        return { _tag: "SupersedeRun", runId: run.id, state: RunState.supersede(run.state, eventId) };
+    }
+    return { _tag: "OpenRun" };
+};
+//# sourceMappingURL=lifecycle.js.map

package/dist/engine/lifecycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../src/engine/lifecycle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACzF,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/F,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC5C,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,KAAK,QAAQ,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGxC,6EAA6E;AAC7E,MAAM,iBAAiB,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAqChD,MAAM,WAAW,GAAG,CAAC,OAAoB,EAA0B,EAAE,CACnE,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAChD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAC3D,CAAC;AAEJ,MAAM,kBAAkB,GAAG,CACzB,KAAuB,EACvB,OAAgB,EAChB,OAAuB,EACvB,MAA2C,EACjB,EAAE;IAC5B,MAAM,OAAO,GAAG,IAAI,aAAa,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;IAC/C,IACE,MAAM,KAAK,WAAW;QACtB,eAAe,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,eAAe,EAAE,iBAAiB,EAAE,CAAC,EACxF,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACpD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;AAC9E,CAAC,CAAC;AAEF,MAAM,MAAM,GAAG,CACb,OAAoB,EACpB,SAAoB,EACpB,MAAiD,EACjD,MAA2C,EAC3B,EAAE;IAClB,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IACxD,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IAClF,uEAAuE;IACvE,6DAA6D;IAC7D,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAC5F,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,OAAO,kBAAkB,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACtF,CAAC;IACD,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,OAAO,CAAC,KAAK;QACtB,OAAO,EAAE,IAAI,gBAAgB,EAAE;QAC/B,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;QAC1C,MAAM,EAAE,MAAM,CAAC,OAAO;KACvB,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,OAAoB,EACpB,SAAoB,EACpB,MAAiD,EACjC,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;AAErE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,OAAoB,EACpB,MAAiD,EACjC,EAAE;IAClB,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACrC,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QAC3B,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,eAAe,EAAE;QAChD,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,qBAAqB,CAAC,CAAC;AACvE,CAAC,CAAC;AAYF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,OAAoB,EAAE,YAA0B,EAAiB,EAAE;IAC9F,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;IAChC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7D,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IACtC,CAAC;IACD,IAAI,WAAW,GAAG,MAAM,CAAC,IAAI,EAAgB,CAAC;IAC9C,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;QACrF,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,QAAQ,CAAC;QACnD,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;IACD,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/D,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACtE,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAaF;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,OAAoB,EAAkB,EAAE;IAChE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;IAC1E,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,QAAQ,CAAC,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;QACnD,OAAO,EACL,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAClC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBAC7C,EAAE,EAAE,OAAO,CAAC,EAAE;gBACd,OAAO,EAAE,IAAI,eAAe,EAAE;aAC/B,CAAC,CAAC;YACL,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;KACpB,CAAC;AACJ,CAAC,CAAC;AAOF;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,KAAwB,EACxB,eAA+C,EAChC,EAAE;IACjB,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;IACrF,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,eAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;AACnC,CAAC,CAAC;AAOF;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,QAA4B,EAAE,OAAgB,EAAiB,EAAE;IACxF,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACxD,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC3B,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IAChE,IAAI,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;IAChG,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC7B,CAAC,CAAC"}

package/dist/engine/shutdown.d.ts

@@ -0,0 +1,12 @@
+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).
+ */
+export declare class RunEngineShutdown extends RunEngineShutdown_base {
+}
+export {};
+//# sourceMappingURL=shutdown.d.ts.map

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

@@ -0,0 +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"}

package/dist/engine/shutdown.js

@@ -0,0 +1,10 @@
+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).
+ */
+export class RunEngineShutdown extends Context.Service()("@usine/engine/RunEngineShutdown") {
+}
+//# sourceMappingURL=shutdown.js.map

package/dist/engine/shutdown.js.map

@@ -0,0 +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"}

package/dist/engine/submission.d.ts

@@ -0,0 +1,58 @@
+import { Agent } from "@usine/core/agent";
+import { CycleBudgetAsk } from "@usine/core/cycle-budget";
+import { Event } from "@usine/core/event";
+import { Schema } from "effect";
+declare const Submission_base: Schema.Class<Submission, Schema.Struct<{
+    readonly event: typeof Event;
+    readonly itemKey: Schema.brand<Schema.NonEmptyString, "ItemKey">;
+    readonly loop: Schema.brand<Schema.NonEmptyString, "LoopName">;
+    readonly step: Schema.brand<Schema.NonEmptyString, "StepName">;
+    readonly approval: Schema.Literals<readonly ["none", "required"]>;
+    /** Item Runs default to three rounds; schedule adapters explicitly supply None. */
+    readonly cycleLimit: Schema.withConstructorDefault<Schema.withDecodingDefaultTypeKey<Schema.Option<Schema.brand<Schema.Int, "CycleLimit">>, never>>;
+    /** Capture before fetching trigger input. A reset supersedes older observations. */
+    readonly cycleGeneration: Schema.withConstructorDefault<Schema.withDecodingDefaultKey<Schema.brand<Schema.Int, "CycleGeneration">, never>>;
+    readonly repository: Schema.brand<Schema.String, "RepositoryName">;
+    readonly revision: Schema.brand<Schema.String, "RepositoryRevision">;
+    readonly task: Schema.brand<Schema.String, "AttemptTask">;
+    readonly agent: typeof Agent;
+    readonly parentModel: Schema.Option<Schema.brand<Schema.String, "ModelId">>;
+}>, {}>;
+/** A matched Event with the Loop, Item, and execution choices that determine the work owed. */
+export declare class Submission extends Submission_base {
+}
+declare const Claimed_base: Schema.Class<Claimed, Schema.TaggedStruct<"Claimed", {
+    readonly eventId: Schema.brand<Schema.NonEmptyString, "EventId">;
+    readonly runId: Schema.brand<Schema.NonEmptyString, "RunId">;
+}>, {}>;
+/** The Event now owns a Run; submitting it again returns the same run id. */
+export declare class Claimed extends Claimed_base {
+}
+declare const Queued_base: Schema.Class<Queued, Schema.TaggedStruct<"Queued", {
+    readonly eventId: Schema.brand<Schema.NonEmptyString, "EventId">;
+}>, {}>;
+/** A running Attempt on the same Item must finish before this Event is reconsidered. */
+export declare class Queued extends Queued_base {
+}
+export declare const IGNORED_REASONS: readonly ["superseded", "revoked"];
+export declare const IgnoreReason: Schema.Literals<readonly ["superseded", "revoked"]>;
+export type IgnoreReason = typeof IgnoreReason.Type;
+declare const Ignored_base: Schema.Class<Ignored, Schema.TaggedStruct<"Ignored", {
+    readonly eventId: Schema.brand<Schema.NonEmptyString, "EventId">;
+    readonly reason: Schema.Literals<readonly ["superseded", "revoked"]>;
+}>, {}>;
+/** The Event stays in the ledger but can no longer open a Run. */
+export declare class Ignored extends Ignored_base {
+}
+declare const CycleBlocked_base: Schema.Class<CycleBlocked, Schema.TaggedStruct<"CycleBlocked", {
+    readonly eventId: Schema.brand<Schema.NonEmptyString, "EventId">;
+    readonly ask: typeof CycleBudgetAsk;
+}>, {}>;
+/** No Run opened because this Item requires an explicit cycle-budget reset. */
+export declare class CycleBlocked extends CycleBlocked_base {
+}
+/** Whether a recorded Event owns a Run, waits behind running work, or can no longer open a Run. */
+export declare const SubmissionResult: Schema.Union<readonly [typeof Claimed, typeof Queued, typeof Ignored, typeof CycleBlocked]>;
+export type SubmissionResult = typeof SubmissionResult.Type;
+export {};
+//# sourceMappingURL=submission.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"submission.d.ts","sourceRoot":"","sources":["../../src/engine/submission.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EACL,cAAc,EAIf,MAAM,0BAA0B,CAAC;AAGlC,OAAO,EAAE,KAAK,EAAW,MAAM,mBAAmB,CAAC;AAMnD,OAAO,EAAkB,MAAM,EAAE,MAAM,QAAQ,CAAC;;;;;;;IAS9C,mFAAmF;;IAKnF,oFAAoF;;;;;;;;AAZtF,+FAA+F;AAC/F,qBAAa,UAAW,SAAQ,eAqB9B;CAAG;;;;;AAEL,6EAA6E;AAC7E,qBAAa,OAAQ,SAAQ,YAG3B;CAAG;;;;AAEL,wFAAwF;AACxF,qBAAa,MAAO,SAAQ,WAE1B;CAAG;AAEL,eAAO,MAAM,eAAe,YAAI,YAAY,EAAE,SAAS,CAAU,CAAC;AAElE,eAAO,MAAM,YAAY,qDAAmC,CAAC;AAE7D,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAC;;;;;AAEpD,kEAAkE;AAClE,qBAAa,OAAQ,SAAQ,YAG3B;CAAG;;;;;AAEL,+EAA+E;AAC/E,qBAAa,YAAa,SAAQ,iBAGjC;CAAG;AAEJ,mGAAmG;AACnG,eAAO,MAAM,gBAAgB,6FAAyD,CAAC;AAEvF,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAC"}

package/dist/engine/submission.js

@@ -0,0 +1,54 @@
+import { Agent } from "@usine/core/agent";
+import { CycleBudgetAsk, CycleGeneration, CycleLimit, DEFAULT_CYCLE_LIMIT, } from "@usine/core/cycle-budget";
+import { ModelId } from "@usine/core/agent/brain";
+import { AttemptTask } from "@usine/core/attempt";
+import { Event, EventId } from "@usine/core/event";
+import { ItemKey } from "@usine/core/item";
+import { LoopName, ApprovalRequirement } from "@usine/core/loop";
+import { RepositoryName, RepositoryRevision } from "@usine/core/repository";
+import { RunId } from "@usine/core/run";
+import { StepName } from "@usine/core/step";
+import { Effect, Option, Schema } from "effect";
+/** A matched Event with the Loop, Item, and execution choices that determine the work owed. */
+export class Submission extends Schema.Class("@usine/engine/Submission")({
+    event: Event,
+    itemKey: ItemKey,
+    loop: LoopName,
+    step: StepName,
+    approval: ApprovalRequirement,
+    /** Item Runs default to three rounds; schedule adapters explicitly supply None. */
+    cycleLimit: Schema.Option(CycleLimit).pipe(Schema.withDecodingDefaultTypeKey(Effect.succeed(Option.some(DEFAULT_CYCLE_LIMIT))), Schema.withConstructorDefault(Effect.succeed(Option.some(DEFAULT_CYCLE_LIMIT)))),
+    /** Capture before fetching trigger input. A reset supersedes older observations. */
+    cycleGeneration: CycleGeneration.pipe(Schema.withDecodingDefaultKey(Effect.succeed(CycleGeneration.make(0))), Schema.withConstructorDefault(Effect.succeed(CycleGeneration.make(0)))),
+    repository: RepositoryName,
+    revision: RepositoryRevision,
+    task: AttemptTask,
+    agent: Agent,
+    parentModel: Schema.Option(ModelId),
+}) {
+}
+/** The Event now owns a Run; submitting it again returns the same run id. */
+export class Claimed extends Schema.TaggedClass("@usine/engine/Claimed")("Claimed", {
+    eventId: EventId,
+    runId: RunId,
+}) {
+}
+/** A running Attempt on the same Item must finish before this Event is reconsidered. */
+export class Queued extends Schema.TaggedClass("@usine/engine/Queued")("Queued", {
+    eventId: EventId,
+}) {
+}
+export const IGNORED_REASONS = ["superseded", "revoked"];
+export const IgnoreReason = Schema.Literals(IGNORED_REASONS);
+/** The Event stays in the ledger but can no longer open a Run. */
+export class Ignored extends Schema.TaggedClass("@usine/engine/Ignored")("Ignored", {
+    eventId: EventId,
+    reason: IgnoreReason,
+}) {
+}
+/** No Run opened because this Item requires an explicit cycle-budget reset. */
+export class CycleBlocked extends Schema.TaggedClass("@usine/engine/CycleBlocked")("CycleBlocked", { eventId: EventId, ask: CycleBudgetAsk }) {
+}
+/** Whether a recorded Event owns a Run, waits behind running work, or can no longer open a Run. */
+export const SubmissionResult = Schema.Union([Claimed, Queued, Ignored, CycleBlocked]);
+//# sourceMappingURL=submission.js.map

package/dist/engine/submission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"submission.js","sourceRoot":"","sources":["../../src/engine/submission.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EACL,cAAc,EACd,eAAe,EACf,UAAU,EACV,mBAAmB,GACpB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhD,+FAA+F;AAC/F,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,KAAK,CAAa,0BAA0B,CAAC,CAAC;IACnF,KAAK,EAAE,KAAK;IACZ,OAAO,EAAE,OAAO;IAChB,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,mBAAmB;IAC7B,mFAAmF;IACnF,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CACxC,MAAM,CAAC,0BAA0B,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,EACnF,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAChF;IACD,oFAAoF;IACpF,eAAe,EAAE,eAAe,CAAC,IAAI,CACnC,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EACtE,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CACvE;IACD,UAAU,EAAE,cAAc;IAC1B,QAAQ,EAAE,kBAAkB;IAC5B,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,KAAK;IACZ,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;CACpC,CAAC;CAAG;AAEL,6EAA6E;AAC7E,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,CAAU,uBAAuB,CAAC,CAAC,SAAS,EAAE;IAC3F,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,KAAK;CACb,CAAC;CAAG;AAEL,wFAAwF;AACxF,MAAM,OAAO,MAAO,SAAQ,MAAM,CAAC,WAAW,CAAS,sBAAsB,CAAC,CAAC,QAAQ,EAAE;IACvF,OAAO,EAAE,OAAO;CACjB,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,YAAY,EAAE,SAAS,CAAU,CAAC;AAElE,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;AAI7D,kEAAkE;AAClE,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,CAAU,uBAAuB,CAAC,CAAC,SAAS,EAAE;IAC3F,OAAO,EAAE,OAAO;IAChB,MAAM,EAAE,YAAY;CACrB,CAAC;CAAG;AAEL,+EAA+E;AAC/E,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,CAAe,4BAA4B,CAAC,CAC9F,cAAc,EACd,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,cAAc,EAAE,CAC1C;CAAG;AAEJ,mGAAmG;AACnG,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC"}

package/dist/item-projection/item-projection.d.ts

@@ -0,0 +1,25 @@
+import { RepositoryName } from "@usine/core/repository";
+import { Context, Effect, Layer } from "effect";
+import { RunDatabase } from "../database/database.ts";
+import { EnginePersistenceError } from "../engine/error.ts";
+import { ItemProjection } from "./model.ts";
+/** Newest Items first. The bound keeps a long-lived repository's Board response finite. */
+export interface ItemProjectionListOptions {
+    readonly limit: number;
+}
+declare const ItemProjectionReader_base: Context.ServiceClass<ItemProjectionReader, "@usine/engine/ItemProjectionReader", {
+    /** The newest `limit` Item projections of one repository, highest number first. */
+    readonly list: (repository: RepositoryName, options: ItemProjectionListOptions) => Effect.Effect<ReadonlyArray<ItemProjection>, EnginePersistenceError>;
+}>;
+export declare class ItemProjectionReader extends ItemProjectionReader_base {
+    static readonly layer: Layer.Layer<ItemProjectionReader, never, RunDatabase>;
+}
+declare const ItemProjectionWriter_base: Context.ServiceClass<ItemProjectionWriter, "@usine/engine/ItemProjectionWriter", {
+    /** `true` means the durable projection changed. */
+    readonly upsert: (item: ItemProjection) => Effect.Effect<boolean, EnginePersistenceError>;
+}>;
+export declare class ItemProjectionWriter extends ItemProjectionWriter_base {
+    static readonly layer: Layer.Layer<ItemProjectionWriter, never, RunDatabase>;
+}
+export { ItemContentHash, ItemProjection, ItemProjectionSource } from "./model.ts";
+//# sourceMappingURL=item-projection.d.ts.map

package/dist/item-projection/item-projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"item-projection.d.ts","sourceRoot":"","sources":["../../src/item-projection/item-projection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAU,MAAM,QAAQ,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAE5D,OAAO,EAAmB,cAAc,EAAwB,MAAM,YAAY,CAAC;AAmBnF,2FAA2F;AAC3F,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;;IAqFG,mFAAmF;mBACpE,CACb,UAAU,EAAE,cAAc,EAC1B,OAAO,EAAE,yBAAyB,KAC/B,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE,sBAAsB,CAAC;;AAP7E,qBAAa,oBAAqB,SAAQ,yBASD;IACvC,MAAM,CAAC,QAAQ,CAAC,KAAK,wDAAkD;CACxE;;IAKG,mDAAmD;qBAClC,CAAC,IAAI,EAAE,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,sBAAsB,CAAC;;AAJ7F,qBAAa,oBAAqB,SAAQ,yBAMD;IACvC,MAAM,CAAC,QAAQ,CAAC,KAAK,wDAAkD;CACxE;AAED,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC"}

package/dist/item-projection/item-projection.js

@@ -0,0 +1,100 @@
+import { RepositoryName } from "@usine/core/repository";
+import { desc, eq, ne } from "drizzle-orm";
+import { Context, Effect, Layer, Schema } from "effect";
+import { RunDatabase } from "../database/database.js";
+import { itemProjections } from "../database/schema.js";
+import { EnginePersistenceError } from "../engine/error.js";
+import { ItemNumber } from "@usine/core/item";
+import { ItemContentHash, ItemProjection, ItemProjectionSource } from "./model.js";
+const ItemProjectionRow = Schema.Struct({
+    itemKey: ItemProjection.fields.itemKey,
+    repository: RepositoryName,
+    source: ItemProjectionSource,
+    number: ItemNumber,
+    contentHash: ItemContentHash,
+    payload: Schema.JsonObject,
+});
+const decodeRows = Schema.decodeUnknownEffect(Schema.Array(ItemProjectionRow));
+const encodePayload = Schema.encodeSync(Schema.JsonObject);
+const persistence = (operation) => (effect) => Effect.mapError(effect, (cause) => new EnginePersistenceError({ operation, cause }));
+const makeReader = Effect.gen(function* () {
+    const database = yield* RunDatabase;
+    return {
+        list: Effect.fn("ItemProjectionReader.list")(function* (repository, options) {
+            yield* Effect.annotateCurrentSpan({ repository, limit: options.limit });
+            const rows = yield* database
+                .select({
+                itemKey: itemProjections.itemKey,
+                repository: itemProjections.repository,
+                source: itemProjections.source,
+                number: itemProjections.itemNumber,
+                contentHash: itemProjections.contentHash,
+                payload: itemProjections.payloadJson,
+            })
+                .from(itemProjections)
+                .where(eq(itemProjections.repository, repository))
+                .orderBy(desc(itemProjections.itemNumber))
+                .limit(options.limit)
+                .execute();
+            return (yield* decodeRows(rows, { onExcessProperty: "error" })).map((row) => new ItemProjection(row));
+        }, persistence("list Item projections")),
+    };
+});
+const makeWriter = Effect.gen(function* () {
+    const database = yield* RunDatabase;
+    return {
+        upsert: Effect.fn("ItemProjectionWriter.upsert")(function* (item) {
+            yield* Effect.annotateCurrentSpan({
+                repository: item.repository,
+                item: item.number,
+                itemKey: item.itemKey,
+            });
+            const changed = yield* database
+                .insert(itemProjections)
+                .values({
+                itemKey: item.itemKey,
+                repository: item.repository,
+                source: item.source,
+                itemNumber: item.number,
+                contentHash: item.contentHash,
+                payloadJson: encodePayload(item.payload),
+            })
+                .onConflictDoUpdate({
+                target: itemProjections.itemKey,
+                set: {
+                    repository: item.repository,
+                    source: item.source,
+                    itemNumber: item.number,
+                    contentHash: item.contentHash,
+                    payloadJson: encodePayload(item.payload),
+                },
+                setWhere: ne(itemProjections.contentHash, item.contentHash),
+            })
+                .returning({ itemKey: itemProjections.itemKey })
+                .execute();
+            if (changed.length === 0) {
+                yield* Effect.logDebug("Item projection already matched the observed snapshot", {
+                    repository: item.repository,
+                    item: item.number,
+                    contentHash: item.contentHash,
+                });
+                return false;
+            }
+            yield* Effect.logDebug("Item projection updated from trigger polling", {
+                repository: item.repository,
+                item: item.number,
+                source: item.source,
+                contentHash: item.contentHash,
+            });
+            return true;
+        }, persistence("write Item projection")),
+    };
+});
+export class ItemProjectionReader extends Context.Service()("@usine/engine/ItemProjectionReader") {
+    static layer = Layer.effect(ItemProjectionReader, makeReader);
+}
+export class ItemProjectionWriter extends Context.Service()("@usine/engine/ItemProjectionWriter") {
+    static layer = Layer.effect(ItemProjectionWriter, makeWriter);
+}
+export { ItemContentHash, ItemProjection, ItemProjectionSource } from "./model.js";
+//# sourceMappingURL=item-projection.js.map

package/dist/item-projection/item-projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"item-projection.js","sourceRoot":"","sources":["../../src/item-projection/item-projection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEnF,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,OAAO;IACtC,UAAU,EAAE,cAAc;IAC1B,MAAM,EAAE,oBAAoB;IAC5B,MAAM,EAAE,UAAU;IAClB,WAAW,EAAE,eAAe;IAC5B,OAAO,EAAE,MAAM,CAAC,UAAU;CAC3B,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC;AAC/E,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AAE3D,MAAM,WAAW,GACf,CAAC,SAAiB,EAAE,EAAE,CACtB,CAAU,MAA8B,EAA+C,EAAE,CACvF,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,sBAAsB,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AAOzF,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC;IACpC,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,QAAQ,CAAC,EACpD,UAA0B,EAC1B,OAAkC;YAElC,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;YACxE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ;iBACzB,MAAM,CAAC;gBACN,OAAO,EAAE,eAAe,CAAC,OAAO;gBAChC,UAAU,EAAE,eAAe,CAAC,UAAU;gBACtC,MAAM,EAAE,eAAe,CAAC,MAAM;gBAC9B,MAAM,EAAE,eAAe,CAAC,UAAU;gBAClC,WAAW,EAAE,eAAe,CAAC,WAAW;gBACxC,OAAO,EAAE,eAAe,CAAC,WAAW;aACrC,CAAC;iBACD,IAAI,CAAC,eAAe,CAAC;iBACrB,KAAK,CAAC,EAAE,CAAC,eAAe,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;iBACjD,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;iBACzC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;iBACpB,OAAO,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,CACjE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,CACjC,CAAC;QACJ,CAAC,EAAE,WAAW,CAAC,uBAAuB,CAAC,CAAC;KAChC,CAAC;AACb,CAAC,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC;IACpC,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,6BAA6B,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAoB;YAC9E,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC;gBAChC,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,IAAI,EAAE,IAAI,CAAC,MAAM;gBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;aACtB,CAAC,CAAC;YACH,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,QAAQ;iBAC5B,MAAM,CAAC,eAAe,CAAC;iBACvB,MAAM,CAAC;gBACN,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,UAAU,EAAE,IAAI,CAAC,MAAM;gBACvB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC;aACzC,CAAC;iBACD,kBAAkB,CAAC;gBAClB,MAAM,EAAE,eAAe,CAAC,OAAO;gBAC/B,GAAG,EAAE;oBACH,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,UAAU,EAAE,IAAI,CAAC,MAAM;oBACvB,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC7B,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC;iBACzC;gBACD,QAAQ,EAAE,EAAE,CAAC,eAAe,CAAC,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC;aAC5D,CAAC;iBACD,SAAS,CAAC,EAAE,OAAO,EAAE,eAAe,CAAC,OAAO,EAAE,CAAC;iBAC/C,OAAO,EAAE,CAAC;YACb,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,uDAAuD,EAAE;oBAC9E,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,IAAI,EAAE,IAAI,CAAC,MAAM;oBACjB,WAAW,EAAE,IAAI,CAAC,WAAW;iBAC9B,CAAC,CAAC;gBACH,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,8CAA8C,EAAE;gBACrE,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,IAAI,EAAE,IAAI,CAAC,MAAM;gBACjB,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,WAAW,EAAE,IAAI,CAAC,WAAW;aAC9B,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC,EAAE,WAAW,CAAC,uBAAuB,CAAC,CAAC;KAChC,CAAC;AACb,CAAC,CAAC,CAAC;AAEH,MAAM,OAAO,oBAAqB,SAAQ,OAAO,CAAC,OAAO,EAStD,CAAC,oCAAoC,CAAC;IACvC,MAAM,CAAU,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,oBAAoB,EAAE,UAAU,CAAC,CAAC;CACxE;AAED,MAAM,OAAO,oBAAqB,SAAQ,OAAO,CAAC,OAAO,EAMtD,CAAC,oCAAoC,CAAC;IACvC,MAAM,CAAU,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,oBAAoB,EAAE,UAAU,CAAC,CAAC;CACxE;AAED,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC"}

package/dist/item-projection/model.d.ts

@@ -0,0 +1,18 @@
+import { Schema } from "effect";
+export declare const ItemProjectionSource: Schema.brand<Schema.NonEmptyString, "ItemProjectionSource">;
+export type ItemProjectionSource = typeof ItemProjectionSource.Type;
+export declare const ItemContentHash: Schema.brand<Schema.NonEmptyString, "ItemContentHash">;
+export type ItemContentHash = typeof ItemContentHash.Type;
+declare const ItemProjection_base: Schema.Class<ItemProjection, Schema.Struct<{
+    readonly itemKey: Schema.brand<Schema.NonEmptyString, "ItemKey">;
+    readonly repository: Schema.brand<Schema.String, "RepositoryName">;
+    readonly source: Schema.brand<Schema.NonEmptyString, "ItemProjectionSource">;
+    readonly number: Schema.brand<Schema.Int, "ItemNumber">;
+    readonly contentHash: Schema.brand<Schema.NonEmptyString, "ItemContentHash">;
+    readonly payload: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
+}>, {}>;
+/** The latest payload a trigger observed for one Item, whatever the source adapter. */
+export declare class ItemProjection extends ItemProjection_base {
+}
+export {};
+//# sourceMappingURL=model.d.ts.map

package/dist/item-projection/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/item-projection/model.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,eAAO,MAAM,oBAAoB,6DAEhC,CAAC;AACF,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAC;AAEpE,eAAO,MAAM,eAAe,wDAA8D,CAAC;AAC3F,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC;;;;;;;;;AAE1D,uFAAuF;AACvF,qBAAa,cAAe,SAAQ,mBAOlC;CAAG"}

package/dist/item-projection/model.js

@@ -0,0 +1,16 @@
+import { ItemKey, ItemNumber } from "@usine/core/item";
+import { RepositoryName } from "@usine/core/repository";
+import { Schema } from "effect";
+export const ItemProjectionSource = Schema.NonEmptyString.pipe(Schema.brand("ItemProjectionSource"));
+export const ItemContentHash = Schema.NonEmptyString.pipe(Schema.brand("ItemContentHash"));
+/** The latest payload a trigger observed for one Item, whatever the source adapter. */
+export class ItemProjection extends Schema.Class("@usine/engine/ItemProjection")({
+    itemKey: ItemKey,
+    repository: RepositoryName,
+    source: ItemProjectionSource,
+    number: ItemNumber,
+    contentHash: ItemContentHash,
+    payload: Schema.JsonObject,
+}) {
+}
+//# sourceMappingURL=model.js.map

package/dist/item-projection/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/item-projection/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAC5D,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,CACrC,CAAC;AAGF,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC;AAG3F,uFAAuF;AACvF,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,KAAK,CAAiB,8BAA8B,CAAC,CAAC;IAC/F,OAAO,EAAE,OAAO;IAChB,UAAU,EAAE,cAAc;IAC1B,MAAM,EAAE,oBAAoB;IAC5B,MAAM,EAAE,UAAU;IAClB,WAAW,EAAE,eAAe;IAC5B,OAAO,EAAE,MAAM,CAAC,UAAU;CAC3B,CAAC;CAAG"}

package/dist/loop-control/loop-control.d.ts

@@ -0,0 +1,21 @@
+import { LoopName } from "@usine/core/loop";
+import { Context, Effect, Layer } from "effect";
+import { RunDatabase } from "../database/database.ts";
+import { EnginePersistenceError } from "../engine/error.ts";
+import { LoopRuntimeState } from "./model.ts";
+declare const LoopControl_base: Context.ServiceClass<LoopControl, "@usine/engine/LoopControl", {
+    /** Whether new Runs are paused; a Loop with no recorded runtime state is unpaused. */
+    readonly isPaused: (loop: LoopName) => Effect.Effect<boolean, EnginePersistenceError>;
+    /** Pauses new trigger work for this Loop without stopping its existing Runs. */
+    readonly pause: (loop: LoopName) => Effect.Effect<LoopRuntimeState, EnginePersistenceError>;
+    /** Recorded runtime states ordered by Loop name; Loops without stored state are omitted. */
+    readonly states: Effect.Effect<ReadonlyArray<LoopRuntimeState>, EnginePersistenceError>;
+    /** Allows triggers to open new Runs for this Loop again. */
+    readonly unpause: (loop: LoopName) => Effect.Effect<LoopRuntimeState, EnginePersistenceError>;
+}>;
+/** Records whether triggers may open new Runs for each Loop; existing Runs and authored files stay unchanged. */
+export declare class LoopControl extends LoopControl_base {
+    static readonly layer: Layer.Layer<LoopControl, never, RunDatabase>;
+}
+export { LoopRuntimeState } from "./model.ts";
+//# sourceMappingURL=loop-control.d.ts.map

package/dist/loop-control/loop-control.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"loop-control.d.ts","sourceRoot":"","sources":["../../src/loop-control/loop-control.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;;IA6E1C,sFAAsF;uBACnE,CAAC,IAAI,EAAE,QAAQ,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACrF,gFAAgF;oBAChE,CAAC,IAAI,EAAE,QAAQ,KAAK,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,sBAAsB,CAAC;IAC3F,4FAA4F;qBAC3E,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,gBAAgB,CAAC,EAAE,sBAAsB,CAAC;IACvF,4DAA4D;sBAC1C,CAAC,IAAI,EAAE,QAAQ,KAAK,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,sBAAsB,CAAC;;AAXjG,iHAAiH;AACjH,qBAAa,WAAY,SAAQ,gBAYD;IAC9B,MAAM,CAAC,QAAQ,CAAC,KAAK,+CAA8C;CACpE;AAED,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC"}