taskflow-dsl 0.2.0

package/dist/cli.js

@@ -0,0 +1,279 @@
+#!/usr/bin/env node
+/**
+ * taskflow-dsl CLI — build | check | decompile | new
+ */
+import fs from "node:fs";
+import path from "node:path";
+import { createRequire } from "node:module";
+import { buildFile } from "./build.js";
+import { checkFile } from "./check.js";
+import { decompileTaskflow } from "./decompile.js";
+import { formatDiagnostics, hasErrors } from "./diagnostics.js";
+import { skeletonHello, skeletonJson } from "./new-skeleton.js";
+import { assertContainedOutputWritable, resolveInput, writeContainedFileAtomic } from "./paths.js";
+import { desugar, parseJsonc, validateTaskflow } from "taskflow-core";
+const require = createRequire(import.meta.url);
+const PKG_VERSION = (() => {
+    try {
+        return require("../package.json").version;
+    }
+    catch {
+        return "0.0.0-dev";
+    }
+})();
+function usage() {
+    return `taskflow-dsl <command> [options] [path]
+
+Commands:
+  build <file>       Erase .tf.ts (or validate .json) → Taskflow / FlowIR
+  check <file>       Erase + validate (no write)
+  decompile <file>   Taskflow JSON → .tf.ts
+  new [name]         Write hello skeleton
+
+Options:
+  --cwd <dir>        Project root for path resolution (default: process.cwd())
+  -o, --out <path>   Output path (must stay under --cwd)
+  --emit taskflow|flowir|both   (build, default: taskflow)
+  --no-typecheck     (check) skip tsc Program diagnostics
+  --json             Machine-readable diagnostics
+  --force            Overwrite an existing regular output file
+  --json-escape      new: emit JSON skeleton instead of .tf.ts
+  -V, --version
+  -h, --help
+`;
+}
+function parseArgs(argv) {
+    const args = argv.slice(2);
+    const flags = {};
+    const positional = [];
+    for (let i = 0; i < args.length; i++) {
+        const a = args[i];
+        if (a === "-h" || a === "--help")
+            flags.help = true;
+        else if (a === "-V" || a === "--version")
+            flags.version = true;
+        else if (a === "--json")
+            flags.json = true;
+        else if (a === "-o" || a === "--out")
+            flags.out = args[++i] ?? "";
+        else if (a === "--emit")
+            flags.emit = args[++i] ?? "";
+        else if (a === "--cwd")
+            flags.cwd = args[++i] ?? "";
+        else if (a === "--force")
+            flags.force = true;
+        else if (a === "--typecheck")
+            flags.typecheck = true;
+        else if (a === "--no-typecheck")
+            flags.noTypecheck = true;
+        else if (a === "--json-escape")
+            flags.jsonEscape = true;
+        else if (a.startsWith("-"))
+            flags[a] = true;
+        else
+            positional.push(a);
+    }
+    return { flags, positional };
+}
+function main() {
+    const { flags, positional } = parseArgs(process.argv);
+    const unknownFlags = Object.keys(flags).filter((key) => key.startsWith("-"));
+    if (unknownFlags.length)
+        failUsage(`unknown option: ${unknownFlags[0]}`);
+    if (flags.version) {
+        process.stdout.write(`${PKG_VERSION}\n`);
+        process.exit(0);
+    }
+    if (flags.help || positional.length === 0) {
+        process.stdout.write(usage());
+        process.exit(flags.help ? 0 : 2);
+    }
+    const cwd = typeof flags.cwd === "string" && flags.cwd ? path.resolve(flags.cwd) : process.cwd();
+    const cmd = positional[0];
+    const allowedByCommand = {
+        build: new Set(["cwd", "out", "emit", "json", "force"]),
+        check: new Set(["cwd", "typecheck", "noTypecheck", "json"]),
+        decompile: new Set(["cwd", "out", "force"]),
+        new: new Set(["cwd", "out", "force", "jsonEscape"]),
+    };
+    const allowed = allowedByCommand[cmd];
+    if (allowed) {
+        for (const key of Object.keys(flags)) {
+            if (key === "help" || key === "version")
+                continue;
+            if (!allowed.has(key))
+                failUsage(`option --${key} is not valid for ${cmd}`);
+        }
+        const maxPositional = cmd === "new" ? 2 : 2;
+        if (positional.length > maxPositional)
+            failUsage(`${cmd} received unexpected positional arguments`);
+    }
+    try {
+        if (cmd === "build") {
+            const file = positional[1];
+            if (!file) {
+                process.stderr.write("build requires a file path\n");
+                process.exit(2);
+            }
+            const input = resolveInput(cwd, file);
+            const emitValue = String(flags.emit ?? "taskflow");
+            if (emitValue !== "taskflow" && emitValue !== "flowir" && emitValue !== "both") {
+                failUsage(`--emit must be taskflow, flowir, or both`);
+            }
+            const emit = emitValue;
+            if (emit === "both" && typeof flags.out === "string" && flags.out) {
+                failUsage(`--out is ambiguous with --emit both`);
+            }
+            if (flags.json && typeof flags.out === "string" && flags.out)
+                failUsage(`--out cannot be used with --json`);
+            const r = buildFile(input, { emit, irHash: true, validate: true });
+            if (flags.json) {
+                process.stdout.write(JSON.stringify({
+                    ok: r.ok,
+                    diagnostics: r.diagnostics,
+                    irHash: r.irHash,
+                    taskflow: r.taskflow,
+                    flowir: r.flowir,
+                }, null, 2) + "\n");
+            }
+            else {
+                if (r.diagnostics.length)
+                    process.stderr.write(formatDiagnostics(r.diagnostics) + "\n");
+                if (r.ok && r.taskflow) {
+                    const stem = input.replace(/\.tf\.ts$/i, "").replace(/\.jsonc?$/i, "");
+                    const taskflowOut = emit === "taskflow" || emit === "both"
+                        ? typeof flags.out === "string" && flags.out && emit === "taskflow"
+                            ? flags.out
+                            : `${stem}.taskflow.json`
+                        : undefined;
+                    const flowirOut = (emit === "flowir" || emit === "both") && r.flowir
+                        ? typeof flags.out === "string" && flags.out && emit === "flowir"
+                            ? flags.out
+                            : `${stem}.flowir.json`
+                        : undefined;
+                    const outputOptions = { force: flags.force === true };
+                    // Fail before the first write if either half of `--emit both` is
+                    // already unsafe or would overwrite without explicit consent.
+                    for (const output of [taskflowOut, flowirOut]) {
+                        if (output)
+                            assertContainedOutputWritable(cwd, outputRelativeTo(cwd, output), outputOptions);
+                    }
+                    if (emit === "taskflow" || emit === "both") {
+                        const outPath = writeContainedFileAtomic(cwd, outputRelativeTo(cwd, taskflowOut), JSON.stringify(r.taskflow, null, 2) + "\n", outputOptions);
+                        process.stdout.write(`wrote ${outPath}\n`);
+                    }
+                    if ((emit === "flowir" || emit === "both") && r.flowir) {
+                        const p = writeContainedFileAtomic(cwd, outputRelativeTo(cwd, flowirOut), JSON.stringify({ hash: r.irHash, ir: r.flowir }, null, 2) + "\n", outputOptions);
+                        process.stdout.write(`wrote ${p} (${r.irHash})\n`);
+                    }
+                    process.stdout.write(`ok name=${r.taskflow.name} phases=${r.taskflow.phases?.length ?? 0}` +
+                        (r.irHash ? ` ${r.irHash}` : "") +
+                        "\n");
+                }
+            }
+            process.exit(r.ok ? 0 : hasErrors(r.diagnostics) ? 1 : 0);
+        }
+        if (cmd === "check") {
+            const file = positional[1];
+            if (!file) {
+                process.stderr.write("check requires a file path\n");
+                process.exit(2);
+            }
+            if (flags.typecheck && flags.noTypecheck)
+                failUsage(`--typecheck and --no-typecheck are mutually exclusive`);
+            const r = checkFile(resolveInput(cwd, file), {
+                typecheck: flags.noTypecheck !== true,
+                cwd,
+            });
+            if (flags.json) {
+                process.stdout.write(JSON.stringify({ ok: r.ok, diagnostics: r.diagnostics }, null, 2) + "\n");
+            }
+            else {
+                if (r.diagnostics.length)
+                    process.stdout.write(formatDiagnostics(r.diagnostics) + "\n");
+                process.stdout.write(r.ok ? "ok\n" : "failed\n");
+            }
+            process.exit(r.ok ? 0 : 1);
+        }
+        if (cmd === "decompile") {
+            const file = positional[1];
+            if (!file) {
+                process.stderr.write("decompile requires a Taskflow JSON path\n");
+                process.exit(2);
+            }
+            const input = resolveInput(cwd, file);
+            const inputText = fs.readFileSync(input, "utf8");
+            const raw = input.toLowerCase().endsWith(".jsonc") ? parseJsonc(inputText) : JSON.parse(inputText);
+            const asRec = raw;
+            let def;
+            if (Array.isArray(asRec.phases)) {
+                const v = validateTaskflow(raw);
+                if (!v.ok) {
+                    process.stderr.write(v.errors.join("\n") + "\n");
+                    process.exit(1);
+                }
+                def = raw;
+            }
+            else {
+                try {
+                    def = desugar(raw);
+                }
+                catch (e) {
+                    process.stderr.write((e instanceof Error ? e.message : String(e)) + "\n");
+                    process.exit(1);
+                }
+                const v = validateTaskflow(def);
+                if (!v.ok) {
+                    process.stderr.write(v.errors.join("\n") + "\n");
+                    process.exit(1);
+                }
+            }
+            let src;
+            try {
+                src = decompileTaskflow(def);
+            }
+            catch (e) {
+                process.stderr.write((e instanceof Error ? e.message : String(e)) + "\n");
+                process.exit(1);
+            }
+            let out = typeof flags.out === "string" && flags.out
+                ? flags.out
+                : input.replace(/\.jsonc?$/i, "") + ".tf.ts";
+            if (out === "-") {
+                process.stdout.write(src);
+            }
+            else {
+                out = writeContainedFileAtomic(cwd, outputRelativeTo(cwd, out), src, { force: flags.force === true });
+                process.stdout.write(`wrote ${out}\n`);
+            }
+            process.exit(0);
+        }
+        if (cmd === "new") {
+            const name = positional[1] ?? "hello";
+            const content = flags.jsonEscape ? skeletonJson(name) : skeletonHello(name);
+            let outRel = typeof flags.out === "string" && flags.out
+                ? flags.out
+                : flags.jsonEscape
+                    ? `./${name}.json`
+                    : `./${name}.tf.ts`;
+            const out = writeContainedFileAtomic(cwd, outRel, content, { force: flags.force === true });
+            process.stdout.write(`wrote ${out}\n`);
+            process.exit(0);
+        }
+        process.stderr.write(`unknown command: ${cmd}\n${usage()}`);
+        process.exit(2);
+    }
+    catch (e) {
+        process.stderr.write((e instanceof Error ? e.message : String(e)) + "\n");
+        process.exit(2);
+    }
+}
+function failUsage(message) {
+    process.stderr.write(`${message}\n`);
+    process.exit(2);
+}
+function outputRelativeTo(cwd, out) {
+    return path.isAbsolute(out) ? path.relative(path.resolve(cwd), out) : out;
+}
+main();
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA;;GAEG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,EAAE,6BAA6B,EAAE,YAAY,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACnG,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAiB,MAAM,eAAe,CAAC;AAErF,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/C,MAAM,WAAW,GAAW,CAAC,GAAG,EAAE;IACjC,IAAI,CAAC;QACJ,OAAQ,OAAO,CAAC,iBAAiB,CAAyB,CAAC,OAAO,CAAC;IACpE,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,WAAW,CAAC;IACpB,CAAC;AACF,CAAC,CAAC,EAAE,CAAC;AAEL,SAAS,KAAK;IACb,OAAO;;;;;;;;;;;;;;;;;;CAkBP,CAAC;AACF,CAAC;AAED,SAAS,SAAS,CAAC,IAAc;IAChC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAqC,EAAE,CAAC;IACnD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACnB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;aAC/C,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,WAAW;YAAE,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;aAC1D,IAAI,CAAC,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;aACtC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,OAAO;YAAE,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;aAC7D,IAAI,CAAC,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;aACjD,IAAI,CAAC,KAAK,OAAO;YAAE,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;aAC/C,IAAI,CAAC,KAAK,SAAS;YAAE,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;aACxC,IAAI,CAAC,KAAK,aAAa;YAAE,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC;aAChD,IAAI,CAAC,KAAK,gBAAgB;YAAE,KAAK,CAAC,WAAW,GAAG,IAAI,CAAC;aACrD,IAAI,CAAC,KAAK,eAAe;YAAE,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC;aACnD,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;;YACvC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,IAAI;IACZ,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7E,IAAI,YAAY,CAAC,MAAM;QAAE,SAAS,CAAC,mBAAmB,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzE,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,WAAW,IAAI,CAAC,CAAC;QACzC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;IACjG,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;IAC3B,MAAM,gBAAgB,GAAgC;QACrD,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACvD,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;QAC3D,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAC3C,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;KACnD,CAAC;IACF,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACtC,IAAI,OAAO,EAAE,CAAC;QACb,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACtC,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,SAAS;gBAAE,SAAS;YAClD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS,CAAC,YAAY,GAAG,qBAAqB,GAAG,EAAE,CAAC,CAAC;QAC7E,CAAC;QACD,MAAM,aAAa,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,UAAU,CAAC,MAAM,GAAG,aAAa;YAAE,SAAS,CAAC,GAAG,GAAG,2CAA2C,CAAC,CAAC;IACrG,CAAC;IAED,IAAI,CAAC;QACJ,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,CAAC,IAAI,EAAE,CAAC;gBACX,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;gBACrD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjB,CAAC;YACD,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACtC,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,UAAU,CAAC,CAAC;YACnD,IAAI,SAAS,KAAK,UAAU,IAAI,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;gBAChF,SAAS,CAAC,0CAA0C,CAAC,CAAC;YACvD,CAAC;YACD,MAAM,IAAI,GAAG,SAAS,CAAC;YACvB,IAAI,IAAI,KAAK,MAAM,IAAI,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,EAAE,CAAC;gBACnE,SAAS,CAAC,qCAAqC,CAAC,CAAC;YAClD,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,IAAI,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG;gBAAE,SAAS,CAAC,kCAAkC,CAAC,CAAC;YAC5G,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YACnE,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBAChB,OAAO,CAAC,MAAM,CAAC,KAAK,CACnB,IAAI,CAAC,SAAS,CACb;oBACC,EAAE,EAAE,CAAC,CAAC,EAAE;oBACR,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,QAAQ,EAAE,CAAC,CAAC,QAAQ;oBACpB,MAAM,EAAE,CAAC,CAAC,MAAM;iBAChB,EACD,IAAI,EACJ,CAAC,CACD,GAAG,IAAI,CACR,CAAC;YACH,CAAC;iBAAM,CAAC;gBACP,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM;oBAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,IAAI,CAAC,CAAC;gBACxF,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;oBACxB,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;oBACvE,MAAM,WAAW,GAChB,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,MAAM;wBACrC,CAAC,CAAC,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,IAAI,IAAI,KAAK,UAAU;4BAClE,CAAC,CAAC,KAAK,CAAC,GAAG;4BACX,CAAC,CAAC,GAAG,IAAI,gBAAgB;wBAC1B,CAAC,CAAC,SAAS,CAAC;oBACd,MAAM,SAAS,GACd,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;wBACjD,CAAC,CAAC,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,IAAI,IAAI,KAAK,QAAQ;4BAChE,CAAC,CAAC,KAAK,CAAC,GAAG;4BACX,CAAC,CAAC,GAAG,IAAI,cAAc;wBACxB,CAAC,CAAC,SAAS,CAAC;oBACd,MAAM,aAAa,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;oBACtD,iEAAiE;oBACjE,8DAA8D;oBAC9D,KAAK,MAAM,MAAM,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE,CAAC;wBAC/C,IAAI,MAAM;4BAAE,6BAA6B,CAAC,GAAG,EAAE,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC;oBAC9F,CAAC;oBACD,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;wBAC5C,MAAM,OAAO,GAAG,wBAAwB,CACvC,GAAG,EACH,gBAAgB,CAAC,GAAG,EAAE,WAAY,CAAC,EACnC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,EAC1C,aAAa,CACb,CAAC;wBACF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,OAAO,IAAI,CAAC,CAAC;oBAC5C,CAAC;oBACD,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;wBACxD,MAAM,CAAC,GAAG,wBAAwB,CACjC,GAAG,EACH,gBAAgB,CAAC,GAAG,EAAE,SAAU,CAAC,EACjC,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,EAChE,aAAa,CACb,CAAC;wBACF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;oBACpD,CAAC;oBACD,OAAO,CAAC,MAAM,CAAC,KAAK,CACnB,WAAW,CAAC,CAAC,QAAQ,CAAC,IAAI,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE;wBACpE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBAChC,IAAI,CACL,CAAC;gBACH,CAAC;YACF,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,CAAC;QAED,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,CAAC,IAAI,EAAE,CAAC;gBACX,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;gBACrD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjB,CAAC;YACD,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,WAAW;gBAAE,SAAS,CAAC,uDAAuD,CAAC,CAAC;YAC7G,MAAM,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE;gBAC5C,SAAS,EAAE,KAAK,CAAC,WAAW,KAAK,IAAI;gBACrC,GAAG;aACH,CAAC,CAAC;YACH,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBAChB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;YAChG,CAAC;iBAAM,CAAC;gBACP,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM;oBAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,IAAI,CAAC,CAAC;gBACxF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC;QAED,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,CAAC,IAAI,EAAE,CAAC;gBACX,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC;gBAClE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjB,CAAC;YACD,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACtC,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACjD,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACnG,MAAM,KAAK,GAAG,GAA8B,CAAC;YAC7C,IAAI,GAAa,CAAC;YAClB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjC,MAAM,CAAC,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;gBAChC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;oBACX,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;oBACjD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACjB,CAAC;gBACD,GAAG,GAAG,GAAe,CAAC;YACvB,CAAC;iBAAM,CAAC;gBACP,IAAI,CAAC;oBACJ,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;gBACpB,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACZ,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;oBAC1E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACjB,CAAC;gBACD,MAAM,CAAC,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;gBAChC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;oBACX,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;oBACjD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACjB,CAAC;YACF,CAAC;YACD,IAAI,GAAW,CAAC;YAChB,IAAI,CAAC;gBACJ,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;YAC9B,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACZ,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;gBAC1E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjB,CAAC;YACD,IAAI,GAAG,GACN,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG;gBACzC,CAAC,CAAC,KAAK,CAAC,GAAG;gBACX,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC;YAC/C,IAAI,GAAG,KAAK,GAAG,EAAE,CAAC;gBACjB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC3B,CAAC;iBAAM,CAAC;gBACP,GAAG,GAAG,wBAAwB,CAAC,GAAG,EAAE,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC,CAAC;gBACtG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC;YACxC,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC;QAED,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YACnB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC;YACtC,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YAC5E,IAAI,MAAM,GACT,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG;gBACzC,CAAC,CAAC,KAAK,CAAC,GAAG;gBACX,CAAC,CAAC,KAAK,CAAC,UAAU;oBACjB,CAAC,CAAC,KAAK,IAAI,OAAO;oBAClB,CAAC,CAAC,KAAK,IAAI,QAAQ,CAAC;YACvB,MAAM,GAAG,GAAG,wBAAwB,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC,CAAC;YAC5F,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC;YACvC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC;QAED,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,oBAAoB,GAAG,KAAK,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACZ,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QAC1E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;AACF,CAAC;AAED,SAAS,SAAS,CAAC,OAAe;IACjC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,IAAI,CAAC,CAAC;IACrC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAW,EAAE,GAAW;IACjD,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAC3E,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/decompile.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Taskflow JSON → .tf.ts (semantic, not literal round-trip).
+ * MVP: agent / script / map / parallel / gate / reduce / approval / flow / loop / tournament.
+ */
+import { type Taskflow } from "taskflow-core";
+export declare function decompileTaskflow(def: Taskflow): string;
+//# sourceMappingURL=decompile.d.ts.map

package/dist/decompile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decompile.d.ts","sourceRoot":"","sources":["../src/decompile.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAkB,KAAK,QAAQ,EAAc,MAAM,eAAe,CAAC;AAyJ1E,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,QAAQ,GAAG,MAAM,CAqFvD"}

package/dist/decompile.js

@@ -0,0 +1,353 @@
+/**
+ * Taskflow JSON → .tf.ts (semantic, not literal round-trip).
+ * MVP: agent / script / map / parallel / gate / reduce / approval / flow / loop / tournament.
+ */
+import { dependenciesOf } from "taskflow-core";
+/**
+ * Encode JSON-compatible data as a standalone JavaScript/TypeScript expression.
+ *
+ * This deliberately does not concatenate JSON.stringify() output into generated
+ * source.  Every code-significant ASCII character in strings is escaped, as are
+ * line separators and non-ASCII code units, so user-controlled Taskflow text can
+ * never terminate a literal or create a script-closing sequence.  The recursive
+ * encoder also rejects non-JSON values instead of silently changing semantics.
+ */
+function sourceLiteral(value, seen = new Set()) {
+    if (value === null)
+        return "null";
+    if (typeof value === "string") {
+        let out = '"';
+        for (let i = 0; i < value.length; i++) {
+            const code = value.charCodeAt(i);
+            if (code === 0x22)
+                out += '\\"';
+            else if (code === 0x5c)
+                out += "\\\\";
+            else if (code >= 0x20 && code <= 0x7e &&
+                code !== 0x26 && // ampersand: keep generated source inert in HTML/script transports
+                code !== 0x3c && // less-than: prevents a literal </script sequence
+                code !== 0x3e)
+                out += value[i];
+            else
+                out += `\\u${code.toString(16).padStart(4, "0")}`;
+        }
+        return `${out}"`;
+    }
+    if (typeof value === "boolean")
+        return value ? "true" : "false";
+    if (typeof value === "number") {
+        if (!Number.isFinite(value))
+            throw new Error("TFDSL_DECOMPILE_UNSUPPORTED: non-finite number cannot be emitted");
+        return Object.is(value, -0) ? "-0" : String(value);
+    }
+    if (typeof value !== "object") {
+        throw new Error(`TFDSL_DECOMPILE_UNSUPPORTED: ${typeof value} is not a JSON source literal`);
+    }
+    if (seen.has(value))
+        throw new Error("TFDSL_DECOMPILE_UNSUPPORTED: cyclic value cannot be emitted");
+    seen.add(value);
+    try {
+        if (Array.isArray(value))
+            return `[${value.map((item) => sourceLiteral(item, seen)).join(", ")}]`;
+        const proto = Object.getPrototypeOf(value);
+        if (proto !== Object.prototype && proto !== null) {
+            throw new Error("TFDSL_DECOMPILE_UNSUPPORTED: non-plain object cannot be emitted");
+        }
+        const entries = Object.entries(value);
+        if (entries.some(([key]) => key === "__proto__")) {
+            throw new Error("TFDSL_DECOMPILE_UNSUPPORTED: '__proto__' object keys cannot round-trip safely");
+        }
+        return `{ ${entries
+            .map(([key, item]) => `${sourceLiteral(key, seen)}: ${sourceLiteral(item, seen)}`)
+            .join(", ")} }`;
+    }
+    finally {
+        seen.delete(value);
+    }
+}
+const RESERVED = new Set([
+    "break", "case", "catch", "class", "const", "continue", "debugger", "default", "delete",
+    "do", "else", "export", "extends", "false", "finally", "for", "function", "if", "import",
+    "in", "instanceof", "new", "null", "return", "super", "switch", "this", "throw", "true",
+    "try", "typeof", "var", "void", "while", "with", "yield", "let", "static", "await", "ctx",
+    "flow", "agent", "map", "parallel", "gate", "reduce", "approval", "subflow", "loop",
+    "tournament", "script", "race", "expand",
+]);
+function allocateBindings(phases) {
+    const out = new Map();
+    const used = new Set(RESERVED);
+    for (const p of phases) {
+        let base = p.id.replace(/[^A-Za-z0-9_$]/g, "_") || "phase";
+        if (/^[0-9]/.test(base))
+            base = `p_${base}`;
+        if (!/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(base) || RESERVED.has(base))
+            base = `p_${base}`;
+        let candidate = base;
+        let suffix = 2;
+        while (used.has(candidate))
+            candidate = `${base}_${suffix++}`;
+        used.add(candidate);
+        out.set(p.id, candidate);
+    }
+    return out;
+}
+function branchSource(branch, role) {
+    const unsupported = Object.keys(branch).filter((key) => key !== "task" && key !== "agent");
+    if (unsupported.length > 0) {
+        throw new Error(`TFDSL_DECOMPILE_UNSUPPORTED: ${role} contains unsupported branch option(s): ${unsupported.join(", ")}; only task and agent are runtime-supported`);
+    }
+    if (typeof branch.task !== "string") {
+        throw new Error(`TFDSL_DECOMPILE_UNSUPPORTED: ${role}.task must be a string`);
+    }
+    if (branch.agent !== undefined && typeof branch.agent !== "string") {
+        throw new Error(`TFDSL_DECOMPILE_UNSUPPORTED: ${role}.agent must be a string`);
+    }
+    const branchOpts = branch.agent === undefined ? "" : `, { agent: ${sourceLiteral(branch.agent)} }`;
+    return `agent(${sourceLiteral(branch.task)}${branchOpts})`;
+}
+const DECOMPILABLE = new Set([
+    "agent",
+    "script",
+    "map",
+    "parallel",
+    "gate",
+    "reduce",
+    "approval",
+    "flow",
+    "loop",
+    "tournament",
+    "race",
+    "expand",
+]);
+/**
+ * Produce the least-disruptive topological order: an already-topological input
+ * remains byte-for-byte ordered, while a consumer that precedes its dependency
+ * moves just far enough for generated TypeScript bindings to be in scope.
+ * `topoLayers().flat()` is intentionally not used here because breadth layers
+ * can move unrelated phases across a consumer and break semantic round-trip
+ * ordering even when the input was already valid TypeScript declaration order.
+ */
+function stableTopologicalPhases(phases) {
+    const byId = new Map(phases.map((phase) => [phase.id, phase]));
+    const inputIndex = new Map(phases.map((phase, index) => [phase.id, index]));
+    const indegree = new Map(phases.map((phase) => [phase.id, 0]));
+    const dependents = new Map(phases.map((phase) => [phase.id, []]));
+    for (const phase of phases) {
+        for (const dependency of dependenciesOf(phase)) {
+            if (!byId.has(dependency))
+                continue;
+            indegree.set(phase.id, (indegree.get(phase.id) ?? 0) + 1);
+            dependents.get(dependency).push(phase.id);
+        }
+    }
+    const ready = phases
+        .filter((phase) => (indegree.get(phase.id) ?? 0) === 0)
+        .map((phase) => phase.id);
+    const ordered = [];
+    while (ready.length > 0) {
+        ready.sort((a, b) => inputIndex.get(a) - inputIndex.get(b));
+        const id = ready.shift();
+        ordered.push(byId.get(id));
+        for (const dependent of dependents.get(id) ?? []) {
+            const next = (indegree.get(dependent) ?? 0) - 1;
+            indegree.set(dependent, next);
+            if (next === 0)
+                ready.push(dependent);
+        }
+    }
+    return ordered;
+}
+export function decompileTaskflow(def) {
+    const inputPhases = def.phases ?? [];
+    const phases = stableTopologicalPhases(inputPhases);
+    if (phases.length !== inputPhases.length) {
+        throw new Error("TFDSL_DECOMPILE_UNSUPPORTED: phase graph cannot be topologically ordered");
+    }
+    for (const p of phases) {
+        const type = p.type ?? "agent";
+        if (!DECOMPILABLE.has(type)) {
+            throw new Error(`TFDSL_DECOMPILE_UNSUPPORTED: phase type ${sourceLiteral(p.type)} (id=${p.id}) cannot be decompiled in MVP`);
+        }
+    }
+    const lines = [];
+    const imports = new Set(["flow"]);
+    for (const p of phases) {
+        const kind = p.type ?? "agent";
+        if (kind === "flow")
+            imports.add("subflow");
+        else
+            imports.add(kind);
+        if (["map", "parallel", "gate", "reduce", "race"].includes(kind))
+            imports.add("agent");
+    }
+    // Stable import order for golden/tests
+    const order = [
+        "flow",
+        "agent",
+        "map",
+        "parallel",
+        "gate",
+        "reduce",
+        "approval",
+        "subflow",
+        "loop",
+        "tournament",
+        "script",
+        "race",
+        "expand",
+    ];
+    const importList = order.filter((n) => imports.has(n));
+    lines.push(`import { ${importList.join(", ")} } from "taskflow-dsl";`);
+    lines.push(``);
+    const flowOpts = {};
+    for (const key of ["description", "version", "agentScope", "strictInterpolation", "contextSharing", "incremental"]) {
+        const value = def[key];
+        if (value !== undefined)
+            flowOpts[key] = value;
+    }
+    const flowOptText = Object.keys(flowOpts).length ? `, ${sourceLiteral(flowOpts)}` : "";
+    lines.push(`export default flow(${sourceLiteral(def.name)}${flowOptText}, (ctx) => {`);
+    if (def.budget) {
+        lines.push(`  ctx.budget(${sourceLiteral(def.budget)});`);
+    }
+    if (typeof def.concurrency === "number") {
+        lines.push(`  ctx.concurrency(${def.concurrency});`);
+    }
+    if (def.args && typeof def.args === "object") {
+        lines.push(`  ctx.args.declare(${sourceLiteral(def.args)});`);
+    }
+    const byId = new Map(inputPhases.map((p) => [p.id, p]));
+    const bindings = allocateBindings(inputPhases);
+    let returnBind;
+    // Rune references are ordinary TypeScript bindings, so every dependency must
+    // be declared before its consumer even though Taskflow JSON itself permits
+    // phases in any order. Keep binding allocation and implicit-final selection
+    // tied to the input order so topological emission changes no semantics.
+    for (const p of phases) {
+        const bind = bindings.get(p.id);
+        if (p.final)
+            returnBind = bind;
+        const line = decompilePhase(p, bind, byId, bindings);
+        lines.push(`  ${line}`);
+    }
+    if (!returnBind && def.phases?.length)
+        returnBind = bindings.get(def.phases[def.phases.length - 1].id);
+    if (returnBind) {
+        lines.push(`  return ${returnBind};`);
+    }
+    lines.push(`});`);
+    lines.push(``);
+    return lines.join("\n");
+}
+function decompilePhase(p, bind, _byId, bindings) {
+    const opts = [];
+    if (bind !== p.id)
+        opts.push(`id: ${sourceLiteral(p.id)}`);
+    const raw = p;
+    for (const key of [
+        "agent", "model", "thinking", "tools", "cwd", "output", "expect", "when", "join", "dependsOn",
+        "retry", "timeout", "optional", "idempotent", "final", "concurrency", "context", "contextLimit",
+        "onBlock", "eval", "score", "cache", "shareContext", "convergence", "reflexion",
+    ]) {
+        if (raw[key] !== undefined)
+            opts.push(`${key}: ${sourceLiteral(raw[key])}`);
+    }
+    if (p.cancelLosers === false)
+        opts.push(`cancelLosers: false`);
+    if (raw.input !== undefined)
+        opts.push(`input: ${sourceLiteral(raw.input)}`);
+    const maxNodes = p.maxNodes;
+    if (typeof maxNodes === "number")
+        opts.push(`maxNodes: ${maxNodes}`);
+    const optStr = opts.length ? `, { ${opts.join(", ")} }` : "";
+    const optObj = `{ ${opts.join(", ")} }`;
+    switch (p.type ?? "agent") {
+        case "agent":
+            return `const ${bind} = agent(${sourceLiteral(String(p.task ?? ""))}${optStr});`;
+        case "script": {
+            const run = p.run;
+            if (Array.isArray(run)) {
+                return `const ${bind} = script(${sourceLiteral(run)}${optStr});`;
+            }
+            return `const ${bind} = script(${sourceLiteral(String(run ?? ""))}${optStr});`;
+        }
+        case "map": {
+            const as = p.as ?? "item";
+            const local = /^[A-Za-z_$][A-Za-z0-9_$]*$/.test(as) && !RESERVED.has(as) ? as : "item";
+            const mapOpts = p.as === undefined ? opts : [`as: ${sourceLiteral(as)}`, ...opts];
+            const mapOptStr = mapOpts.length ? `, { ${mapOpts.join(", ")} }` : "";
+            return `const ${bind} = map(${sourceLiteral(p.over ?? "[]")}, (${local}) => agent(${sourceLiteral(String(p.task ?? `{${as}}`))})${mapOptStr});`;
+        }
+        case "parallel": {
+            const branches = (p.branches ?? []).map((b, i) => branchSource(b, `parallel ${p.id} branch ${i}`));
+            return `const ${bind} = parallel([${branches.join(", ")}]${optStr});`;
+        }
+        case "gate": {
+            const upId = p.dependsOn?.[0];
+            const upBind = upId ? bindings.get(upId) : undefined;
+            if (!upBind)
+                throw new Error(`TFDSL_DECOMPILE_UNSUPPORTED: gate ${sourceLiteral(p.id)} requires a known dependency`);
+            if (p.task === undefined)
+                return `const ${bind} = gate(${upBind}, ${optObj});`;
+            return `const ${bind} = gate(${upBind}, ${optObj}, (i) => ${sourceLiteral(p.task)});`;
+        }
+        case "race": {
+            const branches = (p.branches ?? []).map((b, i) => branchSource(b, `race ${p.id} branch ${i}`));
+            return `const ${bind} = race([${branches.join(", ")}]${optStr});`;
+        }
+        case "expand": {
+            if (typeof p.def !== "string") {
+                throw new Error(`TFDSL_DECOMPILE_UNSUPPORTED: expand phase ${sourceLiteral(p.id)} has non-string def (inline object cannot be recovered as a rune argument)`);
+            }
+            const em = p.expandMode ?? "nested";
+            // Always emit expandMode + shared opts (dependsOn/final/when/maxNodes) so
+            // decompile → rebuild keeps DAG edges that string-def alone would lose.
+            const expandOpts = [
+                `expandMode: ${sourceLiteral(em)}`,
+                ...(p.with === undefined ? [] : [`with: ${sourceLiteral(p.with)}`]),
+                ...opts,
+            ];
+            return `const ${bind} = expand(${sourceLiteral(p.def)}, { ${expandOpts.join(", ")} });`;
+        }
+        case "reduce": {
+            const from = (p.from ?? p.dependsOn ?? []).map((id) => {
+                const b = bindings.get(id);
+                if (!b)
+                    throw new Error(`TFDSL_DECOMPILE_UNSUPPORTED: reduce ${sourceLiteral(p.id)} references unknown phase ${sourceLiteral(id)}`);
+                return b;
+            });
+            return `const ${bind} = reduce([${from.join(", ")}], (parts) => agent(${sourceLiteral(String(p.task ?? "reduce"))})${optStr});`;
+        }
+        case "approval":
+            return `const ${bind} = approval({ request: ${sourceLiteral(String(p.task ?? "Approve?"))}${opts.length ? `, ${opts.join(", ")}` : ""} });`;
+        case "flow":
+            if (p.def !== undefined) {
+                if (typeof p.def !== "string") {
+                    throw new Error(`TFDSL_DECOMPILE_UNSUPPORTED: flow phase ${sourceLiteral(p.id)} has non-string def (cannot decompile inline object)`);
+                }
+                const defOpts = p.with === undefined ? opts : [`with: ${sourceLiteral(p.with)}`, ...opts];
+                const defOptStr = defOpts.length ? `, { ${defOpts.join(", ")} }` : "";
+                return `const ${bind} = subflow.def(${sourceLiteral(p.def)}${defOptStr});`;
+            }
+            return `const ${bind} = subflow(${sourceLiteral(p.use ?? "child")}, ${sourceLiteral(p.with ?? {})}${optStr});`;
+        case "loop":
+            return `const ${bind} = loop({ task: ${sourceLiteral(String(p.task ?? ""))}, maxIterations: ${p.maxIterations ?? 10}, until: ${sourceLiteral(p.until ?? "false")}${opts.length ? `, ${opts.join(", ")}` : ""} });`;
+        case "tournament": {
+            const tournamentOpts = [
+                ...(p.variants === undefined ? [] : [`variants: ${p.variants}`]),
+                ...(p.task === undefined ? [] : [`task: ${sourceLiteral(p.task)}`]),
+                ...(p.mode === undefined ? [] : [`mode: ${sourceLiteral(p.mode)}`]),
+                ...(p.branches === undefined
+                    ? []
+                    : [`branches: [${p.branches.map((b, i) => branchSource(b, `tournament ${p.id} branch ${i}`)).join(", ")}]`]),
+                ...(p.judge === undefined ? [] : [`judge: ${sourceLiteral(p.judge)}`]),
+                ...(p.judgeAgent === undefined ? [] : [`judgeAgent: ${sourceLiteral(p.judgeAgent)}`]),
+                ...opts,
+            ];
+            return `const ${bind} = tournament({ ${tournamentOpts.join(", ")} });`;
+        }
+        default:
+            return `// TFDSL: unsupported-field type=${p.type} id=${p.id}`;
+    }
+}
+//# sourceMappingURL=decompile.js.map