@acpus/workflow-compiler 0.1.0-alpha.0

package/dist/preflight/index.js

@@ -0,0 +1,113 @@
+import { createHash } from "node:crypto";
+import { readFile, rm } from "node:fs/promises";
+import { join, relative, resolve } from "node:path";
+import { checkWorkflow } from "../check/runner.js";
+import { compileWorkflow } from "../compiler/worker.js";
+import { createScratchDir } from "./temp.js";
+import { err, ok, ResultAsync } from "neverthrow";
+export class WorkflowPreparationError extends Error {
+    failure;
+    constructor(failure) {
+        super(failure.message);
+        this.failure = failure;
+    }
+}
+export async function prepareWorkflow(options) {
+    const result = await tryPrepareWorkflow(options);
+    return result.match(prepared => prepared, failure => {
+        throw new WorkflowPreparationError(failure);
+    });
+}
+export function tryPrepareWorkflow(options) {
+    const workflowPath = resolve(options.cwd, options.workflow);
+    return ResultAsync.fromPromise(prepareWorkflowResult(options, workflowPath), cause => ({
+        type: "compile-failed",
+        phase: "compile",
+        message: `Workflow preparation failed: ${causeMessage(cause)}`,
+    })).andThen(result => result);
+}
+async function prepareWorkflowResult(options, workflowPath) {
+    const scratchDir = await createScratchDir();
+    try {
+        const check = await checkWorkflow(workflowPath, options.cwd, scratchDir);
+        if (check.diagnostics.some(diagnostic => diagnostic.severity === "error")) {
+            return err({
+                type: "check-failed",
+                phase: "check",
+                message: "Workflow check failed.",
+                diagnostics: check.diagnostics,
+            });
+        }
+        const compiled = await compileWorkflow(workflowPath, options.cwd, scratchDir);
+        if (!compiled.ok) {
+            return err({
+                type: "compile-failed",
+                phase: "compile",
+                message: compiled.message,
+            });
+        }
+        if (compiled.ir.diagnostics.some(diagnostic => diagnostic.severity === "error")) {
+            return err({
+                type: "validate-failed",
+                phase: "validate",
+                message: "Workflow validation failed.",
+                diagnostics: compiled.ir.diagnostics,
+                ir: compiled.ir,
+            });
+        }
+        const irJson = `${JSON.stringify(compiled.ir, null, 2)}\n`;
+        const irDigest = digest(irJson);
+        const packageLock = await packageLockDigest(options.cwd);
+        const sourceGraphDigest = digest([
+            compiled.ir.lock.workflowSourceDigest ?? "",
+            packageLock ?? "",
+        ].join("\n"));
+        return ok({
+            workflowPath,
+            ir: compiled.ir,
+            irJson,
+            irDigest,
+            sourceGraphDigest,
+            ...(packageLock ? { packageLockDigest: packageLock } : {}),
+            lock: buildLock(compiled.ir, workflowPath, options.cwd, irDigest, sourceGraphDigest, packageLock),
+        });
+    }
+    finally {
+        await rm(scratchDir, { recursive: true, force: true });
+    }
+}
+function buildLock(ir, workflowPath, cwd, irDigest, sourceGraphDigest, packageLock) {
+    return {
+        kind: "acpus_workflow_preparation_lock",
+        version: 1,
+        workflow: {
+            entry: relative(cwd, workflowPath),
+            ...(ir.lock.workflowSourceDigest ? { sourceDigest: ir.lock.workflowSourceDigest } : {}),
+        },
+        ir: {
+            path: "workflow.ir.json",
+            digest: irDigest,
+        },
+        ...(packageLock ? { packageLockDigest: packageLock } : {}),
+        sourceGraphDigest,
+        generatedAt: new Date().toISOString(),
+    };
+}
+async function packageLockDigest(cwd) {
+    for (const name of ["pnpm-lock.yaml", "package-lock.json", "yarn.lock"]) {
+        try {
+            return digest(await readFile(join(cwd, name), "utf8"));
+        }
+        catch {
+            // Try the next common lockfile name.
+        }
+    }
+    return undefined;
+}
+function digest(value) {
+    return `sha256:${createHash("sha256").update(value).digest("hex")}`;
+}
+function causeMessage(cause) {
+    return cause instanceof Error ? cause.message : String(cause);
+}
+//# sourceMappingURL=index.js.map

package/dist/preflight/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/preflight/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,WAAW,EAAe,MAAM,YAAY,CAAC;AAsC/D,MAAM,OAAO,wBAAyB,SAAQ,KAAK;IAC5B;IAArB,YAAqB,OAAmC;QACtD,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QADJ,YAAO,GAAP,OAAO,CAA4B;IAExD,CAAC;CACF;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,OAAmC;IACvE,MAAM,MAAM,GAAG,MAAM,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,KAAK,CACjB,QAAQ,CAAC,EAAE,CAAC,QAAQ,EACpB,OAAO,CAAC,EAAE;QACR,MAAM,IAAI,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAmC;IACpE,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5D,OAAO,WAAW,CAAC,WAAW,CAC5B,qBAAqB,CAAC,OAAO,EAAE,YAAY,CAAC,EAC5C,KAAK,CAAC,EAAE,CAAC,CAAC;QACR,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,SAAS;QAChB,OAAO,EAAE,gCAAgC,YAAY,CAAC,KAAK,CAAC,EAAE;KACzB,CAAA,CACxC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;AAC9B,CAAC;AAED,KAAK,UAAU,qBAAqB,CAAC,OAAmC,EAAE,YAAoB;IAC5F,MAAM,UAAU,GAAG,MAAM,gBAAgB,EAAE,CAAC;IAC5C,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,aAAa,CAAC,YAAY,EAAE,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACzE,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;YAC1E,OAAO,GAAG,CAAC;gBACT,IAAI,EAAE,cAAc;gBACpB,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,wBAAwB;gBACjC,WAAW,EAAE,KAAK,CAAC,WAAW;aAC/B,CAAC,CAAC;QACL,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,eAAe,CAAC,YAAY,EAAE,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC9E,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,OAAO,GAAG,CAAC;gBACT,IAAI,EAAE,gBAAgB;gBACtB,KAAK,EAAE,SAAS;gBAChB,OAAO,EAAE,QAAQ,CAAC,OAAO;aAC1B,CAAC,CAAC;QACL,CAAC;QAED,IAAI,QAAQ,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;YAChF,OAAO,GAAG,CAAC;gBACT,IAAI,EAAE,iBAAiB;gBACvB,KAAK,EAAE,UAAU;gBACjB,OAAO,EAAE,6BAA6B;gBACtC,WAAW,EAAE,QAAQ,CAAC,EAAE,CAAC,WAAW;gBACpC,EAAE,EAAE,QAAQ,CAAC,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;QAC3D,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,WAAW,GAAG,MAAM,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACzD,MAAM,iBAAiB,GAAG,MAAM,CAAC;YAC/B,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,oBAAoB,IAAI,EAAE;YAC3C,WAAW,IAAI,EAAE;SAClB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAEd,OAAO,EAAE,CAAC;YACR,YAAY;YACZ,EAAE,EAAE,QAAQ,CAAC,EAAE;YACf,MAAM;YACN,QAAQ;YACR,iBAAiB;YACjB,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1D,IAAI,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,EAAE,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,iBAAiB,EAAE,WAAW,CAAC;SAClG,CAAC,CAAC;IACL,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,EAAc,EAAE,YAAoB,EAAE,GAAW,EAAE,QAAgB,EAAE,iBAAyB,EAAE,WAA+B;IAChJ,OAAO;QACL,IAAI,EAAE,iCAAiC;QACvC,OAAO,EAAE,CAAC;QACV,QAAQ,EAAE;YACR,KAAK,EAAE,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC;YAClC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,EAAE,CAAC,IAAI,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxF;QACD,EAAE,EAAE;YACF,IAAI,EAAE,kBAAkB;YACxB,MAAM,EAAE,QAAQ;SACjB;QACD,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,iBAAiB;QACjB,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACtC,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,GAAW;IAC1C,KAAK,MAAM,IAAI,IAAI,CAAC,gBAAgB,EAAE,mBAAmB,EAAE,WAAW,CAAC,EAAE,CAAC;QACxE,IAAI,CAAC;YACH,OAAO,MAAM,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QACzD,CAAC;QAAC,MAAM,CAAC;YACP,qCAAqC;QACvC,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACtE,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC"}

package/dist/preflight/temp.d.ts

@@ -0,0 +1,2 @@
+export declare function createScratchDir(): Promise<string>;
+//# sourceMappingURL=temp.d.ts.map

package/dist/preflight/temp.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"temp.d.ts","sourceRoot":"","sources":["../../src/preflight/temp.ts"],"names":[],"mappings":"AAIA,wBAAsB,gBAAgB,IAAI,OAAO,CAAC,MAAM,CAAC,CAExD"}

package/dist/preflight/temp.js

@@ -0,0 +1,7 @@
+import { mkdtemp } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+export async function createScratchDir() {
+    return mkdtemp(join(tmpdir(), "acpus-run-"));
+}
+//# sourceMappingURL=temp.js.map

package/dist/preflight/temp.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"temp.js","sourceRoot":"","sources":["../../src/preflight/temp.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,MAAM,CAAC,KAAK,UAAU,gBAAgB;IACpC,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;AAC/C,CAAC"}

package/dist/task-analysis/ast.d.ts

@@ -0,0 +1,9 @@
+import ts from "typescript";
+export declare function parseSourceFile(file: string, source: string): ts.SourceFile;
+export declare function objectProperty(object: ts.ObjectLiteralExpression, name: string): ts.Expression | undefined;
+export declare function execFunction(options: ts.ObjectLiteralExpression): ts.FunctionLikeDeclarationBase | undefined;
+export declare function taskFactoryLocalName(sourceFile: ts.SourceFile): string | undefined;
+export declare function isTaskDefineCall(expression: ts.Expression, taskFactory: string | undefined): boolean;
+export declare function isExported(node: ts.VariableStatement): boolean;
+export declare function isConstVariableStatement(node: ts.VariableStatement): boolean;
+//# sourceMappingURL=ast.d.ts.map

package/dist/task-analysis/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/task-analysis/ast.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,EAAE,CAAC,UAAU,CAG3E;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,EAAE,CAAC,uBAAuB,EAAE,IAAI,EAAE,MAAM,GAAG,EAAE,CAAC,UAAU,GAAG,SAAS,CAK1G;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC,uBAAuB,GAAG,EAAE,CAAC,2BAA2B,GAAG,SAAS,CAM5G;AAED,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,GAAG,SAAS,CAYlF;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAOpG;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,GAAG,OAAO,CAE9D;AAED,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,GAAG,OAAO,CAE5E"}

package/dist/task-analysis/ast.js

@@ -0,0 +1,61 @@
+import ts from "typescript";
+export function parseSourceFile(file, source) {
+    const scriptKind = file.endsWith(".tsx") ? ts.ScriptKind.TSX : ts.ScriptKind.TS;
+    return ts.createSourceFile(file, source, ts.ScriptTarget.Latest, true, scriptKind);
+}
+export function objectProperty(object, name) {
+    for (const member of object.properties) {
+        if (ts.isPropertyAssignment(member) && propertyName(member.name) === name)
+            return member.initializer;
+    }
+    return undefined;
+}
+export function execFunction(options) {
+    const run = objectProperty(options, "run");
+    if (!run || !ts.isObjectLiteralExpression(run))
+        return undefined;
+    const exec = objectProperty(run, "exec");
+    if (exec && (ts.isArrowFunction(exec) || ts.isFunctionExpression(exec)))
+        return exec;
+    return undefined;
+}
+export function taskFactoryLocalName(sourceFile) {
+    for (const statement of sourceFile.statements) {
+        if (!ts.isImportDeclaration(statement) || !ts.isStringLiteral(statement.moduleSpecifier))
+            continue;
+        if (!isCoreAuthoringSpecifier(statement.moduleSpecifier.text))
+            continue;
+        const named = statement.importClause?.namedBindings;
+        if (named && ts.isNamedImports(named)) {
+            for (const element of named.elements) {
+                if ((element.propertyName ?? element.name).text === "task")
+                    return element.name.text;
+            }
+        }
+    }
+    return undefined;
+}
+export function isTaskDefineCall(expression, taskFactory) {
+    if (!taskFactory || !ts.isCallExpression(expression))
+        return false;
+    const callee = expression.expression;
+    return ts.isPropertyAccessExpression(callee)
+        && callee.name.text === "define"
+        && ts.isIdentifier(callee.expression)
+        && callee.expression.text === taskFactory;
+}
+export function isExported(node) {
+    return Boolean(node.modifiers?.some(modifier => modifier.kind === ts.SyntaxKind.ExportKeyword));
+}
+export function isConstVariableStatement(node) {
+    return (node.declarationList.flags & ts.NodeFlags.Const) !== 0;
+}
+function propertyName(name) {
+    if (ts.isIdentifier(name) || ts.isStringLiteral(name))
+        return name.text;
+    return undefined;
+}
+function isCoreAuthoringSpecifier(specifier) {
+    return specifier === "acpus/core" || specifier === "@acpus/core";
+}
+//# sourceMappingURL=ast.js.map

package/dist/task-analysis/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/task-analysis/ast.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,MAAc;IAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;IAChF,OAAO,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAkC,EAAE,IAAY;IAC7E,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACvC,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC,WAAW,CAAC;IACvG,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,OAAmC;IAC9D,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACjE,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACrF,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,UAAyB;IAC5D,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC;YAAE,SAAS;QACnG,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC;YAAE,SAAS;QACxE,MAAM,KAAK,GAAG,SAAS,CAAC,YAAY,EAAE,aAAa,CAAC;QACpD,IAAI,KAAK,IAAI,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;YACtC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACrC,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YACvF,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,UAAyB,EAAE,WAA+B;IACzF,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IACnE,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC;IACrC,OAAO,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;WACvC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;WAC7B,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;WAClC,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,WAAW,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAA0B;IACnD,OAAO,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;AAClG,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAA0B;IACjE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,YAAY,CAAC,IAAqB;IACzC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACxE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,wBAAwB,CAAC,SAAiB;IACjD,OAAO,SAAS,KAAK,YAAY,IAAI,SAAS,KAAK,aAAa,CAAC;AACnE,CAAC"}

package/dist/task-analysis/callsites.d.ts

@@ -0,0 +1,6 @@
+import ts from "typescript";
+import type { TaskCallsite } from "./types.js";
+export type TaskCallsiteIssueReason = "saved-step-declaration" | "non-object-task-spec" | "non-literal-task-id";
+export declare function findTaskCallsites(sourceFile: ts.SourceFile): TaskCallsite[];
+export declare function unjoinableTaskCallsiteReason(node: ts.Node, checker: ts.TypeChecker): TaskCallsiteIssueReason | undefined;
+//# sourceMappingURL=callsites.d.ts.map

package/dist/task-analysis/callsites.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"callsites.d.ts","sourceRoot":"","sources":["../../src/task-analysis/callsites.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EAAE,YAAY,EAAsB,MAAM,YAAY,CAAC;AAEnE,MAAM,MAAM,uBAAuB,GAC/B,wBAAwB,GACxB,sBAAsB,GACtB,qBAAqB,CAAC;AAO1B,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,YAAY,EAAE,CAS3E;AAED,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,GAAG,uBAAuB,GAAG,SAAS,CAGxH"}

package/dist/task-analysis/callsites.js

@@ -0,0 +1,77 @@
+import ts from "typescript";
+export function findTaskCallsites(sourceFile) {
+    const callsites = [];
+    const visit = (node) => {
+        const callsite = classifyTaskCallsite(node);
+        if (callsite.kind === "joinable")
+            callsites.push(callsite.callsite);
+        ts.forEachChild(node, visit);
+    };
+    visit(sourceFile);
+    return callsites;
+}
+export function unjoinableTaskCallsiteReason(node, checker) {
+    const callsite = classifyTaskCallsite(node, checker);
+    return callsite.kind === "unjoinable" ? callsite.reason : undefined;
+}
+function classifyTaskCallsite(node, checker) {
+    if (!ts.isCallExpression(node))
+        return { kind: "none" };
+    const callee = node.expression;
+    if (!ts.isPropertyAccessExpression(callee) || callee.name.text !== "task")
+        return { kind: "none" };
+    const joinable = matchJoinableTaskCallsite(node);
+    if (joinable)
+        return { kind: "joinable", callsite: joinable };
+    const directStepReason = directStepCallIssueReason(node);
+    if (directStepReason)
+        return { kind: "unjoinable", reason: directStepReason };
+    if (checker && isAcpusStepDeclaration(callee.expression, checker)) {
+        return { kind: "unjoinable", reason: "saved-step-declaration" };
+    }
+    return { kind: "none" };
+}
+function matchJoinableTaskCallsite(node) {
+    const callee = node.expression;
+    if (!ts.isPropertyAccessExpression(callee) || callee.name.text !== "task")
+        return undefined;
+    const stepCall = callee.expression;
+    if (!ts.isCallExpression(stepCall) || !ts.isIdentifier(stepCall.expression) || stepCall.expression.text !== "step")
+        return undefined;
+    const id = stepCall.arguments[0];
+    if (!id || !ts.isStringLiteral(id))
+        return undefined;
+    const options = node.arguments[0];
+    if (!options || !ts.isObjectLiteralExpression(options))
+        return undefined;
+    return { stepId: id.text, options, source: sourceLocation(node) };
+}
+function directStepCallIssueReason(node) {
+    const callee = node.expression;
+    if (!ts.isPropertyAccessExpression(callee) || callee.name.text !== "task")
+        return undefined;
+    const stepCall = callee.expression;
+    if (!ts.isCallExpression(stepCall) || !ts.isIdentifier(stepCall.expression) || stepCall.expression.text !== "step")
+        return undefined;
+    const id = stepCall.arguments[0];
+    if (!id || !ts.isStringLiteral(id))
+        return "non-literal-task-id";
+    const options = node.arguments[0];
+    if (!options || !ts.isObjectLiteralExpression(options))
+        return "non-object-task-spec";
+    return undefined;
+}
+function isAcpusStepDeclaration(node, checker) {
+    const type = checker.getTypeAtLocation(node);
+    return type.aliasSymbol?.name === "StepDeclaration";
+}
+function sourceLocation(node) {
+    const sourceFile = node.getSourceFile();
+    const position = sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile));
+    return {
+        file: sourceFile.fileName,
+        line: position.line + 1,
+        column: position.character + 1,
+    };
+}
+//# sourceMappingURL=callsites.js.map

package/dist/task-analysis/callsites.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"callsites.js","sourceRoot":"","sources":["../../src/task-analysis/callsites.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAa5B,MAAM,UAAU,iBAAiB,CAAC,UAAyB;IACzD,MAAM,SAAS,GAAmB,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACpE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,IAAa,EAAE,OAAuB;IACjF,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrD,OAAO,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AACtE,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAa,EAAE,OAAwB;IACnE,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACxD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACnG,MAAM,QAAQ,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAC9D,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,gBAAgB;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAC9E,IAAI,OAAO,IAAI,sBAAsB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;QAClE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAC;IAClE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAuB;IACxD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IAC5F,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC;IACnC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IACrI,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IACzE,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;AACpE,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAuB;IACxD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IAC5F,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC;IACnC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IACrI,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QAAE,OAAO,qBAAqB,CAAC;IACjE,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;QAAE,OAAO,sBAAsB,CAAC;IACtF,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAmB,EAAE,OAAuB;IAC1E,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO,IAAI,CAAC,WAAW,EAAE,IAAI,KAAK,iBAAiB,CAAC;AACtD,CAAC;AAED,SAAS,cAAc,CAAC,IAAa;IACnC,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IACrF,OAAO;QACL,IAAI,EAAE,UAAU,CAAC,QAAQ;QACzB,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC;QACvB,MAAM,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC;KAC/B,CAAC;AACJ,CAAC"}

package/dist/task-analysis/index.d.ts

@@ -0,0 +1,8 @@
+import type { TaskReferenceMetadata } from "./types.js";
+export type { AnalyzedTask, TaskAnalysisFact, TaskAuthoringIssue, TaskReferenceMetadata, TaskMetadataFact, WorkflowTaskAnalysis, } from "./types.js";
+import type { TaskAnalysisFact, WorkflowTaskAnalysis } from "./types.js";
+export declare function analyzeWorkflowTasks(workflowFile: string, source: string): Promise<WorkflowTaskAnalysis>;
+export declare function analyzeWorkflowTasksSync(workflowFile: string, source: string): WorkflowTaskAnalysis;
+export declare function analyzeTaskAuthoring(analysis: WorkflowTaskAnalysis): TaskAnalysisFact[];
+export declare function resolveTaskReferenceMetadata(analysis: WorkflowTaskAnalysis): Map<string, TaskReferenceMetadata>;
+//# sourceMappingURL=index.d.ts.map

package/dist/task-analysis/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/task-analysis/index.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAqC,qBAAqB,EAAoC,MAAM,YAAY,CAAC;AAQ7H,YAAY,EACV,YAAY,EACZ,gBAAgB,EAChB,kBAAkB,EAClB,qBAAqB,EACrB,gBAAgB,EAChB,oBAAoB,GACrB,MAAM,YAAY,CAAC;AAEpB,OAAO,KAAK,EAAgB,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AASvF,wBAAsB,oBAAoB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAE9G;AAED,wBAAgB,wBAAwB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,oBAAoB,CAUnG;AAED,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,oBAAoB,GAAG,gBAAgB,EAAE,CAOvF;AAED,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,oBAAoB,GAAG,GAAG,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAM/G"}

package/dist/task-analysis/index.js

@@ -0,0 +1,122 @@
+import ts from "typescript";
+import { execFunction, isTaskDefineCall, objectProperty, parseSourceFile, taskFactoryLocalName } from "./ast.js";
+import { findTaskCallsites } from "./callsites.js";
+import { collectFreeIdentifiers } from "./inline-capture.js";
+import { collectImportBindings, collectLocalValueNames, collectWorkflowTaskExports, hasInnerBinding } from "./workflow-symbols.js";
+export async function analyzeWorkflowTasks(workflowFile, source) {
+    return analyzeWorkflowTasksSync(workflowFile, source);
+}
+export function analyzeWorkflowTasksSync(workflowFile, source) {
+    const sourceFile = parseSourceFile(workflowFile, source);
+    const imports = collectImportBindings(sourceFile);
+    const locals = collectLocalValueNames(sourceFile);
+    const localExports = collectWorkflowTaskExports(sourceFile);
+    const analysis = new Map();
+    for (const callsite of findTaskCallsites(sourceFile)) {
+        setAnalyzedCallsite(analysis, callsite, analyzeCallsite(callsite, { workflowFile, imports, locals, localExports }));
+    }
+    return analysis;
+}
+export function analyzeTaskAuthoring(analysis) {
+    return [...analysis].map(([stepId, analyzed]) => ({
+        stepId,
+        inline: analyzed.inline,
+        ...(analyzed.issue ? { issue: analyzed.issue } : {}),
+        ...(analyzed.source ? { source: analyzed.source } : {}),
+    }));
+}
+export function resolveTaskReferenceMetadata(analysis) {
+    const metadata = new Map();
+    for (const [stepId, analyzed] of analysis) {
+        if (analyzed.metadata)
+            metadata.set(stepId, analyzed.metadata);
+    }
+    return metadata;
+}
+function analyzeCallsite(callsite, ctx) {
+    const run = objectProperty(callsite.options, "run");
+    const taskValue = run && ts.isObjectLiteralExpression(run) ? objectProperty(run, "task") : undefined;
+    if (taskValue)
+        return withIssueSource(analyzeReusable(taskValue, ctx), callsite);
+    const exec = execFunction(callsite.options);
+    if (exec)
+        return withIssueSource(analyzeInline(exec), callsite);
+    return { inline: true };
+}
+function analyzeReusable(taskValue, ctx) {
+    if (!ts.isIdentifier(taskValue)) {
+        return reusableIssue({ kind: "invalid-reusable-task-reference" });
+    }
+    const local = analyzeLocalReusable(taskValue, ctx);
+    if (local)
+        return local;
+    const name = taskValue.text;
+    const binding = ctx.imports.get(name);
+    if (!binding) {
+        return reusableIssue({ kind: "invalid-reusable-task-reference", name });
+    }
+    return reusableMetadata(binding.specifier, binding.importedName);
+}
+function analyzeLocalReusable(taskValue, ctx) {
+    const name = taskValue.text;
+    if (hasInnerBinding(taskValue)) {
+        return reusableIssue({ kind: "workflow-local-reusable-task", name });
+    }
+    const localExport = ctx.localExports.get(name);
+    if (localExport) {
+        const taskFactory = taskFactoryLocalName(taskValue.getSourceFile());
+        if (!localExport.initializer || !isTaskDefineCall(localExport.initializer, taskFactory)) {
+            return reusableIssue({ kind: "invalid-reusable-task-export", importedName: localExport.exportName, file: ctx.workflowFile, reason: "not-task-define" });
+        }
+        return {
+            inline: false,
+            metadata: {
+                specifier: `./${ctx.workflowFile.split(/[\\/]/).pop() ?? ""}`,
+                exportName: localExport.exportName,
+            },
+        };
+    }
+    if (ctx.locals.has(name) && !ctx.imports.has(name)) {
+        return reusableIssue({ kind: "workflow-local-reusable-task", name });
+    }
+    return undefined;
+}
+function reusableMetadata(specifier, exportName) {
+    return {
+        inline: false,
+        metadata: {
+            specifier,
+            exportName,
+        },
+    };
+}
+function analyzeInline(exec) {
+    const free = collectFreeIdentifiers(exec);
+    if (free.length > 0) {
+        return {
+            inline: true,
+            issue: { kind: "inline-task-capture", names: free },
+        };
+    }
+    return { inline: true };
+}
+function reusableIssue(issue) {
+    return { inline: false, issue };
+}
+function withIssueSource(analyzed, callsite) {
+    if (!analyzed.issue)
+        return analyzed;
+    return { ...analyzed, source: callsite.source };
+}
+function setAnalyzedCallsite(analysis, callsite, analyzed) {
+    if (analysis.has(callsite.stepId)) {
+        analysis.set(callsite.stepId, {
+            inline: false,
+            issue: { kind: "ambiguous-task-callsite" },
+            source: callsite.source,
+        });
+        return;
+    }
+    analysis.set(callsite.stepId, analyzed);
+}
+//# sourceMappingURL=index.js.map

package/dist/task-analysis/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/task-analysis/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,cAAc,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AACjH,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAE7D,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAyBnI,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,YAAoB,EAAE,MAAc;IAC7E,OAAO,wBAAwB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,YAAoB,EAAE,MAAc;IAC3E,MAAM,UAAU,GAAG,eAAe,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,YAAY,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAyB,IAAI,GAAG,EAAE,CAAC;IACjD,KAAK,MAAM,QAAQ,IAAI,iBAAiB,CAAC,UAAU,CAAC,EAAE,CAAC;QACrD,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,EAAE,eAAe,CAAC,QAAQ,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;IACtH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,QAA8B;IACjE,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;QAChD,MAAM;QACN,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxD,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,QAA8B;IACzE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAiC,CAAC;IAC1D,KAAK,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC1C,IAAI,QAAQ,CAAC,QAAQ;YAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,eAAe,CAAC,QAAsB,EAAE,GAAmB;IAClE,MAAM,GAAG,GAAG,cAAc,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,SAAS,GAAG,GAAG,IAAI,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrG,IAAI,SAAS;QAAE,OAAO,eAAe,CAAC,eAAe,CAAC,SAAS,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,IAAI;QAAE,OAAO,eAAe,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;IAChE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,eAAe,CAAC,SAAwB,EAAE,GAAmB;IACpE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QAChC,OAAO,aAAa,CAAC,EAAE,IAAI,EAAE,iCAAiC,EAAE,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACnD,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC;IAC5B,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,aAAa,CAAC,EAAE,IAAI,EAAE,iCAAiC,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,gBAAgB,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,oBAAoB,CAAC,SAAwB,EAAE,GAAmB;IACzE,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC;IAC5B,IAAI,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,OAAO,aAAa,CAAC,EAAE,IAAI,EAAE,8BAA8B,EAAE,IAAI,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,WAAW,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,WAAW,GAAG,oBAAoB,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC;QACpE,IAAI,CAAC,WAAW,CAAC,WAAW,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,CAAC;YACxF,OAAO,aAAa,CAAC,EAAE,IAAI,EAAE,8BAA8B,EAAE,YAAY,EAAE,WAAW,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,YAAY,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,CAAC;QAC1J,CAAC;QACD,OAAO;YACL,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE;gBACR,SAAS,EAAE,KAAK,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;gBAC7D,UAAU,EAAE,WAAW,CAAC,UAAU;aACnC;SACF,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,aAAa,CAAC,EAAE,IAAI,EAAE,8BAA8B,EAAE,IAAI,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,gBAAgB,CAAC,SAAiB,EAAE,UAAkB;IAC7D,OAAO;QACL,MAAM,EAAE,KAAK;QACb,QAAQ,EAAE;YACR,SAAS;YACT,UAAU;SACX;KACF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAoC;IACzD,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO;YACL,MAAM,EAAE,IAAI;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE,IAAI,EAAE;SACpD,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,aAAa,CAAC,KAAyB;IAC9C,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,eAAe,CAAC,QAAsB,EAAE,QAAsB;IACrE,IAAI,CAAC,QAAQ,CAAC,KAAK;QAAE,OAAO,QAAQ,CAAC;IACrC,OAAO,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,mBAAmB,CAAC,QAA8B,EAAE,QAAsB,EAAE,QAAsB;IACzG,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE;YAC5B,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,yBAAyB,EAAE;YAC1C,MAAM,EAAE,QAAQ,CAAC,MAAM;SACxB,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAC1C,CAAC"}

package/dist/task-analysis/inline-capture.d.ts

@@ -0,0 +1,3 @@
+import ts from "typescript";
+export declare function collectFreeIdentifiers(fn: ts.FunctionLikeDeclarationBase): string[];
+//# sourceMappingURL=inline-capture.d.ts.map

package/dist/task-analysis/inline-capture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inline-capture.d.ts","sourceRoot":"","sources":["../../src/task-analysis/inline-capture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAQ5B,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,EAAE,CAAC,2BAA2B,GAAG,MAAM,EAAE,CAMnF"}

package/dist/task-analysis/inline-capture.js

@@ -0,0 +1,51 @@
+import ts from "typescript";
+import { collectDeclaredNames } from "./workflow-symbols.js";
+const GLOBALS = new Set([
+    ...Object.getOwnPropertyNames(globalThis),
+    "arguments",
+]);
+export function collectFreeIdentifiers(fn) {
+    const declared = new Set();
+    collectDeclaredNames(fn, declared);
+    const referenced = new Set();
+    collectReferences(fn, referenced);
+    return [...referenced].filter(name => !declared.has(name) && !GLOBALS.has(name)).sort();
+}
+function collectReferences(node, out) {
+    if (ts.isTypeNode(node))
+        return;
+    if (ts.isPropertyAccessExpression(node)) {
+        collectReferences(node.expression, out);
+        return;
+    }
+    if (ts.isPropertyAssignment(node)) {
+        if (ts.isComputedPropertyName(node.name))
+            collectReferences(node.name.expression, out);
+        collectReferences(node.initializer, out);
+        return;
+    }
+    if (ts.isShorthandPropertyAssignment(node)) {
+        out.add(node.name.text);
+        return;
+    }
+    if (ts.isBindingElement(node)) {
+        if (node.propertyName && ts.isComputedPropertyName(node.propertyName))
+            collectReferences(node.propertyName.expression, out);
+        collectReferences(node.name, out);
+        if (node.initializer)
+            collectReferences(node.initializer, out);
+        return;
+    }
+    if (ts.isParameter(node) || ts.isVariableDeclaration(node)) {
+        collectReferences(node.name, out);
+        if (node.initializer)
+            collectReferences(node.initializer, out);
+        return;
+    }
+    if (ts.isIdentifier(node)) {
+        out.add(node.text);
+        return;
+    }
+    ts.forEachChild(node, child => collectReferences(child, out));
+}
+//# sourceMappingURL=inline-capture.js.map

package/dist/task-analysis/inline-capture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inline-capture.js","sourceRoot":"","sources":["../../src/task-analysis/inline-capture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS;IAC9B,GAAG,MAAM,CAAC,mBAAmB,CAAC,UAAU,CAAC;IACzC,WAAW;CACZ,CAAC,CAAC;AAEH,MAAM,UAAU,sBAAsB,CAAC,EAAkC;IACvE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,oBAAoB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IACnC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,iBAAiB,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IAClC,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1F,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAa,EAAE,GAAgB;IACxD,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO;IAChC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACxC,OAAO;IACT,CAAC;IACD,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACvF,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QACzC,OAAO;IACT,CAAC;IACD,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,OAAO;IACT,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC;YAAE,iBAAiB,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC5H,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,WAAW;YAAE,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAC/D,OAAO;IACT,CAAC;IACD,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3D,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,WAAW;YAAE,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAC/D,OAAO;IACT,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,OAAO;IACT,CAAC;IACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;AAChE,CAAC"}

package/dist/task-analysis/types.d.ts

@@ -0,0 +1,58 @@
+import type ts from "typescript";
+export type AnalyzedTask = {
+    inline: boolean;
+    metadata?: TaskReferenceMetadata;
+    issue?: TaskAuthoringIssue;
+    source?: TaskSourceLocation;
+};
+export type TaskReferenceMetadata = {
+    specifier?: string;
+    exportName?: string;
+};
+export type TaskAuthoringIssue = {
+    kind: "invalid-reusable-task-reference";
+    name?: string;
+} | {
+    kind: "workflow-local-reusable-task";
+    name: string;
+} | {
+    kind: "invalid-reusable-task-export";
+    importedName: string;
+    file?: string;
+    reason: "missing-default" | "missing-named" | "not-task-define";
+} | {
+    kind: "inline-task-capture";
+    names: string[];
+} | {
+    kind: "ambiguous-task-callsite";
+};
+export type TaskAnalysisFact = {
+    stepId: string;
+    inline: boolean;
+    issue?: TaskAuthoringIssue;
+    source?: TaskSourceLocation;
+};
+export type TaskMetadataFact = {
+    stepId: string;
+    metadata: TaskReferenceMetadata;
+};
+export type WorkflowTaskAnalysis = Map<string, AnalyzedTask>;
+export type TaskSourceLocation = {
+    file: string;
+    line: number;
+    column: number;
+};
+export type ImportBinding = {
+    specifier: string;
+    importedName: string;
+};
+export type WorkflowTaskExport = {
+    exportName: string;
+    initializer?: ts.Expression;
+};
+export type TaskCallsite = {
+    stepId: string;
+    options: ts.ObjectLiteralExpression;
+    source: TaskSourceLocation;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/task-analysis/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/task-analysis/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,MAAM,YAAY,GAAG;IACzB,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,CAAC,EAAE,qBAAqB,CAAC;IACjC,KAAK,CAAC,EAAE,kBAAkB,CAAC;IAC3B,MAAM,CAAC,EAAE,kBAAkB,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAC1B;IAAE,IAAI,EAAE,iCAAiC,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,8BAA8B,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACtD;IAAE,IAAI,EAAE,8BAA8B,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,iBAAiB,GAAG,eAAe,GAAG,iBAAiB,CAAA;CAAE,GAC9I;IAAE,IAAI,EAAE,qBAAqB,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,yBAAyB,CAAA;CAAE,CAAC;AAExC,MAAM,MAAM,gBAAgB,GAAG;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,CAAC,EAAE,kBAAkB,CAAC;IAC3B,MAAM,CAAC,EAAE,kBAAkB,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,qBAAqB,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;AAE7D,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CAAC;AAExE,MAAM,MAAM,kBAAkB,GAAG;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,EAAE,CAAC,UAAU,CAAA;CAAE,CAAC;AAErF,MAAM,MAAM,YAAY,GAAG;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,EAAE,CAAC,uBAAuB,CAAC;IACpC,MAAM,EAAE,kBAAkB,CAAC;CAC5B,CAAC"}

package/dist/task-analysis/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/task-analysis/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/task-analysis/types.ts"],"names":[],"mappings":""}

package/dist/task-analysis/workflow-symbols.d.ts

@@ -0,0 +1,8 @@
+import ts from "typescript";
+import type { ImportBinding, WorkflowTaskExport } from "./types.js";
+export declare function collectImportBindings(sourceFile: ts.SourceFile): Map<string, ImportBinding>;
+export declare function collectLocalValueNames(sourceFile: ts.SourceFile): Set<string>;
+export declare function collectDeclaredNames(node: ts.Node, out: Set<string>): void;
+export declare function hasInnerBinding(identifier: ts.Identifier): boolean;
+export declare function collectWorkflowTaskExports(sourceFile: ts.SourceFile): Map<string, WorkflowTaskExport>;
+//# sourceMappingURL=workflow-symbols.d.ts.map

package/dist/task-analysis/workflow-symbols.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-symbols.d.ts","sourceRoot":"","sources":["../../src/task-analysis/workflow-symbols.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAEpE,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAe3F;AAED,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,CAI7E;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAS1E;AAED,wBAAgB,eAAe,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAmBlE;AAED,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAWrG"}