@usine/durable 0.0.0-stage → 0.1.0

package/dist/attempt/hubs.js

@@ -0,0 +1,137 @@
+import { Deferred, Effect, Option, Queue, Semaphore } from "effect";
+import { ATTEMPT_RECORD_KIND } from "./documents.js";
+/**
+ * Returns the notices to buffer after `notice`: the latest one, preceded by the last
+ * `WorkerUnresponsive` if the latest is a `WorkerResponsive`.
+ */
+export const keepNotice = (kept, notice) => {
+    const previous = kept.at(-1);
+    return notice._tag === "WorkerResponsive" && previous?._tag === "WorkerUnresponsive"
+        ? [previous, notice]
+        : [notice];
+};
+export const attemptHubs = Effect.gen(function* () {
+    const creation = yield* Semaphore.make(1);
+    const byAttempt = new Map();
+    const byTask = new Map();
+    const byParent = new Map();
+    /** The Worker notices for Attempts without a hub. */
+    const early = new Map();
+    /**
+     * The Deferreds that `attached` waits on for Attempts without a hub. A new hub uses this
+     * Deferred.
+     */
+    const awaited = new Map();
+    const bindParent = (hub, parent) => {
+        if (Option.isSome(hub.parent))
+            return;
+        hub.parent = Option.some(parent);
+        byParent.set(parent, hub);
+    };
+    const wake = (hub) => Queue.offerUnsafe(hub.queue, { _tag: "Wake" });
+    const hub = (attemptId, taskId) => creation.withPermits(1)(Effect.gen(function* () {
+        const existing = byAttempt.get(attemptId);
+        if (existing !== undefined)
+            return existing;
+        const queue = yield* Queue.unbounded();
+        const emission = yield* Semaphore.make(1);
+        const routing = yield* Semaphore.make(1);
+        const fresh = yield* Deferred.make();
+        // No yield until the hub is registered, so a concurrent `notice` or `attached` sees either
+        // the pre-hub buffers or the registered hub.
+        const attached = awaited.get(attemptId) ?? fresh;
+        const created = {
+            attemptId,
+            taskId,
+            queue,
+            emission,
+            routing,
+            children: new Map(),
+            childInputs: new Set(),
+            parent: Option.none(),
+            channel: Option.none(),
+            early: early.get(attemptId) ?? [],
+            attached,
+        };
+        early.delete(attemptId);
+        awaited.delete(attemptId);
+        byAttempt.set(attemptId, created);
+        byTask.set(taskId, created);
+        yield* Effect.logDebug("Tracking the Attempt in this process", {
+            attemptId,
+            taskId,
+            earlyNotices: created.early.map(({ _tag }) => _tag),
+            awaitedAttachment: attached !== fresh,
+        });
+        return created;
+    }));
+    const listener = {
+        onCommit: (publication) => {
+            for (const change of publication.changes) {
+                if (change.type === "task") {
+                    const target = byTask.get(change.value.id);
+                    if (target !== undefined)
+                        wake(target);
+                }
+                else if (change.type === "document" &&
+                    change.record.kind === ATTEMPT_RECORD_KIND &&
+                    change.record.key !== undefined &&
+                    change.value !== null) {
+                    const target = byAttempt.get(change.record.key);
+                    // SAFETY: documents of this kind are only written through AttemptRecordDoc.
+                    const record = change.value;
+                    if (target !== undefined &&
+                        Option.isNone(target.parent) &&
+                        record.parentConversation !== null) {
+                        bindParent(target, record.parentConversation);
+                        wake(target);
+                    }
+                }
+            }
+            for (const change of publication.changes) {
+                if (change.type !== "entry")
+                    continue;
+                const target = byParent.get(change.value.conversationId);
+                if (target !== undefined) {
+                    Queue.offerUnsafe(target.queue, { _tag: "Entry", entry: change.value.id });
+                }
+            }
+        },
+        onReopen: () => {
+            for (const target of byAttempt.values())
+                wake(target);
+        },
+        onStop: () => {
+            for (const target of byAttempt.values())
+                wake(target);
+        },
+    };
+    return {
+        hub,
+        find: (attemptId) => Option.fromNullishOr(byAttempt.get(attemptId)),
+        bindParent,
+        event: (target, event) => Queue.offer(target.queue, { _tag: "Event", event }).pipe(Effect.asVoid),
+        notice: (attemptId, notice) => Effect.sync(() => {
+            const target = byAttempt.get(attemptId);
+            if (target !== undefined) {
+                Queue.offerUnsafe(target.queue, { _tag: "Notice", notice });
+                return { _tag: "Queued" };
+            }
+            const kept = keepNotice(early.get(attemptId) ?? [], notice);
+            early.set(attemptId, kept);
+            return { _tag: "Kept", kept };
+        }),
+        delivery: (target, delivery) => Queue.offer(target.queue, delivery).pipe(Effect.asVoid),
+        // Read `attached` at call time: `relayAttempt` replaces it when the channel detaches.
+        attached: (attemptId) => Effect.suspend(() => {
+            const target = byAttempt.get(attemptId);
+            if (target !== undefined)
+                return Deferred.await(target.attached);
+            const kept = awaited.get(attemptId) ?? Deferred.makeUnsafe();
+            awaited.set(attemptId, kept);
+            return Deferred.await(kept);
+        }).pipe(Effect.asVoid),
+        listener,
+    };
+});
+//# sourceMappingURL=hubs.js.map

package/dist/attempt/hubs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hubs.js","sourceRoot":"","sources":["../../src/attempt/hubs.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAGpE,OAAO,EAAE,mBAAmB,EAAsB,MAAM,gBAAgB,CAAC;AAiEzE;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAAgD,EAChD,MAAmC,EACS,EAAE;IAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,OAAO,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,QAAQ,EAAE,IAAI,KAAK,oBAAoB;QAClF,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC;QACpB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AACf,CAAC,CAAC;AAgCF,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAsB,CAAC;IAChD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC/C,qDAAqD;IACrD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsD,CAAC;IAC5E;;;OAGG;IACH,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6C,CAAC;IAErE,MAAM,UAAU,GAAG,CAAC,GAAe,EAAE,MAAsB,EAAE,EAAE;QAC7D,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO;QACtC,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CAAC,GAAe,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAEjF,MAAM,GAAG,GAAG,CAAC,SAAoB,EAAE,MAAc,EAAE,EAAE,CACnD,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CACrB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC1C,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;QAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,EAAa,CAAC;QAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAkB,CAAC;QACrD,2FAA2F;QAC3F,6CAA6C;QAC7C,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC;QACjD,MAAM,OAAO,GAAe;YAC1B,SAAS;YACT,MAAM;YACN,KAAK;YACL,QAAQ;YACR,OAAO;YACP,QAAQ,EAAE,IAAI,GAAG,EAAE;YACnB,WAAW,EAAE,IAAI,GAAG,EAAE;YACtB,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE;YACrB,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE;YACjC,QAAQ;SACT,CAAC;QACF,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACxB,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC1B,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC5B,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,sCAAsC,EAAE;YAC7D,SAAS;YACT,MAAM;YACN,YAAY,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC;YACnD,iBAAiB,EAAE,QAAQ,KAAK,KAAK;SACtC,CAAC,CAAC;QACH,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,CACH,CAAC;IAEJ,MAAM,QAAQ,GAAoB;QAChC,QAAQ,EAAE,CAAC,WAAW,EAAE,EAAE;YACxB,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;gBACzC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBAC3C,IAAI,MAAM,KAAK,SAAS;wBAAE,IAAI,CAAC,MAAM,CAAC,CAAC;gBACzC,CAAC;qBAAM,IACL,MAAM,CAAC,IAAI,KAAK,UAAU;oBAC1B,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,mBAAmB;oBAC1C,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK,SAAS;oBAC/B,MAAM,CAAC,KAAK,KAAK,IAAI,EACrB,CAAC;oBACD,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBAChD,4EAA4E;oBAC5E,MAAM,MAAM,GAAG,MAAM,CAAC,KAAsB,CAAC;oBAC7C,IACE,MAAM,KAAK,SAAS;wBACpB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;wBAC5B,MAAM,CAAC,kBAAkB,KAAK,IAAI,EAClC,CAAC;wBACD,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,kBAAkB,CAAC,CAAC;wBAC9C,IAAI,CAAC,MAAM,CAAC,CAAC;oBACf,CAAC;gBACH,CAAC;YACH,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;gBACzC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;oBAAE,SAAS;gBACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;gBACzD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7E,CAAC;YACH,CAAC;QACH,CAAC;QACD,QAAQ,EAAE,GAAG,EAAE;YACb,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,MAAM,EAAE;gBAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,EAAE,GAAG,EAAE;YACX,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,MAAM,EAAE;gBAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACxD,CAAC;KACF,CAAC;IAEF,OAAO;QACL,GAAG;QACH,IAAI,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACnE,UAAU;QACV,KAAK,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CACvB,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QACzE,MAAM,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,CAC5B,MAAM,CAAC,IAAI,CAAC,GAAkB,EAAE;YAC9B,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACxC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC5D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC5B,CAAC;YACD,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,CAAC;YAC5D,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YAC3B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAChC,CAAC,CAAC;QACJ,QAAQ,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QACvF,sFAAsF;QACtF,QAAQ,EAAE,CAAC,SAAS,EAAE,EAAE,CACtB,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;YAClB,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACxC,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACjE,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,QAAQ,CAAC,UAAU,EAAkB,CAAC;YAC7E,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YAC7B,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QACxB,QAAQ;KACa,CAAC;AAC1B,CAAC,CAAC,CAAC"}

package/dist/attempt/outcome.d.ts

@@ -0,0 +1,22 @@
+import type { JsonValue } from "@earendil-works/chord";
+import type { NextTaskState, TaskRecord } from "@earendil-works/pi-durable";
+import { AttemptFailure } from "@usine/core/attempt/failure";
+import { StepResult } from "@usine/core/step/result";
+import { Option, Result } from "effect";
+import { AttemptReport, type FinishedAttempt } from "../attempt-runtime.ts";
+import type { AttemptRecord, AttemptResult } from "./documents.ts";
+export type Settled = Result.Result<AttemptReport, AttemptFailure>;
+/** Returns the terminal task state for `failure`. */
+export declare const failedOutcome: (failure: AttemptFailure) => NextTaskState<never, AttemptResult>;
+/** Returns the terminal task state for a parent that finished with `message`. */
+export declare const completedOutcome: (message: string, answeredOperator: boolean) => NextTaskState<never, AttemptResult>;
+/** Returns the report or failure recorded as the task's outcome. */
+export declare const settledOf: (task: TaskRecord<JsonValue, JsonValue, unknown>) => Settled;
+/** Encodes a harvested result for `AttemptRecord.result`. */
+export declare const encodeResult: (input: StepResult, options?: import("effect/SchemaAST").ParseOptions) => string;
+/**
+ * Returns the final state of a finished Attempt. Returns `None` before the terminal envelope is
+ * relayed or for a canceled task; a stored result that doesn't decode counts as absent.
+ */
+export declare const finishedOf: (record: Readonly<AttemptRecord>, task: TaskRecord<JsonValue, JsonValue, unknown>) => Option.Option<FinishedAttempt>;
+//# sourceMappingURL=outcome.d.ts.map

package/dist/attempt/outcome.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"outcome.d.ts","sourceRoot":"","sources":["../../src/attempt/outcome.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAEL,cAAc,EAGf,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAS,MAAM,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAC;AACvD,OAAO,EACL,aAAa,EACb,KAAK,eAAe,EAIrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAEnE,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;AAyBnE,qDAAqD;AACrD,eAAO,MAAM,aAAa,YAAa,cAAc,KAAG,aAAa,CAAC,KAAK,EAAE,aAAa,CAMxF,CAAC;AAEH,iFAAiF;AACjF,eAAO,MAAM,gBAAgB,YAClB,MAAM,oBACG,OAAO,KACxB,aAAa,CAAC,KAAK,EAAE,aAAa,CAGnC,CAAC;AAEH,oEAAoE;AACpE,eAAO,MAAM,SAAS,SAAU,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC,KAAG,OAgD3E,CAAC;AAIF,6DAA6D;AAC7D,eAAO,MAAM,YAAY,kFAAgC,CAAC;AAG1D;;;GAGG;AACH,eAAO,MAAM,UAAU,WACb,QAAQ,CAAC,aAAa,CAAC,QACzB,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC,KAC9C,MAAM,CAAC,MAAM,CAAC,eAAe,CAY/B,CAAC"}

package/dist/attempt/outcome.js

@@ -0,0 +1,84 @@
+import { AgentFailure, AttemptFailure, DefectFailure, InfraFailure, } from "@usine/core/attempt/failure";
+import { StepResult } from "@usine/core/step/result";
+import { Match, Option, Result, Schema } from "effect";
+import { AttemptReport, ParentFailed, ParentReported, ResultRecorded, } from "../attempt-runtime.js";
+const failureJson = Schema.fromJsonString(AttemptFailure);
+const encodeFailure = Schema.encodeSync(failureJson);
+const decodeFailure = Schema.decodeUnknownOption(failureJson);
+const decodeResult = Schema.decodeUnknownOption(Schema.Struct({
+    message: Schema.NonEmptyString,
+    answeredOperator: Schema.optionalKey(Schema.Boolean),
+}));
+const failureMessage = (failure) => Match.valueTags(failure, {
+    InfraFailure: ({ message }) => message,
+    DefectFailure: ({ message }) => message,
+    AgentFailure: ({ message }) => message,
+    BlockedFailure: ({ message }) => message,
+    QuestionFailure: ({ question }) => question,
+    RunawayFailure: ({ ceiling }) => `The runaway guard stopped the attempt at its ${ceiling} ceiling`,
+    ChildSessionBudgetFailure: ({ attemptedChildren, maxChildren }) => `The attempt requested child ${attemptedChildren}, over its budget of ${maxChildren} children`,
+}) || failure._tag;
+/** Returns the terminal task state for `failure`. */
+export const failedOutcome = (failure) => ({
+    status: "terminal",
+    outcome: {
+        status: "failed",
+        error: { message: failureMessage(failure), detail: encodeFailure(failure) },
+    },
+});
+/** Returns the terminal task state for a parent that finished with `message`. */
+export const completedOutcome = (message, answeredOperator) => ({
+    status: "terminal",
+    outcome: { status: "completed", result: { message, answeredOperator } },
+});
+/** Returns the report or failure recorded as the task's outcome. */
+export const settledOf = (task) => {
+    const outcome = task.state.outcome;
+    if (outcome === undefined) {
+        return Result.fail(new InfraFailure({ message: "The attempt task is still running", cause: task.state.status }));
+    }
+    switch (outcome.status) {
+        case "completed":
+            return Option.match(decodeResult(outcome.result), {
+                onNone: () => Result.fail(new DefectFailure({
+                    message: "The attempt task completed without a final message",
+                    cause: outcome.result,
+                })),
+                onSome: ({ message, answeredOperator }) => Result.succeed(new AttemptReport({ message, answeredOperator: answeredOperator ?? false })),
+            });
+        case "failed":
+            return Result.fail(Option.getOrElse(decodeFailure(outcome.error.detail), () => new InfraFailure({ message: outcome.error.message, cause: outcome.error })));
+        case "aborted":
+            return Result.fail(new AgentFailure({ message: "The attempt was canceled, and its parent stopped" }));
+        case "faulted":
+            return Result.fail(new DefectFailure({
+                message: `The attempt task faulted: ${outcome.error.message}`,
+                cause: outcome.error,
+            }));
+        case "orphaned":
+            return Result.fail(new InfraFailure({
+                message: `The attempt task can no longer run: ${outcome.reason}`,
+                cause: outcome.reason,
+            }));
+    }
+};
+const resultJson = Schema.fromJsonString(StepResult);
+/** Encodes a harvested result for `AttemptRecord.result`. */
+export const encodeResult = Schema.encodeSync(resultJson);
+const decodeHarvested = Schema.decodeUnknownOption(resultJson);
+/**
+ * Returns the final state of a finished Attempt. Returns `None` before the terminal envelope is
+ * relayed or for a canceled task; a stored result that doesn't decode counts as absent.
+ */
+export const finishedOf = (record, task) => {
+    if (!record.terminalRelayed || task.state.outcome?.status === "aborted")
+        return Option.none();
+    return Option.some(Result.match(settledOf(task), {
+        onFailure: (failure) => new ParentFailed({ failure }),
+        onSuccess: (report) => Option.match(Option.flatMap(Option.fromUndefinedOr(record.result), decodeHarvested), {
+            onNone: () => new ParentReported({ report }),
+            onSome: (result) => new ResultRecorded({ result }),
+        }),
+    }));
+};
+//# sourceMappingURL=outcome.js.map

package/dist/attempt/outcome.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"outcome.js","sourceRoot":"","sources":["../../src/attempt/outcome.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,YAAY,EACZ,cAAc,EACd,aAAa,EACb,YAAY,GACb,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACvD,OAAO,EACL,aAAa,EAEb,YAAY,EACZ,cAAc,EACd,cAAc,GACf,MAAM,uBAAuB,CAAC;AAK/B,MAAM,WAAW,GAAG,MAAM,CAAC,cAAc,CAAC,cAAc,CAAC,CAAC;AAC1D,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;AACrD,MAAM,aAAa,GAAG,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;AAC9D,MAAM,YAAY,GAAG,MAAM,CAAC,mBAAmB,CAC7C,MAAM,CAAC,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC,cAAc;IAC9B,gBAAgB,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;CACrD,CAAC,CACH,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,OAAuB,EAAU,EAAE,CACzD,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE;IACvB,YAAY,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO;IACtC,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO;IACvC,YAAY,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO;IACtC,cAAc,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO;IACxC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ;IAC3C,cAAc,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAC9B,gDAAgD,OAAO,UAAU;IACnE,yBAAyB,EAAE,CAAC,EAAE,iBAAiB,EAAE,WAAW,EAAE,EAAE,EAAE,CAChE,+BAA+B,iBAAiB,wBAAwB,WAAW,WAAW;CACjG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC;AAErB,qDAAqD;AACrD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,OAAuB,EAAuC,EAAE,CAAC,CAAC;IAC9F,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE;QACP,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,EAAE,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE;KAC5E;CACF,CAAC,CAAC;AAEH,iFAAiF;AACjF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,OAAe,EACf,gBAAyB,EACY,EAAE,CAAC,CAAC;IACzC,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE;CACxE,CAAC,CAAC;AAEH,oEAAoE;AACpE,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAA+C,EAAW,EAAE;IACpF,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;IACnC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,mCAAmC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAC7F,CAAC;IACJ,CAAC;IACD,QAAQ,OAAO,CAAC,MAAM,EAAE,CAAC;QACvB,KAAK,WAAW;YACd,OAAO,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;gBAChD,MAAM,EAAE,GAAG,EAAE,CACX,MAAM,CAAC,IAAI,CACT,IAAI,aAAa,CAAC;oBAChB,OAAO,EAAE,oDAAoD;oBAC7D,KAAK,EAAE,OAAO,CAAC,MAAM;iBACtB,CAAC,CACH;gBACH,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,EAAE,CACxC,MAAM,CAAC,OAAO,CACZ,IAAI,aAAa,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,IAAI,KAAK,EAAE,CAAC,CAC5E;aACJ,CAAC,CAAC;QACL,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,IAAI,CAChB,MAAM,CAAC,SAAS,CACd,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EACnC,GAAG,EAAE,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CACjF,CACF,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,kDAAkD,EAAE,CAAC,CAClF,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,aAAa,CAAC;gBAChB,OAAO,EAAE,6BAA6B,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE;gBAC7D,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CACH,CAAC;QACJ,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,YAAY,CAAC;gBACf,OAAO,EAAE,uCAAuC,OAAO,CAAC,MAAM,EAAE;gBAChE,KAAK,EAAE,OAAO,CAAC,MAAM;aACtB,CAAC,CACH,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;AAErD,6DAA6D;AAC7D,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;AAC1D,MAAM,eAAe,GAAG,MAAM,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;AAE/D;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,MAA+B,EAC/B,IAA+C,EACf,EAAE;IAClC,IAAI,CAAC,MAAM,CAAC,eAAe,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;IAC9F,OAAO,MAAM,CAAC,IAAI,CAChB,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;QAC5B,SAAS,EAAE,CAAC,OAAO,EAAmB,EAAE,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,CAAC;QACtE,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CACpB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,EAAE;YACnF,MAAM,EAAE,GAAoB,EAAE,CAAC,IAAI,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;YAC7D,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;SACnD,CAAC;KACL,CAAC,CACH,CAAC;AACJ,CAAC,CAAC"}

package/dist/attempt/parent.d.ts

@@ -0,0 +1,27 @@
+import { type Models } from "@earendil-works/pi-ai";
+import type { ModelRef } from "@earendil-works/pi-durable";
+import { type PiPool } from "@usine/agents/pi/authentication";
+import { PoolUnavailableError, SessionOperationError, UnknownModelError, UnsupportedEffortError } from "@usine/agents/runtime";
+import { ModelId } from "@usine/core/agent/brain";
+import { AgentSessionId, ParentSession } from "@usine/core/agent/session";
+import type { AttemptId } from "@usine/core/attempt";
+import type { RunSpec } from "@usine/core/attempt/channel";
+import { Effect, Option } from "effect";
+/** Returns the session ID of the Attempt's Pi parent, the default target of operator input. */
+export declare const parentSessionId: (attemptId: AttemptId) => AgentSessionId;
+/** Returns the parent session with the rostered Agent and the resolved model. */
+export declare const parentSession: (spec: RunSpec, model: ModelId) => ParentSession;
+/**
+ * Resolves the parent's model, effort, and billing pool. Fails before the conversation is created
+ * if the model is unknown, doesn't support the effort, or the credential is outside the provider's
+ * pool.
+ */
+export declare const resolveParent: (models: Models, defaultModel: Option.Option<ModelRef>, spec: RunSpec) => Effect.Effect<{
+    ref: {
+        provider: string;
+        modelId: string;
+    };
+    model: string & import("effect/Brand").Brand<"ModelId">;
+    pool: PiPool;
+}, PoolUnavailableError | SessionOperationError | UnknownModelError | UnsupportedEffortError, never>;
+//# sourceMappingURL=parent.d.ts.map

package/dist/attempt/parent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parent.d.ts","sourceRoot":"","sources":["../../src/attempt/parent.ts"],"names":[],"mappings":"AAAA,OAAO,EAA8B,KAAK,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAChF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAEL,KAAK,MAAM,EAIZ,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,EACjB,sBAAsB,EACvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAa,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC1E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AASxC,+FAA+F;AAC/F,eAAO,MAAM,eAAe,cAAe,SAAS,KAAG,cACX,CAAC;AAE7C,iFAAiF;AACjF,eAAO,MAAM,aAAa,SAAU,OAAO,SAAS,OAAO,KAAG,aAK1D,CAAC;AAwDL;;;;GAIG;AACH,eAAO,MAAM,aAAa;;QAoDf,QAAQ;QAAqB,OAAO;;;;oGAI7C,CAAC"}

package/dist/attempt/parent.js

@@ -0,0 +1,109 @@
+import { getSupportedThinkingLevels } from "@earendil-works/pi-ai";
+import { piAuthentication, requiredPiPool, resolvePiPool, splitPiModel, } from "@usine/agents/pi/authentication";
+import { PoolUnavailableError, SessionOperationError, UnknownModelError, UnsupportedEffortError, } from "@usine/agents/runtime";
+import { BrainSpec, ModelId } from "@usine/core/agent/brain";
+import { AgentSessionId, ParentSession } from "@usine/core/agent/session";
+import { Effect, Option } from "effect";
+/** Returns the session ID of the Attempt's Pi parent, the default target of operator input. */
+export const parentSessionId = (attemptId) => AgentSessionId.make(`parent:${attemptId}`);
+/** Returns the parent session with the rostered Agent and the resolved model. */
+export const parentSession = (spec, model) => new ParentSession({
+    id: parentSessionId(spec.attemptId),
+    agent: spec.agent.name,
+    brain: new BrainSpec({ harness: "pi", model, effort: spec.parentEffort }),
+});
+const launchError = (spec, message, cause) => new SessionOperationError({
+    operation: "launch",
+    sessionId: Option.some(parentSessionId(spec.attemptId)),
+    message,
+    cause,
+});
+const selectModel = Effect.fn("ParentModel.select")(function* (models, defaultModel, spec) {
+    if (Option.isSome(spec.parentModel)) {
+        const named = spec.parentModel.value;
+        const found = Option.flatMap(Option.fromNullishOr(splitPiModel(named)), (ref) => Option.fromNullishOr(models.getModel(ref.provider, ref.modelId)));
+        if (Option.isNone(found)) {
+            yield* Effect.logError("Pi parent rejected an unknown model", { model: named });
+            return yield* new UnknownModelError({
+                harness: "pi",
+                model: named,
+                message: `Pi has no model "${named}"`,
+            });
+        }
+        return found.value;
+    }
+    const configured = Option.flatMap(defaultModel, (ref) => Option.fromNullishOr(models.getModel(ref.provider, ref.modelId)));
+    if (Option.isSome(configured)) {
+        yield* Effect.logDebug("Pi parent uses the configured default model");
+        return configured.value;
+    }
+    const available = yield* Effect.tryPromise({
+        try: (signal) => models.getAvailable(undefined, { signal }),
+        catch: (cause) => launchError(spec, "Can't list the models that have a configured credential", cause),
+    });
+    const first = available[0];
+    if (first === undefined) {
+        const model = ModelId.make("unknown");
+        yield* Effect.logError("Pi parent has no model with a configured credential");
+        return yield* new UnknownModelError({
+            harness: "pi",
+            model,
+            message: "Pi has no model with a configured credential for the parent",
+        });
+    }
+    yield* Effect.logDebug("Pi parent uses the first model with a configured credential");
+    return first;
+});
+/**
+ * Resolves the parent's model, effort, and billing pool. Fails before the conversation is created
+ * if the model is unknown, doesn't support the effort, or the credential is outside the provider's
+ * pool.
+ */
+export const resolveParent = Effect.fn("ParentModel.resolve")(function* (models, defaultModel, spec) {
+    yield* Effect.annotateCurrentSpan({
+        attemptId: spec.attemptId,
+        parentEffort: spec.parentEffort,
+        parentModel: Option.getOrUndefined(spec.parentModel),
+    });
+    const selected = yield* selectModel(models, defaultModel, spec);
+    const model = ModelId.make(`${selected.provider}/${selected.id}`);
+    const supported = getSupportedThinkingLevels(selected);
+    if (!supported.includes(spec.parentEffort)) {
+        yield* Effect.logError("Pi parent rejected an unsupported effort", {
+            effort: spec.parentEffort,
+            model,
+            supported,
+        });
+        return yield* new UnsupportedEffortError({
+            harness: "pi",
+            model,
+            effort: spec.parentEffort,
+            message: `Pi model "${model}" doesn't support effort ${spec.parentEffort}. Supported efforts: ${supported.join(", ")}`,
+        });
+    }
+    const check = yield* Effect.tryPromise({
+        try: (signal) => models.checkAuth(selected.provider, { signal }),
+        catch: (cause) => launchError(spec, "Can't check the parent model's credential", cause),
+    });
+    const authentication = piAuthentication(check, models.getProvider(selected.provider)?.auth.oauth?.isSubscription === true);
+    const required = requiredPiPool(selected.provider);
+    const pool = resolvePiPool(selected.provider, authentication);
+    if (pool === undefined) {
+        yield* Effect.logError(authentication === undefined
+            ? "Pi parent has no credential for its model"
+            : "Pi parent model has unsupported OAuth authentication", { model, requiredPool: required, authentication: authentication?._tag });
+        return yield* new PoolUnavailableError({
+            harness: "pi",
+            model,
+            pool: required,
+            message: `Pi parent model "${model}" requires a credential from the ${required} pool`,
+        });
+    }
+    yield* Effect.logInfo("Pi parent authenticated", { model, pool });
+    return {
+        ref: { provider: selected.provider, modelId: selected.id },
+        model,
+        pool,
+    };
+});
+//# sourceMappingURL=parent.js.map

package/dist/attempt/parent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parent.js","sourceRoot":"","sources":["../../src/attempt/parent.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,0BAA0B,EAAe,MAAM,uBAAuB,CAAC;AAEhF,OAAO,EACL,gBAAgB,EAEhB,cAAc,EACd,aAAa,EACb,YAAY,GACb,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAG1E,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AASxC,+FAA+F;AAC/F,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,SAAoB,EAAkB,EAAE,CACtE,cAAc,CAAC,IAAI,CAAC,UAAU,SAAS,EAAE,CAAC,CAAC;AAE7C,iFAAiF;AACjF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAa,EAAE,KAAc,EAAiB,EAAE,CAC5E,IAAI,aAAa,CAAC;IAChB,EAAE,EAAE,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC;IACnC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;IACtB,KAAK,EAAE,IAAI,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;CAC1E,CAAC,CAAC;AAEL,MAAM,WAAW,GAAG,CAAC,IAAa,EAAE,OAAe,EAAE,KAAc,EAAE,EAAE,CACrE,IAAI,qBAAqB,CAAC;IACxB,SAAS,EAAE,QAAQ;IACnB,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,OAAO;IACP,KAAK;CACN,CAAC,CAAC;AAEL,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,QAAQ,CAAC,EAC3D,MAAc,EACd,YAAqC,EACrC,IAAa;IAEb,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAC9E,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CACjE,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,qCAAqC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;YAChF,OAAO,KAAK,CAAC,CAAC,IAAI,iBAAiB,CAAC;gBAClC,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,KAAK;gBACZ,OAAO,EAAE,oBAAoB,KAAK,GAAG;aACtC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC,KAAK,CAAC;IACrB,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,EAAE,CACtD,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CACjE,CAAC;IACF,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,6CAA6C,CAAC,CAAC;QACtE,OAAO,UAAU,CAAC,KAAK,CAAC;IAC1B,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;QACzC,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC;QAC3D,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,WAAW,CAAC,IAAI,EAAE,yDAAyD,EAAE,KAAK,CAAC;KACtF,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,qDAAqD,CAAC,CAAC;QAC9E,OAAO,KAAK,CAAC,CAAC,IAAI,iBAAiB,CAAC;YAClC,OAAO,EAAE,IAAI;YACb,KAAK;YACL,OAAO,EAAE,6DAA6D;SACvE,CAAC,CAAC;IACL,CAAC;IACD,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,6DAA6D,CAAC,CAAC;IACtF,OAAO,KAAK,CAAC;AACf,CAAC,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,EACrE,MAAc,EACd,YAAqC,EACrC,IAAa;IAEb,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC;QAChC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,WAAW,EAAE,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC;KACrD,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IACvD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;QAC3C,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,0CAA0C,EAAE;YACjE,MAAM,EAAE,IAAI,CAAC,YAAY;YACzB,KAAK;YACL,SAAS;SACV,CAAC,CAAC;QACH,OAAO,KAAK,CAAC,CAAC,IAAI,sBAAsB,CAAC;YACvC,OAAO,EAAE,IAAI;YACb,KAAK;YACL,MAAM,EAAE,IAAI,CAAC,YAAY;YACzB,OAAO,EAAE,aAAa,KAAK,4BAA4B,IAAI,CAAC,YAAY,wBAAwB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SACvH,CAAC,CAAC;IACL,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;QACrC,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC;QAChE,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,2CAA2C,EAAE,KAAK,CAAC;KACxF,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,gBAAgB,CACrC,KAAK,EACL,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,cAAc,KAAK,IAAI,CAC3E,CAAC;IACF,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC9D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CACpB,cAAc,KAAK,SAAS;YAC1B,CAAC,CAAC,2CAA2C;YAC7C,CAAC,CAAC,sDAAsD,EAC1D,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,cAAc,EAAE,IAAI,EAAE,CACxE,CAAC;QACF,OAAO,KAAK,CAAC,CAAC,IAAI,oBAAoB,CAAC;YACrC,OAAO,EAAE,IAAI;YACb,KAAK;YACL,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,oBAAoB,KAAK,oCAAoC,QAAQ,OAAO;SACtF,CAAC,CAAC;IACL,CAAC;IACD,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,yBAAyB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClE,OAAO;QACL,GAAG,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE;QAC1D,KAAK;QACL,IAAI;KACoB,CAAC;AAC7B,CAAC,CAAC,CAAC"}

package/dist/attempt/relay.d.ts

@@ -0,0 +1,41 @@
+import * as AttemptChannel from "@usine/core/attempt/channel";
+import { AgentFailure, type AttemptFailure } from "@usine/core/attempt/failure";
+import { Effect, Option } from "effect";
+import type { AttemptRequest } from "../attempt-runtime.ts";
+import type { DurableHarness, DurableHarnessError } from "../harness.ts";
+import { type AttemptRecord } from "./documents.ts";
+import { type AttemptHub, type AttemptHubs } from "./hubs.ts";
+/**
+ * Reads the Attempt's durable record. Returns `undefined` before the first `execute` creates its
+ * task.
+ */
+export declare const readRecord: (durable: DurableHarness["Service"], attemptId: string) => Effect.Effect<Readonly<AttemptRecord> | undefined, DurableHarnessError, never>;
+/** Sends a payload that is not derived from a parent entry, such as an intervention result. */
+export declare const emitPayload: (durable: DurableHarness["Service"], hub: AttemptHub, payload: AttemptChannel.OutboundPayload) => Effect.Effect<void, AgentFailure | import("@usine/core/attempt/failure").BlockedFailure | import("@usine/core/attempt/failure").ChildSessionBudgetFailure | import("@usine/core/attempt/failure").DefectFailure | DurableHarnessError | import("@usine/core/attempt/failure").InfraFailure | import("@usine/core/attempt/failure").QuestionFailure | import("@usine/core/attempt/failure").RunawayFailure, never>;
+/** Appends an operator input to the transcript and returns its inbound sequence number. */
+export declare const appendInbound: (durable: DurableHarness["Service"], hub: AttemptHub, operator: string, target: AttemptChannel.SessionTarget, payload: AttemptChannel.InboundPayload) => Effect.Effect<AttemptChannel.Sequence, AttemptFailure | DurableHarnessError>;
+/**
+ * Sends the second receipt for each resolved queued operator input, and rejects all unread ones if
+ * `attempt` is `ended`. The caller must hold the hub's routing permit.
+ */
+export declare const relayDeliveries: (durable: {
+    readonly models: import("@earendil-works/pi-ai").Models;
+    readonly defaultModel: Option.Option<import("@earendil-works/pi-durable").ModelRef>;
+    readonly install: (extension: import("@earendil-works/pi-durable").Extension) => Effect.Effect<void>;
+    readonly resume: (beforeResume: import("../harness.ts").BeforeResume) => Effect.Effect<void, DurableHarnessError>;
+    readonly use: <A>(operation: string, run: (harness: import("@earendil-works/pi-durable").Harness, context: import("@earendil-works/chord").Context) => Promise<A>) => Effect.Effect<A, DurableHarnessError>;
+    readonly subscribe: (listener: import("../harness.ts").HarnessListener) => Effect.Effect<void, never, import("effect/Scope").Scope>;
+}, hub: AttemptHub, attempt: "ended" | "live") => Effect.Effect<void, AgentFailure | import("@usine/core/attempt/failure").BlockedFailure | import("@usine/core/attempt/failure").ChildSessionBudgetFailure | import("@usine/core/attempt/failure").DefectFailure | DurableHarnessError | import("@usine/core/attempt/failure").InfraFailure | import("@usine/core/attempt/failure").QuestionFailure | import("@usine/core/attempt/failure").RunawayFailure, never>;
+/**
+ * Relays one Attempt to `io` in order of occurrence until exactly one terminal envelope (`Final`,
+ * `Failed`, or `Interrupted`) is sent. Continues from the durable progress of an earlier call.
+ */
+export declare const relayAttempt: (durable: {
+    readonly models: import("@earendil-works/pi-ai").Models;
+    readonly defaultModel: Option.Option<import("@earendil-works/pi-durable").ModelRef>;
+    readonly install: (extension: import("@earendil-works/pi-durable").Extension) => Effect.Effect<void>;
+    readonly resume: (beforeResume: import("../harness.ts").BeforeResume) => Effect.Effect<void, DurableHarnessError>;
+    readonly use: <A>(operation: string, run: (harness: import("@earendil-works/pi-durable").Harness, context: import("@earendil-works/chord").Context) => Promise<A>) => Effect.Effect<A, DurableHarnessError>;
+    readonly subscribe: (listener: import("../harness.ts").HarnessListener) => Effect.Effect<void, never, import("effect/Scope").Scope>;
+}, hubs: AttemptHubs, hub: AttemptHub, request: AttemptRequest, io: AttemptChannel.Sink) => Effect.Effect<import("./outcome.ts").Settled, AgentFailure | import("@usine/core/attempt/failure").BlockedFailure | import("@usine/core/attempt/failure").ChildSessionBudgetFailure | import("@usine/core/attempt/failure").DefectFailure | DurableHarnessError | import("@usine/core/attempt/failure").InfraFailure | import("@usine/core/attempt/failure").QuestionFailure | import("@usine/core/attempt/failure").RunawayFailure, never>;
+//# sourceMappingURL=relay.d.ts.map

package/dist/attempt/relay.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"relay.d.ts","sourceRoot":"","sources":["../../src/attempt/relay.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,cAAc,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,KAAK,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAEhF,OAAO,EAAsB,MAAM,EAAE,MAAM,EAAyB,MAAM,QAAQ,CAAC;AACnF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACzE,OAAO,EAAE,KAAK,aAAa,EAA6B,MAAM,gBAAgB,CAAC;AAE/E,OAAO,EACL,KAAK,UAAU,EACf,KAAK,WAAW,EAKjB,MAAM,WAAW,CAAC;AA0CnB;;;GAGG;AACH,eAAO,MAAM,UAAU,YAAa,cAAc,CAAC,SAAS,CAAC,aAAa,MAAM,mFAG7E,CAAC;AAkDJ,+FAA+F;AAC/F,eAAO,MAAM,WAAW,YACb,cAAc,CAAC,SAAS,CAAC,OAC7B,UAAU,WACN,cAAc,CAAC,eAAe,sZACG,CAAC;AAE7C,2FAA2F;AAC3F,eAAO,MAAM,aAAa,YACf,cAAc,CAAC,SAAS,CAAC,OAC7B,UAAU,YACL,MAAM,UACR,cAAc,CAAC,aAAa,WAC3B,cAAc,CAAC,cAAc,KACrC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,cAAc,GAAG,mBAAmB,CAwB3E,CAAC;AAoDJ;;;GAGG;AACH,eAAO,MAAM,eAAe;;;;;;;mcA6E1B,CAAC;AA0CH;;;GAGG;AACH,eAAO,MAAM,YAAY;;;;;;;ugBA6RR,CAAC"}