typekro 0.4.0 → 0.7.0

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

@@ -0,0 +1,375 @@
+/**
+ * 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 { getComponentLogger } from '../../logging/index.js';
+import { conditionToCel, extractFactoryId, extractFactoryName, findFactoryCallsInSubtree, isCompileTimeLiteral, isFactoryCall, iterableToCel, negateCondition, referencesSpec, } from './composition-analyzer-helpers.js';
+import { analyzeFactoryArgTernaries, analyzeReturnCollectionAggregates, analyzeReturnStatementTernaries, findFactoryMapCall, } from './composition-analyzer-ternary.js';
+const logger = getComponentLogger('composition-analyzer');
+// ---------------------------------------------------------------------------
+// AST traversal
+// ---------------------------------------------------------------------------
+/**
+ * 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 function walkBody(body, fullSource, specParamName, ctx, result) {
+    for (const stmt of body) {
+        walkStatement(stmt, fullSource, specParamName, ctx, result);
+    }
+}
+export function walkStatement(node, fullSource, specParamName, ctx, result) {
+    switch (node.type) {
+        case 'ExpressionStatement':
+            walkExpression(node.expression, fullSource, specParamName, ctx, result);
+            break;
+        case 'VariableDeclaration': {
+            const declarations = node.declarations;
+            for (const decl of declarations) {
+                if (decl.init) {
+                    walkExpression(decl.init, fullSource, specParamName, ctx, result);
+                    // Track collection variables: `const deployments = spec.regions.map(factoryCb)`
+                    // This enables later resolution of `deployments.length` → `size(resourceId)`.
+                    if (decl.id.type === 'Identifier') {
+                        const varName = decl.id.name;
+                        const resourceId = findFactoryMapCall(decl.init, specParamName);
+                        if (resourceId) {
+                            result._collectionVariables.set(varName, { varName, resourceId });
+                            logger.debug('Tracked collection variable', { varName, resourceId });
+                        }
+                    }
+                }
+            }
+            break;
+        }
+        case 'ForOfStatement': {
+            const forOf = node;
+            // Extract the iterator variable name
+            let varName = 'item';
+            if (forOf.left.type === 'VariableDeclaration') {
+                const decls = forOf.left.declarations;
+                if (decls[0]?.id.type === 'Identifier') {
+                    varName = decls[0].id.name;
+                }
+            }
+            // Build the forEach dimension
+            const dimension = {
+                variableName: varName,
+                source: iterableToCel(forOf.right, fullSource, specParamName),
+            };
+            // Push dimension and walk body
+            const newCtx = {
+                forEachStack: [...ctx.forEachStack, dimension],
+                includeWhenStack: [...ctx.includeWhenStack],
+            };
+            const body = forOf.body;
+            if (body.type === 'BlockStatement') {
+                walkBody(body.body, fullSource, specParamName, newCtx, result);
+            }
+            else {
+                walkStatement(body, fullSource, specParamName, newCtx, result);
+            }
+            break;
+        }
+        case 'IfStatement': {
+            const ifStmt = node;
+            const testNode = ifStmt.test;
+            // Only produce includeWhen if the condition references the spec parameter
+            // and is NOT a compile-time literal
+            if (!isCompileTimeLiteral(testNode) && referencesSpec(testNode, specParamName)) {
+                const condition = {
+                    expression: conditionToCel(testNode, fullSource, specParamName),
+                };
+                const newCtx = {
+                    forEachStack: [...ctx.forEachStack],
+                    includeWhenStack: [...ctx.includeWhenStack, condition],
+                };
+                // Walk consequent
+                const consequent = ifStmt.consequent;
+                if (consequent.type === 'BlockStatement') {
+                    walkBody(consequent.body, fullSource, specParamName, newCtx, result);
+                }
+                else {
+                    walkStatement(consequent, fullSource, specParamName, newCtx, result);
+                }
+            }
+            else {
+                // Compile-time or non-spec condition: walk through without adding includeWhen
+                const consequent = ifStmt.consequent;
+                if (consequent.type === 'BlockStatement') {
+                    walkBody(consequent.body, fullSource, specParamName, ctx, result);
+                }
+                else {
+                    walkStatement(consequent, fullSource, specParamName, ctx, result);
+                }
+            }
+            // Walk alternate (else branch).
+            // If the condition references spec, the else branch gets a NEGATED includeWhen
+            // so that resources created in the else are only included when the condition is false.
+            if (ifStmt.alternate) {
+                let elseCtx = ctx;
+                if (!isCompileTimeLiteral(testNode) && referencesSpec(testNode, specParamName)) {
+                    const negatedCondition = {
+                        expression: negateCondition(conditionToCel(testNode, fullSource, specParamName)),
+                    };
+                    elseCtx = {
+                        forEachStack: [...ctx.forEachStack],
+                        includeWhenStack: [...ctx.includeWhenStack, negatedCondition],
+                    };
+                }
+                if (ifStmt.alternate.type === 'IfStatement') {
+                    walkStatement(ifStmt.alternate, fullSource, specParamName, elseCtx, result);
+                }
+                else if (ifStmt.alternate.type === 'BlockStatement') {
+                    walkBody(ifStmt.alternate.body, fullSource, specParamName, elseCtx, result);
+                }
+                else {
+                    walkStatement(ifStmt.alternate, fullSource, specParamName, elseCtx, result);
+                }
+            }
+            break;
+        }
+        case 'BlockStatement': {
+            walkBody(node.body, fullSource, specParamName, ctx, result);
+            break;
+        }
+        case 'ReturnStatement': {
+            // Analyze return statement for ternary expressions in status values
+            analyzeReturnStatementTernaries(node, fullSource, specParamName, result);
+            // Analyze return statement for collection aggregate expressions
+            analyzeReturnCollectionAggregates(node, fullSource, result._collectionVariables, specParamName, result);
+            // Also walk the return argument to catch factory calls inside return statements
+            // (e.g., `return Deployment({...})` inside a .map() callback body)
+            const returnArg = node.argument;
+            if (returnArg) {
+                walkExpression(returnArg, fullSource, specParamName, ctx, result);
+            }
+            break;
+        }
+        default: {
+            // For unknown statement types, try to traverse children generically
+            // to catch factory calls in unexpected locations
+            const allFactoryCalls = findFactoryCallsInSubtree(node);
+            for (const call of allFactoryCalls) {
+                registerResourceControlFlow(call.id, call.factoryName, ctx, result);
+            }
+            break;
+        }
+    }
+}
+/**
+ * Walk an expression node looking for factory calls and control flow patterns.
+ */
+export function walkExpression(node, fullSource, specParamName, ctx, result) {
+    if (!node)
+        return;
+    // Direct factory call: Deployment({...})
+    if (isFactoryCall(node)) {
+        const call = node;
+        const id = extractFactoryId(call);
+        if (id) {
+            registerResourceControlFlow(id, extractFactoryName(call), ctx, result);
+            // Scan factory argument properties for ternary expressions that should become CEL
+            analyzeFactoryArgTernaries(call, id, fullSource, specParamName, result);
+        }
+        return;
+    }
+    // Array method chaining: spec.regions.map(region => Factory({...}))
+    // Also handles: spec.workers.filter(...).map(worker => Factory({...}))
+    // IMPORTANT: Check for array iteration methods BEFORE generic method chaining
+    if (node.type === 'CallExpression') {
+        const call = node;
+        if (call.callee.type === 'MemberExpression') {
+            const member = call.callee;
+            const methodName = member.property.type === 'Identifier' ? member.property.name : undefined;
+            const callback = call.arguments[0];
+            if ((methodName === 'map' || methodName === 'forEach') && callback) {
+                // Check if the callback contains factory calls
+                const factoryIds = findFactoryCallsInSubtree(callback);
+                if (factoryIds.length > 0) {
+                    // This is an iteration pattern! Extract the dimension.
+                    const iterableSource = member.object;
+                    // Extract the callback parameter name
+                    let iterVarName = 'item';
+                    if (callback.type === 'ArrowFunctionExpression' ||
+                        callback.type === 'FunctionExpression') {
+                        const params = callback.params;
+                        if (params[0]?.type === 'Identifier') {
+                            iterVarName = params[0].name;
+                        }
+                    }
+                    const dimension = {
+                        variableName: iterVarName,
+                        source: iterableToCel(iterableSource, fullSource, specParamName),
+                    };
+                    const newCtx = {
+                        forEachStack: [...ctx.forEachStack, dimension],
+                        includeWhenStack: [...ctx.includeWhenStack],
+                    };
+                    // Walk the callback body recursively to detect nested control flow
+                    // (e.g., if-statements inside .map() callbacks → includeWhen + forEach)
+                    if (callback.type === 'ArrowFunctionExpression' ||
+                        callback.type === 'FunctionExpression') {
+                        const cbBody = callback.body;
+                        if (cbBody.type === 'BlockStatement') {
+                            walkBody(cbBody.body, fullSource, specParamName, newCtx, result);
+                        }
+                        else {
+                            // Expression body arrow function: (region) => Deployment({...})
+                            walkExpression(cbBody, fullSource, specParamName, newCtx, result);
+                        }
+                    }
+                    else {
+                        // Fallback: just register the found factories directly
+                        for (const fCall of factoryIds) {
+                            registerResourceControlFlow(fCall.id, fCall.factoryName, newCtx, result);
+                        }
+                    }
+                    return;
+                }
+            }
+            // Method chaining: Deployment({...}).withReadyWhen(...)
+            // The factory call is inside the chain — recurse into the object
+            walkExpression(member.object, fullSource, specParamName, ctx, result);
+            return;
+        }
+    }
+    // Ternary: spec.flag ? FactoryA({...}) : FactoryB({...}) or spec.flag ? Factory({...}) : undefined
+    if (node.type === 'ConditionalExpression') {
+        const cond = node;
+        const testNode = cond.test;
+        if (!isCompileTimeLiteral(testNode) && referencesSpec(testNode, specParamName)) {
+            const condition = conditionToCel(testNode, fullSource, specParamName);
+            // Check if consequent contains factory calls
+            const consequentCalls = findFactoryCallsInSubtree(cond.consequent);
+            // Check if alternate contains factory calls
+            const alternateCalls = findFactoryCallsInSubtree(cond.alternate);
+            if (consequentCalls.length > 0 || alternateCalls.length > 0) {
+                // This is a ternary creating/not-creating resources → includeWhen
+                for (const call of consequentCalls) {
+                    const newCtx = {
+                        forEachStack: [...ctx.forEachStack],
+                        includeWhenStack: [...ctx.includeWhenStack, { expression: condition }],
+                    };
+                    registerResourceControlFlow(call.id, call.factoryName, newCtx, result);
+                }
+                // Alternate gets negated condition
+                for (const call of alternateCalls) {
+                    const negatedCondition = negateCondition(condition);
+                    const newCtx = {
+                        forEachStack: [...ctx.forEachStack],
+                        includeWhenStack: [...ctx.includeWhenStack, { expression: negatedCondition }],
+                    };
+                    registerResourceControlFlow(call.id, call.factoryName, newCtx, result);
+                }
+                return;
+            }
+        }
+        // If no factory calls in branches, it's a ternary VALUE — fall through
+        return;
+    }
+    // Logical AND short-circuit: spec.flag && Factory({...})
+    if (node.type === 'LogicalExpression') {
+        const logical = node;
+        if (logical.operator === '&&') {
+            // Check if the right side contains factory calls
+            const rightCalls = findFactoryCallsInSubtree(logical.right);
+            if (rightCalls.length > 0 &&
+                !isCompileTimeLiteral(logical.left) &&
+                referencesSpec(logical.left, specParamName)) {
+                const condition = conditionToCel(logical.left, fullSource, specParamName);
+                for (const call of rightCalls) {
+                    const newCtx = {
+                        forEachStack: [...ctx.forEachStack],
+                        includeWhenStack: [...ctx.includeWhenStack, { expression: condition }],
+                    };
+                    registerResourceControlFlow(call.id, call.factoryName, newCtx, result);
+                }
+                return;
+            }
+        }
+        // Walk both sides
+        walkExpression(logical.left, fullSource, specParamName, ctx, result);
+        walkExpression(logical.right, fullSource, specParamName, ctx, result);
+        return;
+    }
+    // For any other expression, search for factory calls in subtree
+    const calls = findFactoryCallsInSubtree(node);
+    for (const call of calls) {
+        registerResourceControlFlow(call.id, call.factoryName, ctx, result);
+    }
+}
+// ---------------------------------------------------------------------------
+// Resource registration
+// ---------------------------------------------------------------------------
+/**
+ * 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 function registerResourceControlFlow(resourceId, factoryName, ctx, result) {
+    let entry = result.resources.get(resourceId);
+    if (!entry) {
+        entry = { resourceId, forEach: [], includeWhen: [] };
+        result.resources.set(resourceId, entry);
+    }
+    // Track factory name for unregistered resource creation (stored separately)
+    if (factoryName && !result.unregisteredFactories.some((f) => f.resourceId === resourceId)) {
+        // Will be used by integration layer if this resource wasn't registered at runtime
+        result.unregisteredFactories.push({ resourceId, factoryName, argSource: '' });
+    }
+    // Merge forEach dimensions (avoid duplicates)
+    for (const dim of ctx.forEachStack) {
+        const exists = entry.forEach.some((d) => d.variableName === dim.variableName && d.source === dim.source);
+        if (!exists) {
+            entry.forEach.push(dim);
+        }
+    }
+    // Merge includeWhen conditions (avoid duplicates)
+    for (const cond of ctx.includeWhenStack) {
+        const exists = entry.includeWhen.some((c) => c.expression === cond.expression);
+        if (!exists) {
+            entry.includeWhen.push(cond);
+        }
+    }
+}
+// ---------------------------------------------------------------------------
+// Function body extraction
+// ---------------------------------------------------------------------------
+/**
+ * Extract the body statements from the parsed function AST.
+ */
+export function extractFunctionBody(ast) {
+    for (const node of ast.body) {
+        // FunctionDeclaration
+        if (node.type === 'FunctionDeclaration') {
+            const body = node.body;
+            if (body?.type === 'BlockStatement') {
+                return body.body;
+            }
+        }
+        // ExpressionStatement containing an ArrowFunctionExpression or FunctionExpression
+        if (node.type === 'ExpressionStatement') {
+            const expr = node.expression;
+            if (expr.type === 'ArrowFunctionExpression' || expr.type === 'FunctionExpression') {
+                const body = expr.body;
+                if (body.type === 'BlockStatement') {
+                    return body.body;
+                }
+                // Concise arrow function body (single expression) — wrap in array
+                return [{ type: 'ExpressionStatement', expression: body }];
+            }
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=composition-analyzer-traversal.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"composition-analyzer-traversal.js","sourceRoot":"","sources":["../../../../src/core/expressions/composition/composition-analyzer-traversal.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EACL,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EAClB,yBAAyB,EACzB,oBAAoB,EACpB,aAAa,EACb,aAAa,EACb,eAAe,EACf,cAAc,GACf,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,0BAA0B,EAC1B,iCAAiC,EACjC,+BAA+B,EAC/B,kBAAkB,GACnB,MAAM,mCAAmC,CAAC;AAiB3C,MAAM,MAAM,GAAG,kBAAkB,CAAC,sBAAsB,CAAC,CAAC;AAE1D,8EAA8E;AAC9E,gBAAgB;AAChB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CACtB,IAAe,EACf,UAAkB,EAClB,aAAqB,EACrB,GAAqB,EACrB,MAAyB;IAEzB,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,IAAa,EACb,UAAkB,EAClB,aAAqB,EACrB,GAAqB,EACrB,MAAyB;IAEzB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,cAAc,CACX,IAA0C,CAAC,UAAU,EACtD,UAAU,EACV,aAAa,EACb,GAAG,EACH,MAAM,CACP,CAAC;YACF,MAAM;QAER,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,YAAY,GAAI,IAAyD,CAAC,YAAY,CAAC;YAC7F,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;gBAChC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBACd,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;oBAElE,gFAAgF;oBAChF,8EAA8E;oBAC9E,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;wBAClC,MAAM,OAAO,GAAI,IAAI,CAAC,EAAiB,CAAC,IAAI,CAAC;wBAC7C,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;wBAChE,IAAI,UAAU,EAAE,CAAC;4BACf,MAAM,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;4BAClE,MAAM,CAAC,KAAK,CAAC,6BAA6B,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;wBACvE,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,KAAK,GAAG,IAAsB,CAAC;YACrC,qCAAqC;YACrC,IAAI,OAAO,GAAG,MAAM,CAAC;YACrB,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC9C,MAAM,KAAK,GAAI,KAAK,CAAC,IAAyD,CAAC,YAAY,CAAC;gBAC5F,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACvC,OAAO,GAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAiB,CAAC,IAAI,CAAC;gBAC7C,CAAC;YACH,CAAC;YAED,8BAA8B;YAC9B,MAAM,SAAS,GAAqB;gBAClC,YAAY,EAAE,OAAO;gBACrB,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,aAAa,CAAC;aAC9D,CAAC;YAEF,+BAA+B;YAC/B,MAAM,MAAM,GAAqB;gBAC/B,YAAY,EAAE,CAAC,GAAG,GAAG,CAAC,YAAY,EAAE,SAAS,CAAC;gBAC9C,gBAAgB,EAAE,CAAC,GAAG,GAAG,CAAC,gBAAgB,CAAC;aAC5C,CAAC;YAEF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;YACxB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACnC,QAAQ,CACL,IAAsC,CAAC,IAAI,EAC5C,UAAU,EACV,aAAa,EACb,MAAM,EACN,MAAM,CACP,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;YACjE,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,MAAM,GAAG,IAAmB,CAAC;YACnC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC;YAE7B,0EAA0E;YAC1E,oCAAoC;YACpC,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,cAAc,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC;gBAC/E,MAAM,SAAS,GAAyB;oBACtC,UAAU,EAAE,cAAc,CAAC,QAAQ,EAAE,UAAU,EAAE,aAAa,CAAC;iBAChE,CAAC;gBAEF,MAAM,MAAM,GAAqB;oBAC/B,YAAY,EAAE,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC;oBACnC,gBAAgB,EAAE,CAAC,GAAG,GAAG,CAAC,gBAAgB,EAAE,SAAS,CAAC;iBACvD,CAAC;gBAEF,kBAAkB;gBAClB,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;gBACrC,IAAI,UAAU,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBACzC,QAAQ,CACL,UAA4C,CAAC,IAAI,EAClD,UAAU,EACV,aAAa,EACb,MAAM,EACN,MAAM,CACP,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;gBACvE,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,8EAA8E;gBAC9E,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;gBACrC,IAAI,UAAU,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBACzC,QAAQ,CACL,UAA4C,CAAC,IAAI,EAClD,UAAU,EACV,aAAa,EACb,GAAG,EACH,MAAM,CACP,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;gBACpE,CAAC;YACH,CAAC;YAED,gCAAgC;YAChC,+EAA+E;YAC/E,uFAAuF;YACvF,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;gBACrB,IAAI,OAAO,GAAG,GAAG,CAAC;gBAClB,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,cAAc,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC;oBAC/E,MAAM,gBAAgB,GAAyB;wBAC7C,UAAU,EAAE,eAAe,CAAC,cAAc,CAAC,QAAQ,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;qBACjF,CAAC;oBACF,OAAO,GAAG;wBACR,YAAY,EAAE,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC;wBACnC,gBAAgB,EAAE,CAAC,GAAG,GAAG,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;qBAC9D,CAAC;gBACJ,CAAC;gBAED,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAC5C,aAAa,CAAC,MAAM,CAAC,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;gBAC9E,CAAC;qBAAM,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBACtD,QAAQ,CACL,MAAM,CAAC,SAA2C,CAAC,IAAI,EACxD,UAAU,EACV,aAAa,EACb,OAAO,EACP,MAAM,CACP,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,aAAa,CAAC,MAAM,CAAC,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;gBAC9E,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,QAAQ,CACL,IAAsC,CAAC,IAAI,EAC5C,UAAU,EACV,aAAa,EACb,GAAG,EACH,MAAM,CACP,CAAC;YACF,MAAM;QACR,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,oEAAoE;YACpE,+BAA+B,CAAC,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;YACzE,gEAAgE;YAChE,iCAAiC,CAC/B,IAAI,EACJ,UAAU,EACV,MAAM,CAAC,oBAAoB,EAC3B,aAAa,EACb,MAAM,CACP,CAAC;YACF,gFAAgF;YAChF,mEAAmE;YACnE,MAAM,SAAS,GAAI,IAA+C,CAAC,QAAQ,CAAC;YAC5E,IAAI,SAAS,EAAE,CAAC;gBACd,cAAc,CAAC,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YACpE,CAAC;YACD,MAAM;QACR,CAAC;QAED,OAAO,CAAC,CAAC,CAAC;YACR,oEAAoE;YACpE,iDAAiD;YACjD,MAAM,eAAe,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;YACxD,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;gBACnC,2BAA2B,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YACtE,CAAC;YACD,MAAM;QACR,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAa,EACb,UAAkB,EAClB,aAAqB,EACrB,GAAqB,EACrB,MAAyB;IAEzB,IAAI,CAAC,IAAI;QAAE,OAAO;IAElB,yCAAyC;IACzC,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,IAAsB,CAAC;QACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,EAAE,EAAE,CAAC;YACP,2BAA2B,CAAC,EAAE,EAAE,kBAAkB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YACvE,kFAAkF;YAClF,0BAA0B,CAAC,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO;IACT,CAAC;IAED,oEAAoE;IACpE,uEAAuE;IACvE,8EAA8E;IAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAsB,CAAC;QACpC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,MAA0B,CAAC;YAC/C,MAAM,UAAU,GACd,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAE,MAAM,CAAC,QAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YAE3F,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACnC,IAAI,CAAC,UAAU,KAAK,KAAK,IAAI,UAAU,KAAK,SAAS,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACnE,+CAA+C;gBAC/C,MAAM,UAAU,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;gBAEvD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1B,uDAAuD;oBACvD,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;oBAErC,sCAAsC;oBACtC,IAAI,WAAW,GAAG,MAAM,CAAC;oBACzB,IACE,QAAQ,CAAC,IAAI,KAAK,yBAAyB;wBAC3C,QAAQ,CAAC,IAAI,KAAK,oBAAoB,EACtC,CAAC;wBACD,MAAM,MAAM,GAAI,QAA4C,CAAC,MAAM,CAAC;wBACpE,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;4BACrC,WAAW,GAAI,MAAM,CAAC,CAAC,CAAgB,CAAC,IAAI,CAAC;wBAC/C,CAAC;oBACH,CAAC;oBAED,MAAM,SAAS,GAAqB;wBAClC,YAAY,EAAE,WAAW;wBACzB,MAAM,EAAE,aAAa,CAAC,cAAc,EAAE,UAAU,EAAE,aAAa,CAAC;qBACjE,CAAC;oBAEF,MAAM,MAAM,GAAqB;wBAC/B,YAAY,EAAE,CAAC,GAAG,GAAG,CAAC,YAAY,EAAE,SAAS,CAAC;wBAC9C,gBAAgB,EAAE,CAAC,GAAG,GAAG,CAAC,gBAAgB,CAAC;qBAC5C,CAAC;oBAEF,mEAAmE;oBACnE,wEAAwE;oBACxE,IACE,QAAQ,CAAC,IAAI,KAAK,yBAAyB;wBAC3C,QAAQ,CAAC,IAAI,KAAK,oBAAoB,EACtC,CAAC;wBACD,MAAM,MAAM,GAAI,QAAwC,CAAC,IAAI,CAAC;wBAC9D,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;4BACrC,QAAQ,CACL,MAAwC,CAAC,IAAI,EAC9C,UAAU,EACV,aAAa,EACb,MAAM,EACN,MAAM,CACP,CAAC;wBACJ,CAAC;6BAAM,CAAC;4BACN,gEAAgE;4BAChE,cAAc,CAAC,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;wBACpE,CAAC;oBACH,CAAC;yBAAM,CAAC;wBACN,uDAAuD;wBACvD,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;4BAC/B,2BAA2B,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;wBAC3E,CAAC;oBACH,CAAC;oBACD,OAAO;gBACT,CAAC;YACH,CAAC;YAED,wDAAwD;YACxD,iEAAiE;YACjE,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YACtE,OAAO;QACT,CAAC;IACH,CAAC;IAED,mGAAmG;IACnG,IAAI,IAAI,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,IAA6B,CAAC;QAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC;QAE3B,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,cAAc,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC;YAC/E,MAAM,SAAS,GAAG,cAAc,CAAC,QAAQ,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;YAEtE,6CAA6C;YAC7C,MAAM,eAAe,GAAG,yBAAyB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACnE,4CAA4C;YAC5C,MAAM,cAAc,GAAG,yBAAyB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAEjE,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5D,kEAAkE;gBAClE,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;oBACnC,MAAM,MAAM,GAAqB;wBAC/B,YAAY,EAAE,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC;wBACnC,gBAAgB,EAAE,CAAC,GAAG,GAAG,CAAC,gBAAgB,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;qBACvE,CAAC;oBACF,2BAA2B,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;gBACzE,CAAC;gBAED,mCAAmC;gBACnC,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;oBAClC,MAAM,gBAAgB,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;oBACpD,MAAM,MAAM,GAAqB;wBAC/B,YAAY,EAAE,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC;wBACnC,gBAAgB,EAAE,CAAC,GAAG,GAAG,CAAC,gBAAgB,EAAE,EAAE,UAAU,EAAE,gBAAgB,EAAE,CAAC;qBAC9E,CAAC;oBACF,2BAA2B,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;gBACzE,CAAC;gBACD,OAAO;YACT,CAAC;QACH,CAAC;QACD,uEAAuE;QACvE,OAAO;IACT,CAAC;IAED,yDAAyD;IACzD,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,IAAyB,CAAC;QAE1C,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC9B,iDAAiD;YACjD,MAAM,UAAU,GAAG,yBAAyB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC5D,IACE,UAAU,CAAC,MAAM,GAAG,CAAC;gBACrB,CAAC,oBAAoB,CAAC,OAAO,CAAC,IAAI,CAAC;gBACnC,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,EAC3C,CAAC;gBACD,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;gBAC1E,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;oBAC9B,MAAM,MAAM,GAAqB;wBAC/B,YAAY,EAAE,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC;wBACnC,gBAAgB,EAAE,CAAC,GAAG,GAAG,CAAC,gBAAgB,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;qBACvE,CAAC;oBACF,2BAA2B,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;gBACzE,CAAC;gBACD,OAAO;YACT,CAAC;QACH,CAAC;QAED,kBAAkB;QAClB,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QACrE,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QACtE,OAAO;IACT,CAAC;IAED,gEAAgE;IAChE,MAAM,KAAK,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,2BAA2B,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,wBAAwB;AACxB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CACzC,UAAkB,EAClB,WAAmB,EACnB,GAAqB,EACrB,MAAyB;IAEzB,IAAI,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC7C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,KAAK,GAAG,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QACrD,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC1C,CAAC;IAED,4EAA4E;IAC5E,IAAI,WAAW,IAAI,CAAC,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,EAAE,CAAC;QAC1F,kFAAkF;QAClF,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;IAChF,CAAC;IAED,8CAA8C;IAC9C,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,GAAG,CAAC,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,CACtE,CAAC;QACF,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,kDAAkD;IAClD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,gBAAgB,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/E,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAkC;IACpE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;QAC5B,sBAAsB;QACtB,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACxC,MAAM,IAAI,GAAI,IAA0D,CAAC,IAAI,CAAC;YAC9E,IAAI,IAAI,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACpC,OAAO,IAAI,CAAC,IAAI,CAAC;YACnB,CAAC;QACH,CAAC;QAED,kFAAkF;QAClF,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACxC,MAAM,IAAI,GAAI,IAA0C,CAAC,UAAU,CAAC;YAEpE,IAAI,IAAI,CAAC,IAAI,KAAK,yBAAyB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;gBAClF,MAAM,IAAI,GAAI,IAAoC,CAAC,IAAI,CAAC;gBACxD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBACnC,OAAQ,IAAsC,CAAC,IAAI,CAAC;gBACtD,CAAC;gBACD,kEAAkE;gBAClE,OAAO,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,IAAI,EAAa,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

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

@@ -0,0 +1,140 @@
+/**
+ * Type definitions for the composition body analyzer.
+ *
+ * Contains AST node interfaces, domain interfaces for analysis results,
+ * and internal traversal context types.
+ */
+/** ESTree AST node (acorn-compatible) */
+export interface ASTNode {
+    type: string;
+    [key: string]: unknown;
+}
+export interface ForOfStatement extends ASTNode {
+    type: 'ForOfStatement';
+    left: ASTNode;
+    right: ASTNode;
+    body: ASTNode;
+}
+export interface IfStatement extends ASTNode {
+    type: 'IfStatement';
+    test: ASTNode;
+    consequent: ASTNode;
+    alternate: ASTNode | null;
+}
+export interface CallExpression extends ASTNode {
+    type: 'CallExpression';
+    callee: ASTNode;
+    arguments: ASTNode[];
+}
+export interface ConditionalExpression extends ASTNode {
+    type: 'ConditionalExpression';
+    test: ASTNode;
+    consequent: ASTNode;
+    alternate: ASTNode;
+}
+export interface LogicalExpression extends ASTNode {
+    type: 'LogicalExpression';
+    operator: string;
+    left: ASTNode;
+    right: ASTNode;
+}
+export interface MemberExpression extends ASTNode {
+    type: 'MemberExpression';
+    object: ASTNode;
+    property: ASTNode;
+    computed: boolean;
+}
+export interface Identifier extends ASTNode {
+    type: 'Identifier';
+    name: string;
+}
+export interface Literal extends ASTNode {
+    type: 'Literal';
+    value: unknown;
+    raw?: string;
+}
+export interface Property extends ASTNode {
+    type: 'Property';
+    key: ASTNode;
+    value: ASTNode;
+}
+export interface VariableDeclarator extends ASTNode {
+    type: 'VariableDeclarator';
+    id: ASTNode;
+    init: ASTNode | null;
+}
+/** Dimension detected from a forEach loop */
+export interface ForEachDimension {
+    /** The iterator variable name (e.g. 'region') — becomes the dimension key */
+    variableName: string;
+    /** The CEL expression for the iterable source (e.g. '${schema.spec.regions}') */
+    source: string;
+}
+/** includeWhen condition attached to a resource */
+export interface IncludeWhenCondition {
+    /** CEL expression string (e.g. '${schema.spec.monitoring}') */
+    expression: string;
+}
+/** Analysis result for a single resource */
+export interface ResourceControlFlow {
+    resourceId: string;
+    forEach: ForEachDimension[];
+    includeWhen: IncludeWhenCondition[];
+}
+/** Info about a factory call found in the AST but not registered at runtime */
+export interface UnregisteredFactory {
+    resourceId: string;
+    factoryName: string;
+    /** The full AST node source for the factory call arguments (for stub creation) */
+    argSource: string;
+}
+/** A CEL expression that overrides a literal value in a resource template or status mapping */
+export interface ExpressionOverride {
+    /** Dot-separated property path within the resource template (e.g. 'spec.replicas') */
+    propertyPath: string;
+    /** CEL expression string wrapped in ${} (e.g. '${schema.spec.env == "production" ? 3 : 1}') */
+    celExpression: string;
+}
+/** Full analysis result */
+export interface ASTAnalysisResult {
+    resources: Map<string, ResourceControlFlow>;
+    /** Factory calls found in AST that weren't registered at runtime */
+    unregisteredFactories: UnregisteredFactory[];
+    /**
+     * Template value overrides: ternary expressions in factory arguments that
+     * evaluated to a literal at runtime (because === on proxies fails) but should
+     * be CEL conditionals in the serialized output.
+     * Keyed by resource ID.
+     */
+    templateOverrides: Map<string, ExpressionOverride[]>;
+    /** @internal Not currently used — collection detection is done inline in expression tree */
+    _collectionVariables: Map<string, CollectionVariable>;
+    /**
+     * Status value overrides: ternary expressions in the return statement that
+     * evaluated to a literal at runtime but should be CEL conditionals.
+     */
+    statusOverrides: ExpressionOverride[];
+    errors: string[];
+}
+/** Info about a factory call found in the AST */
+export interface FactoryCallInfo {
+    id: string;
+    factoryName: string;
+}
+/**
+ * Context maintained during AST traversal to track enclosing control flow.
+ */
+export interface TraversalContext {
+    /** Stack of forEach dimensions (outermost first) */
+    forEachStack: ForEachDimension[];
+    /** Stack of includeWhen conditions (outermost first) */
+    includeWhenStack: IncludeWhenCondition[];
+}
+/** Tracked collection variable: the result of spec.array.map(cb) that produces factories */
+export interface CollectionVariable {
+    /** The variable name (e.g., 'workers') */
+    varName: string;
+    /** The resource ID from the factory call inside .map() */
+    resourceId: string;
+}
+//# sourceMappingURL=composition-analyzer-types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"composition-analyzer-types.d.ts","sourceRoot":"","sources":["../../../../src/core/expressions/composition/composition-analyzer-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH,yCAAyC;AACzC,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,gBAAgB,CAAC;IACvB,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;IACf,IAAI,EAAE,OAAO,CAAC;CACf;AAED,MAAM,WAAW,WAAY,SAAQ,OAAO;IAC1C,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,OAAO,CAAC;IACd,UAAU,EAAE,OAAO,CAAC;IACpB,SAAS,EAAE,OAAO,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,OAAO,CAAC;IAChB,SAAS,EAAE,OAAO,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,qBAAsB,SAAQ,OAAO;IACpD,IAAI,EAAE,uBAAuB,CAAC;IAC9B,IAAI,EAAE,OAAO,CAAC;IACd,UAAU,EAAE,OAAO,CAAC;IACpB,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,iBAAkB,SAAQ,OAAO;IAChD,IAAI,EAAE,mBAAmB,CAAC;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,gBAAiB,SAAQ,OAAO;IAC/C,IAAI,EAAE,kBAAkB,CAAC;IACzB,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,OAAQ,SAAQ,OAAO;IACtC,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,QAAS,SAAQ,OAAO;IACvC,IAAI,EAAE,UAAU,CAAC;IACjB,GAAG,EAAE,OAAO,CAAC;IACb,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,kBAAmB,SAAQ,OAAO;IACjD,IAAI,EAAE,oBAAoB,CAAC;IAC3B,EAAE,EAAE,OAAO,CAAC;IACZ,IAAI,EAAE,OAAO,GAAG,IAAI,CAAC;CACtB;AAMD,6CAA6C;AAC7C,MAAM,WAAW,gBAAgB;IAC/B,6EAA6E;IAC7E,YAAY,EAAE,MAAM,CAAC;IACrB,iFAAiF;IACjF,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,mDAAmD;AACnD,MAAM,WAAW,oBAAoB;IACnC,+DAA+D;IAC/D,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,4CAA4C;AAC5C,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,WAAW,EAAE,oBAAoB,EAAE,CAAC;CACrC;AAED,+EAA+E;AAC/E,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,kFAAkF;IAClF,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,+FAA+F;AAC/F,MAAM,WAAW,kBAAkB;IACjC,sFAAsF;IACtF,YAAY,EAAE,MAAM,CAAC;IACrB,+FAA+F;IAC/F,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,2BAA2B;AAC3B,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAC5C,oEAAoE;IACpE,qBAAqB,EAAE,mBAAmB,EAAE,CAAC;IAC7C;;;;;OAKG;IACH,iBAAiB,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAC;IACrD,4FAA4F;IAC5F,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IACtD;;;OAGG;IACH,eAAe,EAAE,kBAAkB,EAAE,CAAC;IACtC,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAMD,iDAAiD;AACjD,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,oDAAoD;IACpD,YAAY,EAAE,gBAAgB,EAAE,CAAC;IACjC,wDAAwD;IACxD,gBAAgB,EAAE,oBAAoB,EAAE,CAAC;CAC1C;AAED,4FAA4F;AAC5F,MAAM,WAAW,kBAAkB;IACjC,0CAA0C;IAC1C,OAAO,EAAE,MAAM,CAAC;IAChB,0DAA0D;IAC1D,UAAU,EAAE,MAAM,CAAC;CACpB"}

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

@@ -0,0 +1,8 @@
+/**
+ * Type definitions for the composition body analyzer.
+ *
+ * Contains AST node interfaces, domain interfaces for analysis results,
+ * and internal traversal context types.
+ */
+export {};
+//# sourceMappingURL=composition-analyzer-types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"composition-analyzer-types.js","sourceRoot":"","sources":["../../../../src/core/expressions/composition/composition-analyzer-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}

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

@@ -0,0 +1,39 @@
+/**
+ * Composition Body Analyzer
+ *
+ * Post-hoc AST analysis of composition function bodies to detect control flow
+ * patterns (if-statements, for-of loops, ternary expressions) wrapping factory
+ * calls. Detected patterns are translated to Kro v0.8.x directives:
+ *
+ *   - IfStatement → includeWhen
+ *   - ForOfStatement / .map() / .forEach() → forEach
+ *   - ConditionalExpression (ternary with factory call) → includeWhen
+ *   - ConditionalExpression (ternary value in factory arg) → CEL conditional
+ *
+ * Integration: Called after the composition function executes and all resources
+ * are collected, but before YAML serialization. Attaches non-enumerable
+ * `includeWhen` and `forEach` properties on Enhanced resource objects.
+ */
+export type { ASTAnalysisResult, ExpressionOverride, ForEachDimension, IncludeWhenCondition, ResourceControlFlow, UnregisteredFactory, } from './composition-analyzer-types.js';
+import type { ASTAnalysisResult } from './composition-analyzer-types.js';
+/**
+ * Analyze a composition function's source code to detect control flow
+ * patterns (if-statements, for-of loops, ternary expressions) wrapping
+ * factory calls. Returns the detected patterns keyed by resource ID.
+ *
+ * @param compositionFn - The original composition function
+ * @param resourceIds - Set of known resource IDs (to validate matches)
+ * @returns Analysis result with forEach/includeWhen per resource
+ */
+export declare function analyzeCompositionBody(compositionFn: (...args: unknown[]) => unknown, resourceIds: Set<string>): ASTAnalysisResult;
+/**
+ * Apply the analysis results to Enhanced resources by attaching
+ * non-enumerable `forEach` and `includeWhen` properties.
+ *
+ * This is the integration point that modifies resources in-place before serialization.
+ *
+ * @param resources - The resources map (keyed by resource ID)
+ * @param analysis - The analysis result from `analyzeCompositionBody()`
+ */
+export declare function applyAnalysisToResources(resources: Record<string, unknown>, analysis: ASTAnalysisResult): void;
+//# sourceMappingURL=composition-analyzer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"composition-analyzer.d.ts","sourceRoot":"","sources":["../../../../src/core/expressions/composition/composition-analyzer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAiBH,YAAY,EACV,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,oBAAoB,EACpB,mBAAmB,EACnB,mBAAmB,GACpB,MAAM,iCAAiC,CAAC;AAGzC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAQzE;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CACpC,aAAa,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,EAC9C,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,GACvB,iBAAiB,CAqEnB;AAED;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAClC,QAAQ,EAAE,iBAAiB,GAC1B,IAAI,CAyCN"}