@llm4ts/shell 2.44.1 → 2.46.0

package/dist/OperatorNode.js

@@ -0,0 +1,103 @@
+import { readFileSync, readdirSync } from "node:fs";
+import { join } from "node:path";
+import * as NodeFileSystem from "@effect/platform-node/NodeFileSystem";
+import * as Clock from "effect/Clock";
+import * as Effect from "effect/Effect";
+import * as Fiber from "effect/Fiber";
+import { nodeListTraces } from "@llm4ts/runner/Costs";
+import { collectDoctorReport } from "@llm4ts/runner/Doctor";
+import { httpProbe, rosterReport } from "@llm4ts/runner/ExecutorRoster";
+import { interruptOnSignal } from "@llm4ts/runner/FlowRunner";
+import { nodePlainFileStore } from "@llm4ts/runner/NodePlainFileStore";
+import { nodeTranscriptFiles } from "@llm4ts/runner/Transcripts";
+import { nodeListEpics } from "@llm4ts/runner/Watch";
+import { discoverFlows } from "./FlowCatalog.js";
+import { nodeFlowProcess } from "./FlowProcess.js";
+import { runOperatorServer } from "./OperatorServer.js";
+import { makeRunSupervisor } from "./RunSupervisor.js";
+/**
+ * Serves the operator until the server ends or a signal arrives. The first
+ * SIGINT or SIGTERM interrupts the server; closing the scope then runs the
+ * supervisor's finalizer, which stops every flow it started. A second signal
+ * exits at once (130 or 143). The handlers are removed on the way out.
+ */
+export const runMcp = (config, runtime, signals) => {
+    const disposers = [];
+    return Effect.scoped(Effect.gen(function* () {
+        const supervisor = yield* makeRunSupervisor({
+            repos: config.repos,
+            environment: runtime.operator.environment,
+            files: runtime.operator.files,
+            process: runtime.flowProcess,
+            parallelRuns: config.parallelRuns,
+            ...(runtime.graceMs === undefined ? {} : { graceMs: runtime.graceMs })
+        });
+        const fiber = yield* Effect.forkScoped(runtime.serve(config, { ...runtime.operator, supervisor }));
+        disposers.push(interruptOnSignal(fiber, signals, "SIGINT"));
+        disposers.push(interruptOnSignal(fiber, signals, "SIGTERM"));
+        return yield* Fiber.join(fiber);
+    })).pipe(Effect.ensuring(Effect.sync(() => {
+        for (const dispose of disposers)
+            dispose();
+    })));
+};
+/** A file's text, or `undefined` when it cannot be read (the `mcp` config and token file). */
+export const nodeRead = (path) => Effect.sync(() => {
+    try {
+        return readFileSync(path, "utf8");
+    }
+    catch {
+        return undefined;
+    }
+});
+/**
+ * Relative paths of every regular file under a directory, recursively; never
+ * directory names, and none when the directory is absent or unreadable.
+ */
+export const nodeListFiles = (directory) => {
+    const found = [];
+    const walk = (relative) => {
+        let names;
+        try {
+            names = readdirSync(join(directory, relative), { withFileTypes: true });
+        }
+        catch {
+            return;
+        }
+        for (const entry of names) {
+            const path = relative.length === 0 ? entry.name : join(relative, entry.name);
+            if (entry.isDirectory()) {
+                walk(path);
+            }
+            else if (entry.isFile()) {
+                found.push(path);
+            }
+        }
+    };
+    walk("");
+    return found.sort();
+};
+/**
+ * The operator's dependencies on Node. `tierPaths` gives the flow tiers for a
+ * repository (the CLI's `shellTierPaths`, passed in to keep this module free
+ * of the CLI).
+ */
+export const nodeOperatorRuntime = (config, tierPaths, environment = process.env) => ({
+    operator: {
+        config,
+        files: nodePlainFileStore,
+        listTraces: nodeListTraces,
+        listEpics: nodeListEpics,
+        listFiles: nodeListFiles,
+        transcripts: nodeTranscriptFiles,
+        doctor: collectDoctorReport(),
+        roster: (repoPath) => rosterReport({ files: nodePlainFileStore, environment, workDir: repoPath }),
+        probe: httpProbe,
+        flows: (repoPath) => discoverFlows(tierPaths(repoPath)).pipe(Effect.provide(NodeFileSystem.layer)),
+        now: Clock.currentTimeMillis,
+        environment
+    },
+    flowProcess: nodeFlowProcess,
+    serve: runOperatorServer
+});
+//# sourceMappingURL=OperatorNode.js.map

package/dist/OperatorNode.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"OperatorNode.js","sourceRoot":"","sources":["../src/OperatorNode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAA;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,KAAK,cAAc,MAAM,sCAAsC,CAAA;AAEtE,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AAGrC,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAA;AAC3D,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACvE,OAAO,EAAE,iBAAiB,EAAqB,MAAM,2BAA2B,CAAA;AAChF,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAA;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACpD,OAAO,EAAE,aAAa,EAAsB,MAAM,kBAAkB,CAAA;AACpE,OAAO,EAAE,eAAe,EAAyB,MAAM,kBAAkB,CAAA;AAEzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAA;AAEvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAmBtD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,MAAsB,EACtB,OAAsB,EACtB,OAAqB,EACsB,EAAE;IAC7C,MAAM,SAAS,GAAsB,EAAE,CAAA;IACvC,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;YAC1C,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,WAAW,EAAE,OAAO,CAAC,QAAQ,CAAC,WAAW;YACzC,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK;YAC7B,OAAO,EAAE,OAAO,CAAC,WAAW;YAC5B,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;SACvE,CAAC,CAAA;QACF,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACpC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,GAAG,OAAO,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,CAC3D,CAAA;QACD,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAA;QAC3D,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAA;QAC5D,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACjC,CAAC,CAAC,CACH,CAAC,IAAI,CACJ,MAAM,CAAC,QAAQ,CACb,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACf,KAAK,MAAM,OAAO,IAAI,SAAS;YAAE,OAAO,EAAE,CAAA;IAC5C,CAAC,CAAC,CACH,CACF,CAAA;AACH,CAAC,CAAA;AAED,8FAA8F;AAC9F,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAqC,EAAE,CAC1E,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;IACf,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,SAAiB,EAAyB,EAAE;IACxE,MAAM,KAAK,GAAkB,EAAE,CAAA;IAC/B,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAQ,EAAE;QACtC,IAAI,KAIF,CAAA;QACF,IAAI,CAAC;YACH,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAA;QACzE,CAAC;QAAC,MAAM,CAAC;YACP,OAAM;QACR,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;YAC5E,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,CAAA;YACZ,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC1B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAClB,CAAC;QACH,CAAC;IACH,CAAC,CAAA;IACD,IAAI,CAAC,EAAE,CAAC,CAAA;IACR,OAAO,KAAK,CAAC,IAAI,EAAE,CAAA;AACrB,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,MAAsB,EACtB,SAA8C,EAC9C,cAA4D,OAAO,CAAC,GAAG,EAClB,EAAE,CAAC,CAAC;IACzD,QAAQ,EAAE;QACR,MAAM;QACN,KAAK,EAAE,kBAAkB;QACzB,UAAU,EAAE,cAAc;QAC1B,SAAS,EAAE,aAAa;QACxB,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,mBAAmB;QAChC,MAAM,EAAE,mBAAmB,EAAE;QAC7B,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CACnB,YAAY,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;QAC7E,KAAK,EAAE,SAAS;QAChB,KAAK,EAAE,CAAC,QAAQ,EAAE,EAAE,CAClB,aAAa,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QAC/E,GAAG,EAAE,KAAK,CAAC,iBAAiB;QAC5B,WAAW;KACZ;IACD,WAAW,EAAE,eAAe;IAC5B,KAAK,EAAE,iBAAiB;CACzB,CAAC,CAAA"}

package/dist/OperatorRuns.d.ts

@@ -0,0 +1,76 @@
+import * as Effect from "effect/Effect";
+import { EpicRun } from "@llm4ts/flow/EpicRuns";
+import { TraceLine } from "@llm4ts/flow/FlowRecorder";
+import { OperatorRun, ReadFailed, UnknownEpic, UnknownRun, type OperatorRunState } from "@llm4ts/flow/OperatorSchemas";
+import type { PlainFileStoreShape } from "@llm4ts/flow/Persistence";
+import { TraceUnreadable } from "@llm4ts/runner/RunReaders";
+import type { OperatorConfig } from "./OperatorConfig.ts";
+import type { RunSupervisorShape } from "./RunSupervisor.ts";
+/**
+ * Where the operator finds a run: the supervisor's registry first, then each
+ * served repository's epic `runs.jsonl` files and `.llm4ts/trace-*.jsonl`
+ * traces. A client never names a path; epics and runs are ids found on disk.
+ */
+/** What run lookup reads; the operator's full dependency record extends it. */
+export interface RunLookupDeps {
+    readonly config: OperatorConfig;
+    readonly files: PlainFileStoreShape;
+    /** Absolute trace paths under one `.llm4ts/` directory. */
+    readonly listTraces: (directory: string) => ReadonlyArray<string>;
+    /** Folder names under `.llm4ts/epics/`. */
+    readonly listEpics: (directory: string) => ReadonlyArray<string>;
+    readonly supervisor: RunSupervisorShape;
+}
+export interface Repo {
+    readonly id: string;
+    readonly path: string;
+}
+export declare const stateRoot: (repo: Repo) => string;
+export declare const epicsDir: (repo: Repo) => string;
+export declare const transcriptsDir: (repo: Repo, runId: string) => string;
+export declare const readFailed: (error: unknown) => ReadFailed;
+/** The epic's state folder, only for an id found on disk, so no client text becomes a path. */
+export declare const epicDirOf: (deps: RunLookupDeps, repo: Repo, epic: string) => Effect.Effect<string, UnknownEpic>;
+/**
+ * An epic's runs, oldest first. A missing file is no runs and a torn last line
+ * (a write in progress) is skipped, but any other line that does not decode
+ * fails `ReadFailed` naming the file.
+ */
+export declare const readEpicRunsStrict: (files: PlainFileStoreShape, stateDir: string) => Effect.Effect<ReadonlyArray<EpicRun>, ReadFailed>;
+export interface EpicRunEntry {
+    readonly epic: string;
+    readonly dir: string;
+    readonly run: EpicRun;
+}
+export declare const epicRunsOf: (deps: RunLookupDeps, repo: Repo) => Effect.Effect<ReadonlyArray<EpicRunEntry>, ReadFailed>;
+export interface TraceHead {
+    readonly runId: string;
+    readonly startedAt: number;
+    readonly ended: boolean;
+}
+/** The run a trace belongs to and whether it ended, from its first and last lines. */
+export declare const traceHead: (files: PlainFileStoreShape, path: string) => Effect.Effect<TraceHead | undefined>;
+export declare const traceState: (head: TraceHead | undefined) => OperatorRunState;
+export interface ResolvedRun {
+    readonly runId: string;
+    readonly repo: Repo;
+    readonly flow: string;
+    readonly state: OperatorRunState;
+    readonly tracePath: string;
+    readonly supervised?: OperatorRun;
+}
+/** A run id through the supervisor first, then each repository's epic runs and traces. */
+export declare const resolveRun: (deps: RunLookupDeps, runId: string) => Effect.Effect<ResolvedRun, UnknownRun | ReadFailed>;
+/** The epic a run worked on: the epic whose `runs.jsonl` lists it. */
+export declare const epicOfRun: (deps: RunLookupDeps, run: ResolvedRun) => Effect.Effect<EpicRunEntry | undefined, ReadFailed>;
+/** Runs found on disk (epic run lists and traces) that the supervisor does not hold. */
+export declare const discoveredRuns: (deps: RunLookupDeps, repo: Repo, known: ReadonlySet<string>) => Effect.Effect<ReadonlyArray<OperatorRun>, ReadFailed>;
+/**
+ * A run's trace lines. A supervised run whose trace file does not exist yet
+ * (the flow has not written its first line) reads as an empty trace; any other
+ * missing or unreadable trace fails `TraceUnreadable`.
+ */
+export declare const runTraceLines: (files: PlainFileStoreShape, run: ResolvedRun) => Effect.Effect<ReadonlyArray<TraceLine>, TraceUnreadable>;
+/** Whether the run is supervised and its flow has not written a trace yet. */
+export declare const tracePending: (files: PlainFileStoreShape, run: ResolvedRun) => Effect.Effect<boolean, TraceUnreadable>;
+//# sourceMappingURL=OperatorRuns.d.ts.map

package/dist/OperatorRuns.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"OperatorRuns.d.ts","sourceRoot":"","sources":["../src/OperatorRuns.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,EAAE,OAAO,EAAgB,MAAM,uBAAuB,CAAA;AAE7D,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AACrD,OAAO,EACL,WAAW,EACX,UAAU,EACV,WAAW,EACX,UAAU,EACV,KAAK,gBAAgB,EACtB,MAAM,8BAA8B,CAAA;AACrC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAEnE,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAA;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AAE5D;;;;GAIG;AAEH,+EAA+E;AAC/E,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;IAC/B,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAA;IACnC,2DAA2D;IAC3D,QAAQ,CAAC,UAAU,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,aAAa,CAAC,MAAM,CAAC,CAAA;IACjE,2CAA2C;IAC3C,QAAQ,CAAC,SAAS,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,aAAa,CAAC,MAAM,CAAC,CAAA;IAChE,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAA;CACxC;AAED,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAED,eAAO,MAAM,SAAS,GAAI,MAAM,IAAI,KAAG,MAAoC,CAAA;AAC3E,eAAO,MAAM,QAAQ,GAAI,MAAM,IAAI,KAAG,MAAwC,CAAA;AAC9E,eAAO,MAAM,cAAc,GAAI,MAAM,IAAI,EAAE,OAAO,MAAM,KAAG,MACd,CAAA;AAE7C,eAAO,MAAM,UAAU,GAAI,OAAO,OAAO,KAAG,UACY,CAAA;AAExD,+FAA+F;AAC/F,eAAO,MAAM,SAAS,GACpB,MAAM,aAAa,EACnB,MAAM,IAAI,EACV,MAAM,MAAM,KACX,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAGoD,CAAA;AAIxF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,OAAO,mBAAmB,EAC1B,UAAU,MAAM,KACf,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,UAAU,CAoBlD,CAAA;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;CACtB;AAED,eAAO,MAAM,UAAU,GACrB,MAAM,aAAa,EACnB,MAAM,IAAI,KACT,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,UAAU,CAMd,CAAA;AAI1C,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACxB;AAED,sFAAsF;AACtF,eAAO,MAAM,SAAS,GACpB,OAAO,mBAAmB,EAC1B,MAAM,MAAM,KACX,MAAM,CAAC,MAAM,CAAC,SAAS,GAAG,SAAS,CAUnC,CAAA;AAEH,eAAO,MAAM,UAAU,GAAI,MAAM,SAAS,GAAG,SAAS,KAAG,gBACQ,CAAA;AAEjE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAA;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,UAAU,CAAC,EAAE,WAAW,CAAA;CAClC;AAED,0FAA0F;AAC1F,eAAO,MAAM,UAAU,GACrB,MAAM,aAAa,EACnB,OAAO,MAAM,KACZ,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,UAAU,GAAG,UAAU,CA2CjD,CAAA;AAEJ,sEAAsE;AACtE,eAAO,MAAM,SAAS,GACpB,MAAM,aAAa,EACnB,KAAK,WAAW,KACf,MAAM,CAAC,MAAM,CAAC,YAAY,GAAG,SAAS,EAAE,UAAU,CAGlD,CAAA;AAEH,wFAAwF;AACxF,eAAO,MAAM,cAAc,GACzB,MAAM,aAAa,EACnB,MAAM,IAAI,EACV,OAAO,WAAW,CAAC,MAAM,CAAC,KACzB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,UAAU,CA6BnD,CAAA;AAEJ;;;;GAIG;AACH,eAAO,MAAM,aAAa,GACxB,OAAO,mBAAmB,EAC1B,KAAK,WAAW,KACf,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,eAAe,CAQtD,CAAA;AAEJ,8EAA8E;AAC9E,eAAO,MAAM,YAAY,GACvB,OAAO,mBAAmB,EAC1B,KAAK,WAAW,KACf,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,eAAe,CAQlC,CAAA"}

package/dist/OperatorRuns.js

@@ -0,0 +1,146 @@
+import { join } from "node:path";
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import { EpicRun, epicRunsPath } from "@llm4ts/flow/EpicRuns";
+import { describeFlowError } from "@llm4ts/flow/FlowError";
+import { TraceLine } from "@llm4ts/flow/FlowRecorder";
+import { OperatorRun, ReadFailed, UnknownEpic, UnknownRun } from "@llm4ts/flow/OperatorSchemas";
+import { readTrace } from "@llm4ts/flow/Replay";
+import { TraceUnreadable } from "@llm4ts/runner/RunReaders";
+export const stateRoot = (repo) => join(repo.path, ".llm4ts");
+export const epicsDir = (repo) => join(stateRoot(repo), "epics");
+export const transcriptsDir = (repo, runId) => join(stateRoot(repo), "transcripts", runId);
+export const readFailed = (error) => ReadFailed.make({ message: describeFlowError(error) });
+/** The epic's state folder, only for an id found on disk, so no client text becomes a path. */
+export const epicDirOf = (deps, repo, epic) => deps.listEpics(epicsDir(repo)).includes(epic)
+    ? Effect.succeed(join(epicsDir(repo), epic))
+    : Effect.fail(UnknownEpic.make({ message: `unknown epic '${epic}' in ${repo.id}` }));
+const decodeEpicRun = Schema.decodeUnknownOption(Schema.fromJsonString(EpicRun));
+/**
+ * An epic's runs, oldest first. A missing file is no runs and a torn last line
+ * (a write in progress) is skipped, but any other line that does not decode
+ * fails `ReadFailed` naming the file.
+ */
+export const readEpicRunsStrict = (files, stateDir) => {
+    const path = epicRunsPath(stateDir);
+    return files.read(path).pipe(Effect.mapError(readFailed), Effect.flatMap((contents) => {
+        const rows = (contents ?? "").split("\n").filter((row) => row.trim().length > 0);
+        const runs = [];
+        for (const [index, row] of rows.entries()) {
+            const decoded = Option.getOrUndefined(decodeEpicRun(row));
+            if (decoded !== undefined) {
+                runs.push(decoded);
+            }
+            else if (index < rows.length - 1) {
+                return Effect.fail(ReadFailed.make({ message: `malformed ${path}:${index + 1}: not an epic run record` }));
+            }
+        }
+        return Effect.succeed(runs);
+    }));
+};
+export const epicRunsOf = (deps, repo) => Effect.forEach(deps.listEpics(epicsDir(repo)), (epic) => {
+    const dir = join(epicsDir(repo), epic);
+    return readEpicRunsStrict(deps.files, dir).pipe(Effect.map((runs) => runs.map((run) => ({ epic, dir, run }))));
+}).pipe(Effect.map((all) => all.flat()));
+const decodeTraceLine = Schema.decodeUnknownOption(Schema.fromJsonString(TraceLine));
+/** The run a trace belongs to and whether it ended, from its first and last lines. */
+export const traceHead = (files, path) => files.read(path).pipe(Effect.catch(() => Effect.succeed(undefined)), Effect.map((contents) => {
+    const rows = (contents ?? "").split(/\r?\n/u).filter((row) => row.trim().length > 0);
+    const first = Option.getOrUndefined(decodeTraceLine(rows[0] ?? ""));
+    if (first === undefined)
+        return undefined;
+    const last = Option.getOrUndefined(decodeTraceLine(rows[rows.length - 1] ?? ""));
+    return { runId: first.runId, startedAt: first.timestamp, ended: last?.kind === "RunEnded" };
+}));
+export const traceState = (head) => head === undefined ? "lost" : head.ended ? "exited" : "running";
+/** A run id through the supervisor first, then each repository's epic runs and traces. */
+export const resolveRun = (deps, runId) => Effect.gen(function* () {
+    const supervised = yield* deps.supervisor.get(runId);
+    if (supervised !== undefined) {
+        const repo = deps.config.repos.find((candidate) => candidate.id === supervised.repo);
+        if (repo === undefined) {
+            return yield* UnknownRun.make({
+                message: `run ${runId} belongs to repo '${supervised.repo}', which this server does not serve`
+            });
+        }
+        if (supervised.tracePath === undefined) {
+            return yield* UnknownRun.make({ message: `run ${runId} has no trace yet` });
+        }
+        return {
+            runId,
+            repo,
+            flow: supervised.flow,
+            state: supervised.state,
+            tracePath: supervised.tracePath,
+            supervised
+        };
+    }
+    for (const repo of deps.config.repos) {
+        for (const entry of yield* epicRunsOf(deps, repo)) {
+            if (entry.run.runId === runId) {
+                const head = yield* traceHead(deps.files, entry.run.tracePath);
+                return {
+                    runId,
+                    repo,
+                    flow: "?",
+                    state: traceState(head),
+                    tracePath: entry.run.tracePath
+                };
+            }
+        }
+        for (const path of deps.listTraces(stateRoot(repo))) {
+            const head = yield* traceHead(deps.files, path);
+            if (head?.runId === runId) {
+                return { runId, repo, flow: "?", state: traceState(head), tracePath: path };
+            }
+        }
+    }
+    return yield* UnknownRun.make({ message: `unknown run '${runId}'` });
+});
+/** The epic a run worked on: the epic whose `runs.jsonl` lists it. */
+export const epicOfRun = (deps, run) => Effect.map(epicRunsOf(deps, run.repo), (entries) => entries.find((entry) => entry.run.runId === run.runId || entry.run.tracePath === run.tracePath));
+/** Runs found on disk (epic run lists and traces) that the supervisor does not hold. */
+export const discoveredRuns = (deps, repo, known) => Effect.gen(function* () {
+    const found = new Map();
+    const add = (runId, tracePath, startedAt, state) => {
+        if (known.has(runId) || found.has(runId))
+            return;
+        found.set(runId, new OperatorRun({
+            runId,
+            repo: repo.id,
+            flow: "?",
+            args: [],
+            knobs: {},
+            startedAt,
+            tracePath,
+            logDir: "",
+            state
+        }));
+    };
+    for (const entry of yield* epicRunsOf(deps, repo)) {
+        const head = yield* traceHead(deps.files, entry.run.tracePath);
+        add(entry.run.runId, entry.run.tracePath, entry.run.startedAt, traceState(head));
+    }
+    for (const path of deps.listTraces(stateRoot(repo))) {
+        const head = yield* traceHead(deps.files, path);
+        if (head !== undefined)
+            add(head.runId, path, head.startedAt, traceState(head));
+    }
+    return [...found.values()];
+});
+/**
+ * A run's trace lines. A supervised run whose trace file does not exist yet
+ * (the flow has not written its first line) reads as an empty trace; any other
+ * missing or unreadable trace fails `TraceUnreadable`.
+ */
+export const runTraceLines = (files, run) => Effect.gen(function* () {
+    if (yield* tracePending(files, run))
+        return [];
+    return yield* readTrace(files, run.tracePath).pipe(Effect.mapError((error) => TraceUnreadable.make({ path: run.tracePath, message: describeFlowError(error) })));
+});
+/** Whether the run is supervised and its flow has not written a trace yet. */
+export const tracePending = (files, run) => run.supervised === undefined
+    ? Effect.succeed(false)
+    : files.read(run.tracePath).pipe(Effect.map((contents) => contents === undefined), Effect.mapError((error) => TraceUnreadable.make({ path: run.tracePath, message: describeFlowError(error) })));
+//# sourceMappingURL=OperatorRuns.js.map

package/dist/OperatorRuns.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"OperatorRuns.js","sourceRoot":"","sources":["../src/OperatorRuns.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAC1D,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AACrD,OAAO,EACL,WAAW,EACX,UAAU,EACV,WAAW,EACX,UAAU,EAEX,MAAM,8BAA8B,CAAA;AAErC,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAA;AA0B3D,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAU,EAAU,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;AAC3E,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAU,EAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAA;AAC9E,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAU,EAAE,KAAa,EAAU,EAAE,CAClE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,CAAA;AAE7C,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAc,EAAc,EAAE,CACvD,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;AAExD,+FAA+F;AAC/F,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAAmB,EACnB,IAAU,EACV,IAAY,EACwB,EAAE,CACtC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC3C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,iBAAiB,IAAI,QAAQ,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;AAExF,MAAM,aAAa,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAA;AAEhF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAA0B,EAC1B,QAAgB,EACmC,EAAE;IACrD,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAA;IACnC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAC1B,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAC3B,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC1B,MAAM,IAAI,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;QAChF,MAAM,IAAI,GAAmB,EAAE,CAAA;QAC/B,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAA;YACzD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACpB,CAAC;iBAAM,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnC,OAAO,MAAM,CAAC,IAAI,CAChB,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,aAAa,IAAI,IAAI,KAAK,GAAG,CAAC,0BAA0B,EAAE,CAAC,CACvF,CAAA;YACH,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IAC7B,CAAC,CAAC,CACH,CAAA;AACH,CAAC,CAAA;AAQD,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAAmB,EACnB,IAAU,EAC8C,EAAE,CAC1D,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE;IACtD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAA;IACtC,OAAO,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,CAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAC9D,CAAA;AACH,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AAE1C,MAAM,eAAe,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAA;AAQpF,sFAAsF;AACtF,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,KAA0B,EAC1B,IAAY,EAC0B,EAAE,CACxC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CACnB,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;IACtB,MAAM,IAAI,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACpF,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IACnE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACzC,MAAM,IAAI,GAAG,MAAM,CAAC,cAAc,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAChF,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,KAAK,UAAU,EAAE,CAAA;AAC7F,CAAC,CAAC,CACH,CAAA;AAEH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAA2B,EAAoB,EAAE,CAC1E,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAA;AAWjE,0FAA0F;AAC1F,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAAmB,EACnB,KAAa,EACwC,EAAE,CACvD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACpD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,UAAU,CAAC,IAAI,CAAC,CAAA;QACpF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;gBAC5B,OAAO,EAAE,OAAO,KAAK,qBAAqB,UAAU,CAAC,IAAI,qCAAqC;aAC/F,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,UAAU,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACvC,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,KAAK,mBAAmB,EAAE,CAAC,CAAA;QAC7E,CAAC;QACD,OAAO;YACL,KAAK;YACL,IAAI;YACJ,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,UAAU;SACX,CAAA;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACrC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAClD,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;gBAC9D,OAAO;oBACL,KAAK;oBACL,IAAI;oBACJ,IAAI,EAAE,GAAG;oBACT,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC;oBACvB,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,SAAS;iBAC/B,CAAA;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;YAC/C,IAAI,IAAI,EAAE,KAAK,KAAK,KAAK,EAAE,CAAC;gBAC1B,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAA;YAC7E,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,gBAAgB,KAAK,GAAG,EAAE,CAAC,CAAA;AACtE,CAAC,CAAC,CAAA;AAEJ,sEAAsE;AACtE,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAAmB,EACnB,GAAgB,EACqC,EAAE,CACvD,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CACjD,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS,CAAC,CAChG,CAAA;AAEH,wFAAwF;AACxF,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAmB,EACnB,IAAU,EACV,KAA0B,EAC6B,EAAE,CACzD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAA;IAC5C,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,SAAiB,EAAE,SAAiB,EAAE,KAAuB,EAAE,EAAE;QAC3F,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAM;QAChD,KAAK,CAAC,GAAG,CACP,KAAK,EACL,IAAI,WAAW,CAAC;YACd,KAAK;YACL,IAAI,EAAE,IAAI,CAAC,EAAE;YACb,IAAI,EAAE,GAAG;YACT,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,EAAE;YACT,SAAS;YACT,SAAS;YACT,MAAM,EAAE,EAAE;YACV,KAAK;SACN,CAAC,CACH,CAAA;IACH,CAAC,CAAA;IACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QAC9D,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;IAClF,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QAC/C,IAAI,IAAI,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;IACjF,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;AAC5B,CAAC,CAAC,CAAA;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,KAA0B,EAC1B,GAAgB,EAC0C,EAAE,CAC5D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC;QAAE,OAAO,EAAE,CAAA;IAC9C,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAChD,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,EAAE,OAAO,EAAE,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CACjF,CACF,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,8EAA8E;AAC9E,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,KAA0B,EAC1B,GAAgB,EACyB,EAAE,CAC3C,GAAG,CAAC,UAAU,KAAK,SAAS;IAC1B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;IACvB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,SAAS,CAAC,EAChD,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,EAAE,OAAO,EAAE,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CACjF,CACF,CAAA"}

package/dist/OperatorServer.d.ts

@@ -0,0 +1,160 @@
+import type * as Cause from "effect/Cause";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as Schema from "effect/Schema";
+import * as McpServer from "effect/ai/McpServer";
+import * as Toolkit from "effect/ai/Toolkit";
+import * as HttpRouter from "effect/http/HttpRouter";
+import type { ServeError } from "effect/http/HttpServerError";
+import type { OperatorConfig } from "./OperatorConfig.ts";
+import { type OperatorDeps } from "./OperatorTools.ts";
+/**
+ * The operator MCP server (`llm4ts mcp`, ADR 0041): the read, wait and allowed
+ * act tools served over stdio, or over HTTP at `/mcp` behind a bearer token.
+ * A tool that the configuration does not allow is never registered, so it is
+ * absent from `tools/list` rather than refused when called.
+ */
+export declare const serverName = "llm4ts";
+export declare const serverPath = "/mcp";
+type HttpTransport = Extract<OperatorConfig["transport"], {
+    readonly _tag: "http";
+}>;
+export type HttpOperatorConfig = OperatorConfig & {
+    readonly transport: HttpTransport;
+};
+/** The act tools a configuration allows: `--allow-run` and `--allow-approve` each add their own. */
+export declare const actToolkitFor: (config: OperatorConfig) => Toolkit.Toolkit<{
+    readonly start_run: import("effect/ai/Tool").Tool<"start_run", {
+        readonly parameters: Schema.Struct<{
+            readonly repo: Schema.optional<Schema.String>;
+            readonly flow: Schema.String;
+            readonly task: Schema.optional<Schema.String>;
+            readonly epic: Schema.optional<Schema.String>;
+            readonly pack: Schema.optional<Schema.String>;
+            readonly executors: Schema.optional<Schema.$Array<Schema.String>>;
+            readonly coder: Schema.optional<Schema.String>;
+            readonly judgeRounds: Schema.optional<Schema.Int>;
+            readonly mergeRevisions: Schema.optional<Schema.Int>;
+            readonly land: Schema.optional<Schema.String>;
+            readonly flags: Schema.optional<Schema.$Array<Schema.String>>;
+            readonly requestId: Schema.optional<Schema.String>;
+        }>;
+        readonly success: Schema.Struct<{
+            readonly runId: Schema.String;
+            readonly tracePath: Schema.optionalKey<Schema.String>;
+            readonly pid: Schema.optionalKey<Schema.Int>;
+        }>;
+        readonly failure: Schema.Union<readonly [typeof import("@llm4ts/flow/OperatorSchemas.ts").NotAllowed, typeof import("@llm4ts/flow/OperatorSchemas.ts").InvalidKnob, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownRepo, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownEpic, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownRun, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownFlow, typeof import("@llm4ts/flow/OperatorSchemas.ts").ReadFailed, typeof import("./FlowProcess.ts").FlowLaunchError, typeof import("@llm4ts/flow/OperatorSchemas.ts").RunInProgress, typeof import("@llm4ts/flow/FlowError.ts").PersistenceError]>;
+        readonly failureMode: "error";
+    }, never>;
+    readonly stop_run: import("effect/ai/Tool").Tool<"stop_run", {
+        readonly parameters: Schema.Struct<{
+            readonly runId: Schema.String;
+        }>;
+        readonly success: typeof import("@llm4ts/flow/OperatorSchemas.ts").OperatorRun;
+        readonly failure: Schema.Union<readonly [typeof import("@llm4ts/flow/OperatorSchemas.ts").NotAllowed, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownRun]>;
+        readonly failureMode: "error";
+    }, never>;
+    readonly retro_start: import("effect/ai/Tool").Tool<"retro_start", {
+        readonly parameters: Schema.Struct<{
+            readonly repo: Schema.optional<Schema.String>;
+            readonly epic: Schema.String;
+            readonly run: Schema.optional<Schema.String>;
+        }>;
+        readonly success: Schema.Struct<{
+            readonly runId: Schema.String;
+            readonly tracePath: Schema.optionalKey<Schema.String>;
+            readonly pid: Schema.optionalKey<Schema.Int>;
+        }>;
+        readonly failure: Schema.Union<readonly [typeof import("@llm4ts/flow/OperatorSchemas.ts").NotAllowed, typeof import("@llm4ts/flow/OperatorSchemas.ts").InvalidKnob, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownRepo, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownEpic, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownRun, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownFlow, typeof import("@llm4ts/flow/OperatorSchemas.ts").ReadFailed, typeof import("./FlowProcess.ts").FlowLaunchError, typeof import("@llm4ts/flow/OperatorSchemas.ts").RunInProgress, typeof import("@llm4ts/flow/FlowError.ts").PersistenceError]>;
+        readonly failureMode: "error";
+    }, never>;
+    readonly approve: import("effect/ai/Tool").Tool<"approve", {
+        readonly parameters: Schema.Struct<{
+            readonly repo: Schema.optional<Schema.String>;
+            readonly kind: Schema.Literals<readonly ["retro"]>;
+            readonly epic: Schema.String;
+            readonly id: Schema.String;
+        }>;
+        readonly success: Schema.Struct<{
+            readonly path: Schema.String;
+            readonly approved: Schema.Boolean;
+        }>;
+        readonly failure: Schema.Union<readonly [typeof import("@llm4ts/flow/OperatorSchemas.ts").NotAllowed, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownRepo, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownEpic, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownRun, typeof import("@llm4ts/flow/OperatorSchemas.ts").ReadFailed, typeof import("@llm4ts/flow/FlowError.ts").PersistenceError]>;
+        readonly failureMode: "error";
+    }, never>;
+}> | Toolkit.Toolkit<{
+    readonly start_run: import("effect/ai/Tool").Tool<"start_run", {
+        readonly parameters: Schema.Struct<{
+            readonly repo: Schema.optional<Schema.String>;
+            readonly flow: Schema.String;
+            readonly task: Schema.optional<Schema.String>;
+            readonly epic: Schema.optional<Schema.String>;
+            readonly pack: Schema.optional<Schema.String>;
+            readonly executors: Schema.optional<Schema.$Array<Schema.String>>;
+            readonly coder: Schema.optional<Schema.String>;
+            readonly judgeRounds: Schema.optional<Schema.Int>;
+            readonly mergeRevisions: Schema.optional<Schema.Int>;
+            readonly land: Schema.optional<Schema.String>;
+            readonly flags: Schema.optional<Schema.$Array<Schema.String>>;
+            readonly requestId: Schema.optional<Schema.String>;
+        }>;
+        readonly success: Schema.Struct<{
+            readonly runId: Schema.String;
+            readonly tracePath: Schema.optionalKey<Schema.String>;
+            readonly pid: Schema.optionalKey<Schema.Int>;
+        }>;
+        readonly failure: Schema.Union<readonly [typeof import("@llm4ts/flow/OperatorSchemas.ts").NotAllowed, typeof import("@llm4ts/flow/OperatorSchemas.ts").InvalidKnob, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownRepo, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownEpic, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownRun, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownFlow, typeof import("@llm4ts/flow/OperatorSchemas.ts").ReadFailed, typeof import("./FlowProcess.ts").FlowLaunchError, typeof import("@llm4ts/flow/OperatorSchemas.ts").RunInProgress, typeof import("@llm4ts/flow/FlowError.ts").PersistenceError]>;
+        readonly failureMode: "error";
+    }, never>;
+    readonly stop_run: import("effect/ai/Tool").Tool<"stop_run", {
+        readonly parameters: Schema.Struct<{
+            readonly runId: Schema.String;
+        }>;
+        readonly success: typeof import("@llm4ts/flow/OperatorSchemas.ts").OperatorRun;
+        readonly failure: Schema.Union<readonly [typeof import("@llm4ts/flow/OperatorSchemas.ts").NotAllowed, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownRun]>;
+        readonly failureMode: "error";
+    }, never>;
+    readonly retro_start: import("effect/ai/Tool").Tool<"retro_start", {
+        readonly parameters: Schema.Struct<{
+            readonly repo: Schema.optional<Schema.String>;
+            readonly epic: Schema.String;
+            readonly run: Schema.optional<Schema.String>;
+        }>;
+        readonly success: Schema.Struct<{
+            readonly runId: Schema.String;
+            readonly tracePath: Schema.optionalKey<Schema.String>;
+            readonly pid: Schema.optionalKey<Schema.Int>;
+        }>;
+        readonly failure: Schema.Union<readonly [typeof import("@llm4ts/flow/OperatorSchemas.ts").NotAllowed, typeof import("@llm4ts/flow/OperatorSchemas.ts").InvalidKnob, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownRepo, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownEpic, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownRun, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownFlow, typeof import("@llm4ts/flow/OperatorSchemas.ts").ReadFailed, typeof import("./FlowProcess.ts").FlowLaunchError, typeof import("@llm4ts/flow/OperatorSchemas.ts").RunInProgress, typeof import("@llm4ts/flow/FlowError.ts").PersistenceError]>;
+        readonly failureMode: "error";
+    }, never>;
+}> | Toolkit.Toolkit<{
+    readonly approve: import("effect/ai/Tool").Tool<"approve", {
+        readonly parameters: Schema.Struct<{
+            readonly repo: Schema.optional<Schema.String>;
+            readonly kind: Schema.Literals<readonly ["retro"]>;
+            readonly epic: Schema.String;
+            readonly id: Schema.String;
+        }>;
+        readonly success: Schema.Struct<{
+            readonly path: Schema.String;
+            readonly approved: Schema.Boolean;
+        }>;
+        readonly failure: Schema.Union<readonly [typeof import("@llm4ts/flow/OperatorSchemas.ts").NotAllowed, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownRepo, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownEpic, typeof import("@llm4ts/flow/OperatorSchemas.ts").UnknownRun, typeof import("@llm4ts/flow/OperatorSchemas.ts").ReadFailed, typeof import("@llm4ts/flow/FlowError.ts").PersistenceError]>;
+        readonly failureMode: "error";
+    }, never>;
+}> | Toolkit.Toolkit<{}>;
+/** Every tool this configuration serves, registered on the server it is provided. */
+export declare const toolLayer: (config: OperatorConfig, deps: OperatorDeps) => Layer.Layer<never, never, McpServer.McpServer>;
+/**
+ * Lets a request through only with `Authorization: Bearer <token>`, compared in
+ * constant time; anything else is a bare 401. The token is never logged.
+ */
+export declare const bearerMiddleware: (token: string) => Layer.Layer<never>;
+/** The HTTP application: the tools on an MCP endpoint at `/mcp`, behind the bearer token. */
+export declare const httpAppLayer: (config: HttpOperatorConfig, deps: OperatorDeps) => Layer.Layer<never, Cause.IllegalArgumentError, HttpRouter.HttpRouter>;
+/** Serves the operator tools on the configured transport until interrupted. */
+export declare const runOperatorServer: (config: OperatorConfig, deps: OperatorDeps) => Effect.Effect<never, ServeError | Cause.IllegalArgumentError>;
+export {};
+//# sourceMappingURL=OperatorServer.d.ts.map

package/dist/OperatorServer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"OperatorServer.d.ts","sourceRoot":"","sources":["../src/OperatorServer.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAA;AAE1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AAGrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,SAAS,MAAM,qBAAqB,CAAA;AAChD,OAAO,KAAK,OAAO,MAAM,mBAAmB,CAAA;AAC5C,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAA;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAa7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,EAA6B,KAAK,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAGjF;;;;;GAKG;AAEH,eAAO,MAAM,UAAU,WAAW,CAAA;AAClC,eAAO,MAAM,UAAU,SAAS,CAAA;AAEhC,KAAK,aAAa,GAAG,OAAO,CAAC,cAAc,CAAC,WAAW,CAAC,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AACpF,MAAM,MAAM,kBAAkB,GAAG,cAAc,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAA;CAAE,CAAA;AAWvF,oGAAoG;AACpG,eAAO,MAAM,aAAa,GAAI,QAAQ,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAO/B,CAAA;AAsBrB,qFAAqF;AACrF,eAAO,MAAM,SAAS,GACpB,QAAQ,cAAc,EACtB,MAAM,YAAY,KACjB,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,SAAS,CAK7C,CAAA;AAIH;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,MAAM,KAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAajE,CAAA;AAED,6FAA6F;AAC7F,eAAO,MAAM,YAAY,GACvB,QAAQ,kBAAkB,EAC1B,MAAM,YAAY,KACjB,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,oBAAoB,EAAE,UAAU,CAAC,UAAU,CAIpE,CAAA;AA2CH,+EAA+E;AAC/E,eAAO,MAAM,iBAAiB,GAC5B,QAAQ,cAAc,EACtB,MAAM,YAAY,KACjB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,KAAK,CAAC,oBAAoB,CAoB9D,CAAA"}