@kvman/kvcoder 0.1.6 → 0.1.8

package/dist/delegate/runs.d.ts

@@ -1,20 +1,30 @@
 import type { Ctx, Stored } from '@kvman/sdk';
-import type { HeldResult, RunDoc } from '../schemas/records.ts';
+import type { HeldResult, RunDoc, RunStaging } from '../schemas/records.ts';
+import { type TxRecords } from '../store/collections.ts';
+import { type CreationGuard } from './permission.ts';
 import type { ProgramWorker } from './workers.ts';
 export type RunEnd = {
     status: Exclude<RunDoc['status'], 'running'>;
     exitCode: number | null;
     text: string;
     isError: boolean;
+    staging?: RunStaging;
 };
 /** Records a run of `worker` on `task`; `toolCallId` is the call that waits on it, or `null` for a background run. */
+export declare function recordRun(store: TxRecords, sessionId: string, worker: ProgramWorker, call: {
+    description: string;
+    task: string;
+}, toolCallId: string | null): Stored<RunDoc>;
 export declare function createRun(ctx: Ctx, sessionId: string, worker: ProgramWorker, call: {
     description: string;
     task: string;
-}, toolCallId: string | null): Promise<Stored<RunDoc>>;
+}, toolCallId: string | null, guard: CreationGuard): Promise<Stored<RunDoc>>;
 /** Queues the job that runs a recorded run. */
-export declare function launchRun(ctx: Ctx, runId: string): Promise<void>;
-/** Ends a run and gives its result to the call that waits on it, or to the chat as a background message, which may start a turn. */
+export declare function launchRun(ctx: Ctx, runId: string, guard: CreationGuard): Promise<void>;
+/**
+ * Ends a run and, in the same transaction (ADR 0052, 2), gives its result to the call that waits on it, or to the chat
+ * as a background message, which may start a turn.
+ */
 export declare function finishRun(ctx: Ctx, runId: string, end: RunEnd, startTurn: boolean): Promise<boolean>;
 /** Stops a run for the agent or the person: its result is that it was stopped (ADR 0021, 34). `false` for one that had ended. */
 export declare function stopRun(ctx: Ctx, run: Stored<RunDoc>): Promise<boolean>;

package/dist/delegate/runs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"runs.d.ts","sourceRoot":"","sources":["../../src/delegate/runs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAMhE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAMlD,MAAM,MAAM,MAAM,GAAG;IAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAE/H,sHAAsH;AACtH,wBAAsB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAGnL;AAED,+CAA+C;AAC/C,wBAAsB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAGtE;AAiBD,oIAAoI;AACpI,wBAAsB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAM1G;AAOD,iIAAiI;AACjI,wBAAsB,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAI7E;AAED,+EAA+E;AAC/E,wBAAsB,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAE1E;AAED,gGAAgG;AAChG,wBAAsB,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAMzE;AAED,kDAAkD;AAClD,eAAO,MAAM,UAAU,GAAI,YAAY,MAAM,EAAE,MAAM,MAAM,KAAG,UAA8C,CAAC"}
+{"version":3,"file":"runs.d.ts","sourceRoot":"","sources":["../../src/delegate/runs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAE5E,OAAO,EAAsB,KAAK,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EAAoB,KAAK,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAMvE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAMlD,MAAM,MAAM,MAAM,GAAG;IAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,UAAU,CAAA;CAAE,CAAC;AAErJ,sHAAsH;AACtH,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAG5K;AAED,wBAAsB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAMzM;AAED,+CAA+C;AAC/C,wBAAsB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAQ5F;AAiBD;;;GAGG;AACH,wBAAsB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAc1G;AAOD,iIAAiI;AACjI,wBAAsB,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAI7E;AAED,+EAA+E;AAC/E,wBAAsB,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAE1E;AAED,gGAAgG;AAChG,wBAAsB,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAMzE;AAED,kDAAkD;AAClD,eAAO,MAAM,UAAU,GAAI,YAAY,MAAM,EAAE,MAAM,MAAM,KAAG,UAA8C,CAAC"}

package/dist/delegate/runs.js

@@ -1,41 +1,71 @@
 import { now } from "../sessions/session-lookup.js";
 import { records, txRecords } from "../store/collections.js";
-import { appendBackground, backgroundText } from "../turns/background.js";
-import { heldText, resolvePending } from "../turns/resolve.js";
+import { runAuthorityInTx } from "./permission.js";
+import { invalid } from "../problems.js";
+import { appendBackgroundInTx, backgroundText } from "../turns/background.js";
+import { heldText, resolvePendingInTx } from "../turns/resolve.js";
+import { beginTurn, dispatchStep } from "../turns/start-turn.js";
 import { commandLine } from "./programs.js";
 /** Records a run of `worker` on `task`; `toolCallId` is the call that waits on it, or `null` for a background run. */
-export async function createRun(ctx, sessionId, worker, call, toolCallId) {
+export function recordRun(store, sessionId, worker, call, toolCallId) {
     const line = commandLine(worker, call.task);
-    return records(ctx.store).runs.insert({ sessionId, toolCallId, worker: worker.name, kind: worker.kind, call: call.description, command: line.command, args: line.args, timeoutMs: worker.timeoutMs, jobId: null, status: 'running', startedAt: now(), endedAt: null, exitCode: null, output: null });
+    return store.runs.insert({ sessionId, toolCallId, worker: worker.name, kind: worker.kind, call: call.description, command: line.command, args: line.args, timeoutMs: worker.timeoutMs, jobId: null, status: 'running', startedAt: now(), endedAt: null, exitCode: null, output: null, staging: null });
+}
+export async function createRun(ctx, sessionId, worker, call, toolCallId, guard) {
+    return ctx.store.transaction(tx => {
+        const store = txRecords(tx);
+        guard(store);
+        return recordRun(store, sessionId, worker, call, toolCallId);
+    });
 }
 /** Queues the job that runs a recorded run. */
-export async function launchRun(ctx, runId) {
+export async function launchRun(ctx, runId, guard) {
+    await ctx.store.transaction(tx => {
+        const store = txRecords(tx), parent = guard(store), run = store.runs.get(runId);
+        if (run?.status !== 'running' || run.sessionId !== parent.id)
+            throw invalid('The worker run is no longer current.');
+    });
+    ctx.job.signal.throwIfAborted();
     const jobId = await ctx.execAsync('kvcoder.delegate.worker.run', { runId });
     await records(ctx.store).runs.update(runId, { jobId });
 }
-// Records how a run ended, once: `undefined` when something else ended it first.
+// Records how a run ended, once: `false` when something else ended it first.
 async function markEnded(ctx, runId, end) {
     return ctx.store.transaction((tx) => {
-        const { runs } = txRecords(tx);
-        const run = runs.get(runId);
+        const store = txRecords(tx), run = store.runs.get(runId);
         if (run === undefined || run.status !== 'running')
-            return undefined;
-        return runs.update(runId, { status: end.status, endedAt: now(), exitCode: end.exitCode, output: end.text });
+            return false;
+        store.runs.update(runId, { status: end.status, endedAt: now(), exitCode: end.exitCode, output: end.text });
+        return true;
     });
 }
 function heldRun(run, toolCallId, end) {
     const durationMs = Math.max(Date.now() - Date.parse(run.startedAt), 0);
-    return { toolCallId, text: end.text, isError: end.isError, run: null, details: { description: run.call, connector: 'delegate', command: 'run', output: end.text, durationMs } };
+    return { toolCallId, text: end.text, isError: end.isError, run: null, details: { description: run.call, connector: 'delegate', command: 'run', output: end.text, durationMs, ...(end.staging === undefined ? {} : { staging: { runId: run.id } }) } };
 }
-/** Ends a run and gives its result to the call that waits on it, or to the chat as a background message, which may start a turn. */
+/**
+ * Ends a run and, in the same transaction (ADR 0052, 2), gives its result to the call that waits on it, or to the chat
+ * as a background message, which may start a turn.
+ */
 export async function finishRun(ctx, runId, end, startTurn) {
-    const run = await markEnded(ctx, runId, end);
-    if (run === undefined)
+    const next = await ctx.store.transaction((tx) => {
+        const store = txRecords(tx), found = store.runs.get(runId);
+        if (found === undefined || found.status !== 'running')
+            return undefined;
+        const authority = runAuthorityInTx(store, found);
+        const run = store.runs.update(runId, { status: end.status, endedAt: now(), exitCode: end.exitCode, output: end.text, ...(end.staging === undefined ? {} : { staging: end.staging }) });
+        if (run.toolCallId === null)
+            return { turnId: appendBackgroundInTx(store, run.sessionId, { kind: 'job', jobId: run.id }, backgroundText(run.call, run.id, end.text), startTurn), sessionId: run.sessionId };
+        return { step: authority === undefined ? null : resolvePendingInTx(store, run.sessionId, authority.pending.toolCallId, heldRun(run, run.toolCallId, end)) };
+    });
+    if (next === undefined)
         return false;
-    if (run.toolCallId !== null)
-        await resolvePending(ctx, run.sessionId, run.toolCallId, heldRun(run, run.toolCallId, end), false);
-    else
-        await appendBackground(ctx, run.sessionId, { kind: 'job', jobId: run.id }, backgroundText(run.call, run.id, end.text), startTurn);
+    if ('step' in next) {
+        if (next.step !== null)
+            await dispatchStep(ctx, next.step, false);
+    }
+    else if (next.turnId !== undefined)
+        await beginTurn(ctx, next.sessionId, next.turnId, true);
     return true;
 }
 async function cancelJobOf(ctx, run) {
@@ -52,7 +82,7 @@ export async function stopRun(ctx, run) {
 }
 /** Stops a run whose turn or chat is going away: nothing is told to anyone. */
 export async function dropRun(ctx, run) {
-    if ((await markEnded(ctx, run.id, { status: 'cancelled', exitCode: null, text: `${run.worker} was stopped`, isError: true })) !== undefined)
+    if (await markEnded(ctx, run.id, { status: 'cancelled', exitCode: null, text: `${run.worker} was stopped`, isError: true }))
         await cancelJobOf(ctx, run);
 }
 /** Stops every run a session still has going, and forgets all of them (the chat is deleted). */

package/dist/delegate/runs.js.map

@@ -1 +1 @@
-{"version":3,"file":"runs.js","sourceRoot":"","sources":["../../src/delegate/runs.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,GAAG,EAAE,MAAM,+BAA+B,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAS5C,sHAAsH;AACtH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,GAAQ,EAAE,SAAiB,EAAE,MAAqB,EAAE,IAA2C,EAAE,UAAyB;IACxJ,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACvS,CAAC;AAED,+CAA+C;AAC/C,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,GAAQ,EAAE,KAAa;IACrD,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,SAAS,CAAC,6BAA6B,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5E,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,iFAAiF;AACjF,KAAK,UAAU,SAAS,CAAC,GAAQ,EAAE,KAAa,EAAE,GAAW;IAC3D,OAAO,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE;QAClC,MAAM,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACpE,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9G,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,OAAO,CAAC,GAAmB,EAAE,UAAkB,EAAE,GAAW;IACnE,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC;AAClL,CAAC;AAED,oIAAoI;AACpI,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,GAAQ,EAAE,KAAa,EAAE,GAAW,EAAE,SAAkB;IACtF,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC7C,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,GAAG,CAAC,UAAU,KAAK,IAAI;QAAE,MAAM,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;;QAC3H,MAAM,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;IACvI,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,GAAQ,EAAE,GAAmB;IACtD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,IAAI,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC;IACtF,IAAI,KAAK,KAAK,IAAI;QAAE,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9C,CAAC;AAED,iIAAiI;AACjI,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,GAAQ,EAAE,GAAmB;IACzD,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,MAAM,cAAc,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;IAC/I,IAAI,OAAO;QAAE,MAAM,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,GAAQ,EAAE,GAAmB;IACzD,IAAI,CAAC,MAAM,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,MAAM,cAAc,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,SAAS;QAAE,MAAM,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAC3K,CAAC;AAED,gGAAgG;AAChG,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,GAAQ,EAAE,SAAiB;IACxD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjC,KAAK,MAAM,GAAG,IAAI,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACxE,MAAM,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,kDAAkD;AAClD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,UAAkB,EAAE,IAAY,EAAc,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC"}
+{"version":3,"file":"runs.js","sourceRoot":"","sources":["../../src/delegate/runs.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,GAAG,EAAE,MAAM,+BAA+B,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAkB,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAsB,MAAM,iBAAiB,CAAC;AACvE,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACzC,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC9E,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACnE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAS5C,sHAAsH;AACtH,MAAM,UAAU,SAAS,CAAC,KAAgB,EAAE,SAAiB,EAAE,MAAqB,EAAE,IAA2C,EAAE,UAAyB;IAC1J,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;AACzS,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,GAAQ,EAAE,SAAiB,EAAE,MAAqB,EAAE,IAA2C,EAAE,UAAyB,EAAE,KAAoB;IAC9K,OAAO,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE;QAChC,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC5B,KAAK,CAAC,KAAK,CAAC,CAAC;QACb,OAAO,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+CAA+C;AAC/C,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,GAAQ,EAAE,KAAa,EAAE,KAAoB;IAC3E,MAAM,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE;QAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChF,IAAI,GAAG,EAAE,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,MAAM,CAAC,EAAE;YAAE,MAAM,OAAO,CAAC,sCAAsC,CAAC,CAAC;IACtH,CAAC,CAAC,CAAC;IACH,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,SAAS,CAAC,6BAA6B,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5E,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,6EAA6E;AAC7E,KAAK,UAAU,SAAS,CAAC,GAAQ,EAAE,KAAa,EAAE,GAAW;IAC3D,OAAO,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE;QAClC,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3G,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,OAAO,CAAC,GAAmB,EAAE,UAAkB,EAAE,GAAW;IACnE,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;AACxP,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,GAAQ,EAAE,KAAa,EAAE,GAAW,EAAE,SAAkB;IACtF,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE;QAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3D,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACxE,MAAM,SAAS,GAAG,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACjD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QACvL,IAAI,GAAG,CAAC,UAAU,KAAK,IAAI;YAAE,OAAO,EAAE,MAAM,EAAE,oBAAoB,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC;QAC5M,OAAO,EAAE,IAAI,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;IAC9J,CAAC,CAAC,CAAC;IACH,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrC,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACnB,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;YAAE,MAAM,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACpE,CAAC;SAAM,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;QAAE,MAAM,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC9F,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,GAAQ,EAAE,GAAmB;IACtD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,IAAI,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC;IACtF,IAAI,KAAK,KAAK,IAAI;QAAE,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9C,CAAC;AAED,iIAAiI;AACjI,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,GAAQ,EAAE,GAAmB;IACzD,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,MAAM,cAAc,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;IAC/I,IAAI,OAAO;QAAE,MAAM,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,GAAQ,EAAE,GAAmB;IACzD,IAAI,MAAM,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,MAAM,cAAc,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAAE,MAAM,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAC3J,CAAC;AAED,gGAAgG;AAChG,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,GAAQ,EAAE,SAAiB;IACxD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjC,KAAK,MAAM,GAAG,IAAI,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACxE,MAAM,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,kDAAkD;AAClD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,UAAkB,EAAE,IAAY,EAAc,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC"}

package/dist/delegate/staging-guard.d.ts

@@ -0,0 +1,9 @@
+import { type Ctx } from '@kvman/sdk';
+import type { RunStaging } from '../schemas/records.ts';
+import { type StagingMark } from './git-staging.ts';
+/** What a run changed, from the mark made before it; `undefined` when there was no mark or nothing changed. */
+export declare function stagingChange(folder: string, before: StagingMark | undefined, signal: AbortSignal): Promise<RunStaging | undefined>;
+/** The lines a changed run's result ends with, for the model. */
+export declare function stagingLines(change: RunStaging, before: StagingMark): string;
+export declare function registerStagingRestore(ctx: Ctx): void;
+//# sourceMappingURL=staging-guard.d.ts.map

package/dist/delegate/staging-guard.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"staging-guard.d.ts","sourceRoot":"","sources":["../../src/delegate/staging-guard.ts"],"names":[],"mappings":"AAAA,OAAO,EAAK,KAAK,GAAG,EAAE,MAAM,YAAY,CAAC;AAEzC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGxD,OAAO,EAAmD,KAAK,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAMrG,+GAA+G;AAC/G,wBAAsB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,GAAG,SAAS,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC,CAMzI;AAID,iEAAiE;AACjE,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,GAAG,MAAM,CAI5E;AAED,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAwBrD"}

package/dist/delegate/staging-guard.js

@@ -0,0 +1,55 @@
+import { z } from '@kvman/sdk';
+import { invalid } from "../problems.js";
+import { findSession, userOnly } from "../sessions/session-lookup.js";
+import { records } from "../store/collections.js";
+import { restoreStaging, stagedPathsBetween, stagingMark } from "./git-staging.js";
+// The guard on the Git staging area around a program worker's run (plan 08 §8.5; ADR 0060, 4): what the run changed
+// is kept on its record and told to the model, and the person may put what was staged back while nothing has been
+// staged or committed since.
+/** What a run changed, from the mark made before it; `undefined` when there was no mark or nothing changed. */
+export async function stagingChange(folder, before, signal) {
+    if (before === undefined)
+        return undefined;
+    const after = await stagingMark(folder, signal);
+    if (after === undefined || (after.tree === before.tree && after.head === before.head))
+        return undefined;
+    const paths = after.tree === before.tree ? 0 : await stagedPathsBetween(folder, before.tree, after.tree, signal);
+    return { tree: before.tree, after: after.tree, head: after.head, headMoved: after.head !== before.head, paths, restored: false };
+}
+const shown = (commit) => (commit === null ? 'no commit' : commit.slice(0, 12));
+/** The lines a changed run's result ends with, for the model. */
+export function stagingLines(change, before) {
+    const staged = change.tree === change.after ? [] : [`kvman: this run changed what is staged in Git (${change.paths} paths differ from before it ran).`];
+    const moved = change.headMoved ? [`kvman: this run moved HEAD from ${shown(before.head)} to ${shown(change.head)}.`] : [];
+    return [...staged, ...moved].join('\n');
+}
+export function registerStagingRestore(ctx) {
+    ctx.registerCommand('kvcoder.delegate.staging.restore', {
+        description: "Puts back what was staged in Git before a program worker's run; it changes no file and no commit.",
+        input: z.strictObject({ sessionId: z.string(), runId: z.string() }),
+        output: z.object({}),
+        public: true,
+        retries: 0,
+        handle: async ({ sessionId, runId }) => {
+            userOnly(ctx, 'kvcoder.delegate.staging.restore');
+            await findSession(ctx, sessionId);
+            const store = records(ctx.store);
+            const run = await store.runs.get(runId);
+            if (run === undefined || run.sessionId !== sessionId)
+                throw ctx.problem('kvcoder/JOB_NOT_FOUND', { sessionId, id: runId });
+            const kept = run.staging;
+            if (kept === null || kept.restored)
+                throw invalid('This run has no staging change to restore.');
+            if (kept.headMoved)
+                throw invalid('This run moved HEAD, so its staging change cannot be restored here.');
+            const folder = ctx.job.workspace.path;
+            const current = await stagingMark(folder, ctx.job.signal);
+            if (current === undefined || current.tree !== kept.after || current.head !== kept.head)
+                throw invalid('The staging area or HEAD has changed since the run.');
+            await restoreStaging(folder, kept.tree, ctx.job.signal);
+            await store.runs.update(runId, { staging: { ...kept, restored: true } });
+            return {};
+        },
+    });
+}
+//# sourceMappingURL=staging-guard.js.map

package/dist/delegate/staging-guard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"staging-guard.js","sourceRoot":"","sources":["../../src/delegate/staging-guard.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAY,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAEzC,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,WAAW,EAAoB,MAAM,kBAAkB,CAAC;AAErG,oHAAoH;AACpH,kHAAkH;AAClH,6BAA6B;AAE7B,+GAA+G;AAC/G,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,MAAc,EAAE,MAA+B,EAAE,MAAmB;IACtG,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChD,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACxG,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACjH,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACnI,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,MAAqB,EAAU,EAAE,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAEvG,iEAAiE;AACjE,MAAM,UAAU,YAAY,CAAC,MAAkB,EAAE,MAAmB;IAClE,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kDAAkD,MAAM,CAAC,KAAK,oCAAoC,CAAC,CAAC;IACxJ,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,mCAAmC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1H,OAAO,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,GAAQ;IAC7C,GAAG,CAAC,eAAe,CAAC,kCAAkC,EAAE;QACtD,WAAW,EAAE,mGAAmG;QAChH,KAAK,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QACnE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QACpB,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,CAAC;QACV,MAAM,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE;YACrC,QAAQ,CAAC,GAAG,EAAE,kCAAkC,CAAC,CAAC;YAClD,MAAM,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACjC,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACxC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS;gBAAE,MAAM,GAAG,CAAC,OAAO,CAAC,uBAAuB,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;YAC3H,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC;YACzB,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ;gBAAE,MAAM,OAAO,CAAC,4CAA4C,CAAC,CAAC;YAChG,IAAI,IAAI,CAAC,SAAS;gBAAE,MAAM,OAAO,CAAC,qEAAqE,CAAC,CAAC;YACzG,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;YACtC,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC1D,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;gBAAE,MAAM,OAAO,CAAC,qDAAqD,CAAC,CAAC;YAC7J,MAAM,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACxD,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACzE,OAAO,EAAE,CAAC;QACZ,CAAC;KACF,CAAC,CAAC;AACL,CAAC"}

package/dist/delegate/start-background.d.ts

@@ -0,0 +1,7 @@
+import { type Ctx, type Stored } from '@kvman/sdk';
+import type { RunDoc } from '../schemas/records.ts';
+import { type TxRecords } from '../store/collections.ts';
+import type { CreationGuard } from './permission.ts';
+/** Local proof for this newly created attempt only, not a durable/background-origin launch permit. */
+export declare function startBackgroundRun(ctx: Ctx, run: Stored<RunDoc>, prepare: () => Promise<CreationGuard>, current: (store: TxRecords) => boolean): Promise<void>;
+//# sourceMappingURL=start-background.d.ts.map

package/dist/delegate/start-background.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"start-background.d.ts","sourceRoot":"","sources":["../../src/delegate/start-background.ts"],"names":[],"mappings":"AACA,OAAO,EAAgB,KAAK,GAAG,EAAE,KAAK,MAAM,EAAE,MAAM,YAAY,CAAC;AAEjE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,EAAa,KAAK,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAGrD,sGAAsG;AACtG,wBAAsB,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,OAAO,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,SAAS,KAAK,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAoBpK"}

package/dist/delegate/start-background.js

@@ -0,0 +1,32 @@
+import { isDeepStrictEqual } from 'node:util';
+import { ProblemError } from '@kvman/sdk';
+import { errorOutput } from "../connector-call.js";
+import { now } from "../sessions/session-lookup.js";
+import { txRecords } from "../store/collections.js";
+import { launchRun } from "./runs.js";
+/** Local proof for this newly created attempt only, not a durable/background-origin launch permit. */
+export async function startBackgroundRun(ctx, run, prepare, current) {
+    let dispatchEligible = false;
+    try {
+        const guard = await prepare();
+        await launchRun(ctx, run.id, store => {
+            const parent = guard(store);
+            dispatchEligible = true;
+            return parent;
+        });
+    }
+    catch (error) {
+        if (!(error instanceof ProblemError) || ctx.job.signal.aborted)
+            throw error;
+        // After guard success, an enqueue error could have unknown effects: never infer "unstarted" from jobId:null.
+        if (!dispatchEligible)
+            await ctx.store.transaction(tx => {
+                const store = txRecords(tx);
+                if (current(store) && run.jobId === null && isDeepStrictEqual(store.runs.get(run.id), run)) {
+                    store.runs.update(run.id, { status: 'failed', endedAt: now(), output: errorOutput(error.problem).output });
+                }
+            });
+        throw error;
+    }
+}
+//# sourceMappingURL=start-background.js.map

package/dist/delegate/start-background.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"start-background.js","sourceRoot":"","sources":["../../src/delegate/start-background.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAyB,MAAM,YAAY,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEnD,OAAO,EAAE,GAAG,EAAE,MAAM,+BAA+B,CAAC;AACpD,OAAO,EAAE,SAAS,EAAkB,MAAM,yBAAyB,CAAC;AAEpE,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,sGAAsG;AACtG,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,GAAQ,EAAE,GAAmB,EAAE,OAAqC,EAAE,OAAsC;IACnJ,IAAI,gBAAgB,GAAG,KAAK,CAAC;IAC7B,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,OAAO,EAAE,CAAC;QAC9B,MAAM,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE;YACnC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,gBAAgB,GAAG,IAAI,CAAC;YACxB,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,KAAK,YAAY,YAAY,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO;YAAE,MAAM,KAAK,CAAC;QAC5E,6GAA6G;QAC7G,IAAI,CAAC,gBAAgB;YAAE,MAAM,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE;gBACtD,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;gBAC5B,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,IAAI,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;oBAC3F,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC7G,CAAC;YACH,CAAC,CAAC,CAAC;QACH,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/delegate/start-pending.d.ts

@@ -0,0 +1,5 @@
+import { type Ctx } from '@kvman/sdk';
+import { type PendingAuthority } from './permission.ts';
+/** Parent grants, not child tool scope, authorize a newly published foreground resource. */
+export declare function startPending(ctx: Ctx, authority: PendingAuthority): Promise<void>;
+//# sourceMappingURL=start-pending.d.ts.map

package/dist/delegate/start-pending.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"start-pending.d.ts","sourceRoot":"","sources":["../../src/delegate/start-pending.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,KAAK,GAAG,EAAE,MAAM,YAAY,CAAC;AAIpD,OAAO,EAAkE,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAGxH,4FAA4F;AAC5F,wBAAsB,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CA0BvF"}

package/dist/delegate/start-pending.js

@@ -0,0 +1,42 @@
+import { ProblemError } from '@kvman/sdk';
+import { startChild } from "../connectors/delegate.js";
+import { invalid } from "../problems.js";
+import { prepareGrants } from "../prompt/session-grants.js";
+import { delegationInTx, refusePending, waitingInTx } from "./permission.js";
+import { launchRun } from "./runs.js";
+/** Parent grants, not child tool scope, authorize a newly published foreground resource. */
+export async function startPending(ctx, authority) {
+    const { sessionId, pending } = authority;
+    try {
+        const prepared = await prepareGrants(ctx);
+        const guard = store => {
+            ctx.job.signal.throwIfAborted();
+            if (waitingInTx(store, authority) === undefined)
+                throw invalid('The originating delegation is no longer current.');
+            if (pending.kind === 'worker' && pending.runId !== null && pending.childSessionId === null && pending.questionId === null && pending.question === null) {
+                const run = store.runs.get(pending.runId);
+                if (run?.status !== 'running' || run.sessionId !== sessionId || run.toolCallId !== pending.toolCallId)
+                    throw invalid('The worker run is no longer current.');
+                return delegationInTx(store, sessionId, prepared, run.worker, run.kind).session;
+            }
+            if (pending.kind === 'subagent' && pending.childSessionId !== null && pending.runId === null && pending.questionId === null && pending.question === null) {
+                const child = store.sessions.get(pending.childSessionId);
+                if (child?.parentId !== sessionId || child.worker === null || child === undefined)
+                    throw invalid('The child no longer belongs to its originating session.');
+                return delegationInTx(store, sessionId, prepared, child.worker.name, 'subagent').session;
+            }
+            throw invalid('The delegation binding is invalid.');
+        };
+        if (pending.childSessionId !== null)
+            await startChild(ctx, pending.childSessionId, guard);
+        else if (pending.runId !== null)
+            await launchRun(ctx, pending.runId, guard);
+    }
+    catch (error) {
+        if (!(error instanceof ProblemError) || ctx.job.signal.aborted)
+            throw error;
+        await refusePending(ctx, authority, error);
+        // Stale resources are retained for separately approved owned cleanup, not used to mutate a newer turn.
+    }
+}
+//# sourceMappingURL=start-pending.js.map

package/dist/delegate/start-pending.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"start-pending.js","sourceRoot":"","sources":["../../src/delegate/start-pending.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAY,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,WAAW,EAA6C,MAAM,iBAAiB,CAAC;AACxH,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,4FAA4F;AAC5F,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,GAAQ,EAAE,SAA2B;IACtE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC;IACzC,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAkB,KAAK,CAAC,EAAE;YACnC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;YAChC,IAAI,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,SAAS;gBAAE,MAAM,OAAO,CAAC,kDAAkD,CAAC,CAAC;YACnH,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,IAAI,OAAO,CAAC,cAAc,KAAK,IAAI,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACvJ,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC1C,IAAI,GAAG,EAAE,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU;oBAAE,MAAM,OAAO,CAAC,sCAAsC,CAAC,CAAC;gBAC7J,OAAO,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC;YAClF,CAAC;YACD,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,cAAc,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACzJ,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;gBACzD,IAAI,KAAK,EAAE,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;oBAAE,MAAM,OAAO,CAAC,yDAAyD,CAAC,CAAC;gBAC5J,OAAO,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC;YAC3F,CAAC;YACD,MAAM,OAAO,CAAC,oCAAoC,CAAC,CAAC;QACtD,CAAC,CAAC;QACF,IAAI,OAAO,CAAC,cAAc,KAAK,IAAI;YAAE,MAAM,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;aACrF,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;YAAE,MAAM,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9E,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,KAAK,YAAY,YAAY,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO;YAAE,MAAM,KAAK,CAAC;QAC5E,MAAM,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QAC3C,uGAAuG;IACzG,CAAC;AACH,CAAC"}

package/dist/delegate/workers.d.ts

@@ -1,7 +1,8 @@
 import { z, type Ctx } from '@kvman/sdk';
-/** A worker that runs a subagent: a child session with its own connectors, model, and thinking. */
+/** A worker that runs a subagent: a child session with its own connectors, model, and thinking; `readOnly` refuses its helper every call that could change something (ADR 0056, 1). */
 export declare const subagentWorkerSchema: z.ZodObject<{
     kind: z.ZodLiteral<"subagent">;
+    readOnly: z.ZodDefault<z.ZodBoolean>;
     connectors: z.ZodNullable<z.ZodArray<z.ZodString>>;
     model: z.ZodNullable<z.ZodString>;
     thinking: z.ZodNullable<z.ZodEnum<{
@@ -86,6 +87,7 @@ export declare const claudeWorkerSchema: z.ZodObject<{
 /** One worker: a subagent, or a program of one of the kinds kvcoder knows (ADR 0021, 3). */
 export declare const workerSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     kind: z.ZodLiteral<"subagent">;
+    readOnly: z.ZodDefault<z.ZodBoolean>;
     connectors: z.ZodNullable<z.ZodArray<z.ZodString>>;
     model: z.ZodNullable<z.ZodString>;
     thinking: z.ZodNullable<z.ZodEnum<{
@@ -165,6 +167,7 @@ export declare const workerSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
 /** The `kvcoder.delegate.workers` setting: each worker has its own name. */
 export declare const workersSchema: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
     kind: z.ZodLiteral<"subagent">;
+    readOnly: z.ZodDefault<z.ZodBoolean>;
     connectors: z.ZodNullable<z.ZodArray<z.ZodString>>;
     model: z.ZodNullable<z.ZodString>;
     thinking: z.ZodNullable<z.ZodEnum<{
@@ -248,7 +251,7 @@ export type ProgramWorker = Exclude<Worker, SubagentWorker>;
 export declare const isProgram: (worker: Worker) => worker is ProgramWorker;
 /** The name a program worker's check has among a session's checks (ADR 0021, 37). */
 export declare const workerCheckName: (name: string) => string;
-/** The workers kvcoder ships with: they differ by their instructions only (ADR 0021, 5). */
+/** The workers kvcoder ships with: they differ by their instructions, and the architect and the reviewer are read-only (ADR 0021, 5; ADR 0056, 1; ADR 0076). */
 export declare const shippedWorkers: SubagentWorker[];
 /** The workers of the job's workspace, in the setting's order. */
 export declare function listedWorkers(ctx: Ctx): Promise<Worker[]>;

package/dist/delegate/workers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"workers.d.ts","sourceRoot":"","sources":["../../src/delegate/workers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,CAAC,EAAE,KAAK,GAAG,EAAE,MAAM,YAAY,CAAC;AAkBvD,mGAAmG;AACnG,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;kBAAmL,CAAC;AAWrN,4EAA4E;AAC5E,eAAO,MAAM,YAAY,EAAE,SAAS,MAAM,EAA6C,CAAC;AAExF,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;kBAAmM,CAAC;AACrO,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;kBAA6M,CAAC;AACzO,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;kBAM8E,CAAC;AAE9G,4FAA4F;AAC5F,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BAAiH,CAAC;AAE3I,4EAA4E;AAC5E,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6BAAsJ,CAAC;AAEjL,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,YAAY,CAAC,CAAC;AACnD,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAC;AACnE,MAAM,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;AAE5D,uDAAuD;AACvD,eAAO,MAAM,SAAS,GAAI,QAAQ,MAAM,KAAG,MAAM,IAAI,aAA2C,CAAC;AAEjG,qFAAqF;AACrF,eAAO,MAAM,eAAe,GAAI,MAAM,MAAM,KAAG,MAA0B,CAAC;AAI1E,4FAA4F;AAC5F,eAAO,MAAM,cAAc,EAAE,cAAc,EAsB1C,CAAC;AAEF,kEAAkE;AAClE,wBAAsB,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAE/D;AAED,KAAK,MAAM,GAAG,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,EAAE,GAAG,IAAI,CAAC;AAElE,0GAA0G;AAC1G,wBAAsB,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAGlF;AAMD,6FAA6F;AAC7F,wBAAsB,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAK7F;AAED,wDAAwD;AACxD,wBAAsB,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAK1E"}
+{"version":3,"file":"workers.d.ts","sourceRoot":"","sources":["../../src/delegate/workers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,CAAC,EAAE,KAAK,GAAG,EAAE,MAAM,YAAY,CAAC;AAkBvD,uLAAuL;AACvL,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;kBAAyN,CAAC;AAW3P,4EAA4E;AAC5E,eAAO,MAAM,YAAY,EAAE,SAAS,MAAM,EAA6C,CAAC;AAExF,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;kBAAmM,CAAC;AACrO,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;kBAA6M,CAAC;AACzO,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;kBAM8E,CAAC;AAE9G,4FAA4F;AAC5F,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BAAiH,CAAC;AAE3I,4EAA4E;AAC5E,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6BAAsJ,CAAC;AAEjL,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,YAAY,CAAC,CAAC;AACnD,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAC;AACnE,MAAM,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;AAE5D,uDAAuD;AACvD,eAAO,MAAM,SAAS,GAAI,QAAQ,MAAM,KAAG,MAAM,IAAI,aAA2C,CAAC;AAEjG,qFAAqF;AACrF,eAAO,MAAM,eAAe,GAAI,MAAM,MAAM,KAAG,MAA0B,CAAC;AA4C1E,gKAAgK;AAChK,eAAO,MAAM,cAAc,EAAE,cAAc,EAM1C,CAAC;AAEF,kEAAkE;AAClE,wBAAsB,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAE/D;AAED,KAAK,MAAM,GAAG,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,EAAE,GAAG,IAAI,CAAC;AAElE,0GAA0G;AAC1G,wBAAsB,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAGlF;AAMD,6FAA6F;AAC7F,wBAAsB,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAK7F;AAED,wDAAwD;AACxD,wBAAsB,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAK1E"}

package/dist/delegate/workers.js

@@ -12,8 +12,8 @@ const common = {
     enabled: z.boolean(),
     instructions: z.string().refine((text) => Buffer.byteLength(text, 'utf8') <= instructionsLimit, 'Instructions hold at most 16 KB.'),
 };
-/** A worker that runs a subagent: a child session with its own connectors, model, and thinking. */
-export const subagentWorkerSchema = z.strictObject({ ...common, kind: z.literal('subagent'), connectors: z.array(z.string()).nullable(), model: z.string().min(1).nullable(), thinking: thinkingSchema.nullable() });
+/** A worker that runs a subagent: a child session with its own connectors, model, and thinking; `readOnly` refuses its helper every call that could change something (ADR 0056, 1). */
+export const subagentWorkerSchema = z.strictObject({ ...common, kind: z.literal('subagent'), readOnly: z.boolean().default(false), connectors: z.array(z.string()).nullable(), model: z.string().min(1).nullable(), thinking: thinkingSchema.nullable() });
 // A worker that runs a program on this computer (ADR 0021, 12, 13, and 31): whether a run asks first, how long it may
 // take, and the flags that matter, each `null` to leave its flag out.
 const program = { ...common, approval: z.enum(['ask', 'auto']), timeoutMs: z.number().int().min(60_000).max(7_200_000) };
@@ -40,14 +40,50 @@ export const workersSchema = z.array(workerSchema).refine((workers) => new Set(w
 export const isProgram = (worker) => worker.kind !== 'subagent';
 /** The name a program worker's check has among a session's checks (ADR 0021, 37). */
 export const workerCheckName = (name) => `worker:${name}`;
-const shipped = (name, description, instructions) => ({ name, description, enabled: true, kind: 'subagent', instructions, connectors: null, model: null, thinking: null });
-/** The workers kvcoder ships with: they differ by their instructions only (ADR 0021, 5). */
+const shipped = (name, description, instructions, readOnly = false) => ({ name, description, enabled: true, kind: 'subagent', readOnly, instructions, connectors: null, model: null, thinking: null });
+// The shipped specialists' instructions (ADR 0076): each adds its role's craft to the worker's method, which already says
+// how a helper understands, does, and returns, so none of them repeats it.
+const designer = [
+    'You are a senior UI/UX designer. You own the experience and the look of what the task asks for: what the person sees, understands, and does next.',
+    "Start from the person: who uses this, what they came to do, and the shortest clear way there. Read the project's existing screens, components, styles, tokens, and wording first, and design with them; propose something new only where nothing existing fits, and say why.",
+    "Experience: one main action on a screen, the common path in the fewest steps, plain wording in the person's own words, a visible response to every action, a way back or a confirmation for what can't be undone, errors that say what happened and what to do next, and every state designed: empty, loading, partial, error, success, and disabled.",
+    "Visuals: a clear hierarchy, where size, weight, spacing, and contrast show what matters first; one spacing scale and one type scale; alignment to a grid; color that carries meaning and is never the only signal; and the project's light and dark themes.",
+    'Standards: WCAG 2.2 AA (text contrast of 4.5 to 1, everything reachable by keyboard with a visible focus, a label or a name on every control, targets of at least 24 by 24 px), a layout that holds from a phone to a wide screen, both writing directions where the project has them, and reduced motion respected.',
+    "Return the design in your answer: the flow step by step, each screen's layout, states, and exact wording, the components and tokens it uses, the choices you made and why, and a page's HTML and CSS when layout matters. Don't change the project's files unless the task asks you to build the design; when it does, build it with the project's own components and check it as the person will see it.",
+].join('\n');
+const architect = [
+    'You are a senior software architect. You own the structure of what the task asks for: the parts, their boundaries, and how they fit what the project already is.',
+    "Read before you propose: the code the task touches, the code beside it that solves a similar problem, and the project's rules (its guides, `AGENTS.md`, config, lint rules, and tests). Work out the project's patterns and conventions from them (its layers, naming, error handling, data access, and tests) and design inside them. Where your design departs from one, say so and why.",
+    "Design on sound engineering practice: one clear responsibility per part, high cohesion and low coupling, dependencies that point one way and never in a circle, an explicit contract at every boundary (inputs, outputs, errors), one owner for each piece of data, validation at the edges, failures handled where something can be done about them, and security, performance, and testability thought through on the paths that need them.",
+    "Prefer the simplest design that does what was asked: reuse what exists, and add no layer, abstraction, option, or dependency the task doesn't need. For a decision that matters, weigh at least one real alternative and say why you chose as you did.",
+    "Return the design in your answer: the parts and each one's responsibility, the shapes and contracts that pass between them, the files and modules to add or change, the order to build them in and what can be built side by side, the trade-offs you weighed, the risks and how each is contained, and how the result is tested. Don't edit the project's files.",
+].join('\n');
+const tester = [
+    "You are a senior QA engineer. You test what the task names the way the people who depend on it will use it, and you report what is wrong; you don't fix it.",
+    "Choose the test cases by risk, before you test. Read what was asked and what was built. First come the flows the business depends on: the main thing a person comes to do, and anything that touches money, data, or access. Then security, then performance. Then the edges of those: empty, very large, wrong, repeated, and out-of-order input, and a step that fails midway. Spend nothing on what can't break or doesn't matter.",
+    "Automated: write the cases in the project's own test setup and style, each checking one behavior with real values and named for what it checks, and run them. A test must fail when the behavior breaks; one that only repeats the code proves nothing.",
+    "By hand: use it as a person would. Run the app or the command and go through each flow from start to end, with the `mcp` connector's browser when there is one, and with requests and the shell when there isn't. Look at what a person would see, and try what a person would try: wrong input, going back, doing it twice, and an action they aren't allowed.",
+    'Security: check that every input is validated, that a person reaches only what they are allowed to (try as someone else, and as no one), that no secret appears in an output, a log, or a file, and the injection that fits the technology (SQL, command, path, script).',
+    'Performance: measure the critical paths with a realistic amount of data, and report the numbers and how you measured them. Name whatever grows faster than the data does.',
+    "Report each issue with its severity (critical, high, medium, or low), the steps that reproduce it, what you expected, what happened, and the evidence. List the cases you ran, each passed or failed, and what you couldn't test. Don't change production code to make a test pass; report the defect. Stop what you started, and leave behind only the tests the task asked for.",
+].join('\n');
+const reviewer = [
+    'You are a senior code reviewer. You read a change as the engineer who will maintain it, and you report what makes the code wrong, harder to read, or harder to change.',
+    "Read the changes the task names in full, then the code around them, the code nearby that does a similar job, and the project's rules (its guides, `AGENTS.md`, and lint and format config). Judge against the project's own style and never against your taste.",
+    "Style: whatever goes against the project's conventions in naming, layout, file and module structure, idiom, error handling, and comments.",
+    'Complexity: a function or module that does more than one thing, deep nesting, a long parameter list, clever code where plain code would do, an abstraction, option, or layer with one user, and the same thing written twice.',
+    'Unclean code: dead or commented-out code, leftovers (debug output, a TODO, a temporary file), stubs, workarounds, a swallowed error, and a value with no name.',
+    "Unclear code: a name that doesn't say what the thing is, a function that does something other than its name says, a hidden side effect, a flow you had to read twice, a non-obvious reason with no comment, and a comment that repeats the code.",
+    'A correctness or security defect you meet on the way is reported too, and comes first.',
+    "Report each finding with its severity (must fix, should fix, or consider), its file and line, what is wrong, why it matters, and what you expect instead, with a line or two of code when that is clearer. Order the findings by severity, and leave out what the project's formatter or linter already settles. Say so plainly when you find nothing. Don't edit the project's files.",
+].join('\n');
+/** The workers kvcoder ships with: they differ by their instructions, and the architect and the reviewer are read-only (ADR 0021, 5; ADR 0056, 1; ADR 0076). */
 export const shippedWorkers = [
     shipped('general', 'Any separate, self-contained task', ''),
-    shipped('ui-ux', 'Designs screens and flows', "You are a UI/UX designer. Design the screens and flows the task asks for, from the person's experience: what they see, what they do next, and every empty, loading, and error state. Follow the project's existing components, styles, and wording. Show the design in an artifact, as a page when layout matters. Don't change the project's files unless the task asks you to build the design."),
-    shipped('architect', 'Studies the code and proposes a design', "You are a software architect. Read the code the task touches before you propose anything. Return a design: the parts, their responsibilities, the shapes that pass between them, the trade-offs you weighed, and the risks. Prefer the simplest design that fits the project's conventions. Don't edit the project's files."),
-    shipped('tester', 'Writes and runs tests', "You are a test engineer. Write the tests the task asks for in the project's own test setup, each checking one behavior with real values, and run them. Report each failure with its cause. Don't change production code to make a test pass; report the defect."),
-    shipped('reviewer', 'Reviews changes with a fresh look', "You are a code reviewer. Read the changes the task names, and the code around them. Report defects by severity, each with its file and line, what is wrong, and what you expect instead: correctness first, then security, then the project's conventions. Say so when you find nothing. Don't edit the project's files."),
+    shipped('ui-ux', 'Designs the experience and the look of a screen or flow, to usability and accessibility standards', designer),
+    shipped('architect', "Designs the structure of a change, on sound engineering practice and the project's own patterns and conventions", architect, true),
+    shipped('tester', 'QA engineer: writes and runs test cases, automated and by hand as a person would, on the critical flows, security, and performance, and reports the issues', tester),
+    shipped('reviewer', 'Reviews code and reports wrong style, needless complexity, and unclean or unclear code', reviewer, true),
 ];
 /** The workers of the job's workspace, in the setting's order. */
 export async function listedWorkers(ctx) {

package/dist/delegate/workers.js.map

@@ -1 +1 @@
-{"version":3,"file":"workers.js","sourceRoot":"","sources":["../../src/delegate/workers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,CAAC,EAAY,MAAM,YAAY,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEpD,6GAA6G;AAC7G,sHAAsH;AACtH,sEAAsE;AAEtE,8DAA8D;AAC9D,MAAM,iBAAiB,GAAG,EAAE,GAAG,IAAI,CAAC;AAEpC,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,UAAU;IAChB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;IACpB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,iBAAiB,EAAE,kCAAkC,CAAC;CACpI,CAAC;AAEF,mGAAmG;AACnG,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,cAAc,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAErN,sHAAsH;AACtH,sEAAsE;AACtE,MAAM,OAAO,GAAG,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;AACzH,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAE1C,mHAAmH;AACnH,+CAA+C;AAC/C,MAAM,UAAU,GAAG,uHAAuH,CAAC;AAE3I,4EAA4E;AAC5E,MAAM,CAAC,MAAM,YAAY,GAAsB,CAAC,mBAAmB,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;AAExF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;AACrO,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACzO,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC/C,GAAG,OAAO;IACV,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,KAAK,EAAE,IAAI;IACX,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE;IACpE,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,MAAM,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;CACxF,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,UAAU,CAAC,CAAC;AAE9G,4FAA4F;AAC5F,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE,CAAC,oBAAoB,EAAE,oBAAoB,EAAE,cAAc,EAAE,kBAAkB,CAAC,CAAC,CAAC;AAE3I,4EAA4E;AAC5E,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,iCAAiC,CAAC,CAAC;AAMjL,uDAAuD;AACvD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAc,EAA2B,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC;AAEjG,qFAAqF;AACrF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC;AAE1E,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,WAAmB,EAAE,YAAoB,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AAEnN,4FAA4F;AAC5F,MAAM,CAAC,MAAM,cAAc,GAAqB;IAC9C,OAAO,CAAC,SAAS,EAAE,mCAAmC,EAAE,EAAE,CAAC;IAC3D,OAAO,CACL,OAAO,EACP,2BAA2B,EAC3B,mYAAmY,CACpY;IACD,OAAO,CACL,WAAW,EACX,wCAAwC,EACxC,6TAA6T,CAC9T;IACD,OAAO,CACL,QAAQ,EACR,uBAAuB,EACvB,iQAAiQ,CAClQ;IACD,OAAO,CACL,UAAU,EACV,mCAAmC,EACnC,0TAA0T,CAC3T;CACF,CAAC;AAEF,kEAAkE;AAClE,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,GAAQ;IAC1C,OAAO,aAAa,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC,CAAC;AACjF,CAAC;AAID,0GAA0G;AAC1G,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,GAAQ,EAAE,MAAc;IAC7D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAClG,OAAO,CAAC,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3I,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,KAAwB;IACtD,OAAO,IAAI,YAAY,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,OAAO,EAAE,sBAAsB,IAAI,KAAK,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AAC9N,CAAC;AAED,6FAA6F;AAC7F,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,GAAQ,EAAE,MAAc,EAAE,IAAY;IAC1E,MAAM,OAAO,GAAG,MAAM,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC7D,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACpF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wDAAwD;AACxD,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,GAAQ,EAAE,IAAY;IACvD,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC7D,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACpF,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"workers.js","sourceRoot":"","sources":["../../src/delegate/workers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,CAAC,EAAY,MAAM,YAAY,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEpD,6GAA6G;AAC7G,sHAAsH;AACtH,sEAAsE;AAEtE,8DAA8D;AAC9D,MAAM,iBAAiB,GAAG,EAAE,GAAG,IAAI,CAAC;AAEpC,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,UAAU;IAChB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;IACpB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,iBAAiB,EAAE,kCAAkC,CAAC;CACpI,CAAC;AAEF,uLAAuL;AACvL,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,cAAc,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAE3P,sHAAsH;AACtH,sEAAsE;AACtE,MAAM,OAAO,GAAG,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;AACzH,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAE1C,mHAAmH;AACnH,+CAA+C;AAC/C,MAAM,UAAU,GAAG,uHAAuH,CAAC;AAE3I,4EAA4E;AAC5E,MAAM,CAAC,MAAM,YAAY,GAAsB,CAAC,mBAAmB,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;AAExF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;AACrO,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACzO,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC/C,GAAG,OAAO;IACV,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,KAAK,EAAE,IAAI;IACX,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE;IACpE,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,MAAM,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;CACxF,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,UAAU,CAAC,CAAC;AAE9G,4FAA4F;AAC5F,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE,CAAC,oBAAoB,EAAE,oBAAoB,EAAE,cAAc,EAAE,kBAAkB,CAAC,CAAC,CAAC;AAE3I,4EAA4E;AAC5E,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,iCAAiC,CAAC,CAAC;AAMjL,uDAAuD;AACvD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAc,EAA2B,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC;AAEjG,qFAAqF;AACrF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC;AAE1E,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,WAAmB,EAAE,YAAoB,EAAE,QAAQ,GAAG,KAAK,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AAE/O,0HAA0H;AAC1H,2EAA2E;AAC3E,MAAM,QAAQ,GAAG;IACf,mJAAmJ;IACnJ,8QAA8Q;IAC9Q,uVAAuV;IACvV,6PAA6P;IAC7P,sTAAsT;IACtT,2YAA2Y;CAC5Y,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,SAAS,GAAG;IAChB,kKAAkK;IAClK,4XAA4X;IAC5X,+aAA+a;IAC/a,wPAAwP;IACxP,mWAAmW;CACpW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,MAAM,GAAG;IACb,6JAA6J;IAC7J,uaAAua;IACva,yPAAyP;IACzP,iWAAiW;IACjW,0QAA0Q;IAC1Q,2KAA2K;IAC3K,mXAAmX;CACpX,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,QAAQ,GAAG;IACf,wKAAwK;IACxK,iQAAiQ;IACjQ,2IAA2I;IAC3I,+NAA+N;IAC/N,gKAAgK;IAChK,kPAAkP;IAClP,wFAAwF;IACxF,wXAAwX;CACzX,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,gKAAgK;AAChK,MAAM,CAAC,MAAM,cAAc,GAAqB;IAC9C,OAAO,CAAC,SAAS,EAAE,mCAAmC,EAAE,EAAE,CAAC;IAC3D,OAAO,CAAC,OAAO,EAAE,mGAAmG,EAAE,QAAQ,CAAC;IAC/H,OAAO,CAAC,WAAW,EAAE,iHAAiH,EAAE,SAAS,EAAE,IAAI,CAAC;IACxJ,OAAO,CAAC,QAAQ,EAAE,4JAA4J,EAAE,MAAM,CAAC;IACvL,OAAO,CAAC,UAAU,EAAE,wFAAwF,EAAE,QAAQ,EAAE,IAAI,CAAC;CAC9H,CAAC;AAEF,kEAAkE;AAClE,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,GAAQ;IAC1C,OAAO,aAAa,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC,CAAC;AACjF,CAAC;AAID,0GAA0G;AAC1G,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,GAAQ,EAAE,MAAc;IAC7D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAClG,OAAO,CAAC,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3I,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,KAAwB;IACtD,OAAO,IAAI,YAAY,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,OAAO,EAAE,sBAAsB,IAAI,KAAK,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AAC9N,CAAC;AAED,6FAA6F;AAC7F,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,GAAQ,EAAE,MAAc,EAAE,IAAY;IAC1E,MAAM,OAAO,GAAG,MAAM,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC7D,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACpF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wDAAwD;AACxD,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,GAAQ,EAAE,IAAY;IACvD,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC7D,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACpF,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/files/file-change.d.ts

@@ -0,0 +1,28 @@
+import { type Ctx } from '@kvman/sdk';
+import { type TxRecords } from '../store/collections.ts';
+/** The copies a chat keeps, and the largest previous content one holds. */
+export declare const copiesKept = 20;
+export declare const copyLimit: number;
+/** A file as a chat names it and as the file system knows it. */
+export type ChangedFile = {
+    sessionId: string;
+    shown: string;
+    real: string;
+};
+export declare const fingerprintOf: (bytes: Uint8Array) => string;
+/** Changes the file to what `plan` makes of its current content; `created` says whether it was new. */
+export declare function changeFile<Value>(ctx: Ctx, file: ChangedFile, plan: (previous: Buffer | undefined, store: TxRecords) => {
+    content: Buffer;
+    value: Value;
+}): Promise<Value & {
+    created: boolean;
+}>;
+/** Takes back the chat's latest change to the file, when the file still holds what that change wrote. */
+export declare function undoChange(ctx: Ctx, file: ChangedFile): Promise<{
+    path: string;
+    removed: boolean;
+    bytes: number;
+}>;
+/** Records the file as the chat has just read it; a file that is gone again records nothing. */
+export declare function recordFileView(ctx: Ctx, sessionId: string, requested: string): Promise<void>;
+//# sourceMappingURL=file-change.d.ts.map

package/dist/files/file-change.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-change.d.ts","sourceRoot":"","sources":["../../src/files/file-change.ts"],"names":[],"mappings":"AAGA,OAAO,EAAgB,KAAK,GAAG,EAAE,MAAM,YAAY,CAAC;AAGpD,OAAO,EAAa,KAAK,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAOpE,2EAA2E;AAC3E,eAAO,MAAM,UAAU,KAAK,CAAC;AAC7B,eAAO,MAAM,SAAS,QAAc,CAAC;AAErC,iEAAiE;AACjE,MAAM,MAAM,WAAW,GAAG;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7E,eAAO,MAAM,aAAa,GAAI,OAAO,UAAU,KAAG,MAA0D,CAAC;AAmD7G,uGAAuG;AACvG,wBAAgB,UAAU,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,EAAE,KAAK,EAAE,SAAS,KAAK;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAAG,OAAO,CAAC,KAAK,GAAG;IAAE,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC,CAajM;AAED,yGAAyG;AACzG,wBAAgB,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAsBlH;AAED,gGAAgG;AAChG,wBAAsB,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAQlG"}