@usine/engine 0.3.0 → 0.4.0

package/dist/engine/error.d.ts

@@ -2,44 +2,63 @@ import { Schema } from "effect";
 declare const RunNotFoundError_base: Schema.Class<RunNotFoundError, Schema.TaggedStruct<"RunNotFoundError", {
     readonly runId: Schema.brand<Schema.NonEmptyString, "RunId">;
 }>, import("effect/Cause").YieldableError>;
-/** No Run with the requested identity exists in this instance's records. */
+/** An error for a Run ID that doesn't exist. */
 export declare class RunNotFoundError extends RunNotFoundError_base {
 }
 declare const RunOperationRejectedError_base: Schema.Class<RunOperationRejectedError, Schema.TaggedStruct<"RunOperationRejectedError", {
     readonly runId: Schema.brand<Schema.NonEmptyString, "RunId">;
-    readonly operation: Schema.Literals<readonly ["approve", "retry"]>;
+    readonly operation: Schema.Literals<readonly ["approve", "retry", "resolveFailure", "runAgain"]>;
     readonly state: Schema.String;
 }>, import("effect/Cause").YieldableError>;
-/** The Run's current state does not allow the requested approval or retry. */
+/** An error for an operator action that the Run's state doesn't allow. */
 export declare class RunOperationRejectedError extends RunOperationRejectedError_base {
 }
+declare const RunRetryBlockedError_base: Schema.Class<RunRetryBlockedError, Schema.TaggedStruct<"RunRetryBlockedError", {
+    readonly runId: Schema.brand<Schema.NonEmptyString, "RunId">;
+    readonly openRunId: Schema.brand<Schema.NonEmptyString, "RunId">;
+    readonly message: Schema.NonEmptyString;
+}>, import("effect/Cause").YieldableError>;
+/** An error for a retry or run again while `openRunId`, another Run of the same Loop and Item, is open. */
+export declare class RunRetryBlockedError extends RunRetryBlockedError_base {
+}
 declare const EnginePersistenceError_base: Schema.Class<EnginePersistenceError, Schema.TaggedStruct<"EnginePersistenceError", {
     readonly operation: Schema.String;
     readonly cause: Schema.Defect;
 }>, import("effect/Cause").YieldableError>;
-/** An operation could not read or update the instance's durable records. */
+/** An error reading or writing the instance's durable records. */
 export declare class EnginePersistenceError extends EnginePersistenceError_base {
 }
 declare const AttemptCancellationError_base: Schema.Class<AttemptCancellationError, Schema.TaggedStruct<"AttemptCancellationError", {
     readonly attemptId: Schema.brand<Schema.NonEmptyString, "AttemptId">;
     readonly cause: Schema.Defect;
 }>, import("effect/Cause").YieldableError>;
-/** The Run is canceled, but interrupting its active Attempt failed. */
+/** An error for a canceled Run whose active Attempt couldn't be interrupted. */
 export declare class AttemptCancellationError extends AttemptCancellationError_base {
 }
-/** Everything the store itself can fail with. */
-export declare const RunStoreError: Schema.Union<readonly [typeof RunNotFoundError, typeof RunOperationRejectedError, typeof EnginePersistenceError]>;
+/** The errors that the Run store can fail with. */
+export declare const RunStoreError: Schema.Union<readonly [typeof RunNotFoundError, typeof RunOperationRejectedError, typeof RunRetryBlockedError, typeof EnginePersistenceError]>;
 export type RunStoreError = typeof RunStoreError.Type;
 declare const RunInterventionRejectedError_base: Schema.Class<RunInterventionRejectedError, Schema.TaggedStruct<"RunInterventionRejectedError", {
     readonly runId: Schema.brand<Schema.NonEmptyString, "RunId">;
     readonly attemptId: Schema.brand<Schema.NonEmptyString, "AttemptId">;
     readonly message: Schema.NonEmptyString;
 }>, import("effect/Cause").YieldableError>;
-/** The requested Attempt is no longer live, or its channel could not accept operator input. */
+/** An error for an Attempt that is no longer live or whose channel rejected operator input. */
 export declare class RunInterventionRejectedError extends RunInterventionRejectedError_base {
 }
-/** The store's failures plus the cancellation handshake failure only the engine raises. */
-export declare const RunEngineError: Schema.Union<readonly [typeof RunNotFoundError, typeof RunOperationRejectedError, typeof EnginePersistenceError, typeof AttemptCancellationError, typeof RunInterventionRejectedError]>;
+declare const LeftoversDiscardRejectedError_base: Schema.Class<LeftoversDiscardRejectedError, Schema.TaggedStruct<"LeftoversDiscardRejectedError", {
+    readonly worker: Schema.brand<Schema.String, "WorkerName">;
+    /** The number of open Attempts on `worker`. */
+    readonly running: Schema.Int;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * An error for discarding the leftovers of a Worker that is still in `usine.yaml` or still has
+ * open Attempts. Nothing is discarded.
+ */
+export declare class LeftoversDiscardRejectedError extends LeftoversDiscardRejectedError_base {
+}
+/** The Run store errors plus `AttemptCancellationError`. */
+export declare const RunEngineError: Schema.Union<readonly [typeof RunNotFoundError, typeof RunOperationRejectedError, typeof RunRetryBlockedError, typeof EnginePersistenceError, typeof AttemptCancellationError, typeof RunInterventionRejectedError]>;
 export type RunEngineError = typeof RunEngineError.Type;
 export {};
 //# sourceMappingURL=error.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"error.d.ts","sourceRoot":"","sources":["../../src/engine/error.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;;;;AAEhC,4EAA4E;AAC5E,qBAAa,gBAAiB,SAAQ,qBAIpC;CAAG;;;;;;AAEL,8EAA8E;AAC9E,qBAAa,yBAA0B,SAAQ,8BAM7C;CAAG;;;;;AAEL,4EAA4E;AAC5E,qBAAa,sBAAuB,SAAQ,2BAK1C;CAAG;;;;;AAEL,uEAAuE;AACvE,qBAAa,wBAAyB,SAAQ,6BAK5C;CAAG;AAEL,iDAAiD;AACjD,eAAO,MAAM,aAAa,mHAIxB,CAAC;AAEH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;;;;;;AAEtD,+FAA+F;AAC/F,qBAAa,4BAA6B,SAAQ,iCAMhD;CAAG;AAEL,2FAA2F;AAC3F,eAAO,MAAM,cAAc,yLAMzB,CAAC;AAEH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC"}
+{"version":3,"file":"error.d.ts","sourceRoot":"","sources":["../../src/engine/error.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;;;;AAEhC,gDAAgD;AAChD,qBAAa,gBAAiB,SAAQ,qBAIpC;CAAG;;;;;;AAEL,0EAA0E;AAC1E,qBAAa,yBAA0B,SAAQ,8BAM7C;CAAG;;;;;;AAEL,2GAA2G;AAC3G,qBAAa,oBAAqB,SAAQ,yBAMxC;CAAG;;;;;AAEL,kEAAkE;AAClE,qBAAa,sBAAuB,SAAQ,2BAK1C;CAAG;;;;;AAEL,gFAAgF;AAChF,qBAAa,wBAAyB,SAAQ,6BAK5C;CAAG;AAEL,mDAAmD;AACnD,eAAO,MAAM,aAAa,gJAKxB,CAAC;AAEH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;;;;;;AAEtD,+FAA+F;AAC/F,qBAAa,4BAA6B,SAAQ,iCAMhD;CAAG;;;IAUH,+CAA+C;;;AARjD;;;GAGG;AACH,qBAAa,6BAA8B,SAAQ,kCAMjD;CAAG;AAEL,4DAA4D;AAC5D,eAAO,MAAM,cAAc,sNAOzB,CAAC;AAEH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC"}

package/dist/engine/error.js

@@ -1,47 +1,67 @@
 import { AttemptId } from "@usine/core/attempt";
 import { RunId } from "@usine/core/run";
+import { WorkerName } from "@usine/core/worker";
 import { Schema } from "effect";
-/** No Run with the requested identity exists in this instance's records. */
+/** An error for a Run ID that doesn't exist. */
 export class RunNotFoundError extends Schema.TaggedError("@usine/engine/RunNotFoundError")("RunNotFoundError", {
     runId: RunId,
 }) {
 }
-/** The Run's current state does not allow the requested approval or retry. */
+/** An error for an operator action that the Run's state doesn't allow. */
 export class RunOperationRejectedError extends Schema.TaggedError("@usine/engine/RunOperationRejectedError")("RunOperationRejectedError", {
     runId: RunId,
-    operation: Schema.Literals(["approve", "retry"]),
+    operation: Schema.Literals(["approve", "retry", "resolveFailure", "runAgain"]),
     state: Schema.String,
 }) {
 }
-/** An operation could not read or update the instance's durable records. */
+/** An error for a retry or run again while `openRunId`, another Run of the same Loop and Item, is open. */
+export class RunRetryBlockedError extends Schema.TaggedError("@usine/engine/RunRetryBlockedError")("RunRetryBlockedError", {
+    runId: RunId,
+    openRunId: RunId,
+    message: Schema.NonEmptyString,
+}) {
+}
+/** An error reading or writing the instance's durable records. */
 export class EnginePersistenceError extends Schema.TaggedError("@usine/engine/EnginePersistenceError")("EnginePersistenceError", {
     operation: Schema.String,
     cause: Schema.Defect(),
 }) {
 }
-/** The Run is canceled, but interrupting its active Attempt failed. */
+/** An error for a canceled Run whose active Attempt couldn't be interrupted. */
 export class AttemptCancellationError extends Schema.TaggedError("@usine/engine/AttemptCancellationError")("AttemptCancellationError", {
     attemptId: AttemptId,
     cause: Schema.Defect(),
 }) {
 }
-/** Everything the store itself can fail with. */
+/** The errors that the Run store can fail with. */
 export const RunStoreError = Schema.Union([
     RunNotFoundError,
     RunOperationRejectedError,
+    RunRetryBlockedError,
     EnginePersistenceError,
 ]);
-/** The requested Attempt is no longer live, or its channel could not accept operator input. */
+/** An error for an Attempt that is no longer live or whose channel rejected operator input. */
 export class RunInterventionRejectedError extends Schema.TaggedError("@usine/engine/RunInterventionRejectedError")("RunInterventionRejectedError", {
     runId: RunId,
     attemptId: AttemptId,
     message: Schema.NonEmptyString,
 }) {
 }
-/** The store's failures plus the cancellation handshake failure only the engine raises. */
+/**
+ * An error for discarding the leftovers of a Worker that is still in `usine.yaml` or still has
+ * open Attempts. Nothing is discarded.
+ */
+export class LeftoversDiscardRejectedError extends Schema.TaggedError("@usine/engine/LeftoversDiscardRejectedError")("LeftoversDiscardRejectedError", {
+    worker: WorkerName,
+    /** The number of open Attempts on `worker`. */
+    running: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+}) {
+}
+/** The Run store errors plus `AttemptCancellationError`. */
 export const RunEngineError = Schema.Union([
     RunNotFoundError,
     RunOperationRejectedError,
+    RunRetryBlockedError,
     EnginePersistenceError,
     AttemptCancellationError,
     RunInterventionRejectedError,

package/dist/engine/error.js.map

@@ -1 +1 @@
-{"version":3,"file":"error.js","sourceRoot":"","sources":["../../src/engine/error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,4EAA4E;AAC5E,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,CACtD,gCAAgC,CACjC,CAAC,kBAAkB,EAAE;IACpB,KAAK,EAAE,KAAK;CACb,CAAC;CAAG;AAEL,8EAA8E;AAC9E,MAAM,OAAO,yBAA0B,SAAQ,MAAM,CAAC,WAAW,CAC/D,yCAAyC,CAC1C,CAAC,2BAA2B,EAAE;IAC7B,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAChD,KAAK,EAAE,MAAM,CAAC,MAAM;CACrB,CAAC;CAAG;AAEL,4EAA4E;AAC5E,MAAM,OAAO,sBAAuB,SAAQ,MAAM,CAAC,WAAW,CAC5D,sCAAsC,CACvC,CAAC,wBAAwB,EAAE;IAC1B,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;CACvB,CAAC;CAAG;AAEL,uEAAuE;AACvE,MAAM,OAAO,wBAAyB,SAAQ,MAAM,CAAC,WAAW,CAC9D,wCAAwC,CACzC,CAAC,0BAA0B,EAAE;IAC5B,SAAS,EAAE,SAAS;IACpB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;CACvB,CAAC;CAAG;AAEL,iDAAiD;AACjD,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC;IACxC,gBAAgB;IAChB,yBAAyB;IACzB,sBAAsB;CACvB,CAAC,CAAC;AAIH,+FAA+F;AAC/F,MAAM,OAAO,4BAA6B,SAAQ,MAAM,CAAC,WAAW,CAClE,4CAA4C,CAC7C,CAAC,8BAA8B,EAAE;IAChC,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,SAAS;IACpB,OAAO,EAAE,MAAM,CAAC,cAAc;CAC/B,CAAC;CAAG;AAEL,2FAA2F;AAC3F,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC;IACzC,gBAAgB;IAChB,yBAAyB;IACzB,sBAAsB;IACtB,wBAAwB;IACxB,4BAA4B;CAC7B,CAAC,CAAC"}
+{"version":3,"file":"error.js","sourceRoot":"","sources":["../../src/engine/error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,gDAAgD;AAChD,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,CACtD,gCAAgC,CACjC,CAAC,kBAAkB,EAAE;IACpB,KAAK,EAAE,KAAK;CACb,CAAC;CAAG;AAEL,0EAA0E;AAC1E,MAAM,OAAO,yBAA0B,SAAQ,MAAM,CAAC,WAAW,CAC/D,yCAAyC,CAC1C,CAAC,2BAA2B,EAAE;IAC7B,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;IAC9E,KAAK,EAAE,MAAM,CAAC,MAAM;CACrB,CAAC;CAAG;AAEL,2GAA2G;AAC3G,MAAM,OAAO,oBAAqB,SAAQ,MAAM,CAAC,WAAW,CAC1D,oCAAoC,CACrC,CAAC,sBAAsB,EAAE;IACxB,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,KAAK;IAChB,OAAO,EAAE,MAAM,CAAC,cAAc;CAC/B,CAAC;CAAG;AAEL,kEAAkE;AAClE,MAAM,OAAO,sBAAuB,SAAQ,MAAM,CAAC,WAAW,CAC5D,sCAAsC,CACvC,CAAC,wBAAwB,EAAE;IAC1B,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;CACvB,CAAC;CAAG;AAEL,gFAAgF;AAChF,MAAM,OAAO,wBAAyB,SAAQ,MAAM,CAAC,WAAW,CAC9D,wCAAwC,CACzC,CAAC,0BAA0B,EAAE;IAC5B,SAAS,EAAE,SAAS;IACpB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;CACvB,CAAC;CAAG;AAEL,mDAAmD;AACnD,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC;IACxC,gBAAgB;IAChB,yBAAyB;IACzB,oBAAoB;IACpB,sBAAsB;CACvB,CAAC,CAAC;AAIH,+FAA+F;AAC/F,MAAM,OAAO,4BAA6B,SAAQ,MAAM,CAAC,WAAW,CAClE,4CAA4C,CAC7C,CAAC,8BAA8B,EAAE;IAChC,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,SAAS;IACpB,OAAO,EAAE,MAAM,CAAC,cAAc;CAC/B,CAAC;CAAG;AAEL;;;GAGG;AACH,MAAM,OAAO,6BAA8B,SAAQ,MAAM,CAAC,WAAW,CACnE,6CAA6C,CAC9C,CAAC,+BAA+B,EAAE;IACjC,MAAM,EAAE,UAAU;IAClB,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;CAC5D,CAAC;CAAG;AAEL,4DAA4D;AAC5D,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC;IACzC,gBAAgB;IAChB,yBAAyB;IACzB,oBAAoB;IACpB,sBAAsB;IACtB,wBAAwB;IACxB,4BAA4B;CAC7B,CAAC,CAAC"}

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 type { 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,36 +36,35 @@ 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";
 } | {
@@ -74,10 +75,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 +86,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 +157,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,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AACjE,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,EAAwB,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9D,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;AAWtE;;;;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;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,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;;;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,37 @@
 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 { 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, 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 +41,14 @@ const finish = (current, attemptId, result, policy) => {
         result: result.success,
     };
 };
+// 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.filter(attempt.salvage, (salvage) => salvage._tag === "Pushed"));
 /**
- * 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).
+ * 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 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) => {
+export const beginAttempt = (current, interruption, live, requested) => {
     const state = current.run.state;
     if (!RunState.isStartable(state) && state._tag !== "Running") {
         return { _tag: "RunClosed", state };
@@ -70,22 +56,32 @@ 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))
         return { _tag: "AlreadyClosed" };
@@ -101,22 +97,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;AAE/F,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,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAG9D,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,kGAAkG;AAClG,MAAM,mBAAmB,GAAG,CAAC,QAAgC,EAAgC,EAAE,CAC7F,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CACzC,MAAM,CAAC,MAAM,CACX,OAAO,CAAC,OAAO,EACf,CAAC,OAAO,EAA4B,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CACjE,CACF,CAAC;AAEJ;;;;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;AAaF,gFAAgF;AAChF,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;;;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