taskflow-dsl 0.2.0

package/dist/build/erase/pipeline.js

@@ -0,0 +1,420 @@
+/**
+ * Erase pipeline orchestrator: flow() discovery + body walk + kind dispatch.
+ * Domain helpers live in sibling modules (ast / templates / opts / types).
+ * Phase kinds live in erase/kinds/* — do not re-grow kind logic here.
+ */
+import ts from "typescript";
+import { calleeName, diag, evalLiteral } from "./ast.js";
+import { phaseByBinding } from "./types.js";
+import { PHASE_RUNES } from "./types.js";
+import { trySpecializedEmit } from "./kinds/index.js";
+const RUNE_ARITY = {
+    agent: [1, 2],
+    parallel: [1, 2],
+    map: [2, 3],
+    gate: [1, 3],
+    "gate.automated": [2, 2],
+    "gate.scored": [2, 2],
+    gateAutomated: [2, 2],
+    gateScored: [2, 2],
+    reduce: [2, 3],
+    approval: [1, 1],
+    subflow: [1, 3],
+    "subflow.def": [1, 2],
+    loop: [1, 1],
+    tournament: [1, 1],
+    script: [1, 2],
+    expand: [1, 2],
+    "expand.nested": [1, 2],
+    "expand.graft": [1, 2],
+    race: [1, 2],
+};
+export function eraseSource(sourceText, file = "flow.tf.ts") {
+    const diags = [];
+    const sf = ts.createSourceFile(file, sourceText, ts.ScriptTarget.Latest, true, ts.ScriptKind.TS);
+    const parseDiagnostics = sf.parseDiagnostics ?? [];
+    for (const d of parseDiagnostics) {
+        const start = d.start ?? 0;
+        const pos = sf.getLineAndCharacterOfPosition(start);
+        diags.push({
+            code: `TS${d.code}`,
+            severity: "error",
+            message: ts.flattenDiagnosticMessageText(d.messageText, "\n"),
+            file,
+            range: { line: pos.line + 1, character: pos.character + 1 },
+        });
+    }
+    if (parseDiagnostics.length > 0)
+        return { ok: false, diagnostics: diags };
+    let taskflowImport = false;
+    const importedRunes = new Set();
+    for (const stmt of sf.statements) {
+        if (!ts.isImportDeclaration(stmt))
+            continue;
+        if (!ts.isStringLiteral(stmt.moduleSpecifier))
+            continue;
+        if (stmt.moduleSpecifier.text === "taskflow-dsl") {
+            taskflowImport = true;
+            if (!stmt.importClause?.namedBindings || !ts.isNamedImports(stmt.importClause.namedBindings)) {
+                diags.push(diag(file, sf, stmt, "TFDSL_IMPORT_SHAPE", `taskflow-dsl must use named imports.`));
+            }
+            else {
+                for (const spec of stmt.importClause.namedBindings.elements) {
+                    if (spec.propertyName) {
+                        diags.push(diag(file, sf, spec, "TFDSL_IMPORT_ALIAS", `Aliased rune imports are not supported; import '${spec.propertyName.text}' directly.`));
+                    }
+                    else
+                        importedRunes.add(spec.name.text);
+                }
+            }
+        }
+    }
+    if (!taskflowImport) {
+        diags.push({
+            code: "TFDSL_IMPORT_MISSING",
+            severity: "error",
+            message: `A named import from "taskflow-dsl" is required.`,
+            file,
+        });
+    }
+    // Find export default flow(...)
+    let flowCall;
+    let defaultExports = 0;
+    for (const stmt of sf.statements) {
+        if (!ts.isExportAssignment(stmt) || stmt.isExportEquals)
+            continue;
+        defaultExports++;
+        if (ts.isCallExpression(stmt.expression)) {
+            const cn = calleeName(stmt.expression.expression);
+            if (!flowCall && cn === "flow" && importedRunes.has("flow")) {
+                flowCall = stmt.expression;
+            }
+        }
+    }
+    if (defaultExports > 1) {
+        diags.push({ code: "TFDSL_ENTRY_MULTIPLE", severity: "error", message: `Exactly one default flow export is allowed.`, file });
+        return { ok: false, diagnostics: diags };
+    }
+    if (!flowCall) {
+        diags.push({
+            code: "TFDSL_ENTRY_MISSING",
+            severity: "error",
+            message: `Expected \`export default flow("name", …)\`.`,
+            file,
+            hint: "Use `taskflow-dsl new` for a skeleton.",
+        });
+        return { ok: false, diagnostics: diags };
+    }
+    const missingRuneImports = new Set();
+    const checkRuneImports = (node) => {
+        if (ts.isCallExpression(node)) {
+            const name = calleeName(node.expression);
+            const root = name?.split(".")[0];
+            if (root && (PHASE_RUNES.has(root) || root === "json") && !importedRunes.has(root)) {
+                missingRuneImports.add(root);
+            }
+        }
+        ts.forEachChild(node, checkRuneImports);
+    };
+    checkRuneImports(flowCall);
+    for (const rune of missingRuneImports) {
+        diags.push({
+            code: "TFDSL_IMPORT_SYMBOL",
+            severity: "error",
+            message: `Rune '${rune}' must be imported from "taskflow-dsl".`,
+            file,
+        });
+    }
+    const args = flowCall.arguments;
+    if (args.length < 2 || args.length > 3) {
+        diags.push(diag(file, sf, flowCall, "TFDSL_ENTRY_ARGS", `flow() requires (name, callback) or (name, options, callback).`));
+        return { ok: false, diagnostics: diags };
+    }
+    const nameArg = args[0];
+    if (!ts.isStringLiteral(nameArg)) {
+        diags.push(diag(file, sf, nameArg, "TFDSL_ENTRY_NAME", `flow name must be a string literal.`));
+        return { ok: false, diagnostics: diags };
+    }
+    const flowName = nameArg.text;
+    let flowOpts = {};
+    let bodyFn;
+    if (args.length === 2) {
+        const a1 = args[1];
+        if (ts.isArrowFunction(a1) || ts.isFunctionExpression(a1))
+            bodyFn = a1;
+    }
+    else {
+        const a1 = args[1];
+        const a2 = args[2];
+        if (ts.isObjectLiteralExpression(a1)) {
+            const evaluated = evalLiteral(a1);
+            if (evaluated && typeof evaluated === "object" && !Array.isArray(evaluated)) {
+                flowOpts = evaluated;
+            }
+            else {
+                diags.push(diag(file, sf, a1, "TFDSL_FLOW_OPTS_DYNAMIC", `Flow options must be a static JSON object without shorthand or spread properties.`));
+            }
+            const allowedFlowOpts = new Set(["description", "version", "agentScope", "strictInterpolation", "contextSharing", "incremental"]);
+            for (const [key, value] of Object.entries(flowOpts)) {
+                if (!allowedFlowOpts.has(key)) {
+                    diags.push(diag(file, sf, a1, "TFDSL_FLOW_OPTS_UNKNOWN", `Unknown flow option '${key}'.`));
+                    continue;
+                }
+                const valid = (key === "description" && typeof value === "string") ||
+                    (key === "version" && typeof value === "number") ||
+                    (key === "agentScope" && (value === "user" || value === "project" || value === "both")) ||
+                    ((key === "strictInterpolation" || key === "contextSharing" || key === "incremental") &&
+                        typeof value === "boolean");
+                if (!valid)
+                    diags.push(diag(file, sf, a1, "TFDSL_FLOW_OPTS_TYPE", `Flow option '${key}' has an invalid static value.`));
+            }
+        }
+        else {
+            diags.push(diag(file, sf, a1, "TFDSL_FLOW_OPTS_DYNAMIC", `Flow options must be a static object literal.`));
+        }
+        if (ts.isArrowFunction(a2) || ts.isFunctionExpression(a2))
+            bodyFn = a2;
+    }
+    if (!bodyFn) {
+        diags.push(diag(file, sf, flowCall, "TFDSL_ENTRY_BODY", `flow() body must be an arrow or function expression.`));
+        return { ok: false, diagnostics: diags };
+    }
+    const phases = new Map();
+    const order = [];
+    let topArgs;
+    let concurrency;
+    let budget;
+    let finalId;
+    const body = bodyFn.body;
+    const ctxParamName = bodyFn.parameters[0] && ts.isIdentifier(bodyFn.parameters[0].name)
+        ? bodyFn.parameters[0].name.text
+        : undefined;
+    const statements = ts.isBlock(body)
+        ? [...body.statements]
+        : [ts.factory.createReturnStatement(body)];
+    const emitCtx = { file, sf, diags, phases, order };
+    const handleCall = (bindName, call, itemParam) => {
+        const cn = calleeName(call.expression);
+        if (!cn) {
+            diags.push(diag(file, sf, call, "TFDSL_RUNE_UNKNOWN", `Unsupported call expression cannot erase to a declarative phase.`));
+            return undefined;
+        }
+        const arity = RUNE_ARITY[cn];
+        if (arity && (call.arguments.length < arity[0] || call.arguments.length > arity[1])) {
+            diags.push(diag(file, sf, call, "TFDSL_RUNE_ARITY", `${cn}() expects ${arity[0] === arity[1] ? arity[0] : `${arity[0]}-${arity[1]}`} argument(s), got ${call.arguments.length}.`));
+            return undefined;
+        }
+        const specialized = trySpecializedEmit(emitCtx, cn, bindName, call, itemParam);
+        if (specialized !== "continue")
+            return specialized;
+        if (!PHASE_RUNES.has(cn.split(".")[0]) && !PHASE_RUNES.has(cn)) {
+            if (cn === "json")
+                return undefined;
+            // Any unknown call in the flow body → hard error (no silent drop).
+            // Covers bound (`const x = mystery()`), returned (`return mystery()`),
+            // and bare expression statements (`mystery()`).
+            diags.push(diag(file, sf, call, "TFDSL_RUNE_UNKNOWN", `Unknown rune or call '${cn}' cannot erase to a phase (typo?).`));
+            return undefined;
+        }
+        // Known rune prefix but no handler — should not happen if registry is complete.
+        diags.push(diag(file, sf, call, "TFDSL_RUNE_UNHANDLED", `No erase handler for rune '${cn}'.`));
+        return undefined;
+    };
+    for (const st of statements) {
+        // ctx.budget / concurrency / args.declare
+        if (ts.isExpressionStatement(st) && ts.isCallExpression(st.expression)) {
+            const call = st.expression;
+            if (ts.isPropertyAccessExpression(call.expression)) {
+                const obj = call.expression.expression;
+                const method = call.expression.name.text;
+                // ctx.budget / ctx.concurrency
+                if (ts.isIdentifier(obj) && obj.text === ctxParamName && (method === "budget" || method === "concurrency")) {
+                    const v = call.arguments[0] ? evalLiteral(call.arguments[0]) : undefined;
+                    if (method === "budget") {
+                        if (v && typeof v === "object" && !Array.isArray(v))
+                            budget = v;
+                        else
+                            diags.push(diag(file, sf, call, "TFDSL_CTX_DYNAMIC", `ctx.budget() requires a static object literal.`));
+                    }
+                    else if (typeof v === "number")
+                        concurrency = v;
+                    else
+                        diags.push(diag(file, sf, call, "TFDSL_CTX_DYNAMIC", `ctx.concurrency() requires a static number.`));
+                    continue;
+                }
+                // ctx.args.declare
+                if (ts.isPropertyAccessExpression(obj) &&
+                    ts.isIdentifier(obj.expression) &&
+                    obj.expression.text === ctxParamName &&
+                    obj.name.text === "args" &&
+                    method === "declare") {
+                    const v = call.arguments[0] ? evalLiteral(call.arguments[0]) : undefined;
+                    if (v && typeof v === "object")
+                        topArgs = v;
+                    else
+                        diags.push(diag(file, sf, call, "TFDSL_CTX_DYNAMIC", `ctx.args.declare() requires a static object literal.`));
+                    continue;
+                }
+            }
+            // bare call without binding (gate, etc.)
+            if (ts.isCallExpression(call)) {
+                const id = handleCall(undefined, call);
+                if (id) {
+                    /* anonymous phase */
+                }
+            }
+            continue;
+        }
+        if (ts.isExpressionStatement(st)) {
+            diags.push(diag(file, sf, st, "TFDSL_BODY_UNSUPPORTED", `Unsupported expression in flow body; only rune and ctx.* calls are allowed.`));
+            continue;
+        }
+        if (ts.isVariableStatement(st)) {
+            for (const decl of st.declarationList.declarations) {
+                if (!decl.initializer) {
+                    diags.push(diag(file, sf, decl, "TFDSL_BODY_UNSUPPORTED", `Flow-body declarations must bind a rune call.`));
+                    continue;
+                }
+                // const [a,b] = parallel([agent(...), agent(...)])
+                // Desugar to independent agent phases with true ids (a, b) so
+                // {steps.a.output} works. Concurrent because no dependsOn between them.
+                if (ts.isArrayBindingPattern(decl.name) && ts.isCallExpression(decl.initializer)) {
+                    const cn = calleeName(decl.initializer.expression);
+                    if (cn === "parallel") {
+                        if (decl.initializer.arguments[1]) {
+                            diags.push(diag(file, sf, decl.initializer.arguments[1], "TFDSL_PARALLEL_DESTRUCTURE_OPTS", `parallel() options cannot be preserved when destructuring to independent phase handles; bind the parallel phase as one value or remove the options.`));
+                            continue;
+                        }
+                        const bindNames = decl.name.elements
+                            .map((e) => ts.isBindingElement(e) && ts.isIdentifier(e.name) ? e.name.text : undefined)
+                            .filter((x) => !!x);
+                        const arr = decl.initializer.arguments[0];
+                        if (!arr || !ts.isArrayLiteralExpression(arr) || arr.elements.length !== bindNames.length) {
+                            diags.push(diag(file, sf, decl.initializer, "TFDSL_PARALLEL_DESTRUCTURE", `parallel destructure requires matching binding count and array of agent() calls (got ${bindNames.length} binds).`));
+                            continue;
+                        }
+                        let ok = true;
+                        for (let i = 0; i < bindNames.length; i++) {
+                            const el = arr.elements[i];
+                            if (!ts.isCallExpression(el) || calleeName(el.expression) !== "agent") {
+                                diags.push(diag(file, sf, el, "TFDSL_PARALLEL_DESTRUCTURE", `parallel destructure branch ${i + 1} must be agent(...).`));
+                                ok = false;
+                                break;
+                            }
+                            handleCall(bindNames[i], el);
+                        }
+                        if (!ok)
+                            continue;
+                        continue;
+                    }
+                    if (cn === "race") {
+                        // race stays one phase — destructure not supported
+                        diags.push(diag(file, sf, decl.initializer, "TFDSL_RACE_DESTRUCTURE", `race() does not support array destructure — bind as a single phase: const winner = race([...]).`));
+                        continue;
+                    }
+                }
+                if (!ts.isIdentifier(decl.name)) {
+                    diags.push(diag(file, sf, decl.name, "TFDSL_BODY_UNSUPPORTED", `Only identifier bindings or supported parallel destructuring are allowed.`));
+                    continue;
+                }
+                const name = decl.name.text;
+                if (ts.isCallExpression(decl.initializer)) {
+                    handleCall(name, decl.initializer);
+                }
+                else if (ts.isAsExpression(decl.initializer) &&
+                    ts.isCallExpression(decl.initializer.expression)) {
+                    handleCall(name, decl.initializer.expression);
+                }
+                else {
+                    diags.push(diag(file, sf, decl.initializer, "TFDSL_BODY_UNSUPPORTED", `Flow-body declarations must bind a rune call.`));
+                }
+            }
+            continue;
+        }
+        if (ts.isReturnStatement(st)) {
+            if (!st.expression) {
+                diags.push(diag(file, sf, st, "TFDSL_RETURN_UNSUPPORTED", `Flow return must be a phase handle or rune call.`));
+            }
+            else if (ts.isIdentifier(st.expression) && phaseByBinding(phases, st.expression.text)) {
+                finalId = phaseByBinding(phases, st.expression.text).id;
+                const ph = phases.get(finalId);
+                ph.final = true;
+                ph.raw.final = true;
+            }
+            else if (ts.isCallExpression(st.expression)) {
+                const id = handleCall(order.length === 0 ? "main" : `phase-${order.length}`, st.expression);
+                if (id) {
+                    finalId = id;
+                    const ph = phases.get(id);
+                    ph.final = true;
+                    ph.raw.final = true;
+                }
+            }
+            else {
+                diags.push(diag(file, sf, st.expression, "TFDSL_RETURN_UNSUPPORTED", `Flow return must reference a previously declared phase or be a rune call.`));
+            }
+            continue;
+        }
+        diags.push(diag(file, sf, st, "TFDSL_BODY_UNSUPPORTED", `Unsupported control flow or statement in declarative flow body.`));
+    }
+    // Warn phases with no deps (not first)
+    for (let i = 0; i < order.length; i++) {
+        const id = order[i];
+        const ph = phases.get(id);
+        if (i > 0 && ph.dependsOn.size === 0 && !Array.isArray(ph.raw.dependsOn)) {
+            diags.push({
+                code: "TFDSL_DEP_NONE",
+                severity: "warning",
+                message: `Phase '${id}' has no automatic dependencies and is not first — add dependsOn if order matters.`,
+                file,
+            });
+        }
+    }
+    if (order.length === 0) {
+        diags.push({
+            code: "TFDSL_ENTRY_EMPTY",
+            severity: "error",
+            message: `No phases found in flow body.`,
+            file,
+        });
+        return { ok: false, diagnostics: diags };
+    }
+    // Ensure one final
+    if (!finalId) {
+        const last = order[order.length - 1];
+        phases.get(last).raw.final = true;
+    }
+    const phaseList = order.map((id) => {
+        const ph = phases.get(id);
+        const raw = { ...ph.raw, id: ph.id };
+        if (ph.dependsOn.size && !raw.dependsOn)
+            raw.dependsOn = [...ph.dependsOn];
+        // clean undefined-ish
+        return raw;
+    });
+    const taskflow = {
+        name: flowName,
+        phases: phaseList,
+    };
+    if (typeof flowOpts.description === "string")
+        taskflow.description = flowOpts.description;
+    if (typeof flowOpts.version === "number")
+        taskflow.version = flowOpts.version;
+    if (flowOpts.agentScope === "user" || flowOpts.agentScope === "project" || flowOpts.agentScope === "both")
+        taskflow.agentScope = flowOpts.agentScope;
+    if (typeof flowOpts.strictInterpolation === "boolean")
+        taskflow.strictInterpolation = flowOpts.strictInterpolation;
+    if (typeof flowOpts.contextSharing === "boolean")
+        taskflow.contextSharing = flowOpts.contextSharing;
+    if (typeof flowOpts.incremental === "boolean")
+        taskflow.incremental = flowOpts.incremental;
+    if (topArgs)
+        taskflow.args = topArgs;
+    if (concurrency !== undefined)
+        taskflow.concurrency = concurrency;
+    if (budget)
+        taskflow.budget = budget;
+    const ok = !diags.some((d) => d.severity === "error");
+    return { ok, taskflow: ok ? taskflow : undefined, diagnostics: diags };
+}
+//# sourceMappingURL=pipeline.js.map

package/dist/build/erase/pipeline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeline.js","sourceRoot":"","sources":["../../../src/build/erase/pipeline.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACzD,OAAO,EAAE,cAAc,EAAqC,MAAM,YAAY,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAEtD,MAAM,UAAU,GAAkE;IACjF,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACb,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAChB,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACZ,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACxB,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACrB,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACrB,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAClB,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACd,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACf,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACrB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACZ,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAClB,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACd,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACd,eAAe,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACvB,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACtB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;CACZ,CAAC;AAEF,MAAM,UAAU,WAAW,CAAC,UAAkB,EAAE,IAAI,GAAG,YAAY;IAClE,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACjG,MAAM,gBAAgB,GAAI,EAAsE,CAAC,gBAAgB,IAAI,EAAE,CAAC;IACxH,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QAC3B,MAAM,GAAG,GAAG,EAAE,CAAC,6BAA6B,CAAC,KAAK,CAAC,CAAC;QACpD,KAAK,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE;YACnB,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,EAAE,CAAC,4BAA4B,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC;YAC7D,IAAI;YACJ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE;SAC3D,CAAC,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAE1E,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QAClC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5C,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC;YAAE,SAAS;QACxD,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YAClD,cAAc,GAAG,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,aAAa,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC9F,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,sCAAsC,CAAC,CAAC,CAAC;YAChG,CAAC;iBAAM,CAAC;gBACP,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC;oBAC7D,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;wBACvB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,mDAAmD,IAAI,CAAC,YAAY,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC;oBAChJ,CAAC;;wBAAM,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC1C,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IACD,IAAI,CAAC,cAAc,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,sBAAsB;YAC5B,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,iDAAiD;YAC1D,IAAI;SACJ,CAAC,CAAC;IACJ,CAAC;IAED,gCAAgC;IAChC,IAAI,QAAuC,CAAC;IAC5C,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QAClC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,cAAc;YAAE,SAAS;QAClE,cAAc,EAAE,CAAC;QACjB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1C,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAClD,IAAI,CAAC,QAAQ,IAAI,EAAE,KAAK,MAAM,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7D,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC;YAC5B,CAAC;QACF,CAAC;IACF,CAAC;IACD,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,6CAA6C,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9H,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAC1C,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,8CAA8C;YACvD,IAAI;YACJ,IAAI,EAAE,wCAAwC;SAC9C,CAAC,CAAC;QACH,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAC1C,CAAC;IACD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,MAAM,gBAAgB,GAAG,CAAC,IAAa,EAAQ,EAAE;QAChD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACzC,MAAM,IAAI,GAAG,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpF,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC9B,CAAC;QACF,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACzC,CAAC,CAAC;IACF,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,kBAAkB,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,SAAS,IAAI,yCAAyC;YAC/D,IAAI;SACJ,CAAC,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC;IAChC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,kBAAkB,EAAE,gEAAgE,CAAC,CAAC,CAAC;QAC3H,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAC1C,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;IACzB,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE,qCAAqC,CAAC,CAAC,CAAC;QAC/F,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAC1C,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAE9B,IAAI,QAAQ,GAA4B,EAAE,CAAC;IAC3C,IAAI,MAA4D,CAAC;IACjE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACpB,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,EAAE,CAAC;YAAE,MAAM,GAAG,EAAE,CAAC;IACxE,CAAC;SAAM,CAAC;QACP,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACpB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACpB,IAAI,EAAE,CAAC,yBAAyB,CAAC,EAAE,CAAC,EAAE,CAAC;YACtC,MAAM,SAAS,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,SAAS,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC7E,QAAQ,GAAG,SAAoC,CAAC;YACjD,CAAC;iBAAM,CAAC;gBACP,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,yBAAyB,EAAE,mFAAmF,CAAC,CAAC,CAAC;YAChJ,CAAC;YACD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,SAAS,EAAE,YAAY,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,aAAa,CAAC,CAAC,CAAC;YAClI,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACrD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC/B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,yBAAyB,EAAE,wBAAwB,GAAG,IAAI,CAAC,CAAC,CAAC;oBAC3F,SAAS;gBACV,CAAC;gBACD,MAAM,KAAK,GACV,CAAC,GAAG,KAAK,aAAa,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC;oBACpD,CAAC,GAAG,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC;oBAChD,CAAC,GAAG,KAAK,YAAY,IAAI,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,MAAM,CAAC,CAAC;oBACvF,CAAC,CAAC,GAAG,KAAK,qBAAqB,IAAI,GAAG,KAAK,gBAAgB,IAAI,GAAG,KAAK,aAAa,CAAC;wBACpF,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC;gBAC9B,IAAI,CAAC,KAAK;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,sBAAsB,EAAE,gBAAgB,GAAG,gCAAgC,CAAC,CAAC,CAAC;YACzH,CAAC;QACF,CAAC;aAAM,CAAC;YACP,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,yBAAyB,EAAE,+CAA+C,CAAC,CAAC,CAAC;QAC5G,CAAC;QACD,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,EAAE,CAAC;YAAE,MAAM,GAAG,EAAE,CAAC;IACxE,CAAC;IACD,IAAI,CAAC,MAAM,EAAE,CAAC;QACb,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,kBAAkB,EAAE,sDAAsD,CAAC,CAAC,CAAC;QACjH,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAC1C,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,OAA4C,CAAC;IACjD,IAAI,WAA+B,CAAC;IACpC,IAAI,MAA2C,CAAC;IAChD,IAAI,OAA2B,CAAC;IAEhC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACtF,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI;QAChC,CAAC,CAAC,SAAS,CAAC;IACb,MAAM,UAAU,GAAmB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;QAClD,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;QACtB,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,IAAqB,CAAC,CAAC,CAAC;IAE7D,MAAM,OAAO,GAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAEhE,MAAM,UAAU,GAAG,CAClB,QAA4B,EAC5B,IAAuB,EACvB,SAAkB,EACG,EAAE;QACvB,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAI,CAAC,EAAE,EAAE,CAAC;YACT,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,kEAAkE,CAAC,CAAC,CAAC;YAC3H,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACrF,KAAK,CAAC,IAAI,CACT,IAAI,CACH,IAAI,EACJ,EAAE,EACF,IAAI,EACJ,kBAAkB,EAClB,GAAG,EAAE,cAAc,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,qBAAqB,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAC5H,CACD,CAAC;YACF,OAAO,SAAS,CAAC;QAClB,CAAC;QAED,MAAM,WAAW,GAAG,kBAAkB,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC/E,IAAI,WAAW,KAAK,UAAU;YAAE,OAAO,WAAW,CAAC;QAEnD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACjE,IAAI,EAAE,KAAK,MAAM;gBAAE,OAAO,SAAS,CAAC;YACpC,mEAAmE;YACnE,uEAAuE;YACvE,gDAAgD;YAChD,KAAK,CAAC,IAAI,CACT,IAAI,CACH,IAAI,EACJ,EAAE,EACF,IAAI,EACJ,oBAAoB,EACpB,yBAAyB,EAAE,oCAAoC,CAC/D,CACD,CAAC;YACF,OAAO,SAAS,CAAC;QAClB,CAAC;QAED,gFAAgF;QAChF,KAAK,CAAC,IAAI,CACT,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,8BAA8B,EAAE,IAAI,CAAC,CAClF,CAAC;QACF,OAAO,SAAS,CAAC;IAClB,CAAC,CAAC;IAEF,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC7B,0CAA0C;QAC1C,IAAI,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;YACxE,MAAM,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC;YAC3B,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBACpD,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;gBACvC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzC,+BAA+B;gBAC/B,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,aAAa,CAAC,EAAE,CAAC;oBAC5G,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;oBACzE,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;wBACzB,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;4BAAE,MAAM,GAAG,CAA4B,CAAC;;4BACtF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,gDAAgD,CAAC,CAAC,CAAC;oBAC9G,CAAC;yBAAM,IAAI,OAAO,CAAC,KAAK,QAAQ;wBAAE,WAAW,GAAG,CAAC,CAAC;;wBAC7C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,6CAA6C,CAAC,CAAC,CAAC;oBAC1G,SAAS;gBACV,CAAC;gBACD,mBAAmB;gBACnB,IACC,EAAE,CAAC,0BAA0B,CAAC,GAAG,CAAC;oBAClC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC;oBAC/B,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY;oBACpC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;oBACxB,MAAM,KAAK,SAAS,EACnB,CAAC;oBACF,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;oBACzE,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;wBAAE,OAAO,GAAG,CAA4B,CAAC;;wBAClE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,sDAAsD,CAAC,CAAC,CAAC;oBACnH,SAAS;gBACV,CAAC;YACF,CAAC;YACD,yCAAyC;YACzC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,MAAM,EAAE,GAAG,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;gBACvC,IAAI,EAAE,EAAE,CAAC;oBACR,qBAAqB;gBACtB,CAAC;YACF,CAAC;YACD,SAAS;QACV,CAAC;QACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,wBAAwB,EAAE,6EAA6E,CAAC,CAAC,CAAC;YACxI,SAAS;QACV,CAAC;QAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACpD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;oBACvB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,wBAAwB,EAAE,+CAA+C,CAAC,CAAC,CAAC;oBAC5G,SAAS;gBACV,CAAC;gBACD,mDAAmD;gBACnD,8DAA8D;gBAC9D,wEAAwE;gBACxE,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;oBAClF,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;oBACnD,IAAI,EAAE,KAAK,UAAU,EAAE,CAAC;wBACvB,IAAI,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;4BACnC,KAAK,CAAC,IAAI,CACT,IAAI,CACH,IAAI,EACJ,EAAE,EACF,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAE,EAC9B,iCAAiC,EACjC,qJAAqJ,CACrJ,CACD,CAAC;4BACF,SAAS;wBACV,CAAC;wBACD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ;6BAClC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACV,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAC3E;6BACA,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;wBAClC,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;wBAC1C,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;4BAC3F,KAAK,CAAC,IAAI,CACT,IAAI,CACH,IAAI,EACJ,EAAE,EACF,IAAI,CAAC,WAAW,EAChB,4BAA4B,EAC5B,wFAAwF,SAAS,CAAC,MAAM,UAAU,CAClH,CACD,CAAC;4BACF,SAAS;wBACV,CAAC;wBACD,IAAI,EAAE,GAAG,IAAI,CAAC;wBACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;4BAC3C,MAAM,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;4BAC5B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,OAAO,EAAE,CAAC;gCACvE,KAAK,CAAC,IAAI,CACT,IAAI,CACH,IAAI,EACJ,EAAE,EACF,EAAE,EACF,4BAA4B,EAC5B,+BAA+B,CAAC,GAAG,CAAC,sBAAsB,CAC1D,CACD,CAAC;gCACF,EAAE,GAAG,KAAK,CAAC;gCACX,MAAM;4BACP,CAAC;4BACD,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBAC9B,CAAC;wBACD,IAAI,CAAC,EAAE;4BAAE,SAAS;wBAClB,SAAS;oBACV,CAAC;oBACD,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;wBACnB,mDAAmD;wBACnD,KAAK,CAAC,IAAI,CACT,IAAI,CACH,IAAI,EACJ,EAAE,EACF,IAAI,CAAC,WAAW,EAChB,wBAAwB,EACxB,iGAAiG,CACjG,CACD,CAAC;wBACF,SAAS;oBACV,CAAC;gBACF,CAAC;gBACD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,wBAAwB,EAAE,2EAA2E,CAAC,CAAC,CAAC;oBAC7I,SAAS;gBACV,CAAC;gBACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC5B,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;oBAC3C,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;gBACpC,CAAC;qBAAM,IACN,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC;oBACnC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,EAC/C,CAAC;oBACF,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;gBAC/C,CAAC;qBAAM,CAAC;oBACP,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,WAAW,EAAE,wBAAwB,EAAE,+CAA+C,CAAC,CAAC,CAAC;gBACzH,CAAC;YACF,CAAC;YACD,SAAS;QACV,CAAC;QAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC;gBACpB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,0BAA0B,EAAE,kDAAkD,CAAC,CAAC,CAAC;YAChH,CAAC;iBAAM,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,cAAc,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzF,OAAO,GAAG,cAAc,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAE,CAAC,EAAE,CAAC;gBACzD,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;gBAChC,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC;gBAChB,EAAE,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC;YACrB,CAAC;iBAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC/C,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;gBAC5F,IAAI,EAAE,EAAE,CAAC;oBACR,OAAO,GAAG,EAAE,CAAC;oBACb,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;oBAC3B,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC;oBAChB,EAAE,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC;gBACrB,CAAC;YACF,CAAC;iBAAM,CAAC;gBACP,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,0BAA0B,EAAE,2EAA2E,CAAC,CAAC,CAAC;YACpJ,CAAC;YACD,SAAS;QACV,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,wBAAwB,EAAE,iEAAiE,CAAC,CAAC,CAAC;IAC7H,CAAC;IAED,uCAAuC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACrB,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1E,KAAK,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,gBAAgB;gBACtB,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,UAAU,EAAE,oFAAoF;gBACzG,IAAI;aACJ,CAAC,CAAC;QACJ,CAAC;IACF,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,mBAAmB;YACzB,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,+BAA+B;YACxC,IAAI;SACJ,CAAC,CAAC;QACH,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAC1C,CAAC;IAED,mBAAmB;IACnB,IAAI,CAAC,OAAO,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;QACtC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC;IACpC,CAAC;IAEA,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QAClC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QAC3B,MAAM,GAAG,GAA4B,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9D,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS;YAAE,GAAG,CAAC,SAAS,GAAG,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAC3E,sBAAsB;QACtB,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAA4B;QACzC,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,SAAS;KACjB,CAAC;IACF,IAAI,OAAO,QAAQ,CAAC,WAAW,KAAK,QAAQ;QAAE,QAAQ,CAAC,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC;IAC1F,IAAI,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ;QAAE,QAAQ,CAAC,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IAC9E,IAAI,QAAQ,CAAC,UAAU,KAAK,MAAM,IAAI,QAAQ,CAAC,UAAU,KAAK,SAAS,IAAI,QAAQ,CAAC,UAAU,KAAK,MAAM;QAAE,QAAQ,CAAC,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC;IACrJ,IAAI,OAAO,QAAQ,CAAC,mBAAmB,KAAK,SAAS;QAAE,QAAQ,CAAC,mBAAmB,GAAG,QAAQ,CAAC,mBAAmB,CAAC;IACnH,IAAI,OAAO,QAAQ,CAAC,cAAc,KAAK,SAAS;QAAE,QAAQ,CAAC,cAAc,GAAG,QAAQ,CAAC,cAAc,CAAC;IACpG,IAAI,OAAO,QAAQ,CAAC,WAAW,KAAK,SAAS;QAAE,QAAQ,CAAC,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC;IAC3F,IAAI,OAAO;QAAE,QAAQ,CAAC,IAAI,GAAG,OAAO,CAAC;IACrC,IAAI,WAAW,KAAK,SAAS;QAAE,QAAQ,CAAC,WAAW,GAAG,WAAW,CAAC;IAClE,IAAI,MAAM;QAAE,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC;IAErC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACtD,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;AACxE,CAAC"}

package/dist/build/erase/templates.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Template / string erase → task text + dependency ids.
+ */
+import ts from "typescript";
+import type { Diagnostic } from "../../diagnostics.ts";
+import { type PhaseDraft } from "./types.ts";
+export declare function eraseStringish(sf: ts.SourceFile, file: string, node: ts.Expression, itemParam: string | undefined, phases: Map<string, PhaseDraft>, diags: Diagnostic[]): {
+    text: string;
+    deps: string[];
+} | undefined;
+export declare function eraseGateTask(sf: ts.SourceFile, file: string, expr: ts.Expression, param: string, upstreamId: string | undefined, phases: Map<string, PhaseDraft>, diags: Diagnostic[]): {
+    text: string;
+    deps: string[];
+} | undefined;
+export declare function eraseLoopTask(sf: ts.SourceFile, file: string, expr: ts.Expression, prevName: string, loopId: string, diags: Diagnostic[]): string | undefined;
+export declare function eraseReduceTask(sf: ts.SourceFile, file: string, expr: ts.Expression, fn: ts.ArrowFunction | ts.FunctionExpression, phases: Map<string, PhaseDraft>, diags: Diagnostic[]): {
+    text: string;
+    deps: string[];
+} | undefined;
+//# sourceMappingURL=templates.d.ts.map

package/dist/build/erase/templates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"templates.d.ts","sourceRoot":"","sources":["../../../src/build/erase/templates.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,EAAkB,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAE7D,wBAAgB,cAAc,CAC7B,EAAE,EAAE,EAAE,CAAC,UAAU,EACjB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,EAAE,CAAC,UAAU,EACnB,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,EAC/B,KAAK,EAAE,UAAU,EAAE,GACjB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,SAAS,CAoF9C;AAED,wBAAgB,aAAa,CAC5B,EAAE,EAAE,EAAE,CAAC,UAAU,EACjB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,EAAE,CAAC,UAAU,EACnB,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,MAAM,GAAG,SAAS,EAC9B,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,EAC/B,KAAK,EAAE,UAAU,EAAE,GACjB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,SAAS,CAkC9C;AAED,wBAAgB,aAAa,CAC5B,EAAE,EAAE,EAAE,CAAC,UAAU,EACjB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,EAAE,CAAC,UAAU,EACnB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,UAAU,EAAE,GACjB,MAAM,GAAG,SAAS,CAyBpB;AAED,wBAAgB,eAAe,CAC9B,EAAE,EAAE,EAAE,CAAC,UAAU,EACjB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,EAAE,CAAC,UAAU,EACnB,EAAE,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,EAC5C,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,EAC/B,KAAK,EAAE,UAAU,EAAE,GACjB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,SAAS,CAiC9C"}

package/dist/build/erase/templates.js

@@ -0,0 +1,185 @@
+/**
+ * Template / string erase → task text + dependency ids.
+ */
+import ts from "typescript";
+import { diag } from "./ast.js";
+import { phaseByBinding } from "./types.js";
+export function eraseStringish(sf, file, node, itemParam, phases, diags) {
+    const deps = [];
+    const pushDep = (id) => {
+        const phaseId = phaseByBinding(phases, id)?.id;
+        if (phaseId && !deps.includes(phaseId))
+            deps.push(phaseId);
+    };
+    const propToPlaceholder = (expr) => {
+        if (ts.isIdentifier(expr) && itemParam && expr.text === itemParam)
+            return `{${itemParam}}`;
+        if (ts.isPropertyAccessExpression(expr) &&
+            ts.isIdentifier(expr.expression) &&
+            itemParam &&
+            expr.expression.text === itemParam) {
+            return `{${itemParam}.${expr.name.text}}`;
+        }
+        if (ts.isPropertyAccessExpression(expr)) {
+            const chain = [];
+            let cur = expr;
+            while (ts.isPropertyAccessExpression(cur)) {
+                chain.unshift(cur.name.text);
+                cur = cur.expression;
+            }
+            if (ts.isIdentifier(cur) && phaseByBinding(phases, cur.text)) {
+                const phaseId = phaseByBinding(phases, cur.text).id;
+                pushDep(phaseId);
+                if (chain[0] === "output" && chain.length === 1)
+                    return `{steps.${phaseId}.output}`;
+                if (chain[0] === "json") {
+                    if (chain.length === 1)
+                        return `{steps.${phaseId}.json}`;
+                    return `{steps.${phaseId}.json.${chain.slice(1).join(".")}}`;
+                }
+            }
+        }
+        if (ts.isPropertyAccessExpression(expr) &&
+            ts.isIdentifier(expr.expression) &&
+            expr.expression.text === "args") {
+            return `{args.${expr.name.text}}`;
+        }
+        return undefined;
+    };
+    if (ts.isStringLiteral(node) || ts.isNoSubstitutionTemplateLiteral(node)) {
+        return { text: node.text, deps };
+    }
+    if (ts.isTemplateExpression(node)) {
+        let text = node.head.text;
+        for (const span of node.templateSpans) {
+            const ph = propToPlaceholder(span.expression);
+            if (ph) {
+                text += ph;
+            }
+            else if (ts.isIdentifier(span.expression) && phaseByBinding(phases, span.expression.text)) {
+                const phaseId = phaseByBinding(phases, span.expression.text).id;
+                pushDep(phaseId);
+                text += `{steps.${phaseId}.output}`;
+            }
+            else {
+                diags.push(diag(file, sf, span.expression, "TFDSL_TMPL_UNERASABLE", `Cannot erase template expression to a placeholder (only phase.output/json, item.*, args.* supported in MVP).`));
+                return undefined;
+            }
+            text += span.literal.text;
+        }
+        return { text, deps };
+    }
+    if (ts.isIdentifier(node)) {
+        diags.push(diag(file, sf, node, "TFDSL_RUNE_ARG", `Expected string or template for task text.`));
+        return undefined;
+    }
+    // fall through for other literals is rare
+    diags.push(diag(file, sf, node, "TFDSL_RUNE_ARG", `Expected static string/template task text.`));
+    return undefined;
+}
+export function eraseGateTask(sf, file, expr, param, upstreamId, phases, diags) {
+    const deps = [];
+    if (upstreamId)
+        deps.push(upstreamId);
+    const rewrite = (e) => {
+        if (ts.isPropertyAccessExpression(e) &&
+            ts.isIdentifier(e.expression) &&
+            e.expression.text === param &&
+            (e.name.text === "output" || e.name.text === "json")) {
+            if (!upstreamId)
+                return undefined;
+            return e.name.text === "output" ? `{steps.${upstreamId}.output}` : `{steps.${upstreamId}.json}`;
+        }
+        return undefined;
+    };
+    if (ts.isStringLiteral(expr) || ts.isNoSubstitutionTemplateLiteral(expr))
+        return { text: expr.text, deps };
+    if (ts.isTemplateExpression(expr)) {
+        let text = expr.head.text;
+        for (const span of expr.templateSpans) {
+            const ph = rewrite(span.expression);
+            if (ph)
+                text += ph;
+            else {
+                const er = eraseStringish(sf, file, span.expression, undefined, phases, diags);
+                if (!er)
+                    return undefined;
+                text += er.text;
+                for (const d of er.deps)
+                    if (!deps.includes(d))
+                        deps.push(d);
+            }
+            text += span.literal.text;
+        }
+        return { text, deps };
+    }
+    return undefined;
+}
+export function eraseLoopTask(sf, file, expr, prevName, loopId, diags) {
+    if (ts.isStringLiteral(expr) || ts.isNoSubstitutionTemplateLiteral(expr))
+        return expr.text;
+    if (!ts.isTemplateExpression(expr)) {
+        diags.push(diag(file, sf, expr, "TFDSL_RUNE_ARG", `loop task must be string or template.`));
+        return undefined;
+    }
+    let text = expr.head.text;
+    for (const span of expr.templateSpans) {
+        const e = span.expression;
+        if (ts.isPropertyAccessExpression(e) &&
+            ts.isIdentifier(e.expression) &&
+            e.expression.text === prevName &&
+            e.name.text === "output") {
+            text += `{steps.${loopId}.output}`;
+        }
+        else if (ts.isIdentifier(e) && e.text === "loop") {
+            text += `{loop.iteration}`;
+        }
+        else {
+            diags.push(diag(file, sf, e, "TFDSL_TMPL_UNERASABLE", `Unsupported expression in loop task template.`));
+            return undefined;
+        }
+        text += span.literal.text;
+    }
+    return text;
+}
+export function eraseReduceTask(sf, file, expr, fn, phases, diags) {
+    const p0 = fn.parameters[0];
+    const partsName = p0 && ts.isIdentifier(p0.name) ? p0.name.text : "p";
+    const deps = [];
+    if (ts.isStringLiteral(expr) || ts.isNoSubstitutionTemplateLiteral(expr))
+        return { text: expr.text, deps };
+    if (!ts.isTemplateExpression(expr))
+        return eraseStringish(sf, file, expr, undefined, phases, diags);
+    let text = expr.head.text;
+    for (const span of expr.templateSpans) {
+        const e = span.expression;
+        if (ts.isPropertyAccessExpression(e) &&
+            ts.isPropertyAccessExpression(e.expression) &&
+            ts.isIdentifier(e.expression.expression) &&
+            e.expression.expression.text === partsName) {
+            const phaseId = phaseByBinding(phases, e.expression.name.text)?.id;
+            if (!phaseId) {
+                diags.push(diag(file, sf, e, "TFDSL_BINDING_UNKNOWN", `Unknown phase binding '${e.expression.name.text}'.`));
+                return undefined;
+            }
+            deps.push(phaseId);
+            if (e.name.text === "output")
+                text += `{steps.${phaseId}.output}`;
+            else if (e.name.text === "json")
+                text += `{steps.${phaseId}.json}`;
+            else
+                text += `{steps.${phaseId}.output}`;
+        }
+        else {
+            const er = eraseStringish(sf, file, e, undefined, phases, diags);
+            if (!er)
+                return undefined;
+            text += er.text;
+            for (const d of er.deps)
+                deps.push(d);
+        }
+        text += span.literal.text;
+    }
+    return { text, deps };
+}
+//# sourceMappingURL=templates.js.map