@loomwork/compiler 0.0.0-stage → 0.1.0

package/dist/loopIdentity.js

@@ -0,0 +1,179 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.analyzeLoopIdentityNode = analyzeLoopIdentityNode;
+exports.analyzeLoopIdentity = analyzeLoopIdentity;
+const typescript_1 = __importDefault(require("typescript"));
+const CALLBACK_LOOPS = new Set(["map", "forEach", "flatMap"]);
+function isRunOrExecuteCall(node) {
+    if (!typescript_1.default.isCallExpression(node))
+        return false;
+    const e = node.expression;
+    return (typescript_1.default.isPropertyAccessExpression(e) &&
+        typescript_1.default.isIdentifier(e.name) &&
+        (e.name.text === "run" || e.name.text === "execute"));
+}
+/** Collect binding names a loop scope introduces or mutates (iteration-varying names). */
+function collectLoopBindings(loop, body) {
+    const names = new Set();
+    const addDeclarationList = (list) => {
+        if (list !== undefined && typescript_1.default.isVariableDeclarationList(list)) {
+            for (const d of list.declarations)
+                collectBoundNames(d.name, names);
+        }
+    };
+    if (typescript_1.default.isForStatement(loop))
+        addDeclarationList(loop.initializer);
+    if (typescript_1.default.isForOfStatement(loop) || typescript_1.default.isForInStatement(loop))
+        addDeclarationList(loop.initializer);
+    // Counters mutated inside the body (`i++`, `i += 1`, `i = i + 1`) vary per
+    // iteration even when declared outside the loop (the `while` idiom).
+    const scanMutations = (node) => {
+        if ((typescript_1.default.isPostfixUnaryExpression(node) || typescript_1.default.isPrefixUnaryExpression(node)) &&
+            (node.operator === typescript_1.default.SyntaxKind.PlusPlusToken ||
+                node.operator === typescript_1.default.SyntaxKind.MinusMinusToken) &&
+            typescript_1.default.isIdentifier(node.operand)) {
+            names.add(node.operand.text);
+        }
+        else if (typescript_1.default.isBinaryExpression(node) &&
+            node.operatorToken.kind >= typescript_1.default.SyntaxKind.FirstAssignment &&
+            node.operatorToken.kind <= typescript_1.default.SyntaxKind.LastAssignment &&
+            typescript_1.default.isIdentifier(node.left)) {
+            names.add(node.left.text);
+        }
+        typescript_1.default.forEachChild(node, scanMutations);
+    };
+    scanMutations(body);
+    return names;
+}
+/** Add every identifier bound by a (possibly destructuring) binding name. */
+function collectBoundNames(name, into) {
+    if (typescript_1.default.isIdentifier(name)) {
+        into.add(name.text);
+        return;
+    }
+    for (const element of name.elements) {
+        if (typescript_1.default.isBindingElement(element))
+            collectBoundNames(element.name, into);
+    }
+}
+/** True if the subtree references any of the given names as a VALUE (not a property name). */
+function referencesAny(node, names) {
+    let found = false;
+    const visit = (n) => {
+        if (found)
+            return;
+        if (typescript_1.default.isIdentifier(n) && names.has(n.text)) {
+            const parent = n.parent;
+            // `obj.i` — the `.i` name position is not a reference to the loop variable.
+            const isPropertyNamePosition = (typescript_1.default.isPropertyAccessExpression(parent) && parent.name === n) ||
+                (typescript_1.default.isPropertyAssignment(parent) && parent.name === n);
+            if (!isPropertyNamePosition) {
+                found = true;
+                return;
+            }
+        }
+        typescript_1.default.forEachChild(n, visit);
+    };
+    visit(node);
+    return found;
+}
+/** A `.map`/`.forEach`/`.flatMap` call whose first argument is a function — treat as a loop. */
+function callbackLoop(node) {
+    if (!typescript_1.default.isCallExpression(node))
+        return undefined;
+    const e = node.expression;
+    if (!typescript_1.default.isPropertyAccessExpression(e) || !typescript_1.default.isIdentifier(e.name))
+        return undefined;
+    if (!CALLBACK_LOOPS.has(e.name.text))
+        return undefined;
+    const cb = node.arguments[0];
+    if (cb === undefined || (!typescript_1.default.isArrowFunction(cb) && !typescript_1.default.isFunctionExpression(cb))) {
+        return undefined;
+    }
+    const params = new Set();
+    for (const p of cb.parameters)
+        collectBoundNames(p.name, params);
+    return { body: cb.body, params, kind: `.${e.name.text}()` };
+}
+/** Analyze a parsed node (a flow runner / orchestration body) for loop-identity hazards. */
+function analyzeLoopIdentityNode(root, location) {
+    const findings = [];
+    // Stack of active loop scopes; bindings accumulate (an id derived from ANY
+    // enclosing loop's variable is accepted — the nested-loop case is documented
+    // as out of scope for the heuristic).
+    const loopStack = [];
+    const classify = (call) => {
+        if (loopStack.length === 0)
+            return;
+        const step = call.arguments[0];
+        if (step === undefined)
+            return;
+        const callee = call.expression.name.text;
+        const loopKind = loopStack[loopStack.length - 1].kind;
+        if (typescript_1.default.isIdentifier(step) || typescript_1.default.isPropertyAccessExpression(step)) {
+            // A static StepDefinition reference — its id is fixed across iterations.
+            findings.push({
+                callee,
+                loopKind,
+                reason: "static-step-in-loop",
+                ...(location !== undefined && { location }),
+            });
+            return;
+        }
+        if (typescript_1.default.isCallExpression(step) || typescript_1.default.isObjectLiteralExpression(step)) {
+            const union = new Set();
+            for (const scope of loopStack)
+                for (const n of scope.bindings)
+                    union.add(n);
+            if (!referencesAny(step, union)) {
+                findings.push({
+                    callee,
+                    loopKind,
+                    reason: "id-not-derived-from-loop-variable",
+                    ...(location !== undefined && { location }),
+                });
+            }
+            return;
+        }
+        // Anything else (conditional, array index, helper-derived) — stay quiet.
+    };
+    const visit = (node) => {
+        if (isRunOrExecuteCall(node))
+            classify(node);
+        if (typescript_1.default.isIterationStatement(node, false)) {
+            const body = node.statement;
+            loopStack.push({
+                kind: typescript_1.default.SyntaxKind[node.kind],
+                bindings: collectLoopBindings(node, body),
+            });
+            typescript_1.default.forEachChild(node, visit);
+            loopStack.pop();
+            return;
+        }
+        const cb = callbackLoop(node);
+        if (cb !== undefined) {
+            // Visit the receiver/arguments outside the loop scope, then the callback
+            // body inside it.
+            loopStack.push({ kind: cb.kind, bindings: cb.params });
+            visit(cb.body);
+            loopStack.pop();
+            return;
+        }
+        typescript_1.default.forEachChild(node, visit);
+    };
+    visit(root);
+    return findings;
+}
+/**
+ * Analyze a source string (a flow runner / orchestration body) for `ctx.run`/
+ * `ctx.execute` calls inside loops whose step id cannot vary per iteration
+ * (ADR 0061). Feed the result to `@loomwork/verify` via `FlowSpec.loopIdentityCalls`.
+ */
+function analyzeLoopIdentity(source, location) {
+    const sf = typescript_1.default.createSourceFile("loopid.ts", source, typescript_1.default.ScriptTarget.ESNext, true);
+    return analyzeLoopIdentityNode(sf, location);
+}
+//# sourceMappingURL=loopIdentity.js.map

package/dist/loopIdentity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loopIdentity.js","sourceRoot":"","sources":["../src/loopIdentity.ts"],"names":[],"mappings":";;;;;AAiIA,0DAsEC;AAOD,kDAGC;AAjND,4DAA4B;AA8B5B,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;AAE9D,SAAS,kBAAkB,CAAC,IAAa;IACvC,IAAI,CAAC,oBAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;IAC1B,OAAO,CACL,oBAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC;QAChC,oBAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;QACvB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CACrD,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,SAAS,mBAAmB,CAAC,IAAa,EAAE,IAAa;IACvD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAEhC,MAAM,kBAAkB,GAAG,CAAC,IAAmC,EAAQ,EAAE;QACvE,IAAI,IAAI,KAAK,SAAS,IAAI,oBAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY;gBAAE,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACtE,CAAC;IACH,CAAC,CAAC;IACF,IAAI,oBAAE,CAAC,cAAc,CAAC,IAAI,CAAC;QAAE,kBAAkB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAClE,IAAI,oBAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,oBAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,kBAAkB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAEjG,2EAA2E;IAC3E,qEAAqE;IACrE,MAAM,aAAa,GAAG,CAAC,IAAa,EAAQ,EAAE;QAC5C,IACE,CAAC,oBAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,oBAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;YACvE,CAAC,IAAI,CAAC,QAAQ,KAAK,oBAAE,CAAC,UAAU,CAAC,aAAa;gBAC5C,IAAI,CAAC,QAAQ,KAAK,oBAAE,CAAC,UAAU,CAAC,eAAe,CAAC;YAClD,oBAAE,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,EAC7B,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;aAAM,IACL,oBAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC3B,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,oBAAE,CAAC,UAAU,CAAC,eAAe;YACxD,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,oBAAE,CAAC,UAAU,CAAC,cAAc;YACvD,oBAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,oBAAE,CAAC,YAAY,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,aAAa,CAAC,IAAI,CAAC,CAAC;IACpB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6EAA6E;AAC7E,SAAS,iBAAiB,CAAC,IAAoB,EAAE,IAAiB;IAChE,IAAI,oBAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,OAAO;IACT,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAI,oBAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAAE,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED,8FAA8F;AAC9F,SAAS,aAAa,CAAC,IAAa,EAAE,KAA0B;IAC9D,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,oBAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;YACxB,4EAA4E;YAC5E,MAAM,sBAAsB,GAC1B,CAAC,oBAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC;gBAC5D,CAAC,oBAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;YACzD,IAAI,CAAC,sBAAsB,EAAE,CAAC;gBAC5B,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO;YACT,CAAC;QACH,CAAC;QACD,oBAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gGAAgG;AAChG,SAAS,YAAY,CACnB,IAAa;IAEb,IAAI,CAAC,oBAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;IAC1B,IAAI,CAAC,oBAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACpF,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACvD,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,oBAAE,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,oBAAE,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAClF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,UAAU;QAAE,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACjE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;AAC9D,CAAC;AAED,4FAA4F;AAC5F,SAAgB,uBAAuB,CACrC,IAAa,EACb,QAAiB;IAEjB,MAAM,QAAQ,GAA8B,EAAE,CAAC;IAC/C,2EAA2E;IAC3E,6EAA6E;IAC7E,sCAAsC;IACtC,MAAM,SAAS,GAAmD,EAAE,CAAC;IAErE,MAAM,QAAQ,GAAG,CAAC,IAAuB,EAAQ,EAAE;QACjD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO;QAC/B,MAAM,MAAM,GAAI,IAAI,CAAC,UAA0C,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1E,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC;QAEvD,IAAI,oBAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,oBAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;YACjE,yEAAyE;YACzE,QAAQ,CAAC,IAAI,CAAC;gBACZ,MAAM;gBACN,QAAQ;gBACR,MAAM,EAAE,qBAAqB;gBAC7B,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC5C,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,IAAI,oBAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,oBAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;YAChC,KAAK,MAAM,KAAK,IAAI,SAAS;gBAAE,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ;oBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5E,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;gBAChC,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM;oBACN,QAAQ;oBACR,MAAM,EAAE,mCAAmC;oBAC3C,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC;iBAC5C,CAAC,CAAC;YACL,CAAC;YACD,OAAO;QACT,CAAC;QACD,yEAAyE;IAC3E,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,kBAAkB,CAAC,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QAE7C,IAAI,oBAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC;YAC5B,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,oBAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC9B,QAAQ,EAAE,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC;aAC1C,CAAC,CAAC;YACH,oBAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7B,SAAS,CAAC,GAAG,EAAE,CAAC;YAChB,OAAO;QACT,CAAC;QACD,MAAM,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,yEAAyE;YACzE,kBAAkB;YAClB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;YACvD,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACf,SAAS,CAAC,GAAG,EAAE,CAAC;YAChB,OAAO;QACT,CAAC;QACD,oBAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;GAIG;AACH,SAAgB,mBAAmB,CAAC,MAAc,EAAE,QAAiB;IACnE,MAAM,EAAE,GAAG,oBAAE,CAAC,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,oBAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAClF,OAAO,uBAAuB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;AAC/C,CAAC"}

package/dist/manifest.d.ts

@@ -0,0 +1,98 @@
+import type { PluginState } from "./types";
+/** The compiler manifest schema version (not semver — a monotonic integer string). */
+export declare const COMPILER_MANIFEST_VERSION = "1";
+export interface ManifestFlow {
+    version: string;
+    steps: string[];
+    chunkMap: Record<string, string>;
+    suspendPoints: string[];
+    warnings: string[];
+    /**
+     * ADR 0061 — structured loop step-identity findings for this flow's module
+     * (also rendered into `warnings`). Feed to `@loomwork/verify` via
+     * `FlowSpec.loopIdentityCalls`; additive manifest field.
+     */
+    loopIdentity?: Array<{
+        callee: string;
+        loopKind: string;
+        reason: string;
+        location?: string;
+    }>;
+    /**
+     * Issue #82 — non-deterministic calls in this flow's module, and whether each
+     * sits inside a `ctx.decide`/`ctx.execute` boundary. Feed to `@loomwork/verify`
+     * via `FlowSpec.nonDeterministicCalls`; additive manifest field.
+     */
+    nonDeterministic?: Array<{
+        callee: string;
+        insideDecide: boolean;
+        location?: string;
+    }>;
+    /**
+     * ADR 0086 — runner-body reach: resolved `ctx.run` targets, `ctx.suspend`
+     * conditions, and the targets analysis could NOT resolve. Feeds
+     * `FlowSpec.effects` / `suspends` / `unresolvedReach`, which is what lets
+     * capability-compat, effect-class and suspension-safety see past the flow's
+     * DECLARED steps — and state their own coverage when they cannot.
+     */
+    runnerReach?: {
+        steps: Array<{
+            stepId?: string;
+            toolId: string;
+            viaDecider?: boolean;
+        }>;
+        unresolved: Array<{
+            expr: string;
+            kind: "step" | "suspend";
+            location?: string;
+        }>;
+        suspends: Array<{
+            id?: string;
+            correlationKey?: string;
+            timed?: boolean;
+            wakeAt?: boolean;
+        }>;
+        /** L32 — `ctx` (or `ctx.decide`) handed to out-of-module callees; resolved against `verify.reach`. */
+        escapes?: Array<{
+            callee: string;
+            root?: string;
+            via: "ctx" | "decide";
+            member?: string;
+            /** L34 — the hand-off's arguments that resolve to a step, by position. */
+            args?: Array<{
+                index: number;
+                step: {
+                    stepId?: string;
+                    toolId: string;
+                };
+            }>;
+            location?: string;
+        }>;
+    };
+    /**
+     * The source module that declared this flow (relative to the project root).
+     * Enables tooling and `@loomwork/app`'s manifest cross-check to know where a flow
+     * lives. Registration itself stays a static import (see `registerFlowsFrom`) —
+     * this is metadata, never a dynamic-import target, so wiring stays
+     * deterministic/replay-safe.
+     */
+    module: string;
+}
+export interface ManifestSkill {
+    chunk: string;
+}
+export interface ManifestProjection {
+    eventTypes: string[];
+    chunk: string;
+}
+export interface LoomManifest {
+    version: "1";
+    flows: Record<string, ManifestFlow>;
+    skills: Record<string, ManifestSkill>;
+    projections: Record<string, ManifestProjection>;
+    /** Deduplicated, sorted list of source modules that declare flows. */
+    flowModules: string[];
+}
+export declare function buildManifest(state: PluginState, outDir?: string, root?: string): LoomManifest;
+export declare function printWarnings(manifest: LoomManifest): void;
+//# sourceMappingURL=manifest.d.ts.map

package/dist/manifest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../src/manifest.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAa,MAAM,SAAS,CAAC;AAEtD,sFAAsF;AACtF,eAAO,MAAM,yBAAyB,MAAM,CAAC;AAE7C,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB;;;;OAIG;IACH,YAAY,CAAC,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC9F;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACvF;;;;;;OAMG;IACH,WAAW,CAAC,EAAE;QACZ,KAAK,EAAE,KAAK,CAAC;YAAE,MAAM,CAAC,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,CAAC,EAAE,OAAO,CAAA;SAAE,CAAC,CAAC;QACxE,UAAU,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;YAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;QACjF,QAAQ,EAAE,KAAK,CAAC;YACd,EAAE,CAAC,EAAE,MAAM,CAAC;YACZ,cAAc,CAAC,EAAE,MAAM,CAAC;YACxB,KAAK,CAAC,EAAE,OAAO,CAAC;YAChB,MAAM,CAAC,EAAE,OAAO,CAAC;SAClB,CAAC,CAAC;QACH,sGAAsG;QACtG,OAAO,CAAC,EAAE,KAAK,CAAC;YACd,MAAM,EAAE,MAAM,CAAC;YACf,IAAI,CAAC,EAAE,MAAM,CAAC;YACd,GAAG,EAAE,KAAK,GAAG,QAAQ,CAAC;YACtB,MAAM,CAAC,EAAE,MAAM,CAAC;YAChB,0EAA0E;YAC1E,IAAI,CAAC,EAAE,KAAK,CAAC;gBAAE,KAAK,EAAE,MAAM,CAAC;gBAAC,IAAI,EAAE;oBAAE,MAAM,CAAC,EAAE,MAAM,CAAC;oBAAC,MAAM,EAAE,MAAM,CAAA;iBAAE,CAAA;aAAE,CAAC,CAAC;YAC3E,QAAQ,CAAC,EAAE,MAAM,CAAC;SACnB,CAAC,CAAC;KACJ,CAAC;IACF;;;;;;OAMG;IACH,MAAM,EAAE,MAAM,CAAC;CAChB;AAKD,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;CACf;AAKD,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,GAAG,CAAC;IACb,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACpC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACtC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAChD,sEAAsE;IACtE,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAQD,wBAAgB,aAAa,CAC3B,KAAK,EAAE,WAAW,EAClB,MAAM,SAAM,EACZ,IAAI,GAAE,MAAsB,GAC3B,YAAY,CA4Ed;AAED,wBAAgB,aAAa,CAAC,QAAQ,EAAE,YAAY,GAAG,IAAI,CAW1D"}

package/dist/manifest.js

@@ -0,0 +1,123 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.COMPILER_MANIFEST_VERSION = void 0;
+exports.buildManifest = buildManifest;
+exports.printWarnings = printWarnings;
+const path = __importStar(require("node:path"));
+/** The compiler manifest schema version (not semver — a monotonic integer string). */
+exports.COMPILER_MANIFEST_VERSION = "1";
+function relModule(sourceFile, root) {
+    if (!sourceFile)
+        return sourceFile;
+    const rel = path.isAbsolute(sourceFile) ? path.relative(root, sourceFile) : sourceFile;
+    return rel.split(path.sep).join("/");
+}
+function buildManifest(state, outDir = ".", root = process.cwd()) {
+    const flows = {};
+    const skills = {};
+    const flowModuleSet = new Set();
+    for (const [flowId, flow] of state.flows) {
+        const chunkMap = {};
+        const warnings = [];
+        for (const stepId of flow.stepIds) {
+            const step = state.steps.get(stepId);
+            if (!step) {
+                warnings.push(`Step "${stepId}" is referenced in flow "${flowId}" but not found in analysis.`);
+                continue;
+            }
+            if (step.chunkVirtualId !== undefined) {
+                const fileName = `chunks/${stepId}_${step.hash}.js`;
+                chunkMap[stepId] = `${outDir}/${fileName}`;
+            }
+            else if (!step.toolId) {
+                warnings.push(`Step "${stepId}" in flow "${flowId}" has neither a handler$ nor a toolId — it must be registered manually. (Steps minted dynamically in the runner body — the interpreter pattern — should instead bind a static toolId to a registered effect and derive ids as \`\${id}#\${index}\`; see ADR 0061.)`);
+            }
+        }
+        // ADR 0061 — surface loop step-identity findings as warnings (rendered) AND
+        // structurally (for @loomwork/verify's determinism rule via loopIdentityCalls).
+        for (const f of flow.loopIdentityFindings ?? []) {
+            warnings.push(`Flow "${flowId}": ctx.${f.callee} inside ${f.loopKind} uses a step id that cannot vary per iteration (${f.reason}) — frames are keyed by id, so later iterations replay iteration 0's output. Mint \`\${id}#\${index}\` (ADR 0061).`);
+        }
+        const module = relModule(flow.sourceFile, root);
+        if (module)
+            flowModuleSet.add(module);
+        flows[flowId] = {
+            version: flow.version,
+            steps: flow.stepIds,
+            chunkMap,
+            suspendPoints: flow.suspendPoints,
+            warnings,
+            module,
+            ...(flow.loopIdentityFindings !== undefined &&
+                flow.loopIdentityFindings.length > 0 && { loopIdentity: flow.loopIdentityFindings }),
+            ...(flow.nonDeterministicCalls !== undefined &&
+                flow.nonDeterministicCalls.length > 0 && { nonDeterministic: flow.nonDeterministicCalls }),
+            ...(flow.runnerReach !== undefined && { runnerReach: flow.runnerReach }),
+        };
+    }
+    for (const [skillId, skill] of state.skills) {
+        skills[skillId] = {
+            chunk: skill.chunkVirtualId ? `${outDir}/chunks/${skillId}_${skill.hash}.js` : "",
+        };
+    }
+    const projections = {};
+    for (const [projectionId, projection] of state.projections) {
+        projections[projectionId] = {
+            eventTypes: projection.eventTypes,
+            chunk: projection.chunkVirtualId
+                ? `${outDir}/chunks/${projectionId}_${projection.hash}.js`
+                : "",
+        };
+    }
+    return {
+        version: exports.COMPILER_MANIFEST_VERSION,
+        flows,
+        skills,
+        projections,
+        flowModules: [...flowModuleSet].sort(),
+    };
+}
+function printWarnings(manifest) {
+    for (const [flowId, flow] of Object.entries(manifest.flows)) {
+        for (const warning of flow.warnings) {
+            console.warn(`[loom-compiler] ⚠  ${warning}`);
+        }
+        if (flow.warnings.length === 0) {
+            console.info(`[loom-compiler] ✓  flow "${flowId}" — ${flow.steps.length} step(s), ${Object.keys(flow.chunkMap).length} lazy chunk(s)`);
+        }
+    }
+}
+//# sourceMappingURL=manifest.js.map

package/dist/manifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.js","sourceRoot":"","sources":["../src/manifest.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2FA,sCAgFC;AAED,sCAWC;AAxLD,gDAAkC;AAGlC,sFAAsF;AACzE,QAAA,yBAAyB,GAAG,GAAG,CAAC;AAiF7C,SAAS,SAAS,CAAC,UAAkB,EAAE,IAAY;IACjD,IAAI,CAAC,UAAU;QAAE,OAAO,UAAU,CAAC;IACnC,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;IACvF,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvC,CAAC;AAED,SAAgB,aAAa,CAC3B,KAAkB,EAClB,MAAM,GAAG,GAAG,EACZ,OAAe,OAAO,CAAC,GAAG,EAAE;IAE5B,MAAM,KAAK,GAAiC,EAAE,CAAC;IAC/C,MAAM,MAAM,GAAkC,EAAE,CAAC;IACjD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IAExC,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QACzC,MAAM,QAAQ,GAA2B,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,MAAM,IAAI,GAA0B,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5D,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,QAAQ,CAAC,IAAI,CACX,SAAS,MAAM,4BAA4B,MAAM,8BAA8B,CAChF,CAAC;gBACF,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;gBACtC,MAAM,QAAQ,GAAG,UAAU,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;gBACpD,QAAQ,CAAC,MAAM,CAAC,GAAG,GAAG,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC7C,CAAC;iBAAM,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACxB,QAAQ,CAAC,IAAI,CACX,SAAS,MAAM,cAAc,MAAM,oQAAoQ,CACxS,CAAC;YACJ,CAAC;QACH,CAAC;QAED,4EAA4E;QAC5E,gFAAgF;QAChF,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,oBAAoB,IAAI,EAAE,EAAE,CAAC;YAChD,QAAQ,CAAC,IAAI,CACX,SAAS,MAAM,UAAU,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,QAAQ,mDAAmD,CAAC,CAAC,MAAM,oHAAoH,CACtO,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,MAAM;YAAE,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAEtC,KAAK,CAAC,MAAM,CAAC,GAAG;YACd,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,KAAK,EAAE,IAAI,CAAC,OAAO;YACnB,QAAQ;YACR,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,QAAQ;YACR,MAAM;YACN,GAAG,CAAC,IAAI,CAAC,oBAAoB,KAAK,SAAS;gBACzC,IAAI,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,oBAAoB,EAAE,CAAC;YACtF,GAAG,CAAC,IAAI,CAAC,qBAAqB,KAAK,SAAS;gBAC1C,IAAI,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,gBAAgB,EAAE,IAAI,CAAC,qBAAqB,EAAE,CAAC;YAC5F,GAAG,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;SACzE,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC5C,MAAM,CAAC,OAAO,CAAC,GAAG;YAChB,KAAK,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,WAAW,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE;SAClF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAuC,EAAE,CAAC;IAC3D,KAAK,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QAC3D,WAAW,CAAC,YAAY,CAAC,GAAG;YAC1B,UAAU,EAAE,UAAU,CAAC,UAAU;YACjC,KAAK,EAAE,UAAU,CAAC,cAAc;gBAC9B,CAAC,CAAC,GAAG,MAAM,WAAW,YAAY,IAAI,UAAU,CAAC,IAAI,KAAK;gBAC1D,CAAC,CAAC,EAAE;SACP,CAAC;IACJ,CAAC;IAED,OAAO;QACL,OAAO,EAAE,iCAAyB;QAClC,KAAK;QACL,MAAM;QACN,WAAW;QACX,WAAW,EAAE,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,EAAE;KACvC,CAAC;AACJ,CAAC;AAED,SAAgB,aAAa,CAAC,QAAsB;IAClD,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5D,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC,sBAAsB,OAAO,EAAE,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO,CAAC,IAAI,CACV,4BAA4B,MAAM,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,aAAa,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,gBAAgB,CACzH,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/nondeterminism.d.ts

@@ -0,0 +1,25 @@
+import ts from "typescript";
+export interface NonDeterministicCall {
+    callee: string;
+    /** True if the call is inside a `ctx.decide`/`ctx.execute` call (its result is logged). */
+    insideDecide: boolean;
+    location?: string;
+}
+export interface AnalyzeOptions {
+    /**
+     * Skip `handler$(...)` bodies. Required when analyzing a whole MODULE rather
+     * than an isolated runner: a flow module contains both, and reporting a
+     * handler's `Math.random` is a false positive — which is precisely the
+     * distinction this file's header describes, and precisely what a caller
+     * feeding it whole modules will otherwise get wrong.
+     */
+    skipMemoized?: boolean;
+}
+/** Analyze a parsed node (a function/body) for non-deterministic calls. */
+export declare function analyzeNode(root: ts.Node, location?: string, options?: AnalyzeOptions): NonDeterministicCall[];
+/**
+ * Analyze a source string (e.g. a flow runner / orchestration body) for non-deterministic
+ * calls. Feed the result to `@loomwork/verify` via `resolveVerifyInput({ nonDeterministicByFlow })`.
+ */
+export declare function analyzeNonDeterminism(source: string, location?: string, options?: AnalyzeOptions): NonDeterministicCall[];
+//# sourceMappingURL=nondeterminism.d.ts.map

package/dist/nondeterminism.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nondeterminism.d.ts","sourceRoot":"","sources":["../src/nondeterminism.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAgB5B,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,2FAA2F;IAC3F,YAAY,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAkDD,MAAM,WAAW,cAAc;IAC7B;;;;;;OAMG;IACH,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,2EAA2E;AAC3E,wBAAgB,WAAW,CACzB,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,QAAQ,CAAC,EAAE,MAAM,EACjB,OAAO,GAAE,cAAmB,GAC3B,oBAAoB,EAAE,CAgCxB;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,MAAM,EACd,QAAQ,CAAC,EAAE,MAAM,EACjB,OAAO,GAAE,cAAmB,GAC3B,oBAAoB,EAAE,CAGxB"}

package/dist/nondeterminism.js

@@ -0,0 +1,88 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.analyzeNode = analyzeNode;
+exports.analyzeNonDeterminism = analyzeNonDeterminism;
+const typescript_1 = __importDefault(require("typescript"));
+/** Member calls whose result is non-deterministic (object.method form). */
+const NON_DET_MEMBER_CALLS = new Set([
+    "Date.now",
+    "Math.random",
+    "crypto.randomUUID",
+    "crypto.getRandomValues",
+    "performance.now",
+]);
+/** Bare (identifier) calls that are non-deterministic / side-effectful. */
+const NON_DET_BARE_CALLS = new Set(["fetch"]);
+function calleeName(node) {
+    const e = node.expression;
+    if (typescript_1.default.isIdentifier(e))
+        return e.text;
+    if (typescript_1.default.isPropertyAccessExpression(e) &&
+        typescript_1.default.isIdentifier(e.name) &&
+        typescript_1.default.isIdentifier(e.expression)) {
+        return `${e.expression.text}.${e.name.text}`;
+    }
+    return undefined;
+}
+/** A `ctx.decide(...)`/`ctx.execute(...)`-shaped call (any receiver, method name decide/execute). */
+function isDecideBoundary(node) {
+    if (!typescript_1.default.isCallExpression(node))
+        return false;
+    const e = node.expression;
+    return (typescript_1.default.isPropertyAccessExpression(e) &&
+        typescript_1.default.isIdentifier(e.name) &&
+        (e.name.text === "decide" || e.name.text === "execute"));
+}
+/**
+ * A `handler$(...)` call — a MEMOIZED region. Its result is written to
+ * STEP_COMPLETED and served from the log on replay, so `Math.random()` inside
+ * one is safe by construction; the same call in a runner diverges the fold.
+ */
+function isMemoizedBoundary(node) {
+    return (typescript_1.default.isCallExpression(node) &&
+        typescript_1.default.isIdentifier(node.expression) &&
+        node.expression.text === "handler$");
+}
+/** Analyze a parsed node (a function/body) for non-deterministic calls. */
+function analyzeNode(root, location, options = {}) {
+    const calls = [];
+    const ancestors = [];
+    function record(callee) {
+        const insideDecide = ancestors.some(isDecideBoundary);
+        calls.push({ callee, insideDecide, ...(location !== undefined && { location }) });
+    }
+    function visit(node) {
+        if (options.skipMemoized === true && isMemoizedBoundary(node))
+            return;
+        ancestors.push(node);
+        if (typescript_1.default.isCallExpression(node)) {
+            const name = calleeName(node);
+            if (name !== undefined && (NON_DET_MEMBER_CALLS.has(name) || NON_DET_BARE_CALLS.has(name))) {
+                record(name);
+            }
+        }
+        else if (typescript_1.default.isNewExpression(node) &&
+            typescript_1.default.isIdentifier(node.expression) &&
+            node.expression.text === "Date" &&
+            (node.arguments === undefined || node.arguments.length === 0)) {
+            // `new Date()` with no args reads the current time.
+            record("new Date");
+        }
+        typescript_1.default.forEachChild(node, visit);
+        ancestors.pop();
+    }
+    visit(root);
+    return calls;
+}
+/**
+ * Analyze a source string (e.g. a flow runner / orchestration body) for non-deterministic
+ * calls. Feed the result to `@loomwork/verify` via `resolveVerifyInput({ nonDeterministicByFlow })`.
+ */
+function analyzeNonDeterminism(source, location, options = {}) {
+    const sf = typescript_1.default.createSourceFile("nondet.ts", source, typescript_1.default.ScriptTarget.ESNext, true);
+    return analyzeNode(sf, location, options);
+}
+//# sourceMappingURL=nondeterminism.js.map

package/dist/nondeterminism.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nondeterminism.js","sourceRoot":"","sources":["../src/nondeterminism.ts"],"names":[],"mappings":";;;;;AAmFA,kCAoCC;AAMD,sDAOC;AApID,4DAA4B;AAuB5B,2EAA2E;AAC3E,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IACnC,UAAU;IACV,aAAa;IACb,mBAAmB;IACnB,wBAAwB;IACxB,iBAAiB;CAClB,CAAC,CAAC;AACH,2EAA2E;AAC3E,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AAE9C,SAAS,UAAU,CAAC,IAAuB;IACzC,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;IAC1B,IAAI,oBAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC;IACtC,IACE,oBAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC;QAChC,oBAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;QACvB,oBAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,EAC7B,CAAC;QACD,OAAO,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAC/C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,qGAAqG;AACrG,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,CAAC,oBAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;IAC1B,OAAO,CACL,oBAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC;QAChC,oBAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;QACvB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CACxD,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,IAAa;IACvC,OAAO,CACL,oBAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,oBAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CACpC,CAAC;AACJ,CAAC;AAaD,2EAA2E;AAC3E,SAAgB,WAAW,CACzB,IAAa,EACb,QAAiB,EACjB,UAA0B,EAAE;IAE5B,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,MAAM,SAAS,GAAc,EAAE,CAAC;IAEhC,SAAS,MAAM,CAAC,MAAc;QAC5B,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;IACpF,CAAC;IAED,SAAS,KAAK,CAAC,IAAa;QAC1B,IAAI,OAAO,CAAC,YAAY,KAAK,IAAI,IAAI,kBAAkB,CAAC,IAAI,CAAC;YAAE,OAAO;QACtE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,oBAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBAC3F,MAAM,CAAC,IAAI,CAAC,CAAC;YACf,CAAC;QACH,CAAC;aAAM,IACL,oBAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACxB,oBAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM;YAC/B,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,EAC7D,CAAC;YACD,oDAAoD;YACpD,MAAM,CAAC,UAAU,CAAC,CAAC;QACrB,CAAC;QACD,oBAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7B,SAAS,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAgB,qBAAqB,CACnC,MAAc,EACd,QAAiB,EACjB,UAA0B,EAAE;IAE5B,MAAM,EAAE,GAAG,oBAAE,CAAC,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,oBAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAClF,OAAO,WAAW,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC"}

package/dist/plugin.d.ts

@@ -0,0 +1,3 @@
+import type { Plugin } from "vite";
+export declare function loomPlugin(): Plugin;
+//# sourceMappingURL=plugin.d.ts.map

package/dist/plugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../src/plugin.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,MAAM,EAAkB,MAAM,MAAM,CAAC;AAOnD,wBAAgB,UAAU,IAAI,MAAM,CAgEnC"}

package/dist/plugin.js

@@ -0,0 +1,71 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.loomPlugin = loomPlugin;
+const node_path_1 = __importDefault(require("node:path"));
+const typescript_1 = __importDefault(require("typescript"));
+const manifest_1 = require("./manifest");
+const transform_1 = require("./transform");
+const VIRTUAL_PREFIX = "\0loom:chunk:";
+function loomPlugin() {
+    const state = {
+        chunks: new Map(),
+        steps: new Map(),
+        stepsByVarName: new Map(),
+        flows: new Map(),
+        skills: new Map(),
+        skillsByVarName: new Map(),
+        projections: new Map(),
+    };
+    let resolvedConfig;
+    return {
+        name: "loom",
+        enforce: "pre",
+        configResolved(config) {
+            resolvedConfig = config;
+        },
+        resolveId(id) {
+            if (id.startsWith(VIRTUAL_PREFIX) || id.startsWith("\0loom:")) {
+                return id;
+            }
+            return undefined;
+        },
+        load(id) {
+            if (id.startsWith(VIRTUAL_PREFIX)) {
+                const chunk = state.chunks.get(id);
+                if (chunk) {
+                    // Transpile TS → JS so Vite/Rollup can parse the chunk (no .ts extension on virtual ids)
+                    const result = typescript_1.default.transpileModule(chunk.chunkSource, {
+                        compilerOptions: {
+                            target: typescript_1.default.ScriptTarget.ESNext,
+                            module: typescript_1.default.ModuleKind.ESNext,
+                        },
+                    });
+                    return { code: result.outputText };
+                }
+            }
+            return undefined;
+        },
+        transform(code, id) {
+            if (!/\.[jt]sx?$/.test(id) || id.includes("node_modules"))
+                return undefined;
+            const result = (0, transform_1.transformFile)(code, id, state);
+            if (!result)
+                return undefined;
+            return { code: result.code, map: result.map };
+        },
+        generateBundle() {
+            const outDir = resolvedConfig?.build?.outDir ?? "dist";
+            const manifest = (0, manifest_1.buildManifest)(state, node_path_1.default.relative(process.cwd(), outDir));
+            (0, manifest_1.printWarnings)(manifest);
+            this.emitFile({
+                type: "asset",
+                fileName: "loom-manifest.json",
+                source: JSON.stringify(manifest, null, 2),
+            });
+        },
+    };
+}
+//# sourceMappingURL=plugin.js.map

package/dist/plugin.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin.js","sourceRoot":"","sources":["../src/plugin.ts"],"names":[],"mappings":";;;;;AASA,gCAgEC;AAzED,0DAA6B;AAC7B,4DAA4B;AAE5B,yCAA0D;AAC1D,2CAA4C;AAG5C,MAAM,cAAc,GAAG,eAAe,CAAC;AAEvC,SAAgB,UAAU;IACxB,MAAM,KAAK,GAAgB;QACzB,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,WAAW,EAAE,IAAI,GAAG,EAAE;KACvB,CAAC;IAEF,IAAI,cAA8B,CAAC;IAEnC,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,KAAK;QAEd,cAAc,CAAC,MAAM;YACnB,cAAc,GAAG,MAAM,CAAC;QAC1B,CAAC;QAED,SAAS,CAAC,EAAE;YACV,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC9D,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,CAAC,EAAE;YACL,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;gBAClC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACnC,IAAI,KAAK,EAAE,CAAC;oBACV,yFAAyF;oBACzF,MAAM,MAAM,GAAG,oBAAE,CAAC,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE;wBACnD,eAAe,EAAE;4BACf,MAAM,EAAE,oBAAE,CAAC,YAAY,CAAC,MAAM;4BAC9B,MAAM,EAAE,oBAAE,CAAC,UAAU,CAAC,MAAM;yBAC7B;qBACF,CAAC,CAAC;oBACH,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC;gBACrC,CAAC;YACH,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,SAAS,CAAC,IAAI,EAAE,EAAE;YAChB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC5E,MAAM,MAAM,GAAG,IAAA,yBAAa,EAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;YAC9C,IAAI,CAAC,MAAM;gBAAE,OAAO,SAAS,CAAC;YAC9B,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;QAChD,CAAC;QAED,cAAc;YACZ,MAAM,MAAM,GAAG,cAAc,EAAE,KAAK,EAAE,MAAM,IAAI,MAAM,CAAC;YACvD,MAAM,QAAQ,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,mBAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;YAC5E,IAAA,wBAAa,EAAC,QAAQ,CAAC,CAAC;YAExB,IAAI,CAAC,QAAQ,CAAC;gBACZ,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,oBAAoB;gBAC9B,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;aAC1C,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC"}