typekro 0.4.0 → 0.5.0

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

@@ -0,0 +1,301 @@
+/**
+ * Stateless utility functions for the composition body analyzer.
+ *
+ * Used by both ternary analysis and AST traversal modules.
+ */
+import * as estraverse from 'estraverse';
+import { escapeRegExp } from '../../../utils/helpers.js';
+import { isKnownFactory } from '../../resources/factory-registry.js';
+import { getIdentifierName } from '../analysis/ast-type-guards.js';
+// ---------------------------------------------------------------------------
+// Hardcoded factory names (fallback for when factories aren't imported)
+// ---------------------------------------------------------------------------
+/**
+ * Static set of well-known factory names used as a fallback when the
+ * dynamic FactoryRegistry hasn't been populated (e.g. in unit tests that
+ * only import the analyzer without importing the actual factory modules).
+ *
+ * The FactoryRegistry is checked first; this list is only consulted when
+ * `isKnownFactory()` returns false.
+ */
+const KNOWN_FACTORY_NAMES = new Set([
+    'Deployment',
+    'ConfigMap',
+    'Service',
+    'Ingress',
+    'StatefulSet',
+    'DaemonSet',
+    'Job',
+    'CronJob',
+    'Secret',
+    'PersistentVolumeClaim',
+    'ServiceAccount',
+    'Role',
+    'RoleBinding',
+    'ClusterRole',
+    'ClusterRoleBinding',
+    'HorizontalPodAutoscaler',
+    'PodDisruptionBudget',
+    'NetworkPolicy',
+    'HelmRelease',
+    'HelmRepository',
+    'GitRepository',
+    'Kustomization',
+    'externalRef',
+    // Common custom factory patterns
+    'Namespace',
+    'LimitRange',
+    'ResourceQuota',
+]);
+// ---------------------------------------------------------------------------
+// Source extraction
+// ---------------------------------------------------------------------------
+/**
+ * Extract source text from an AST node using character ranges.
+ */
+export function getSource(node, fullSource) {
+    const range = node.range;
+    if (range) {
+        return fullSource.substring(range[0], range[1]);
+    }
+    return '<unknown>';
+}
+// ---------------------------------------------------------------------------
+// Factory call detection
+// ---------------------------------------------------------------------------
+/**
+ * Check if a CallExpression is a factory call (Deployment, ConfigMap, Service, etc.)
+ * by looking at the callee name against the central FactoryRegistry.
+ *
+ * Custom factories become first-class by calling `registerFactory()` at import
+ * time — no need to edit this file.
+ */
+export function isFactoryCall(node) {
+    if (node.type !== 'CallExpression')
+        return false;
+    const call = node;
+    const callee = call.callee;
+    if (callee.type === 'Identifier') {
+        const name = callee.name;
+        return isKnownFactory(name) || KNOWN_FACTORY_NAMES.has(name);
+    }
+    return false;
+}
+/** Extract the factory function name from a factory call expression */
+export function extractFactoryName(call) {
+    if (call.callee.type === 'Identifier') {
+        return call.callee.name;
+    }
+    return 'Unknown';
+}
+/**
+ * Extract the `id` property value from factory call arguments.
+ *
+ * Factory calls like `Deployment({ name: ..., id: 'web' })` have
+ * an ObjectExpression as their first argument containing the id property.
+ */
+export function extractFactoryId(call) {
+    const firstArg = call.arguments[0];
+    if (!firstArg || firstArg.type !== 'ObjectExpression')
+        return undefined;
+    const properties = firstArg.properties;
+    if (!properties)
+        return undefined;
+    for (const prop of properties) {
+        if (prop.type !== 'Property')
+            continue;
+        const key = prop.key;
+        const keyName = key.type === 'Identifier'
+            ? key.name
+            : key.type === 'Literal'
+                ? String(key.value)
+                : undefined;
+        if (keyName === 'id' && prop.value.type === 'Literal') {
+            return String(prop.value.value);
+        }
+    }
+    return undefined;
+}
+// ---------------------------------------------------------------------------
+// CEL conversion
+// ---------------------------------------------------------------------------
+/**
+ * Convert a JS if-condition AST node to a CEL expression string.
+ *
+ * - Replaces `spec.` with `schema.spec.` (for the schema proxy parameter)
+ * - Converts `===` to `==`, `!==` to `!=`
+ * - Wraps in `${}` for Kro CEL syntax
+ */
+export function conditionToCel(node, fullSource, specParamName) {
+    let source = getSource(node, fullSource);
+    // Replace the spec parameter name with schema.spec
+    // Must use word boundary to avoid replacing substrings
+    // escapeRegExp prevents regex injection if specParamName contains metacharacters
+    source = source.replace(new RegExp(`\\b${escapeRegExp(specParamName)}\\.`, 'g'), 'schema.spec.');
+    // JS → CEL operator conversions
+    source = source.replace(/===/g, '==');
+    source = source.replace(/!==/g, '!=');
+    // Note: We do NOT convert quotes here. Bun's transpiler normalizes JS strings
+    // to double quotes in fn.toString(), so the source text already uses double quotes.
+    // For template values (inside resource templates), double quotes work fine because
+    // they're nested in the YAML structure. For status values, the caller is responsible
+    // for converting double quotes to single quotes if needed to avoid YAML escaping.
+    return `\${${source}}`;
+}
+/**
+ * Convert an iterable source expression to a Kro forEach CEL reference.
+ *
+ * e.g. `spec.regions` → `${schema.spec.regions}`
+ * e.g. `spec.workers.filter(w => w.enabled)` → `${schema.spec.workers.filter(w, w.enabled)}`
+ */
+export function iterableToCel(node, fullSource, specParamName) {
+    let source = getSource(node, fullSource);
+    // Replace the spec parameter name with schema.spec
+    // escapeRegExp prevents regex injection if specParamName contains metacharacters
+    source = source.replace(new RegExp(`\\b${escapeRegExp(specParamName)}\\.`, 'g'), 'schema.spec.');
+    // Convert arrow function callbacks to CEL lambda syntax
+    // Pattern: .filter((w) => w.enabled) → .filter(w, w.enabled)
+    // Pattern: .filter((w) => w.priority > 5) → .filter(w, w.priority > 5)
+    source = source.replace(/\.\s*(filter|map|exists|all)\s*\(\s*\(?([a-zA-Z_$][a-zA-Z0-9_$]*)\)?\s*=>\s*(?:\{\s*(?:return\s+)?)?([\s\S]+?)(?:\s*;?\s*\})?\s*\)/g, (_match, method, param, body) => {
+        let cleanBody = body.trim();
+        // JS → CEL operators
+        cleanBody = cleanBody.replace(/===/g, '==');
+        cleanBody = cleanBody.replace(/!==/g, '!=');
+        return `.${method}(${param}, ${cleanBody})`;
+    });
+    // JS → CEL operators for outer expression
+    source = source.replace(/===/g, '==');
+    source = source.replace(/!==/g, '!=');
+    return `\${${source}}`;
+}
+// ---------------------------------------------------------------------------
+// Condition analysis
+// ---------------------------------------------------------------------------
+/**
+ * Check if a condition node is a compile-time literal (e.g. `true`, `false`, `1`).
+ * Compile-time literals should NOT produce includeWhen directives.
+ */
+export function isCompileTimeLiteral(node) {
+    if (node.type === 'Literal')
+        return true;
+    // Unary: `!true`, `-1`
+    if (node.type === 'UnaryExpression') {
+        const unary = node;
+        return isCompileTimeLiteral(unary.argument);
+    }
+    return false;
+}
+/**
+ * Check if a condition references the schema spec parameter.
+ * Only conditions that reference schema fields should produce includeWhen.
+ */
+export function referencesSpec(node, specParamName) {
+    let found = false;
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any -- estraverse types are loose
+    estraverse.traverse(node, {
+        enter(n) {
+            if (n.type === 'Identifier' && getIdentifierName(n) === specParamName) {
+                found = true;
+                return estraverse.VisitorOption.Break;
+            }
+            return undefined;
+        },
+        fallback: 'iteration',
+    });
+    return found;
+}
+// ---------------------------------------------------------------------------
+// Factory call search
+// ---------------------------------------------------------------------------
+/**
+ * Find all factory calls in a subtree and return their resource IDs and factory names.
+ */
+export function findFactoryCallsInSubtree(node) {
+    const calls = [];
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any -- estraverse types are loose
+    estraverse.traverse(node, {
+        enter(n) {
+            const astNode = n;
+            if (isFactoryCall(astNode)) {
+                const call = astNode;
+                const id = extractFactoryId(call);
+                if (id) {
+                    calls.push({ id, factoryName: extractFactoryName(call) });
+                }
+            }
+            return undefined;
+        },
+        fallback: 'iteration',
+    });
+    return calls;
+}
+// ---------------------------------------------------------------------------
+// Spec parameter extraction
+// ---------------------------------------------------------------------------
+/**
+ * Extract the spec parameter name from the composition function source.
+ *
+ * Handles patterns:
+ *   (spec) => { ... }
+ *   function(spec) { ... }
+ *   (spec) => expr
+ */
+export function extractSpecParamName(functionSource) {
+    // Arrow function: (spec) => ... or spec => ...
+    const arrowMatch = functionSource.match(/^\s*(?:(?:async\s+)?\(?([a-zA-Z_$][a-zA-Z0-9_$]*)\)?\s*=>)/);
+    if (arrowMatch?.[1])
+        return arrowMatch[1];
+    // Regular function: function(spec) { ... } or function name(spec) { ... }
+    const funcMatch = functionSource.match(/function\s*\w*\s*\(\s*([a-zA-Z_$][a-zA-Z0-9_$]*)\s*\)/);
+    if (funcMatch?.[1])
+        return funcMatch[1];
+    return 'spec'; // Fallback
+}
+// ---------------------------------------------------------------------------
+// Expression and path utilities
+// ---------------------------------------------------------------------------
+/**
+ * Convert a full expression AST node to a CEL string (not just conditions).
+ *
+ * Reuses the same transforms as conditionToCel:
+ * - `spec.` → `schema.spec.`
+ * - `===` → `==`, `!==` → `!=`
+ * - Single quotes → double quotes
+ * - Wraps in `${}`
+ */
+export function expressionToCel(node, fullSource, specParamName) {
+    return conditionToCel(node, fullSource, specParamName);
+}
+/**
+ * Map a factory argument property key name to its template property path.
+ *
+ * Factory arguments like `{ name: ..., image: ..., replicas: ... }` map to
+ * template paths like `spec.replicas`. Special keys are mapped differently:
+ * - `name` → `metadata.name`
+ * - `id` → skipped (internal, not a template property)
+ * - Everything else → `spec.{key}`
+ */
+export function factoryArgKeyToTemplatePath(key) {
+    if (key === 'id')
+        return undefined; // Internal, not a template field
+    if (key === 'name')
+        return 'metadata.name';
+    if (key === 'namespace')
+        return 'metadata.namespace';
+    if (key === 'labels')
+        return 'metadata.labels';
+    if (key === 'annotations')
+        return 'metadata.annotations';
+    return `spec.${key}`;
+}
+/**
+ * Negate a CEL condition expression.
+ *
+ * `${schema.spec.monitoring}` → `${!schema.spec.monitoring}`
+ */
+export function negateCondition(condition) {
+    // Remove ${...} wrapper
+    const inner = condition.replace(/^\$\{/, '').replace(/\}$/, '');
+    return `\${!${inner}}`;
+}
+//# sourceMappingURL=composition-analyzer-helpers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"composition-analyzer-helpers.js","sourceRoot":"","sources":["../../../../src/core/expressions/composition/composition-analyzer-helpers.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,UAAU,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAUnE,8EAA8E;AAC9E,wEAAwE;AACxE,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;IAClC,YAAY;IACZ,WAAW;IACX,SAAS;IACT,SAAS;IACT,aAAa;IACb,WAAW;IACX,KAAK;IACL,SAAS;IACT,QAAQ;IACR,uBAAuB;IACvB,gBAAgB;IAChB,MAAM;IACN,aAAa;IACb,aAAa;IACb,oBAAoB;IACpB,yBAAyB;IACzB,qBAAqB;IACrB,eAAe;IACf,aAAa;IACb,gBAAgB;IAChB,eAAe;IACf,eAAe;IACf,aAAa;IACb,iCAAiC;IACjC,WAAW;IACX,YAAY;IACZ,eAAe;CAChB,CAAC,CAAC;AAEH,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,IAAa,EAAE,UAAkB;IACzD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAqC,CAAC;IACzD,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,8EAA8E;AAC9E,yBAAyB;AACzB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,IAAa;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,KAAK,CAAC;IACjD,MAAM,IAAI,GAAG,IAAsB,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,IAAI,GAAI,MAAqB,CAAC,IAAI,CAAC;QACzC,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,kBAAkB,CAAC,IAAoB;IACrD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACtC,OAAQ,IAAI,CAAC,MAAqB,CAAC,IAAI,CAAC;IAC1C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAoB;IACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,SAAS,CAAC;IAExE,MAAM,UAAU,GAAI,QAAiD,CAAC,UAAU,CAAC;IACjF,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QACvC,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,OAAO,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACtD,OAAO,MAAM,CAAE,IAAI,CAAC,KAAiB,CAAC,KAAK,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,IAAa,EAAE,UAAkB,EAAE,aAAqB;IACrF,IAAI,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAEzC,mDAAmD;IACnD,uDAAuD;IACvD,iFAAiF;IACjF,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,MAAM,YAAY,CAAC,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,cAAc,CAAC,CAAC;IAEjG,gCAAgC;IAChC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACtC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAEtC,8EAA8E;IAC9E,oFAAoF;IACpF,mFAAmF;IACnF,qFAAqF;IACrF,kFAAkF;IAElF,OAAO,MAAM,MAAM,GAAG,CAAC;AACzB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,IAAa,EAAE,UAAkB,EAAE,aAAqB;IACpF,IAAI,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAEzC,mDAAmD;IACnD,iFAAiF;IACjF,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,MAAM,YAAY,CAAC,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,cAAc,CAAC,CAAC;IAEjG,wDAAwD;IACxD,6DAA6D;IAC7D,uEAAuE;IACvE,MAAM,GAAG,MAAM,CAAC,OAAO,CACrB,qIAAqI,EACrI,CAAC,MAAM,EAAE,MAAc,EAAE,KAAa,EAAE,IAAY,EAAE,EAAE;QACtD,IAAI,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,qBAAqB;QACrB,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC5C,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC5C,OAAO,IAAI,MAAM,IAAI,KAAK,KAAK,SAAS,GAAG,CAAC;IAC9C,CAAC,CACF,CAAC;IAEF,0CAA0C;IAC1C,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACtC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAEtC,OAAO,MAAM,MAAM,GAAG,CAAC;AACzB,CAAC;AAED,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAa;IAChD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzC,uBAAuB;IACvB,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,IAAuC,CAAC;QACtD,OAAO,oBAAoB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,IAAa,EAAE,aAAqB;IACjE,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,4FAA4F;IAC5F,UAAU,CAAC,QAAQ,CAAC,IAAW,EAAE;QAC/B,KAAK,CAAC,CAAC;YACL,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,iBAAiB,CAAC,CAAC,CAAC,KAAK,aAAa,EAAE,CAAC;gBACtE,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC;YACxC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,QAAQ,EAAE,WAAW;KACtB,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E;;GAEG;AACH,MAAM,UAAU,yBAAyB,CAAC,IAAa;IACrD,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,4FAA4F;IAC5F,UAAU,CAAC,QAAQ,CAAC,IAAW,EAAE;QAC/B,KAAK,CAAC,CAAC;YACL,MAAM,OAAO,GAAG,CAAuB,CAAC;YACxC,IAAI,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,MAAM,IAAI,GAAG,OAAyB,CAAC;gBACvC,MAAM,EAAE,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;gBAClC,IAAI,EAAE,EAAE,CAAC;oBACP,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,QAAQ,EAAE,WAAW;KACtB,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8EAA8E;AAC9E,4BAA4B;AAC5B,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,cAAsB;IACzD,+CAA+C;IAC/C,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CACrC,4DAA4D,CAC7D,CAAC;IACF,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IAE1C,0EAA0E;IAC1E,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAChG,IAAI,SAAS,EAAE,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC;IAExC,OAAO,MAAM,CAAC,CAAC,WAAW;AAC5B,CAAC;AAED,8EAA8E;AAC9E,gCAAgC;AAChC,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,IAAa,EAAE,UAAkB,EAAE,aAAqB;IACtF,OAAO,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;AACzD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,2BAA2B,CAAC,GAAW;IACrD,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC,CAAC,iCAAiC;IACrE,IAAI,GAAG,KAAK,MAAM;QAAE,OAAO,eAAe,CAAC;IAC3C,IAAI,GAAG,KAAK,WAAW;QAAE,OAAO,oBAAoB,CAAC;IACrD,IAAI,GAAG,KAAK,QAAQ;QAAE,OAAO,iBAAiB,CAAC;IAC/C,IAAI,GAAG,KAAK,aAAa;QAAE,OAAO,sBAAsB,CAAC;IACzD,OAAO,QAAQ,GAAG,EAAE,CAAC;AACvB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,SAAiB;IAC/C,wBAAwB;IACxB,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAChE,OAAO,OAAO,KAAK,GAAG,CAAC;AACzB,CAAC"}

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

@@ -0,0 +1,77 @@
+/**
+ * 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 type { ASTAnalysisResult, ASTNode, CallExpression, CollectionVariable } from './composition-analyzer-types.js';
+/**
+ * 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 declare function analyzeFactoryArgTernaries(call: CallExpression, resourceId: string, fullSource: string, specParamName: string, result: ASTAnalysisResult): void;
+/**
+ * Analyze a ReturnStatement's object literal for ternary expressions
+ * referencing the spec parameter. These become status overrides.
+ */
+export declare function analyzeReturnStatementTernaries(returnNode: ASTNode, fullSource: string, specParamName: string, result: ASTAnalysisResult): void;
+/**
+ * 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 declare function findFactoryMapCall(node: ASTNode, specParamName: string): string | undefined;
+/**
+ * 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 declare function callbackToCelLambda(callbackNode: ASTNode, fullSource: string, _resourceId: string): {
+    lambdaVar: string;
+    body: string;
+} | undefined;
+/**
+ * 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 declare function analyzeReturnCollectionAggregates(returnNode: ASTNode, fullSource: string, _collections: Map<string, CollectionVariable>, specParamName: string, result: ASTAnalysisResult): void;
+/**
+ * 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 declare function convertCollectionExpressionToCel(node: ASTNode, fullSource: string, specParamName: string, collections?: Map<string, CollectionVariable>): string | 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 declare function convertCollectionCallToCel(call: CallExpression, fullSource: string, specParamName: string, collections?: Map<string, CollectionVariable>): string | undefined;
+//# sourceMappingURL=composition-analyzer-ternary.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"composition-analyzer-ternary.d.ts","sourceRoot":"","sources":["../../../../src/core/expressions/composition/composition-analyzer-ternary.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAWH,OAAO,KAAK,EACV,iBAAiB,EACjB,OAAO,EACP,cAAc,EACd,kBAAkB,EAMnB,MAAM,iCAAiC,CAAC;AAQzC;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,cAAc,EACpB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,iBAAiB,GACxB,IAAI,CAoDN;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,OAAO,EACnB,UAAU,EAAE,MAAM,EAClB,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,iBAAiB,GACxB,IAAI,CAyCN;AAMD;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAoB3F;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CACjC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,MAAM,GAClB;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAkCjD;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,iCAAiC,CAC/C,UAAU,EAAE,OAAO,EACnB,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EAC7C,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,iBAAiB,GACxB,IAAI,CAgCN;AAED;;;;;;;;GAQG;AACH,wBAAgB,gCAAgC,CAC9C,IAAI,EAAE,OAAO,EACb,UAAU,EAAE,MAAM,EAClB,aAAa,EAAE,MAAM,EACrB,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,GAC5C,MAAM,GAAG,SAAS,CA8CpB;AAED;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,cAAc,EACpB,UAAU,EAAE,MAAM,EAClB,aAAa,EAAE,MAAM,EACrB,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,GAC5C,MAAM,GAAG,SAAS,CAqFpB"}