@ny4n/durable 0.0.0-stage → 1.0.0

package/dist/harness/registry.js

@@ -0,0 +1,101 @@
+import { INSTRUCTIONS_KEY } from "./agent.js";
+import { CompactionTask } from "./compaction.js";
+import { GenerationTask } from "./generation.js";
+import { ToolTask } from "./tool.js";
+const SECTION_KEY = /^[a-z][a-z0-9_-]*$/;
+/** Built-in task definitions every registry holds; they are not an extension and cannot be removed or replaced. */
+export const BUILTIN_TASKS = [GenerationTask, ToolTask, CompactionTask];
+/** Immutable published registry state. */
+class RegistryState {
+    #extensions;
+    #byName;
+    #tasks;
+    constructor(extensions) {
+        this.#extensions = extensions;
+        this.#byName = new Map(extensions.map((extension) => [extension.name, extension]));
+        const tasks = new Map();
+        for (const task of BUILTIN_TASKS)
+            tasks.set(task.definition.name, task);
+        for (const extension of extensions) {
+            for (const task of extension.tasks ?? []) {
+                const name = task.definition.name;
+                if (tasks.has(name))
+                    throw new Error(`Task ${name} of extension ${extension.name} is already installed`);
+                tasks.set(name, task);
+            }
+        }
+        this.#tasks = tasks;
+    }
+    installed() {
+        return this.#extensions;
+    }
+    extension(name) {
+        return this.#byName.get(name);
+    }
+    tools() {
+        return this.#extensions.flatMap((extension) => (extension.tools ?? []).map((tool) => ({ extension, tool })));
+    }
+    sections() {
+        return this.#extensions.flatMap((extension) => (extension.sections ?? []).map((section) => ({ extension, section })));
+    }
+    tasks() {
+        return [...this.#tasks.values()];
+    }
+    task(name) {
+        return this.#tasks.get(name);
+    }
+}
+class RegistryImpl {
+    #current = new RegistryState([]);
+    #listeners = new Set();
+    snapshot() {
+        return this.#current;
+    }
+    subscribe(listener) {
+        this.#listeners.add(listener);
+        return () => this.#listeners.delete(listener);
+    }
+    install(extension) {
+        validateExtension(extension);
+        const current = this.#current.installed();
+        const index = current.findIndex((installed) => installed.name === extension.name);
+        const next = index < 0 ? [...current, extension] : current.map((installed, at) => (at === index ? extension : installed));
+        this.#publish(next);
+    }
+    uninstall(extension) {
+        const current = this.#current.installed();
+        if (!current.some((installed) => installed.name === extension.name))
+            return;
+        this.#publish(current.filter((installed) => installed.name !== extension.name));
+    }
+    /** Build and validate the next state, which throws on a task name collision, then publish it synchronously. */
+    #publish(extensions) {
+        this.#current = new RegistryState(extensions);
+        for (const listener of [...this.#listeners])
+            listener();
+    }
+}
+/** Unique tool names and section keys within one extension; valid, unreserved section keys. */
+function validateExtension(extension) {
+    const tools = new Set();
+    for (const tool of extension.tools ?? []) {
+        if (tools.has(tool.name))
+            throw new Error(`Extension ${extension.name} has two tools named ${tool.name}`);
+        tools.add(tool.name);
+    }
+    const sections = new Set();
+    for (const { key } of extension.sections ?? []) {
+        if (!SECTION_KEY.test(key))
+            throw new TypeError(`Section key ${JSON.stringify(key)} must match ${SECTION_KEY}`);
+        if (key === INSTRUCTIONS_KEY)
+            throw new Error(`Section key ${key} is reserved for the agent's instructions`);
+        if (sections.has(key))
+            throw new Error(`Extension ${extension.name} has two sections with key ${key}`);
+        sections.add(key);
+    }
+}
+/** Create an application-owned registry holding only the built-in tasks. */
+export function createRegistry() {
+    return new RegistryImpl();
+}
+//# sourceMappingURL=registry.js.map

package/dist/harness/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/harness/registry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAGrC,MAAM,WAAW,GAAG,oBAAoB,CAAC;AAEzC,mHAAmH;AACnH,MAAM,CAAC,MAAM,aAAa,GAAuB,CAAC,cAAc,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;AAE5F,0CAA0C;AAC1C,MAAM,aAAa;IACT,WAAW,CAA6B;IACxC,OAAO,CAAuC;IAC9C,MAAM,CAA+B;IAE9C,YAAY,UAAsC;QACjD,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC;QAC9B,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;QACnF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;QACzC,KAAK,MAAM,IAAI,IAAI,aAAa;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxE,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACpC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;gBAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;gBAClC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,iBAAiB,SAAS,CAAC,IAAI,uBAAuB,CAAC,CAAC;gBACzG,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACvB,CAAC;QACF,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACrB,CAAC;IAED,SAAS;QACR,OAAO,IAAI,CAAC,WAAW,CAAC;IACzB,CAAC;IAED,SAAS,CAAC,IAAY;QACrB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,KAAK;QACJ,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9G,CAAC;IAED,QAAQ;QACP,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAC7C,CAAC,SAAS,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,CACrE,CAAC;IACH,CAAC;IAED,KAAK;QACJ,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAClC,CAAC;IAED,IAAI,CAAC,IAAY;QAChB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;CACD;AAED,MAAM,YAAY;IACjB,QAAQ,GAAG,IAAI,aAAa,CAAO,EAAE,CAAC,CAAC;IAC9B,UAAU,GAAG,IAAI,GAAG,EAAc,CAAC;IAE5C,QAAQ;QACP,OAAO,IAAI,CAAC,QAAQ,CAAC;IACtB,CAAC;IAED,SAAS,CAAC,QAAoB;QAC7B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9B,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,CAAC,SAA0B;QACjC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,CAAC;QAClF,MAAM,IAAI,GACT,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAC9G,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IAED,SAAS,CAAC,SAAoB;QAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;QAC1C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC;YAAE,OAAO;QAC5E,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACjF,CAAC;IAED,+GAA+G;IAC/G,QAAQ,CAAC,UAAsC;QAC9C,IAAI,CAAC,QAAQ,GAAG,IAAI,aAAa,CAAC,UAAU,CAAC,CAAC;QAC9C,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;YAAE,QAAQ,EAAE,CAAC;IACzD,CAAC;CACD;AAED,+FAA+F;AAC/F,SAAS,iBAAiB,CAAC,SAAoB;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,aAAa,SAAS,CAAC,IAAI,wBAAwB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1G,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,EAAE,GAAG,EAAE,IAAI,SAAS,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QAChD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,eAAe,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,eAAe,WAAW,EAAE,CAAC,CAAC;QAChH,IAAI,GAAG,KAAK,gBAAgB;YAAE,MAAM,IAAI,KAAK,CAAC,eAAe,GAAG,2CAA2C,CAAC,CAAC;QAC7G,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,aAAa,SAAS,CAAC,IAAI,8BAA8B,GAAG,EAAE,CAAC,CAAC;QACvG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;AACF,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,cAAc;IAC7B,OAAO,IAAI,YAAY,EAAQ,CAAC;AACjC,CAAC","sourcesContent":["import { INSTRUCTIONS_KEY } from \"./agent.ts\";\nimport { CompactionTask } from \"./compaction.ts\";\nimport { GenerationTask } from \"./generation.ts\";\nimport { ToolTask } from \"./tool.ts\";\nimport type { AnyTask, Extension, PromptSection, Registry, RegistrySnapshot, ToolRegistration } from \"./types.ts\";\n\nconst SECTION_KEY = /^[a-z][a-z0-9_-]*$/;\n\n/** Built-in task definitions every registry holds; they are not an extension and cannot be removed or replaced. */\nexport const BUILTIN_TASKS: readonly AnyTask[] = [GenerationTask, ToolTask, CompactionTask];\n\n/** Immutable published registry state. */\nclass RegistryState<Tool extends ToolRegistration> implements RegistrySnapshot<Tool> {\n\treadonly #extensions: readonly Extension<Tool>[];\n\treadonly #byName: ReadonlyMap<string, Extension<Tool>>;\n\treadonly #tasks: ReadonlyMap<string, AnyTask>;\n\n\tconstructor(extensions: readonly Extension<Tool>[]) {\n\t\tthis.#extensions = extensions;\n\t\tthis.#byName = new Map(extensions.map((extension) => [extension.name, extension]));\n\t\tconst tasks = new Map<string, AnyTask>();\n\t\tfor (const task of BUILTIN_TASKS) tasks.set(task.definition.name, task);\n\t\tfor (const extension of extensions) {\n\t\t\tfor (const task of extension.tasks ?? []) {\n\t\t\t\tconst name = task.definition.name;\n\t\t\t\tif (tasks.has(name)) throw new Error(`Task ${name} of extension ${extension.name} is already installed`);\n\t\t\t\ttasks.set(name, task);\n\t\t\t}\n\t\t}\n\t\tthis.#tasks = tasks;\n\t}\n\n\tinstalled(): readonly Extension<Tool>[] {\n\t\treturn this.#extensions;\n\t}\n\n\textension(name: string): Extension<Tool> | undefined {\n\t\treturn this.#byName.get(name);\n\t}\n\n\ttools(): readonly { readonly extension: Extension<Tool>; readonly tool: Tool }[] {\n\t\treturn this.#extensions.flatMap((extension) => (extension.tools ?? []).map((tool) => ({ extension, tool })));\n\t}\n\n\tsections(): readonly { readonly extension: Extension<Tool>; readonly section: PromptSection<Tool> }[] {\n\t\treturn this.#extensions.flatMap((extension) =>\n\t\t\t(extension.sections ?? []).map((section) => ({ extension, section })),\n\t\t);\n\t}\n\n\ttasks(): readonly AnyTask[] {\n\t\treturn [...this.#tasks.values()];\n\t}\n\n\ttask(name: string): AnyTask | undefined {\n\t\treturn this.#tasks.get(name);\n\t}\n}\n\nclass RegistryImpl<Tool extends ToolRegistration> implements Registry<Tool> {\n\t#current = new RegistryState<Tool>([]);\n\treadonly #listeners = new Set<() => void>();\n\n\tsnapshot(): RegistrySnapshot<Tool> {\n\t\treturn this.#current;\n\t}\n\n\tsubscribe(listener: () => void): () => void {\n\t\tthis.#listeners.add(listener);\n\t\treturn () => this.#listeners.delete(listener);\n\t}\n\n\tinstall(extension: Extension<Tool>): void {\n\t\tvalidateExtension(extension);\n\t\tconst current = this.#current.installed();\n\t\tconst index = current.findIndex((installed) => installed.name === extension.name);\n\t\tconst next =\n\t\t\tindex < 0 ? [...current, extension] : current.map((installed, at) => (at === index ? extension : installed));\n\t\tthis.#publish(next);\n\t}\n\n\tuninstall(extension: Extension): void {\n\t\tconst current = this.#current.installed();\n\t\tif (!current.some((installed) => installed.name === extension.name)) return;\n\t\tthis.#publish(current.filter((installed) => installed.name !== extension.name));\n\t}\n\n\t/** Build and validate the next state, which throws on a task name collision, then publish it synchronously. */\n\t#publish(extensions: readonly Extension<Tool>[]): void {\n\t\tthis.#current = new RegistryState(extensions);\n\t\tfor (const listener of [...this.#listeners]) listener();\n\t}\n}\n\n/** Unique tool names and section keys within one extension; valid, unreserved section keys. */\nfunction validateExtension(extension: Extension): void {\n\tconst tools = new Set<string>();\n\tfor (const tool of extension.tools ?? []) {\n\t\tif (tools.has(tool.name)) throw new Error(`Extension ${extension.name} has two tools named ${tool.name}`);\n\t\ttools.add(tool.name);\n\t}\n\tconst sections = new Set<string>();\n\tfor (const { key } of extension.sections ?? []) {\n\t\tif (!SECTION_KEY.test(key)) throw new TypeError(`Section key ${JSON.stringify(key)} must match ${SECTION_KEY}`);\n\t\tif (key === INSTRUCTIONS_KEY) throw new Error(`Section key ${key} is reserved for the agent's instructions`);\n\t\tif (sections.has(key)) throw new Error(`Extension ${extension.name} has two sections with key ${key}`);\n\t\tsections.add(key);\n\t}\n}\n\n/** Create an application-owned registry holding only the built-in tasks. */\nexport function createRegistry<Tool extends ToolRegistration = ToolRegistration>(): Registry<Tool> {\n\treturn new RegistryImpl<Tool>();\n}\n"]}

package/dist/harness/run.d.ts

@@ -0,0 +1,17 @@
+import type { Draft } from "@ny4n/chord";
+import type { ConversationId, SubmissionId, TaskId, TaskReference, Tx } from "../types.ts";
+import type { GenerationCheckpoint, GenerationInput, GenerationResult } from "./generation.ts";
+import type { LiveState } from "./live.ts";
+/**
+ * Identity and first checkpoint of the built-in generation task. Run control lives here, below the generation, so
+ * admission and live-state code can start a run without importing the generation that owns the run's behavior; the
+ * generation takes its `name`, `version` and `initial` from this reference.
+ */
+export declare const generationTaskReference: TaskReference<GenerationInput, GenerationCheckpoint, GenerationResult>;
+/** Start a run for `inputs`, placed input submissions: a new generation takes `nyan.live.run`. */
+export declare function startRun(tx: Tx, conversationId: ConversationId, live: Draft<LiveState>, inputs: SubmissionId[]): Promise<void>;
+/** A generation owned by its conversation. */
+export declare function createGeneration(tx: Tx, conversationId: ConversationId): Promise<TaskId<GenerationResult>>;
+/** Hand run control from `from` to `to`; the run's inputs move with it. */
+export declare function handOver(live: Draft<LiveState>, from: TaskId, to: TaskId): void;
+//# sourceMappingURL=run.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/harness/run.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AAC3F,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAC/F,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,EAAE,aAAa,CAAC,eAAe,EAAE,oBAAoB,EAAE,gBAAgB,CAM1G,CAAC;AAEF,kGAAkG;AAClG,wBAAsB,QAAQ,CAC7B,EAAE,EAAE,EAAE,EACN,cAAc,EAAE,cAAc,EAC9B,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,EACtB,MAAM,EAAE,YAAY,EAAE,GACpB,OAAO,CAAC,IAAI,CAAC,CAEf;AAED,8CAA8C;AAC9C,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAE1G;AAED,2EAA2E;AAC3E,wBAAgB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,CAE/E"}

package/dist/harness/run.js

@@ -0,0 +1,26 @@
+/**
+ * Identity and first checkpoint of the built-in generation task. Run control lives here, below the generation, so
+ * admission and live-state code can start a run without importing the generation that owns the run's behavior; the
+ * generation takes its `name`, `version` and `initial` from this reference.
+ */
+export const generationTaskReference = {
+    definition: {
+        name: "nyan.generation",
+        version: 1,
+        initial: () => ({ phase: "prepare", attempt: 1 }),
+    },
+};
+/** Start a run for `inputs`, placed input submissions: a new generation takes `nyan.live.run`. */
+export async function startRun(tx, conversationId, live, inputs) {
+    live.run = { taskId: await createGeneration(tx, conversationId), inputs };
+}
+/** A generation owned by its conversation. */
+export function createGeneration(tx, conversationId) {
+    return tx.createTask(generationTaskReference, {}, { ownership: { kind: "conversation" }, conversationId });
+}
+/** Hand run control from `from` to `to`; the run's inputs move with it. */
+export function handOver(live, from, to) {
+    if (live.run?.taskId === from)
+        live.run.taskId = to;
+}
+//# sourceMappingURL=run.js.map

package/dist/harness/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/harness/run.ts"],"names":[],"mappings":"AAKA;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAA2E;IAC9G,UAAU,EAAE;QACX,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;KACjD;CACD,CAAC;AAEF,kGAAkG;AAClG,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC7B,EAAM,EACN,cAA8B,EAC9B,IAAsB,EACtB,MAAsB;IAEtB,IAAI,CAAC,GAAG,GAAG,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC,EAAE,EAAE,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;AAC3E,CAAC;AAED,8CAA8C;AAC9C,MAAM,UAAU,gBAAgB,CAAC,EAAM,EAAE,cAA8B;IACtE,OAAO,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC;AAC5G,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,QAAQ,CAAC,IAAsB,EAAE,IAAY,EAAE,EAAU;IACxE,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI;QAAE,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,EAAE,CAAC;AACrD,CAAC","sourcesContent":["import type { Draft } from \"@ny4n/chord\";\nimport type { ConversationId, SubmissionId, TaskId, TaskReference, Tx } from \"../types.ts\";\nimport type { GenerationCheckpoint, GenerationInput, GenerationResult } from \"./generation.ts\";\nimport type { LiveState } from \"./live.ts\";\n\n/**\n * Identity and first checkpoint of the built-in generation task. Run control lives here, below the generation, so\n * admission and live-state code can start a run without importing the generation that owns the run's behavior; the\n * generation takes its `name`, `version` and `initial` from this reference.\n */\nexport const generationTaskReference: TaskReference<GenerationInput, GenerationCheckpoint, GenerationResult> = {\n\tdefinition: {\n\t\tname: \"nyan.generation\",\n\t\tversion: 1,\n\t\tinitial: () => ({ phase: \"prepare\", attempt: 1 }),\n\t},\n};\n\n/** Start a run for `inputs`, placed input submissions: a new generation takes `nyan.live.run`. */\nexport async function startRun(\n\ttx: Tx,\n\tconversationId: ConversationId,\n\tlive: Draft<LiveState>,\n\tinputs: SubmissionId[],\n): Promise<void> {\n\tlive.run = { taskId: await createGeneration(tx, conversationId), inputs };\n}\n\n/** A generation owned by its conversation. */\nexport function createGeneration(tx: Tx, conversationId: ConversationId): Promise<TaskId<GenerationResult>> {\n\treturn tx.createTask(generationTaskReference, {}, { ownership: { kind: \"conversation\" }, conversationId });\n}\n\n/** Hand run control from `from` to `to`; the run's inputs move with it. */\nexport function handOver(live: Draft<LiveState>, from: TaskId, to: TaskId): void {\n\tif (live.run?.taskId === from) live.run.taskId = to;\n}\n"]}

package/dist/harness/scheduler.d.ts

@@ -0,0 +1,106 @@
+import type { ModelRuntime } from "@ny4n/ai/contracts";
+import { type Context, type JsonValue } from "@ny4n/chord";
+import type { ExecutionEnv } from "../env/index.ts";
+import type { SessionImpl } from "../session/session.ts";
+import type { Transaction } from "../session/transaction.ts";
+import type { ConversationId, Storage, TaskId, TaskOutcome, TaskRecord } from "../types.ts";
+import type { Agent, ConversationHandle, HarnessInspection, RegistryReader, RegistrySnapshot, Settings, SettledTask, TaskInspection } from "./types.ts";
+type AnyTaskRecord = TaskRecord<JsonValue, JsonValue, JsonValue>;
+/** Terminal outcomes the scheduler writes without running task code. */
+export type SchedulerOutcome = Extract<TaskOutcome<JsonValue>, {
+    readonly status: "faulted" | "orphaned";
+}>;
+/** An invocation a conversation handle is bound to: its signal, and a check that throws once it ended. */
+export type InvocationBinding = {
+    readonly signal: AbortSignal;
+    check(): void;
+};
+export type TaskSchedulerOptions = {
+    readonly session: SessionImpl;
+    readonly storage: Storage;
+    readonly registry: RegistryReader;
+    readonly models: ModelRuntime;
+    /** Resolve a conversation's agent against a snapshot; the runtime calls it at most once per phase. */
+    readonly agent: (conversationId: ConversationId, snapshot: RegistrySnapshot, context: Context) => Promise<Agent>;
+    /** Resolve the settings; read at each access. */
+    readonly settings: () => Settings;
+    /** Build a conversation's environment with `HarnessOptions.env`. */
+    readonly env: (conversationId: ConversationId, context: Context) => Promise<ExecutionEnv | undefined>;
+    readonly now: () => number;
+    readonly report: (error: unknown) => void;
+    /** Harness cleanup staged in the commit that makes an outcome the scheduler wrote itself terminal. */
+    readonly settleOutcome: (tx: Transaction, record: AnyTaskRecord, outcome: SchedulerOutcome) => Promise<void>;
+    /** Withdraw a conversation's queued inputs, for conversation abort and abort cascades. */
+    readonly withdrawInputs: (tx: Transaction, conversationId: ConversationId) => Promise<void>;
+    /** Invocation-bound handle of an existing conversation, for task runtimes and tools. */
+    readonly conversation: (id: ConversationId, binding: InvocationBinding, context: Context) => Promise<ConversationHandle | undefined>;
+    /** Context for scheduler commits and invocations; carries no caller cancellation. */
+    readonly context: Context;
+};
+/**
+ * Durable task scheduler of one Harness.
+ *
+ * `#live` mirrors every committed non-terminal task record: pending, running, waiting, and completing. The synchronous
+ * commit listener updates it on the Session line, so code running on the line reads exactly the committed state from it.
+ *
+ * Tasks and conversations form one ownership tree (spec §5.5): a task's parent is its owner task, or its conversation;
+ * a conversation's parent is its owner task, if any. Walks up that tree decide what reaches one task: a cancelling
+ * owner, a scope. `#below` lists the tree downward around live work, so what lies below one node is a walk down from
+ * it: a task's live ordinary owned work, which holds its outcome as `completing` and delays its abort handler, a
+ * scope's tasks, a cascade's reach. No pass visits every live task; the sets below hold each pass's candidates.
+ *
+ * The ownership indexes are bounded by live work: an owner edge and an ended task's ownership fields are kept only while
+ * something is listed below them in `#below`, so only the chains above live tasks are known, whole. Work that appears
+ * later below a dropped node finds it unknown and loads its chain from storage again.
+ *
+ * Invariant: every task transition is decided and written by one callback serialized on the Session line. That covers
+ * reservation, marks, runtime commits, finalization, and the synchronous step before each phase, which applies the
+ * precedence rules and writes a fault or handover. Handlers and joins run off the line. An invocation ends inside the
+ * step that decides its end, so a runtime commit it queued either lands before that decision or is rejected.
+ */
+export declare class TaskScheduler {
+    #private;
+    constructor(options: TaskSchedulerOptions);
+    /** Load live tasks and change surviving `running` tasks back to `pending`. Dispatches nothing. */
+    open(context: Context): Promise<void>;
+    /** Enable scheduling. Idempotent; the kick does nothing once closing. */
+    resume(): void;
+    /**
+     * Signal every invocation and wait for them; writes nothing. Close calls this after every close listener has run, so
+     * waits, watches, and streams a task holds end with the Session's reason, not as cancelled by its signal.
+     */
+    join(): Promise<void>;
+    /**
+     * Commit the abort mark, or settle a task that no registered definition can take as `orphaned` when nothing it owns
+     * is live, then join the run invocation seen on the line; the commit listener signalled it. The abort invocation
+     * starts once the task's ordinary owned work is gone. A `completing` task is only marked. A request replaces a
+     * `restart` mark, so a task abandoned after a restart that waits for its definition is orphaned; with `keepRestart`,
+     * as for an owner's own cleanup, such a task keeps its mark and waits on.
+     */
+    abort(id: TaskId, context: Context, keepRestart?: boolean): Promise<"marked" | "terminal">;
+    waitForTask(id: TaskId, context: Context): Promise<SettledTask<JsonValue>>;
+    /**
+     * Resolve when ordinary traversal from the conversation, or from every ownerless conversation, reaches no live
+     * non-background task.
+     */
+    waitForIdle(conversationId: ConversationId | undefined, context: Context): Promise<void>;
+    /**
+     * `Conversation.abort()`: in one commit, withdraw the queued inputs and mark every live non-background task that
+     * ordinary traversal from the conversation reaches; resolves once the scope is idle. With `background`, traversal
+     * crosses background boundaries, and the wait also covers every task it reached.
+     */
+    abortConversation(conversationId: ConversationId, background: boolean, context: Context): Promise<void>;
+    /** Sizes of the ownership indexes, for tests that bound the scheduler's memory. */
+    get indexSizes(): Readonly<Record<"live" | "settled" | "edges" | "below" | "roots" | "unloaded" | "dropQueue", number>>;
+    /**
+     * Scheduling state and every live task with its derived state, read on the Session line. Runs no task code: a
+     * pending migration shows as `ready` with `migrates`, and only a migration the scheduler already tried, or one that
+     * cannot exist, shows as failed.
+     */
+    inspect(snapshot: RegistrySnapshot): Promise<{
+        scheduling: HarnessInspection["scheduling"];
+        tasks: TaskInspection[];
+    }>;
+}
+export {};
+//# sourceMappingURL=scheduler.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scheduler.d.ts","sourceRoot":"","sources":["../../src/harness/scheduler.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,KAAK,OAAO,EAAY,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC;AAErE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAEpD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,KAAK,EAEX,cAAc,EAQd,OAAO,EAEP,MAAM,EACN,WAAW,EACX,UAAU,EAGV,MAAM,aAAa,CAAC;AAGrB,OAAO,KAAK,EACX,KAAK,EAEL,kBAAkB,EAClB,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,QAAQ,EACR,WAAW,EACX,cAAc,EACd,MAAM,YAAY,CAAC;AAGpB,KAAK,aAAa,GAAG,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;AAiEjE,wEAAwE;AACxE,MAAM,MAAM,gBAAgB,GAAG,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,UAAU,CAAA;CAAE,CAAC,CAAC;AAE5G,0GAA0G;AAC1G,MAAM,MAAM,iBAAiB,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAAC,KAAK,IAAI,IAAI,CAAA;CAAE,CAAC;AAyChF,MAAM,MAAM,oBAAoB,GAAG;IAClC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,sGAAsG;IACtG,QAAQ,CAAC,KAAK,EAAE,CAAC,cAAc,EAAE,cAAc,EAAE,QAAQ,EAAE,gBAAgB,EAAE,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC;IACjH,iDAAiD;IACjD,QAAQ,CAAC,QAAQ,EAAE,MAAM,QAAQ,CAAC;IAClC,oEAAoE;IACpE,QAAQ,CAAC,GAAG,EAAE,CAAC,cAAc,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC,CAAC;IACtG,QAAQ,CAAC,GAAG,EAAE,MAAM,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC;IAC1C,sGAAsG;IACtG,QAAQ,CAAC,aAAa,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,gBAAgB,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7G,0FAA0F;IAC1F,QAAQ,CAAC,cAAc,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,cAAc,EAAE,cAAc,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5F,wFAAwF;IACxF,QAAQ,CAAC,YAAY,EAAE,CACtB,EAAE,EAAE,cAAc,EAClB,OAAO,EAAE,iBAAiB,EAC1B,OAAO,EAAE,OAAO,KACZ,OAAO,CAAC,kBAAkB,GAAG,SAAS,CAAC,CAAC;IAC7C,qFAAqF;IACrF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,qBAAa,aAAa;;IAyEzB,YAAY,OAAO,EAAE,oBAAoB,EAcxC;IAED,kGAAkG;IAC5F,IAAI,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CA0B1C;IAED,yEAAyE;IACzE,MAAM,IAAI,IAAI,CAGb;IAED;;;OAGG;IACG,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAG1B;IAED;;;;;;OAMG;IACG,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,UAAQ,GAAG,OAAO,CAAC,QAAQ,GAAG,UAAU,CAAC,CA2B7F;IAEK,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAU/E;IAED;;;OAGG;IACH,WAAW,CAAC,cAAc,EAAE,cAAc,GAAG,SAAS,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAKvF;IAED;;;;OAIG;IACG,iBAAiB,CAAC,cAAc,EAAE,cAAc,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAkB5G;IAwzBD,mFAAmF;IACnF,IAAI,UAAU,IAAI,QAAQ,CACzB,MAAM,CAAC,MAAM,GAAG,SAAS,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,UAAU,GAAG,WAAW,EAAE,MAAM,CAAC,CAC3F,CAYA;IAED;;;;OAIG;IACG,OAAO,CACZ,QAAQ,EAAE,gBAAgB,GACxB,OAAO,CAAC;QAAE,UAAU,EAAE,iBAAiB,CAAC,YAAY,CAAC,CAAC;QAAC,KAAK,EAAE,cAAc,EAAE,CAAA;KAAE,CAAC,CAMnF;CAigBD"}