@usine/durable 0.0.0-stage → 0.2.0

package/dist/attempt/subagent.js

@@ -0,0 +1,208 @@
+import { withAbortSignal } from "@earendil-works/chord/context";
+import { Type } from "@earendil-works/pi-ai";
+import { defineTool, } from "@earendil-works/pi-durable";
+import { assembleChildPrompt } from "@usine/agents/prompt";
+import { ChildRequest, ChildSessionBudgetExceededError, reportText, WorkingDirectory, } from "@usine/agents/runtime";
+import { AgentSessionId, ChildSession, ChildSessionBudget, ChildSessionCount, SessionFinished, sessionPool, } from "@usine/core/agent/session";
+import { Deferred, Effect, Exit, Fiber, Match, Option, Result, Stream } from "effect";
+import { durableError } from "../harness.js";
+import { AttemptRecordDoc, HoldDoc } from "./documents.js";
+import { parentSessionId } from "./parent.js";
+import { storedRequestOf } from "./request.js";
+import { firstAccepted } from "./watch.js";
+/** The name of the parent's only tool. */
+export const SUBAGENT_TOOL = "subagent";
+const TASK_EXCERPT_CHARACTERS = 160;
+const taskExcerpt = (task) => {
+    const collapsed = task.replace(/\s+/gu, " ").trim();
+    return collapsed.length > TASK_EXCERPT_CHARACTERS
+        ? `${collapsed.slice(0, TASK_EXCERPT_CHARACTERS)}…`
+        : collapsed;
+};
+const call = (operation, run) => Effect.tryPromise({ try: run, catch: (cause) => durableError(operation, cause) });
+const aborted = (context, sessionId) => Option.match(Option.fromNullishOr(context.abortSignal), {
+    onNone: () => Effect.logWarning("pi-durable supplied no abort signal; the child outlives only its scope", {
+        sessionId,
+    }).pipe(Effect.andThen(Effect.never)),
+    onSome: (signal) => Effect.callback((resume) => {
+        const onAbort = () => resume(Effect.void);
+        if (signal.aborted)
+            onAbort();
+        else
+            signal.addEventListener("abort", onAbort, { once: true });
+        return Effect.sync(() => signal.removeEventListener("abort", onAbort));
+    }),
+});
+/** Runs `effect` until the tool call aborts. On abort, runs `onAbort` and interrupts the call. */
+const untilAborted = (effect, context, sessionId, onAbort) => Effect.raceFirst(effect, aborted(context, sessionId).pipe(Effect.andThen(onAbort), Effect.andThen(Effect.interrupt)));
+/** Registers the child in `hub.children` until the scope closes. */
+const register = (hub, child) => Effect.acquireRelease(Effect.sync(() => {
+    hub.children.set(child.session.id, child);
+}), () => Effect.sync(() => hub.children.delete(child.session.id)));
+/**
+ * Builds the `subagent` tool, which runs one task in a child of the Agent's harness and returns the
+ * child's report. After a restart, a running call ends as interrupted, because children aren't
+ * replay-safe.
+ */
+export const subagentTool = (services) => {
+    const spawn = Effect.fn("Subagent.spawn")(function* (task, api, context) {
+        const owner = yield* call("find the parent's Attempt task", () => api.commit(async (tx) => {
+            const conversation = await tx.conversation(api.conversationId);
+            if (conversation?.owner === undefined)
+                return undefined;
+            const record = await tx.task(conversation.owner.taskId);
+            return record === undefined ? undefined : { taskId: record.id, input: record.input };
+        }, context));
+        if (owner === undefined) {
+            return yield* Effect.die(new Error("The subagent tool runs only in an attempt's parent conversation"));
+        }
+        const stored = yield* storedRequestOf(owner.input);
+        const spec = stored.spec;
+        const parentId = parentSessionId(spec.attemptId);
+        const hub = yield* services.hubs.hub(spec.attemptId, owner.taskId);
+        services.hubs.bindParent(hub, api.conversationId);
+        const excerpt = taskExcerpt(task);
+        const attemptedChildren = ChildSessionCount.make(yield* call("count the child spawn", () => api.commit(async (tx) => {
+            const record = await tx.doc(AttemptRecordDoc, spec.attemptId, null);
+            record.children += 1;
+            if (record.children > spec.maxChildren && record.childBudgetExceeded === null) {
+                record.childBudgetExceeded = { attempted: record.children, max: spec.maxChildren };
+            }
+            return record.children;
+        }, context)));
+        yield* Effect.annotateCurrentSpan({
+            attemptId: spec.attemptId,
+            attemptedChildren,
+            maxChildren: spec.maxChildren,
+            parentSessionId: parentId,
+        });
+        if (attemptedChildren > spec.maxChildren) {
+            yield* Effect.logWarning("Child session budget exceeded", {
+                attemptedChildren,
+                maxChildren: spec.maxChildren,
+                parentSessionId: parentId,
+                taskExcerpt: excerpt,
+            });
+            return yield* new ChildSessionBudgetExceededError({
+                attemptedChildren,
+                maxChildren: ChildSessionBudget.make(spec.maxChildren),
+                message: `Attempt tried to spawn child ${attemptedChildren} after reaching its ${spec.maxChildren}-child budget`,
+            });
+        }
+        const sessionId = AgentSessionId.make(`${parentId}:child:${attemptedChildren}`);
+        if (!(yield* Deferred.isDone(hub.attached))) {
+            yield* Effect.logInfo("Waiting for execute to supply the Attempt's child host and environment before spawning a child", {
+                attemptId: spec.attemptId,
+            });
+        }
+        // An abort, such as the harness closing at shutdown, ends a wait for a released Attempt.
+        const request = yield* untilAborted(Deferred.await(hub.attached), context, sessionId, Effect.logInfo("Abandoning the child spawn of an aborted tool call; no execute call supplied the child host", { attemptId: spec.attemptId, sessionId }));
+        // Read when each child starts, so a preflight that ran after the Attempt launched applies.
+        const session = new ChildSession({
+            id: sessionId,
+            parentId,
+            agent: spec.agent.name,
+            brain: spec.agent.brain,
+            gatewayCredential: yield* request.gatewayCredential,
+        });
+        const childRequest = new ChildRequest({
+            session,
+            cwd: WorkingDirectory.make(request.cwd),
+            environment: request.environment,
+            host: request.host,
+            worker: request.worker,
+            machine: request.machine,
+            prompt: assembleChildPrompt({
+                agent: spec.agent.name,
+                persona: spec.agent.persona,
+                task,
+            }),
+        });
+        yield* Effect.annotateCurrentSpan({ agent: session.agent, sessionId: session.id });
+        yield* Effect.logInfo("Spawning child session", {
+            attemptedChildren,
+            maxChildren: spec.maxChildren,
+            sessionId: session.id,
+            pool: sessionPool(session),
+            taskExcerpt: excerpt,
+        });
+        // Annotate logs with the Attempt because this tool runs outside the Attempt's fiber. An abort
+        // interrupts a launch that is still waiting through retry delays.
+        const child = yield* untilAborted(services.backend
+            .launch(childRequest)
+            .pipe(Effect.annotateLogs({ attemptId: spec.attemptId, worker: request.worker })), context, session.id, Effect.logInfo("Abandoning the child launch of an aborted tool call", {
+            sessionId: session.id,
+        }));
+        yield* register(hub, child);
+        yield* Effect.addFinalizer((exit) => Exit.isFailure(exit)
+            ? Effect.logWarning("Child session ended before returning a result", {
+                sessionId: session.id,
+            }).pipe(Effect.andThen(services.hubs.event(hub, new SessionFinished({ session: child.session }))))
+            : Effect.void);
+        yield* call("publish the child's id", () => api.details({ childSessionId: session.id }, context));
+        const forward = (event) => services.hubs.event(hub, event).pipe(Effect.andThen(event._tag === "TextOutput"
+            ? Effect.try({
+                try: () => api.output(`${event.text}\n`),
+                catch: (cause) => durableError("record the child's output", cause),
+            }).pipe(Effect.tapError((error) => Effect.logWarning("Could not record the child's output on the tool call", {
+                sessionId: session.id,
+                message: error.message,
+            })), Effect.ignore)
+            : Effect.void));
+        // These errors end the stream with the same report the child's result contains, so they are
+        // ignored here.
+        const forwarding = yield* child.events.pipe(Stream.runForEach(forward), Effect.catchTag(["AgentResultError", "AgentBlockedError", "AgentQuestionError"], () => Effect.void), Effect.forkScoped);
+        const outcome = yield* untilAborted(child.result.pipe(Effect.map(Result.succeed), Effect.catchTag(["AgentResultError", "AgentBlockedError", "AgentQuestionError"], (report) => Effect.succeed(Result.fail(report)))), context, session.id, Effect.logInfo("Interrupting the child of an aborted tool call", {
+            sessionId: session.id,
+        }).pipe(Effect.andThen(child.interrupt)));
+        yield* Fiber.join(forwarding);
+        yield* call("wait for the child's Hold to end", async (signal) => {
+            const scoped = withAbortSignal(signal, context);
+            const watch = await api.watchDoc(HoldDoc, owner.taskId, scoped);
+            if (watch === undefined)
+                return;
+            await firstAccepted(watch, (hold) => !hold.held.includes(session.id), scoped);
+        });
+        const text = yield* Result.match(outcome, {
+            onFailure: (report) => Effect.gen(function* () {
+                const kind = Match.valueTags(report, {
+                    AgentResultError: () => "failed",
+                    AgentBlockedError: () => "blocked",
+                    AgentQuestionError: () => "question",
+                });
+                yield* Effect.logInfo("Child session returned a reserved report to the Pi parent", {
+                    sessionId: session.id,
+                    kind,
+                });
+                const first = yield* call("record the child's report", () => api.commit(async (tx) => {
+                    const record = await tx.doc(AttemptRecordDoc, spec.attemptId, null);
+                    if (record.childBlocker !== null)
+                        return false;
+                    record.childBlocker = { sessionId: session.id, message: report.message, kind };
+                    return true;
+                }, context));
+                if (!first) {
+                    yield* Effect.logInfo("Kept the Attempt's first child report ahead of this one", {
+                        sessionId: session.id,
+                    });
+                }
+                yield* services.hubs.event(hub, new SessionFinished({ session: child.session }));
+                return reportText(report);
+            }),
+            onSuccess: (result) => Effect.logInfo("Child session returned to the Pi parent", { sessionId: session.id }).pipe(Effect.as(result.message)),
+        });
+        return {
+            output: [{ type: "text", text }],
+            details: { childSessionId: session.id },
+        };
+    }, Effect.scoped);
+    return defineTool({
+        name: SUBAGENT_TOOL,
+        description: "Delegate one focused task to the configured isolated child agent and wait for its report.",
+        parameters: Type.Object({ task: Type.String({ minLength: 1 }) }, { additionalProperties: false }),
+        executionMode: "parallel",
+        replay: "unsafe",
+        execute: (args, api, context) => services.run(spawn(args.task, api, context), undefined),
+    });
+};
+//# sourceMappingURL=subagent.js.map

package/dist/attempt/subagent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"subagent.js","sourceRoot":"","sources":["../../src/attempt/subagent.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAC7C,OAAO,EACL,UAAU,GAGX,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EACL,YAAY,EACZ,+BAA+B,EAC/B,UAAU,EAEV,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAEL,cAAc,EACd,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,eAAe,EACf,WAAW,GACZ,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACtF,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAE3D,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,0CAA0C;AAC1C,MAAM,CAAC,MAAM,aAAa,GAAG,UAAU,CAAC;AAIxC,MAAM,uBAAuB,GAAG,GAAG,CAAC;AAEpC,MAAM,WAAW,GAAG,CAAC,IAAY,EAAU,EAAE;IAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACpD,OAAO,SAAS,CAAC,MAAM,GAAG,uBAAuB;QAC/C,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,uBAAuB,CAAC,GAAG;QACnD,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,IAAI,GAAG,CAAI,SAAiB,EAAE,GAA4C,EAAE,EAAE,CAClF,MAAM,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;AAEpF,MAAM,OAAO,GAAG,CAAC,OAAqB,EAAE,SAAyB,EAAuB,EAAE,CACxF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE;IACtD,MAAM,EAAE,GAAG,EAAE,CACX,MAAM,CAAC,UAAU,CAAC,wEAAwE,EAAE;QAC1F,SAAS;KACV,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CACjB,MAAM,CAAC,QAAQ,CAAO,CAAC,MAAM,EAAE,EAAE;QAC/B,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,MAAM,CAAC,OAAO;YAAE,OAAO,EAAE,CAAC;;YACzB,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/D,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IACzE,CAAC,CAAC;CACL,CAAC,CAAC;AAEL,kGAAkG;AAClG,MAAM,YAAY,GAAG,CACnB,MAA8B,EAC9B,OAAqB,EACrB,SAAyB,EACzB,OAA+B,EAC/B,EAAE,CACF,MAAM,CAAC,SAAS,CACd,MAAM,EACN,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAC5F,CAAC;AAEJ,oEAAoE;AACpE,MAAM,QAAQ,GAAG,CAAC,GAAe,EAAE,KAAqB,EAAE,EAAE,CAC1D,MAAM,CAAC,cAAc,CACnB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;IACf,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AAC5C,CAAC,CAAC,EACF,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAC/D,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAA2B,EAAE,EAAE;IAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,EACjD,IAAY,EACZ,GAAmC,EACnC,OAAqB;QAErB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,gCAAgC,EAAE,GAAG,EAAE,CAC/D,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;YACtB,MAAM,YAAY,GAAG,MAAM,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YAC/D,IAAI,YAAY,EAAE,KAAK,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACxD,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACxD,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;QACvF,CAAC,EAAE,OAAO,CAAC,CACZ,CAAC;QACF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACtB,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAC7E,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACzB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACnE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC;QAClD,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,iBAAiB,GAAG,iBAAiB,CAAC,IAAI,CAC9C,KAAK,CAAC,CAAC,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE,CACxC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;YACtB,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACpE,MAAM,CAAC,QAAQ,IAAI,CAAC,CAAC;YACrB,IAAI,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC,WAAW,IAAI,MAAM,CAAC,mBAAmB,KAAK,IAAI,EAAE,CAAC;gBAC9E,MAAM,CAAC,mBAAmB,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;YACrF,CAAC;YACD,OAAO,MAAM,CAAC,QAAQ,CAAC;QACzB,CAAC,EAAE,OAAO,CAAC,CACZ,CACF,CAAC;QACF,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC;YAChC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,iBAAiB;YACjB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,eAAe,EAAE,QAAQ;SAC1B,CAAC,CAAC;QACH,IAAI,iBAAiB,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;YACzC,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,+BAA+B,EAAE;gBACxD,iBAAiB;gBACjB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,eAAe,EAAE,QAAQ;gBACzB,WAAW,EAAE,OAAO;aACrB,CAAC,CAAC;YACH,OAAO,KAAK,CAAC,CAAC,IAAI,+BAA+B,CAAC;gBAChD,iBAAiB;gBACjB,WAAW,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC;gBACtD,OAAO,EAAE,gCAAgC,iBAAiB,uBAAuB,IAAI,CAAC,WAAW,eAAe;aACjH,CAAC,CAAC;QACL,CAAC;QACD,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,GAAG,QAAQ,UAAU,iBAAiB,EAAE,CAAC,CAAC;QAChF,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC5C,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,gGAAgG,EAChG;gBACE,SAAS,EAAE,IAAI,CAAC,SAAS;aAC1B,CACF,CAAC;QACJ,CAAC;QACD,yFAAyF;QACzF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAY,CACjC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAC5B,OAAO,EACP,SAAS,EACT,MAAM,CAAC,OAAO,CACZ,6FAA6F,EAC7F,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,CACzC,CACF,CAAC;QACF,2FAA2F;QAC3F,MAAM,OAAO,GAAG,IAAI,YAAY,CAAC;YAC/B,EAAE,EAAE,SAAS;YACb,QAAQ;YACR,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;YACtB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK;YACvB,iBAAiB,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,iBAAiB;SACpD,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,IAAI,YAAY,CAAC;YACpC,OAAO;YACP,GAAG,EAAE,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YACvC,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,MAAM,EAAE,mBAAmB,CAAC;gBAC1B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;gBACtB,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO;gBAC3B,IAAI;aACL,CAAC;SACH,CAAC,CAAC;QACH,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QACnF,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,wBAAwB,EAAE;YAC9C,iBAAiB;YACjB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,SAAS,EAAE,OAAO,CAAC,EAAE;YACrB,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC;YAC1B,WAAW,EAAE,OAAO;SACrB,CAAC,CAAC;QACH,8FAA8F;QAC9F,kEAAkE;QAClE,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,YAAY,CAC/B,QAAQ,CAAC,OAAO;aACb,MAAM,CAAC,YAAY,CAAC;aACpB,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EACnF,OAAO,EACP,OAAO,CAAC,EAAE,EACV,MAAM,CAAC,OAAO,CAAC,qDAAqD,EAAE;YACpE,SAAS,EAAE,OAAO,CAAC,EAAE;SACtB,CAAC,CACH,CAAC;QACF,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC5B,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,EAAE,CAClC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YAClB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,+CAA+C,EAAE;gBACjE,SAAS,EAAE,OAAO,CAAC,EAAE;aACtB,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,OAAO,CACZ,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,eAAe,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAC1E,CACF;YACH,CAAC,CAAC,MAAM,CAAC,IAAI,CAChB,CAAC;QACF,KAAK,CAAC,CAAC,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE,CACzC,GAAG,CAAC,OAAO,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CACrD,CAAC;QACF,MAAM,OAAO,GAAG,CAAC,KAAwB,EAAE,EAAE,CAC3C,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,CAClC,MAAM,CAAC,OAAO,CACZ,KAAK,CAAC,IAAI,KAAK,YAAY;YACzB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;gBACT,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,CAAC;gBACxC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,2BAA2B,EAAE,KAAK,CAAC;aACnE,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,MAAM,CAAC,UAAU,CAAC,sDAAsD,EAAE;gBACxE,SAAS,EAAE,OAAO,CAAC,EAAE;gBACrB,OAAO,EAAE,KAAK,CAAC,OAAO;aACvB,CAAC,CACH,EACD,MAAM,CAAC,MAAM,CACd;YACH,CAAC,CAAC,MAAM,CAAC,IAAI,CAChB,CACF,CAAC;QACJ,4FAA4F;QAC5F,gBAAgB;QAChB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CACzC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,EAC1B,MAAM,CAAC,QAAQ,CACb,CAAC,kBAAkB,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,EAC/D,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAClB,EACD,MAAM,CAAC,UAAU,CAClB,CAAC;QACF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAY,CACjC,KAAK,CAAC,MAAM,CAAC,IAAI,CACf,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAC1B,MAAM,CAAC,QAAQ,CAAC,CAAC,kBAAkB,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAC1F,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CACpC,CACF,EACD,OAAO,EACP,OAAO,CAAC,EAAE,EACV,MAAM,CAAC,OAAO,CAAC,gDAAgD,EAAE;YAC/D,SAAS,EAAE,OAAO,CAAC,EAAE;SACtB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CACzC,CAAC;QACF,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC9B,KAAK,CAAC,CAAC,IAAI,CAAC,kCAAkC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;YAC/D,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAChD,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAChE,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO;YAChC,MAAM,aAAa,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE;YACxC,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CACpB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE;oBACnC,gBAAgB,EAAE,GAAG,EAAE,CAAC,QAAiB;oBACzC,iBAAiB,EAAE,GAAG,EAAE,CAAC,SAAkB;oBAC3C,kBAAkB,EAAE,GAAG,EAAE,CAAC,UAAmB;iBAC9C,CAAC,CAAC;gBACH,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,2DAA2D,EAAE;oBACjF,SAAS,EAAE,OAAO,CAAC,EAAE;oBACrB,IAAI;iBACL,CAAC,CAAC;gBACH,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE,CAC1D,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;oBACtB,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;oBACpE,IAAI,MAAM,CAAC,YAAY,KAAK,IAAI;wBAAE,OAAO,KAAK,CAAC;oBAC/C,MAAM,CAAC,YAAY,GAAG,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;oBAC/E,OAAO,IAAI,CAAC;gBACd,CAAC,EAAE,OAAO,CAAC,CACZ,CAAC;gBACF,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,yDAAyD,EAAE;wBAC/E,SAAS,EAAE,OAAO,CAAC,EAAE;qBACtB,CAAC,CAAC;gBACL,CAAC;gBACD,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,eAAe,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBACjF,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;YAC5B,CAAC,CAAC;YACJ,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CACpB,MAAM,CAAC,OAAO,CAAC,yCAAyC,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CACvF,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAC1B;SACJ,CAAC,CAAC;QACH,OAAO;YACL,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,CAAC;YACzC,OAAO,EAAE,EAAE,cAAc,EAAE,OAAO,CAAC,EAAE,EAAE;SACI,CAAC;IAChD,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAElB,OAAO,UAAU,CAAC;QAChB,IAAI,EAAE,aAAa;QACnB,WAAW,EACT,2FAA2F;QAC7F,UAAU,EAAE,IAAI,CAAC,MAAM,CACrB,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,EACvC,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAChC;QACD,aAAa,EAAE,UAAU;QACzB,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,CAAC,IAAI,EAAE,GAAmC,EAAE,OAAO,EAAE,EAAE,CAC9D,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC;KAC1D,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/attempt/task.d.ts

@@ -0,0 +1,61 @@
+import { type ConversationId, type Extension, type ToolRegistration } from "@earendil-works/pi-durable";
+import { type AttemptResult } from "./documents.ts";
+import type { ExtensionServices } from "./services.ts";
+/** The task's checkpoint: resolving the parent, or running one parent turn. */
+export type AttemptCheckpoint = {
+    phase: "prepare";
+} | {
+    phase: "run";
+    parent: ConversationId;
+    /** Turn 1 submits the assembled prompt; later turns submit operator guidance. */
+    turn: number;
+    message: string | null;
+};
+/** The task name of an Attempt's parent task, stored in every task record. */
+export declare const ATTEMPT_TASK = "usine.attempt";
+/**
+ * Builds the `usine.attempt` task, which submits the assembled prompt and then operator guidance
+ * one turn at a time. Each turn is submitted exactly once across restarts.
+ */
+export declare const attemptTask: (services: ExtensionServices, selection: () => {
+    readonly extension: Extension;
+    readonly tool: ToolRegistration;
+}) => import("@earendil-works/pi-durable").Task<{
+    readonly spec: {
+        readonly attemptId: string;
+        readonly repository: string;
+        readonly revision: string;
+        readonly baseCommit: string;
+        readonly payload: import("effect/Schema").Json;
+        readonly task: string;
+        readonly agent: {
+            readonly name: string;
+            readonly brain: {
+                readonly harness: "claude" | "codex" | "pi";
+                readonly model: string;
+                readonly effort: "high" | "low" | "max" | "medium" | "minimal" | "off" | "xhigh";
+            };
+            readonly parentModel: string | null;
+            readonly parentEffort?: "high" | "low" | "max" | "medium" | "minimal" | "off" | "xhigh";
+            readonly persona: string;
+        };
+        readonly parentModel: string | null;
+        readonly maxChildren: number;
+        readonly parentEffort: "high" | "low" | "max" | "medium" | "minimal" | "off" | "xhigh";
+        readonly resume: {
+            readonly _tag: "Pushed";
+            readonly ref: string;
+            readonly commit: string;
+        } | null;
+        readonly conflictingSalvage?: {
+            readonly _tag: "Pushed";
+            readonly ref: string;
+            readonly commit: string;
+        } | null;
+        readonly preparedAt?: string | null;
+        readonly botLogin?: string | null;
+    };
+    readonly worker: string;
+    readonly cwd: string;
+}, AttemptCheckpoint, AttemptResult, object>;
+//# sourceMappingURL=task.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"task.d.ts","sourceRoot":"","sources":["../../src/attempt/task.ts"],"names":[],"mappings":"AAEA,OAAO,EAGL,KAAK,cAAc,EAInB,KAAK,SAAS,EAKd,KAAK,gBAAgB,EAItB,MAAM,4BAA4B,CAAC;AAsBpC,OAAO,EAEL,KAAK,aAAa,EAKnB,MAAM,gBAAgB,CAAC;AAKxB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAGvD,+EAA+E;AAC/E,MAAM,MAAM,iBAAiB,GACzB;IAAE,KAAK,EAAE,SAAS,CAAA;CAAE,GACpB;IACE,KAAK,EAAE,KAAK,CAAC;IACb,MAAM,EAAE,cAAc,CAAC;IACvB,iFAAiF;IACjF,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB,CAAC;AAKN,8EAA8E;AAC9E,eAAO,MAAM,YAAY,kBAAkB,CAAC;AA+E5C;;;GAGG;AACH,eAAO,MAAM,WAAW,aACZ,iBAAiB,aAChB,MAAM;IAAE,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAA;CAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4CAmUpF,CAAC"}

package/dist/attempt/task.js

@@ -0,0 +1,302 @@
+import { withAbortSignal } from "@earendil-works/chord/context";
+import { AssistantEntry, configure, defineTask, ToolResultEntry, UserEntry, } from "@earendil-works/pi-durable";
+import { assemblePrompt } from "@usine/agents/prompt";
+import { reportedOutcome, toAttemptFailure } from "@usine/agents/runtime";
+import { ModelId } from "@usine/core/agent/brain";
+import { AgentFailure, BlockedFailure, ChildSessionBudgetFailure, InfraFailure, QuestionFailure, } from "@usine/core/attempt/failure";
+import { ChildSessionBudget, ChildSessionCount, SessionIdle, SessionResumed, } from "@usine/core/agent/session";
+import { Effect, Option, Result } from "effect";
+import { durableError } from "../harness.js";
+import { AttemptRecordDoc, HoldDoc, RELEASE_GUIDANCE, } from "./documents.js";
+import { assistantText } from "./events.js";
+import { completedOutcome, failedOutcome } from "./outcome.js";
+import { parentSession, parentSessionId, resolveParent } from "./parent.js";
+import { storedRequestOf } from "./request.js";
+import { firstAccepted } from "./watch.js";
+/** The task name of an Attempt's parent task, stored in every task record. */
+export const ATTEMPT_TASK = "usine.attempt";
+const call = (operation, run) => Effect.tryPromise({ try: run, catch: (cause) => durableError(operation, cause) });
+const commit = (runtime, context, operation, change) => call(operation, () => runtime.commit((tx) => change(tx), context));
+/**
+ * Returns the failure for a child's stored report if the parent didn't relay one. A harness failure
+ * maps to `AgentFailure`, which doesn't suppress the Item.
+ */
+const childReportFailure = ({ message, kind, }) => {
+    if (kind === "question")
+        return new QuestionFailure({ question: message });
+    if (kind === "failed")
+        return new AgentFailure({ message });
+    return new BlockedFailure({ message });
+};
+const finalAnswer = Effect.fn("AttemptTask.finalAnswer")(function* (runtime, context, parent, answer) {
+    const entry = yield* call("read the parent's answer", () => runtime.entry(AssistantEntry, answer, context));
+    const text = entry === undefined ? Option.none() : assistantText(entry);
+    if (Option.isSome(text))
+        return text.value;
+    const view = yield* call("read the parent's transcript", () => runtime.context(parent, context));
+    for (const earlier of [...view.entries].reverse()) {
+        const earlierText = earlier.kind === AssistantEntry.kind ? assistantText(earlier) : Option.none();
+        if (Option.isSome(earlierText))
+            return earlierText.value;
+    }
+    return "Pi session completed";
+});
+/**
+ * Whether `answer` replies to an operator message or steer: the newest user entry before it isn't
+ * `ownInput`, and no tool result is between them.
+ */
+const repliesToOperator = (entries, answer, ownInput) => {
+    for (const entry of [...entries].reverse()) {
+        if (entry.id >= answer)
+            continue;
+        if (entry.kind === ToolResultEntry.kind)
+            return false;
+        if (entry.kind === UserEntry.kind)
+            return !Option.contains(ownInput, entry.id);
+    }
+    return false;
+};
+/** Whether the parent is paused, has pending guidance, or is under a Hold. */
+const supervised = (hold, attemptId) => hold.paused || hold.guidance.length > 0 || hold.held.includes(parentSessionId(attemptId));
+const budgetExceeded = (runtime, context, attemptId) => call("watch the child-session budget", async (signal) => {
+    const scoped = withAbortSignal(signal, context);
+    const watch = await runtime.watchDoc(AttemptRecordDoc, attemptId, scoped);
+    if (watch === undefined)
+        throw new Error(`Attempt ${attemptId} has no durable record`);
+    const record = await firstAccepted(watch, (value) => value.childBudgetExceeded !== null, scoped);
+    return record.childBudgetExceeded;
+});
+/**
+ * Builds the `usine.attempt` task, which submits the assembled prompt and then operator guidance
+ * one turn at a time. Each turn is submitted exactly once across restarts.
+ */
+export const attemptTask = (services, selection) => {
+    const prepare = Effect.fn("AttemptTask.prepare")(function* (task, runtime, context) {
+        const request = yield* storedRequestOf(task.input);
+        const spec = request.spec;
+        yield* Effect.annotateCurrentSpan({
+            attemptId: spec.attemptId,
+            taskId: task.id,
+            sessionId: parentSessionId(spec.attemptId),
+        });
+        const resolved = yield* resolveParent(runtime.models, services.defaultModel, spec).pipe(Effect.result);
+        if (Result.isFailure(resolved)) {
+            yield* Effect.logError("Pi parent could not start", {
+                attemptId: spec.attemptId,
+                errorTag: resolved.failure._tag,
+                message: resolved.failure.message,
+            });
+            yield* commit(runtime, context, "record the failed start", () => failedOutcome(toAttemptFailure(resolved.failure)));
+            return;
+        }
+        const { ref, model } = resolved.success;
+        const { extension, tool } = selection();
+        let parent = Option.none();
+        yield* commit(runtime, context, "create the parent conversation", async (tx) => {
+            const existing = (await tx.scanConversations({ ownerTaskId: task.id }, 1)).items[0];
+            const conversation = existing ?? (await tx.createConversation({ ownership: { kind: "task", taskId: task.id } }));
+            if (existing === undefined) {
+                await configure(tx, conversation.id, {
+                    model: ref,
+                    thinkingLevel: spec.parentEffort,
+                    extensions: [extension],
+                    tools: [tool],
+                });
+            }
+            await tx.doc(HoldDoc, task.id);
+            const record = await tx.doc(AttemptRecordDoc, spec.attemptId, null);
+            record.parentModel = model;
+            record.parentConversation = conversation.id;
+            parent = Option.some(conversation.id);
+            return {
+                status: "running",
+                checkpoint: { phase: "run", parent: conversation.id, turn: 1, message: null },
+            };
+        });
+        yield* Effect.logInfo("Created the Pi parent conversation", {
+            attemptId: spec.attemptId,
+            parentConversation: Option.getOrUndefined(parent),
+            model,
+        });
+    });
+    /** Queues a parent lifecycle event that has no parent entry, such as waiting on the operator. */
+    const announce = Effect.fn("AttemptTask.announce")(function* (spec, taskId, runtime, context, lifecycle) {
+        const record = yield* call("read the Attempt record", () => runtime.snapshot(AttemptRecordDoc, spec.attemptId, context));
+        const model = record?.parentModel ?? null;
+        if (model === null) {
+            return yield* Effect.logWarning("The parent has no resolved model; its lifecycle event is dropped", { lifecycle });
+        }
+        const session = parentSession(spec, ModelId.make(model));
+        const hub = yield* services.hubs.hub(spec.attemptId, taskId);
+        yield* services.hubs.event(hub, lifecycle === "Idle" ? new SessionIdle({ session }) : new SessionResumed({ session }));
+    });
+    /**
+     * Waits while the parent is supervised, then commits the oldest operator guidance, or
+     * `RELEASE_GUIDANCE` if there is none, as its next turn.
+     */
+    const awaitGuidance = Effect.fn("AttemptTask.awaitGuidance")(function* (task, runtime, context) {
+        const { spec } = yield* storedRequestOf(task.input);
+        const { parent, turn } = task.state.checkpoint;
+        const parentId = parentSessionId(spec.attemptId);
+        const released = (hold) => !hold.paused && !hold.held.includes(parentId);
+        const current = yield* call("read the Hold", () => runtime.snapshot(HoldDoc, task.id, context));
+        // Pending guidance resumes the parent immediately, so `Idle` is not announced.
+        const waits = (current?.guidance.length ?? 0) === 0;
+        if (waits)
+            yield* announce(spec, task.id, runtime, context, "Idle");
+        while (true) {
+            yield* call("wait for operator guidance", async (signal) => {
+                const scoped = withAbortSignal(signal, context);
+                const watch = await runtime.watchDoc(HoldDoc, task.id, scoped);
+                if (watch === undefined)
+                    throw new Error("The attempt task has no Hold document");
+                return firstAccepted(watch, (hold) => hold.guidance.length > 0 || released(hold), scoped);
+            });
+            let resumed = Option.none();
+            yield* commit(runtime, context, "take operator guidance", async (tx) => {
+                const hold = await tx.doc(HoldDoc, task.id);
+                const [next, ...rest] = hold.guidance;
+                if (next === undefined && !released(hold))
+                    return undefined;
+                hold.guidance = rest;
+                hold.paused = false;
+                resumed = Option.some(next === undefined ? "Release" : "Guidance");
+                return {
+                    status: "running",
+                    checkpoint: { phase: "run", parent, turn: turn + 1, message: next ?? RELEASE_GUIDANCE },
+                };
+            });
+            if (Option.isSome(resumed)) {
+                yield* Effect.logInfo("Resuming the Pi parent", {
+                    turn: turn + 1,
+                    resumedBy: resumed.value,
+                });
+                if (waits)
+                    yield* announce(spec, task.id, runtime, context, "Resumed");
+                return;
+            }
+        }
+    });
+    const run = Effect.fn("AttemptTask.run")(function* (task, runtime, context) {
+        const request = yield* storedRequestOf(task.input);
+        const spec = request.spec;
+        const { parent, turn, message } = task.state.checkpoint;
+        yield* Effect.annotateCurrentSpan({
+            attemptId: spec.attemptId,
+            taskId: task.id,
+            sessionId: parentSessionId(spec.attemptId),
+            turn,
+        });
+        const conversation = yield* call("open the parent conversation", () => runtime.conversation(parent, context));
+        if (conversation === undefined) {
+            return yield* Effect.die(new Error(`Parent conversation ${parent} is missing`));
+        }
+        const content = message ??
+            assemblePrompt({
+                repository: spec.repository,
+                payload: spec.payload,
+                agent: spec.agent.name,
+                persona: spec.agent.persona,
+                task: spec.task,
+                resume: spec.resume,
+                conflictingSalvage: spec.conflictingSalvage,
+            });
+        const submission = yield* call("submit the parent turn", () => conversation.submit({ type: "input", content, requestId: `${ATTEMPT_TASK}:${task.id}:turn:${turn}` }, context));
+        yield* Effect.logInfo("Submitted a Pi parent turn", { turn, submissionId: submission.id });
+        const ended = yield* Effect.raceFirst(call("wait for the parent turn", (signal) => submission.wait(withAbortSignal(signal, context))).pipe(Effect.map((settled) => ({ _tag: "Settled", settled }))), budgetExceeded(runtime, context, spec.attemptId).pipe(Effect.map((exceeded) => ({ _tag: "BudgetExceeded", exceeded }))));
+        if (ended._tag === "BudgetExceeded") {
+            const attempted = ended.exceeded?.attempted ?? spec.maxChildren + 1;
+            yield* Effect.logWarning("Stopping the Pi parent after its child-session budget was exceeded", {
+                attemptedChildren: attempted,
+                maxChildren: spec.maxChildren,
+            });
+            // A failed outcome aborts the task's remaining work, including children.
+            yield* commit(runtime, context, "record the exceeded budget", () => failedOutcome(new ChildSessionBudgetFailure({
+                attemptedChildren: ChildSessionCount.make(attempted),
+                maxChildren: ChildSessionBudget.make(spec.maxChildren),
+            })));
+            return;
+        }
+        const settled = ended.settled;
+        if (settled.type === "input" && settled.status === "done") {
+            const answer = yield* finalAnswer(runtime, context, parent, settled.answer);
+            const view = yield* call("read the parent's transcript", () => runtime.context(parent, context));
+            const answeredOperator = repliesToOperator(view.entries, settled.answer, turn === 1 || message === RELEASE_GUIDANCE ? Option.some(settled.entry) : Option.none());
+            const record = yield* call("read the Attempt record", () => runtime.snapshot(AttemptRecordDoc, spec.attemptId, context));
+            const own = Option.map(reportedOutcome(Option.none(), answer), toAttemptFailure);
+            const relayed = Option.fromNullishOr(record?.childBlocker);
+            if (Option.isNone(own) && Option.isSome(relayed)) {
+                yield* Effect.logWarning("Pi parent finished without relaying its child's report", {
+                    childSessionId: relayed.value.sessionId,
+                    kind: relayed.value.kind ?? "blocked",
+                });
+            }
+            const outcome = Option.orElse(own, () => Option.map(relayed, childReportFailure));
+            let finished = false;
+            yield* commit(runtime, context, "record the parent's answer", async (tx) => {
+                if (supervised(await tx.doc(HoldDoc, task.id), spec.attemptId))
+                    return undefined;
+                finished = true;
+                return Option.match(outcome, {
+                    onNone: () => completedOutcome(answer, answeredOperator),
+                    onSome: failedOutcome,
+                });
+            });
+            if (finished) {
+                yield* Effect.logInfo("Pi parent finished", {
+                    turn,
+                    answeredOperator,
+                    report: Option.match(outcome, { onNone: () => "none", onSome: ({ _tag }) => _tag }),
+                });
+                return;
+            }
+            yield* Effect.logInfo("Pi parent answered under operator supervision; holding its answer for the operator", { turn, answeredOperator });
+            return yield* awaitGuidance(task, runtime, context);
+        }
+        if (settled.status === "unanswered" && settled.reason === "aborted") {
+            const hold = yield* call("read the Hold", () => runtime.snapshot(HoldDoc, task.id, context));
+            if (hold !== undefined && supervised(hold, spec.attemptId)) {
+                yield* Effect.logInfo("Pi parent turn was interrupted; waiting for operator guidance", {
+                    turn,
+                });
+                return yield* awaitGuidance(task, runtime, context);
+            }
+        }
+        const reason = settled.status === "unanswered" ? settled.reason : settled.status;
+        yield* Effect.logError("Pi parent turn ended without an answer", { turn, reason });
+        yield* commit(runtime, context, "record the unanswered turn", () => failedOutcome(new InfraFailure({
+            message: `The Pi parent's turn ended without an answer: ${reason}`,
+            cause: settled.status === "unanswered" ? (settled.detail ?? reason) : reason,
+        })));
+    });
+    return defineTask({
+        name: ATTEMPT_TASK,
+        version: 1,
+        initial: () => ({ phase: "prepare" }),
+        phases: {
+            prepare: (task, runtime, context) => services.run(prepare(task, runtime, context), context.abortSignal),
+            run: (task, runtime, context) => services.run(run(task, runtime, context), context.abortSignal),
+        },
+        abort: (task, runtime, context) => services.run(Effect.gen(function* () {
+            const { spec } = yield* storedRequestOf(task.input);
+            const record = yield* call("read the Attempt record", () => runtime.snapshot(AttemptRecordDoc, spec.attemptId, context)).pipe(Effect.tapError((error) => Effect.logWarning("Could not read the aborted Attempt's record; ending it as canceled", {
+                attemptId: spec.attemptId,
+                message: error.message,
+            })), Effect.orElseSucceed(() => undefined));
+            const storageFailure = Option.fromUndefinedOr(record?.storageFailure);
+            yield* commit(runtime, context, "record the abort", () => Option.match(storageFailure, {
+                onNone: () => ({ status: "terminal", outcome: { status: "aborted" } }),
+                onSome: (message) => failedOutcome(new InfraFailure({ message, cause: message })),
+            }));
+            yield* Option.match(storageFailure, {
+                onNone: () => Effect.logInfo("Attempt task aborted", { taskId: task.id }),
+                onSome: (message) => Effect.logError("Attempt task failed: its parent conversation could not be read", {
+                    taskId: task.id,
+                    attemptId: spec.attemptId,
+                    cause: message,
+                }),
+            });
+        }).pipe(Effect.withSpan("AttemptTask.abort")), context.abortSignal),
+    });
+};
+//# sourceMappingURL=task.js.map

package/dist/attempt/task.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task.js","sourceRoot":"","sources":["../../src/attempt/task.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EACL,cAAc,EACd,SAAS,EAET,UAAU,EASV,eAAe,EAEf,SAAS,GACV,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAGlD,OAAO,EACL,YAAY,EAEZ,cAAc,EACd,yBAAyB,EACzB,YAAY,EACZ,eAAe,GAChB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,WAAW,EACX,cAAc,GACf,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAGL,gBAAgB,EAEhB,OAAO,EACP,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5E,OAAO,EAAyB,eAAe,EAAE,MAAM,cAAc,CAAC;AAEtE,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAgB3C,8EAA8E;AAC9E,MAAM,CAAC,MAAM,YAAY,GAAG,eAAe,CAAC;AAE5C,MAAM,IAAI,GAAG,CAAI,SAAiB,EAAE,GAA4C,EAAE,EAAE,CAClF,MAAM,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;AAEpF,MAAM,MAAM,GAAG,CACb,OAAgB,EAChB,OAAqB,EACrB,SAAiB,EACjB,MAA0E,EAC1E,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;AAExE;;;GAGG;AACH,MAAM,kBAAkB,GAAG,CAAC,EAC1B,OAAO,EACP,IAAI,GACuC,EAAkB,EAAE;IAC/D,IAAI,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,eAAe,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;IAC3E,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;IAC5D,OAAO,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC,QAAQ,CAAC,EAChE,OAAgB,EAChB,OAAqB,EACrB,MAAsB,EACtB,MAAe;IAEf,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE,CACzD,OAAO,CAAC,KAAK,CAAC,cAAc,EAAE,MAAM,EAAE,OAAO,CAAC,CAC/C,CAAC;IACF,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAU,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAChF,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,8BAA8B,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACjG,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAClD,MAAM,WAAW,GACf,OAAO,CAAC,IAAI,KAAK,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAChF,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;YAAE,OAAO,WAAW,CAAC,KAAK,CAAC;IAC3D,CAAC;IACD,OAAO,sBAAsB,CAAC;AAChC,CAAC,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,iBAAiB,GAAG,CACxB,OAAmC,EACnC,MAAe,EACf,QAAgC,EACvB,EAAE;IACX,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3C,IAAI,KAAK,CAAC,EAAE,IAAI,MAAM;YAAE,SAAS;QACjC,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACtD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI;YAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,8EAA8E;AAC9E,MAAM,UAAU,GAAG,CAAC,IAAoB,EAAE,SAAoB,EAAW,EAAE,CACzE,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC;AAE5F,MAAM,cAAc,GAAG,CAAC,OAAgB,EAAE,OAAqB,EAAE,SAAoB,EAAE,EAAE,CACvF,IAAI,CAAC,gCAAgC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;IACtD,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IAC1E,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,wBAAwB,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,MAAM,aAAa,CAChC,KAAK,EACL,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,mBAAmB,KAAK,IAAI,EAC7C,MAAM,CACP,CAAC;IACF,OAAO,MAAM,CAAC,mBAAmB,CAAC;AACpC,CAAC,CAAC,CAAC;AAEL;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,QAA2B,EAC3B,SAAmF,EACnF,EAAE;IACF,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,EACxD,IAAwE,EACxE,OAAgB,EAChB,OAAqB;QAErB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QAC1B,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC;YAChC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC;SAC3C,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,IAAI,CACrF,MAAM,CAAC,MAAM,CACd,CAAC;QACF,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC/B,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,2BAA2B,EAAE;gBAClD,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI;gBAC/B,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,OAAO;aAClC,CAAC,CAAC;YACH,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,yBAAyB,EAAE,GAAG,EAAE,CAC9D,aAAa,CAAC,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAClD,CAAC;YACF,OAAO;QACT,CAAC;QACD,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC;QACxC,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,SAAS,EAAE,CAAC;QACxC,IAAI,MAAM,GAAG,MAAM,CAAC,IAAI,EAAkB,CAAC;QAC3C,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,gCAAgC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE;YAC7E,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,CAAC,iBAAiB,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACpF,MAAM,YAAY,GAChB,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC,kBAAkB,CAAC,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;YAC9F,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,SAAS,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,EAAE;oBACnC,KAAK,EAAE,GAAG;oBACV,aAAa,EAAE,IAAI,CAAC,YAAY;oBAChC,UAAU,EAAE,CAAC,SAAS,CAAC;oBACvB,KAAK,EAAE,CAAC,IAAI,CAAC;iBACd,CAAC,CAAC;YACL,CAAC;YACD,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/B,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACpE,MAAM,CAAC,WAAW,GAAG,KAAK,CAAC;YAC3B,MAAM,CAAC,kBAAkB,GAAG,YAAY,CAAC,EAAE,CAAC;YAC5C,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;YACtC,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,UAAU,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;aAC9E,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,oCAAoC,EAAE;YAC1D,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,kBAAkB,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC;YACjD,KAAK;SACN,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,iGAAiG;IACjG,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,QAAQ,CAAC,EAC1D,IAAa,EACb,MAAc,EACd,OAAgB,EAChB,OAAqB,EACrB,SAA6B;QAE7B,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE,CACzD,OAAO,CAAC,QAAQ,CAAC,gBAAgB,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAC5D,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,EAAE,WAAW,IAAI,IAAI,CAAC;QAC1C,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAC7B,kEAAkE,EAClE,EAAE,SAAS,EAAE,CACd,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC7D,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CACxB,GAAG,EACH,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,CAAC,CACtF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH;;;OAGG;IACH,MAAM,aAAa,GAAG,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,QAAQ,CAAC,EACpE,IAIC,EACD,OAAgB,EAChB,OAAqB;QAErB,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpD,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;QAC/C,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,CAAC,IAAoB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACzF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;QAChG,+EAA+E;QAC/E,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI,KAAK;YAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACpE,OAAO,IAAI,EAAE,CAAC;YACZ,KAAK,CAAC,CAAC,IAAI,CAAC,4BAA4B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;gBACzD,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBAChD,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAC/D,IAAI,KAAK,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;gBAClF,OAAO,aAAa,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAC5F,CAAC,CAAC,CAAC;YACH,IAAI,OAAO,GAAG,MAAM,CAAC,IAAI,EAA0B,CAAC;YACpD,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,wBAAwB,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE;gBACrE,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC5C,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;gBACtC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAAE,OAAO,SAAS,CAAC;gBAC5D,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;gBACrB,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;gBACpB,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;gBACnE,OAAO;oBACL,MAAM,EAAE,SAAS;oBACjB,UAAU,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,IAAI,gBAAgB,EAAE;iBACxF,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,wBAAwB,EAAE;oBAC9C,IAAI,EAAE,IAAI,GAAG,CAAC;oBACd,SAAS,EAAE,OAAO,CAAC,KAAK;iBACzB,CAAC,CAAC;gBACH,IAAI,KAAK;oBAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;gBACvE,OAAO;YACT,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EAChD,IAIC,EACD,OAAgB,EAChB,OAAqB;QAErB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QAC1B,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;QACxD,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC;YAChC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC;YAC1C,IAAI;SACL,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,8BAA8B,EAAE,GAAG,EAAE,CACpE,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CACtC,CAAC;QACF,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,uBAAuB,MAAM,aAAa,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,OAAO,GACX,OAAO;YACP,cAAc,CAAC;gBACb,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;gBACtB,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO;gBAC3B,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;aAC5C,CAAC,CAAC;QACL,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE,CAC5D,YAAY,CAAC,MAAM,CACjB,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,YAAY,IAAI,IAAI,CAAC,EAAE,SAAS,IAAI,EAAE,EAAE,EAChF,OAAO,CACR,CACF,CAAC;QACF,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3F,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CACnC,IAAI,CAAC,0BAA0B,EAAE,CAAC,MAAM,EAAE,EAAE,CAC1C,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAClD,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAU,CAAC,CAAC,EACxE,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CACnD,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,CAAU,CAAC,CAC1E,CACF,CAAC;QACF,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACpC,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,EAAE,SAAS,IAAI,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC;YACpE,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,oEAAoE,EACpE;gBACE,iBAAiB,EAAE,SAAS;gBAC5B,WAAW,EAAE,IAAI,CAAC,WAAW;aAC9B,CACF,CAAC;YACF,yEAAyE;YACzE,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,4BAA4B,EAAE,GAAG,EAAE,CACjE,aAAa,CACX,IAAI,yBAAyB,CAAC;gBAC5B,iBAAiB,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;gBACpD,WAAW,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC;aACvD,CAAC,CACH,CACF,CAAC;YACF,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;QAC9B,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC1D,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YAC5E,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,8BAA8B,EAAE,GAAG,EAAE,CAC5D,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CACjC,CAAC;YACF,MAAM,gBAAgB,GAAG,iBAAiB,CACxC,IAAI,CAAC,OAAO,EACZ,OAAO,CAAC,MAAM,EACd,IAAI,KAAK,CAAC,IAAI,OAAO,KAAK,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CACxF,CAAC;YACF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE,CACzD,OAAO,CAAC,QAAQ,CAAC,gBAAgB,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAC5D,CAAC;YACF,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,EAAE,gBAAgB,CAAC,CAAC;YACjF,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YAC3D,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACjD,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,wDAAwD,EAAE;oBACjF,cAAc,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS;oBACvC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,IAAI,SAAS;iBACtC,CAAC,CAAC;YACL,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC,CAAC;YAClF,IAAI,QAAQ,GAAG,KAAK,CAAC;YACrB,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,4BAA4B,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE;gBACzE,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC;oBAAE,OAAO,SAAS,CAAC;gBACjF,QAAQ,GAAG,IAAI,CAAC;gBAChB,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE;oBAC3B,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,CAAC;oBACxD,MAAM,EAAE,aAAa;iBACtB,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;YACH,IAAI,QAAQ,EAAE,CAAC;gBACb,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,oBAAoB,EAAE;oBAC1C,IAAI;oBACJ,gBAAgB;oBAChB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;iBACpF,CAAC,CAAC;gBACH,OAAO;YACT,CAAC;YACD,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,oFAAoF,EACpF,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAC3B,CAAC;YACF,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,YAAY,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACpE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;YAC7F,IAAI,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC3D,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,+DAA+D,EAAE;oBACrF,IAAI;iBACL,CAAC,CAAC;gBACH,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;QACjF,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,wCAAwC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACnF,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,4BAA4B,EAAE,GAAG,EAAE,CACjE,aAAa,CACX,IAAI,YAAY,CAAC;YACf,OAAO,EAAE,iDAAiD,MAAM,EAAE;YAClE,KAAK,EAAE,OAAO,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;SAC7E,CAAC,CACH,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,UAAU,CAAqD;QACpE,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QACrC,MAAM,EAAE;YACN,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAClC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC;YACpE,GAAG,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAC9B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC;SACjE;QACD,KAAK,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAChC,QAAQ,CAAC,GAAG,CACV,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE,CACzD,OAAO,CAAC,QAAQ,CAAC,gBAAgB,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAC5D,CAAC,IAAI,CACJ,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,MAAM,CAAC,UAAU,CACf,oEAAoE,EACpE;gBACE,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,OAAO,EAAE,KAAK,CAAC,OAAO;aACvB,CACF,CACF,EACD,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CACtC,CAAC;YACF,MAAM,cAAc,GAAG,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;YACtE,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,GAAG,EAAE,CACvD,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE;gBAC3B,MAAM,EAAE,GAAc,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC;gBACjF,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;aAClF,CAAC,CACH,CAAC;YACF,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE;gBAClC,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,sBAAsB,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;gBACzE,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAClB,MAAM,CAAC,QAAQ,CAAC,gEAAgE,EAAE;oBAChF,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,SAAS,EAAE,IAAI,CAAC,SAAS;oBACzB,KAAK,EAAE,OAAO;iBACf,CAAC;aACL,CAAC,CAAC;QACL,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,EAC7C,OAAO,CAAC,WAAW,CACpB;KACJ,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/attempt/watch.d.ts

@@ -0,0 +1,8 @@
+import type { Context as ChordContext } from "@earendil-works/chord";
+import type { DocumentWatch, JsonObject } from "@earendil-works/pi-durable";
+/**
+ * Resolves with the first committed document value that `accept` matches, starting with the current
+ * value. Rejects if the context is aborted or the watch ends, and stops the watch in every case.
+ */
+export declare const firstAccepted: <T extends JsonObject>(watch: DocumentWatch<T>, accept: (value: Readonly<T>) => boolean, context: ChordContext) => Promise<Readonly<T>>;
+//# sourceMappingURL=watch.d.ts.map