typekro 0.3.1 → 0.5.0

package/dist/core/expressions/composition/composition-analyzer-ternary.js

@@ -0,0 +1,364 @@
+/**
+ * Ternary detection and collection aggregate analysis for the composition analyzer.
+ *
+ * Handles:
+ * - Ternary expressions in factory arguments → CEL conditionals in templates
+ * - Ternary expressions in return statements → CEL conditionals in status
+ * - Collection aggregate patterns (`.map().length`, `.every()`, `.some()`, etc.)
+ */
+import { getComponentLogger } from '../../logging/index.js';
+import { expressionToCel, factoryArgKeyToTemplatePath, findFactoryCallsInSubtree, getSource, isCompileTimeLiteral, referencesSpec, } from './composition-analyzer-helpers.js';
+const logger = getComponentLogger('composition-analyzer');
+// ---------------------------------------------------------------------------
+// Ternary detection in factory arguments and status returns
+// ---------------------------------------------------------------------------
+/**
+ * Scan a factory call's ObjectExpression argument for property values that are
+ * ConditionalExpression (ternary) nodes referencing the spec parameter.
+ *
+ * At runtime, `spec.env === 'production' ? 3 : 1` evaluates to `1` because
+ * `===` on proxies returns false. But in the serialized Kro YAML, this should
+ * be a CEL conditional: `${schema.spec.env == "production" ? 3 : 1}`.
+ *
+ * Detected ternaries are stored as templateOverrides in the analysis result.
+ */
+export function analyzeFactoryArgTernaries(call, resourceId, fullSource, specParamName, result) {
+    const firstArg = call.arguments[0];
+    if (!firstArg || firstArg.type !== 'ObjectExpression')
+        return;
+    const properties = firstArg.properties;
+    if (!properties)
+        return;
+    for (const prop of properties) {
+        if (prop.type !== 'Property')
+            continue;
+        // Only handle ternary values
+        if (prop.value.type !== 'ConditionalExpression')
+            continue;
+        const ternary = prop.value;
+        // Only convert if the condition references the spec parameter
+        if (!referencesSpec(ternary.test, specParamName))
+            continue;
+        // Skip if condition is a compile-time literal
+        if (isCompileTimeLiteral(ternary.test))
+            continue;
+        // Get the property key name
+        const key = prop.key;
+        const keyName = key.type === 'Identifier'
+            ? key.name
+            : key.type === 'Literal'
+                ? String(key.value)
+                : undefined;
+        if (!keyName)
+            continue;
+        const templatePath = factoryArgKeyToTemplatePath(keyName);
+        if (!templatePath)
+            continue;
+        // Convert the full ternary expression to CEL
+        const celExpr = expressionToCel(ternary, fullSource, specParamName);
+        // Store the override
+        let overrides = result.templateOverrides.get(resourceId);
+        if (!overrides) {
+            overrides = [];
+            result.templateOverrides.set(resourceId, overrides);
+        }
+        overrides.push({ propertyPath: templatePath, celExpression: celExpr });
+        logger.debug('Detected ternary in factory argument', {
+            resourceId,
+            property: keyName,
+            templatePath,
+            cel: celExpr,
+        });
+    }
+}
+/**
+ * Analyze a ReturnStatement's object literal for ternary expressions
+ * referencing the spec parameter. These become status overrides.
+ */
+export function analyzeReturnStatementTernaries(returnNode, fullSource, specParamName, result) {
+    const argument = returnNode.argument;
+    if (!argument || argument.type !== 'ObjectExpression')
+        return;
+    const properties = argument.properties;
+    if (!properties)
+        return;
+    for (const prop of properties) {
+        if (prop.type !== 'Property')
+            continue;
+        // Only handle ternary values
+        if (prop.value.type !== 'ConditionalExpression')
+            continue;
+        const ternary = prop.value;
+        // Only convert if the condition references the spec parameter
+        if (!referencesSpec(ternary.test, specParamName))
+            continue;
+        // Skip if condition is a compile-time literal
+        if (isCompileTimeLiteral(ternary.test))
+            continue;
+        // Get the property key name
+        const key = prop.key;
+        const keyName = key.type === 'Identifier'
+            ? key.name
+            : key.type === 'Literal'
+                ? String(key.value)
+                : undefined;
+        if (!keyName)
+            continue;
+        // Convert the full ternary expression to CEL
+        const celExpr = expressionToCel(ternary, fullSource, specParamName);
+        result.statusOverrides.push({ propertyPath: keyName, celExpression: celExpr });
+        logger.debug('Detected ternary in return statement', {
+            property: keyName,
+            cel: celExpr,
+        });
+    }
+}
+// ---------------------------------------------------------------------------
+// Collection aggregate analysis (Phase 3)
+// ---------------------------------------------------------------------------
+/**
+ * Check if a CallExpression is a `.map()` call on a spec array whose callback
+ * contains factory calls. If so, return the resource ID from the factory.
+ *
+ * Matches: spec.workers.map(worker => Deployment({...}))
+ * Also matches transpiled inline forms (no variable assignment).
+ */
+export function findFactoryMapCall(node, specParamName) {
+    if (node.type !== 'CallExpression')
+        return undefined;
+    const call = node;
+    if (call.callee.type !== 'MemberExpression')
+        return undefined;
+    const member = call.callee;
+    const methodName = member.property.type === 'Identifier' ? member.property.name : undefined;
+    if (methodName !== 'map')
+        return undefined;
+    // Check that the object references the spec parameter
+    if (!referencesSpec(member.object, specParamName))
+        return undefined;
+    // Find factory calls in the callback
+    const callback = call.arguments[0];
+    if (!callback)
+        return undefined;
+    const factoryCalls = findFactoryCallsInSubtree(callback);
+    if (factoryCalls.length === 0)
+        return undefined;
+    return factoryCalls[0]?.id;
+}
+/**
+ * Convert a callback expression to a CEL lambda body.
+ *
+ * Given: `(w) => w.status.readyReplicas > 0`
+ * Extracts the body source and replaces `w.status.X` with the CEL form.
+ * The callback parameter becomes the CEL lambda variable.
+ */
+export function callbackToCelLambda(callbackNode, fullSource, _resourceId) {
+    if (callbackNode.type !== 'ArrowFunctionExpression' &&
+        callbackNode.type !== 'FunctionExpression') {
+        return undefined;
+    }
+    const params = callbackNode.params;
+    if (!params[0] || params[0].type !== 'Identifier')
+        return undefined;
+    const lambdaVar = params[0].name;
+    // Get the body source
+    const bodyNode = callbackNode.body;
+    let bodySource;
+    if (bodyNode.type === 'BlockStatement') {
+        // Block body with return: { return expr; }
+        const stmts = bodyNode.body;
+        const returnStmt = stmts.find((s) => s.type === 'ReturnStatement');
+        if (!returnStmt)
+            return undefined;
+        const arg = returnStmt.argument;
+        if (!arg)
+            return undefined;
+        bodySource = getSource(arg, fullSource);
+    }
+    else {
+        // Concise arrow body: (w) => expr
+        bodySource = getSource(bodyNode, fullSource);
+    }
+    // JS → CEL operator conversions
+    bodySource = bodySource.replace(/===/g, '==');
+    bodySource = bodySource.replace(/!==/g, '!=');
+    return { lambdaVar, body: bodySource };
+}
+/**
+ * Analyze the return statement for collection aggregate expressions.
+ *
+ * Detects patterns like (with or without intermediate variables):
+ *   spec.workers.map(cb).length → size(workerDep)
+ *   spec.workers.map(cb).every((w) => ...) → workerDep.all(w, ...)
+ *   spec.workers.map(cb).some((w) => ...) → workerDep.exists(w, ...)
+ *   spec.workers.map(cb).filter((w) => ...).length → size(workerDep.filter(w, ...))
+ *   spec.workers.map(cb).map((w) => ...).join(sep) → workerDep.map(w, ...).join(sep)
+ *
+ * Also handles transpiled forms where variable assignments are inlined.
+ */
+export function analyzeReturnCollectionAggregates(returnNode, fullSource, _collections, specParamName, result) {
+    const argument = returnNode.argument;
+    if (!argument || argument.type !== 'ObjectExpression')
+        return;
+    const properties = argument.properties;
+    if (!properties)
+        return;
+    for (const prop of properties) {
+        if (prop.type !== 'Property')
+            continue;
+        const keyName = prop.key.type === 'Identifier'
+            ? prop.key.name
+            : prop.key.type === 'Literal'
+                ? String(prop.key.value)
+                : undefined;
+        if (!keyName)
+            continue;
+        const celExpr = convertCollectionExpressionToCel(prop.value, fullSource, specParamName, _collections);
+        if (celExpr) {
+            result.statusOverrides.push({ propertyPath: keyName, celExpression: celExpr });
+            logger.debug('Detected collection aggregate in return statement', {
+                property: keyName,
+                cel: celExpr,
+            });
+        }
+    }
+}
+/**
+ * Try to convert an expression node containing collection aggregate patterns to CEL.
+ *
+ * Detects patterns like `spec.workers.map(factoryCb).length` and converts to
+ * `size(workerDep)`. Works directly on the expression tree without requiring
+ * variable tracking (handles transpiler inlining).
+ *
+ * Returns the CEL expression string (wrapped in ${}) or undefined.
+ */
+export function convertCollectionExpressionToCel(node, fullSource, specParamName, collections) {
+    // Pattern: expr.length → size(resourceId) or size(chainedExpr)
+    if (node.type === 'MemberExpression') {
+        const member = node;
+        if (member.property.type === 'Identifier' &&
+            member.property.name === 'length') {
+            // Direct: spec.arr.map(factoryCb).length → size(resourceId)
+            const resourceId = findFactoryMapCall(member.object, specParamName);
+            if (resourceId)
+                return `\${size(${resourceId})}`;
+            // Variable-based: deployments.length → size(resourceId)
+            // where `const deployments = spec.arr.map(factoryCb)` was tracked
+            if (member.object.type === 'Identifier' && collections) {
+                const varName = member.object.name;
+                const tracked = collections.get(varName);
+                if (tracked)
+                    return `\${size(${tracked.resourceId})}`;
+            }
+            // Chained: spec.arr.map(factoryCb).filter(...).length → size(filter expr)
+            if (member.object.type === 'CallExpression') {
+                const inner = convertCollectionCallToCel(member.object, fullSource, specParamName, collections);
+                if (inner)
+                    return `\${size(${inner})}`;
+            }
+        }
+        return undefined;
+    }
+    // Pattern: expr.every/some/filter/map/join(...)
+    if (node.type === 'CallExpression') {
+        const celInner = convertCollectionCallToCel(node, fullSource, specParamName, collections);
+        if (celInner)
+            return `\${${celInner}}`;
+    }
+    return undefined;
+}
+/**
+ * Convert a call expression on a factory-producing collection to CEL (unwrapped).
+ *
+ * Walks up the chain to find the originating `spec.arr.map(factoryCb)` call,
+ * extracts the resource ID, then converts the aggregate method to CEL.
+ *
+ * Returns the CEL expression WITHOUT ${} wrapper, or undefined.
+ */
+export function convertCollectionCallToCel(call, fullSource, specParamName, collections) {
+    if (call.callee.type !== 'MemberExpression')
+        return undefined;
+    const member = call.callee;
+    const methodName = member.property.type === 'Identifier' ? member.property.name : undefined;
+    if (!methodName)
+        return undefined;
+    // Try to resolve: either this method is called on a factory-map result,
+    // or on a chained intermediate (filter/map result).
+    let resourceId;
+    let chainedPrefix;
+    // Check if the object is directly a spec.arr.map(factoryCb) call
+    resourceId = findFactoryMapCall(member.object, specParamName);
+    // Check if the object is a tracked collection variable (e.g., `deployments.every(...)`)
+    if (!resourceId && member.object.type === 'Identifier' && collections) {
+        const varName = member.object.name;
+        const tracked = collections.get(varName);
+        if (tracked) {
+            resourceId = tracked.resourceId;
+        }
+    }
+    if (!resourceId && member.object.type === 'CallExpression') {
+        // Chained: spec.arr.map(factoryCb).filter(...).length
+        // or: deployments.filter(...).length
+        // The object is another call — recurse to get the inner CEL
+        chainedPrefix = convertCollectionCallToCel(member.object, fullSource, specParamName, collections);
+    }
+    if (!resourceId && !chainedPrefix)
+        return undefined;
+    const base = chainedPrefix || resourceId;
+    switch (methodName) {
+        case 'every': {
+            const cb = call.arguments[0];
+            if (!cb)
+                return undefined;
+            const lambda = callbackToCelLambda(cb, fullSource, base);
+            if (!lambda)
+                return undefined;
+            return `${base}.all(${lambda.lambdaVar}, ${lambda.body})`;
+        }
+        case 'some': {
+            const cb = call.arguments[0];
+            if (!cb)
+                return undefined;
+            const lambda = callbackToCelLambda(cb, fullSource, base);
+            if (!lambda)
+                return undefined;
+            return `${base}.exists(${lambda.lambdaVar}, ${lambda.body})`;
+        }
+        case 'filter': {
+            const cb = call.arguments[0];
+            if (!cb)
+                return undefined;
+            const lambda = callbackToCelLambda(cb, fullSource, base);
+            if (!lambda)
+                return undefined;
+            return `${base}.filter(${lambda.lambdaVar}, ${lambda.body})`;
+        }
+        case 'map': {
+            // Note: this is the aggregate .map() (on the collection result),
+            // NOT the factory-producing .map() on spec.array.
+            // If it's the factory-producing map, findFactoryMapCall would have returned the resourceId.
+            const cb = call.arguments[0];
+            if (!cb)
+                return undefined;
+            const lambda = callbackToCelLambda(cb, fullSource, base);
+            if (!lambda)
+                return undefined;
+            return `${base}.map(${lambda.lambdaVar}, ${lambda.body})`;
+        }
+        case 'join': {
+            if (!chainedPrefix && resourceId) {
+                // Direct: spec.arr.map(factoryCb).join(sep) — need the base as resourceId
+                // But actually this doesn't make sense for a factory-producing map
+                return undefined;
+            }
+            if (!chainedPrefix)
+                return undefined;
+            const sepArg = call.arguments[0];
+            const separator = sepArg?.type === 'Literal' ? String(sepArg.value) : ', ';
+            return `${chainedPrefix}.join('${separator}')`;
+        }
+        default:
+            return undefined;
+    }
+}
+//# sourceMappingURL=composition-analyzer-ternary.js.map

package/dist/core/expressions/composition/composition-analyzer-ternary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"composition-analyzer-ternary.js","sourceRoot":"","sources":["../../../../src/core/expressions/composition/composition-analyzer-ternary.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EACL,eAAe,EACf,2BAA2B,EAC3B,yBAAyB,EACzB,SAAS,EACT,oBAAoB,EACpB,cAAc,GACf,MAAM,mCAAmC,CAAC;AAa3C,MAAM,MAAM,GAAG,kBAAkB,CAAC,sBAAsB,CAAC,CAAC;AAE1D,8EAA8E;AAC9E,4DAA4D;AAC5D,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B,CACxC,IAAoB,EACpB,UAAkB,EAClB,UAAkB,EAClB,aAAqB,EACrB,MAAyB;IAEzB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO;IAE9D,MAAM,UAAU,GAAI,QAAiD,CAAC,UAAU,CAAC;IACjF,IAAI,CAAC,UAAU;QAAE,OAAO;IAExB,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QAEvC,6BAA6B;QAC7B,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,uBAAuB;YAAE,SAAS;QAE1D,MAAM,OAAO,GAAG,IAAI,CAAC,KAA8B,CAAC;QAEpD,8DAA8D;QAC9D,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC;YAAE,SAAS;QAE3D,8CAA8C;QAC9C,IAAI,oBAAoB,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QAEjD,4BAA4B;QAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,OAAO,GACX,GAAG,CAAC,IAAI,KAAK,YAAY;YACvB,CAAC,CAAE,GAAkB,CAAC,IAAI;YAC1B,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;gBACtB,CAAC,CAAC,MAAM,CAAE,GAAe,CAAC,KAAK,CAAC;gBAChC,CAAC,CAAC,SAAS,CAAC;QAClB,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,MAAM,YAAY,GAAG,2BAA2B,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAI,CAAC,YAAY;YAAE,SAAS;QAE5B,6CAA6C;QAC7C,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;QAEpE,qBAAqB;QACrB,IAAI,SAAS,GAAG,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACzD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,SAAS,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACtD,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QAEvE,MAAM,CAAC,KAAK,CAAC,sCAAsC,EAAE;YACnD,UAAU;YACV,QAAQ,EAAE,OAAO;YACjB,YAAY;YACZ,GAAG,EAAE,OAAO;SACb,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,+BAA+B,CAC7C,UAAmB,EACnB,UAAkB,EAClB,aAAqB,EACrB,MAAyB;IAEzB,MAAM,QAAQ,GAAI,UAAqD,CAAC,QAAQ,CAAC;IACjF,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO;IAE9D,MAAM,UAAU,GAAI,QAAiD,CAAC,UAAU,CAAC;IACjF,IAAI,CAAC,UAAU;QAAE,OAAO;IAExB,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QAEvC,6BAA6B;QAC7B,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,uBAAuB;YAAE,SAAS;QAE1D,MAAM,OAAO,GAAG,IAAI,CAAC,KAA8B,CAAC;QAEpD,8DAA8D;QAC9D,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC;YAAE,SAAS;QAE3D,8CAA8C;QAC9C,IAAI,oBAAoB,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QAEjD,4BAA4B;QAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,OAAO,GACX,GAAG,CAAC,IAAI,KAAK,YAAY;YACvB,CAAC,CAAE,GAAkB,CAAC,IAAI;YAC1B,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;gBACtB,CAAC,CAAC,MAAM,CAAE,GAAe,CAAC,KAAK,CAAC;gBAChC,CAAC,CAAC,SAAS,CAAC;QAClB,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,6CAA6C;QAC7C,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;QAEpE,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QAE/E,MAAM,CAAC,KAAK,CAAC,sCAAsC,EAAE;YACnD,QAAQ,EAAE,OAAO;YACjB,GAAG,EAAE,OAAO;SACb,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,0CAA0C;AAC1C,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAa,EAAE,aAAqB;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,SAAS,CAAC;IACrD,MAAM,IAAI,GAAG,IAAsB,CAAC;IACpC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,SAAS,CAAC;IAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,MAA0B,CAAC;IAC/C,MAAM,UAAU,GACd,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAE,MAAM,CAAC,QAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAE3F,IAAI,UAAU,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAE3C,sDAAsD;IACtD,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpE,qCAAqC;IACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,MAAM,YAAY,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEhD,OAAO,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAC7B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CACjC,YAAqB,EACrB,UAAkB,EAClB,WAAmB;IAEnB,IACE,YAAY,CAAC,IAAI,KAAK,yBAAyB;QAC/C,YAAY,CAAC,IAAI,KAAK,oBAAoB,EAC1C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAI,YAAgD,CAAC,MAAM,CAAC;IACxE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IACpE,MAAM,SAAS,GAAI,MAAM,CAAC,CAAC,CAAgB,CAAC,IAAI,CAAC;IAEjD,sBAAsB;IACtB,MAAM,QAAQ,GAAI,YAA4C,CAAC,IAAI,CAAC;IACpE,IAAI,UAAkB,CAAC;IAEvB,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACvC,2CAA2C;QAC3C,MAAM,KAAK,GAAI,QAA0C,CAAC,IAAI,CAAC;QAC/D,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC;QACnE,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAClC,MAAM,GAAG,GAAI,UAAqD,CAAC,QAAQ,CAAC;QAC5E,IAAI,CAAC,GAAG;YAAE,OAAO,SAAS,CAAC;QAC3B,UAAU,GAAG,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAC1C,CAAC;SAAM,CAAC;QACN,kCAAkC;QAClC,UAAU,GAAG,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC/C,CAAC;IAED,gCAAgC;IAChC,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC9C,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAE9C,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iCAAiC,CAC/C,UAAmB,EACnB,UAAkB,EAClB,YAA6C,EAC7C,aAAqB,EACrB,MAAyB;IAEzB,MAAM,QAAQ,GAAI,UAAqD,CAAC,QAAQ,CAAC;IACjF,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO;IAE9D,MAAM,UAAU,GAAI,QAAiD,CAAC,UAAU,CAAC;IACjF,IAAI,CAAC,UAAU;QAAE,OAAO;IAExB,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QAEvC,MAAM,OAAO,GACX,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY;YAC5B,CAAC,CAAE,IAAI,CAAC,GAAkB,CAAC,IAAI;YAC/B,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;gBAC3B,CAAC,CAAC,MAAM,CAAE,IAAI,CAAC,GAAe,CAAC,KAAK,CAAC;gBACrC,CAAC,CAAC,SAAS,CAAC;QAClB,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,MAAM,OAAO,GAAG,gCAAgC,CAC9C,IAAI,CAAC,KAAK,EACV,UAAU,EACV,aAAa,EACb,YAAY,CACb,CAAC;QACF,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;YAC/E,MAAM,CAAC,KAAK,CAAC,mDAAmD,EAAE;gBAChE,QAAQ,EAAE,OAAO;gBACjB,GAAG,EAAE,OAAO;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gCAAgC,CAC9C,IAAa,EACb,UAAkB,EAClB,aAAqB,EACrB,WAA6C;IAE7C,+DAA+D;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,IAAwB,CAAC;QACxC,IACE,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;YACpC,MAAM,CAAC,QAAuB,CAAC,IAAI,KAAK,QAAQ,EACjD,CAAC;YACD,4DAA4D;YAC5D,MAAM,UAAU,GAAG,kBAAkB,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;YACpE,IAAI,UAAU;gBAAE,OAAO,WAAW,UAAU,IAAI,CAAC;YAEjD,wDAAwD;YACxD,kEAAkE;YAClE,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,WAAW,EAAE,CAAC;gBACvD,MAAM,OAAO,GAAI,MAAM,CAAC,MAAqB,CAAC,IAAI,CAAC;gBACnD,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACzC,IAAI,OAAO;oBAAE,OAAO,WAAW,OAAO,CAAC,UAAU,IAAI,CAAC;YACxD,CAAC;YAED,0EAA0E;YAC1E,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBAC5C,MAAM,KAAK,GAAG,0BAA0B,CACtC,MAAM,CAAC,MAAwB,EAC/B,UAAU,EACV,aAAa,EACb,WAAW,CACZ,CAAC;gBACF,IAAI,KAAK;oBAAE,OAAO,WAAW,KAAK,IAAI,CAAC;YACzC,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,gDAAgD;IAChD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,0BAA0B,CACzC,IAAsB,EACtB,UAAU,EACV,aAAa,EACb,WAAW,CACZ,CAAC;QACF,IAAI,QAAQ;YAAE,OAAO,MAAM,QAAQ,GAAG,CAAC;IACzC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,0BAA0B,CACxC,IAAoB,EACpB,UAAkB,EAClB,aAAqB,EACrB,WAA6C;IAE7C,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,SAAS,CAAC;IAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,MAA0B,CAAC;IAC/C,MAAM,UAAU,GACd,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAE,MAAM,CAAC,QAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3F,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,wEAAwE;IACxE,oDAAoD;IACpD,IAAI,UAA8B,CAAC;IACnC,IAAI,aAAiC,CAAC;IAEtC,iEAAiE;IACjE,UAAU,GAAG,kBAAkB,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAE9D,wFAAwF;IACxF,IAAI,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,WAAW,EAAE,CAAC;QACtE,MAAM,OAAO,GAAI,MAAM,CAAC,MAAqB,CAAC,IAAI,CAAC;QACnD,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,OAAO,EAAE,CAAC;YACZ,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;QAClC,CAAC;IACH,CAAC;IAED,IAAI,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC3D,sDAAsD;QACtD,qCAAqC;QACrC,4DAA4D;QAC5D,aAAa,GAAG,0BAA0B,CACxC,MAAM,CAAC,MAAwB,EAC/B,UAAU,EACV,aAAa,EACb,WAAW,CACZ,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,UAAU,IAAI,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IACpD,MAAM,IAAI,GAAG,aAAa,IAAI,UAAU,CAAC;IAEzC,QAAQ,UAAU,EAAE,CAAC;QACnB,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,CAAC,EAAE;gBAAE,OAAO,SAAS,CAAC;YAC1B,MAAM,MAAM,GAAG,mBAAmB,CAAC,EAAE,EAAE,UAAU,EAAE,IAAK,CAAC,CAAC;YAC1D,IAAI,CAAC,MAAM;gBAAE,OAAO,SAAS,CAAC;YAC9B,OAAO,GAAG,IAAI,QAAQ,MAAM,CAAC,SAAS,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC;QAC5D,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,CAAC,EAAE;gBAAE,OAAO,SAAS,CAAC;YAC1B,MAAM,MAAM,GAAG,mBAAmB,CAAC,EAAE,EAAE,UAAU,EAAE,IAAK,CAAC,CAAC;YAC1D,IAAI,CAAC,MAAM;gBAAE,OAAO,SAAS,CAAC;YAC9B,OAAO,GAAG,IAAI,WAAW,MAAM,CAAC,SAAS,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC;QAC/D,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,CAAC,EAAE;gBAAE,OAAO,SAAS,CAAC;YAC1B,MAAM,MAAM,GAAG,mBAAmB,CAAC,EAAE,EAAE,UAAU,EAAE,IAAK,CAAC,CAAC;YAC1D,IAAI,CAAC,MAAM;gBAAE,OAAO,SAAS,CAAC;YAC9B,OAAO,GAAG,IAAI,WAAW,MAAM,CAAC,SAAS,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC;QAC/D,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,iEAAiE;YACjE,kDAAkD;YAClD,4FAA4F;YAC5F,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,CAAC,EAAE;gBAAE,OAAO,SAAS,CAAC;YAC1B,MAAM,MAAM,GAAG,mBAAmB,CAAC,EAAE,EAAE,UAAU,EAAE,IAAK,CAAC,CAAC;YAC1D,IAAI,CAAC,MAAM;gBAAE,OAAO,SAAS,CAAC;YAC9B,OAAO,GAAG,IAAI,QAAQ,MAAM,CAAC,SAAS,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC;QAC5D,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,CAAC,aAAa,IAAI,UAAU,EAAE,CAAC;gBACjC,0EAA0E;gBAC1E,mEAAmE;gBACnE,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,IAAI,CAAC,aAAa;gBAAE,OAAO,SAAS,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,SAAS,GAAG,MAAM,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAE,MAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACxF,OAAO,GAAG,aAAa,UAAU,SAAS,IAAI,CAAC;QACjD,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC"}

package/dist/core/expressions/composition/composition-analyzer-traversal.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Core recursive AST traversal for the composition body analyzer.
+ *
+ * Contains the mutually recursive `walkBody`, `walkStatement`, and `walkExpression`
+ * functions, plus the `registerResourceControlFlow` and `extractFunctionBody` helpers.
+ *
+ * These functions MUST stay together because they are mutually recursive.
+ */
+import type { ASTAnalysisResult, ASTNode, TraversalContext } from './composition-analyzer-types.js';
+/**
+ * Walk the AST body to find factory calls and their enclosing control flow.
+ *
+ * This uses a recursive visitor that tracks the current stack of control flow
+ * constructs (ForOfStatement, IfStatement) and attaches them when a factory
+ * call is found.
+ */
+export declare function walkBody(body: ASTNode[], fullSource: string, specParamName: string, ctx: TraversalContext, result: ASTAnalysisResult): void;
+export declare function walkStatement(node: ASTNode, fullSource: string, specParamName: string, ctx: TraversalContext, result: ASTAnalysisResult): void;
+/**
+ * Walk an expression node looking for factory calls and control flow patterns.
+ */
+export declare function walkExpression(node: ASTNode, fullSource: string, specParamName: string, ctx: TraversalContext, result: ASTAnalysisResult): void;
+/**
+ * Register the control flow context for a resource.
+ *
+ * If the resource was already seen, this merges the contexts (this handles
+ * cases where a factory call appears in multiple code paths, though this
+ * is unlikely for well-formed compositions).
+ */
+export declare function registerResourceControlFlow(resourceId: string, factoryName: string, ctx: TraversalContext, result: ASTAnalysisResult): void;
+/**
+ * Extract the body statements from the parsed function AST.
+ */
+export declare function extractFunctionBody(ast: ASTNode & {
+    body: ASTNode[];
+}): ASTNode[] | null;
+//# sourceMappingURL=composition-analyzer-traversal.d.ts.map

package/dist/core/expressions/composition/composition-analyzer-traversal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"composition-analyzer-traversal.d.ts","sourceRoot":"","sources":["../../../../src/core/expressions/composition/composition-analyzer-traversal.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAoBH,OAAO,KAAK,EACV,iBAAiB,EACjB,OAAO,EAUP,gBAAgB,EAEjB,MAAM,iCAAiC,CAAC;AAQzC;;;;;;GAMG;AACH,wBAAgB,QAAQ,CACtB,IAAI,EAAE,OAAO,EAAE,EACf,UAAU,EAAE,MAAM,EAClB,aAAa,EAAE,MAAM,EACrB,GAAG,EAAE,gBAAgB,EACrB,MAAM,EAAE,iBAAiB,GACxB,IAAI,CAIN;AAED,wBAAgB,aAAa,CAC3B,IAAI,EAAE,OAAO,EACb,UAAU,EAAE,MAAM,EAClB,aAAa,EAAE,MAAM,EACrB,GAAG,EAAE,gBAAgB,EACrB,MAAM,EAAE,iBAAiB,GACxB,IAAI,CA6LN;AAED;;GAEG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,OAAO,EACb,UAAU,EAAE,MAAM,EAClB,aAAa,EAAE,MAAM,EACrB,GAAG,EAAE,gBAAgB,EACrB,MAAM,EAAE,iBAAiB,GACxB,IAAI,CAsKN;AAMD;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,MAAM,EACnB,GAAG,EAAE,gBAAgB,EACrB,MAAM,EAAE,iBAAiB,GACxB,IAAI,CA8BN;AAMD;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,OAAO,GAAG;IAAE,IAAI,EAAE,OAAO,EAAE,CAAA;CAAE,GAAG,OAAO,EAAE,GAAG,IAAI,CAyBxF"}