@usine/engine 0.3.0 → 0.5.0

package/dist/step-executor.d.ts

@@ -1,9 +1,11 @@
+import type { AttemptRecovery, RecoverySink } from "@usine/core/attempt/salvage";
 import { Agent } from "@usine/core/agent";
-import { Attempt, type AttemptId } from "@usine/core/attempt";
+import { Attempt, type AttemptId, type StopReason } from "@usine/core/attempt";
+import { SalvagePushed } from "@usine/core/attempt/salvage";
 import { Event } from "@usine/core/event";
-import { Run } from "@usine/core/run";
+import { Run, type RunId } from "@usine/core/run";
 import { Step } from "@usine/core/step";
-import { Schema, Context, Effect } from "effect";
+import { Schema, Context, Effect, type Option, type Result } from "effect";
 import type * as AttemptChannel from "@usine/core/attempt/channel";
 import type { AttemptFailure } from "@usine/core/attempt/failure";
 import type { WorkerName } from "@usine/core/worker";
@@ -19,26 +21,97 @@ declare const StepExecution_base: Schema.Class<StepExecution, Schema.Struct<{
     readonly task: Schema.brand<Schema.String, "AttemptTask">;
     readonly agent: typeof Agent;
     readonly parentModel: Schema.Option<Schema.brand<Schema.String, "ModelId">>;
+    /** The Attempt's access to `repository`, from the Run's Loop (ADR 0011). */
+    readonly permissions: Schema.Literals<readonly ["write", "read"]>;
+    /** The newest pushed salvage of an earlier Attempt of the Run, which the checkout resumes from. */
+    readonly resume: Schema.Option<typeof SalvagePushed>;
+    /** Whether to reattach to the Attempt's live parent task instead of starting it. */
+    readonly reattach: Schema.withConstructorDefault<Schema.Boolean>;
 }>, {}>;
-/** The saved Event, effective task and Agent, and Step being tried in one Attempt. */
+/** The saved Event, effective task and Agent, and Step of one Attempt. */
 export declare class StepExecution extends StepExecution_base {
 }
-/** A reservation of one Worker's capacity for the length of an Attempt. Call `release` when the Attempt ends. */
+/** A reservation of one Worker slot for an Attempt, freed by `release`. */
 export interface WorkerLease {
     readonly worker: WorkerName;
     readonly release: Effect.Effect<void>;
 }
+/**
+ * The channel sink for one execution. The executor runs `checkoutAcquired` after preparing the
+ * checkout and before launching the Attempt; from then on, it salvages and releases the
+ * checkout. Before that, the engine reconciles a kept checkout through `StepExecutor.recover`
+ * (#180).
+ */
+export interface ExecutionSink extends AttemptChannel.Sink {
+    readonly checkoutAcquired: Effect.Effect<void>;
+}
 declare const StepExecutor_base: Context.ServiceClass<StepExecutor, "@usine/engine/StepExecutor", {
-    /** Requests that the identified Attempt stop its current work. */
-    readonly interrupt: (attemptId: AttemptId) => Effect.Effect<void, AttemptFailure>;
-    /** Sends a nonterminal operator action to a live session in the identified Attempt. */
+    /**
+     * The configured Workers, plus each removed Worker until its last Attempt ends. The engine
+     * calls `recover` only for Attempts on these Workers.
+     */
+    readonly workers: Effect.Effect<ReadonlyArray<WorkerName>>;
+    /**
+     * Returns whether the Attempt's parent task survived an orchestrator restart: it still runs,
+     * or it finished and its result is still on the Worker.
+     */
+    readonly isLive: (attemptId: AttemptId) => Effect.Effect<boolean, AttemptFailure>;
+    /**
+     * Returns the result that an open Attempt's parent task stored before an orchestrator restart,
+     * or `None` if nothing was stored.
+     */
+    readonly outcome: (attemptId: AttemptId) => Effect.Effect<Option.Option<Result.Result<StepResult, AttemptFailure>>, AttemptFailure>;
+    /**
+     * Reconciles the checkout of an Attempt that no Run reattaches, recording its salvage before
+     * releasing it. Stops a live parent task first, and fails, leaving the checkout, if it can't
+     * confirm the stop. For an open Attempt whose parent task failed before a launch recorded it,
+     * also records the comments the Attempt posted on the Run's Item.
+     */
+    readonly recover: <E>(attempt: AttemptRecovery, record: RecoverySink<E>) => Effect.Effect<void, E | AttemptFailure>;
+    /**
+     * Stops the Attempt's work for `reason`, including a parent task that survived a restart. Fails
+     * if the parent task can't be confirmed stopped. The engine also calls it after `execute`
+     * fails, and keeps the Attempt's Worker slot while it fails (#512). Once a stop is confirmed,
+     * the executor salvages and removes a checkout that it kept while the stop was unconfirmed
+     * (#523).
+     */
+    readonly interrupt: (attemptId: AttemptId, reason: StopReason) => Effect.Effect<void, AttemptFailure>;
+    /** Sends a non-terminal operator action to a live session of the Attempt. */
     readonly intervene: (attemptId: AttemptId, intervention: AttemptChannel.Intervention) => Effect.Effect<void, AttemptFailure>;
-    /** Waits for Worker capacity; the returned lease must be released after execution or cancellation. */
-    readonly reserve: (submission: Submission) => Effect.Effect<WorkerLease, AttemptFailure>;
-    /** Runs the reserved Attempt, recording channel activity through `io`, and waits for its result. */
-    readonly execute: (execution: StepExecution, io: AttemptChannel.Sink) => Effect.Effect<StepResult, AttemptFailure>;
+    /**
+     * Waits for a Worker slot for the next Attempt of `runId` and returns its lease, which the
+     * caller releases. If `worker` is set, waits for a slot on that Worker only (#177).
+     */
+    readonly reserve: (runId: RunId, submission: Submission, worker: Option.Option<WorkerName>) => Effect.Effect<WorkerLease, AttemptFailure>;
+    /**
+     * Takes a slot on `worker` immediately for `attemptId`, an Attempt that already runs there,
+     * even if no slot is free, so the Worker can exceed its capacity until enough Attempts end
+     * (#177). On a Worker that creates a machine per Attempt, the lease holds that Attempt's
+     * machine (#550).
+     */
+    readonly occupy: (worker: WorkerName, attemptId: AttemptId) => Effect.Effect<WorkerLease>;
+    /**
+     * Removes the Worker resources that no Attempt holds, such as the machines that a provisioned
+     * Worker created for Attempts of an earlier process (#550), or the Codex homes that a crash
+     * left on an SSH Worker. The engine runs it after startup recovery and at each reconcile.
+     * Never fails; the executor logs what it couldn't remove.
+     */
+    readonly sweep: Effect.Effect<void>;
+    /**
+     * Removes what `attempts`, whose leftovers the operator discarded, left on `worker` outside
+     * their checkouts, such as their Codex homes on an SSH Worker. `worker` isn't in `workers`.
+     * The engine runs it after it stops tracking the Attempts. Never fails; the executor logs
+     * what it couldn't remove.
+     */
+    readonly discard: (worker: WorkerName, attempts: ReadonlyArray<AttemptId>) => Effect.Effect<void>;
+    /**
+     * Runs the reserved Attempt, or reattaches to it if `execution.reattach` is set, records channel
+     * activity through `io`, and returns its result. Runs `io.checkoutAcquired` after preparing the
+     * checkout, and never if preparation fails.
+     */
+    readonly execute: (execution: StepExecution, io: ExecutionSink) => Effect.Effect<StepResult, AttemptFailure>;
 }>;
-/** Runs one Attempt on a Worker: reserve capacity, execute the step, interrupt on cancel. */
+/** The service that runs Attempts on Workers. */
 export declare class StepExecutor extends StepExecutor_base {
 }
 export {};

package/dist/step-executor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"step-executor.d.ts","sourceRoot":"","sources":["../src/step-executor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,OAAO,EAAE,OAAO,EAAe,KAAK,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,KAAK,KAAK,cAAc,MAAM,6BAA6B,CAAC;AACnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;;;;;;;;;;;;AAEzD,sFAAsF;AACtF,qBAAa,aAAc,SAAQ,kBAUjC;CAAG;AAEL,iHAAiH;AACjH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CACvC;;IAMG,kEAAkE;wBAC9C,CAAC,SAAS,EAAE,SAAS,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC;IACjF,uFAAuF;wBACnE,CAClB,SAAS,EAAE,SAAS,EACpB,YAAY,EAAE,cAAc,CAAC,YAAY,KACtC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC;IACxC,sGAAsG;sBACpF,CAAC,UAAU,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC;IACxF,oGAAoG;sBAClF,CAChB,SAAS,EAAE,aAAa,EACxB,EAAE,EAAE,cAAc,CAAC,IAAI,KACpB,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC;;AAjBlD,6FAA6F;AAC7F,qBAAa,YAAa,SAAQ,iBAkBD;CAAG"}
+{"version":3,"file":"step-executor.d.ts","sourceRoot":"","sources":["../src/step-executor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,OAAO,EAAE,OAAO,EAAe,KAAK,SAAS,EAAE,KAAK,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAC5F,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAG1C,OAAO,EAAE,GAAG,EAAE,KAAK,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,MAAM,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC3E,OAAO,KAAK,KAAK,cAAc,MAAM,6BAA6B,CAAC;AACnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;;;;;;;;;;;IAavD,4EAA4E;;IAE5E,mGAAmG;;IAEnG,oFAAoF;;;AAftF,0EAA0E;AAC1E,qBAAa,aAAc,SAAQ,kBAgBjC;CAAG;AAEL,2EAA2E;AAC3E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CACvC;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAc,SAAQ,cAAc,CAAC,IAAI;IACxD,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CAChD;;IAMG;;;OAGG;sBACe,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;IAC1D;;;OAGG;qBACc,CAAC,SAAS,EAAE,SAAS,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,cAAc,CAAC;IACjF;;;OAGG;sBACe,CAChB,SAAS,EAAE,SAAS,KACjB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC,EAAE,cAAc,CAAC;IAC5F;;;;;OAKG;sBACe,CAAC,CAAC,EAClB,OAAO,EAAE,eAAe,EACxB,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KACpB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,cAAc,CAAC;IAC5C;;;;;;OAMG;wBACiB,CAClB,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,UAAU,KACf,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC;IACxC,6EAA6E;wBACzD,CAClB,SAAS,EAAE,SAAS,EACpB,YAAY,EAAE,cAAc,CAAC,YAAY,KACtC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC;IACxC;;;OAGG;sBACe,CAChB,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,UAAU,EACtB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC;IAC/C;;;;;OAKG;qBACc,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;IACzF;;;;;OAKG;oBACa,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IACnC;;;;;OAKG;sBACe,CAChB,MAAM,EAAE,UAAU,EAClB,QAAQ,EAAE,aAAa,CAAC,SAAS,CAAC,KAC/B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IACxB;;;;OAIG;sBACe,CAChB,SAAS,EAAE,aAAa,EACxB,EAAE,EAAE,aAAa,KACd,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC;;AAxFlD,iDAAiD;AACjD,qBAAa,YAAa,SAAQ,iBAyFD;CAAG"}

package/dist/step-executor.js

@@ -1,12 +1,14 @@
 import { Agent } from "@usine/core/agent";
 import { ModelId } from "@usine/core/agent/brain";
 import { Attempt, AttemptTask } from "@usine/core/attempt";
+import { SalvagePushed } from "@usine/core/attempt/salvage";
 import { Event } from "@usine/core/event";
+import { LoopPermissions } from "@usine/core/loop";
 import { RepositoryName, RepositoryRevision } from "@usine/core/repository";
 import { Run } from "@usine/core/run";
 import { Step } from "@usine/core/step";
 import { Schema, Context, Effect } from "effect";
-/** The saved Event, effective task and Agent, and Step being tried in one Attempt. */
+/** The saved Event, effective task and Agent, and Step of one Attempt. */
 export class StepExecution extends Schema.Class("@usine/engine/StepExecution")({
     attempt: Attempt,
     event: Event,
@@ -17,9 +19,15 @@ export class StepExecution extends Schema.Class("@usine/engine/StepExecution")({
     task: AttemptTask,
     agent: Agent,
     parentModel: Schema.Option(ModelId),
+    /** The Attempt's access to `repository`, from the Run's Loop (ADR 0011). */
+    permissions: LoopPermissions,
+    /** The newest pushed salvage of an earlier Attempt of the Run, which the checkout resumes from. */
+    resume: Schema.Option(SalvagePushed),
+    /** Whether to reattach to the Attempt's live parent task instead of starting it. */
+    reattach: Schema.Boolean.pipe(Schema.withConstructorDefault(Effect.succeed(false))),
 }) {
 }
-/** Runs one Attempt on a Worker: reserve capacity, execute the step, interrupt on cancel. */
+/** The service that runs Attempts on Workers. */
 export class StepExecutor extends Context.Service()("@usine/engine/StepExecutor") {
 }
 //# sourceMappingURL=step-executor.js.map

package/dist/step-executor.js.map

@@ -1 +1 @@
-{"version":3,"file":"step-executor.js","sourceRoot":"","sources":["../src/step-executor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAkB,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAOjD,sFAAsF;AACtF,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,KAAK,CAAgB,6BAA6B,CAAC,CAAC;IAC5F,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,KAAK;IACZ,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;IACV,UAAU,EAAE,cAAc;IAC1B,QAAQ,EAAE,kBAAkB;IAC5B,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,KAAK;IACZ,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;CACpC,CAAC;CAAG;AAQL,6FAA6F;AAC7F,MAAM,OAAO,YAAa,SAAQ,OAAO,CAAC,OAAO,EAkB9C,CAAC,4BAA4B,CAAC;CAAG"}
+{"version":3,"file":"step-executor.js","sourceRoot":"","sources":["../src/step-executor.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAmC,MAAM,qBAAqB,CAAC;AAC5F,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,GAAG,EAAc,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAA4B,MAAM,QAAQ,CAAC;AAO3E,0EAA0E;AAC1E,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,KAAK,CAAgB,6BAA6B,CAAC,CAAC;IAC5F,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,KAAK;IACZ,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;IACV,UAAU,EAAE,cAAc;IAC1B,QAAQ,EAAE,kBAAkB;IAC5B,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,KAAK;IACZ,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;IACnC,4EAA4E;IAC5E,WAAW,EAAE,eAAe;IAC5B,mGAAmG;IACnG,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC;IACpC,oFAAoF;IACpF,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;CACpF,CAAC;CAAG;AAkBL,iDAAiD;AACjD,MAAM,OAAO,YAAa,SAAQ,OAAO,CAAC,OAAO,EAyF9C,CAAC,4BAA4B,CAAC;CAAG"}

package/dist/store/attempt-windows.d.ts

@@ -0,0 +1,8 @@
+import { AttemptWindows } from "@usine/core/attempt";
+import { Effect } from "effect";
+import type { RunDatabaseClient } from "../database/database.ts";
+/** Returns the Attempt window queries that run on the caller's transaction. */
+export declare const attemptWindowQueries: (database: RunDatabaseClient) => {
+    readonly attemptWindows: (attemptId: string & import("effect/Brand").Brand<"AttemptId">) => Effect.Effect<AttemptWindows, import("drizzle-orm/effect-core").EffectDrizzleQueryError | import("effect/Schema").SchemaError, never>;
+};
+//# sourceMappingURL=attempt-windows.d.ts.map

package/dist/store/attempt-windows.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"attempt-windows.d.ts","sourceRoot":"","sources":["../../src/store/attempt-windows.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,cAAc,EAA4B,MAAM,qBAAqB,CAAC;AAE/F,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAC;AACxC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAKjE,+EAA+E;AAC/E,eAAO,MAAM,oBAAoB,aAAc,iBAAiB;;CAuD/D,CAAC"}

package/dist/store/attempt-windows.js

@@ -0,0 +1,53 @@
+import { AttemptWindows, windowOf, windowsOverlap } from "@usine/core/attempt";
+import { and, eq, inArray, ne } from "drizzle-orm";
+import { Effect, Option } from "effect";
+import { attempts, runs, triggerEvents } from "../database/schema.js";
+import { attemptFromRow, decodeAttemptRows } from "./codec.js";
+import { attemptSelection } from "./queries.js";
+/** Returns the Attempt window queries that run on the caller's transaction. */
+export const attemptWindowQueries = (database) => {
+    /**
+     * Returns the window of `attemptId` and the overlapping windows of the same Agent's other
+     * Attempts on the Item. An Attempt that ended before end times were recorded has no window: for
+     * `attemptId` the result is empty, and other such Attempts are left out. Dies if `attemptId`
+     * isn't recorded.
+     */
+    const attemptWindows = Effect.fn("RunStoreQueries.attemptWindows")(function* (attemptId) {
+        yield* Effect.annotateCurrentSpan({ attemptId });
+        const [own] = yield* database
+            .select(attemptSelection)
+            .from(attempts)
+            .where(eq(attempts.attemptId, attemptId))
+            .execute()
+            .pipe(Effect.flatMap(decodeAttemptRows));
+        if (own === undefined)
+            return yield* Effect.die(new Error(`No attempt ${attemptId} recorded`));
+        const ownWindow = windowOf(attemptFromRow(own));
+        if (Option.isNone(ownWindow)) {
+            yield* Effect.logDebug("The Attempt ended before end times were recorded, so it has no window and none overlaps it", { attemptId });
+            return new AttemptWindows({ own: ownWindow, overlapping: [] });
+        }
+        const item = database
+            .select({ itemKey: triggerEvents.itemKey })
+            .from(runs)
+            .innerJoin(triggerEvents, eq(triggerEvents.eventId, runs.eventId))
+            .where(eq(runs.runId, own.runId));
+        const others = yield* database
+            .select(attemptSelection)
+            .from(attempts)
+            .innerJoin(runs, eq(runs.runId, attempts.runId))
+            .innerJoin(triggerEvents, eq(triggerEvents.eventId, runs.eventId))
+            .where(and(inArray(triggerEvents.itemKey, item), eq(attempts.agent, own.agent), ne(attempts.attemptId, attemptId)))
+            .orderBy(attempts.startedAt)
+            .execute()
+            .pipe(Effect.flatMap(decodeAttemptRows));
+        return new AttemptWindows({
+            own: ownWindow,
+            overlapping: others
+                .flatMap((row) => Option.toArray(windowOf(attemptFromRow(row))))
+                .filter((window) => windowsOverlap(ownWindow.value, window)),
+        });
+    });
+    return { attemptWindows };
+};
+//# sourceMappingURL=attempt-windows.js.map

package/dist/store/attempt-windows.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"attempt-windows.js","sourceRoot":"","sources":["../../src/store/attempt-windows.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC/F,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAExC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,+EAA+E;AAC/E,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,QAA2B,EAAE,EAAE;IAClE;;;;;OAKG;IACH,MAAM,cAAc,GAAG,MAAM,CAAC,EAAE,CAAC,gCAAgC,CAAC,CAAC,QAAQ,CAAC,EAC1E,SAAoB;QAEpB,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,QAAQ;aAC1B,MAAM,CAAC,gBAAgB,CAAC;aACxB,IAAI,CAAC,QAAQ,CAAC;aACd,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;aACxC,OAAO,EAAE;aACT,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAC3C,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,cAAc,SAAS,WAAW,CAAC,CAAC,CAAC;QAC/F,MAAM,SAAS,GAAG,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7B,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CACpB,4FAA4F,EAC5F,EAAE,SAAS,EAAE,CACd,CAAC;YACF,OAAO,IAAI,cAAc,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ;aAClB,MAAM,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,OAAO,EAAE,CAAC;aAC1C,IAAI,CAAC,IAAI,CAAC;aACV,SAAS,CAAC,aAAa,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;aACjE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,QAAQ;aAC3B,MAAM,CAAC,gBAAgB,CAAC;aACxB,IAAI,CAAC,QAAQ,CAAC;aACd,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;aAC/C,SAAS,CAAC,aAAa,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;aACjE,KAAK,CACJ,GAAG,CACD,OAAO,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,EACpC,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAC7B,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,CAClC,CACF;aACA,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;aAC3B,OAAO,EAAE;aACT,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAC3C,OAAO,IAAI,cAAc,CAAC;YACxB,GAAG,EAAE,SAAS;YACd,WAAW,EAAE,MAAM;iBAChB,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBAC/D,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;SAC/D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,cAAc,EAAW,CAAC;AACrC,CAAC,CAAC"}