@andorra-labs/code 0.0.0-stage → 0.1.4

package/dist/vendor/engine/runtime/agent/harness/runtime/lane.js

@@ -0,0 +1,1574 @@
+import { andorraReduceAssistantMessageFrames, } from "../../../ai/index.js";
+import { andorraPrepareBranchEntries } from "../compaction/branch-summarization.js";
+import { andorraPrepareCompaction } from "../compaction/compaction.js";
+import { andorraAwaitWithContext } from "../context.js";
+import { andorraToolResultFromMessage } from "../execution/tools.js";
+import { andorraFormatPromptTemplateInvocation } from "../prompt-templates.js";
+import { AndorraClosed, AndorraHarnessClosed, AndorraHarnessFault, AndorraInvalidMessage, AndorraInvalidNavigation, AndorraLaneBusy, AndorraNoActiveOperation, AndorraNothingToCompact, AndorraNothingToResume, AndorraOperationMismatch, Result, AndorraUnknownSkill, AndorraUnknownTarget, AndorraUnknownTemplate, } from "../result.js";
+import { andorraInsertEntry, andorraInsertUsage } from "../session/commit.js";
+import { AndorraSessionInvariantError, AndorraSessionPendingAssistantMessageError } from "../session/session.js";
+import { andorraBranchTip, andorraDeleteValue, andorraLaneConfig, andorraLaneState as andorraLaneState, andorraOperationMeta as andorraOperationMeta, andorraOperationPreparation, andorraOperationResult as andorraOperationResult, andorraOperationState as andorraOperationState, andorraOperationToolArgs, andorraPendingEntry, andorraPendingToolOutput, andorraSetValue, } from "../session/values.js";
+import { andorraFormatSkillInvocation } from "../skills.js";
+import { andorraDurableBranchPreparation, andorraDurableCompactionPreparation } from "./drive/structural.js";
+import { andorraDriveOperation } from "./drive.js";
+import { andorraReadAssistantFrames } from "./progress.js";
+import { andorraChainEntries, andorraCommittedEntryEvents, andorraReadLaneQueues } from "./transcript.js";
+import { AndorraDrive, } from "./types.js";
+function andorraIsPromiseLike(value) {
+    if (value === null || (typeof value !== "object" && typeof value !== "function"))
+        return false;
+    return "then" in value && typeof value.then === "function";
+}
+function andorraInboxItems(inbox, kind) {
+    return inbox.filter((item) => item.kind === kind);
+}
+function andorraWithoutInboxItems(inbox, removed) {
+    const removedIds = new Set(removed.map((item) => item.entryId));
+    return inbox.filter((item) => !removedIds.has(item.entryId));
+}
+function andorraSelectAcceptedInbox(inbox, steeringMode, followUpMode) {
+    let steerTaken = false;
+    let followUpTaken = false;
+    const selected = [];
+    const remainder = [];
+    for (const item of inbox) {
+        const eligible = item.kind === "write" ||
+            item.kind === "nextRun" ||
+            (item.kind === "steer" && (steeringMode === "all" || !steerTaken)) ||
+            (item.kind === "followUp" && (followUpMode === "all" || !followUpTaken));
+        if (eligible) {
+            selected.push(item);
+            if (item.kind === "steer")
+                steerTaken = true;
+            if (item.kind === "followUp")
+                followUpTaken = true;
+        }
+        else {
+            remainder.push(item);
+        }
+    }
+    return { selected, remainder };
+}
+function andorraCapturedSettings(config) {
+    return {
+        compaction: config.compaction,
+        steeringMode: config.steeringMode,
+        followUpMode: config.followUpMode,
+        toolExecution: config.toolExecution,
+    };
+}
+function andorraDurableLaneState(state, currentOperationId, inbox = state.inbox, lastOperationId = state.lastOperationId) {
+    return { currentOperationId, lastOperationId, inbox };
+}
+function andorraPendingEntryWrite(entryId, pending) {
+    return pending.type === "message"
+        ? { id: entryId, parentId: null, type: "message", message: pending.payload }
+        : {
+            id: entryId,
+            parentId: null,
+            type: "custom",
+            customType: pending.customType,
+            ...(pending.payload === undefined ? {} : { data: pending.payload }),
+        };
+}
+function andorraCapturedModel(operation) {
+    const { state } = operation;
+    switch (state.at) {
+        case "assistant.ready":
+        case "assistant.effect_pending":
+        case "assistant.retry_wait":
+            return state.generationContext.configuration.model;
+        case "tools":
+            return state.batch.configuration.model;
+        case "deferred.suspended":
+        case "deferred.effect_pending":
+            return state.configuration.model;
+        case "summary.ready":
+        case "summary.effect_pending":
+        case "summary.retry_wait":
+            return state.summaryContext.configuration.model;
+        default:
+            return undefined;
+    }
+}
+/** Runtime implementation of one configured lane. */
+export class AndorraLane {
+    name;
+    session;
+    models;
+    hooks;
+    emitBatch;
+    onFault;
+    installWatch;
+    config;
+    stateChange;
+    resolveStateChange;
+    idleOwner;
+    /** Package-internal drive owner. Public only because deterministic procedure tests install exact owners directly. */
+    activeDrive;
+    /** Authoritative live control projection while this harness owns the Session. */
+    state;
+    closedError;
+    constructor(name, session, models, hooks, state, onFault, emitBatch, installWatch, readConfig) {
+        this.session = session;
+        this.models = models;
+        this.hooks = hooks;
+        this.name = name;
+        this.state = state;
+        this.onFault = onFault;
+        this.emitBatch = emitBatch;
+        this.installWatch = installWatch;
+        this.config = readConfig;
+        let resolveStateChange;
+        this.stateChange = new Promise((resolve) => {
+            resolveStateChange = resolve;
+        });
+        this.resolveStateChange = resolveStateChange;
+    }
+    async getTipId(_context) {
+        this.assertOpen();
+        return this.state.tipId;
+    }
+    async getResult(operationId, context) {
+        this.assertOpen();
+        return (await this.session.getValue(andorraOperationResult(operationId), context))?.value;
+    }
+    readConfig() {
+        return this.config();
+    }
+    mismatch(expected, currentOperationId, lastOperationId) {
+        return new AndorraOperationMismatch({
+            lane: this.name,
+            expectedOperationId: expected,
+            ...(currentOperationId === null ? {} : { currentOperationId }),
+            ...(lastOperationId === null ? {} : { lastOperationId }),
+            message: `Operation ${expected} does not own lane ${JSON.stringify(this.name)}`,
+        });
+    }
+    /**
+     * Run one effect-free command on this lane's serialized mutation line. Owned `state` is authoritative; the
+     * planner receives that state plus a read-only reader for bounded payload lookups. Committed values and owned
+     * state are immutable snapshots: update them by replacement, never in place. State-independent input validation
+     * belongs before `command()`, while every state-dependent decision belongs inside its planner.
+     *
+     * A planner may choose exactly one outcome:
+     * - `commit` commits once, publishes `next`, then synchronously materializes the caller result from
+     *   storage-assigned `CommitResult` metadata;
+     * - `return` returns without a commit, boxed so a promise value is not awaited while holding the Session line;
+     * - `reject` rejects outside the mutation/fault boundary as an expected caller error without a commit.
+     *
+     * Planner, commit, and materialization errors fault the harness before releasing the Session line. Close/fault gates
+     * are checked both before queueing and when the callback starts: close-first rejects, while a callback admitted
+     * before close may finish its commit, publish memory, and resolve without another open check. Never invoke providers,
+     * tools, hooks, timers, event handlers, or wait for task completion here; perform those after `command()` returns.
+     */
+    async readLane(read, context) {
+        this.assertOpen();
+        try {
+            return await this.session.mutate(async (reader) => {
+                this.assertOpen();
+                try {
+                    return await read(this.state, reader);
+                }
+                catch (error) {
+                    if (this.closedError !== undefined)
+                        throw this.closedError;
+                    throw this.onFault(error, context);
+                }
+            }, context);
+        }
+        catch (error) {
+            if (this.closedError !== undefined)
+                throw this.closedError;
+            throw error;
+        }
+    }
+    async command(plan, context) {
+        this.assertOpen();
+        while (this.idleOwner !== undefined) {
+            await andorraAwaitWithContext(Promise.race([this.idleOwner, this.stateChange]), context);
+            this.assertOpen();
+        }
+        let outcome;
+        try {
+            outcome = await this.session.mutate(async (mutator) => {
+                this.assertOpen();
+                if (this.idleOwner !== undefined) {
+                    return { kind: "idle_blocked", owner: this.idleOwner, change: this.stateChange };
+                }
+                try {
+                    const decision = await plan(this.state, mutator);
+                    switch (decision.kind) {
+                        case "return":
+                            return { kind: "return", result: decision.result };
+                        case "reject":
+                            return { kind: "reject", error: decision.error };
+                        case "commit": {
+                            const commit = await mutator.commit(decision.writes, context);
+                            this.state = decision.next;
+                            this.signalStateChange();
+                            const result = decision.materialize(commit);
+                            if (andorraIsPromiseLike(result)) {
+                                throw new TypeError("Lane command materialize() must be synchronous");
+                            }
+                            const events = decision.events?.(commit) ?? [];
+                            const delivery = events.length === 0 ? undefined : this.emitBatch(events, context);
+                            return { kind: "return", result, ...(delivery === undefined ? {} : { delivery }) };
+                        }
+                    }
+                }
+                catch (error) {
+                    if (this.closedError !== undefined)
+                        throw this.closedError;
+                    throw this.onFault(error, context);
+                }
+            }, context);
+        }
+        catch (error) {
+            if (this.closedError !== undefined)
+                throw this.closedError;
+            throw error;
+        }
+        if (outcome.kind === "idle_blocked") {
+            await andorraAwaitWithContext(Promise.race([outcome.owner, outcome.change]), context);
+            this.assertOpen();
+            return this.command(plan, context);
+        }
+        if (outcome.kind === "reject")
+            throw outcome.error;
+        await outcome.delivery;
+        return outcome.result;
+    }
+    /**
+     * Run a command against the current operation even after cancellation is requested. Use this to settle admitted
+     * effects, finish the operation, or update concurrent child state. The capability narrows the planner's state type;
+     * the Drive continuation remains the sole top-level state writer.
+     */
+    settleOperation(_capability, plan, context) {
+        return this.command(async (state, reader) => {
+            const operation = state.operation;
+            const decision = await plan(state, operation.state, operation.meta, reader);
+            if (decision.kind === "commit") {
+                return {
+                    kind: "commit",
+                    writes: [
+                        ...decision.writes,
+                        andorraSetValue(andorraOperationState(operation.meta.operationId), decision.operationState),
+                        ...(decision.lane?.inbox === undefined
+                            ? []
+                            : [
+                                andorraSetValue(andorraLaneState(this.name), andorraDurableLaneState(state, operation.meta.operationId, decision.lane.inbox)),
+                            ]),
+                    ],
+                    next: {
+                        ...state,
+                        ...decision.lane,
+                        operation: { meta: operation.meta, state: decision.operationState },
+                    },
+                    materialize: decision.materialize,
+                    ...(decision.events === undefined ? {} : { events: decision.events }),
+                };
+            }
+            if (decision.kind !== "finish")
+                return decision;
+            const inbox = decision.lane?.inbox ?? state.inbox;
+            return {
+                kind: "commit",
+                writes: [
+                    ...decision.writes,
+                    andorraSetValue(andorraOperationResult(operation.meta.operationId), decision.record),
+                    andorraSetValue(andorraLaneState(this.name), andorraDurableLaneState(state, null, inbox, operation.meta.operationId)),
+                ],
+                next: {
+                    ...state,
+                    ...decision.lane,
+                    inbox,
+                    lastOperationId: operation.meta.operationId,
+                    operation: null,
+                },
+                materialize: decision.materialize,
+                ...(decision.events === undefined ? {} : { events: decision.events }),
+            };
+        }, context);
+    }
+    /**
+     * Run an ordinary operation command only while durable control is running. Use this before starting new hooks,
+     * effects, or forward progress. Returns `cancel_requested` without invoking the planner once cancellation is requested.
+     */
+    continueOperation(capability, plan, context) {
+        return this.settleOperation(capability, async (state, latest, meta, reader) => {
+            if (latest.control.status === "cancel_requested") {
+                return { kind: "return", result: { kind: "cancel_requested" } };
+            }
+            const decision = await plan(state, latest, meta, reader);
+            if (decision.kind === "return") {
+                return { kind: "return", result: { kind: "result", value: decision.result } };
+            }
+            return {
+                ...decision,
+                materialize: (commit) => ({ kind: "result", value: decision.materialize(commit) }),
+            };
+        }, context);
+    }
+    async accept(request, context) {
+        if (this.closedError instanceof AndorraHarnessClosed) {
+            return Result.err(new AndorraClosed({ message: this.closedError.message }));
+        }
+        this.assertOpen();
+        const startedAt = Date.now();
+        const operationId = request.operationId ?? this.session.idGenerator.next(startedAt);
+        const acceptanceConfig = this.readConfig();
+        if (request.kind === "compaction") {
+            return this.acceptCompaction(request, operationId, startedAt, acceptanceConfig, context);
+        }
+        if (request.kind === "navigation") {
+            return this.acceptNavigation(request, operationId, startedAt, acceptanceConfig, context);
+        }
+        return this.acceptRun(request, operationId, startedAt, acceptanceConfig, context);
+    }
+    async acceptRun(request, operationId, startedAt, acceptanceConfig, context) {
+        let messages;
+        switch (request.kind) {
+            case "prompt":
+                if (typeof request.prompt !== "string") {
+                    messages = Array.isArray(request.prompt) ? request.prompt : [request.prompt];
+                }
+                else {
+                    const images = request.images ?? [];
+                    messages =
+                        request.prompt.length === 0 && images.length === 0
+                            ? []
+                            : [
+                                {
+                                    role: "user",
+                                    content: [
+                                        ...(request.prompt.length === 0
+                                            ? []
+                                            : [{ type: "text", text: request.prompt }]),
+                                        ...images,
+                                    ],
+                                    timestamp: startedAt,
+                                },
+                            ];
+                }
+                break;
+            case "skill": {
+                const skill = acceptanceConfig.resources.skills?.find((candidate) => candidate.name === request.name);
+                if (skill === undefined) {
+                    return Result.err(new AndorraUnknownSkill({ name: request.name, message: `Unknown skill: ${request.name}` }));
+                }
+                messages = [
+                    {
+                        role: "user",
+                        content: [{ type: "text", text: andorraFormatSkillInvocation(skill, request.additionalInstructions) }],
+                        timestamp: startedAt,
+                    },
+                ];
+                break;
+            }
+            case "prompt_template": {
+                const template = acceptanceConfig.resources.promptTemplates?.find((candidate) => candidate.name === request.name);
+                if (template === undefined) {
+                    return Result.err(new AndorraUnknownTemplate({ name: request.name, message: `Unknown prompt template: ${request.name}` }));
+                }
+                const content = andorraFormatPromptTemplateInvocation(template, request.args);
+                messages =
+                    content.length === 0
+                        ? []
+                        : [{ role: "user", content: [{ type: "text", text: content }], timestamp: startedAt }];
+                break;
+            }
+        }
+        for (const message of messages) {
+            if (message.role === "assistant" && message.stopReason === "pending") {
+                return Result.err(new AndorraInvalidMessage({
+                    lane: this.name,
+                    reason: "pending_assistant",
+                    message: "Cannot accept a pending assistant message",
+                }));
+            }
+        }
+        const prompt = messages.map((message) => ({ id: this.session.idGenerator.next(startedAt), message }));
+        return this.command(async (state, reader) => {
+            if (state.operation !== null) {
+                return {
+                    kind: "return",
+                    result: Result.err(new AndorraLaneBusy({
+                        lane: this.name,
+                        operationId: state.operation.meta.operationId,
+                        operationKind: state.operation.meta.intent.kind,
+                        message: `Lane ${JSON.stringify(this.name)} already has an active operation`,
+                    })),
+                };
+            }
+            const { selected: selectedItems, remainder: inbox } = andorraSelectAcceptedInbox(state.inbox, acceptanceConfig.steeringMode, acceptanceConfig.followUpMode);
+            const captured = await Promise.all(selectedItems.map(async (item) => {
+                const stored = await reader.getValue(andorraPendingEntry(item.entryId), context);
+                if (stored === undefined) {
+                    throw new AndorraSessionInvariantError(`Pending ${item.kind} entry ${item.entryId} is missing its payload`);
+                }
+                if (item.kind !== "write" && stored.value.type !== "message") {
+                    throw new AndorraSessionInvariantError(`Pending ${item.kind} entry ${item.entryId} is not a message`);
+                }
+                if (stored.value.type === "message" &&
+                    stored.value.payload.role === "assistant" &&
+                    stored.value.payload.stopReason === "pending") {
+                    throw new AndorraSessionInvariantError(`Pending ${item.kind} entry ${item.entryId} contains a pending assistant`);
+                }
+                return { item, pending: stored.value };
+            }));
+            const hasCapturedConversation = selectedItems.some((item) => item.kind !== "write");
+            if (prompt.length === 0 && !hasCapturedConversation) {
+                return {
+                    kind: "return",
+                    result: Result.err(new AndorraInvalidMessage({
+                        lane: this.name,
+                        reason: "empty",
+                        message: "Acceptance must append at least one message",
+                    })),
+                };
+            }
+            const entries = andorraChainEntries(state.tipId, [
+                ...captured.map(({ item, pending }) => andorraPendingEntryWrite(item.entryId, pending)),
+                ...prompt.map(({ id, message }) => ({ id, parentId: null, type: "message", message })),
+            ]);
+            const parentId = entries[entries.length - 1].id;
+            const meta = {
+                operationId,
+                lane: this.name,
+                sourceTipId: state.tipId,
+                startedAt,
+                intent: { kind: "run", promptEntryIds: prompt.map(({ id }) => id) },
+            };
+            const operationState = {
+                at: "starting",
+                control: { status: "running" },
+                settings: andorraCapturedSettings(acceptanceConfig),
+                latestAssistantEntryId: null,
+            };
+            const remainingQueues = await andorraReadLaneQueues(reader, inbox, context);
+            const next = {
+                ...state,
+                tipId: parentId,
+                inbox,
+                operation: { meta, state: operationState },
+            };
+            return {
+                kind: "commit",
+                writes: [
+                    ...entries.map((entry) => andorraInsertEntry(entry)),
+                    ...selectedItems.map((item) => andorraDeleteValue(andorraPendingEntry(item.entryId))),
+                    andorraSetValue(andorraBranchTip(this.name), parentId),
+                    andorraSetValue(andorraOperationMeta(operationId), meta),
+                    andorraSetValue(andorraOperationState(operationId), operationState),
+                    andorraSetValue(andorraLaneState(this.name), andorraDurableLaneState(state, operationId, inbox)),
+                ],
+                next,
+                materialize: () => Result.ok({ operationId, kind: "run", startedAt }),
+                events: (commit) => {
+                    const events = [
+                        { type: "run_start", runId: operationId, startedAt, lane: this.name },
+                        ...andorraCommittedEntryEvents(entries, commit, this.name, operationId),
+                    ];
+                    if (selectedItems.length > 0) {
+                        events.push({ type: "queue_update", queues: remainingQueues, lane: this.name });
+                    }
+                    return events;
+                },
+            };
+        }, context);
+    }
+    acceptCompaction(request, operationId, startedAt, acceptanceConfig, context) {
+        const taskId = this.session.idGenerator.next(startedAt);
+        return this.command(async (state, reader) => {
+            if (state.operation !== null) {
+                return {
+                    kind: "return",
+                    result: Result.err(new AndorraLaneBusy({
+                        lane: this.name,
+                        operationId: state.operation.meta.operationId,
+                        operationKind: state.operation.meta.intent.kind,
+                        message: `Lane ${JSON.stringify(this.name)} already has an active operation`,
+                    })),
+                };
+            }
+            const path = state.tipId === null
+                ? []
+                : (await reader.scanBranch({ start: state.tipId, stopAtType: "compaction", order: "newestFirst" }, context)).reverse();
+            const prepared = andorraPrepareCompaction(path, acceptanceConfig.compaction);
+            if (!prepared.ok)
+                throw prepared.error;
+            if (prepared.value === undefined) {
+                return {
+                    kind: "return",
+                    result: Result.err(new AndorraNothingToCompact({
+                        lane: this.name,
+                        message: `Lane ${JSON.stringify(this.name)} has nothing to compact`,
+                    })),
+                };
+            }
+            const meta = {
+                operationId,
+                lane: this.name,
+                sourceTipId: state.tipId,
+                startedAt,
+                intent: {
+                    kind: "compaction",
+                    ...(request.customInstructions === undefined ? {} : { customInstructions: request.customInstructions }),
+                },
+            };
+            const operationState = {
+                at: "summary.deciding",
+                control: { status: "running" },
+                settings: andorraCapturedSettings(acceptanceConfig),
+                latestAssistantEntryId: null,
+                task: {
+                    taskId,
+                    reason: "manual",
+                    ...(request.customInstructions === undefined ? {} : { customInstructions: request.customInstructions }),
+                    boundary: { kind: "finish" },
+                },
+            };
+            return {
+                kind: "commit",
+                writes: [
+                    andorraSetValue(andorraOperationPreparation(operationId, taskId), andorraDurableCompactionPreparation(prepared.value)),
+                    andorraSetValue(andorraOperationMeta(operationId), meta),
+                    andorraSetValue(andorraOperationState(operationId), operationState),
+                    andorraSetValue(andorraLaneState(this.name), andorraDurableLaneState(state, operationId)),
+                ],
+                next: { ...state, operation: { meta, state: operationState } },
+                materialize: () => Result.ok({ operationId, kind: "compaction", startedAt }),
+                events: () => [
+                    { type: "compaction_start", lane: this.name, runId: operationId, reason: "manual", startedAt },
+                ],
+            };
+        }, context);
+    }
+    async acceptNavigation(request, operationId, startedAt, acceptanceConfig, context) {
+        const taskId = this.session.idGenerator.next(startedAt);
+        const targetId = request.targetId;
+        const options = request.options ?? {};
+        const summarize = options.summarize ?? false;
+        for (;;) {
+            const observedTipId = this.state.tipId;
+            let preparation;
+            if (summarize && observedTipId !== null && targetId !== null) {
+                const target = await this.session.getEntries([targetId], context);
+                if (target.has(targetId)) {
+                    const [oldPath, targetPath] = await Promise.all([
+                        this.session.scanBranch({ start: observedTipId, order: "newestFirst" }, context),
+                        this.session.scanBranch({ start: targetId, order: "newestFirst" }, context),
+                    ]);
+                    const oldIds = new Set(oldPath.map((entry) => entry.id));
+                    const commonAncestorId = targetPath.find((entry) => oldIds.has(entry.id))?.id ?? null;
+                    preparation = andorraPrepareBranchEntries(oldPath
+                        .slice(0, commonAncestorId === null
+                        ? oldPath.length
+                        : oldPath.findIndex((entry) => entry.id === commonAncestorId))
+                        .reverse());
+                }
+            }
+            const accepted = await this.command(async (state, reader) => {
+                if (state.operation !== null) {
+                    return {
+                        kind: "return",
+                        result: Result.err(new AndorraLaneBusy({
+                            lane: this.name,
+                            operationId: state.operation.meta.operationId,
+                            operationKind: state.operation.meta.intent.kind,
+                            message: `Lane ${JSON.stringify(this.name)} already has an active operation`,
+                        })),
+                    };
+                }
+                if (state.tipId !== observedTipId)
+                    return { kind: "return", result: undefined };
+                if (targetId === state.tipId) {
+                    return {
+                        kind: "return",
+                        result: Result.err(new AndorraInvalidNavigation({
+                            lane: this.name,
+                            reason: "current_tip",
+                            message: "Navigation target must differ from the current tip",
+                        })),
+                    };
+                }
+                if (targetId === null && options.label !== undefined) {
+                    return {
+                        kind: "return",
+                        result: Result.err(new AndorraInvalidNavigation({
+                            lane: this.name,
+                            reason: "root_label",
+                            message: "Root navigation cannot set a label",
+                        })),
+                    };
+                }
+                if (summarize && (state.tipId === null || targetId === null)) {
+                    return {
+                        kind: "return",
+                        result: Result.err(new AndorraInvalidNavigation({
+                            lane: this.name,
+                            reason: state.tipId === null ? "source_root" : "target_root",
+                            message: "Summarized navigation requires non-root source and target entries",
+                        })),
+                    };
+                }
+                if (targetId !== null && !(await reader.getEntries([targetId], context)).has(targetId)) {
+                    return {
+                        kind: "return",
+                        result: Result.err(new AndorraUnknownTarget({ targetId, message: `Unknown target: ${targetId}` })),
+                    };
+                }
+                const intent = {
+                    kind: "navigation",
+                    targetId,
+                    summarize,
+                    ...(options.label === undefined ? {} : { label: options.label }),
+                    ...(options.customInstructions === undefined ? {} : { customInstructions: options.customInstructions }),
+                };
+                const meta = {
+                    operationId,
+                    lane: this.name,
+                    sourceTipId: state.tipId,
+                    startedAt,
+                    intent,
+                };
+                const operationScope = {
+                    control: { status: "running" },
+                    settings: andorraCapturedSettings(acceptanceConfig),
+                    latestAssistantEntryId: null,
+                };
+                let operationState;
+                const writes = [];
+                if (summarize) {
+                    if (state.tipId === null || targetId === null || preparation === undefined) {
+                        throw new AndorraSessionInvariantError("Validated summarized navigation is missing its preparation");
+                    }
+                    writes.push(andorraSetValue(andorraOperationPreparation(operationId, taskId), andorraDurableBranchPreparation(preparation)));
+                    operationState = {
+                        ...operationScope,
+                        at: "summary.deciding",
+                        task: {
+                            taskId,
+                            ...(options.customInstructions === undefined
+                                ? {}
+                                : { customInstructions: options.customInstructions }),
+                            boundary: {
+                                kind: "commit_navigation",
+                                targetId,
+                                ...(options.label === undefined ? {} : { label: options.label }),
+                            },
+                        },
+                    };
+                }
+                else {
+                    operationState = {
+                        ...operationScope,
+                        at: "navigation.ready_to_commit",
+                        targetId,
+                        ...(options.label === undefined ? {} : { label: options.label }),
+                    };
+                }
+                writes.push(andorraSetValue(andorraOperationMeta(operationId), meta), andorraSetValue(andorraOperationState(operationId), operationState), andorraSetValue(andorraLaneState(this.name), andorraDurableLaneState(state, operationId)));
+                return {
+                    kind: "commit",
+                    writes,
+                    next: { ...state, operation: { meta, state: operationState } },
+                    materialize: () => Result.ok({ operationId, kind: "navigation", startedAt }),
+                    events: () => [{ type: "navigation_start", lane: this.name, runId: operationId, targetId, startedAt }],
+                };
+            }, context);
+            if (accepted !== undefined)
+                return accepted;
+        }
+    }
+    async drive(options, context) {
+        if (this.closedError instanceof AndorraHarnessClosed) {
+            return Result.err(new AndorraClosed({ message: this.closedError.message }));
+        }
+        this.assertOpen();
+        for (;;) {
+            const claim = await this.command(async (state, reader) => {
+                const signal = context.abortSignal;
+                if (signal?.aborted) {
+                    const reason = signal.reason;
+                    return {
+                        kind: "reject",
+                        error: reason instanceof Error ? reason : new DOMException("The operation was aborted", "AbortError"),
+                    };
+                }
+                if (state.operation?.meta.operationId === options.operationId) {
+                    if (this.activeDrive === undefined) {
+                        const drive = new AndorraDrive(options, context);
+                        this.activeDrive = drive;
+                        this.signalStateChange();
+                        return { kind: "return", result: { kind: "observe", drive, installed: true } };
+                    }
+                    return {
+                        kind: "return",
+                        result: this.activeDrive.operationId === options.operationId
+                            ? { kind: "observe", drive: this.activeDrive, installed: false }
+                            : { kind: "occupied", drive: this.activeDrive },
+                    };
+                }
+                const stored = await reader.getValue(andorraOperationResult(options.operationId), context);
+                return stored === undefined
+                    ? {
+                        kind: "return",
+                        result: {
+                            kind: "mismatch",
+                            error: this.mismatch(options.operationId, state.operation?.meta.operationId ?? null, state.lastOperationId),
+                        },
+                    }
+                    : { kind: "return", result: { kind: "settled", outcome: stored.value } };
+            }, context);
+            if (claim.kind === "settled")
+                return Result.ok({ kind: "settled", outcome: claim.outcome });
+            if (claim.kind === "mismatch")
+                return Result.err(claim.error);
+            if (claim.kind === "occupied") {
+                await andorraAwaitWithContext(claim.drive.completion, context);
+                continue;
+            }
+            if (claim.installed) {
+                void andorraDriveOperation(this, claim.drive).then((outcome) => {
+                    if (this.activeDrive === claim.drive) {
+                        this.activeDrive = undefined;
+                        this.signalStateChange();
+                    }
+                    claim.drive.settle(outcome);
+                }, (error) => {
+                    let failure = this.closedError;
+                    if (failure === undefined) {
+                        try {
+                            failure = this.onFault(error, claim.drive.context);
+                        }
+                        catch (faultError) {
+                            failure = faultError;
+                        }
+                    }
+                    if (this.activeDrive === claim.drive) {
+                        this.activeDrive = undefined;
+                        this.signalStateChange();
+                    }
+                    claim.drive.fail(failure);
+                });
+            }
+            return Result.ok(await andorraAwaitWithContext(claim.drive.completion, context));
+        }
+    }
+    /** Package-private durable cancellation primitive. Public exposure remains guarded until M8. */
+    async requestOperationAbort(operationId, context) {
+        if (this.closedError instanceof AndorraHarnessClosed) {
+            return Result.err(new AndorraClosed({ message: this.closedError.message }));
+        }
+        this.assertOpen();
+        const drive = this.activeDrive?.operationId === operationId ? this.activeDrive : undefined;
+        let resolveCancellation;
+        let rejectCancellation;
+        const cancellation = new Promise((resolve, reject) => {
+            resolveCancellation = resolve;
+            rejectCancellation = reject;
+        });
+        void cancellation.catch(() => { });
+        drive?.beginAbort(cancellation);
+        let gateSettled = false;
+        const andorraSettleGate = (signal) => {
+            if (gateSettled)
+                return;
+            gateSettled = true;
+            resolveCancellation();
+            if (signal)
+                drive?.signalAbort();
+        };
+        try {
+            const result = await this.command(async (state, reader) => {
+                const operation = state.operation;
+                if (operation?.meta.operationId !== operationId) {
+                    return {
+                        kind: "return",
+                        result: Result.err(this.mismatch(operationId, operation?.meta.operationId ?? null, state.lastOperationId)),
+                    };
+                }
+                if (operation.state.control.status === "cancel_requested") {
+                    return {
+                        kind: "return",
+                        result: Result.ok({ operationId, newlyRequested: false, steer: [], followUp: [] }),
+                    };
+                }
+                const removed = state.inbox.filter((item) => item.kind === "steer" || item.kind === "followUp");
+                const payloads = await Promise.all(removed.map(async (item) => {
+                    const stored = await reader.getValue(andorraPendingEntry(item.entryId), context);
+                    if (stored?.value.type !== "message") {
+                        throw new AndorraSessionInvariantError(`Pending ${item.kind} entry ${item.entryId} is missing its message`);
+                    }
+                    return { item, message: stored.value.payload };
+                }));
+                const steer = payloads.filter(({ item }) => item.kind === "steer").map(({ message }) => message);
+                const followUp = payloads.filter(({ item }) => item.kind === "followUp").map(({ message }) => message);
+                const removedIds = new Set(removed.map((item) => item.entryId));
+                const inbox = state.inbox.filter((item) => !removedIds.has(item.entryId));
+                const queues = await andorraReadLaneQueues(reader, inbox, context);
+                const operationState = {
+                    ...operation.state,
+                    control: { status: "cancel_requested", requestedAt: Date.now() },
+                };
+                return {
+                    kind: "commit",
+                    writes: [
+                        ...removed.map((item) => andorraDeleteValue(andorraPendingEntry(item.entryId))),
+                        andorraSetValue(andorraOperationState(operationId), operationState),
+                        andorraSetValue(andorraLaneState(this.name), andorraDurableLaneState(state, operationId, inbox)),
+                    ],
+                    next: { ...state, inbox, operation: { meta: operation.meta, state: operationState } },
+                    materialize: () => {
+                        andorraSettleGate(true);
+                        return Result.ok({ operationId, newlyRequested: true, steer, followUp });
+                    },
+                    events: () => [
+                        {
+                            type: "operation_abort",
+                            operationId,
+                            steer,
+                            followUp,
+                            lane: this.name,
+                        },
+                        ...(removed.length === 0 ? [] : [{ type: "queue_update", queues, lane: this.name }]),
+                    ],
+                };
+            }, context);
+            // A fresh Drive may observe an already-durable marker; pull its gate on the repeat path too. A mismatch
+            // can leave only the stale Drive's admission gate in aborting state; its cancellation wait is still released.
+            andorraSettleGate(result.ok && result.value.newlyRequested === false);
+            return result;
+        }
+        catch (error) {
+            if (!gateSettled)
+                rejectCancellation(error);
+            throw error;
+        }
+    }
+    requestAbort(operationId, context) {
+        return this.requestOperationAbort(operationId, context);
+    }
+    inspectExecution(context) {
+        return this.readLane((state) => {
+            const operation = state.operation;
+            const captured = operation === null ? undefined : andorraCapturedModel(operation);
+            const current = operation === null
+                ? null
+                : {
+                    id: operation.meta.operationId,
+                    kind: operation.meta.intent.kind,
+                    status: operation.state.control.status === "cancel_requested"
+                        ? "aborting"
+                        : "open",
+                    startedAt: operation.meta.startedAt,
+                    ...(captured === undefined ? {} : { capturedModel: captured }),
+                };
+            return {
+                lane: this.name,
+                tipId: state.tipId,
+                configuredModel: state.configuration.model,
+                current,
+                lastOperationId: state.lastOperationId,
+            };
+        }, context);
+    }
+    async prompt(...args) {
+        if (args.length === 3) {
+            return this.driveRunRequest({ kind: "prompt", prompt: args[0], ...(args[1] === undefined ? {} : { images: args[1] }) }, args[2]);
+        }
+        return this.driveRunRequest({ kind: "prompt", prompt: args[0] }, args[1]);
+    }
+    skill(name, additionalInstructions, context) {
+        return this.driveRunRequest({ kind: "skill", name, ...(additionalInstructions === undefined ? {} : { additionalInstructions }) }, context);
+    }
+    promptFromTemplate(name, args, context) {
+        return this.driveRunRequest({ kind: "prompt_template", name, ...(args === undefined ? {} : { args }) }, context);
+    }
+    async driveRunRequest(request, context) {
+        const admission = await this.accept(request, context);
+        if (!admission.ok) {
+            switch (admission.error._tag) {
+                case "LaneBusy":
+                case "InvalidMessage":
+                case "UnknownSkill":
+                case "UnknownTemplate":
+                case "Closed":
+                    return Result.err(admission.error);
+                default:
+                    throw this.onFault(new AndorraSessionInvariantError(`Run acceptance returned ${admission.error._tag}`), context);
+            }
+        }
+        const driven = await this.drive({ operationId: admission.value.operationId, waitForRetry: true }, context);
+        if (!driven.ok) {
+            if (driven.error._tag === "Closed")
+                return Result.err(driven.error);
+            throw this.onFault(new AndorraSessionInvariantError(`Accepted run ${admission.value.operationId} no longer matches its lane`), context);
+        }
+        if (driven.value.kind === "settled")
+            return Result.ok(driven.value.outcome);
+        if (driven.value.reason === "deferred") {
+            return Result.ok({
+                operationId: admission.value.operationId,
+                status: "suspended",
+                deferred: driven.value.deferred,
+            });
+        }
+        throw this.onFault(new AndorraSessionInvariantError(`Run ${admission.value.operationId} returned an unwaited retry`), context);
+    }
+    async compact(options, context) {
+        const admission = await this.accept({
+            kind: "compaction",
+            ...(options?.customInstructions === undefined ? {} : { customInstructions: options.customInstructions }),
+        }, context);
+        if (!admission.ok) {
+            switch (admission.error._tag) {
+                case "LaneBusy":
+                case "NothingToCompact":
+                case "Closed":
+                    return Result.err(admission.error);
+                default:
+                    throw this.onFault(new AndorraSessionInvariantError(`Compaction acceptance returned ${admission.error._tag}`), context);
+            }
+        }
+        const compacted = await this.driveStructuralAdmission(admission.value, context);
+        if (!compacted.ok)
+            return compacted;
+        const continuation = await this.continueAfterStructural(compacted.value, context);
+        return continuation.ok
+            ? Result.ok({
+                compaction: compacted.value,
+                ...(continuation.value === undefined ? {} : { run: continuation.value }),
+            })
+            : continuation;
+    }
+    async navigateTree(targetId, options, context) {
+        const admission = await this.accept({ kind: "navigation", targetId, ...(options === undefined ? {} : { options }) }, context);
+        if (!admission.ok) {
+            switch (admission.error._tag) {
+                case "LaneBusy":
+                case "InvalidNavigation":
+                case "UnknownTarget":
+                case "Closed":
+                    return Result.err(admission.error);
+                default:
+                    throw this.onFault(new AndorraSessionInvariantError(`Navigation acceptance returned ${admission.error._tag}`), context);
+            }
+        }
+        const navigated = await this.driveStructuralAdmission(admission.value, context);
+        if (!navigated.ok)
+            return navigated;
+        const continuation = await this.continueAfterStructural(navigated.value, context);
+        return continuation.ok
+            ? Result.ok({
+                navigation: navigated.value,
+                ...(continuation.value === undefined ? {} : { run: continuation.value }),
+            })
+            : continuation;
+    }
+    async driveStructuralAdmission(admission, context) {
+        const driven = await this.drive({ operationId: admission.operationId, waitForRetry: true }, context);
+        if (!driven.ok) {
+            if (driven.error._tag === "Closed")
+                return Result.err(driven.error);
+            throw this.onFault(new AndorraSessionInvariantError(`Accepted ${admission.kind} ${admission.operationId} no longer matches its lane`), context);
+        }
+        if (driven.value.kind === "settled")
+            return Result.ok(driven.value.outcome);
+        throw this.onFault(new AndorraSessionInvariantError(`${admission.kind} ${admission.operationId} returned ${driven.value.reason}`), context);
+    }
+    async continueAfterStructural(record, context) {
+        if (record.status === "aborted")
+            return Result.ok(undefined);
+        const admission = await this.accept({ kind: "prompt", prompt: "" }, context);
+        if (!admission.ok) {
+            switch (admission.error._tag) {
+                case "InvalidMessage":
+                case "LaneBusy":
+                    return Result.ok(undefined);
+                case "Closed":
+                    return Result.err(admission.error);
+                default:
+                    throw this.onFault(new AndorraSessionInvariantError(`Structural continuation acceptance returned ${admission.error._tag}`), context);
+            }
+        }
+        const driven = await this.drive({ operationId: admission.value.operationId, waitForRetry: true }, context);
+        if (!driven.ok) {
+            if (driven.error._tag === "Closed")
+                return Result.err(driven.error);
+            throw this.onFault(new AndorraSessionInvariantError(`Continuation run ${admission.value.operationId} no longer matches its lane`), context);
+        }
+        if (driven.value.kind === "settled")
+            return Result.ok(driven.value.outcome);
+        if (driven.value.reason === "deferred") {
+            return Result.ok({
+                operationId: admission.value.operationId,
+                status: "suspended",
+                deferred: driven.value.deferred,
+            });
+        }
+        throw this.onFault(new AndorraSessionInvariantError(`Continuation run ${admission.value.operationId} returned an unwaited retry`), context);
+    }
+    async resume(context) {
+        if (this.closedError instanceof AndorraHarnessClosed) {
+            return Result.err(new AndorraClosed({ message: this.closedError.message }));
+        }
+        this.assertOpen();
+        const inspected = await this.command((state) => {
+            const operation = state.operation;
+            return operation === null
+                ? {
+                    kind: "return",
+                    result: Result.err(new AndorraNothingToResume({
+                        lane: this.name,
+                        message: `Lane ${JSON.stringify(this.name)} has no active operation to resume`,
+                    })),
+                }
+                : { kind: "return", result: Result.ok({ operationId: operation.meta.operationId }) };
+        }, context);
+        if (!inspected.ok)
+            return inspected;
+        const driven = await this.drive({ operationId: inspected.value.operationId, pollDeferred: true, waitForRetry: true }, context);
+        if (!driven.ok) {
+            if (driven.error._tag === "Closed")
+                return Result.err(driven.error);
+            throw this.onFault(new AndorraSessionInvariantError(`Operation ${inspected.value.operationId} no longer matches its lane`), context);
+        }
+        if (driven.value.kind === "settled")
+            return Result.ok(driven.value.outcome);
+        if (driven.value.reason === "deferred") {
+            return Result.ok({
+                operationId: inspected.value.operationId,
+                status: "suspended",
+                deferred: driven.value.deferred,
+            });
+        }
+        throw this.onFault(new AndorraSessionInvariantError(`Operation ${inspected.value.operationId} returned an unwaited retry`), context);
+    }
+    async abort(context) {
+        if (this.closedError instanceof AndorraHarnessClosed) {
+            return Result.err(new AndorraClosed({ message: this.closedError.message }));
+        }
+        this.assertOpen();
+        const operationId = await this.command((state) => ({
+            kind: "return",
+            result: state.operation?.meta.operationId,
+        }), context);
+        if (operationId === undefined) {
+            return Result.err(new AndorraNoActiveOperation({
+                lane: this.name,
+                message: `Lane ${JSON.stringify(this.name)} has no active operation`,
+            }));
+        }
+        const requested = await this.requestAbort(operationId, context);
+        if (!requested.ok) {
+            if (requested.error._tag === "Closed")
+                return Result.err(requested.error);
+            return Result.err(new AndorraNoActiveOperation({
+                lane: this.name,
+                message: `Lane ${JSON.stringify(this.name)} no longer has the inspected operation`,
+            }));
+        }
+        const driven = await this.drive({ operationId }, context);
+        if (!driven.ok && driven.error._tag === "Closed")
+            return Result.err(driven.error);
+        if (!driven.ok) {
+            throw this.onFault(new AndorraSessionInvariantError(`Cancelled operation ${operationId} no longer matches its lane`), context);
+        }
+        return Result.ok({
+            operationId,
+            steer: requested.value.steer,
+            followUp: requested.value.followUp,
+        });
+    }
+    steer(message, images, context) {
+        return this.enqueue("steer", message, images, context);
+    }
+    followUp(message, images, context) {
+        return this.enqueue("followUp", message, images, context);
+    }
+    nextRun(message, images, context) {
+        return this.enqueue("nextRun", message, images, context);
+    }
+    async enqueue(kind, input, images, context) {
+        if (this.closedError instanceof AndorraHarnessClosed) {
+            return Result.err(new AndorraClosed({ message: this.closedError.message }));
+        }
+        this.assertOpen();
+        const at = Date.now();
+        let message;
+        if (typeof input === "string") {
+            if (input.length === 0 && (images === undefined || images.length === 0)) {
+                return Result.err(new AndorraInvalidMessage({
+                    lane: this.name,
+                    reason: "empty",
+                    message: "Queued input must contain text or an image",
+                }));
+            }
+            message = {
+                role: "user",
+                content: [...(input.length === 0 ? [] : [{ type: "text", text: input }]), ...(images ?? [])],
+                timestamp: at,
+            };
+        }
+        else {
+            if (input.role === "assistant" && input.stopReason === "pending") {
+                return Result.err(new AndorraInvalidMessage({
+                    lane: this.name,
+                    reason: "pending_assistant",
+                    message: "Cannot queue a pending assistant message",
+                }));
+            }
+            if (images !== undefined && images.length > 0 && input.role !== "user") {
+                return Result.err(new AndorraInvalidMessage({
+                    lane: this.name,
+                    reason: "images_with_non_user",
+                    message: "Images can be added only to queued user messages",
+                }));
+            }
+            message =
+                images === undefined || images.length === 0 || input.role !== "user"
+                    ? structuredClone(input)
+                    : {
+                        ...structuredClone(input),
+                        content: [
+                            ...(typeof input.content === "string"
+                                ? input.content.length === 0
+                                    ? []
+                                    : [{ type: "text", text: input.content }]
+                                : input.content),
+                            ...images,
+                        ],
+                    };
+        }
+        const entryId = this.session.idGenerator.next(at);
+        return this.command(async (state, reader) => {
+            const inbox = [...state.inbox, { entryId, kind }];
+            const queues = [
+                ...(await andorraReadLaneQueues(reader, state.inbox, context)),
+                { entryId, kind, type: "message", message },
+            ];
+            return {
+                kind: "commit",
+                writes: [
+                    andorraSetValue(andorraPendingEntry(entryId), { type: "message", payload: message }),
+                    andorraSetValue(andorraLaneState(this.name), andorraDurableLaneState(state, state.operation?.meta.operationId ?? null, inbox)),
+                ],
+                next: { ...state, inbox },
+                materialize: () => Result.ok({ entryId }),
+                events: () => [{ type: "queue_update", queues, lane: this.name }],
+            };
+        }, context);
+    }
+    async cancelQueued(entryId, context) {
+        if (this.closedError instanceof AndorraHarnessClosed) {
+            return Result.err(new AndorraClosed({ message: this.closedError.message }));
+        }
+        this.assertOpen();
+        return this.command(async (state, reader) => {
+            const queued = state.inbox.find((item) => item.entryId === entryId);
+            if (queued === undefined) {
+                const consumed = (await reader.getEntries([entryId], context)).has(entryId);
+                return {
+                    kind: "return",
+                    result: Result.ok({ kind: consumed ? "already_consumed" : "not_found" }),
+                };
+            }
+            if ((await reader.getValue(andorraPendingEntry(entryId), context)) === undefined) {
+                throw new AndorraSessionInvariantError(`Queued ${queued.kind} entry ${entryId} is missing its payload`);
+            }
+            const inbox = state.inbox.filter((item) => item.entryId !== entryId);
+            const queues = await andorraReadLaneQueues(reader, inbox, context);
+            return {
+                kind: "commit",
+                writes: [
+                    andorraDeleteValue(andorraPendingEntry(entryId)),
+                    andorraSetValue(andorraLaneState(this.name), andorraDurableLaneState(state, state.operation?.meta.operationId ?? null, inbox)),
+                ],
+                next: { ...state, inbox },
+                materialize: () => Result.ok({ kind: "cancelled" }),
+                events: () => [{ type: "queue_update", queues, lane: this.name }],
+            };
+        }, context);
+    }
+    async recordUsage(usage, options, context) {
+        if (this.closedError instanceof AndorraHarnessClosed) {
+            return Result.err(new AndorraClosed({ message: this.closedError.message }));
+        }
+        this.assertOpen();
+        return this.command((state) => {
+            const usageId = this.session.idGenerator.next();
+            const row = {
+                id: usageId,
+                usage,
+                adjustment: true,
+                ...(options?.entryId === undefined ? {} : { entryId: options.entryId }),
+                ...(options?.details === undefined ? {} : { details: options.details }),
+            };
+            return {
+                kind: "commit",
+                writes: [andorraInsertUsage(row)],
+                next: state,
+                materialize: () => Result.ok({ usageId }),
+                events: (commit) => [
+                    {
+                        type: "usage",
+                        lane: this.name,
+                        row: { ...row, seq: commit.seqs[0] },
+                        totals: commit.stats.usage,
+                    },
+                ],
+            };
+        }, context);
+    }
+    async waitForIdle(context) {
+        for (;;) {
+            const observation = await this.command((state) => ({
+                kind: "return",
+                result: state.operation === null && this.activeDrive === undefined
+                    ? { kind: "idle" }
+                    : { kind: "wait", drive: this.activeDrive, change: this.stateChange },
+            }), context);
+            if (observation.kind === "idle")
+                return;
+            await andorraAwaitWithContext(observation.drive === undefined ? observation.change : observation.drive.completion.then(() => undefined), context);
+        }
+    }
+    async runWhenIdle(callback, context) {
+        let owner;
+        let releaseOwner;
+        for (;;) {
+            const observation = await this.command((state) => {
+                if (state.operation !== null || this.activeDrive !== undefined) {
+                    return {
+                        kind: "return",
+                        result: { kind: "wait", drive: this.activeDrive, change: this.stateChange },
+                    };
+                }
+                let release;
+                const claimed = new Promise((resolve) => {
+                    release = resolve;
+                });
+                owner = claimed;
+                releaseOwner = release;
+                this.idleOwner = claimed;
+                this.signalStateChange();
+                return { kind: "return", result: { kind: "claimed" } };
+            }, context);
+            if (observation.kind === "claimed")
+                break;
+            await andorraAwaitWithContext(observation.drive === undefined ? observation.change : observation.drive.completion.then(() => undefined), context);
+        }
+        if (owner === undefined || releaseOwner === undefined) {
+            throw this.onFault(new AndorraSessionInvariantError("Idle callback claim was not published"), context);
+        }
+        try {
+            this.assertOpen();
+            await callback(context);
+        }
+        finally {
+            if (this.idleOwner === owner)
+                this.idleOwner = undefined;
+            releaseOwner();
+            this.signalStateChange();
+        }
+    }
+    async getModel(_context) {
+        this.assertOpen();
+        return this.models.getModel(this.state.configuration.model.provider, this.state.configuration.model.modelId);
+    }
+    setModel(model, context) {
+        return this.setConfiguration((configuration) => ({
+            ...configuration,
+            model: { ...model },
+        }), (previous, value) => ({
+            type: "config_update",
+            property: "model",
+            previous: previous.model,
+            value: value.model,
+        }), context);
+    }
+    async getThinkingLevel(_context) {
+        this.assertOpen();
+        return this.state.configuration.thinkingLevel;
+    }
+    setThinkingLevel(thinkingLevel, context) {
+        return this.setConfiguration((configuration) => ({ ...configuration, thinkingLevel }), (previous, value) => ({
+            type: "config_update",
+            property: "thinkingLevel",
+            previous: previous.thinkingLevel,
+            value: value.thinkingLevel,
+        }), context);
+    }
+    async getActiveTools(_context) {
+        this.assertOpen();
+        return this.state.configuration.activeToolNames;
+    }
+    setActiveTools(activeToolNames, context) {
+        return this.setConfiguration((configuration) => ({ ...configuration, activeToolNames }), (previous, value) => ({
+            type: "config_update",
+            property: "activeTools",
+            previous: previous.activeToolNames,
+            value: value.activeToolNames,
+        }), context);
+    }
+    watch(context) {
+        return this.readLane(async (state, reader) => {
+            const watcher = this.installWatch({}, (event) => event.type === "usage" || !("lane" in event) || event.lane === this.name, context, (resnapshotContext, markBoundary) => this.readLane(async (latest, latestReader) => {
+                const snapshot = await this.captureLaneSnapshot(latest, latestReader, resnapshotContext);
+                markBoundary();
+                return snapshot;
+            }, resnapshotContext));
+            try {
+                watcher.snapshot = await this.captureLaneSnapshot(state, reader, context);
+                return watcher;
+            }
+            catch (error) {
+                watcher.unsubscribe();
+                throw error;
+            }
+        }, context);
+    }
+    async captureLaneSnapshot(state, reader, context) {
+        const captured = structuredClone(state);
+        const transcript = captured.tipId === null
+            ? []
+            : (await reader.scanBranch({ start: captured.tipId, stopAtType: "compaction", order: "newestFirst" }, context)).reverse();
+        const queues = await andorraReadLaneQueues(reader, captured.inbox, context);
+        let lastResult;
+        if (captured.lastOperationId !== null) {
+            const stored = await reader.getValue(andorraOperationResult(captured.lastOperationId), context);
+            if (stored === undefined) {
+                throw new AndorraSessionInvariantError(`Lane ${JSON.stringify(this.name)} is missing result ${captured.lastOperationId}`);
+            }
+            lastResult = stored.value;
+        }
+        const stats = await reader.getStats(context);
+        const operation = captured.operation;
+        let operationSnapshot = null;
+        if (operation !== null) {
+            const runningTools = [];
+            let streamingMessage;
+            let retry;
+            let deferred;
+            const andorraReadStreamingMessage = async (responseEntryId) => andorraReduceAssistantMessageFrames(await andorraReadAssistantFrames(reader, operation.meta.operationId, responseEntryId, context));
+            const state = operation.state;
+            switch (state.at) {
+                case "assistant.retry_wait":
+                    retry = {
+                        attempt: state.nextAttempt,
+                        maxAttempts: state.generationContext.retryPolicy.maxAttempts,
+                        nextAttemptAt: state.notBefore,
+                    };
+                    break;
+                case "assistant.effect_pending":
+                    streamingMessage = await andorraReadStreamingMessage(state.responseEntryId);
+                    break;
+                case "deferred.suspended":
+                case "deferred.effect_pending": {
+                    const source = (await reader.getEntries([state.sourceEntryId], context)).get(state.sourceEntryId);
+                    if (source?.type !== "message" ||
+                        source.message.role !== "assistant" ||
+                        source.message.deferred === undefined) {
+                        throw new AndorraSessionInvariantError("Deferred source is missing its assistant handle");
+                    }
+                    deferred = { handle: source.message.deferred, poll: state.poll };
+                    if (state.at === "deferred.effect_pending") {
+                        streamingMessage = await andorraReadStreamingMessage(state.responseEntryId);
+                    }
+                    break;
+                }
+                case "tools": {
+                    const { batch } = state;
+                    const assistant = (await reader.getEntries([batch.assistantEntryId], context)).get(batch.assistantEntryId);
+                    if (assistant?.type !== "message" || assistant.message.role !== "assistant") {
+                        throw new AndorraSessionInvariantError("Tool batch assistant entry is invalid");
+                    }
+                    for (const call of batch.calls) {
+                        if (call.status === "planned" || call.status === "completed")
+                            continue;
+                        const block = assistant.message.content[call.sourceIndex];
+                        if (block?.type !== "toolCall") {
+                            throw new AndorraSessionInvariantError(`Tool call source index ${call.sourceIndex} does not name a tool-call block`);
+                        }
+                        const args = await reader.getValue(andorraOperationToolArgs(operation.meta.operationId, batch.turnId, call.sourceIndex), context);
+                        if (call.status === "effect_pending") {
+                            if (args === undefined) {
+                                throw new AndorraSessionInvariantError(`Tool call ${block.id} is missing persisted arguments`);
+                            }
+                            const checkpoint = await reader.getValue(andorraPendingToolOutput(operation.meta.operationId, call.resultEntryId), context);
+                            runningTools.push({
+                                status: "running",
+                                toolCallId: block.id,
+                                toolName: block.name,
+                                args: args.value,
+                                ...(checkpoint === undefined ? {} : { result: checkpoint.value }),
+                            });
+                            continue;
+                        }
+                        const staged = await reader.getValue(andorraPendingEntry(call.resultEntryId), context);
+                        if (staged?.value.type !== "message" || staged.value.payload.role !== "toolResult") {
+                            throw new AndorraSessionInvariantError(`Tool call ${call.resultEntryId} is missing its staged result`);
+                        }
+                        if (staged.value.payload.toolCallId !== block.id || staged.value.payload.toolName !== block.name) {
+                            throw new AndorraSessionInvariantError(`Tool call ${call.resultEntryId} has a mismatched staged result`);
+                        }
+                        runningTools.push({
+                            status: "settled",
+                            toolCallId: block.id,
+                            toolName: block.name,
+                            args: args?.value ?? block.arguments,
+                            result: andorraToolResultFromMessage(staged.value.payload, call.terminate),
+                            isError: staged.value.payload.isError,
+                        });
+                    }
+                    break;
+                }
+                case "summary.retry_wait":
+                    retry = {
+                        attempt: state.nextAttempt,
+                        maxAttempts: state.summaryContext.retryPolicy.maxAttempts,
+                        nextAttemptAt: state.notBefore,
+                    };
+                    break;
+                default:
+                    break;
+            }
+            operationSnapshot = {
+                id: operation.meta.operationId,
+                kind: operation.meta.intent.kind,
+                startedAt: operation.meta.startedAt,
+                fromTipId: operation.meta.sourceTipId,
+                status: operation.state.control.status === "cancel_requested" ? "aborting" : "open",
+                ...(retry === undefined ? {} : { retry }),
+                ...(deferred === undefined ? {} : { deferred }),
+                ...(streamingMessage === undefined ? {} : { streamingMessage }),
+                runningTools,
+            };
+        }
+        return structuredClone({
+            lane: this.name,
+            transcript,
+            tipId: captured.tipId,
+            ...(lastResult === undefined ? {} : { lastResult }),
+            configuration: captured.configuration,
+            stats,
+            operation: operationSnapshot,
+            queues,
+            faulted: this.closedError instanceof AndorraHarnessFault,
+        });
+    }
+    async setConfiguration(update, event, context) {
+        await this.command((state) => {
+            const configuration = update(state.configuration);
+            return {
+                kind: "commit",
+                writes: [andorraSetValue(andorraLaneConfig(this.name), configuration)],
+                next: { ...state, configuration },
+                materialize: () => undefined,
+                events: () => [{ ...event(state.configuration, configuration), lane: this.name }],
+            };
+        }, context);
+    }
+    async findEntries(query, context) {
+        query ??= {};
+        this.assertOpen();
+        const start = query.start ?? this.state.tipId;
+        return start === null
+            ? []
+            : this.session.scanBranch({ ...query, start, order: query.order ?? "newestFirst" }, context);
+    }
+    async findEntry(query, context) {
+        query ??= {};
+        return (await this.findEntries({ ...query, limit: query.limit === undefined ? 1 : Math.min(query.limit, 1) }, context))[0];
+    }
+    appendMessage(message, context) {
+        return this.append({ type: "message", payload: message }, context);
+    }
+    appendCustomEntry(customType, data, context) {
+        return this.append({ type: "custom", customType, ...(data === undefined ? {} : { payload: data }) }, context);
+    }
+    append(pending, context) {
+        this.assertOpen();
+        if (pending.type === "message" &&
+            pending.payload.role === "assistant" &&
+            pending.payload.stopReason === "pending") {
+            return Promise.reject(new AndorraSessionPendingAssistantMessageError());
+        }
+        const id = this.session.idGenerator.next();
+        return this.command(async (state, reader) => {
+            if (state.operation === null) {
+                const queued = andorraInboxItems(state.inbox, "write");
+                const captured = await Promise.all(queued.map(async (item) => {
+                    const stored = await reader.getValue(andorraPendingEntry(item.entryId), context);
+                    if (stored === undefined) {
+                        throw new AndorraSessionInvariantError(`Pending write ${item.entryId} is missing its payload`);
+                    }
+                    return andorraPendingEntryWrite(item.entryId, stored.value);
+                }));
+                const inbox = andorraWithoutInboxItems(state.inbox, queued);
+                const queues = queued.length === 0 ? undefined : await andorraReadLaneQueues(reader, inbox, context);
+                const entries = andorraChainEntries(state.tipId, [...captured, andorraPendingEntryWrite(id, pending)]);
+                return {
+                    kind: "commit",
+                    writes: [
+                        ...entries.map((entry) => andorraInsertEntry(entry)),
+                        ...queued.map((item) => andorraDeleteValue(andorraPendingEntry(item.entryId))),
+                        andorraSetValue(andorraBranchTip(this.name), id),
+                        andorraSetValue(andorraLaneState(this.name), andorraDurableLaneState(state, null, inbox)),
+                    ],
+                    next: { ...state, tipId: id, inbox },
+                    materialize: () => id,
+                    events: (commit) => [
+                        ...andorraCommittedEntryEvents(entries, commit, this.name),
+                        ...(queues === undefined ? [] : [{ type: "queue_update", queues, lane: this.name }]),
+                    ],
+                };
+            }
+            const operation = state.operation;
+            const inbox = [...state.inbox, { entryId: id, kind: "write" }];
+            const queues = [
+                ...(await andorraReadLaneQueues(reader, state.inbox, context)),
+                pending.type === "message"
+                    ? { entryId: id, kind: "write", type: "message", message: pending.payload }
+                    : {
+                        entryId: id,
+                        kind: "write",
+                        type: "custom",
+                        customType: pending.customType,
+                        ...(pending.payload === undefined ? {} : { data: pending.payload }),
+                    },
+            ];
+            return {
+                kind: "commit",
+                writes: [
+                    andorraSetValue(andorraPendingEntry(id), pending),
+                    andorraSetValue(andorraLaneState(this.name), andorraDurableLaneState(state, operation.meta.operationId, inbox)),
+                ],
+                next: { ...state, inbox },
+                materialize: () => id,
+                events: () => [{ type: "queue_update", queues, lane: this.name }],
+            };
+        }, context);
+    }
+    seal(error) {
+        this.closedError ??= error;
+        this.activeDrive?.closeGate(error);
+        this.signalStateChange();
+        return this.idleOwner ?? Promise.resolve();
+    }
+    signalStateChange() {
+        this.resolveStateChange();
+        let resolveStateChange;
+        this.stateChange = new Promise((resolve) => {
+            resolveStateChange = resolve;
+        });
+        this.resolveStateChange = resolveStateChange;
+    }
+    assertOpen() {
+        if (this.closedError !== undefined)
+            throw this.closedError;
+    }
+}