@usine/engine 0.3.0 → 0.5.0

package/dist/engine/lifecycle.d.ts

@@ -1,13 +1,15 @@
 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 { SalvagePushed } from "@usine/core/attempt/salvage";
+import { type AttemptStart, type OperatorRetryStart } from "@usine/core/attempt/start";
 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. */
+import type { IgnoreReason } from "./submission.ts";
+/** A Run and its Attempts, ordered by Attempt number. */
 interface RunProgress {
     readonly run: Run;
     readonly attempts: ReadonlyArray<Attempt>;
@@ -34,38 +36,39 @@ type RunSucceeded = {
     readonly state: RunState.Succeeded;
     readonly result: StepResult;
 };
-/** Changes that must commit together when an Attempt finishes. Only success stores a Step result. */
+/** The changes committed together when an Attempt finishes. */
 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.
+ * Returns the changes for the executor result of `attemptId`. An infrastructure failure is
+ * retried up to 3 Attempts in total; a late or repeated result returns `Unchanged`.
  */
 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 start: AttemptStart;
     readonly interrupted: Option.Option<RetryAttempt>;
+    readonly resume: Option.Option<SalvagePushed>;
+} | {
+    readonly _tag: "ReattachAttempt";
+    readonly state: RunState.Running;
+    readonly attempt: Attempt;
+    readonly resume: Option.Option<SalvagePushed>;
 } | 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.
+ * Returns how the next Attempt starts after a Worker reservation. If an open Attempt's parent
+ * task is `live`, reattaches it without using a retry; otherwise fails it with `interruption`,
+ * counted against the retry cap. `requested` is the operator retry that reopened the Run, if any.
  */
-export declare const beginAttempt: (current: RunProgress, interruption: InfraFailure) => StartDecision;
+export declare const beginAttempt: (current: RunProgress, interruption: InfraFailure, live: Option.Option<AttemptId>, requested: Option.Option<OperatorRetryStart>) => StartDecision;
 type CancelDecision = {
     readonly _tag: "AlreadyClosed";
+} | {
+    readonly _tag: "CancelRejected";
 } | {
     readonly _tag: "Canceled";
     readonly state: RunState.Canceled;
@@ -74,10 +77,7 @@ type CancelDecision = {
         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.
- */
+/** Returns the cancel decision for an open Run and its open Attempt, if any. */
 export declare const cancelRun: (current: RunProgress) => CancelDecision;
 type RetryDecision = {
     readonly _tag: "Resume";
@@ -88,11 +88,67 @@ type RetryDecision = {
     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.
+ * Returns the operator retry decision, regardless of the Attempt count. A retry of a running Run
+ * with no open Attempt changes nothing; a retry of a running Attempt is rejected.
+ */
+export declare const retryRun: (current: RunProgress) => RetryDecision;
+/**
+ * The Loop's previous sighting of an Item: `None` if never seen, `Some(None)` after a
+ * non-matching sighting, and `Some(Some(event))` for the last submitted Event.
+ */
+export type PreviousSighting = Option.Option<Option.Option<EventId>>;
+/**
+ * Returns whether the previous sighting was a non-match or another Event than `eventId`. Returns
+ * `false` if the Loop never saw the Item.
+ */
+export declare const cameBack: (previous: PreviousSighting, eventId: EventId) => boolean;
+/** The state of a recorded Event that has a Run or was ignored. */
+export type Settlement = {
+    readonly _tag: "Owned";
+    readonly run: Run;
+} | {
+    readonly _tag: "Ignored";
+    readonly reason: IgnoreReason;
+};
+type SightingDecision = {
+    readonly _tag: "JoinRun";
+    readonly run: Run;
+} | {
+    readonly _tag: "StayIgnored";
+    readonly reason: IgnoreReason;
+} | {
+    readonly _tag: "ReopenEvent";
+};
+/**
+ * Returns what a new sighting of the `settled` Event does. The Event reopens only if the Item
+ * came back (#267) and its Run was canceled or the queued Event was revoked.
+ */
+export declare const resightEvent: (settled: Settlement, itemCameBack: boolean) => SightingDecision;
+/**
+ * The state that keeps a Loop from opening Runs for an Item after an Attempt stopped for the
+ * operator: the stopped Run, and the Item's state after the stop once seen (#241, #341).
+ */
+export interface Suppression {
+    readonly runId: RunId;
+    readonly suppressedEventId: Option.Option<EventId>;
+}
+/** The kind of operator stop: a question or a blocker. */
+export type OperatorStop = "question" | "blocker";
+/** Returns the kind of operator stop that fails the Run in `decision`, or `None` (ADR 0017). */
+export declare const operatorStop: (decision: FinishDecision) => Option.Option<OperatorStop>;
+type SuppressionDecision = {
+    readonly _tag: "Suppress";
+} | {
+    readonly _tag: "SuppressFrom";
+} | {
+    readonly _tag: "Lift";
+};
+/**
+ * Returns what an unclaimed Event does during a suppression. The first Event after the stop,
+ * which usually contains the Agent's own comment, becomes the suppressed state (`SuppressFrom`);
+ * a different later Event lifts the suppression.
  */
-export declare const retryRun: (state: RunState.RunState, pendingCommands: ReadonlyArray<WorkflowCommand>) => RetryDecision;
+export declare const suppressionDecision: (suppression: Suppression, eventId: EventId) => SuppressionDecision;
 type ClaimDecision = {
     readonly _tag: "OpenRun";
 } | {
@@ -103,9 +159,8 @@ type ClaimDecision = {
     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).
+ * Returns what an unclaimed Event does: open a Run, queue behind the Item's running Run, or
+ * supersede the Item's unstarted Run (ADR 0007).
  */
 export declare const claimRun: (blocking: Option.Option<Run>, eventId: EventId) => ClaimDecision;
 export {};

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

@@ -1 +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"}
+{"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,EAAuB,aAAa,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,kBAAkB,EAIxB,MAAM,2BAA2B,CAAC;AACnC,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,EAA+B,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAIpD,yDAAyD;AACzD,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,+DAA+D;AAC/D,MAAM,MAAM,cAAc,GAAG,YAAY,GAAG,SAAS,GAAG,YAAY,GAAG,SAAS,CAAC;AAmBjF;;;GAGG;AACH,eAAO,MAAM,aAAa,YACf,WAAW,aACT,SAAS,UACZ,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,KAChD,cAkBF,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,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAClD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;CAC/C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;CAC/C,GACD,SAAS,GACT;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAA;CAAE,CAAC;AAetE;;;;GAIG;AACH,eAAO,MAAM,YAAY,YACd,WAAW,gBACN,YAAY,QACpB,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,aACnB,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,KAC3C,aAiCF,CAAC;AAEF,KAAK,cAAc,GACf;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAAE,GAClC;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAA;CAAE,GACnC;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,gFAAgF;AAChF,eAAO,MAAM,SAAS,YAAa,WAAW,KAAG,cAchD,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;;;GAGG;AACH,eAAO,MAAM,QAAQ,YAAa,WAAW,KAAG,aAO/C,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;AAErE;;;GAGG;AACH,eAAO,MAAM,QAAQ,aAAc,gBAAgB,WAAW,OAAO,KAAG,OAIpE,CAAC;AAEL,mEAAmE;AACnE,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAA;CAAE,GAC7C;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;CAAE,CAAC;AAEhE,KAAK,gBAAgB,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC/D;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC;AAErC;;;GAGG;AACH,eAAO,MAAM,YAAY,YAAa,UAAU,gBAAgB,OAAO,KAAG,gBASzE,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;CACpD;AAED,0DAA0D;AAC1D,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,SAAS,CAAC;AAElD,gGAAgG;AAChG,eAAO,MAAM,YAAY,aAAc,cAAc,KAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAUjF,CAAC;AAEF,KAAK,mBAAmB,GACpB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;CAAE,GACjC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9B;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,gBACjB,WAAW,WACf,OAAO,KACf,mBAKC,CAAC;AAEL,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;;;GAGG;AACH,eAAO,MAAM,QAAQ,aAAc,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,OAAO,KAAG,aAQzE,CAAC"}

package/dist/engine/lifecycle.js

@@ -1,35 +1,38 @@
 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 { SalvagePushed } from "@usine/core/attempt/salvage";
+import { StartedAfterRestart, StartedByEvent, StartedByInfraRetry, } from "@usine/core/attempt/start";
 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.
+import { Array as EffectArray, Match, Option, Result } from "effect";
 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 failRunningAttempt = (state, attempt, failure) => {
     const outcome = new AttemptFailed({ failure });
-    if (policy === "Execution" &&
-        shouldAutoRetry({ failure, number: attempt.number, maxAutoAttempts: MAX_AUTO_ATTEMPTS })) {
+    if (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) => {
+/**
+ * Returns the changes for the executor result of `attemptId`. An infrastructure failure is
+ * retried up to 3 Attempts in total; a late or repeated result returns `Unchanged`.
+ */
+export const finishAttempt = (current, attemptId, result) => {
     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.
+    // A result from before a restart or retry doesn't apply to the replacement Attempt.
     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 failRunningAttempt(current.run.state, attempt.value, result.failure);
     }
     return {
         _tag: "RunSucceeded",
@@ -39,30 +42,21 @@ const finish = (current, attemptId, result, policy) => {
         result: result.success,
     };
 };
+/** Returns the part of `salvage` that another Worker can fetch, if any. */
+const pushedPart = (salvage) => Match.valueTags(salvage, {
+    Pushed: (pushed) => Option.some(pushed),
+    PartlyPushed: ({ ref, commit }) => Option.some(new SalvagePushed({ ref, commit })),
+    Retained: () => Option.none(),
+    Rejected: () => Option.none(),
+});
+// Only a pushed salvage can be fetched on another Worker, so a retry resumes from the newest one.
+const newestPushedSalvage = (attempts) => EffectArray.findLast(attempts, (attempt) => Option.flatMap(attempt.salvage, pushedPart));
 /**
- * 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.
+ * Returns how the next Attempt starts after a Worker reservation. If an open Attempt's parent
+ * task is `live`, reattaches it without using a retry; otherwise fails it with `interruption`,
+ * counted against the retry cap. `requested` is the operator retry that reopened the Run, if any.
  */
-export const beginAttempt = (current, interruption) => {
+export const beginAttempt = (current, interruption, live, requested) => {
     const state = current.run.state;
     if (!RunState.isStartable(state) && state._tag !== "Running") {
         return { _tag: "RunClosed", state };
@@ -70,25 +64,37 @@ export const beginAttempt = (current, interruption) => {
     let interrupted = Option.none();
     const attempt = openAttempt(current);
     if (state._tag === "Running" && Option.isSome(attempt)) {
-        const recovery = failRunningAttempt(state, attempt.value, interruption, "Execution");
+        if (Option.contains(live, attempt.value.id)) {
+            return {
+                _tag: "ReattachAttempt",
+                state,
+                attempt: attempt.value,
+                resume: newestPushedSalvage(current.attempts),
+            };
+        }
+        const recovery = failRunningAttempt(state, attempt.value, interruption);
         if (recovery._tag === "RunFailed")
             return recovery;
         interrupted = Option.some(recovery);
     }
+    const start = Option.isSome(interrupted)
+        ? new StartedAfterRestart()
+        : Option.getOrElse(requested, () => current.attempts.length === 0 ? new StartedByEvent() : new StartedByInfraRetry());
     return {
         _tag: "StartAttempt",
         state: state._tag === "Running" ? state : RunState.start(state),
         number: AttemptNumber.make((current.attempts.at(-1)?.number ?? 0) + 1),
+        start,
         interrupted,
+        resume: newestPushedSalvage(current.attempts),
     };
 };
-/**
- * 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.
- */
+/** Returns the cancel decision for an open Run and its open Attempt, if any. */
 export const cancelRun = (current) => {
-    if (!RunState.isOpen(current.run.state))
+    if (current.run.state._tag === "Canceled")
         return { _tag: "AlreadyClosed" };
+    if (!RunState.isOpen(current.run.state))
+        return { _tag: "CancelRejected" };
     return {
         _tag: "Canceled",
         state: RunState.cancelByOperator(current.run.state),
@@ -101,22 +107,65 @@ export const cancelRun = (current) => {
     };
 };
 /**
- * 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.
+ * Returns the operator retry decision, regardless of the Attempt count. A retry of a running Run
+ * with no open Attempt changes nothing; a retry of a running Attempt is rejected.
  */
-export const retryRun = (state, pendingCommands) => {
+export const retryRun = (current) => {
+    const state = current.run.state;
     if (state._tag === "Failed")
         return { _tag: "Resume", state: RunState.retry(state) };
-    if (state._tag === "Running" && pendingCommands.includes("Resume")) {
+    if (state._tag === "Running" && Option.isNone(openAttempt(current))) {
         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).
+ * Returns whether the previous sighting was a non-match or another Event than `eventId`. Returns
+ * `false` if the Loop never saw the Item.
+ */
+export const cameBack = (previous, eventId) => Option.match(previous, {
+    onNone: () => false,
+    onSome: (observed) => !Option.contains(observed, eventId),
+});
+/**
+ * Returns what a new sighting of the `settled` Event does. The Event reopens only if the Item
+ * came back (#267) and its Run was canceled or the queued Event was revoked.
+ */
+export const resightEvent = (settled, itemCameBack) => {
+    if (settled._tag === "Owned") {
+        return settled.run.state._tag === "Canceled" && itemCameBack
+            ? { _tag: "ReopenEvent" }
+            : { _tag: "JoinRun", run: settled.run };
+    }
+    return settled.reason === "revoked" && itemCameBack
+        ? { _tag: "ReopenEvent" }
+        : { _tag: "StayIgnored", reason: settled.reason };
+};
+/** Returns the kind of operator stop that fails the Run in `decision`, or `None` (ADR 0017). */
+export const operatorStop = (decision) => {
+    if (decision._tag !== "RunFailed")
+        return Option.none();
+    switch (decision.outcome.failure._tag) {
+        case "QuestionFailure":
+            return Option.some("question");
+        case "BlockedFailure":
+            return Option.some("blocker");
+        default:
+            return Option.none();
+    }
+};
+/**
+ * Returns what an unclaimed Event does during a suppression. The first Event after the stop,
+ * which usually contains the Agent's own comment, becomes the suppressed state (`SuppressFrom`);
+ * a different later Event lifts the suppression.
+ */
+export const suppressionDecision = (suppression, eventId) => Option.match(suppression.suppressedEventId, {
+    onNone: () => ({ _tag: "SuppressFrom" }),
+    onSome: (suppressed) => suppressed === eventId ? { _tag: "Suppress" } : { _tag: "Lift" },
+});
+/**
+ * Returns what an unclaimed Event does: open a Run, queue behind the Item's running Run, or
+ * supersede the Item's unstarted Run (ADR 0007).
  */
 export const claimRun = (blocking, eventId) => {
     if (Option.isNone(blocking))

package/dist/engine/lifecycle.js.map

@@ -1 +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"}
+{"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,EAAuB,aAAa,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAGL,mBAAmB,EACnB,cAAc,EACd,mBAAmB,GACpB,MAAM,2BAA2B,CAAC;AACnC,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,KAAK,IAAI,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGrE,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,EACG,EAAE;IAC5B,MAAM,OAAO,GAAG,IAAI,aAAa,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;IAC/C,IAAI,eAAe,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,eAAe,EAAE,iBAAiB,EAAE,CAAC,EAAE,CAAC;QAC7F,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;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,OAAoB,EACpB,SAAoB,EACpB,MAAiD,EACjC,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,oFAAoF;IACpF,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,CAAC,CAAC;IAC9E,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;AAoBF,2EAA2E;AAC3E,MAAM,UAAU,GAAG,CAAC,OAAuB,EAAgC,EAAE,CAC3E,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE;IACvB,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;IACvC,YAAY,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;IAClF,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE;IAC7B,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE;CAC9B,CAAC,CAAC;AAEL,kGAAkG;AAClG,MAAM,mBAAmB,GAAG,CAAC,QAAgC,EAAgC,EAAE,CAC7F,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;AAE3F;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,OAAoB,EACpB,YAA0B,EAC1B,IAA8B,EAC9B,SAA4C,EAC7B,EAAE;IACjB,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,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5C,OAAO;gBACL,IAAI,EAAE,iBAAiB;gBACvB,KAAK;gBACL,OAAO,EAAE,OAAO,CAAC,KAAK;gBACtB,MAAM,EAAE,mBAAmB,CAAC,OAAO,CAAC,QAAQ,CAAC;aAC9C,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACxE,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,QAAQ,CAAC;QACnD,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;IACD,MAAM,KAAK,GAAiB,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;QACpD,CAAC,CAAC,IAAI,mBAAmB,EAAE;QAC3B,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,GAAiB,EAAE,CAC7C,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,cAAc,EAAE,CAAC,CAAC,CAAC,IAAI,mBAAmB,EAAE,CACjF,CAAC;IACN,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,KAAK;QACL,WAAW;QACX,MAAM,EAAE,mBAAmB,CAAC,OAAO,CAAC,QAAQ,CAAC;KAC9C,CAAC;AACJ,CAAC,CAAC;AAcF,gFAAgF;AAChF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,OAAoB,EAAkB,EAAE;IAChE,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;IAC5E,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;IAC3E,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;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAAoB,EAAiB,EAAE;IAC9D,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;IAChC,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,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACpE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;AACnC,CAAC,CAAC;AAQF;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,QAA0B,EAAE,OAAgB,EAAW,EAAE,CAChF,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE;IACrB,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;IACnB,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC1D,CAAC,CAAC;AAYL;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,OAAmB,EAAE,YAAqB,EAAoB,EAAE;IAC3F,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,YAAY;YAC1D,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE;YACzB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;IAC5C,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,YAAY;QACjD,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE;QACzB,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;AACtD,CAAC,CAAC;AAcF,gGAAgG;AAChG,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAAwB,EAA+B,EAAE;IACpF,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;IACxD,QAAQ,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACtC,KAAK,iBAAiB;YACpB,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACjC,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChC;YACE,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;IACzB,CAAC;AACH,CAAC,CAAC;AAOF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,WAAwB,EACxB,OAAgB,EACK,EAAE,CACvB,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,iBAAiB,EAAE;IAC1C,MAAM,EAAE,GAAwB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;IAC7D,MAAM,EAAE,CAAC,UAAU,EAAuB,EAAE,CAC1C,UAAU,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;CACnE,CAAC,CAAC;AAOL;;;GAGG;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/retry.d.ts

@@ -0,0 +1,16 @@
+import { AttemptContext } from "@usine/core/attempt";
+import { Schema } from "effect";
+declare const RetryRequest_base: Schema.Class<RetryRequest, Schema.Struct<{
+    readonly requestedBy: Schema.Option<Schema.brand<Schema.String, "OperatorLogin">>;
+    readonly amendment: Schema.Option<typeof AttemptContext>;
+}>, {}>;
+/**
+ * An operator retry of a failed Run. `requestedBy` is `None` if `usine.yaml` sets no operator
+ * login, and `amendment` is the edit-and-retry task and Agent (ADR 0018).
+ */
+export declare class RetryRequest extends RetryRequest_base {
+}
+/** A retry without a login that keeps the Run's task and Agent. */
+export declare const plainRetry: RetryRequest;
+export {};
+//# sourceMappingURL=retry.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"retry.d.ts","sourceRoot":"","sources":["../../src/engine/retry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErD,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAC;;;;;AAExC;;;GAGG;AACH,qBAAa,YAAa,SAAQ,iBAGhC;CAAG;AAEL,mEAAmE;AACnE,eAAO,MAAM,UAAU,cAGrB,CAAC"}

package/dist/engine/retry.js

@@ -0,0 +1,18 @@
+import { AttemptContext } from "@usine/core/attempt";
+import { OperatorLogin } from "@usine/core/operator";
+import { Option, Schema } from "effect";
+/**
+ * An operator retry of a failed Run. `requestedBy` is `None` if `usine.yaml` sets no operator
+ * login, and `amendment` is the edit-and-retry task and Agent (ADR 0018).
+ */
+export class RetryRequest extends Schema.Class("@usine/engine/RetryRequest")({
+    requestedBy: Schema.Option(OperatorLogin),
+    amendment: Schema.Option(AttemptContext),
+}) {
+}
+/** A retry without a login that keeps the Run's task and Agent. */
+export const plainRetry = new RetryRequest({
+    requestedBy: Option.none(),
+    amendment: Option.none(),
+});
+//# sourceMappingURL=retry.js.map

package/dist/engine/retry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retry.js","sourceRoot":"","sources":["../../src/engine/retry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAExC;;;GAGG;AACH,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,KAAK,CAAe,4BAA4B,CAAC,CAAC;IACzF,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC;IACzC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;CACzC,CAAC;CAAG;AAEL,mEAAmE;AACnE,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,YAAY,CAAC;IACzC,WAAW,EAAE,MAAM,CAAC,IAAI,EAAE;IAC1B,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE;CACzB,CAAC,CAAC"}

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

@@ -0,0 +1,45 @@
+import { AttemptContext } from "@usine/core/attempt";
+import { type CycleGeneration } from "@usine/core/cycle-budget";
+import { DedupKey } from "@usine/core/event";
+import { type DateTime, Schema } from "effect";
+import type { RunSnapshot } from "../run-reader/model.ts";
+import { Claimed, CycleBlocked, Submission } from "./submission.ts";
+declare const RunAgainRequest_base: Schema.Class<RunAgainRequest, Schema.Struct<{
+    readonly step: Schema.brand<Schema.NonEmptyString, "StepName">;
+    readonly approval: Schema.Literals<readonly ["none", "required"]>;
+    /** The cycle limit, or `None` for a schedule Loop. */
+    readonly cycleLimit: Schema.Option<Schema.brand<Schema.Int, "CycleLimit">>;
+    readonly permissions: Schema.Literals<readonly ["write", "read"]>;
+    readonly context: typeof AttemptContext;
+    readonly requestedBy: Schema.Option<Schema.brand<Schema.String, "OperatorLogin">>;
+}>, {}>;
+/**
+ * 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 declare class RunAgainRequest extends RunAgainRequest_base {
+}
+/**
+ * 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 declare const RunAgainResult: Schema.Union<readonly [typeof Claimed, typeof CycleBlocked]>;
+export type RunAgainResult = typeof RunAgainResult.Type;
+/** The position of a run again among the Events opened for one trigger Event. */
+export interface RunAgainIdentity {
+    /** The dedup key of the trigger Event that the closed Run's Event is or reopened. */
+    readonly trigger: DedupKey;
+    /** The trigger Event's next reopening number, shared with reopenings (#267). */
+    readonly reopening: number;
+    /** The Item's cycle generation at the time of the request. */
+    readonly generation: CycleGeneration;
+    readonly receivedAt: DateTime.Utc;
+}
+/**
+ * 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 declare const runAgainSubmission: (ran: RunSnapshot, request: RunAgainRequest, identity: RunAgainIdentity) => Submission;
+export {};
+//# sourceMappingURL=run-again.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"run-again.d.ts","sourceRoot":"","sources":["../../src/engine/run-again.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,KAAK,eAAe,EAAc,MAAM,0BAA0B,CAAC;AAC5E,OAAO,EAAE,QAAQ,EAAkB,MAAM,mBAAmB,CAAC;AAI7D,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC/C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;;;;IAUhE,sDAAsD;;;;;;AAR1D;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,oBAUpC;CAAG;AAEJ;;;GAGG;AACH,eAAO,MAAM,cAAc,8DAAwC,CAAC;AAEpE,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;AAExD,iFAAiF;AACjF,MAAM,WAAW,gBAAgB;IAC/B,qFAAqF;IACrF,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,gFAAgF;IAChF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,8DAA8D;IAC9D,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC;CACnC;AAED;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,QACxB,WAAW,WACP,eAAe,YACd,gBAAgB,KACzB,UAwBF,CAAC"}

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"}