@ny4n/durable 0.0.0-stage → 1.0.0

package/dist/harness/json.js

@@ -0,0 +1,33 @@
+/**
+ * Assign `value` at `target[key]` leaf by leaf. Chord records a container assignment as one full set and only emits an
+ * append when a string leaf is reassigned with a longer string, so writing the partial whole would store and publish the
+ * complete message on every flush.
+ */
+export function assignJson(target, key, value) {
+    const slots = target;
+    const current = slots[key];
+    if (isRecord(current) && isRecord(value)) {
+        for (const name of Object.keys(current))
+            if (!Object.hasOwn(value, name))
+                delete current[name];
+        for (const [name, child] of Object.entries(value))
+            assignJson(current, name, child);
+        return;
+    }
+    if (Array.isArray(current) && Array.isArray(value) && current.length <= value.length) {
+        const items = current;
+        for (let index = 0; index < value.length; index++) {
+            if (index < items.length)
+                assignJson(items, index, value[index]);
+            else
+                items.push(value[index]);
+        }
+        return;
+    }
+    if (current !== value)
+        slots[key] = value;
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+//# sourceMappingURL=json.js.map

package/dist/harness/json.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"json.js","sourceRoot":"","sources":["../../src/harness/json.ts"],"names":[],"mappings":"AAIA;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,MAAqB,EAAE,GAAoB,EAAE,KAAgB;IACvF,MAAM,KAAK,GAAG,MAA4C,CAAC;IAC3D,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3B,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;gBAAE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC;QAC/F,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACpF,OAAO;IACR,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACtF,MAAM,KAAK,GAAG,OAAsB,CAAC;QACrC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACnD,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM;gBAAE,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAE,CAAC,CAAC;;gBAC7D,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC,CAAC;QAChC,CAAC;QACD,OAAO;IACR,CAAC;IACD,IAAI,OAAO,KAAK,KAAK;QAAE,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAC3C,CAAC;AAED,SAAS,QAAQ,CAAC,KAA4B;IAC7C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC7E,CAAC","sourcesContent":["import type { JsonValue } from \"@ny4n/chord\";\n\ntype JsonContainer = Record<string, JsonValue> | JsonValue[];\n\n/**\n * Assign `value` at `target[key]` leaf by leaf. Chord records a container assignment as one full set and only emits an\n * append when a string leaf is reassigned with a longer string, so writing the partial whole would store and publish the\n * complete message on every flush.\n */\nexport function assignJson(target: JsonContainer, key: string | number, value: JsonValue): void {\n\tconst slots = target as Record<string | number, JsonValue>;\n\tconst current = slots[key];\n\tif (isRecord(current) && isRecord(value)) {\n\t\tfor (const name of Object.keys(current)) if (!Object.hasOwn(value, name)) delete current[name];\n\t\tfor (const [name, child] of Object.entries(value)) assignJson(current, name, child);\n\t\treturn;\n\t}\n\tif (Array.isArray(current) && Array.isArray(value) && current.length <= value.length) {\n\t\tconst items = current as JsonValue[];\n\t\tfor (let index = 0; index < value.length; index++) {\n\t\t\tif (index < items.length) assignJson(items, index, value[index]!);\n\t\t\telse items.push(value[index]!);\n\t\t}\n\t\treturn;\n\t}\n\tif (current !== value) slots[key] = value;\n}\n\nfunction isRecord(value: JsonValue | undefined): value is Record<string, JsonValue> {\n\treturn typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n"]}

package/dist/harness/live.d.ts

@@ -0,0 +1,142 @@
+import type { AssistantMessage, Usage } from "@ny4n/ai/contracts";
+import type { Draft, JsonRepresentation, JsonValue } from "@ny4n/chord";
+import type { Transaction } from "../session/transaction.ts";
+import type { EntryId, JsonObject, SubmissionId, SubmissionSettlement, TaskId, TaskRecord, Tx } from "../types.ts";
+import type { SchedulerOutcome } from "./scheduler.ts";
+import type { CompactionReason, CompactionResult, ToolDiagnostic } from "./types.ts";
+/** What a running tool call publishes, shared by model-issued and nested calls. */
+type SlotProgress = {
+    callId: string;
+    name: string;
+    status: "pending" | "running" | "done";
+    /** Retained running output and what the bounds dropped. */
+    output?: string;
+    droppedBytes?: number;
+    droppedLines?: number;
+    /** Last `details()` value. */
+    details?: JsonValue;
+    /** Diagnostics recorded through `api.diagnostic()`. */
+    diagnostics?: ToolDiagnostic[];
+};
+/** Presentation of one tool call of the current round. */
+export type ToolSlot = SlotProgress & {
+    /**
+     * Absent for a call not started yet (sequential round) and for a call its request did not offer, which starts `done`
+     * with the `entry` generation wrote.
+     */
+    taskId?: TaskId;
+    /** Result entry once done; absent when the tool task faulted or was orphaned. */
+    entry?: EntryId;
+};
+/**
+ * Presentation of one nested call: a call a running tool made through `executeTool()`. `callId` is
+ * `<parentCallId>/<key>`, the call's ID in tool events and unique because keys contain no `/`. The Harness relates
+ * slots by task ID: `taskId` is the call's tool task, `parentTaskId` the calling one, model-issued or nested.
+ */
+export type NestedToolSlot = SlotProgress & {
+    parentCallId: string;
+    parentTaskId: TaskId;
+    taskId: TaskId;
+    /**
+     * What the call was made with, replaced by the arguments it runs with, after repair, `beforeTool`, and coercion,
+     * once it starts executing. A model-issued call's arguments are in its assistant entry instead.
+     */
+    arguments: JsonObject;
+    /** Once done: how the call ended, for a status line. The result itself is in the caller's `NestedCallDoc`. */
+    summary?: NestedToolSummary;
+};
+/** How a nested call ended: an error flag, its execution time, its spend, and up to 500 characters of error text. */
+export type NestedToolSummary = {
+    isError: boolean;
+    durationMs?: number;
+    usage?: JsonRepresentation<Usage>;
+    error?: string;
+};
+/** Presentation of one live compaction task (spec §8.7). */
+export type CompactionStatus = {
+    taskId: TaskId<CompactionResult>;
+    reason: CompactionReason;
+    /** Whether a generation waits for it: a compaction the generation owns. */
+    blocking: boolean;
+    attempt: number;
+    /** Durable backoff before the next summarization attempt. */
+    retry?: {
+        at: number;
+        error: string;
+    };
+};
+/** Built-in live conversation state: run control and presentation of the current generation and tool round. */
+export type LiveState = {
+    /** Run control: the task that settles the run's inputs, and those inputs; present exactly while busy. */
+    run?: {
+        taskId: TaskId;
+        inputs: SubmissionId[];
+    };
+    /** Presentation of the current generation attempt. */
+    generation?: {
+        attempt: number;
+        /** Committed throttled partial of the in-flight response. */
+        message?: JsonRepresentation<AssistantMessage>;
+        /** Durable backoff before the next attempt. */
+        retry?: {
+            at: number;
+            error: string;
+        };
+        /** Provider-side deferred response being polled. */
+        deferred?: {
+            pollAt: number;
+        };
+    };
+    /** The current tool round in call order, from the tool-calling answer until the generation's `tools` phase ends it. */
+    tools?: ToolSlot[];
+    /**
+     * Nested calls of running tool calls, in creation order, so a parent precedes its children and task IDs ascend. A
+     * call's nested slots are removed when the call settles.
+     */
+    nestedTools?: NestedToolSlot[];
+    /** Live compaction tasks in task ID order; absent when none. */
+    compactions?: CompactionStatus[];
+};
+export declare const LiveDoc: import("../types.ts").ConversationDocToken<LiveState>;
+/**
+ * End the run owned by `taskId`: settle each of its inputs and remove `run`. Always removes `generation`, `tools`, and
+ * `nestedTools`, whose presentation belongs to the ending run.
+ */
+export declare function endRun(tx: Tx, live: Draft<LiveState>, taskId: TaskId, settlement: SubmissionSettlement): void;
+/** Add the status of a compaction task created in this commit; statuses stay in task ID order. */
+export declare function addCompactionStatus(live: Draft<LiveState>, status: CompactionStatus): void;
+/** The status of compaction task `taskId`, if listed. */
+export declare function compactionStatus(live: Draft<LiveState>, taskId: TaskId): Draft<CompactionStatus> | undefined;
+/** Remove the status of compaction task `taskId`, and the list once empty. */
+export declare function removeCompactionStatus(live: Draft<LiveState>, taskId: TaskId): void;
+/**
+ * The slot of tool task `taskId`, model-issued or nested, if `nyan.live` still lists it. Nested slots are found by binary
+ * search: a tool may make thousands of nested calls, each of which looks up its slot in several commits, and every
+ * element a search reads costs a node in the draft's change tracker. Their task IDs ascend: each slot is appended in
+ * the commit that creates its task, task IDs ascend in commit order, and removal keeps the order.
+ */
+export declare function toolSlot(live: Draft<LiveState>, taskId: TaskId): Draft<ToolSlot | NestedToolSlot> | undefined;
+/**
+ * Mark a slot done and clear its running output; the caller sets a model-issued call's result `entry`, or a nested
+ * call's `summary`. Neither is set when the task faulted or was orphaned.
+ */
+export declare function finishSlot(slot: Draft<ToolSlot | NestedToolSlot>): void;
+/** Remove the nested slots below tool task `taskId`, transitively; the list holds parents before their children. */
+export declare function removeNestedSlots(live: Draft<LiveState>, taskId: TaskId): void;
+/** Remove what a tool published while running; its result entry or a rerun replaces it. */
+export declare function clearProgress(slot: Draft<SlotProgress>): void;
+/**
+ * Harness cleanup for a terminal outcome the scheduler writes itself (`faulted` or `orphaned`). A run task ends its
+ * run; a tool task's slot is marked done without an entry, and context derivation synthesizes the missing result; a
+ * compaction task's status is removed.
+ * Ignores other kinds so it never creates `nyan.live` elsewhere. The scheduler calls this without knowing task kinds;
+ * the Harness passes it in (spec §5.4).
+ * REMINDER: a committed generation partial becomes an aborted assistant entry here, exactly as in the generation abort
+ * handler, so the transcript keeps what the model produced and `nyan.usage` counts its spend. The scheduler's commit has
+ * no task scope, so that entry has no `byTaskId`. Faults come from task bugs
+ * or malformed provider data (a non-JSON value in a response), or a commit the Storage rejected without effect; an
+ * uncertain storage failure poisons the Session instead and writes no outcome.
+ */
+export declare function settleSchedulerOutcome(tx: Transaction, record: TaskRecord<JsonValue, JsonValue, JsonValue>, outcome: SchedulerOutcome): Promise<void>;
+export {};
+//# sourceMappingURL=live.d.ts.map

package/dist/harness/live.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"live.d.ts","sourceRoot":"","sources":["../../src/harness/live.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,KAAK,EAAE,KAAK,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,oBAAoB,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AAEnH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,KAAK,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAErF,mFAAmF;AACnF,KAAK,YAAY,GAAG;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,MAAM,CAAC;IACvC,2DAA2D;IAC3D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,8BAA8B;IAC9B,OAAO,CAAC,EAAE,SAAS,CAAC;IACpB,uDAAuD;IACvD,WAAW,CAAC,EAAE,cAAc,EAAE,CAAC;CAC/B,CAAC;AAEF,0DAA0D;AAC1D,MAAM,MAAM,QAAQ,GAAG,YAAY,GAAG;IACrC;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iFAAiF;IACjF,KAAK,CAAC,EAAE,OAAO,CAAC;CAChB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,YAAY,GAAG;IAC3C,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,SAAS,EAAE,UAAU,CAAC;IACtB,8GAA8G;IAC9G,OAAO,CAAC,EAAE,iBAAiB,CAAC;CAC5B,CAAC;AAEF,qHAAqH;AACrH,MAAM,MAAM,iBAAiB,GAAG;IAC/B,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAClC,KAAK,CAAC,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,4DAA4D;AAC5D,MAAM,MAAM,gBAAgB,GAAG;IAC9B,MAAM,EAAE,MAAM,CAAC,gBAAgB,CAAC,CAAC;IACjC,MAAM,EAAE,gBAAgB,CAAC;IACzB,2EAA2E;IAC3E,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,6DAA6D;IAC7D,KAAK,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CACtC,CAAC;AAEF,+GAA+G;AAC/G,MAAM,MAAM,SAAS,GAAG;IACvB,yGAAyG;IACzG,GAAG,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,YAAY,EAAE,CAAA;KAAE,CAAC;IACjD,sDAAsD;IACtD,UAAU,CAAC,EAAE;QACZ,OAAO,EAAE,MAAM,CAAC;QAChB,6DAA6D;QAC7D,OAAO,CAAC,EAAE,kBAAkB,CAAC,gBAAgB,CAAC,CAAC;QAC/C,+CAA+C;QAC/C,KAAK,CAAC,EAAE;YAAE,EAAE,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC;QACtC,oDAAoD;QACpD,QAAQ,CAAC,EAAE;YAAE,MAAM,EAAE,MAAM,CAAA;SAAE,CAAC;KAC9B,CAAC;IACF,uHAAuH;IACvH,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;IACnB;;;OAGG;IACH,WAAW,CAAC,EAAE,cAAc,EAAE,CAAC;IAC/B,gEAAgE;IAChE,WAAW,CAAC,EAAE,gBAAgB,EAAE,CAAC;CACjC,CAAC;AAEF,eAAO,MAAM,OAAO,uDAgBlB,CAAC;AAOH;;;GAGG;AACH,wBAAgB,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,oBAAoB,GAAG,IAAI,CAQ7G;AAED,kGAAkG;AAClG,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,gBAAgB,GAAG,IAAI,CAG1F;AAED,yDAAyD;AACzD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAAG,SAAS,CAE5G;AAED,8EAA8E;AAC9E,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAMnF;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,QAAQ,GAAG,cAAc,CAAC,GAAG,SAAS,CAc7G;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,GAAG,cAAc,CAAC,GAAG,IAAI,CAGvE;AAED,oHAAoH;AACpH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAS9E;AAED,2FAA2F;AAC3F,wBAAgB,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,IAAI,CAM7D;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,sBAAsB,CAC3C,EAAE,EAAE,WAAW,EACf,MAAM,EAAE,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,EACnD,OAAO,EAAE,gBAAgB,GACvB,OAAO,CAAC,IAAI,CAAC,CAwBf"}

package/dist/harness/live.js

@@ -0,0 +1,149 @@
+import { defineDoc } from "../documents.js";
+import { convertPartial } from "./assistant.js";
+export const LiveDoc = defineDoc({
+    kind: "nyan.live",
+    version: 1,
+    scope: "conversation",
+    history: "latest",
+    fork: "initial",
+    initial: () => ({}),
+    // REMINDER: a complete base whenever nothing runs (spec §8.2): no generation and no running tool slot. That holds
+    // while idle, in the commit handing a generation over to its tool round, and between tools, so the delta chain
+    // spans at most one generation or the overlapping execution of one round's tools. A slot holds output only while
+    // running, so every base is small; a nested call's result lives in its caller's task documents, never here. Do not
+    // add a delta-count bound; the tool output benchmark checks this rule.
+    checkpointWhen: (value) => value.generation === undefined &&
+        !(value.tools ?? []).some((slot) => slot.status === "running") &&
+        !(value.nestedTools ?? []).some((slot) => slot.status === "running"),
+});
+/** Built-in task kinds that can own `nyan.live.run`. */
+const RUN_TASK_KINDS = new Set(["nyan.generation"]);
+const TOOL_TASK_KIND = "nyan.tool";
+const COMPACTION_TASK_KIND = "nyan.compaction";
+/**
+ * End the run owned by `taskId`: settle each of its inputs and remove `run`. Always removes `generation`, `tools`, and
+ * `nestedTools`, whose presentation belongs to the ending run.
+ */
+export function endRun(tx, live, taskId, settlement) {
+    if (live.run?.taskId === taskId) {
+        for (const id of live.run.inputs)
+            tx.settleSubmission(id, settlement);
+        delete live.run;
+    }
+    delete live.generation;
+    delete live.tools;
+    delete live.nestedTools;
+}
+/** Add the status of a compaction task created in this commit; statuses stay in task ID order. */
+export function addCompactionStatus(live, status) {
+    live.compactions ??= [];
+    live.compactions.push(status);
+}
+/** The status of compaction task `taskId`, if listed. */
+export function compactionStatus(live, taskId) {
+    return live.compactions?.find((status) => status.taskId === taskId);
+}
+/** Remove the status of compaction task `taskId`, and the list once empty. */
+export function removeCompactionStatus(live, taskId) {
+    const statuses = live.compactions;
+    if (statuses === undefined)
+        return;
+    const index = statuses.findIndex((status) => status.taskId === taskId);
+    if (index >= 0)
+        statuses.splice(index, 1);
+    if (statuses.length === 0)
+        delete live.compactions;
+}
+/**
+ * The slot of tool task `taskId`, model-issued or nested, if `nyan.live` still lists it. Nested slots are found by binary
+ * search: a tool may make thousands of nested calls, each of which looks up its slot in several commits, and every
+ * element a search reads costs a node in the draft's change tracker. Their task IDs ascend: each slot is appended in
+ * the commit that creates its task, task IDs ascend in commit order, and removal keeps the order.
+ */
+export function toolSlot(live, taskId) {
+    const slot = live.tools?.find((each) => each.taskId === taskId);
+    if (slot !== undefined || live.nestedTools === undefined)
+        return slot;
+    const nested = live.nestedTools;
+    let low = 0;
+    let high = nested.length - 1;
+    while (low <= high) {
+        const middle = (low + high) >>> 1;
+        const candidate = nested[middle];
+        if (candidate.taskId === taskId)
+            return candidate;
+        if (candidate.taskId < taskId)
+            low = middle + 1;
+        else
+            high = middle - 1;
+    }
+    return undefined;
+}
+/**
+ * Mark a slot done and clear its running output; the caller sets a model-issued call's result `entry`, or a nested
+ * call's `summary`. Neither is set when the task faulted or was orphaned.
+ */
+export function finishSlot(slot) {
+    slot.status = "done";
+    clearProgress(slot);
+}
+/** Remove the nested slots below tool task `taskId`, transitively; the list holds parents before their children. */
+export function removeNestedSlots(live, taskId) {
+    const nested = live.nestedTools;
+    if (nested === undefined)
+        return;
+    const removed = new Set([taskId]);
+    for (const slot of nested)
+        if (removed.has(slot.parentTaskId))
+            removed.add(slot.taskId);
+    for (let index = nested.length - 1; index >= 0; index--) {
+        if (removed.has(nested[index].parentTaskId))
+            nested.splice(index, 1);
+    }
+    if (nested.length === 0)
+        delete live.nestedTools;
+}
+/** Remove what a tool published while running; its result entry or a rerun replaces it. */
+export function clearProgress(slot) {
+    delete slot.output;
+    delete slot.droppedBytes;
+    delete slot.droppedLines;
+    delete slot.details;
+    delete slot.diagnostics;
+}
+/**
+ * Harness cleanup for a terminal outcome the scheduler writes itself (`faulted` or `orphaned`). A run task ends its
+ * run; a tool task's slot is marked done without an entry, and context derivation synthesizes the missing result; a
+ * compaction task's status is removed.
+ * Ignores other kinds so it never creates `nyan.live` elsewhere. The scheduler calls this without knowing task kinds;
+ * the Harness passes it in (spec §5.4).
+ * REMINDER: a committed generation partial becomes an aborted assistant entry here, exactly as in the generation abort
+ * handler, so the transcript keeps what the model produced and `nyan.usage` counts its spend. The scheduler's commit has
+ * no task scope, so that entry has no `byTaskId`. Faults come from task bugs
+ * or malformed provider data (a non-JSON value in a response), or a commit the Storage rejected without effect; an
+ * uncertain storage failure poisons the Session instead and writes no outcome.
+ */
+export async function settleSchedulerOutcome(tx, record, outcome) {
+    if (record.kind === TOOL_TASK_KIND) {
+        const live = await tx.doc(LiveDoc, record.conversationId);
+        const slot = toolSlot(live, record.id);
+        if (slot !== undefined)
+            finishSlot(slot);
+        removeNestedSlots(live, record.id);
+        return;
+    }
+    if (record.kind === COMPACTION_TASK_KIND) {
+        removeCompactionStatus(await tx.doc(LiveDoc, record.conversationId), record.id);
+        return;
+    }
+    if (!RUN_TASK_KINDS.has(record.kind))
+        return;
+    const live = await tx.doc(LiveDoc, record.conversationId);
+    if (live.run?.taskId !== record.id)
+        return;
+    await convertPartial(tx, live, record.conversationId);
+    endRun(tx, live, record.id, outcome.status === "faulted"
+        ? { status: "unanswered", reason: "faulted", detail: outcome.error.message }
+        : { status: "unanswered", reason: outcome.reason });
+}
+//# sourceMappingURL=live.js.map

package/dist/harness/live.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"live.js","sourceRoot":"","sources":["../../src/harness/live.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAG5C,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AA4FhD,MAAM,CAAC,MAAM,OAAO,GAAG,SAAS,CAAY;IAC3C,IAAI,EAAE,WAAW;IACjB,OAAO,EAAE,CAAC;IACV,KAAK,EAAE,cAAc;IACrB,OAAO,EAAE,QAAQ;IACjB,IAAI,EAAE,SAAS;IACf,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;IACnB,kHAAkH;IAClH,+GAA+G;IAC/G,iHAAiH;IACjH,mHAAmH;IACnH,uEAAuE;IACvE,cAAc,EAAE,CAAC,KAAK,EAAE,EAAE,CACzB,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;QAC9D,CAAC,CAAC,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;CACrE,CAAC,CAAC;AAEH,wDAAwD;AACxD,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC;AACzE,MAAM,cAAc,GAAG,WAAW,CAAC;AACnC,MAAM,oBAAoB,GAAG,iBAAiB,CAAC;AAE/C;;;GAGG;AACH,MAAM,UAAU,MAAM,CAAC,EAAM,EAAE,IAAsB,EAAE,MAAc,EAAE,UAAgC;IACtG,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,EAAE,CAAC;QACjC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM;YAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACtE,OAAO,IAAI,CAAC,GAAG,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC,UAAU,CAAC;IACvB,OAAO,IAAI,CAAC,KAAK,CAAC;IAClB,OAAO,IAAI,CAAC,WAAW,CAAC;AACzB,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,mBAAmB,CAAC,IAAsB,EAAE,MAAwB;IACnF,IAAI,CAAC,WAAW,KAAK,EAAE,CAAC;IACxB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,gBAAgB,CAAC,IAAsB,EAAE,MAAc;IACtE,OAAO,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AACrE,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,sBAAsB,CAAC,IAAsB,EAAE,MAAc;IAC5E,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC;IAClC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO;IACnC,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACvE,IAAI,KAAK,IAAI,CAAC;QAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC1C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,WAAW,CAAC;AACpD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAsB,EAAE,MAAc;IAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAChE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtE,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC;IAChC,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IAC7B,OAAO,GAAG,IAAI,IAAI,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAE,CAAC;QAClC,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM;YAAE,OAAO,SAAS,CAAC;QAClD,IAAI,SAAS,CAAC,MAAM,GAAG,MAAM;YAAE,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC;;YAC3C,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,IAAsC;IAChE,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACrB,aAAa,CAAC,IAAI,CAAC,CAAC;AACrB,CAAC;AAED,oHAAoH;AACpH,MAAM,UAAU,iBAAiB,CAAC,IAAsB,EAAE,MAAc;IACvE,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC;IAChC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,MAAM;QAAE,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxF,KAAK,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACzD,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,YAAY,CAAC;YAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,WAAW,CAAC;AAClD,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,aAAa,CAAC,IAAyB;IACtD,OAAO,IAAI,CAAC,MAAM,CAAC;IACnB,OAAO,IAAI,CAAC,YAAY,CAAC;IACzB,OAAO,IAAI,CAAC,YAAY,CAAC;IACzB,OAAO,IAAI,CAAC,OAAO,CAAC;IACpB,OAAO,IAAI,CAAC,WAAW,CAAC;AACzB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC3C,EAAe,EACf,MAAmD,EACnD,OAAyB;IAEzB,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,SAAS;YAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QACzC,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QACnC,OAAO;IACR,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC1C,sBAAsB,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QAChF,OAAO;IACR,CAAC;IACD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO;IAC7C,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC;IAC1D,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC,EAAE;QAAE,OAAO;IAC3C,MAAM,cAAc,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC;IACtD,MAAM,CACL,EAAE,EACF,IAAI,EACJ,MAAM,CAAC,EAAE,EACT,OAAO,CAAC,MAAM,KAAK,SAAS;QAC3B,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE;QAC5E,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CACnD,CAAC;AACH,CAAC","sourcesContent":["import type { AssistantMessage, Usage } from \"@ny4n/ai/contracts\";\nimport type { Draft, JsonRepresentation, JsonValue } from \"@ny4n/chord\";\nimport { defineDoc } from \"../documents.ts\";\nimport type { Transaction } from \"../session/transaction.ts\";\nimport type { EntryId, JsonObject, SubmissionId, SubmissionSettlement, TaskId, TaskRecord, Tx } from \"../types.ts\";\nimport { convertPartial } from \"./assistant.ts\";\nimport type { SchedulerOutcome } from \"./scheduler.ts\";\nimport type { CompactionReason, CompactionResult, ToolDiagnostic } from \"./types.ts\";\n\n/** What a running tool call publishes, shared by model-issued and nested calls. */\ntype SlotProgress = {\n\tcallId: string;\n\tname: string;\n\tstatus: \"pending\" | \"running\" | \"done\";\n\t/** Retained running output and what the bounds dropped. */\n\toutput?: string;\n\tdroppedBytes?: number;\n\tdroppedLines?: number;\n\t/** Last `details()` value. */\n\tdetails?: JsonValue;\n\t/** Diagnostics recorded through `api.diagnostic()`. */\n\tdiagnostics?: ToolDiagnostic[];\n};\n\n/** Presentation of one tool call of the current round. */\nexport type ToolSlot = SlotProgress & {\n\t/**\n\t * Absent for a call not started yet (sequential round) and for a call its request did not offer, which starts `done`\n\t * with the `entry` generation wrote.\n\t */\n\ttaskId?: TaskId;\n\t/** Result entry once done; absent when the tool task faulted or was orphaned. */\n\tentry?: EntryId;\n};\n\n/**\n * Presentation of one nested call: a call a running tool made through `executeTool()`. `callId` is\n * `<parentCallId>/<key>`, the call's ID in tool events and unique because keys contain no `/`. The Harness relates\n * slots by task ID: `taskId` is the call's tool task, `parentTaskId` the calling one, model-issued or nested.\n */\nexport type NestedToolSlot = SlotProgress & {\n\tparentCallId: string;\n\tparentTaskId: TaskId;\n\ttaskId: TaskId;\n\t/**\n\t * What the call was made with, replaced by the arguments it runs with, after repair, `beforeTool`, and coercion,\n\t * once it starts executing. A model-issued call's arguments are in its assistant entry instead.\n\t */\n\targuments: JsonObject;\n\t/** Once done: how the call ended, for a status line. The result itself is in the caller's `NestedCallDoc`. */\n\tsummary?: NestedToolSummary;\n};\n\n/** How a nested call ended: an error flag, its execution time, its spend, and up to 500 characters of error text. */\nexport type NestedToolSummary = {\n\tisError: boolean;\n\tdurationMs?: number;\n\tusage?: JsonRepresentation<Usage>;\n\terror?: string;\n};\n\n/** Presentation of one live compaction task (spec §8.7). */\nexport type CompactionStatus = {\n\ttaskId: TaskId<CompactionResult>;\n\treason: CompactionReason;\n\t/** Whether a generation waits for it: a compaction the generation owns. */\n\tblocking: boolean;\n\tattempt: number;\n\t/** Durable backoff before the next summarization attempt. */\n\tretry?: { at: number; error: string };\n};\n\n/** Built-in live conversation state: run control and presentation of the current generation and tool round. */\nexport type LiveState = {\n\t/** Run control: the task that settles the run's inputs, and those inputs; present exactly while busy. */\n\trun?: { taskId: TaskId; inputs: SubmissionId[] };\n\t/** Presentation of the current generation attempt. */\n\tgeneration?: {\n\t\tattempt: number;\n\t\t/** Committed throttled partial of the in-flight response. */\n\t\tmessage?: JsonRepresentation<AssistantMessage>;\n\t\t/** Durable backoff before the next attempt. */\n\t\tretry?: { at: number; error: string };\n\t\t/** Provider-side deferred response being polled. */\n\t\tdeferred?: { pollAt: number };\n\t};\n\t/** The current tool round in call order, from the tool-calling answer until the generation's `tools` phase ends it. */\n\ttools?: ToolSlot[];\n\t/**\n\t * Nested calls of running tool calls, in creation order, so a parent precedes its children and task IDs ascend. A\n\t * call's nested slots are removed when the call settles.\n\t */\n\tnestedTools?: NestedToolSlot[];\n\t/** Live compaction tasks in task ID order; absent when none. */\n\tcompactions?: CompactionStatus[];\n};\n\nexport const LiveDoc = defineDoc<LiveState>({\n\tkind: \"nyan.live\",\n\tversion: 1,\n\tscope: \"conversation\",\n\thistory: \"latest\",\n\tfork: \"initial\",\n\tinitial: () => ({}),\n\t// REMINDER: a complete base whenever nothing runs (spec §8.2): no generation and no running tool slot. That holds\n\t// while idle, in the commit handing a generation over to its tool round, and between tools, so the delta chain\n\t// spans at most one generation or the overlapping execution of one round's tools. A slot holds output only while\n\t// running, so every base is small; a nested call's result lives in its caller's task documents, never here. Do not\n\t// add a delta-count bound; the tool output benchmark checks this rule.\n\tcheckpointWhen: (value) =>\n\t\tvalue.generation === undefined &&\n\t\t!(value.tools ?? []).some((slot) => slot.status === \"running\") &&\n\t\t!(value.nestedTools ?? []).some((slot) => slot.status === \"running\"),\n});\n\n/** Built-in task kinds that can own `nyan.live.run`. */\nconst RUN_TASK_KINDS: ReadonlySet<string> = new Set([\"nyan.generation\"]);\nconst TOOL_TASK_KIND = \"nyan.tool\";\nconst COMPACTION_TASK_KIND = \"nyan.compaction\";\n\n/**\n * End the run owned by `taskId`: settle each of its inputs and remove `run`. Always removes `generation`, `tools`, and\n * `nestedTools`, whose presentation belongs to the ending run.\n */\nexport function endRun(tx: Tx, live: Draft<LiveState>, taskId: TaskId, settlement: SubmissionSettlement): void {\n\tif (live.run?.taskId === taskId) {\n\t\tfor (const id of live.run.inputs) tx.settleSubmission(id, settlement);\n\t\tdelete live.run;\n\t}\n\tdelete live.generation;\n\tdelete live.tools;\n\tdelete live.nestedTools;\n}\n\n/** Add the status of a compaction task created in this commit; statuses stay in task ID order. */\nexport function addCompactionStatus(live: Draft<LiveState>, status: CompactionStatus): void {\n\tlive.compactions ??= [];\n\tlive.compactions.push(status);\n}\n\n/** The status of compaction task `taskId`, if listed. */\nexport function compactionStatus(live: Draft<LiveState>, taskId: TaskId): Draft<CompactionStatus> | undefined {\n\treturn live.compactions?.find((status) => status.taskId === taskId);\n}\n\n/** Remove the status of compaction task `taskId`, and the list once empty. */\nexport function removeCompactionStatus(live: Draft<LiveState>, taskId: TaskId): void {\n\tconst statuses = live.compactions;\n\tif (statuses === undefined) return;\n\tconst index = statuses.findIndex((status) => status.taskId === taskId);\n\tif (index >= 0) statuses.splice(index, 1);\n\tif (statuses.length === 0) delete live.compactions;\n}\n\n/**\n * The slot of tool task `taskId`, model-issued or nested, if `nyan.live` still lists it. Nested slots are found by binary\n * search: a tool may make thousands of nested calls, each of which looks up its slot in several commits, and every\n * element a search reads costs a node in the draft's change tracker. Their task IDs ascend: each slot is appended in\n * the commit that creates its task, task IDs ascend in commit order, and removal keeps the order.\n */\nexport function toolSlot(live: Draft<LiveState>, taskId: TaskId): Draft<ToolSlot | NestedToolSlot> | undefined {\n\tconst slot = live.tools?.find((each) => each.taskId === taskId);\n\tif (slot !== undefined || live.nestedTools === undefined) return slot;\n\tconst nested = live.nestedTools;\n\tlet low = 0;\n\tlet high = nested.length - 1;\n\twhile (low <= high) {\n\t\tconst middle = (low + high) >>> 1;\n\t\tconst candidate = nested[middle]!;\n\t\tif (candidate.taskId === taskId) return candidate;\n\t\tif (candidate.taskId < taskId) low = middle + 1;\n\t\telse high = middle - 1;\n\t}\n\treturn undefined;\n}\n\n/**\n * Mark a slot done and clear its running output; the caller sets a model-issued call's result `entry`, or a nested\n * call's `summary`. Neither is set when the task faulted or was orphaned.\n */\nexport function finishSlot(slot: Draft<ToolSlot | NestedToolSlot>): void {\n\tslot.status = \"done\";\n\tclearProgress(slot);\n}\n\n/** Remove the nested slots below tool task `taskId`, transitively; the list holds parents before their children. */\nexport function removeNestedSlots(live: Draft<LiveState>, taskId: TaskId): void {\n\tconst nested = live.nestedTools;\n\tif (nested === undefined) return;\n\tconst removed = new Set<TaskId>([taskId]);\n\tfor (const slot of nested) if (removed.has(slot.parentTaskId)) removed.add(slot.taskId);\n\tfor (let index = nested.length - 1; index >= 0; index--) {\n\t\tif (removed.has(nested[index]!.parentTaskId)) nested.splice(index, 1);\n\t}\n\tif (nested.length === 0) delete live.nestedTools;\n}\n\n/** Remove what a tool published while running; its result entry or a rerun replaces it. */\nexport function clearProgress(slot: Draft<SlotProgress>): void {\n\tdelete slot.output;\n\tdelete slot.droppedBytes;\n\tdelete slot.droppedLines;\n\tdelete slot.details;\n\tdelete slot.diagnostics;\n}\n\n/**\n * Harness cleanup for a terminal outcome the scheduler writes itself (`faulted` or `orphaned`). A run task ends its\n * run; a tool task's slot is marked done without an entry, and context derivation synthesizes the missing result; a\n * compaction task's status is removed.\n * Ignores other kinds so it never creates `nyan.live` elsewhere. The scheduler calls this without knowing task kinds;\n * the Harness passes it in (spec §5.4).\n * REMINDER: a committed generation partial becomes an aborted assistant entry here, exactly as in the generation abort\n * handler, so the transcript keeps what the model produced and `nyan.usage` counts its spend. The scheduler's commit has\n * no task scope, so that entry has no `byTaskId`. Faults come from task bugs\n * or malformed provider data (a non-JSON value in a response), or a commit the Storage rejected without effect; an\n * uncertain storage failure poisons the Session instead and writes no outcome.\n */\nexport async function settleSchedulerOutcome(\n\ttx: Transaction,\n\trecord: TaskRecord<JsonValue, JsonValue, JsonValue>,\n\toutcome: SchedulerOutcome,\n): Promise<void> {\n\tif (record.kind === TOOL_TASK_KIND) {\n\t\tconst live = await tx.doc(LiveDoc, record.conversationId);\n\t\tconst slot = toolSlot(live, record.id);\n\t\tif (slot !== undefined) finishSlot(slot);\n\t\tremoveNestedSlots(live, record.id);\n\t\treturn;\n\t}\n\tif (record.kind === COMPACTION_TASK_KIND) {\n\t\tremoveCompactionStatus(await tx.doc(LiveDoc, record.conversationId), record.id);\n\t\treturn;\n\t}\n\tif (!RUN_TASK_KINDS.has(record.kind)) return;\n\tconst live = await tx.doc(LiveDoc, record.conversationId);\n\tif (live.run?.taskId !== record.id) return;\n\tawait convertPartial(tx, live, record.conversationId);\n\tendRun(\n\t\ttx,\n\t\tlive,\n\t\trecord.id,\n\t\toutcome.status === \"faulted\"\n\t\t\t? { status: \"unanswered\", reason: \"faulted\", detail: outcome.error.message }\n\t\t\t: { status: \"unanswered\", reason: outcome.reason },\n\t);\n}\n"]}

package/dist/harness/output.d.ts

@@ -0,0 +1,69 @@
+import type { ShellOutputSkip } from "../env/index.ts";
+/** Retention limits of one tool's output. */
+export type OutputLimits = {
+    readonly maxBytes: number;
+    readonly maxLines: number;
+    readonly retain: "head" | "tail";
+};
+/** Retained output and what the limits dropped. */
+export type BoundedOutput = {
+    readonly text: string;
+    readonly droppedBytes: number;
+    readonly droppedLines: number;
+};
+/** An exact slice of the input within the limits, and what it left out. */
+export type OutputSlice = {
+    readonly text: string;
+    readonly bytes: number;
+    readonly droppedBytes: number;
+    readonly droppedLines: number;
+};
+/** Remove control characters that break display and transcripts; tabs and newlines stay. */
+export declare function sanitizeOutput(text: string): string;
+/**
+ * Bound `text` to whole lines within the limits: the first lines for `head`, the last lines for `tail`. The result is an
+ * exact slice, trailing newline included. A single line longer than `maxBytes` is cut at the byte limit on a character
+ * boundary.
+ */
+export declare function boundOutput(text: string, limits: OutputLimits): OutputSlice;
+/** The last character boundary at or before `index`. */
+export declare function characterEnd(bytes: Uint8Array, index: number): number;
+/**
+ * Bounded running output of one tool call. Accepting a chunk costs time proportional to the chunk: head retention stops
+ * storing once the window is full, and tail retention drops stored text the window no longer needs when it snapshots.
+ * Counts of the whole stream are kept so the dropped totals stay exact.
+ */
+export declare class OutputBuffer {
+    #private;
+    constructor(limits: OutputLimits);
+    /** Bytes currently held; bounded by the limits plus one chunk. */
+    get storedBytes(): number;
+    /**
+     * Accept a chunk; returns whether anything was accepted. `skipped` is output omitted right before the chunk, which
+     * must be more than the tail window by at least one byte or line (`ShellOutputInfo.skipped`); only tail retention
+     * accepts it.
+     */
+    push(chunk: string | Uint8Array, skipped?: ShellOutputSkip): boolean;
+    /** Flush an incomplete trailing character as a replacement character; call when the stream ends. */
+    end(): void;
+    /** Retained, sanitized output and what the limits dropped from the whole stream. */
+    snapshot(): BoundedOutput;
+}
+/** Each progress commit also buys a pause proportional to what it wrote. */
+export declare const PROGRESS_BYTES_PER_SECOND: number;
+/**
+ * Adaptive progress commits: the first change after an idle period commits at once; each commit then delays the next
+ * by at least `minIntervalMs` and by its written size at 100 KiB/s. At most one commit is in flight; changes made
+ * meanwhile coalesce into the next one.
+ */
+export declare class Progress {
+    #private;
+    constructor(write: () => Promise<number>, onError: (error: unknown) => void, minIntervalMs: number);
+    /** Schedule a commit. */
+    mark(): void;
+    /** Schedule a commit; the promise settles with the commit that includes this change. */
+    markAndWait(): Promise<void>;
+    /** Stop committing and wait for the commit in flight; returns the waiters the final commit must settle. */
+    stop(): Promise<PromiseWithResolvers<void>[]>;
+}
+//# sourceMappingURL=output.d.ts.map

package/dist/harness/output.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"output.d.ts","sourceRoot":"","sources":["../../src/harness/output.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAGvD,6CAA6C;AAC7C,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,CAAC;AAEtH,mDAAmD;AACnD,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpH,2EAA2E;AAC3E,MAAM,MAAM,WAAW,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC9B,CAAC;AAQF,4FAA4F;AAC5F,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,GAAG,WAAW,CAU3E;AA0CD,wDAAwD;AACxD,wBAAgB,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAIrE;AAgBD;;;;GAIG;AACH,qBAAa,YAAY;;IAkBxB,YAAY,MAAM,EAAE,YAAY,EAE/B;IAED,kEAAkE;IAClE,IAAI,WAAW,IAAI,MAAM,CAExB;IAED;;;;OAIG;IACH,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,EAAE,OAAO,CAAC,EAAE,eAAe,GAAG,OAAO,CAanE;IAaD,oGAAoG;IACpG,GAAG,IAAI,IAAI,CAEV;IAgCD,oFAAoF;IACpF,QAAQ,IAAI,aAAa,CAoBxB;CACD;AAiCD,4EAA4E;AAC5E,eAAO,MAAM,yBAAyB,QAAa,CAAC;AAEpD;;;;GAIG;AACH,qBAAa,QAAQ;;IAWpB,YAAY,KAAK,EAAE,MAAM,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,EAAE,aAAa,EAAE,MAAM,EAIjG;IAED,yBAAyB;IACzB,IAAI,IAAI,IAAI,CAGX;IAED,wFAAwF;IACxF,WAAW,IAAI,OAAO,CAAC,IAAI,CAAC,CAK3B;IAED,2GAA2G;IACrG,IAAI,IAAI,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC,CAMlD;CAmCD"}