@amends-dev/harness-opencode 0.0.0-stage → 0.1.0

package/internal/bridge/v2/session.js

@@ -0,0 +1,198 @@
+/**
+ * A session of opencode 2's session API, as the driver runs it: an opencode session in the
+ * session's directory. A turn is a prompt to it, with the prompt's files, on the turn's model, the
+ * turn's instructions given beside opencode's own; `Turn` translates the events opencode publishes
+ * for the turn as they happen. A session that starts with a conversation from another agent is
+ * created holding it, as opencode's own record, as `Prompt` writes it.
+ *
+ * The host's tools reach opencode through the bridge's `HostToolRelay`, as `HostTools` lists them:
+ * opencode 2's model calls them from code it runs. A tool of opencode's own that asks permission
+ * waits for `approve`, and `compact` asks opencode to summarize the conversation, which it does
+ * without instructions. opencode 2 does not answer in JSON, which fails with `UnsupportedError`.
+ */
+import { HarnessError } from "@amends-dev/harness";
+import * as Clock from "effect/Clock";
+import * as Crypto from "effect/Crypto";
+import * as Effect from "effect/Effect";
+import * as FileSystem from "effect/FileSystem";
+import * as Option from "effect/Option";
+import * as Ref from "effect/Ref";
+import * as Schema from "effect/Schema";
+import * as Stream from "effect/Stream";
+import * as Driver from "../driver.js";
+import * as HostTools from "../hostTools.js";
+import * as Server from "../server.js";
+import * as Api from "./api.js";
+import * as Prompt from "./prompt.js";
+import * as Turn from "./turn.js";
+/** What `state` returns, for `createSession` to take back. */
+const State = Schema.Struct({
+    sessionID: Schema.String,
+    /** The model the session runs its turns on. */
+    model: Driver.ModelRef
+});
+const StateJson = Schema.toCodecJson(State);
+/** The key a turn's instructions have among the session's. */
+const instructionsKey = "amends";
+/**
+ * How long opencode 2 may take to give its turns an MCP server's tools once they change. It
+ * registers them 100 milliseconds after they last changed and announces nothing when it has, so a
+ * turn that starts sooner runs without them.
+ */
+const toolRegistrationTime = "500 millis";
+/**
+ * The function that creates sessions as `Driver.CreateSession` does, each with a session of
+ * `relay` for the host's tools: a new opencode session, or the one its `agentState` names, when
+ * opencode still has it.
+ */
+export const makeCreateSession = (relay) => (server, options, sessionOptions) => Effect.gen(function* () {
+    const api = Api.make(server);
+    const { directory } = sessionOptions;
+    const harnessError = (reason, cause) => Server.harnessError(server.agent, reason, cause);
+    // opencode may have lost the session, as when the sandbox lost its data, and then starts one
+    // from the conversation.
+    const saved = yield* readState(harnessError, sessionOptions.agentState);
+    const kept = saved !== undefined && (yield* api.hasSession(saved.sessionID)) ? saved : undefined;
+    const state = kept ?? (yield* createOpencodeSession(api, harnessError, directory, options.model, sessionOptions.history));
+    const { sessionID } = state;
+    const relaySession = yield* relay.open(sessionOptions.id);
+    // opencode 2 connects to an MCP server after it answers, lists its tools once it has, and
+    // registers them for its turns later still.
+    const registered = Effect.andThen(api.awaitMcpServer(directory, HostTools.serverName), Effect.sleep(toolRegistrationTime));
+    const listHostTools = yield* HostTools.makeLister(relay.url, relaySession, {
+        add: (mcpServer) => Effect.andThen(api.addMcpServer(directory, HostTools.serverName, mcpServer), registered),
+        reconnect: Effect.andThen(api.reconnectMcpServer(directory, HostTools.serverName), registered),
+        disconnect: Effect.andThen(api.disconnectMcpServer(directory, HostTools.serverName), Effect.sleep(toolRegistrationTime))
+    });
+    // opencode reports the files a tool changed by their real paths.
+    const fs = yield* FileSystem.FileSystem;
+    const realDirectory = yield* fs.realPath(directory).pipe(Effect.orElseSucceed(() => directory));
+    /** The model the session runs its turns on, switched when a turn names another. */
+    const sessionModel = yield* Ref.make(state.model);
+    /**
+     * The instructions the session's model reads beside opencode's own, or nothing while the
+     * session does not know them, as for a session it kept.
+     */
+    const sessionInstructions = yield* Ref.make(kept === undefined ? {} : undefined);
+    /** Gives the session the turn's model and instructions, before its prompt. */
+    const prepareTurn = Effect.fnUntraced(function* (turnOptions) {
+        if (turnOptions.responseFormat.type === "json") {
+            return yield* harnessError(new HarnessError.UnsupportedError({
+                description: "opencode 2's session API does not answer in JSON"
+            }));
+        }
+        const model = yield* modelNamed(harnessError, options, turnOptions.model);
+        if (!isSameModel(model, yield* Ref.get(sessionModel))) {
+            yield* api.switchModel(sessionID, model);
+            yield* Ref.set(sessionModel, model);
+        }
+        const { instructions } = turnOptions;
+        const known = yield* Ref.get(sessionInstructions);
+        if (known === undefined || known.text !== instructions) {
+            yield* instructions === undefined
+                ? api.removeInstructions(sessionID, instructionsKey)
+                : api.putInstructions(sessionID, instructionsKey, instructions);
+            yield* Ref.set(sessionInstructions, instructions === undefined ? {} : { text: instructions });
+        }
+        yield* listHostTools(turnOptions.tools);
+    });
+    /**
+     * Runs a turn, streaming its parts until its `finish`, with the calls the relay streams of the
+     * host's tools. A stream that ends before the turn finishes, as when the bridge aborts the
+     * turn, stops the session in opencode.
+     */
+    const promptTurn = (turnOptions) => Stream.unwrap(Effect.gen(function* () {
+        const prompt = yield* Effect.fromResult(Prompt.promptOf(turnOptions.prompt)).pipe(Effect.mapError((reason) => harnessError(reason)));
+        const finished = yield* Ref.make(false);
+        // Interrupting a session that runs nothing does nothing, so this holds from before
+        // opencode takes the prompt.
+        yield* Effect.addFinalizer(() => Effect.flatMap(Ref.get(finished), (done) => done ? Effect.void : Effect.ignore(api.interrupt(sessionID))));
+        const hostCalls = turnOptions.tools.length === 0 ? Stream.empty : yield* relaySession.offerTools(turnOptions.tools);
+        yield* prepareTurn(turnOptions);
+        // The turn's events are published only to subscriptions made before them.
+        const events = yield* api.subscribe(sessionID);
+        const inboxID = yield* api.prompt(sessionID, prompt);
+        const translated = yield* Ref.make(Turn.initial({ inboxID, directory: realDirectory }));
+        const translate = (event) => Effect.flatMap(Ref.get(translated), (turn) => Effect.fromResult(Turn.translate(turn, event))).pipe(Effect.flatMap(([turn, parts]) => Effect.as(Ref.set(translated, turn), parts)), Effect.mapError((reason) => harnessError(reason)));
+        const ended = harnessError(new HarnessError.UnavailableError({
+            description: "opencode's events ended before the turn did"
+        }));
+        const turnParts = events.pipe(Stream.tap((event) => event.type === "form.created"
+            ? Effect.ignore(api.cancelForm(sessionID, event.data.form.id, "No one answers forms here"))
+            : Effect.void), Stream.concat(Stream.fail(ended)), Stream.mapEffect(translate), Stream.flattenIterable, Stream.takeUntil((part) => part.type === "finish"), Stream.tap((part) => (part.type === "finish" ? Ref.set(finished, true) : Effect.void)));
+        return Stream.merge(turnParts, hostCalls, { haltStrategy: "left" });
+    }));
+    /** Asks opencode to summarize the conversation, and waits for the summary it writes. */
+    const compact = Effect.fnUntraced(function* (instructions) {
+        if (instructions !== undefined && instructions.trim() !== "") {
+            return yield* harnessError(new HarnessError.UnsupportedError({
+                description: "opencode 2 summarizes a conversation without instructions"
+            }));
+        }
+        const events = yield* api.subscribe(sessionID);
+        yield* api.compact(sessionID);
+        const outcome = yield* events.pipe(Stream.filter((event) => (event.type === "session.compaction.ended" || event.type === "session.compaction.failed") &&
+            event.data.reason === "manual"), Stream.runHead, Effect.timeoutOrElse({
+            duration: "10 minutes",
+            orElse: () => Effect.fail(harnessError(new HarnessError.UnavailableError({
+                description: "opencode did not summarize the conversation within 10 minutes"
+            })))
+        }));
+        if (Option.isNone(outcome) || outcome.value.type !== "session.compaction.ended") {
+            return yield* harnessError(new HarnessError.UnknownError({
+                description: `opencode failed to summarize the conversation${Option.isSome(outcome) && outcome.value.type === "session.compaction.failed"
+                    ? `: ${outcome.value.data.error.message}`
+                    : ""}`
+            }));
+        }
+        return {
+            type: "compaction",
+            trigger: "manual",
+            summary: outcome.value.data.text
+        };
+    }, (effect) => Effect.scoped(effect));
+    const session = {
+        keptConversation: kept !== undefined,
+        promptTurn,
+        submitToolResult: relaySession.submitToolResult,
+        approve: ({ approvalId, approved, reason }) => api.replyPermission(sessionID, approvalId, approved ? "once" : "reject", approved ? undefined : reason),
+        compact,
+        state: Effect.flatMap(Ref.get(sessionModel), (model) => Effect.orDie(Schema.encodeEffect(StateJson)({ sessionID, model }))),
+        destroy: api.deleteSession(sessionID)
+    };
+    return session;
+});
+/** A new opencode session in `directory` on `model`, holding `history`. */
+const createOpencodeSession = Effect.fnUntraced(function* (api, harnessError, directory, model, history) {
+    if (history.content.length === 0) {
+        const created = {
+            sessionID: yield* api.createSession(directory, model),
+            model
+        };
+        return created;
+    }
+    // opencode imports a session under the id it is given.
+    const crypto = yield* Crypto.Crypto;
+    const sessionID = `ses_${(yield* Effect.orDie(crypto.randomUUIDv4)).replaceAll("-", "")}`;
+    const now = yield* Clock.currentTimeMillis;
+    const messages = yield* Effect.fromResult(Prompt.messagesOf(history, { sessionID, now })).pipe(Effect.mapError((reason) => harnessError(reason)));
+    yield* api.importSession({ sessionID, directory, model, now, messages });
+    const imported = { sessionID, model };
+    return imported;
+});
+/** The model a turn that names `name` runs on, failing for a name the options do not give. */
+const modelNamed = (harnessError, options, name) => {
+    if (name === undefined)
+        return Effect.succeed(options.model);
+    const model = Object.hasOwn(options.models, name) ? options.models[name] : undefined;
+    if (model !== undefined)
+        return Effect.succeed(model);
+    const description = `The opencode 2 agent has no model named ${name}`;
+    return Effect.fail(harnessError(new HarnessError.UnsupportedError({ description })));
+};
+const isSameModel = (one, other) => one.providerID === other.providerID && one.id === other.id && one.variant === other.variant;
+/** The state `createSession` was given, if any, as the state `state` returned. */
+const readState = (harnessError, json) => Schema.decodeEffect(Schema.UndefinedOr(StateJson))(json).pipe(Effect.mapError((cause) => harnessError(new HarnessError.AgentContractError({
+    description: `opencode cannot read the state it was given: ${cause.message}`
+}), cause)));
+//# sourceMappingURL=session.js.map

package/internal/bridge/v2/session.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"session.js","sourceRoot":"","sources":["../../../../src/internal/bridge/v2/session.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAe,YAAY,EAAsB,MAAM,qBAAqB,CAAA;AAEnF,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,GAAG,MAAM,YAAY,CAAA;AACjC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,SAAS,MAAM,iBAAiB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAE/B,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC,8DAA8D;AAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,SAAS,EAAE,MAAM,CAAC,MAAM;IAExB,+CAA+C;IAC/C,KAAK,EAAE,MAAM,CAAC,QAAQ;CACvB,CAAC,CAAA;AAEF,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAA;AAE3C,8DAA8D;AAC9D,MAAM,eAAe,GAAG,QAAQ,CAAA;AAEhC;;;;GAIG;AACH,MAAM,oBAAoB,GAAG,YAAY,CAAA;AAEzC;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAC5B,CAAC,KAA6C,EAAwB,EAAE,CACxE,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAClC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAC5B,MAAM,EAAE,SAAS,EAAE,GAAG,cAAc,CAAA;IACpC,MAAM,YAAY,GAAG,CAAC,MAAuC,EAAE,KAAe,EAAE,EAAE,CAChF,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;IAClD,6FAA6F;IAC7F,yBAAyB;IACzB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,YAAY,EAAE,cAAc,CAAC,UAAU,CAAC,CAAA;IACvE,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IAChG,MAAM,KAAK,GACT,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,qBAAqB,CAAC,GAAG,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,CAAC,KAAK,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC,CAAA;IAC7G,MAAM,EAAE,SAAS,EAAE,GAAG,KAAK,CAAA;IAC3B,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAA;IACzD,0FAA0F;IAC1F,4CAA4C;IAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAC/B,GAAG,CAAC,cAAc,CAAC,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EACnD,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CACnC,CAAA;IACD,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE;QACzE,GAAG,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,EAAE,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,UAAU,CAAC;QAC5G,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;QAC9F,UAAU,EAAE,MAAM,CAAC,OAAO,CACxB,GAAG,CAAC,mBAAmB,CAAC,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EACxD,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CACnC;KACF,CAAC,CAAA;IACF,iEAAiE;IACjE,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAA;IAE/F,mFAAmF;IACnF,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAEjD;;;OAGG;IACH,MAAM,mBAAmB,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CACzC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CACpC,CAAA;IAED,8EAA8E;IAC9E,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,WAA+B;QAC9E,IAAI,WAAW,CAAC,cAAc,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/C,OAAO,KAAK,CAAC,CAAC,YAAY,CACxB,IAAI,YAAY,CAAC,gBAAgB,CAAC;gBAChC,WAAW,EAAE,kDAAkD;aAChE,CAAC,CACH,CAAA;QACH,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,YAAY,EAAE,OAAO,EAAE,WAAW,CAAC,KAAK,CAAC,CAAA;QACzE,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;YACtD,KAAK,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;YACxC,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,KAAK,CAAC,CAAA;QACrC,CAAC;QACD,MAAM,EAAE,YAAY,EAAE,GAAG,WAAW,CAAA;QACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAA;QACjD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACvD,KAAK,CAAC,CAAC,YAAY,KAAK,SAAS;gBAC/B,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,SAAS,EAAE,eAAe,CAAC;gBACpD,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,SAAS,EAAE,eAAe,EAAE,YAAY,CAAC,CAAA;YACjE,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,mBAAmB,EAAE,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAA;QAC/F,CAAC;QACD,KAAK,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,KAAK,CAAC,CAAA;IACzC,CAAC,CAAC,CAAA;IAEF;;;;OAIG;IACH,MAAM,UAAU,GAAG,CAAC,WAA+B,EAAE,EAAE,CACrD,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAC/E,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAClD,CAAA;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACvC,mFAAmF;QACnF,6BAA6B;QAC7B,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAC9B,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CACzC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAC7D,CACF,CAAA;QACD,MAAM,SAAS,GACb,WAAW,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC,WAAW,CAAC,KAAK,CAAC,CAAA;QACnG,KAAK,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,CAAA;QAC/B,0EAA0E;QAC1E,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAA;QAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAA;QACpD,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;QACvF,MAAM,SAAS,GAAG,CAAC,KAAmB,EAAE,EAAE,CACxC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAChG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,EAC9E,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAClD,CAAA;QACH,MAAM,KAAK,GAAG,YAAY,CACxB,IAAI,YAAY,CAAC,gBAAgB,CAAC;YAChC,WAAW,EAAE,6CAA6C;SAC3D,CAAC,CACH,CAAA;QACD,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAC3B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACnB,KAAK,CAAC,IAAI,KAAK,cAAc;YAC3B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,2BAA2B,CAAC,CAAC;YAC3F,CAAC,CAAC,MAAM,CAAC,IAAI,CAChB,EACD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EACjC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,EAC3B,MAAM,CAAC,eAAe,EACtB,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,EAClD,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CACvF,CAAA;QACD,OAAO,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,SAAS,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAA;IACrE,CAAC,CAAC,CACH,CAAA;IAEH,wFAAwF;IACxF,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAC/B,QAAQ,CAAC,EAAE,YAAqB;QAC9B,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAC7D,OAAO,KAAK,CAAC,CAAC,YAAY,CACxB,IAAI,YAAY,CAAC,gBAAgB,CAAC;gBAChC,WAAW,EAAE,2DAA2D;aACzE,CAAC,CACH,CAAA;QACH,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAA;QAC9C,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;QAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAChC,MAAM,CAAC,MAAM,CACX,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,KAAK,CAAC,IAAI,KAAK,0BAA0B,IAAI,KAAK,CAAC,IAAI,KAAK,2BAA2B,CAAC;YACzF,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CACjC,EACD,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,aAAa,CAAC;YACnB,QAAQ,EAAE,YAAY;YACtB,MAAM,EAAE,GAAG,EAAE,CACX,MAAM,CAAC,IAAI,CACT,YAAY,CACV,IAAI,YAAY,CAAC,gBAAgB,CAAC;gBAChC,WAAW,EAAE,+DAA+D;aAC7E,CAAC,CACH,CACF;SACJ,CAAC,CACH,CAAA;QACD,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,0BAA0B,EAAE,CAAC;YAChF,OAAO,KAAK,CAAC,CAAC,YAAY,CACxB,IAAI,YAAY,CAAC,YAAY,CAAC;gBAC5B,WAAW,EAAE,gDACX,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,2BAA2B;oBAC1E,CAAC,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE;oBACzC,CAAC,CAAC,EACN,EAAE;aACH,CAAC,CACH,CAAA;QACH,CAAC;QACD,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,QAAQ;YACjB,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI;SACxB,CAAA;IACZ,CAAC,EACD,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAClC,CAAA;IAED,MAAM,OAAO,GAAyB;QACpC,gBAAgB,EAAE,IAAI,KAAK,SAAS;QACpC,UAAU;QACV,gBAAgB,EAAE,YAAY,CAAC,gBAAgB;QAC/C,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,CAC5C,GAAG,CAAC,eAAe,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;QACzG,OAAO;QACP,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CACrD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CACnE;QACD,OAAO,EAAE,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC;KACtC,CAAA;IACD,OAAO,OAAO,CAAA;AAChB,CAAC,CAAC,CAAA;AAKN,2EAA2E;AAC3E,MAAM,qBAAqB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EACvD,GAAY,EACZ,YAA4B,EAC5B,SAAiB,EACjB,KAAsB,EACtB,OAAwB;IAExB,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,OAAO,GAAsB;YACjC,SAAS,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,SAAS,EAAE,KAAK,CAAC;YACrD,KAAK;SACN,CAAA;QACD,OAAO,OAAO,CAAA;IAChB,CAAC;IACD,uDAAuD;IACvD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAA;IACnC,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAA;IACzF,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAA;IAC1C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAC5F,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAClD,CAAA;IACD,KAAK,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAA;IACxE,MAAM,QAAQ,GAAsB,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;IACxD,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAC,CAAA;AAEF,8FAA8F;AAC9F,MAAM,UAAU,GAAG,CACjB,YAA4B,EAC5B,OAAiD,EACjD,IAAwB,EACxB,EAAE;IACF,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACpF,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IACrD,MAAM,WAAW,GAAG,2CAA2C,IAAI,EAAE,CAAA;IACrE,OAAO,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC,gBAAgB,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,CAAA;AACtF,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,GAAoB,EAAE,KAAsB,EAAE,EAAE,CACnE,GAAG,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,IAAI,GAAG,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,IAAI,GAAG,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAA;AAE7F,kFAAkF;AAClF,MAAM,SAAS,GAAG,CAAC,YAA4B,EAAE,IAA6B,EAAE,EAAE,CAChF,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAC3D,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,YAAY,CACV,IAAI,YAAY,CAAC,kBAAkB,CAAC;IAClC,WAAW,EAAE,gDAAgD,KAAK,CAAC,OAAO,EAAE;CAC7E,CAAC,EACF,KAAK,CACN,CACF,CACF,CAAA"}

package/internal/bridge/v2/turn.d.ts

@@ -0,0 +1,62 @@
+/**
+ * Translates the events of an opencode 2 turn into the parts a harness streams for it, one event at
+ * a time, from what the turn has done so far. The translation is pure: the session feeds it the
+ * events of its opencode session in order, from before the turn's prompt.
+ *
+ * The turn starts once opencode delivers its prompt to the session; what came before is earlier
+ * work. Text, reasoning, and a tool's input stream as opencode streams them, and every tool runs
+ * inside opencode, so its calls and results are `providerExecuted`, a result being what the model
+ * read. A file that `write`, `edit`, or `patch` changed is a `file-change`. A tool that asks
+ * permission streams a `tool-approval-request`, and a summary opencode writes of the conversation,
+ * as when it outgrows the model's context, is a `compaction`.
+ *
+ * The turn finishes once opencode stops running the session: `finish` then reports the turn's
+ * tokens, and the reason its last step ended, or `error` for a turn that failed, was stopped, or
+ * took no step.
+ */
+import { HarnessError, type StreamPart } from "@amends-dev/harness";
+import type * as Response from "effect/ai/Response";
+import * as Result from "effect/Result";
+import { type Tokens } from "../steps.ts";
+import type { SessionEvent } from "./event.ts";
+/** A text, a reasoning, or a tool's input the turn is streaming, and what it has streamed. */
+interface Writing {
+    readonly written: string;
+    readonly ended: boolean;
+}
+/** What a turn has done so far, as its events told. */
+export interface Turn {
+    /** The prompt that starts the turn, as the session queued it. */
+    readonly inboxID: string;
+    /** The directory the session works in, which the paths of the files it changes are within. */
+    readonly directory: string;
+    /** Whether opencode delivered the turn's prompt to the session. */
+    readonly started: boolean;
+    /** The texts and reasonings of the turn's steps, by part id. */
+    readonly writing: ReadonlyMap<string, Writing>;
+    /** The inputs of the turn's tool calls, by call id. */
+    readonly inputs: ReadonlyMap<string, Writing>;
+    /** The tools the turn called, by call id; a call and its result name only the call. */
+    readonly toolNames: ReadonlyMap<string, string>;
+    /** The tokens of the turn's ended steps, together. */
+    readonly tokens: Tokens;
+    /** Why the turn's last ended step ended, before any step has. */
+    readonly reason: Response.FinishReason | undefined;
+    /** Whether a step streamed an `error` part. */
+    readonly failedStep: boolean;
+    /** Whether the turn streamed its `finish` part. Events after it stream nothing. */
+    readonly finished: boolean;
+}
+/** The turn that the prompt `inboxID` starts in `directory`, before any of its events. */
+export declare const initial: (options: {
+    readonly inboxID: string;
+    readonly directory: string;
+}) => Turn;
+type Translated = Result.Result<readonly [Turn, ReadonlyArray<StreamPart.StreamPart>], HarnessError.AgentContractError>;
+/**
+ * The turn after the next event of its session, and the parts that event streams. Fails with
+ * `AgentContractError` for a call whose input the turn did not see start.
+ */
+export declare const translate: (turn: Turn, event: SessionEvent) => Translated;
+export {};
+//# sourceMappingURL=turn.d.ts.map

package/internal/bridge/v2/turn.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"turn.d.ts","sourceRoot":"","sources":["../../../../src/internal/bridge/v2/turn.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,YAAY,EAAE,KAAK,UAAU,EAAE,MAAM,qBAAqB,CAAA;AACnE,OAAO,KAAK,KAAK,QAAQ,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,EAAuC,KAAK,MAAM,EAAW,MAAM,aAAa,CAAA;AACvF,OAAO,KAAK,EAAgB,YAAY,EAAe,MAAM,YAAY,CAAA;AAEzE,8FAA8F;AAC9F,UAAU,OAAO;IACf,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACxB;AAED,uDAAuD;AACvD,MAAM,WAAW,IAAI;IACnB,iEAAiE;IACjE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IAExB,8FAA8F;IAC9F,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAE1B,mEAAmE;IACnE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IAEzB,gEAAgE;IAChE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAE9C,uDAAuD;IACvD,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAE7C,uFAAuF;IACvF,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAE/C,sDAAsD;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IAEvB,iEAAiE;IACjE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,GAAG,SAAS,CAAA;IAElD,+CAA+C;IAC/C,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;IAE5B,mFAAmF;IACnF,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAC3B;AAED,0FAA0F;AAC1F,eAAO,MAAM,OAAO,YAAa;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,KAAG,IAU1F,CAAA;AAEF,KAAK,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,aAAa,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,YAAY,CAAC,kBAAkB,CAAC,CAAA;AAIvH;;;GAGG;AACH,eAAO,MAAM,SAAS,SAAU,IAAI,SAAS,YAAY,KAAG,UA+L3D,CAAA"}

package/internal/bridge/v2/turn.js

@@ -0,0 +1,277 @@
+/**
+ * Translates the events of an opencode 2 turn into the parts a harness streams for it, one event at
+ * a time, from what the turn has done so far. The translation is pure: the session feeds it the
+ * events of its opencode session in order, from before the turn's prompt.
+ *
+ * The turn starts once opencode delivers its prompt to the session; what came before is earlier
+ * work. Text, reasoning, and a tool's input stream as opencode streams them, and every tool runs
+ * inside opencode, so its calls and results are `providerExecuted`, a result being what the model
+ * read. A file that `write`, `edit`, or `patch` changed is a `file-change`. A tool that asks
+ * permission streams a `tool-approval-request`, and a summary opencode writes of the conversation,
+ * as when it outgrows the model's context, is a `compaction`.
+ *
+ * The turn finishes once opencode stops running the session: `finish` then reports the turn's
+ * tokens, and the reason its last step ended, or `error` for a turn that failed, was stopped, or
+ * took no step.
+ */
+import { HarnessError } from "@amends-dev/harness";
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+import { addTokens, finishReasonOf, noTokens, usageOf } from "../steps.js";
+/** The turn that the prompt `inboxID` starts in `directory`, before any of its events. */
+export const initial = (options) => ({
+    ...options,
+    started: false,
+    writing: new Map(),
+    inputs: new Map(),
+    toolNames: new Map(),
+    tokens: noTokens,
+    reason: undefined,
+    failedStep: false,
+    finished: false
+});
+const unchanged = (turn) => Result.succeed([turn, []]);
+/**
+ * The turn after the next event of its session, and the parts that event streams. Fails with
+ * `AgentContractError` for a call whose input the turn did not see start.
+ */
+export const translate = (turn, event) => {
+    if (turn.finished)
+        return unchanged(turn);
+    if (!turn.started) {
+        return event.type === "session.inbox.delivered" && event.data.inboxID === turn.inboxID
+            ? Result.succeed([{ ...turn, started: true }, []])
+            : unchanged(turn);
+    }
+    switch (event.type) {
+        case "session.step.started":
+            return Result.succeed([
+                turn,
+                [
+                    {
+                        type: "response-metadata",
+                        id: event.data.assistantMessageID,
+                        modelId: `${event.data.model.providerID}/${event.data.model.id}`,
+                        timestamp: new Date(event.data.started).toISOString()
+                    }
+                ]
+            ]);
+        case "session.text.started":
+        case "session.reasoning.started": {
+            const kind = event.type === "session.text.started" ? "text" : "reasoning";
+            const id = writingId(kind, event.data);
+            return Result.succeed([
+                { ...turn, writing: withEntry(turn.writing, id, { written: "", ended: false }) },
+                [{ type: `${kind}-start`, id }]
+            ]);
+        }
+        case "session.text.delta":
+        case "session.reasoning.delta": {
+            const kind = event.type === "session.text.delta" ? "text" : "reasoning";
+            const id = writingId(kind, event.data);
+            const [writing, parts] = writeOn(turn.writing.get(id), event.data.delta, (delta) => ({
+                type: `${kind}-delta`,
+                id,
+                delta
+            }));
+            return Result.succeed([{ ...turn, writing: withEntry(turn.writing, id, writing) }, parts]);
+        }
+        case "session.text.ended":
+        case "session.reasoning.ended": {
+            const kind = event.type === "session.text.ended" ? "text" : "reasoning";
+            const id = writingId(kind, event.data);
+            const [writing, parts] = endWith(turn.writing.get(id), event.data.text, (delta) => ({ type: `${kind}-delta`, id, delta }), { type: `${kind}-end`, id });
+            return Result.succeed([{ ...turn, writing: withEntry(turn.writing, id, writing) }, parts]);
+        }
+        case "session.tool.input.started": {
+            const { id, name } = event.data;
+            return Result.succeed([
+                {
+                    ...turn,
+                    inputs: withEntry(turn.inputs, id, { written: "", ended: false }),
+                    toolNames: withEntry(turn.toolNames, id, name)
+                },
+                [{ type: "tool-params-start", id, name, providerExecuted: true }]
+            ]);
+        }
+        case "session.tool.input.delta": {
+            const { id, delta } = event.data;
+            const [input, parts] = writeOn(turn.inputs.get(id), delta, (written) => ({
+                type: "tool-params-delta",
+                id,
+                delta: written
+            }));
+            return Result.succeed([{ ...turn, inputs: withEntry(turn.inputs, id, input) }, parts]);
+        }
+        case "session.tool.input.ended": {
+            const { id, text } = event.data;
+            const [input, parts] = endWith(turn.inputs.get(id), text, (delta) => ({ type: "tool-params-delta", id, delta }), {
+                type: "tool-params-end",
+                id
+            });
+            return Result.succeed([{ ...turn, inputs: withEntry(turn.inputs, id, input) }, parts]);
+        }
+        case "session.tool.called":
+            return Result.map(nameOfCall(turn, event.data.id), (name) => [
+                turn,
+                [
+                    {
+                        type: "tool-call",
+                        id: event.data.id,
+                        name,
+                        params: event.data.input,
+                        providerExecuted: true
+                    }
+                ]
+            ]);
+        case "session.tool.success":
+            return Result.map(nameOfCall(turn, event.data.id), (name) => [
+                turn,
+                [
+                    {
+                        type: "tool-result",
+                        id: event.data.id,
+                        name,
+                        result: event.data.content,
+                        isFailure: false,
+                        providerExecuted: true
+                    },
+                    ...fileChangesOf(turn.directory, name, event.data.content, event.data.metadata)
+                ]
+            ]);
+        case "session.tool.failed":
+            return Result.map(nameOfCall(turn, event.data.id), (name) => [
+                turn,
+                [
+                    {
+                        type: "tool-result",
+                        id: event.data.id,
+                        name,
+                        result: event.data.error.message,
+                        isFailure: true,
+                        providerExecuted: true
+                    }
+                ]
+            ]);
+        case "session.step.ended": {
+            const reason = finishReasonOf(event.data.finish);
+            return Result.succeed([
+                { ...turn, tokens: addTokens(turn.tokens, event.data.tokens), reason },
+                [{ type: "finish-step", reason, usage: usageOf(event.data.tokens) }]
+            ]);
+        }
+        case "session.step.failed":
+            return Result.succeed([
+                { ...turn, reason: "error", failedStep: true },
+                [
+                    { type: "error", error: event.data.error },
+                    { type: "finish-step", reason: "error", usage: usageOf(noTokens) }
+                ]
+            ]);
+        case "session.compaction.ended":
+            return Result.succeed([turn, [{ type: "compaction", trigger: event.data.reason, summary: event.data.text }]]);
+        case "permission.asked":
+            return Result.succeed([
+                turn,
+                [
+                    {
+                        type: "tool-approval-request",
+                        approvalId: event.data.id,
+                        toolCallId: event.data.source?.id ?? event.data.id
+                    }
+                ]
+            ]);
+        case "session.execution.succeeded":
+            return Result.succeed(finish(turn, turn.reason === undefined ? { type: "unknown", message: "opencode ended the turn without a step" } : undefined));
+        case "session.execution.failed":
+            return Result.succeed(finish(turn, event.data.error));
+        case "session.execution.interrupted":
+            return Result.succeed(finish(turn, {
+                type: "interrupted",
+                message: `opencode stopped the turn, interrupted by ${event.data.reason}`
+            }));
+        // A compaction fails the turn's execution, if it does, with an event of its own, and the
+        // session answers forms itself.
+        case "session.inbox.delivered":
+        case "session.execution.started":
+        case "session.compaction.failed":
+        case "form.created":
+            return unchanged(turn);
+    }
+};
+/** The id the turn streams a text or a reasoning by: its kind, step, and number within the step. */
+const writingId = (kind, data) => `${data.assistantMessageID}-${kind}-${data.ordinal}`;
+/** `delta` written on `writing`, streamed as `partOf` makes it unless the writing has ended. */
+const writeOn = (writing, delta, partOf) => {
+    const known = writing ?? { written: "", ended: false };
+    if (known.ended)
+        return [known, []];
+    return [{ ...known, written: known.written + delta }, [partOf(delta)]];
+};
+/**
+ * `writing` ended as the whole `text`: what its deltas missed streams first, as `partOf` makes it,
+ * then `end`.
+ */
+const endWith = (writing, text, partOf, end) => {
+    const known = writing ?? { written: "", ended: false };
+    if (known.ended)
+        return [known, []];
+    const missed = text.length > known.written.length && text.startsWith(known.written)
+        ? [partOf(text.slice(known.written.length))]
+        : [];
+    return [{ written: text, ended: true }, [...missed, end]];
+};
+const nameOfCall = (turn, id) => {
+    const name = turn.toolNames.get(id);
+    return name === undefined
+        ? Result.fail(new HarnessError.AgentContractError({
+            description: `opencode reported the call ${id}, whose input the turn did not see start`
+        }))
+        : Result.succeed(name);
+};
+/** The files of an edit or a patch, as their tools report them. */
+const ChangedFiles = Schema.Array(Schema.Struct({ file: Schema.String, status: Schema.Literals(["added", "deleted", "modified"]) }));
+const events = { added: "create", deleted: "delete", modified: "modify" };
+/**
+ * The files a call of `name` changed, by their paths within `directory`, or as they are when
+ * outside it: `edit` and `patch` report them in their metadata, and `write` in what it tells the
+ * model. Other tools, such as `shell`, do not say which files they change.
+ */
+const fileChangesOf = (directory, name, content, metadata) => {
+    const pathOf = (file) => (file.startsWith(`${directory}/`) ? file.slice(directory.length + 1) : file);
+    const files = metadata?.["files"];
+    if (Schema.is(ChangedFiles)(files)) {
+        return files.map(({ file, status }) => ({
+            type: "file-change",
+            event: events[status],
+            path: pathOf(file)
+        }));
+    }
+    const [first] = content;
+    if (name !== "write" || first?.type !== "text")
+        return [];
+    const written = /^(Created|Wrote) file successfully: (.+)$/.exec(first.text);
+    if (written === null)
+        return [];
+    return [
+        {
+            type: "file-change",
+            event: written[1] === "Created" ? "create" : "modify",
+            path: pathOf(written[2] ?? "")
+        }
+    ];
+};
+/** Finishes the turn: with `failure`, unless a step reported its own, then `finish`. */
+const finish = (turn, failure) => {
+    const parts = [];
+    if (failure !== undefined && !turn.failedStep)
+        parts.push({ type: "error", error: failure });
+    parts.push({
+        type: "finish",
+        reason: failure !== undefined || turn.failedStep ? "error" : (turn.reason ?? "other"),
+        usage: usageOf(turn.tokens)
+    });
+    return [{ ...turn, finished: true }, parts];
+};
+const withEntry = (map, key, value) => new Map(map).set(key, value);
+//# sourceMappingURL=turn.js.map

package/internal/bridge/v2/turn.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"turn.js","sourceRoot":"","sources":["../../../../src/internal/bridge/v2/turn.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,YAAY,EAAmB,MAAM,qBAAqB,CAAA;AAEnE,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,EAAe,OAAO,EAAE,MAAM,aAAa,CAAA;AA0CvF,0FAA0F;AAC1F,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAAiE,EAAQ,EAAE,CAAC,CAAC;IACnG,GAAG,OAAO;IACV,OAAO,EAAE,KAAK;IACd,OAAO,EAAE,IAAI,GAAG,EAAE;IAClB,MAAM,EAAE,IAAI,GAAG,EAAE;IACjB,SAAS,EAAE,IAAI,GAAG,EAAE;IACpB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,SAAS;IACjB,UAAU,EAAE,KAAK;IACjB,QAAQ,EAAE,KAAK;CAChB,CAAC,CAAA;AAIF,MAAM,SAAS,GAAG,CAAC,IAAU,EAAc,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAA;AAExE;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAU,EAAE,KAAmB,EAAc,EAAE;IACvE,IAAI,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC,IAAI,CAAC,CAAA;IACzC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC,IAAI,KAAK,yBAAyB,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;YACpF,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;YAClD,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;IACrB,CAAC;IACD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,sBAAsB;YACzB,OAAO,MAAM,CAAC,OAAO,CAAC;gBACpB,IAAI;gBACJ;oBACE;wBACE,IAAI,EAAE,mBAAmB;wBACzB,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB;wBACjC,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE;wBAChE,SAAS,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE;qBACtD;iBACF;aACF,CAAC,CAAA;QAEJ,KAAK,sBAAsB,CAAC;QAC5B,KAAK,2BAA2B,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAA;YACzE,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;YACtC,OAAO,MAAM,CAAC,OAAO,CAAC;gBACpB,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;gBAChF,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI,QAAQ,EAAE,EAAE,EAAE,CAAC;aAChC,CAAC,CAAA;QACJ,CAAC;QAED,KAAK,oBAAoB,CAAC;QAC1B,KAAK,yBAAyB,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAA;YACvE,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;YACtC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACnF,IAAI,EAAE,GAAG,IAAI,QAAQ;gBACrB,EAAE;gBACF,KAAK;aACN,CAAC,CAAC,CAAA;YACH,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAA;QAC5F,CAAC;QAED,KAAK,oBAAoB,CAAC;QAC1B,KAAK,yBAAyB,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAA;YACvE,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;YACtC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,OAAO,CAC9B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EACpB,KAAK,CAAC,IAAI,CAAC,IAAI,EACf,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EACjD,EAAE,IAAI,EAAE,GAAG,IAAI,MAAM,EAAE,EAAE,EAAE,CAC5B,CAAA;YACD,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAA;QAC5F,CAAC;QAED,KAAK,4BAA4B,EAAE,CAAC;YAClC,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAA;YAC/B,OAAO,MAAM,CAAC,OAAO,CAAC;gBACpB;oBACE,GAAG,IAAI;oBACP,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;oBACjE,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,EAAE,IAAI,CAAC;iBAC/C;gBACD,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;aAClE,CAAC,CAAA;QACJ,CAAC;QAED,KAAK,0BAA0B,EAAE,CAAC;YAChC,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,IAAI,CAAA;YAChC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBACvE,IAAI,EAAE,mBAAmB;gBACzB,EAAE;gBACF,KAAK,EAAE,OAAO;aACf,CAAC,CAAC,CAAA;YACH,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAA;QACxF,CAAC;QAED,KAAK,0BAA0B,EAAE,CAAC;YAChC,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAA;YAC/B,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE;gBAC/G,IAAI,EAAE,iBAAiB;gBACvB,EAAE;aACH,CAAC,CAAA;YACF,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAA;QACxF,CAAC;QAED,KAAK,qBAAqB;YACxB,OAAO,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC3D,IAAI;gBACJ;oBACE;wBACE,IAAI,EAAE,WAAW;wBACjB,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;wBACjB,IAAI;wBACJ,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK;wBACxB,gBAAgB,EAAE,IAAI;qBACvB;iBACF;aACF,CAAC,CAAA;QAEJ,KAAK,sBAAsB;YACzB,OAAO,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC3D,IAAI;gBACJ;oBACE;wBACE,IAAI,EAAE,aAAa;wBACnB,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;wBACjB,IAAI;wBACJ,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO;wBAC1B,SAAS,EAAE,KAAK;wBAChB,gBAAgB,EAAE,IAAI;qBACvB;oBACD,GAAG,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC;iBAChF;aACF,CAAC,CAAA;QAEJ,KAAK,qBAAqB;YACxB,OAAO,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC3D,IAAI;gBACJ;oBACE;wBACE,IAAI,EAAE,aAAa;wBACnB,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;wBACjB,IAAI;wBACJ,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO;wBAChC,SAAS,EAAE,IAAI;wBACf,gBAAgB,EAAE,IAAI;qBACvB;iBACF;aACF,CAAC,CAAA;QAEJ,KAAK,oBAAoB,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YAChD,OAAO,MAAM,CAAC,OAAO,CAAC;gBACpB,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE;gBACtE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;aACrE,CAAC,CAAA;QACJ,CAAC;QAED,KAAK,qBAAqB;YACxB,OAAO,MAAM,CAAC,OAAO,CAAC;gBACpB,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE;gBAC9C;oBACE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE;oBAC1C,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE;iBACnE;aACF,CAAC,CAAA;QAEJ,KAAK,0BAA0B;YAC7B,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;QAE/G,KAAK,kBAAkB;YACrB,OAAO,MAAM,CAAC,OAAO,CAAC;gBACpB,IAAI;gBACJ;oBACE;wBACE,IAAI,EAAE,uBAAuB;wBAC7B,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;wBACzB,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE;qBACnD;iBACF;aACF,CAAC,CAAA;QAEJ,KAAK,6BAA6B;YAChC,OAAO,MAAM,CAAC,OAAO,CACnB,MAAM,CACJ,IAAI,EACJ,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,wCAAwC,EAAE,CAAC,CAAC,CAAC,SAAS,CAC/G,CACF,CAAA;QAEH,KAAK,0BAA0B;YAC7B,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QAEvD,KAAK,+BAA+B;YAClC,OAAO,MAAM,CAAC,OAAO,CACnB,MAAM,CAAC,IAAI,EAAE;gBACX,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,6CAA6C,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE;aAC1E,CAAC,CACH,CAAA;QAEH,yFAAyF;QACzF,gCAAgC;QAChC,KAAK,yBAAyB,CAAC;QAC/B,KAAK,2BAA2B,CAAC;QACjC,KAAK,2BAA2B,CAAC;QACjC,KAAK,cAAc;YACjB,OAAO,SAAS,CAAC,IAAI,CAAC,CAAA;IAC1B,CAAC;AACH,CAAC,CAAA;AAED,oGAAoG;AACpG,MAAM,SAAS,GAAG,CAChB,IAA0B,EAC1B,IAAuE,EACvE,EAAE,CAAC,GAAG,IAAI,CAAC,kBAAkB,IAAI,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAA;AAEzD,gGAAgG;AAChG,MAAM,OAAO,GAAG,CACd,OAA4B,EAC5B,KAAa,EACb,MAAgD,EACU,EAAE;IAC5D,MAAM,KAAK,GAAG,OAAO,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;IACtD,IAAI,KAAK,CAAC,KAAK;QAAE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IACnC,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,GAAG,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AACxE,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,OAAO,GAAG,CACd,OAA4B,EAC5B,IAAY,EACZ,MAAgD,EAChD,GAA0B,EACgC,EAAE;IAC5D,MAAM,KAAK,GAAG,OAAO,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;IACtD,IAAI,KAAK,CAAC,KAAK;QAAE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IACnC,MAAM,MAAM,GACV,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;QAClE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5C,CAAC,CAAC,EAAE,CAAA;IACR,OAAO,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,CAAC,CAAC,CAAA;AAC3D,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,IAAU,EAAE,EAAU,EAAE,EAAE;IAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACnC,OAAO,IAAI,KAAK,SAAS;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CACT,IAAI,YAAY,CAAC,kBAAkB,CAAC;YAClC,WAAW,EAAE,8BAA8B,EAAE,0CAA0C;SACxF,CAAC,CACH;QACH,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;AAC1B,CAAC,CAAA;AAED,mEAAmE;AACnE,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAC/B,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAClG,CAAA;AAED,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAW,CAAA;AAElF;;;;GAIG;AACH,MAAM,aAAa,GAAG,CACpB,SAAiB,EACjB,IAAY,EACZ,OAAmC,EACnC,QAAuD,EACjB,EAAE;IACxC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAC7G,MAAM,KAAK,GAAG,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAA;IACjC,IAAI,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;YACtC,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;SACnB,CAAC,CAAC,CAAA;IACL,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAA;IACvB,IAAI,IAAI,KAAK,OAAO,IAAI,KAAK,EAAE,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,CAAA;IACzD,MAAM,OAAO,GAAG,2CAA2C,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAC5E,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,EAAE,CAAA;IAC/B,OAAO;QACL;YACE,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;YACrD,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SAC/B;KACF,CAAA;AACH,CAAC,CAAA;AAED,wFAAwF;AACxF,MAAM,MAAM,GAAG,CACb,IAAU,EACV,OAAiC,EACsB,EAAE;IACzD,MAAM,KAAK,GAAiC,EAAE,CAAA;IAC9C,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,UAAU;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAA;IAC5F,KAAK,CAAC,IAAI,CAAC;QACT,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC;QACrF,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;KAC5B,CAAC,CAAA;IACF,OAAO,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,KAAK,CAAC,CAAA;AAC7C,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAO,GAAsB,EAAE,GAAM,EAAE,KAAQ,EAAqB,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA"}

package/internal/models.d.ts

@@ -0,0 +1,47 @@
+/**
+ * The models opencode runs on, made from model endpoints: what opencode's server takes to serve
+ * them, its providers and the variables it runs with, and each endpoint's model as opencode names
+ * it. opencode serves a model through the endpoint's protocol, at its URL, within its limits, and
+ * with the key and headers of its provider. An endpoint's effort is a variant of the model, which
+ * the endpoint's model names.
+ *
+ * opencode 1 and opencode 2 configure providers apart: opencode 1 names them `provider`, and
+ * opencode 2 `providers`, each in a shape of its own. Both give a model its AI SDK package and URL,
+ * and a variant the AI SDK options that ask for its effort, and both find the providers and models
+ * that models.dev lists by their ids, as endpoints name them, knowing the rest of a model from
+ * there, such as whether it calls tools.
+ */
+import { HarnessError, type ModelEndpoint } from "@amends-dev/harness";
+import * as Result from "effect/Result";
+import type * as Schema from "effect/Schema";
+import type { ModelRef } from "./bridge/driver.ts";
+import type { Version } from "./template.ts";
+type JsonObject = {
+    readonly [field: string]: Schema.Json;
+};
+export interface Models {
+    /** The fields of opencode's configuration that serve the endpoints' models: its providers. */
+    readonly config: JsonObject;
+    /** The environment variables opencode's server serves the models with. */
+    readonly env: {
+        readonly [name: string]: string;
+    };
+    /** The model a turn runs on when it names none. */
+    readonly model: ModelRef;
+    /** The models a turn can name, by name. */
+    readonly models: {
+        readonly [name: string]: ModelRef;
+    };
+}
+/**
+ * The models opencode `version` runs on for the endpoint `model`, and `models` by name. opencode
+ * presents one key, with one set of headers, for each provider, and serves a model through one
+ * protocol, at one URL, within one output limit and context window, so endpoints that differ in
+ * them fail with `UnsupportedError`.
+ */
+export declare const modelsOf: (version: Version, endpoints: {
+    readonly model: ModelEndpoint.ModelEndpoint;
+    readonly models?: Readonly<Record<string, ModelEndpoint.ModelEndpoint>> | undefined;
+}) => Result.Result<Models, HarnessError.UnsupportedError>;
+export {};
+//# sourceMappingURL=models.d.ts.map

package/internal/models.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"models.d.ts","sourceRoot":"","sources":["../../src/internal/models.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,YAAY,EAAE,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAItE,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAI5C,KAAK,UAAU,GAAG;IAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC,IAAI,CAAA;CAAE,CAAA;AAE3D,MAAM,WAAW,MAAM;IACrB,8FAA8F;IAC9F,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;IAE3B,0EAA0E;IAC1E,QAAQ,CAAC,GAAG,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAA;IAEjD,mDAAmD;IACnD,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IAExB,2CAA2C;IAC3C,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAA;KAAE,CAAA;CACvD;AAED;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,YACV,OAAO,aACL;IACT,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,aAAa,CAAA;IAC3C,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC,GAAG,SAAS,CAAA;CACpF,KACA,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,gBAAgB,CAqBrD,CAAA"}