wezard 2.6.1 → 2.6.3

package/dist/daemon/workflow-nodes.js

@@ -0,0 +1,217 @@
+// Opt-in execution history. Receipt completion and acceptance are separate facts.
+import { createHash, randomUUID } from "node:crypto";
+import { existsSync, mkdirSync, readFileSync, renameSync, writeFileSync, openSync, fsyncSync, closeSync } from "node:fs";
+import { dirname, isAbsolute, resolve } from "node:path";
+import { parseClosing } from "./peers.js";
+import { expandHome } from "../shared/paths.js";
+export const resultDigest = (body) => createHash("sha256").update(body).digest("hex");
+const fileDigest = (path) => createHash("sha256").update(readFileSync(path)).digest("hex");
+const versionsMatch = (files) => files.every((f) => {
+    try {
+        return isAbsolute(f.path) && /^[a-f0-9]{64}$/.test(f.sha256) && fileDigest(f.path) === f.sha256 && (!f.snapshot || fileDigest(f.snapshot) === f.sha256);
+    }
+    catch {
+        return false;
+    }
+});
+export const createWorkflowNodes = (file) => {
+    const abs = resolve(expandHome(file));
+    // Corrupt/unwritable execution history must fail closed, unlike advisory stores.
+    let rows = existsSync(abs) ? JSON.parse(readFileSync(abs, "utf8")) : [];
+    if (!Array.isArray(rows) || rows.some((a) => ![a.id, a.node, a.owner, a.job, a.turn, a.to].every((s) => typeof s === "string" && s.length > 0)
+        || !Number.isFinite(a.at)
+        || (a.body !== undefined && typeof a.body !== "string")
+        || (a.digest !== undefined && (typeof a.digest !== "string" || typeof a.body !== "string" || a.digest !== resultDigest(a.body)))
+        || !["queued", "dispatching", "dispatch-unknown", "running", "needs-input", "errored", "terminal"].includes(a.execution)
+        || !["pending", "accepted", "rejected"].includes(a.acceptance)
+        || [a.stopped, a.exposed, a.canceled].some((v) => v !== undefined && typeof v !== "boolean")
+        || (a.status !== undefined && !["done", "need", "error", "timeout", "silent", "dead", "canceled"].includes(a.status))
+        || (a.acceptance === "accepted" && (a.execution !== "terminal" || a.status !== "done" || !a.body?.trim() || a.digest !== resultDigest(a.body)))
+        || (a.files !== undefined && (!Array.isArray(a.files) || a.files.some((f) => typeof f.path !== "string" || typeof f.sha256 !== "string" || (f.snapshot !== undefined && (typeof f.snapshot !== "string" || !isAbsolute(f.snapshot))))))
+        || (a.accountingVersion !== undefined && a.accountingVersion !== 1)
+        || (a.dispatches !== undefined && (!Array.isArray(a.dispatches) || a.dispatches.some((d) => typeof d.key !== "string" || !d.key || (d.tell && (d.tell.from !== a.owner || d.tell.to !== a.to || d.tell.turn !== a.turn)) || typeof d.text !== "string" || !Number.isFinite(d.at) || !["task", "ask"].includes(d.kind) || ([d.free, d.continuation].some((v) => v !== undefined && typeof v !== "boolean"))) || new Set(a.dispatches.map((d) => d.key)).size !== a.dispatches.length))
+        || (a.tell && (a.tell.from !== a.owner || a.tell.to !== a.to || a.tell.turn !== a.turn))))
+        throw new Error("invalid workflow node history");
+    if (new Set(rows.map((a) => a.id)).size !== rows.length || new Set(rows.map((a) => `${a.owner}\0${a.turn}`)).size !== rows.length)
+        throw new Error("duplicate workflow attempt identity");
+    const write = (next) => {
+        mkdirSync(dirname(abs), { recursive: true });
+        const tmp = `${abs}.${randomUUID()}.tmp`;
+        writeFileSync(tmp, JSON.stringify(next, null, 2), { mode: 0o600 });
+        const fd = openSync(tmp, "r");
+        try {
+            fsyncSync(fd);
+        }
+        finally {
+            closeSync(fd);
+        }
+        renameSync(tmp, abs);
+        const dir = openSync(dirname(abs), "r");
+        try {
+            fsyncSync(dir);
+        }
+        finally {
+            closeSync(dir);
+        }
+        rows = next;
+    };
+    const update = (id, change) => {
+        const old = rows.find((a) => a.id === id);
+        if (!old)
+            throw new Error("attempt not found");
+        const next = { ...old, ...change };
+        write(rows.map((a) => a.id === id ? next : a));
+        return structuredClone(next);
+    };
+    // A process death anywhere around injection leaves an uncertain attempt, never a retry.
+    if (rows.some((a) => a.execution === "dispatching"))
+        write(rows.map((a) => a.execution === "dispatching" ? { ...a, execution: "dispatch-unknown" } : a));
+    // First-slice records had optional file evidence and no snapshots. Keep their
+    // history, but require fresh validation rather than trusting an old accepted bit.
+    const legacy = rows.filter((a) => a.acceptance === "accepted" && (parseClosing(a.body ?? "").artifacts.some((f) => !(a.files ?? []).some((v) => v.path === f.path && v.snapshot))
+        || (a.files ?? []).some((f) => !f.snapshot)));
+    if (legacy.length)
+        write(rows.map((a) => legacy.some((b) => b.id === a.id) ? { ...a, acceptance: "pending", reason: "legacy file acceptance needs complete version evidence and snapshots" } : a));
+    const byTurn = (owner, turn) => rows.find((a) => a.owner === owner && a.turn === turn);
+    const begin = (owner, job, node, turn, to, queued) => {
+        const same = byTurn(owner, turn);
+        if (same) {
+            if (same.node !== node || same.job !== job || same.to !== to)
+                throw new Error("attempt identity mismatch");
+            if (!["queued", "running", "needs-input", "errored"].includes(same.execution))
+                throw new Error("attempt requires reconciliation before dispatch");
+            return structuredClone(same);
+        }
+        const prev = rows.filter((a) => a.owner === owner && a.job === job && a.node === node).at(-1);
+        if (prev && (!prev.stopped || prev.acceptance === "accepted"))
+            throw new Error("previous attempt may still execute; reconcile stopped before retry");
+        const busy = rows.find((a) => a.owner === owner && a.to === to && !["terminal", "queued"].includes(a.execution));
+        if (busy && !queued)
+            throw new Error("target already has a tracked execution");
+        const a = { id: `a${randomUUID()}`, node, owner, job, turn, to, at: Date.now(), execution: "queued", acceptance: "pending", accountingVersion: 1 };
+        write([...rows, a]);
+        return structuredClone(a);
+    };
+    return {
+        all: () => structuredClone(rows),
+        list: (owner, job) => structuredClone(rows.filter((a) => a.owner === owner && (!job || a.job === job))),
+        byTurn: (owner, turn) => { const a = byTurn(owner, turn); return a && structuredClone(a); },
+        begin,
+        cancel: (to, owner, job, turn, only = () => true) => {
+            const hit = rows.filter((a) => (!to || a.to === to) && (!owner || a.owner === owner) && (!job || a.job === job) && (!turn || a.turn === turn) && a.execution !== "terminal" && !a.canceled && only({ from: a.owner, turn: a.turn }));
+            if (hit.length)
+                write(rows.map((a) => hit.some((b) => b.id === a.id) ? { ...a, canceled: true, acceptance: "rejected", execution: a.exposed || a.execution === "dispatch-unknown" || ["running", "needs-input", "errored"].includes(a.execution) ? "dispatch-unknown" : "terminal", status: "canceled", stopped: !a.exposed && ["queued", "dispatching"].includes(a.execution), reason: "canceled; physical exposure requires stopped reconciliation" } : a));
+            return hit.length;
+        },
+        recordLeg: (id, data, reuse = false) => {
+            const a = rows.find((a) => a.id === id);
+            if (!a || a.canceled)
+                throw new Error("attempt not active");
+            const old = a.dispatches?.at(-1);
+            if (reuse && old) {
+                if (a.tell)
+                    update(id, { tell: { ...a.tell, dispatchKey: old.key } });
+                return structuredClone(old);
+            }
+            const key = `${id}:${randomUUID()}`;
+            const leg = { ...data, key, ...(data.tell ? { tell: { ...data.tell, dispatchKey: key } } : {}) };
+            update(id, { accountingVersion: 1, dispatches: [...(a.dispatches ?? []), leg], ...(leg.tell ? { tell: leg.tell } : {}) });
+            return leg;
+        },
+        boundary: (id) => {
+            const a = rows.find((a) => a.id === id);
+            if (!a || a.canceled || a.execution !== "dispatching")
+                return false;
+            if (!a.exposed)
+                update(id, { exposed: true });
+            return true;
+        },
+        intent: (id, tell) => update(id, { execution: "dispatching", tell, status: undefined, body: undefined, digest: undefined, acceptance: "pending" }),
+        dispatched: (id, ok) => {
+            const a = rows.find((a) => a.id === id);
+            if (!a)
+                throw new Error("attempt not found");
+            return a.execution === "dispatching" ? update(id, { execution: ok ? "running" : "dispatch-unknown" }) : structuredClone(a);
+        },
+        outcome: (owner, turn, status, body) => {
+            const a = byTurn(owner, turn);
+            if (!a || a.execution === "terminal" || a.execution === "dispatch-unknown" || (["queued", "dispatching"].includes(a.execution) && status !== "canceled"))
+                return;
+            if (status === "canceled") {
+                const uncertain = !!a.exposed || ["running", "needs-input", "errored"].includes(a.execution);
+                update(a.id, { status, body, digest: resultDigest(body), canceled: true, acceptance: "rejected", execution: uncertain ? "dispatch-unknown" : "terminal", stopped: !uncertain });
+                return;
+            }
+            if (status === "done" && !body.trim()) {
+                update(a.id, { execution: "dispatch-unknown", acceptance: "pending", status: undefined, body: undefined, digest: undefined, reason: "receipt claimed without result body; reconcile from transcript" });
+                return;
+            }
+            update(a.id, { status, body, digest: resultDigest(body), acceptance: "pending", execution: status === "need" ? "needs-input" : status === "error" ? "errored" : "terminal" });
+        },
+        prereq: (owner, turn) => {
+            const a = byTurn(owner, turn);
+            if (!a)
+                return undefined;
+            const seen = { to: a.to, status: a.status ?? "canceled", body: a.body ?? "" };
+            if (a.canceled || a.acceptance === "rejected" || (a.execution === "terminal" && a.status !== "done"))
+                return { state: "failed", seen };
+            if (a.acceptance === "accepted")
+                return versionsMatch(a.files ?? []) ? { state: "done", seen } : { state: "failed", seen: { ...seen, status: "canceled", body: "accepted artifact version changed" } };
+            return { state: "pending" };
+        },
+        verdict: (owner, id, as, digest, reason, files = []) => {
+            const a = rows.find((a) => a.id === id && a.owner === owner);
+            if (!a)
+                throw new Error("attempt not found for owner");
+            if (!reason.trim())
+                throw new Error("evidence/reason required");
+            if (as === "sent") {
+                if (a.canceled || !["dispatch-unknown", "running"].includes(a.execution) || a.status || !a.tell)
+                    throw new Error("only unknown dispatch can reconcile sent");
+                return update(id, { execution: "running", reason });
+            }
+            if (as === "stopped") {
+                if (a.acceptance === "accepted")
+                    throw new Error("accepted attempt cannot be retried");
+                return update(id, { execution: "terminal", status: a.status ?? "canceled", stopped: true, acceptance: "rejected", reason });
+            }
+            if (a.execution !== "terminal" || a.status !== "done" || !a.digest || digest !== a.digest)
+                throw new Error("verdict requires terminal done and matching result digest");
+            if (a.acceptance !== "pending")
+                throw new Error("attempt already validated");
+            const declared = parseClosing(a.body ?? "").artifacts.map((f) => f.path);
+            if (as === "accepted" && declared.some((p) => !files.some((f) => f.path === p)))
+                throw new Error("every declared ARTIFACT requires files+sha256 evidence");
+            if (as === "accepted" && !versionsMatch(files))
+                throw new Error("artifact missing or sha256 mismatch");
+            const versions = as !== "accepted" ? files : files.map((f) => {
+                const data = readFileSync(f.path);
+                if (createHash("sha256").update(data).digest("hex") !== f.sha256)
+                    throw new Error("artifact changed while snapshotting");
+                const snapshot = `${abs}.artifacts/${f.sha256}`;
+                mkdirSync(dirname(snapshot), { recursive: true });
+                if (!existsSync(snapshot))
+                    writeFileSync(snapshot, data, { mode: 0o444, flag: "wx" });
+                if (fileDigest(snapshot) !== f.sha256)
+                    throw new Error("snapshot corruption");
+                const fd = openSync(snapshot, "r");
+                try {
+                    fsyncSync(fd);
+                }
+                finally {
+                    closeSync(fd);
+                }
+                const parent = openSync(dirname(snapshot), "r");
+                try {
+                    fsyncSync(parent);
+                }
+                finally {
+                    closeSync(parent);
+                }
+                return { path: f.path, sha256: f.sha256, snapshot };
+            });
+            return update(id, { acceptance: as, reason, files: versions });
+        },
+    };
+};
+//# sourceMappingURL=workflow-nodes.js.map

package/dist/daemon/workflow-nodes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-nodes.js","sourceRoot":"","sources":["../../daemon/workflow-nodes.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACzH,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAIzD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAWhD,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACtG,MAAM,UAAU,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC3G,MAAM,aAAa,GAAG,CAAC,KAAoB,EAAW,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;IACzE,IAAI,CAAC;QAAC,OAAO,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC;AAC1L,CAAC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,IAAY,EAAE,EAAE;IAClD,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IACtC,iFAAiF;IACjF,IAAI,IAAI,GAAkB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAkB,CAAC,CAAC,CAAC,EAAE,CAAC;IACxG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1C,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;WAC9F,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;WACtB,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;WACpD,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;WAC7H,CAAC,CAAC,QAAQ,EAAE,aAAa,EAAE,kBAAkB,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;WACrH,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC;WAC3D,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,SAAS,CAAC;WACzF,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;WAClH,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,IAAI,CAAC,CAAC,CAAC,SAAS,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;WAC5I,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;WACpO,CAAC,CAAC,CAAC,iBAAiB,KAAK,SAAS,IAAI,CAAC,CAAC,iBAAiB,KAAK,CAAC,CAAC;WAChE,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;WACld,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CACzF;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACpD,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAC1L,MAAM,KAAK,GAAG,CAAC,IAAmB,EAAQ,EAAE;QAC1C,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,GAAG,GAAG,IAAI,UAAU,EAAE,MAAM,CAAC;QACzC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACnE,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9B,IAAI,CAAC;YAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAAC,CAAC;gBAAS,CAAC;YAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAAC,CAAC;QACjD,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrB,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QACxC,IAAI,CAAC;YAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAAC,CAAC;gBAAS,CAAC;YAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAAC,CAAC;QACnD,IAAI,GAAG,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,MAA4B,EAAe,EAAE;QACvE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1C,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,EAAE,GAAG,GAAG,EAAE,GAAG,MAAM,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,wFAAwF;IACxF,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,aAAa,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,kBAA2B,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClK,8EAA8E;IAC9E,kFAAkF;IAClF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,IAAI,CAC/D,YAAY,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC;WAC5G,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAC5C,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,SAAkB,EAAE,MAAM,EAAE,sEAAsE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5M,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACvG,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,GAAW,EAAE,IAAY,EAAE,IAAY,EAAE,EAAU,EAAE,MAAe,EAAe,EAAE;QACjH,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACjC,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,GAAG,IAAI,IAAI,CAAC,EAAE,KAAK,EAAE;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;YAC3G,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;YAClJ,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9F,IAAI,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,UAAU,KAAK,UAAU,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;QACrJ,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QACjH,IAAI,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;QAC/E,MAAM,CAAC,GAAgB,EAAE,EAAE,EAAE,IAAI,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC,EAAE,CAAC;QAChK,KAAK,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,OAAO,eAAe,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,OAAO;QACL,GAAG,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAChC,IAAI,EAAE,CAAC,KAAa,EAAE,GAAY,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC;QACxH,MAAM,EAAE,CAAC,KAAa,EAAE,IAAY,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3G,KAAK;QACL,MAAM,EAAE,CAAC,EAAsB,EAAE,KAAc,EAAE,GAAY,EAAE,IAAa,EAAE,OAAuD,GAAG,EAAE,CAAC,IAAI,EAAU,EAAE;YACzJ,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,KAAK,UAAU,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACrO,IAAI,GAAG,CAAC,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,UAAmB,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,KAAK,kBAAkB,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,kBAA2B,CAAC,CAAC,CAAC,UAAmB,EAAE,MAAM,EAAE,UAAmB,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,6DAA6D,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACle,OAAO,GAAG,CAAC,MAAM,CAAC;QACpB,CAAC;QACD,SAAS,EAAE,CAAC,EAAU,EAAE,IAA8B,EAAE,KAAK,GAAG,KAAK,EAAe,EAAE;YACpF,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YACxC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;YAC5D,MAAM,GAAG,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,KAAK,IAAI,GAAG,EAAE,CAAC;gBACjB,IAAI,CAAC,CAAC,IAAI;oBAAE,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBACtE,OAAO,eAAe,CAAC,GAAG,CAAC,CAAC;YAC9B,CAAC;YACD,MAAM,GAAG,GAAG,GAAG,EAAE,IAAI,UAAU,EAAE,EAAE,CAAC;YACpC,MAAM,GAAG,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YACjG,MAAM,CAAC,EAAE,EAAE,EAAE,iBAAiB,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAC1H,OAAO,GAAG,CAAC;QACb,CAAC;QACD,QAAQ,EAAE,CAAC,EAAU,EAAW,EAAE;YAChC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YACxC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,SAAS,KAAK,aAAa;gBAAE,OAAO,KAAK,CAAC;YACpE,IAAI,CAAC,CAAC,CAAC,OAAO;gBAAE,MAAM,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAC9C,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,EAAE,CAAC,EAAU,EAAE,IAAU,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;QAChK,UAAU,EAAE,CAAC,EAAU,EAAE,EAAW,EAAE,EAAE;YACtC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YACxC,IAAI,CAAC,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;YAC7C,OAAO,CAAC,CAAC,SAAS,KAAK,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC7H,CAAC;QACD,OAAO,EAAE,CAAC,KAAa,EAAE,IAAY,EAAE,MAAqB,EAAE,IAAY,EAAE,EAAE;YAC5E,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,KAAK,UAAU,IAAI,CAAC,CAAC,SAAS,KAAK,kBAAkB,IAAI,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,MAAM,KAAK,UAAU,CAAC;gBAAE,OAAO;YACjK,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;gBAC1B,MAAM,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBAC7F,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;gBAChL,OAAO;YACT,CAAC;YACD,IAAI,MAAM,KAAK,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBACtC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,kBAAkB,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,gEAAgE,EAAE,CAAC,CAAC;gBACxM,OAAO;YACT,CAAC;YACD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;QAChL,CAAC;QACD,MAAM,EAAE,CAAC,KAAa,EAAE,IAAY,EAAsB,EAAE;YAC1D,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,CAAC;gBAAE,OAAO,SAAS,CAAC;YACzB,MAAM,IAAI,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,UAA2B,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;YAC/F,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,UAAU,KAAK,UAAU,IAAI,CAAC,CAAC,CAAC,SAAS,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC;gBAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YACvI,IAAI,CAAC,CAAC,UAAU,KAAK,UAAU;gBAAE,OAAO,aAAa,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,mCAAmC,EAAE,EAAE,CAAC;YACvM,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QAC9B,CAAC;QACD,OAAO,EAAE,CAAC,KAAa,EAAE,EAAU,EAAE,EAAgD,EAAE,MAA0B,EAAE,MAAc,EAAE,QAAuB,EAAE,EAAE,EAAE;YAC9J,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;YAC7D,IAAI,CAAC,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;YACvD,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE;gBAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;YAChE,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;gBAClB,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;gBAC7J,OAAO,MAAM,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;YACtD,CAAC;YACD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBACrB,IAAI,CAAC,CAAC,UAAU,KAAK,UAAU;oBAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;gBACvF,OAAO,MAAM,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;YAC9H,CAAC;YACD,IAAI,CAAC,CAAC,SAAS,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,MAAM,KAAK,CAAC,CAAC,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;YACxK,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;YAC7E,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACzE,IAAI,EAAE,KAAK,UAAU,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;YAC3J,IAAI,EAAE,KAAK,UAAU,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;YACvG,MAAM,QAAQ,GAAG,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC3D,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAClC,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM;oBAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;gBACzH,MAAM,QAAQ,GAAG,GAAG,GAAG,cAAc,CAAC,CAAC,MAAM,EAAE,CAAC;gBAChD,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBAClD,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;oBAAE,aAAa,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBACtF,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM;oBAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;gBAC9E,MAAM,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC;oBAAC,SAAS,CAAC,EAAE,CAAC,CAAC;gBAAC,CAAC;wBAAS,CAAC;oBAAC,SAAS,CAAC,EAAE,CAAC,CAAC;gBAAC,CAAC;gBACrF,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC;oBAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBAAC,CAAC;wBAAS,CAAC;oBAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBAAC,CAAC;gBAC1G,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC;YACtD,CAAC,CAAC,CAAC;YACH,OAAO,MAAM,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;QACjE,CAAC;KACF,CAAC;AACJ,CAAC,CAAC"}

package/dist/daemon/workflow-plan-http.js

@@ -0,0 +1,83 @@
+import { WorkflowPlanSchema } from "../shared/workflow-plan.js";
+import { json } from "./http.js";
+export const registerWorkflowPlanRoutes = (http, o) => {
+    const inputOf = (body) => {
+        if (!body || typeof body !== "object" || Array.isArray(body))
+            throw new Error("object required");
+        const { sessionId: _sid, tmuxPane: _pane, target: _target, ...input } = body;
+        return input;
+    };
+    http.register("POST /workflow/plans/create", async (req, res) => {
+        const { self, body } = await o.read(req);
+        if (!self) {
+            json(res, 400, { ok: false, reason: "cannot resolve caller" });
+            return;
+        }
+        let input;
+        try {
+            input = WorkflowPlanSchema.parse(inputOf(body));
+        }
+        catch (e) {
+            json(res, 400, { ok: false, reason: e.message });
+            return;
+        }
+        const existing = o.store.ofJob(input.job);
+        if (existing?.owner === self) {
+            json(res, 409, { ok: false, reason: "one immutable segment per job; existing plan unchanged", existingRun: existing.id, hint: "workflow_plan_status({run:existingRun}) recovers a lost create response; this request does not restart or update it" });
+            return;
+        }
+        const job = o.job(input.job);
+        if (!job || job.owner !== self || job.status !== "open") {
+            json(res, 409, { ok: false, reason: "plan requires your open job" });
+            return;
+        }
+        const origin = o.origin(self), denied = o.direction(self, job.id, origin);
+        if (denied) {
+            json(res, 409, { ok: false, reason: denied, gated: "direction" });
+            return;
+        }
+        try {
+            const run = o.store.create(self, input, origin, job, o.attempts(self, job.id), o.occupied(self, job.id));
+            o.runner.kick();
+            json(res, 200, { ok: true, run: o.runner.status(self, run.id), hint: "immutable segment; owner must explicitly accept every result via workflow_verdict. NEED/error/unknown require reconciliation, never automatic retry. Cancel blocks new work but does not kill executing panes." });
+        }
+        catch (e) {
+            json(res, 409, { ok: false, reason: e.message });
+        }
+    });
+    http.register("POST /workflow/plans/status", async (req, res) => {
+        const { self, body } = await o.read(req);
+        if (!self) {
+            json(res, 400, { ok: false, reason: "cannot resolve caller" });
+            return;
+        }
+        try {
+            const b = inputOf(body);
+            if (Object.keys(b).some((k) => k !== "run") || typeof b.run !== "string" || !b.run)
+                throw new Error("run required; unknown fields are not allowed");
+            const run = o.runner.status(self, b.run);
+            json(res, 200, { ok: true, run });
+        }
+        catch (e) {
+            json(res, 409, { ok: false, reason: e.message });
+        }
+    });
+    http.register("POST /workflow/plans/cancel", async (req, res) => {
+        const { self, body } = await o.read(req);
+        if (!self) {
+            json(res, 400, { ok: false, reason: "cannot resolve caller" });
+            return;
+        }
+        try {
+            const b = inputOf(body);
+            if (Object.keys(b).some((k) => !["run", "reason"].includes(k)) || typeof b.run !== "string" || typeof b.reason !== "string" || !b.reason.trim())
+                throw new Error("run and nonempty reason required; unknown fields are not allowed");
+            o.runner.cancel(self, b.run, b.reason.trim());
+            json(res, 200, { ok: true, run: o.runner.status(self, b.run) });
+        }
+        catch (e) {
+            json(res, 409, { ok: false, reason: e.message });
+        }
+    });
+};
+//# sourceMappingURL=workflow-plan-http.js.map

package/dist/daemon/workflow-plan-http.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-plan-http.js","sourceRoot":"","sources":["../../daemon/workflow-plan-http.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAGhE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAKjC,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,IAAgB,EAAE,CAQ5D,EAAE,EAAE;IACH,MAAM,OAAO,GAAG,CAAC,IAAa,EAA2B,EAAE;QACzD,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;QACjG,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,GAAG,IAA+B,CAAC;QACxG,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,IAAI,CAAC,QAAQ,CAAC,6BAA6B,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QAC9D,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QACtF,IAAI,KAAK,CAAC;QACV,IAAI,CAAC;YAAC,KAAK,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAAC,CAAC;QACxD,OAAO,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAG,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QAClF,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAI,QAAQ,EAAE,KAAK,KAAK,IAAI,EAAE,CAAC;YAC7B,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wDAAwD,EAAE,WAAW,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,qHAAqH,EAAE,CAAC,CAAC;YACvP,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QAC1I,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC1E,IAAI,MAAM,EAAE,CAAC;YAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QAC1F,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YACzG,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAChB,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,gNAAgN,EAAE,CAAC,CAAC;QAC3R,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAG,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;QAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,QAAQ,CAAC,6BAA6B,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QAC9D,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QACtF,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YACxB,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,GAAG;gBAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;YACpJ,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YACzC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACpC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAG,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;QAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,QAAQ,CAAC,6BAA6B,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QAC9D,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QACtF,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YACxB,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;gBAAE,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;YACrO,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9C,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClE,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAG,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;QAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/daemon/workflow-plans.js

@@ -0,0 +1,274 @@
+import { baseOfKey, keyOf, normalizeTag } from "../shared/session-label.js";
+import { randomUUID } from "node:crypto";
+import { realpathSync, statSync } from "node:fs";
+import { z } from "zod";
+import { loadJsonMap } from "../shared/json-map-store.js";
+import { WorkflowPlanSchema } from "../shared/workflow-plan.js";
+const OriginSchema = z.object({
+    k: z.union([
+        z.object({ kind: z.literal("chat"), channel: z.string(), turn: z.string() }).strict(),
+        z.object({ kind: z.literal("peer"), from: z.string(), turn: z.string() }).strict(),
+    ]).optional(),
+    asker: z.object({ who: z.string(), chat: z.string() }).strict().optional(),
+    chain: z.array(z.string()),
+}).strict();
+const PhaseSchema = z.enum(["waiting", "spawning", "spawn-unknown", "spawned", "dispatching", "observing", "blocked"]);
+const NodeStateSchema = z.object({
+    id: z.string(), turn: z.string().min(1), name: z.string().min(1), phase: PhaseSchema,
+    to: z.string().optional(), reason: z.string().optional(), birth: z.record(z.unknown()).optional(),
+}).strict();
+const RunSchema = z.object({
+    id: z.string().min(1), owner: z.string().min(1), plan: WorkflowPlanSchema,
+    origin: OriginSchema, at: z.number().finite(),
+    state: z.enum(["active", "completed", "failed", "canceled"]), reason: z.string().optional(),
+    nodes: z.array(NodeStateSchema),
+}).strict();
+export const loadWorkflowPlans = (file, prereq) => {
+    const db = loadJsonMap(file, undefined, { strict: true });
+    let healthy = true;
+    const all = () => structuredClone(Object.values(db.all()));
+    all().forEach((r) => {
+        RunSchema.parse(r);
+        if (r.nodes.length !== r.plan.nodes.length || r.nodes.some((n, i) => n.id !== r.plan.nodes[i]?.id)
+            || new Set(r.nodes.map((n) => n.turn)).size !== r.nodes.length
+            || new Set(r.nodes.map((n) => n.name)).size !== r.nodes.length
+            || r.nodes.some((n) => ["spawned", "dispatching", "observing"].includes(n.phase) && (!n.to || n.birth?.target !== n.to || n.birth?.name !== n.name)))
+            throw new Error("invalid workflow plan identities");
+    });
+    if (Object.entries(db.all()).some(([id, r]) => id !== r.id)
+        || new Set(all().flatMap((r) => r.nodes.map((n) => n.turn))).size !== all().reduce((sum, r) => sum + r.nodes.length, 0))
+        throw new Error("duplicate workflow plan run/turn identity");
+    if (new Set(all().map((r) => r.plan.job)).size !== all().length)
+        throw new Error("duplicate workflow plan job");
+    const write = (r) => {
+        try {
+            db.set(r.id, r);
+        }
+        catch (e) {
+            healthy = false;
+            throw e;
+        }
+        return structuredClone(r);
+    };
+    const get = (id) => { const r = db.get(id); return r && structuredClone(r); };
+    const change = (id, f) => {
+        const r = get(id);
+        if (!r)
+            throw new Error("workflow plan not found");
+        return write(f(r));
+    };
+    // A birth may exist even if its result was never committed. Do not create another.
+    all().filter((r) => r.nodes.some((n) => n.phase === "spawning")).forEach((r) => write({ ...r, nodes: r.nodes.map((n) => n.phase === "spawning" ? { ...n, phase: "spawn-unknown", reason: "spawn interrupted; reconcile executor by recorded name, then cancel this segment" } : n) }));
+    const ofJob = (job) => all().find((r) => r.plan.job === job);
+    // Reserve logical addresses before birth, and physical keys after reconciliation.
+    // Terminal runs retain their reservations: cancellation never frees a pane for
+    // untracked task injection or silently resurrects the segment.
+    const reservation = (target, name) => all().find((r) => r.nodes.some((n) => n.name === normalizeTag(name) || (!!target && (n.to === target || keyOf(baseOfKey(r.owner), n.name) === target))));
+    const owned = (owner, id) => {
+        const r = get(id);
+        if (!r || r.owner !== owner)
+            throw new Error("workflow plan not found for owner");
+        return r;
+    };
+    const permitted = (owner, job, p) => {
+        const r = ofJob(job);
+        return healthy && !!r && r.state === "active" && r.owner === owner && !!p && p.run === r.id
+            && r.nodes.some((n) => n.id === p.node && n.turn === p.turn) && p.alive();
+    };
+    return {
+        all, get, owned, ofJob, reservation, allowExternal: (target, name) => healthy && !reservation(target, name), healthy: () => healthy,
+        create: (owner, input, origin, job, attempts, occupied) => {
+            const plan = WorkflowPlanSchema.parse(input);
+            if (job.id !== plan.job || job.owner !== owner || job.status !== "open")
+                throw new Error("plan requires your open job");
+            if (ofJob(plan.job) || job.members.length || (job.turns ?? 0) || attempts.length || occupied)
+                throw new Error("plan requires a dedicated empty job; one immutable segment per job");
+            if (job.maxTurns && job.maxTurns < plan.nodes.length)
+                throw new Error("job budget cannot cover this plan");
+            if (!statSync(plan.cwd).isDirectory())
+                throw new Error("cwd must be a directory");
+            const id = `w${randomUUID().replace(/-/g, "")}`;
+            return write({ id, owner, plan: { ...plan, cwd: realpathSync(plan.cwd) }, origin: OriginSchema.parse(origin), at: Date.now(), state: "active",
+                nodes: plan.nodes.map((n, i) => ({ id: n.id, phase: "waiting", turn: `t${randomUUID().replace(/-/g, "")}`, name: `wf-${id.slice(1, 13)}-${i + 1}` })) });
+        },
+        node: (id, node, patch) => change(id, (r) => {
+            const old = r.nodes.find((n) => n.id === node);
+            if (!old)
+                throw new Error("plan node not found");
+            const moves = { waiting: ["spawning"], spawning: ["spawned", "spawn-unknown"], "spawn-unknown": [], spawned: ["dispatching"], dispatching: ["observing", "blocked"], observing: [], blocked: [] };
+            if (patch.phase && patch.phase !== old.phase && !moves[old.phase].includes(patch.phase))
+                throw new Error("illegal plan node transition");
+            const next = NodeStateSchema.parse({ ...old, ...patch });
+            if (["spawned", "dispatching", "observing"].includes(next.phase) && !next.to)
+                throw new Error("plan node requires executor identity");
+            return { ...r, nodes: r.nodes.map((n) => n.id === node ? next : n) };
+        }),
+        end: (id, state, reason) => change(id, (r) => r.state !== "active" ? r : { ...r, state, reason }),
+        allowSpawn: (owner, job, p, name, target) => {
+            const reserved = reservation(target, name);
+            const r = reserved ?? ofJob(job);
+            const node = p && r?.nodes.find((n) => n.id === p.node);
+            return !r || (r.plan.job === job && permitted(owner, job, p) && node?.phase === "spawning"
+                && (!name || normalizeTag(name) === node.name) && (!target || target === (node.to ?? keyOf(baseOfKey(r.owner), node.name))));
+        },
+        allowTell: (owner, job, node, target, re, p, name) => {
+            const r = reservation(target, name) ?? ofJob(job);
+            if (!r)
+                return true;
+            if (!healthy || r.state !== "active" || r.owner !== owner || r.plan.job !== job)
+                return false;
+            const n = r.nodes.find((n) => n.to === target && n.id === node);
+            const depsValid = (r.plan.nodes.find((x) => x.id === node)?.after ?? []).every((id) => prereq(owner, r.nodes.find((n) => n.id === id).turn)?.state === "done");
+            return !!n && depsValid && (p ? permitted(owner, job, p) && p.node === node && n.phase === "dispatching" : re === n.turn && n.phase === "observing");
+        },
+    };
+};
+export const createWorkflowPlanRunner = (store, d) => {
+    const locks = new Set();
+    const dirty = new Set();
+    let started = false;
+    const attemptOf = (r, n) => {
+        const a = d.attempt(r.owner, n.turn);
+        if (a && (a.node !== n.id || a.job !== r.plan.job || a.to !== n.to))
+            throw new Error("plan attempt identity mismatch");
+        return a;
+    };
+    const prereqOf = (r, n) => {
+        attemptOf(r, n);
+        return d.prereq(r.owner, n.turn);
+    };
+    const valid = (r, node) => (node.after ?? []).every((id) => {
+        const n = r.nodes.find((n) => n.id === id);
+        return prereqOf(r, n)?.state === "done";
+    });
+    const alive = (id, node) => {
+        const r = store.get(id);
+        return store.healthy() && started && !!r && r.state === "active" && d.job(r.plan.job)?.status === "open" && d.job(r.plan.job)?.owner === r.owner && valid(r, r.plan.nodes.find((n) => n.id === node));
+    };
+    const cancel = (owner, id, reason) => {
+        const old = store.owned(owner, id);
+        if (!["active", "canceled"].includes(old.state))
+            throw new Error("terminal workflow plan cannot be canceled or resumed");
+        const r = store.end(old.id, "canceled", reason);
+        d.cancel(r);
+        return r;
+    };
+    const advance = async (id) => {
+        if (!started || !store.healthy())
+            return;
+        if (locks.has(id)) {
+            dirty.add(id);
+            return;
+        }
+        locks.add(id);
+        try {
+            let r = store.get(id);
+            if (!r || r.state !== "active")
+                return;
+            const job = d.job(r.plan.job);
+            if (job?.status !== "open" || job.owner !== r.owner) {
+                cancel(r.owner, r.id, "job closed or unavailable");
+                return;
+            }
+            const failed = r.nodes.find((n) => prereqOf(r, n)?.state === "failed");
+            if (failed) {
+                store.end(id, "failed", `node ${failed.id} failed/rejected or artifact version changed`);
+                return;
+            }
+            if (r.nodes.every((n) => prereqOf(r, n)?.state === "done")) {
+                store.end(id, "completed", "all nodes explicitly accepted with valid versions");
+                return;
+            }
+            // Reconcile a crash between tell completion and writing the plan pointer.
+            for (const n of r.nodes.filter((n) => n.phase === "dispatching")) {
+                const a = attemptOf(r, n);
+                r = store.node(id, n.id, { phase: a ? "observing" : "blocked", ...(a ? {} : { reason: "dispatch intent has no attempt; no automatic replay" }) });
+            }
+            const pending = r.nodes.filter((n) => prereqOf(r, n)?.state !== "done");
+            if (pending.some((n) => !["waiting", "spawned"].includes(n.phase)))
+                return;
+            const state = pending.find((n) => valid(r, r.plan.nodes.find((x) => x.id === n.id)));
+            if (!state)
+                return;
+            const node = r.plan.nodes.find((n) => n.id === state.id);
+            if (job.maxTurns && (job.turns ?? 0) >= job.maxTurns) {
+                store.end(id, "failed", "job dispatch budget exhausted before spawn");
+                return;
+            }
+            const p = { run: id, node: node.id, turn: state.turn, origin: r.origin, alive: () => alive(id, node.id) };
+            if (state.phase === "waiting") {
+                r = store.node(id, node.id, { phase: "spawning" });
+                const born = await d.spawn(r, node, r.nodes.find((n) => n.id === node.id), p);
+                if (born.status !== 200 || typeof born.body.target !== "string" || !born.body.target || born.body.dispatched !== false
+                    || born.body.inherited !== false || born.body.keepalive !== false || born.body.cwd !== r.plan.cwd || born.body.name !== state.name) {
+                    store.node(id, node.id, { phase: "spawn-unknown", reason: String(born.body.reason ?? "executor creation unconfirmed"), birth: born.body });
+                    return;
+                }
+                // Even after cancellation, retain the executor identity for operator cleanup.
+                r = store.node(id, node.id, { phase: "spawned", to: born.body.target, birth: born.body });
+                if (!p.alive())
+                    return;
+            }
+            if (!p.alive())
+                return;
+            const current = store.get(id).nodes.find((n) => n.id === node.id);
+            r = store.node(id, node.id, { phase: "dispatching" });
+            const after = (node.after ?? []).map((dep) => r.nodes.find((n) => n.id === dep).turn);
+            const sent = await d.tell(r, node, current, after, p);
+            const a = attemptOf(r, current);
+            store.node(id, node.id, { phase: a ? "observing" : "blocked", ...(sent.status === 200 ? {} : { reason: String(sent.body.reason ?? "dispatch unconfirmed") }) });
+            // Completion/version failure can happen during transport before its response.
+            // Reconcile once after dropping the lock; never re-enter a dispatched node.
+            dirty.add(id);
+        }
+        catch (e) {
+            d.error(e);
+            const r = store.get(id);
+            if (store.healthy() && r?.state === "active") {
+                const n = r.nodes.find((n) => ["spawning", "dispatching"].includes(n.phase));
+                if (n) {
+                    try {
+                        store.node(id, n.id, { phase: n.phase === "spawning" ? "spawn-unknown" : d.attempt(r.owner, n.turn) ? "observing" : "blocked", reason: String(e) });
+                    }
+                    catch (failure) {
+                        d.error(failure);
+                    }
+                }
+            }
+        }
+        finally {
+            locks.delete(id);
+            if (dirty.delete(id))
+                queueMicrotask(() => { void advance(id); });
+        }
+    };
+    const kick = () => { if (started)
+        store.all().filter((r) => r.state === "active").forEach((r) => { void advance(r.id); }); };
+    const status = (owner, id) => {
+        const r = store.owned(owner, id);
+        const nodes = r.nodes.map((n) => {
+            const a = attemptOf(r, n), prereq = prereqOf(r, n);
+            const state = r.state === "canceled" ? "canceled" : prereq?.state === "failed" ? "failed"
+                : prereq?.state === "done" ? "succeeded" : a ? a.execution === "terminal" && a.status === "done" ? "validating" : a.execution
+                    : n.phase === "waiting" ? r.state === "failed" ? "skipped" : valid(r, r.plan.nodes.find((x) => x.id === n.id)) ? "ready" : "pending" : n.phase;
+            return { ...n, state, ...(a ? { attempt: a } : {}), ...(r.state === "canceled" && a ? { physicalStopConfirmed: !!a.stopped } : {}) };
+        });
+        const versionsValid = r.nodes.every((n) => prereqOf(r, n)?.state === "done");
+        return { ...r, state: r.state === "completed" && !versionsValid ? "invalidated" : r.state, recordedState: r.state, nodes, versionsValid, storageHealthy: store.healthy() };
+    };
+    return { kick, status, cancel, start: () => {
+            // Cancellation is committed before touching other stores. Finish a partial
+            // cancellation after restart without reopening the run or replaying tasks.
+            store.all().filter((r) => r.state === "canceled").forEach((r) => { try {
+                d.cancel(r);
+            }
+            catch (e) {
+                d.error(e);
+            } });
+            started = true;
+            kick();
+        }, stop: () => { started = false; },
+        cancelJob: (owner, job) => { const r = store.ofJob(job); if (r?.owner === owner && r.state === "active")
+            cancel(owner, r.id, "job closed"); } };
+};
+//# sourceMappingURL=workflow-plans.js.map