mindweave 3.2.1 → 3.2.3

package/dist/tools/subagent.js

@@ -27,6 +27,8 @@
 import { randomUUID } from "node:crypto";
 import { STATUS_INSTRUCTION, renderVerdict, verifySubagentReport } from "./subagentReport.js";
 import { VERDICT_INSTRUCTION, VERIFIER_PROMPT, parseVerdict, renderVerdict as renderVerdictLine } from "./verifyReport.js";
+import { verifierOutcome, workerOutcome } from "./subagentOutcome.js";
+import { verifyWithGuards } from "./verifierRun.js";
 import { fail, failQuietly } from "./results.js";
 const MAX_SUBAGENT_DEPTH = 1;
 /** Default step budget for a worker; the caller can scale it with `max_steps`. */
@@ -83,7 +85,9 @@ export const spawnSubagent = {
     // worker must run alone (serial lane) so concurrent edits can't race. This is what
     // lets the model emit several read-only spawn_subagent calls in one message and have
     // them run concurrently.
-    isConcurrencySafe: (args) => args.read_only === true,
+    // A verifier runs commands (a build, the app) and its files are checked before and after, so it
+    // runs alone even if it was also marked read-only: two at once would see each other's output.
+    isConcurrencySafe: (args) => args.read_only === true && args.verify !== true,
     // Three limits were enforced in code and absent from the text: a child cannot spawn
     // its own child, parallel workers are capped, and running out of steps is a clean
     // PAUSE rather than a failure. That last one changes what the model should do about
@@ -139,11 +143,13 @@ export const spawnSubagent = {
             },
             verify: {
                 type: "boolean",
-                description: "Spawn an adversarial VERIFIER of work that has already been done, instead of a worker. It is read-only " +
-                    "(implied — do not also pass read_only), it is told to try to BREAK the change rather than confirm it, and " +
-                    "it must show the command and output behind every check it claims. It answers `VERDICT: pass|fail|partial`, " +
-                    "and a pass with no command output is automatically downgraded to partial. Give it the ORIGINAL request, " +
-                    "the files that changed, and what the approach was — it cannot see this conversation.",
+                description: "Spawn an adversarial VERIFIER of work that has already been done, instead of a worker. It cannot edit or " +
+                    "write files (implied — do not also pass read_only), but it CAN run commands and drive the app, because " +
+                    "checking means running. It is told to try to BREAK the change rather than confirm it, and it must show the " +
+                    "command and output behind every check it claims. It answers `VERDICT: pass|fail|partial`. The verdict is " +
+                    "judged against what it really did: a check whose command never ran does not count, a pass with no command " +
+                    "output is downgraded to partial, and a pass is also downgraded if any project file changed while it ran. " +
+                    "Give it the ORIGINAL request, the files that changed, and what the approach was — it cannot see this conversation.",
             },
         },
     },
@@ -177,7 +183,7 @@ export const spawnSubagent = {
         // Verification is read-only whether or not the caller remembered to say so. A verifier
         // that can edit is a verifier that can make the thing it is judging pass.
         const readOnly = verifying || args.read_only === true;
-        const child = ctx.forkChild(framedTask, { readOnly, ...(verifying ? { agentPrompt: VERIFIER_PROMPT } : {}) });
+        const child = ctx.forkChild(framedTask, { readOnly, ...(verifying ? { agentPrompt: VERIFIER_PROMPT, verifier: true } : {}) });
         // Dynamic import: the static registry ← engine edge would otherwise cycle. By the
         // time execute() runs, both modules are fully loaded, so this is safe.
         const { respond } = await import("../dynamo/engine.js");
@@ -185,27 +191,39 @@ export const spawnSubagent = {
         // worker's nested rail distinct even when several fan out in parallel.
         const agentId = randomUUID().slice(0, 8);
         const taskLabel = task.replace(/\s+/g, " ").trim().slice(0, 100);
-        ctx.emitEvent?.({ type: "subagent", phase: "start", id: agentId, task: taskLabel, readOnly });
-        let reply;
+        ctx.emitEvent?.({ type: "subagent", phase: "start", id: agentId, task: taskLabel, readOnly, taskFull: task.replace(/\s+/g, " ").trim().slice(0, 600) });
+        let reply = "";
+        let verified;
+        // Run the child. `watch` sees every event first, so a verifier's own commands are known.
+        const runChild = (watch) => 
+        // Bounded: a wide fan-out queues here rather than launching every worker at once.
+        gate.run(() => respond(child, {
+            signal: ctx.abortSignal,
+            maxSteps: budget,
+            // Surface the child's activity, not its chatter: its usage counts toward the
+            // meter, and each of its tool calls is forwarded UP tagged with this worker's
+            // id so the UI nests them in the worker's rail (its prose/reasoning stays
+            // muted — only the final distilled report crosses back, as the tool result).
+            onEvent: (e) => {
+                watch?.(e);
+                if (e.type === "usage")
+                    ctx.reportUsage?.(e);
+                else if (e.type === "tool")
+                    ctx.emitEvent?.({ ...e, agent: agentId });
+            },
+        }));
         try {
-            // Bounded: a wide fan-out queues here rather than launching every worker at once.
-            reply = await gate.run(() => respond(child, {
-                signal: ctx.abortSignal,
-                maxSteps: budget,
-                // Surface the child's activity, not its chatter: its usage counts toward the
-                // meter, and each of its tool calls is forwarded UP tagged with this worker's
-                // id so the UI nests them in the worker's rail (its prose/reasoning stays
-                // muted — only the final distilled report crosses back, as the tool result).
-                onEvent: (e) => {
-                    if (e.type === "usage")
-                        ctx.reportUsage?.(e);
-                    else if (e.type === "tool")
-                        ctx.emitEvent?.({ ...e, agent: agentId });
-                },
-            }));
+            if (verifying) {
+                // A verifier's verdict is judged against what it DID: the commands it really ran, and whether
+                // the project's files are the same afterwards. See verifierRun.ts.
+                verified = await verifyWithGuards({ cwd: ctx.cwd, checkpoints: ctx.checkpoints, shells: ctx.backgroundShells, run: (watch) => runChild(watch) });
+            }
+            else {
+                reply = await runChild();
+            }
         }
         catch (error) {
-            ctx.emitEvent?.({ type: "subagent", phase: "end", id: agentId, summary: "failed", error: true });
+            ctx.emitEvent?.({ type: "subagent", phase: "end", id: agentId, summary: "failed", error: true, headline: "Failed", verdict: "fail" });
             return fail(`the sub-agent failed: ${error instanceof Error ? error.message : String(error)}`);
         }
         const steps = child.transcript.filter((e) => e.role === "assistant").length;
@@ -218,7 +236,7 @@ export const spawnSubagent = {
         if (verifying) {
             // The verifier's report is judged on its EVIDENCE, not on its confidence: a pass
             // carrying no command output is downgraded before the parent ever reads the word.
-            const report = parseVerdict(reply);
+            const report = verified ?? parseVerdict(reply);
             const line = renderVerdictLine(report);
             ctx.emitEvent?.({
                 type: "subagent",
@@ -226,6 +244,8 @@ export const spawnSubagent = {
                 id: agentId,
                 summary: `${stepLabel} · ${line}`,
                 error: report.verdict === "fail",
+                ...verifierOutcome(report.verdict, report.evidence),
+                steps,
             });
             const header = [
                 report.concerns.length > 0 ? `Treat with care: ${report.concerns.join("; ")}.` : "",
@@ -240,7 +260,15 @@ export const spawnSubagent = {
         }
         const verdict = verifySubagentReport(reply, { steps, budget, outputFormat });
         const flag = verdict.trustworthy ? "" : ` · ${verdict.status === "unstated" ? "unverified" : verdict.status}`;
-        ctx.emitEvent?.({ type: "subagent", phase: "end", id: agentId, summary: `${stepLabel}${flag}`, error: verdict.status === "failed" });
+        ctx.emitEvent?.({
+            type: "subagent",
+            phase: "end",
+            id: agentId,
+            summary: `${stepLabel}${flag}`,
+            error: verdict.status === "failed",
+            ...workerOutcome({ status: verdict.status, trustworthy: verdict.trustworthy, exhausted: steps >= budget }),
+            steps,
+        });
         return {
             output: renderVerdict(verdict),
             summary: `subagent · ${stepLabel}${flag}`,

package/dist/tools/subagent.js.map

@@ -1 +1 @@
-{"version":3,"file":"subagent.js","sourceRoot":"","sources":["../../src/tools/subagent.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC9F,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,YAAY,EAAE,aAAa,IAAI,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAG3H,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEjD,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAC7B,kFAAkF;AAClF,MAAM,eAAe,GAAG,MAAM,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;AAChE,2DAA2D;AAC3D,MAAM,kBAAkB,GAAG,MAAM,CAAC,8BAA8B,EAAE,EAAE,CAAC,CAAC;AACtE,2DAA2D;AAC3D,MAAM,oBAAoB,GAAG,MAAM,CAAC,gCAAgC,EAAE,CAAC,CAAC,CAAC;AAEzE;;;;GAIG;AACH,MAAM,OAAO,SAAS;IAGS;IAFrB,MAAM,GAAG,CAAC,CAAC;IACX,OAAO,GAAsB,EAAE,CAAC;IACxC,YAA6B,KAAa;QAAb,UAAK,GAAL,KAAK,CAAQ;IAAG,CAAC;IAC9C,KAAK,CAAC,GAAG,CAAI,EAAoB;QAC/B,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACrB,IAAI,CAAC;YACH,OAAO,MAAM,EAAE,EAAE,CAAC;QACpB,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IACO,OAAO;QACb,IAAI,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;YAC7B,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC3B,CAAC;QACD,OAAO,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACpE,CAAC;IACO,OAAO;QACb,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,IAAI;YAAE,IAAI,EAAE,CAAC,CAAC,oEAAoE;;YACjF,IAAI,CAAC,MAAM,EAAE,CAAC;IACrB,CAAC;CACF;AAED,MAAM,IAAI,GAAG,IAAI,SAAS,CAAC,oBAAoB,CAAC,CAAC;AAEjD,MAAM,CAAC,MAAM,aAAa,GAAS;IACjC,IAAI,EAAE,gBAAgB;IACtB;;kFAE8E;IAC9E,QAAQ,EAAE,IAAI;IACd,QAAQ,EAAE,KAAK;IACf,oFAAoF;IACpF,mFAAmF;IACnF,qFAAqF;IACrF,yBAAyB;IACzB,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,IAAI;IACpD,oFAAoF;IACpF,kFAAkF;IAClF,oFAAoF;IACpF,qFAAqF;IACrF,+EAA+E;IAC/E,WAAW,EACT,oFAAoF;QACpF,+EAA+E;QAC/E,mFAAmF;QACnF,oFAAoF;QACpF,mFAAmF;QACnF,+EAA+E;QAC/E,6EAA6E;QAC7E,oFAAoF;QACpF,2EAA2E;QAC3E,GAAG,oBAAoB,6DAA6D;QACpF,kFAAkF;QAClF,8EAA8E;QAC9E,oEAAoE;QACpE,wBAAwB,eAAe,sCAAsC;QAC7E,8EAA8E;QAC9E,kFAAkF;QAClF,0EAA0E;QAC1E,wCAAwC;QACxC,mFAAmF;QACnF,+EAA+E;QAC/E,mFAAmF;QACnF,oFAAoF;IACtF,UAAU,EAAE;QACV,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,KAAK;QAC3B,QAAQ,EAAE,CAAC,MAAM,CAAC;QAClB,UAAU,EAAE;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,QAAQ;gBACd,WAAW,EACT,sGAAsG;oBACtG,oCAAoC;aACvC;YACD,SAAS,EAAE;gBACT,IAAI,EAAE,SAAS;gBACf,WAAW,EACT,wGAAwG;oBACxG,6GAA6G;aAChH;YACD,aAAa,EAAE;gBACb,IAAI,EAAE,QAAQ;gBACd,WAAW,EACT,yGAAyG;oBACzG,uEAAuE;aAC1E;YACD,SAAS,EAAE;gBACT,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,CAAC;gBACV,OAAO,EAAE,kBAAkB;gBAC3B,WAAW,EAAE,4CAA4C,eAAe,0DAA0D;aACnI;YACD,MAAM,EAAE;gBACN,IAAI,EAAE,SAAS;gBACf,WAAW,EACT,yGAAyG;oBACzG,4GAA4G;oBAC5G,6GAA6G;oBAC7G,0GAA0G;oBAC1G,sFAAsF;aACzF;SACF;KACF;IAED,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG;QACrB,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,IAAI,CAAC,IAAI;YAAE,OAAO,WAAW,CAAC,gEAAgE,CAAC,CAAC;QAEhG,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,IAAI,kBAAkB,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,iFAAiF,CAAC,CAAC;QACjG,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;YACnB,OAAO,IAAI,CAAC,8CAA8C,CAAC,CAAC;QAC9D,CAAC;QAED,MAAM,YAAY,GAAG,OAAO,IAAI,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7F,kFAAkF;QAClF,iFAAiF;QACjF,+EAA+E;QAC/E,kFAAkF;QAClF,qFAAqF;QACrF,8EAA8E;QAC9E,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC;QACvC,MAAM,UAAU,GAAG;YACjB,IAAI;YACJ,YAAY,CAAC,CAAC,CAAC,+CAA+C,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE;YACjF,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,kBAAkB;SACrD;aACE,MAAM,CAAC,OAAO,CAAC;aACf,IAAI,CAAC,MAAM,CAAC,CAAC;QAChB,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,eAAe,CAAC;QAC7D,uFAAuF;QACvF,0EAA0E;QAC1E,MAAM,QAAQ,GAAG,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC;QAEtD,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9G,kFAAkF;QAClF,uEAAuE;QACvE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,MAAM,CAAC,qBAAqB,CAAC,CAAC;QAExD,oFAAoF;QACpF,uEAAuE;QACvE,MAAM,OAAO,GAAG,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjE,GAAG,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC;QAE9F,IAAI,KAAa,CAAC;QAClB,IAAI,CAAC;YACH,kFAAkF;YAClF,KAAK,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAC1B,OAAO,CAAC,KAAK,EAAE;gBACb,MAAM,EAAE,GAAG,CAAC,WAAW;gBACvB,QAAQ,EAAE,MAAM;gBAChB,6EAA6E;gBAC7E,8EAA8E;gBAC9E,0EAA0E;gBAC1E,6EAA6E;gBAC7E,OAAO,EAAE,CAAC,CAAc,EAAE,EAAE;oBAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;wBAAE,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;yBACxC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;wBAAE,GAAG,CAAC,SAAS,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;gBACxE,CAAC;aACF,CAAC,CACH,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,GAAG,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACjG,OAAO,IAAI,CAAC,yBAAyB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACjG,CAAC;QAED,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;QAC5E,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,MAAM,SAAS,GAAG,GAAG,KAAK,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,KAAK,EAAE,CAAC;QAEnE,mFAAmF;QACnF,kFAAkF;QAClF,+EAA+E;QAC/E,iBAAiB;QACjB,IAAI,SAAS,EAAE,CAAC;YACd,iFAAiF;YACjF,kFAAkF;YAClF,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACvC,GAAG,CAAC,SAAS,EAAE,CAAC;gBACd,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,KAAK;gBACZ,EAAE,EAAE,OAAO;gBACX,OAAO,EAAE,GAAG,SAAS,MAAM,IAAI,EAAE;gBACjC,KAAK,EAAE,MAAM,CAAC,OAAO,KAAK,MAAM;aACjC,CAAC,CAAC;YACH,MAAM,MAAM,GAAG;gBACb,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;gBACnF,YAAY,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,QAAQ,SAAS,MAAM,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,iBAAiB;aACzG;iBACE,MAAM,CAAC,OAAO,CAAC;iBACf,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,OAAO;gBACL,MAAM,EAAE,GAAG,MAAM,OAAO,MAAM,CAAC,IAAI,EAAE;gBACrC,OAAO,EAAE,YAAY,SAAS,MAAM,IAAI,EAAE;aAC3C,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;QAC7E,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAC9G,GAAG,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,SAAS,GAAG,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC,CAAC;QACrI,OAAO;YACL,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC;YAC9B,OAAO,EAAE,cAAc,SAAS,GAAG,IAAI,EAAE;SAC1C,CAAC;IACJ,CAAC;CACF,CAAC;AAGF,iFAAiF;AACjF,MAAM,UAAU,UAAU,CAAC,KAAc;IACvC,MAAM,CAAC,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAC9F,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,IAAI,CAAC,GAAG,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,yDAAyD;AACzD,SAAS,MAAM,CAAC,IAAY,EAAE,QAAgB;IAC5C,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACpC,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AACrD,CAAC"}
+{"version":3,"file":"subagent.js","sourceRoot":"","sources":["../../src/tools/subagent.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC9F,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,YAAY,EAAE,aAAa,IAAI,iBAAiB,EAAsB,MAAM,mBAAmB,CAAC;AAC/I,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAGpD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEjD,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAC7B,kFAAkF;AAClF,MAAM,eAAe,GAAG,MAAM,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;AAChE,2DAA2D;AAC3D,MAAM,kBAAkB,GAAG,MAAM,CAAC,8BAA8B,EAAE,EAAE,CAAC,CAAC;AACtE,2DAA2D;AAC3D,MAAM,oBAAoB,GAAG,MAAM,CAAC,gCAAgC,EAAE,CAAC,CAAC,CAAC;AAEzE;;;;GAIG;AACH,MAAM,OAAO,SAAS;IAGS;IAFrB,MAAM,GAAG,CAAC,CAAC;IACX,OAAO,GAAsB,EAAE,CAAC;IACxC,YAA6B,KAAa;QAAb,UAAK,GAAL,KAAK,CAAQ;IAAG,CAAC;IAC9C,KAAK,CAAC,GAAG,CAAI,EAAoB;QAC/B,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACrB,IAAI,CAAC;YACH,OAAO,MAAM,EAAE,EAAE,CAAC;QACpB,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IACO,OAAO;QACb,IAAI,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;YAC7B,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC3B,CAAC;QACD,OAAO,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACpE,CAAC;IACO,OAAO;QACb,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,IAAI;YAAE,IAAI,EAAE,CAAC,CAAC,oEAAoE;;YACjF,IAAI,CAAC,MAAM,EAAE,CAAC;IACrB,CAAC;CACF;AAED,MAAM,IAAI,GAAG,IAAI,SAAS,CAAC,oBAAoB,CAAC,CAAC;AAEjD,MAAM,CAAC,MAAM,aAAa,GAAS;IACjC,IAAI,EAAE,gBAAgB;IACtB;;kFAE8E;IAC9E,QAAQ,EAAE,IAAI;IACd,QAAQ,EAAE,KAAK;IACf,oFAAoF;IACpF,mFAAmF;IACnF,qFAAqF;IACrF,yBAAyB;IACzB,gGAAgG;IAChG,8FAA8F;IAC9F,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI;IAC5E,oFAAoF;IACpF,kFAAkF;IAClF,oFAAoF;IACpF,qFAAqF;IACrF,+EAA+E;IAC/E,WAAW,EACT,oFAAoF;QACpF,+EAA+E;QAC/E,mFAAmF;QACnF,oFAAoF;QACpF,mFAAmF;QACnF,+EAA+E;QAC/E,6EAA6E;QAC7E,oFAAoF;QACpF,2EAA2E;QAC3E,GAAG,oBAAoB,6DAA6D;QACpF,kFAAkF;QAClF,8EAA8E;QAC9E,oEAAoE;QACpE,wBAAwB,eAAe,sCAAsC;QAC7E,8EAA8E;QAC9E,kFAAkF;QAClF,0EAA0E;QAC1E,wCAAwC;QACxC,mFAAmF;QACnF,+EAA+E;QAC/E,mFAAmF;QACnF,oFAAoF;IACtF,UAAU,EAAE;QACV,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,KAAK;QAC3B,QAAQ,EAAE,CAAC,MAAM,CAAC;QAClB,UAAU,EAAE;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,QAAQ;gBACd,WAAW,EACT,sGAAsG;oBACtG,oCAAoC;aACvC;YACD,SAAS,EAAE;gBACT,IAAI,EAAE,SAAS;gBACf,WAAW,EACT,wGAAwG;oBACxG,6GAA6G;aAChH;YACD,aAAa,EAAE;gBACb,IAAI,EAAE,QAAQ;gBACd,WAAW,EACT,yGAAyG;oBACzG,uEAAuE;aAC1E;YACD,SAAS,EAAE;gBACT,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,CAAC;gBACV,OAAO,EAAE,kBAAkB;gBAC3B,WAAW,EAAE,4CAA4C,eAAe,0DAA0D;aACnI;YACD,MAAM,EAAE;gBACN,IAAI,EAAE,SAAS;gBACf,WAAW,EACT,2GAA2G;oBAC3G,yGAAyG;oBACzG,6GAA6G;oBAC7G,2GAA2G;oBAC3G,4GAA4G;oBAC5G,2GAA2G;oBAC3G,oHAAoH;aACvH;SACF;KACF;IAED,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG;QACrB,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,IAAI,CAAC,IAAI;YAAE,OAAO,WAAW,CAAC,gEAAgE,CAAC,CAAC;QAEhG,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,IAAI,kBAAkB,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,iFAAiF,CAAC,CAAC;QACjG,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;YACnB,OAAO,IAAI,CAAC,8CAA8C,CAAC,CAAC;QAC9D,CAAC;QAED,MAAM,YAAY,GAAG,OAAO,IAAI,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7F,kFAAkF;QAClF,iFAAiF;QACjF,+EAA+E;QAC/E,kFAAkF;QAClF,qFAAqF;QACrF,8EAA8E;QAC9E,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC;QACvC,MAAM,UAAU,GAAG;YACjB,IAAI;YACJ,YAAY,CAAC,CAAC,CAAC,+CAA+C,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE;YACjF,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,kBAAkB;SACrD;aACE,MAAM,CAAC,OAAO,CAAC;aACf,IAAI,CAAC,MAAM,CAAC,CAAC;QAChB,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,eAAe,CAAC;QAC7D,uFAAuF;QACvF,0EAA0E;QAC1E,MAAM,QAAQ,GAAG,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC;QAEtD,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9H,kFAAkF;QAClF,uEAAuE;QACvE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,MAAM,CAAC,qBAAqB,CAAC,CAAC;QAExD,oFAAoF;QACpF,uEAAuE;QACvE,MAAM,OAAO,GAAG,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjE,GAAG,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAExJ,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,IAAI,QAAmC,CAAC;QACxC,yFAAyF;QACzF,MAAM,QAAQ,GAAG,CAAC,KAAgC,EAAmB,EAAE;QACrE,kFAAkF;QAClF,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CACZ,OAAO,CAAC,KAAK,EAAE;YACb,MAAM,EAAE,GAAG,CAAC,WAAW;YACvB,QAAQ,EAAE,MAAM;YAChB,6EAA6E;YAC7E,8EAA8E;YAC9E,0EAA0E;YAC1E,6EAA6E;YAC7E,OAAO,EAAE,CAAC,CAAc,EAAE,EAAE;gBAC1B,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;gBACX,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;oBAAE,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;qBACxC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;oBAAE,GAAG,CAAC,SAAS,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;YACxE,CAAC;SACF,CAAC,CACH,CAAC;QACJ,IAAI,CAAC;YACH,IAAI,SAAS,EAAE,CAAC;gBACd,8FAA8F;gBAC9F,mEAAmE;gBACnE,QAAQ,GAAG,MAAM,gBAAgB,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,MAAM,EAAE,GAAG,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACnJ,CAAC;iBAAM,CAAC;gBACN,KAAK,GAAG,MAAM,QAAQ,EAAE,CAAC;YAC3B,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,GAAG,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;YACtI,OAAO,IAAI,CAAC,yBAAyB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACjG,CAAC;QAED,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;QAC5E,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,MAAM,SAAS,GAAG,GAAG,KAAK,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,KAAK,EAAE,CAAC;QAEnE,mFAAmF;QACnF,kFAAkF;QAClF,+EAA+E;QAC/E,iBAAiB;QACjB,IAAI,SAAS,EAAE,CAAC;YACd,iFAAiF;YACjF,kFAAkF;YAClF,MAAM,MAAM,GAAG,QAAQ,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACvC,GAAG,CAAC,SAAS,EAAE,CAAC;gBACd,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,KAAK;gBACZ,EAAE,EAAE,OAAO;gBACX,OAAO,EAAE,GAAG,SAAS,MAAM,IAAI,EAAE;gBACjC,KAAK,EAAE,MAAM,CAAC,OAAO,KAAK,MAAM;gBAChC,GAAG,eAAe,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC;gBACnD,KAAK;aACN,CAAC,CAAC;YACH,MAAM,MAAM,GAAG;gBACb,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;gBACnF,YAAY,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,QAAQ,SAAS,MAAM,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,iBAAiB;aACzG;iBACE,MAAM,CAAC,OAAO,CAAC;iBACf,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,OAAO;gBACL,MAAM,EAAE,GAAG,MAAM,OAAO,MAAM,CAAC,IAAI,EAAE;gBACrC,OAAO,EAAE,YAAY,SAAS,MAAM,IAAI,EAAE;aAC3C,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;QAC7E,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAC9G,GAAG,CAAC,SAAS,EAAE,CAAC;YACd,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,KAAK;YACZ,EAAE,EAAE,OAAO;YACX,OAAO,EAAE,GAAG,SAAS,GAAG,IAAI,EAAE;YAC9B,KAAK,EAAE,OAAO,CAAC,MAAM,KAAK,QAAQ;YAClC,GAAG,aAAa,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,SAAS,EAAE,KAAK,IAAI,MAAM,EAAE,CAAC;YAC1G,KAAK;SACN,CAAC,CAAC;QACH,OAAO;YACL,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC;YAC9B,OAAO,EAAE,cAAc,SAAS,GAAG,IAAI,EAAE;SAC1C,CAAC;IACJ,CAAC;CACF,CAAC;AAGF,iFAAiF;AACjF,MAAM,UAAU,UAAU,CAAC,KAAc;IACvC,MAAM,CAAC,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAC9F,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,IAAI,CAAC,GAAG,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,yDAAyD;AACzD,SAAS,MAAM,CAAC,IAAY,EAAE,QAAgB;IAC5C,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACpC,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AACrD,CAAC"}

package/dist/tools/subagentOutcome.js

@@ -0,0 +1,24 @@
+/** The headline for a VERIFIER's verdict about the code it checked. */
+export function verifierOutcome(verdict, evidence) {
+    const checks = evidence === 1 ? "1 check" : `${evidence} checks`;
+    if (verdict === "pass")
+        return { headline: `Verified · ${checks}`, verdict: "pass" };
+    if (verdict === "fail")
+        return { headline: `Failed verification · ${checks}`, verdict: "fail" };
+    if (verdict === "partial")
+        return { headline: `Could not fully verify · ${checks}`, verdict: "partial" };
+    return { headline: "No verdict", verdict: "unknown" };
+}
+/** The headline for an ordinary worker, from the status it reported and what the run showed. */
+export function workerOutcome(run) {
+    if (run.trustworthy)
+        return { headline: "Done", verdict: "pass" };
+    if (run.status === "failed")
+        return { headline: "Could not do it", verdict: "fail" };
+    if (run.exhausted)
+        return { headline: "Stopped at its step limit", verdict: "partial" };
+    if (run.status === "partial")
+        return { headline: "Only part of it", verdict: "partial" };
+    return { headline: "Did not say if it finished", verdict: "unknown" };
+}
+//# sourceMappingURL=subagentOutcome.js.map

package/dist/tools/subagentOutcome.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"subagentOutcome.js","sourceRoot":"","sources":["../../src/tools/subagentOutcome.ts"],"names":[],"mappings":"AAaA,uEAAuE;AACvE,MAAM,UAAU,eAAe,CAAC,OAAe,EAAE,QAAgB;IAC/D,MAAM,MAAM,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,QAAQ,SAAS,CAAC;IACjE,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IACrF,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,EAAE,QAAQ,EAAE,yBAAyB,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAChG,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,QAAQ,EAAE,4BAA4B,MAAM,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACzG,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AACxD,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,aAAa,CAAC,GAAyE;IACrG,IAAI,GAAG,CAAC,WAAW;QAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAClE,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IACrF,IAAI,GAAG,CAAC,SAAS;QAAE,OAAO,EAAE,QAAQ,EAAE,2BAA2B,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACxF,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACzF,OAAO,EAAE,QAAQ,EAAE,4BAA4B,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AACxE,CAAC"}

package/dist/tools/treeGuard.js

@@ -0,0 +1,164 @@
+/**
+ * treeGuard.ts — did a run change the project's files, and which?
+ *
+ * A verifier is told it cannot change anything, and its edit and write tools are removed. But it
+ * has a command tool now, because checking something means running it, and a command can write
+ * a file by other means: a redirect, a formatter, a script, a build step that rewrites a source
+ * file. "It cannot" is then a request, not a fact, and a verifier that can change the code it is
+ * judging can make it pass. So the project's files are looked at before the run and again after.
+ *
+ * What counts is the project's own tree: the same files search sees, which leaves out version
+ * control, installed packages, build output and whatever .gitignore excludes. A build that rewrites
+ * `out/` is doing its job; a script that rewrites `src/` is not.
+ *
+ * It does not undo anything itself. Whoever changed a file between the two looks cannot be known:
+ * the user may have been typing in their editor. So it reports, and it hands the files it holds a
+ * "before" for to the undo net (checkpoints.ts), which already refuses to overwrite a file that is
+ * no longer what we wrote.
+ */
+import { promises as fs } from "node:fs";
+import { walkFiles } from "./walk.js";
+/** Files looked at. A bigger tree is looked at in part, and says so. */
+const MAX_FILES = 6000;
+/** A file is held (so it can be put back) only up to this size, and only up to a total. */
+const MAX_HELD_FILE_BYTES = 256 * 1024;
+const MAX_HELD_TOTAL_BYTES = 24 * 1024 * 1024;
+/** The text of a file when it is small and is valid UTF-8 text, or null (pure of the walk). */
+async function readHeld(path, size, budget) {
+    if (size > MAX_HELD_FILE_BYTES || size > budget.left)
+        return null;
+    try {
+        const bytes = await fs.readFile(path);
+        if (bytes.includes(0))
+            return null;
+        const text = bytes.toString("utf8");
+        // Bytes that are not UTF-8 would not come back the same; not held, rather than held wrongly.
+        if (!Buffer.from(text, "utf8").equals(bytes))
+            return null;
+        budget.left -= size;
+        return text;
+    }
+    catch {
+        return null;
+    }
+}
+/** Look at the project's files now. Never throws: a file it cannot read is simply not covered. */
+export async function snapshotTree(root) {
+    const files = new Map();
+    let found;
+    try {
+        found = await walkFiles(root, MAX_FILES);
+    }
+    catch {
+        return { root, files, truncated: true };
+    }
+    const budget = { left: MAX_HELD_TOTAL_BYTES };
+    for (const f of found.files) {
+        try {
+            const st = await fs.stat(f.abs);
+            files.set(f.abs, { size: st.size, mtimeMs: st.mtimeMs, content: await readHeld(f.abs, st.size, budget) });
+        }
+        catch {
+            // gone between the walk and the look: not covered
+        }
+    }
+    return { root, files, truncated: found.truncated };
+}
+/** What changed since the snapshot (the files themselves are looked at again). */
+export async function treeChanges(before) {
+    const out = { changed: [], created: [], deleted: [], heldBefore: new Map() };
+    let found;
+    try {
+        found = await walkFiles(before.root, MAX_FILES);
+    }
+    catch {
+        return out;
+    }
+    const now = new Set(found.files.map((f) => f.abs));
+    for (const [abs, was] of before.files) {
+        if (!now.has(abs)) {
+            out.deleted.push(abs);
+            out.heldBefore.set(abs, was.content);
+            continue;
+        }
+        let st;
+        try {
+            st = await fs.stat(abs);
+        }
+        catch {
+            out.deleted.push(abs);
+            out.heldBefore.set(abs, was.content);
+            continue;
+        }
+        // Same size and time is unchanged. A file touched but rewritten with the same text is not a change.
+        if (st.size === was.size && st.mtimeMs === was.mtimeMs)
+            continue;
+        if (was.content !== null) {
+            const budget = { left: MAX_HELD_FILE_BYTES };
+            const text = await readHeld(abs, st.size, budget);
+            if (text === was.content)
+                continue;
+        }
+        out.changed.push(abs);
+        out.heldBefore.set(abs, was.content);
+    }
+    // A new file can only be told from one past the limit when the whole tree was looked at.
+    if (!before.truncated) {
+        for (const abs of now)
+            if (!before.files.has(abs))
+                out.created.push(abs);
+    }
+    out.changed.sort();
+    out.created.sort();
+    out.deleted.sort();
+    return out;
+}
+/** How many files changed in all. */
+export function changeCount(c) {
+    return c.changed.length + c.created.length + c.deleted.length;
+}
+/**
+ * Give the undo net what it needs to put these files back, where it can (see the header).
+ * A created file is "was nothing"; a changed or deleted one is what the snapshot held. A file
+ * whose "before" was too big to hold is left out, and the count says so.
+ */
+export async function giveToUndo(checkpoints, c) {
+    let covered = 0;
+    let notCovered = 0;
+    for (const abs of [...c.changed, ...c.deleted, ...c.created]) {
+        const was = c.created.includes(abs) ? null : (c.heldBefore.get(abs) ?? undefined);
+        if (was === undefined) {
+            notCovered++;
+            continue;
+        }
+        let now = "";
+        if (!c.deleted.includes(abs)) {
+            try {
+                now = await fs.readFile(abs, "utf8");
+            }
+            catch {
+                notCovered++;
+                continue;
+            }
+        }
+        if (!checkpoints) {
+            notCovered++;
+            continue;
+        }
+        checkpoints.backup(abs, was, now);
+        covered++;
+    }
+    return { covered, notCovered };
+}
+/** The changed files, as names under the root, each marked when it is new or gone (pure). */
+export function listChanges(root, c) {
+    const rel = (p) => p.slice(root.length).replace(/^[\\/]+/, "").split("\\").join("/");
+    return [...c.changed.map(rel), ...c.created.map((p) => `${rel(p)} (new)`), ...c.deleted.map((p) => `${rel(p)} (deleted)`)];
+}
+/** The files, as one line: a few and then a count (pure). */
+export function nameChanges(root, c, max = 4) {
+    const all = listChanges(root, c);
+    const shown = all.slice(0, max).join(", ");
+    return all.length > max ? `${shown} and ${all.length - max} more` : shown;
+}
+//# sourceMappingURL=treeGuard.js.map

package/dist/tools/treeGuard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"treeGuard.js","sourceRoot":"","sources":["../../src/tools/treeGuard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAGtC,wEAAwE;AACxE,MAAM,SAAS,GAAG,IAAI,CAAC;AACvB,2FAA2F;AAC3F,MAAM,mBAAmB,GAAG,GAAG,GAAG,IAAI,CAAC;AACvC,MAAM,oBAAoB,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AA0B9C,+FAA+F;AAC/F,KAAK,UAAU,QAAQ,CAAC,IAAY,EAAE,IAAY,EAAE,MAAwB;IAC1E,IAAI,IAAI,GAAG,mBAAmB,IAAI,IAAI,GAAG,MAAM,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACnC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACpC,6FAA6F;QAC7F,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1D,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC;QACpB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,kGAAkG;AAClG,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAY;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiB,CAAC;IACvC,IAAI,KAA4C,CAAC;IACjD,IAAI,CAAC;QACH,KAAK,GAAG,MAAM,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAC1C,CAAC;IACD,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,oBAAoB,EAAE,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAChC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5G,CAAC;QAAC,MAAM,CAAC;YACP,kDAAkD;QACpD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC;AACrD,CAAC;AAED,kFAAkF;AAClF,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,MAAoB;IACpD,MAAM,GAAG,GAAgB,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAC1F,IAAI,KAA4C,CAAC;IACjD,IAAI,CAAC;QACH,KAAK,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAClD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACnD,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACtC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtB,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC;QACP,IAAI,CAAC;YACH,EAAE,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;QAAC,MAAM,CAAC;YACP,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtB,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QACD,oGAAoG;QACpG,IAAI,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO;YAAE,SAAS;QACjE,IAAI,GAAG,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAClD,IAAI,IAAI,KAAK,GAAG,CAAC,OAAO;gBAAE,SAAS;QACrC,CAAC;QACD,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtB,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;IACD,yFAAyF;IACzF,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;QACtB,KAAK,MAAM,GAAG,IAAI,GAAG;YAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3E,CAAC;IACD,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IACnB,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IACnB,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IACnB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,qCAAqC;AACrC,MAAM,UAAU,WAAW,CAAC,CAAc;IACxC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;AAChE,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,WAAoC,EAAE,CAAc;IACnF,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC;QAClF,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,UAAU,EAAE,CAAC;YACb,SAAS;QACX,CAAC;QACD,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC;gBACH,GAAG,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YACvC,CAAC;YAAC,MAAM,CAAC;gBACP,UAAU,EAAE,CAAC;gBACb,SAAS;YACX,CAAC;QACH,CAAC;QACD,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,UAAU,EAAE,CAAC;YACb,SAAS;QACX,CAAC;QACD,WAAW,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACjC,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,CAAc;IACtD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7F,OAAO,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;AAC7H,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,CAAc,EAAE,GAAG,GAAG,CAAC;IAC/D,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,OAAO,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,QAAQ,GAAG,CAAC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;AAC5E,CAAC"}

package/dist/tools/ui.js

@@ -87,6 +87,18 @@ function newLiveId() {
  *  as missing and knows how to leave it visible when the user wants that. */
 const HIDE_NOTE = "You started this app, so its window was moved off the user's screen while you test it; it is still running " +
     "and drawing, and goes back where it was when you close it. If the user asked to see it, call again with show: true.";
+/**
+ * Told when the debugging port belongs to a program this session did not start. A port is a number, not
+ * an app: another application can hold 9222, and the page behind it then answers as if it were the one
+ * being tested. Said at the attach, where the title is the only other clue, and again on a click or a
+ * keystroke, which is the moment it would matter that it is somebody else's app.
+ */
+export function foreignNote(port, title) {
+    return (`Port ${port} is held by a program this session did not start${title ? ` (the page is "${title}")` : ""}: another application's, or one the user opened. ` +
+        "It may not be the app you launched. Check that the title is the app you mean before you read anything from it as a result, " +
+        "and do not click or type in it unless the user told you to test that app. Your own app is probably on a different port: start it with another one.");
+}
+const FOREIGN_REMINDER = "This page belongs to a program you did not start (see the note when it was opened).";
 /** Told once, for an app started on the hidden desktop (hiddenDesktop.ts). */
 const HIDDEN_DESKTOP_NOTE = "This app runs on a hidden desktop, so it never appears on the user's screen while you test it. " +
     "It cannot be moved onto their screen: if the user asks to see it, stop it and start the same command again with hidden: false.";
@@ -548,6 +560,14 @@ async function runWindow(req, ctx, prior, startedAt, call) {
         }
         if (pick.kind === "ambiguous")
             return fail(ambiguousMessage(req.window, pick.candidates));
+        // Never the window this conversation is typed into: a click or a key there lands in the prompt, and
+        // anything it reads from that window is the conversation itself coming back as if it were the app.
+        if (pick.kind === "match" && pick.window.host) {
+            return fail(`"${pick.window.title}" is the window Mindweave itself runs in. Driving it would type into this conversation, so it is refused. ` +
+                `Name the app under test instead. ${listTitles(windows.filter((w) => !w.host))}`);
+        }
+        if (pick.kind !== "match")
+            return fail(`No window could be chosen for "${req.window}".`);
         target = { handle: pick.window.handle, title: pick.window.title };
         // A different window: the old numbers mean nothing here.
         if (state && state.handle !== target.handle)
@@ -742,7 +762,10 @@ async function runPage(req, ctx, prior, startedAt, call) {
             const found = await hideAppWindows({ port: req.port }, !req.show);
             state.hidden = found.moved;
             state.hiddenDesktop = found.hiddenDesktop;
+            state.foreign = found.ours === false;
             othersNote = found.moved.length ? HIDE_NOTE : found.hiddenDesktop ? (req.show ? CANNOT_SHOW_NOTE : HIDDEN_DESKTOP_NOTE) : "";
+            if (state.foreign)
+                othersNote = (othersNote ? `${othersNote}\n\n` : "") + foreignNote(req.port, state.title);
             if (others.length) {
                 othersNote =
                     (othersNote ? `${othersNote}\n\n` : "") +
@@ -782,6 +805,10 @@ async function runPage(req, ctx, prior, startedAt, call) {
     if (!state) {
         return fail("Nothing is open yet. Pass `url` to open a web page or dev server, or `port` to use an Electron/Tauri app. " + PORT_RECIPES);
     }
+    // Acting in somebody else's app, not only looking at it: said again, short, on each such call.
+    if (state.foreign && req.action !== "look" && !othersNote.includes("did not start")) {
+        othersNote = othersNote ? `${othersNote}\n\n${FOREIGN_REMINDER}` : FOREIGN_REMINDER;
+    }
     // Asked to show it: put it back on screen if it was moved. One on the hidden desktop
     // cannot be, and the model is told so rather than left believing it is visible.
     if (req.show && state.hidden?.length) {
@@ -1268,19 +1295,19 @@ export function pageLine(counts, off, total) {
 /**
  * What the user's row shows, and what opens behind it (pure).
  *
- * A run that went well is its steps, one row each, and one line about the page; the whole
- * result is behind a click. A run that did NOT go well, or where the page said something
- * (an error, a warning, a dialog), is shown whole, because that is exactly when what the
- * page looked like matters and a collapsed row would be hiding it.
+ * A run is its steps, one row each, and one line about the page; the whole result is behind
+ * a click. A run that did NOT go well keeps its reason on the row, and anything the page said
+ * (an error, a warning, a dialog) is on the row too. Only the list of every control folds away.
  */
 export function uiRowDetail(o) {
     // A single action that failed is said too: its reason is the one thing the row exists to show.
     const { total, off } = pageCounts(o.snap);
     const whole = uiOpenedText({ did: o.batch || o.failed ? o.did : "", list: o.fullList, total, off, reports: o.reports });
-    if (o.failed || o.errs > 0 || o.reports)
-        return { detail: whole };
     const done = o.batch ? oneLineSteps(o.did) : o.did ? [o.did.split("\n").map((l) => l.trim()).filter(Boolean).join("\u21b5")] : [];
-    const detail = [...done, pageSummary(o.snap)].join("\n");
+    // What went wrong, and what the page said, stay on the row. The list of every control does not:
+    // it is the same sixteen lines for each failed step, and it is a click away.
+    const said = o.failed || o.errs > 0 || o.reports ? o.reports.split("\n").map((l) => l.trim()).filter(Boolean) : [];
+    const detail = [...done, ...said, pageSummary(o.snap)].join("\n");
     return { detail, detailFull: whole };
 }
 /** One line for a batch on the user's row: "4 steps: click Open menu, type Name, …". Pure. */