atabey 0.0.37 → 0.1.0

package/dist/atabey/src/modules/runtime/dispatcher.js

@@ -0,0 +1,255 @@
+import os from "os";
+import { logger } from "../../shared/logger.js";
+import { PlanningEngine } from "../engines/planning-engine.js";
+import { AgentRuntime } from "./agent-runtime.js";
+import { buildEvidenceBundle } from "./evidence.js";
+import { collectWorktreeChanges, detectCollisions, mergeWorktreeChanges, resolveAgentWorktreePath, } from "./worktree.js";
+/** Minimal counting semaphore (no external deps). */
+class Semaphore {
+    available;
+    waiters = [];
+    constructor(limit) {
+        this.available = Math.max(1, limit);
+    }
+    async acquire() {
+        if (this.available > 0) {
+            this.available--;
+            return;
+        }
+        await new Promise((resolve) => this.waiters.push(resolve));
+    }
+    release() {
+        const next = this.waiters.shift();
+        if (next)
+            next();
+        else
+            this.available++;
+    }
+}
+/** Kahn-style level decomposition. Detects cycles / unresolved deps. */
+export function computeWaves(tasks) {
+    const remaining = new Map(tasks.map((t) => [t.id, t]));
+    const done = new Set();
+    const waves = [];
+    while (remaining.size > 0) {
+        const ready = [...remaining.values()].filter((t) => t.dependencies.every((d) => done.has(d)));
+        if (ready.length === 0) {
+            return { waves, errors: ["Circular dependency or unresolved dependencies detected."] };
+        }
+        waves.push(ready);
+        for (const t of ready) {
+            remaining.delete(t.id);
+            done.add(t.id);
+        }
+    }
+    return { waves, errors: [] };
+}
+/**
+ * ─── AGENT DISPATCHER ────────────────────────────────────────────────
+ *
+ * Executes a plan DAG of tasks across agents:
+ *   - Independent tasks run in parallel (bounded by `maxConcurrency`).
+ *   - Dependent tasks wait for their dependencies (Kahn waves).
+ *   - Tasks for the SAME agent are serialized (they share one worktree),
+ *     preventing write collisions while different agents run concurrently.
+ *   - A per-agent token ceiling stops runaway spend.
+ *   - After execution: collision detection + signed evidence bundles.
+ */
+export class AgentDispatcher {
+    static async dispatch(plan, options = {}) {
+        const errors = [];
+        const validation = PlanningEngine.validatePlan(plan);
+        if (!validation.valid) {
+            return {
+                planId: plan.planId,
+                ok: false,
+                results: [],
+                waves: [],
+                totalTokens: 0,
+                conflicts: [],
+                mergedFiles: [],
+                evidence: [],
+                errors: validation.errors,
+            };
+        }
+        const { waves, errors: waveErrors } = computeWaves(plan.tasks);
+        errors.push(...waveErrors);
+        const maxConcurrency = options.maxConcurrency ?? Math.max(1, Math.min(os.cpus()?.length || 2, 8));
+        const sem = new Semaphore(maxConcurrency);
+        const runner = options.runner ?? ((a, t, o) => AgentRuntime.runTurn(a, t, o));
+        const projectRoot = options.projectRoot || process.cwd();
+        const worktreeEnabled = options.worktree ?? true;
+        const results = [];
+        const failed = new Set();
+        const tokensByAgent = new Map();
+        const skip = (t, reason) => {
+            failed.add(t.id);
+            results.push({
+                id: t.id,
+                agent: t.agent,
+                ok: false,
+                skipped: true,
+                output: "",
+                error: reason,
+                durationMs: 0,
+                tokens: 0,
+                inputTokens: 0,
+                outputTokens: 0,
+            });
+        };
+        // Per-agent serialization (shared worktree safety).
+        const agentChains = new Map();
+        const withAgentLock = (agent, fn) => {
+            const prev = agentChains.get(agent) ?? Promise.resolve();
+            const next = prev.then(fn, fn);
+            agentChains.set(agent, next.catch(() => undefined));
+            return next;
+        };
+        for (const wave of waves) {
+            const runnable = [];
+            for (const t of wave) {
+                if (t.dependencies.some((d) => failed.has(d))) {
+                    skip(t, "Skipped: dependency failed");
+                }
+                else {
+                    runnable.push(t);
+                }
+            }
+            await Promise.all(runnable.map((t) => withAgentLock(t.agent, async () => {
+                await sem.acquire();
+                try {
+                    const spent = tokensByAgent.get(t.agent) ?? 0;
+                    if (options.perAgentTokenBudget !== undefined && spent >= options.perAgentTokenBudget) {
+                        skip(t, `Per-agent token budget (${options.perAgentTokenBudget}) exhausted for ${t.agent}`);
+                        return;
+                    }
+                    let currentAgent = t.agent;
+                    let report = null;
+                    let lastError;
+                    const maxAttempts = 1 + Math.max(0, options.maxRetries ?? 0);
+                    for (let attempt = 1; attempt <= maxAttempts; attempt++) {
+                        try {
+                            logger.info(`[DISPATCH] ${t.id} → ${currentAgent} (attempt ${attempt}/${maxAttempts})`);
+                            report = await runner(currentAgent, t.task, {
+                                cwd: projectRoot,
+                                worktree: worktreeEnabled,
+                                sandbox: options.sandbox,
+                                qualityGate: options.qualityGate,
+                                context: options.context,
+                            });
+                            if (report.ok)
+                                break;
+                            lastError = report.error || "Turn returned failure status";
+                        }
+                        catch (err) {
+                            lastError = err.message || String(err);
+                            logger.warn(`[DISPATCH] ${t.id} worker failed on attempt ${attempt}: ${lastError}`);
+                        }
+                        if (attempt === maxAttempts && options.fallbackAgent) {
+                            const fallback = typeof options.fallbackAgent === "string"
+                                ? options.fallbackAgent
+                                : options.fallbackAgent[currentAgent];
+                            if (fallback && fallback !== currentAgent) {
+                                logger.info(`[DISPATCH] ${t.id} switching to fallback agent: ${fallback}`);
+                                currentAgent = fallback;
+                                try {
+                                    report = await runner(currentAgent, t.task, {
+                                        cwd: projectRoot,
+                                        worktree: worktreeEnabled,
+                                        sandbox: options.sandbox,
+                                        qualityGate: options.qualityGate,
+                                        context: options.context,
+                                    });
+                                    if (report.ok)
+                                        break;
+                                    lastError = report.error || "Fallback turn returned failure";
+                                }
+                                catch (fallbackErr) {
+                                    lastError = fallbackErr.message || String(fallbackErr);
+                                }
+                            }
+                        }
+                    }
+                    const safeReport = report ?? {
+                        agent: currentAgent,
+                        ok: false,
+                        output: "",
+                        error: lastError || "Unknown execution failure",
+                        exitCode: 1,
+                        durationMs: 0,
+                        timedOut: false,
+                        adapterId: "fallback",
+                        inputTokens: 0,
+                        outputTokens: 0,
+                        isolation: worktreeEnabled ? "worktree" : "main-tree",
+                        sandbox: options.sandbox ? "active" : "off",
+                    };
+                    const tokens = safeReport.inputTokens + safeReport.outputTokens;
+                    tokensByAgent.set(currentAgent, (tokensByAgent.get(currentAgent) ?? 0) + tokens);
+                    if (!safeReport.ok) {
+                        failed.add(t.id);
+                        errors.push(`Task ${t.id} (${currentAgent}) failed: ${safeReport.error || "unknown"}`);
+                    }
+                    results.push({
+                        id: t.id,
+                        agent: currentAgent,
+                        ok: safeReport.ok,
+                        skipped: false,
+                        output: safeReport.output,
+                        error: safeReport.error,
+                        durationMs: safeReport.durationMs,
+                        tokens,
+                        inputTokens: safeReport.inputTokens,
+                        outputTokens: safeReport.outputTokens,
+                    });
+                }
+                finally {
+                    sem.release();
+                }
+            })));
+        }
+        // ─── Evidence + collision check (best-effort) ─────────────────────
+        const changesByAgent = {};
+        const evidence = [];
+        if (worktreeEnabled && options.collectEvidence !== false) {
+            for (const r of results) {
+                if (r.skipped)
+                    continue;
+                const wt = resolveAgentWorktreePath(projectRoot, r.agent);
+                const { files, diffStat } = collectWorktreeChanges(wt);
+                if (files.length > 0)
+                    changesByAgent[r.agent] = [...(changesByAgent[r.agent] ?? []), ...files];
+                evidence.push(buildEvidenceBundle({
+                    taskId: r.id,
+                    agent: r.agent,
+                    ok: r.ok,
+                    changedFiles: files,
+                    diffStat,
+                    tokens: { input: r.inputTokens, output: r.outputTokens, total: r.tokens },
+                    isolation: "worktree",
+                    sandbox: options.sandbox ? "requested" : "off",
+                }));
+            }
+        }
+        const collisions = detectCollisions(changesByAgent);
+        const totalTokens = [...tokensByAgent.values()].reduce((a, b) => a + b, 0);
+        const ok = errors.length === 0 && results.length > 0 && results.every((r) => r.ok);
+        let mergedFiles = [];
+        if (options.mergeChanges && ok && collisions.length === 0) {
+            const mergeRes = mergeWorktreeChanges(projectRoot, changesByAgent);
+            mergedFiles = [...mergeRes.appliedFiles, ...mergeRes.deletedFiles];
+        }
+        return {
+            planId: plan.planId,
+            ok,
+            results,
+            waves: waves.map((w) => w.map((t) => t.id)),
+            totalTokens,
+            conflicts: collisions,
+            mergedFiles,
+            evidence,
+            errors,
+        };
+    }
+}
+//# sourceMappingURL=dispatcher.js.map

package/dist/atabey/src/modules/runtime/dispatcher.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dispatcher.js","sourceRoot":"","sources":["../../../../../src/modules/runtime/dispatcher.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAC;AACpB,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAE/D,OAAO,EAAE,YAAY,EAA6C,MAAM,oBAAoB,CAAC;AAC7F,OAAO,EAAE,mBAAmB,EAAuB,MAAM,eAAe,CAAC;AACzE,OAAO,EACH,sBAAsB,EACtB,gBAAgB,EAChB,oBAAoB,EACpB,wBAAwB,GAC3B,MAAM,eAAe,CAAC;AA0DvB,qDAAqD;AACrD,MAAM,SAAS;IACH,SAAS,CAAS;IACT,OAAO,GAAsB,EAAE,CAAC;IAEjD,YAAY,KAAa;QACrB,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;IAEM,KAAK,CAAC,OAAO;QAChB,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,SAAS,EAAE,CAAC;YACjB,OAAO;QACX,CAAC;QACD,MAAM,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACrE,CAAC;IAEM,OAAO;QACV,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,IAAI;YAAE,IAAI,EAAE,CAAC;;YACZ,IAAI,CAAC,SAAS,EAAE,CAAC;IAC1B,CAAC;CACJ;AAED,wEAAwE;AACxE,MAAM,UAAU,YAAY,CAAC,KAAiB;IAC1C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAY,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,OAAO,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAW,CAAC,CAAC,CAAC,CAAC;QACxG,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,0DAA0D,CAAC,EAAE,CAAC;QAC3F,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACpB,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAY,CAAC,CAAC;YACjC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAY,CAAC,CAAC;QAC7B,CAAC;IACL,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;AACjC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,OAAO,eAAe;IACjB,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAU,EAAE,UAA2B,EAAE;QAClE,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,UAAU,GAAG,cAAc,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;YACpB,OAAO;gBACH,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,EAAE,EAAE,KAAK;gBACT,OAAO,EAAE,EAAE;gBACX,KAAK,EAAE,EAAE;gBACT,WAAW,EAAE,CAAC;gBACd,SAAS,EAAE,EAAE;gBACb,WAAW,EAAE,EAAE;gBACf,QAAQ,EAAE,EAAE;gBACZ,MAAM,EAAE,UAAU,CAAC,MAAM;aAC5B,CAAC;QACN,CAAC;QAED,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;QAE3B,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClG,MAAM,GAAG,GAAG,IAAI,SAAS,CAAC,cAAc,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QACzD,MAAM,eAAe,GAAG,OAAO,CAAC,QAAQ,IAAI,IAAI,CAAC;QAEjD,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;QAEhD,MAAM,IAAI,GAAG,CAAC,CAAW,EAAE,MAAc,EAAQ,EAAE;YAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAY,CAAC,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,CAAC,CAAC,EAAY;gBAClB,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,EAAE,EAAE,KAAK;gBACT,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,EAAE;gBACV,KAAK,EAAE,MAAM;gBACb,UAAU,EAAE,CAAC;gBACb,MAAM,EAAE,CAAC;gBACT,WAAW,EAAE,CAAC;gBACd,YAAY,EAAE,CAAC;aAClB,CAAC,CAAC;QACP,CAAC,CAAC;QAEF,oDAAoD;QACpD,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4B,CAAC;QACxD,MAAM,aAAa,GAAG,CAAI,KAAa,EAAE,EAAoB,EAAc,EAAE;YACzE,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC/B,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;YACpD,OAAO,IAAI,CAAC;QAChB,CAAC,CAAC;QAEF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,MAAM,QAAQ,GAAe,EAAE,CAAC;YAEhC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACnB,IAAI,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAW,CAAC,CAAC,EAAE,CAAC;oBACtD,IAAI,CAAC,CAAC,EAAE,4BAA4B,CAAC,CAAC;gBAC1C,CAAC;qBAAM,CAAC;oBACJ,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACrB,CAAC;YACL,CAAC;YAED,MAAM,OAAO,CAAC,GAAG,CACb,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACf,aAAa,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE;gBAC9B,MAAM,GAAG,CAAC,OAAO,EAAE,CAAC;gBACpB,IAAI,CAAC;oBACD,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBAC9C,IAAI,OAAO,CAAC,mBAAmB,KAAK,SAAS,IAAI,KAAK,IAAI,OAAO,CAAC,mBAAmB,EAAE,CAAC;wBACpF,IAAI,CAAC,CAAC,EAAE,2BAA2B,OAAO,CAAC,mBAAmB,mBAAmB,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;wBAC5F,OAAO;oBACX,CAAC;oBAED,IAAI,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC;oBAC3B,IAAI,MAAM,GAA2B,IAAI,CAAC;oBAC1C,IAAI,SAA6B,CAAC;oBAClC,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC;oBAE7D,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC;wBACtD,IAAI,CAAC;4BACD,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,MAAM,YAAY,aAAa,OAAO,IAAI,WAAW,GAAG,CAAC,CAAC;4BACxF,MAAM,GAAG,MAAM,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,EAAE;gCACxC,GAAG,EAAE,WAAW;gCAChB,QAAQ,EAAE,eAAe;gCACzB,OAAO,EAAE,OAAO,CAAC,OAAO;gCACxB,WAAW,EAAE,OAAO,CAAC,WAAW;gCAChC,OAAO,EAAE,OAAO,CAAC,OAAO;6BAC3B,CAAC,CAAC;4BACH,IAAI,MAAM,CAAC,EAAE;gCAAE,MAAM;4BACrB,SAAS,GAAG,MAAM,CAAC,KAAK,IAAI,8BAA8B,CAAC;wBAC/D,CAAC;wBAAC,OAAO,GAAG,EAAE,CAAC;4BACX,SAAS,GAAI,GAAa,CAAC,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;4BAClD,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,6BAA6B,OAAO,KAAK,SAAS,EAAE,CAAC,CAAC;wBACxF,CAAC;wBAED,IAAI,OAAO,KAAK,WAAW,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;4BACnD,MAAM,QAAQ,GAAG,OAAO,OAAO,CAAC,aAAa,KAAK,QAAQ;gCACtD,CAAC,CAAC,OAAO,CAAC,aAAa;gCACvB,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC;4BAC1C,IAAI,QAAQ,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;gCACxC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,iCAAiC,QAAQ,EAAE,CAAC,CAAC;gCAC3E,YAAY,GAAG,QAAQ,CAAC;gCACxB,IAAI,CAAC;oCACD,MAAM,GAAG,MAAM,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,EAAE;wCACxC,GAAG,EAAE,WAAW;wCAChB,QAAQ,EAAE,eAAe;wCACzB,OAAO,EAAE,OAAO,CAAC,OAAO;wCACxB,WAAW,EAAE,OAAO,CAAC,WAAW;wCAChC,OAAO,EAAE,OAAO,CAAC,OAAO;qCAC3B,CAAC,CAAC;oCACH,IAAI,MAAM,CAAC,EAAE;wCAAE,MAAM;oCACrB,SAAS,GAAG,MAAM,CAAC,KAAK,IAAI,gCAAgC,CAAC;gCACjE,CAAC;gCAAC,OAAO,WAAW,EAAE,CAAC;oCACnB,SAAS,GAAI,WAAqB,CAAC,OAAO,IAAI,MAAM,CAAC,WAAW,CAAC,CAAC;gCACtE,CAAC;4BACL,CAAC;wBACL,CAAC;oBACL,CAAC;oBAED,MAAM,UAAU,GAAoB,MAAM,IAAI;wBAC1C,KAAK,EAAE,YAAY;wBACnB,EAAE,EAAE,KAAK;wBACT,MAAM,EAAE,EAAE;wBACV,KAAK,EAAE,SAAS,IAAI,2BAA2B;wBAC/C,QAAQ,EAAE,CAAC;wBACX,UAAU,EAAE,CAAC;wBACb,QAAQ,EAAE,KAAK;wBACf,SAAS,EAAE,UAAU;wBACrB,WAAW,EAAE,CAAC;wBACd,YAAY,EAAE,CAAC;wBACf,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW;wBACrD,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK;qBAC9C,CAAC;oBAEF,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,GAAG,UAAU,CAAC,YAAY,CAAC;oBAChE,aAAa,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;oBACjF,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;wBACjB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAY,CAAC,CAAC;wBAC3B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,YAAY,aAAa,UAAU,CAAC,KAAK,IAAI,SAAS,EAAE,CAAC,CAAC;oBAC3F,CAAC;oBAED,OAAO,CAAC,IAAI,CAAC;wBACT,EAAE,EAAE,CAAC,CAAC,EAAY;wBAClB,KAAK,EAAE,YAAY;wBACnB,EAAE,EAAE,UAAU,CAAC,EAAE;wBACjB,OAAO,EAAE,KAAK;wBACd,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,KAAK,EAAE,UAAU,CAAC,KAAK;wBACvB,UAAU,EAAE,UAAU,CAAC,UAAU;wBACjC,MAAM;wBACN,WAAW,EAAE,UAAU,CAAC,WAAW;wBACnC,YAAY,EAAE,UAAU,CAAC,YAAY;qBACxC,CAAC,CAAC;gBACP,CAAC;wBAAS,CAAC;oBACP,GAAG,CAAC,OAAO,EAAE,CAAC;gBAClB,CAAC;YACL,CAAC,CAAC,CACL,CACJ,CAAC;QACN,CAAC;QAED,qEAAqE;QACrE,MAAM,cAAc,GAA6B,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAqB,EAAE,CAAC;QAEtC,IAAI,eAAe,IAAI,OAAO,CAAC,eAAe,KAAK,KAAK,EAAE,CAAC;YACvD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACtB,IAAI,CAAC,CAAC,OAAO;oBAAE,SAAS;gBACxB,MAAM,EAAE,GAAG,wBAAwB,CAAC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC1D,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;gBACvD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;oBAAE,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC;gBAE/F,QAAQ,CAAC,IAAI,CACT,mBAAmB,CAAC;oBAChB,MAAM,EAAE,CAAC,CAAC,EAAE;oBACZ,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,EAAE,EAAE,CAAC,CAAC,EAAE;oBACR,YAAY,EAAE,KAAK;oBACnB,QAAQ;oBACR,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;oBACzE,SAAS,EAAE,UAAU;oBACrB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK;iBACjD,CAAC,CACL,CAAC;YACN,CAAC;QACL,CAAC;QAED,MAAM,UAAU,GAAG,gBAAgB,CAAC,cAAc,CAAC,CAAC;QACpD,MAAM,WAAW,GAAG,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3E,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAEnF,IAAI,WAAW,GAAa,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,YAAY,IAAI,EAAE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;YACnE,WAAW,GAAG,CAAC,GAAG,QAAQ,CAAC,YAAY,EAAE,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;QACvE,CAAC;QAED,OAAO;YACH,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,EAAE;YACF,OAAO;YACP,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAY,CAAC,CAAC;YACrD,WAAW;YACX,SAAS,EAAE,UAAU;YACrB,WAAW;YACX,QAAQ;YACR,MAAM;SACT,CAAC;IACN,CAAC;CACJ"}

package/dist/atabey/src/modules/runtime/evidence.d.ts

@@ -0,0 +1,39 @@
+/**
+ * ─── EVIDENCE BUNDLE ─────────────────────────────────────────────────
+ *
+ * A tamper-evident proof-of-work issued at the end of every agent turn:
+ * what changed, whether it passed the quality gate, how many tokens it cost,
+ * and an HMAC signature over the canonical payload.
+ *
+ * This is the concrete artifact behind proven delivery:
+ * the user does not have to trust "the AI said it's done".
+ */
+export interface EvidenceBundle {
+    taskId: string;
+    agent: string;
+    ok: boolean;
+    changedFiles: string[];
+    diffStat: string;
+    tokens: {
+        input: number;
+        output: number;
+        total: number;
+    };
+    isolation: string;
+    sandbox: string;
+    quality?: {
+        passed: boolean;
+        reason: string;
+    };
+    timestamp: string;
+    /** SHA-256 of the canonical payload (content integrity). */
+    contentHash: string;
+    /** Keyed HMAC-SHA256 over the canonical payload (tamper-evidence). */
+    signature: string;
+}
+export type EvidenceInput = Omit<EvidenceBundle, "timestamp" | "contentHash" | "signature">;
+export declare function buildEvidenceBundle(input: EvidenceInput): EvidenceBundle;
+/** Re-derive the hashes and compare — detects any post-hoc tampering. */
+export declare function verifyEvidenceBundle(bundle: EvidenceBundle): boolean;
+/** Human-readable rendering (CLI / PR comment). */
+export declare function formatEvidenceBundle(b: EvidenceBundle): string;

package/dist/atabey/src/modules/runtime/evidence.js

@@ -0,0 +1,53 @@
+import { chainDigest, sha256Hex } from "atabey-shared/audit-chain.js";
+function canonicalPayload(b) {
+    return JSON.stringify({
+        taskId: b.taskId,
+        agent: b.agent,
+        ok: b.ok,
+        changedFiles: [...b.changedFiles].sort(),
+        diffStat: b.diffStat,
+        tokens: b.tokens,
+        isolation: b.isolation,
+        sandbox: b.sandbox,
+        quality: b.quality ?? null,
+        timestamp: b.timestamp,
+    });
+}
+export function buildEvidenceBundle(input) {
+    const timestamp = new Date().toISOString();
+    const payload = canonicalPayload({ ...input, timestamp });
+    return {
+        ...input,
+        timestamp,
+        contentHash: sha256Hex(payload),
+        signature: chainDigest(payload),
+    };
+}
+/** Re-derive the hashes and compare — detects any post-hoc tampering. */
+export function verifyEvidenceBundle(bundle) {
+    const payload = canonicalPayload(bundle);
+    return sha256Hex(payload) === bundle.contentHash && chainDigest(payload) === bundle.signature;
+}
+/** Human-readable rendering (CLI / PR comment). */
+export function formatEvidenceBundle(b) {
+    const lines = [
+        `# Evidence Bundle — ${b.taskId}`,
+        "",
+        `- **Agent:** ${b.agent}`,
+        `- **Result:** ${b.ok ? "✅ OK" : "❌ FAILED"}`,
+        `- **Isolation:** ${b.isolation} · **Sandbox:** ${b.sandbox}`,
+        `- **Tokens:** ${b.tokens.total} (in ${b.tokens.input} / out ${b.tokens.output})`,
+        `- **Timestamp:** ${b.timestamp}`,
+    ];
+    if (b.quality) {
+        lines.push(`- **Quality Gate:** ${b.quality.passed ? "✅ passed" : `❌ ${b.quality.reason}`}`);
+    }
+    lines.push("", "## Changed files");
+    lines.push(b.changedFiles.length > 0 ? b.changedFiles.map((f) => `- ${f}`).join("\n") : "_none_");
+    if (b.diffStat) {
+        lines.push("", "## Diff stat", "```", b.diffStat, "```");
+    }
+    lines.push("", `**contentHash:** \`${b.contentHash}\``, `**signature:** \`${b.signature}\``);
+    return lines.join("\n");
+}
+//# sourceMappingURL=evidence.js.map

package/dist/atabey/src/modules/runtime/evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../../../../src/modules/runtime/evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AA+BtE,SAAS,gBAAgB,CAAC,CAAoD;IAC1E,OAAO,IAAI,CAAC,SAAS,CAAC;QAClB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE;QACxC,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,IAAI;QAC1B,SAAS,EAAE,CAAC,CAAC,SAAS;KACzB,CAAC,CAAC;AACP,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAoB;IACpD,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAG,gBAAgB,CAAC,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IAC1D,OAAO;QACH,GAAG,KAAK;QACR,SAAS;QACT,WAAW,EAAE,SAAS,CAAC,OAAO,CAAC;QAC/B,SAAS,EAAE,WAAW,CAAC,OAAO,CAAC;KAClC,CAAC;AACN,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,oBAAoB,CAAC,MAAsB;IACvD,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACzC,OAAO,SAAS,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC,WAAW,IAAI,WAAW,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC,SAAS,CAAC;AAClG,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,oBAAoB,CAAC,CAAiB;IAClD,MAAM,KAAK,GAAG;QACV,uBAAuB,CAAC,CAAC,MAAM,EAAE;QACjC,EAAE;QACF,gBAAgB,CAAC,CAAC,KAAK,EAAE;QACzB,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE;QAC7C,oBAAoB,CAAC,CAAC,SAAS,mBAAmB,CAAC,CAAC,OAAO,EAAE;QAC7D,iBAAiB,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG;QACjF,oBAAoB,CAAC,CAAC,SAAS,EAAE;KACpC,CAAC;IACF,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACjG,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAClG,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QACb,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC7D,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC,WAAW,IAAI,EAAE,oBAAoB,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC;IAC7F,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC"}

package/dist/atabey/src/modules/runtime/worktree.d.ts

@@ -0,0 +1,44 @@
+/** Normalize an agent handle ("@backend") into a safe directory name. */
+export declare function safeAgentDirName(agentName: string): string;
+/** Deterministic worktree path for an agent (whether or not it exists yet). */
+export declare function resolveAgentWorktreePath(projectRoot: string, agentName: string): string;
+export interface WorktreeChanges {
+    files: string[];
+    diffStat: string;
+}
+/** Collect uncommitted changes inside a worktree (git status + diff --stat). */
+export declare function collectWorktreeChanges(worktreePath: string): WorktreeChanges;
+/** Files touched by more than one agent — collision candidates before merge. */
+export declare function detectCollisions(changesByAgent: Record<string, string[]>): string[];
+/**
+ * Ensure an isolated git worktree for an agent under `.atabey/worktrees/<agent>`.
+ *
+ * - Reuses the worktree if it already exists.
+ * - Returns the project root when worktrees are unavailable (non-git repo)
+ *   unless `require` is set, in which case it throws (fail-closed).
+ *
+ * This is what prevents a parallel agent from clobbering the main working tree.
+ */
+export declare function ensureAgentWorktree(projectRoot: string, agentName: string, require?: boolean): string;
+/**
+ * Return the list of modified / untracked relative file paths inside an agent worktree.
+ * Used by `AgentDispatcher` to detect cross-agent write collisions before merging.
+ */
+export declare function listWorktreeModifiedFiles(worktreePath: string): string[];
+export interface MergeWorktreeReport {
+    merged: boolean;
+    appliedFiles: string[];
+    deletedFiles: string[];
+    conflicts: string[];
+}
+/**
+ * Safely merge uncommitted worktree changes from each agent back to `projectRoot`
+ * using Git 3-way merge (`git merge-file -p` against `HEAD:<relPath>`).
+ *
+ * - Disjoint files are copied/deleted directly (or 3-way merged if `projectRoot`
+ *   also diverged from `HEAD`).
+ * - Files touched by multiple agents are 3-way merged against `HEAD:<relPath>`.
+ *   Non-overlapping hunks merge cleanly; overlapping line conflicts abort the
+ *   file merge and are reported in `conflicts`.
+ */
+export declare function mergeWorktreeChanges(projectRoot: string, changesByAgent: Record<string, string[]>): MergeWorktreeReport;