typekro 0.4.0 → 0.5.0

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

@@ -0,0 +1,144 @@
+/**
+ * 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.
+ */
+import { Parser } from 'acorn';
+import { ensureError } from '../../errors.js';
+import { getComponentLogger } from '../../logging/index.js';
+import { getForEach, getIncludeWhen, setForEach, setIncludeWhen, setTemplateOverrides, } from '../../metadata/index.js';
+import { extractSpecParamName } from './composition-analyzer-helpers.js';
+import { extractFunctionBody, walkBody } from './composition-analyzer-traversal.js';
+const logger = getComponentLogger('composition-analyzer');
+// ---------------------------------------------------------------------------
+// Public API
+// ---------------------------------------------------------------------------
+/**
+ * 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 function analyzeCompositionBody(compositionFn, resourceIds) {
+    const result = {
+        resources: new Map(),
+        unregisteredFactories: [],
+        templateOverrides: new Map(),
+        _collectionVariables: new Map(),
+        statusOverrides: [],
+        errors: [],
+    };
+    try {
+        const fnSource = compositionFn.toString();
+        const specParamName = extractSpecParamName(fnSource);
+        // Parse the function source
+        const ast = Parser.parse(fnSource, {
+            ecmaVersion: 2022,
+            sourceType: 'script',
+            locations: true,
+            ranges: true,
+        });
+        // Find the function body
+        // The parsed source may be:
+        //   - A FunctionDeclaration/FunctionExpression with a body
+        //   - An arrow function as an ExpressionStatement
+        const functionBody = extractFunctionBody(ast);
+        if (!functionBody) {
+            logger.debug('Could not extract function body from composition function');
+            return result;
+        }
+        // Note: collection variable tracking is done inline in analyzeReturnCollectionAggregates
+        // by detecting spec.array.map(cb).method() patterns directly in the expression tree.
+        // Bun's transpiler may inline variable assignments, so we can't rely on VariableDeclaration.
+        // Walk the function body
+        const ctx = {
+            forEachStack: [],
+            includeWhenStack: [],
+        };
+        walkBody(functionBody, fnSource, specParamName, ctx, result);
+        // Separate registered from unregistered resources.
+        // Only add entries that aren't already tracked by registerResourceControlFlow.
+        for (const [id] of result.resources) {
+            if (!resourceIds.has(id) && !result.unregisteredFactories.some((f) => f.resourceId === id)) {
+                // This factory call was found in the AST but wasn't registered at runtime.
+                // This happens when the factory is inside an if-branch that wasn't taken
+                // (e.g. `if (spec.env === 'production')` where spec is a proxy).
+                // Track it so the integration layer can create stub resources.
+                // Note: the factoryName may already have been captured by registerResourceControlFlow;
+                // this fallback uses '' which causes createStubResource to return null (harmless).
+                result.unregisteredFactories.push({
+                    resourceId: id,
+                    factoryName: '', // registerResourceControlFlow already captured the better entry
+                    argSource: '',
+                });
+                logger.debug(`Resource ${id} found in AST but not registered at runtime`);
+            }
+        }
+    }
+    catch (error) {
+        const msg = `Failed to analyze composition function: ${ensureError(error).message}`;
+        logger.warn(msg);
+        result.errors.push(msg);
+    }
+    return result;
+}
+/**
+ * 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 function applyAnalysisToResources(resources, analysis) {
+    for (const [resourceId, controlFlow] of analysis.resources) {
+        const resource = resources[resourceId];
+        if (!resource || typeof resource !== 'object')
+            continue;
+        // Attach forEach dimensions via WeakMap metadata
+        if (controlFlow.forEach.length > 0) {
+            const forEachDimensions = controlFlow.forEach.map((dim) => ({
+                [dim.variableName]: dim.source,
+            }));
+            // Merge with existing forEach if present (from explicit API)
+            const existing = getForEach(resource);
+            const merged = existing
+                ? [...(Array.isArray(existing) ? existing : [existing]), ...forEachDimensions]
+                : forEachDimensions;
+            setForEach(resource, merged);
+        }
+        // Attach includeWhen conditions via WeakMap metadata
+        if (controlFlow.includeWhen.length > 0) {
+            const celStrings = controlFlow.includeWhen.map((c) => c.expression);
+            // Merge with existing includeWhen if present (from explicit .withIncludeWhen() calls)
+            const existing = getIncludeWhen(resource);
+            const merged = existing
+                ? [...(Array.isArray(existing) ? existing : [existing]), ...celStrings]
+                : celStrings;
+            setIncludeWhen(resource, merged);
+        }
+    }
+    // Attach template overrides via WeakMap metadata
+    for (const [resourceId, overrides] of analysis.templateOverrides) {
+        const resource = resources[resourceId];
+        if (!resource || typeof resource !== 'object' || overrides.length === 0)
+            continue;
+        setTemplateOverrides(resource, overrides);
+    }
+}
+//# sourceMappingURL=composition-analyzer.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"composition-analyzer.js","sourceRoot":"","sources":["../../../../src/core/expressions/composition/composition-analyzer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,OAAO,CAAC;AAC/B,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EACL,UAAU,EACV,cAAc,EACd,UAAU,EACV,cAAc,EACd,oBAAoB,GACrB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAC;AAgBpF,MAAM,MAAM,GAAG,kBAAkB,CAAC,sBAAsB,CAAC,CAAC;AAE1D,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CACpC,aAA8C,EAC9C,WAAwB;IAExB,MAAM,MAAM,GAAsB;QAChC,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,qBAAqB,EAAE,EAAE;QACzB,iBAAiB,EAAE,IAAI,GAAG,EAAE;QAC5B,oBAAoB,EAAE,IAAI,GAAG,EAAE;QAC/B,eAAe,EAAE,EAAE;QACnB,MAAM,EAAE,EAAE;KACX,CAAC;IAEF,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,EAAE,CAAC;QAC1C,MAAM,aAAa,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAErD,4BAA4B;QAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE;YACjC,WAAW,EAAE,IAAI;YACjB,UAAU,EAAE,QAAQ;YACpB,SAAS,EAAE,IAAI;YACf,MAAM,EAAE,IAAI;SACb,CAA6C,CAAC;QAE/C,yBAAyB;QACzB,4BAA4B;QAC5B,2DAA2D;QAC3D,kDAAkD;QAClD,MAAM,YAAY,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,MAAM,CAAC,KAAK,CAAC,2DAA2D,CAAC,CAAC;YAC1E,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,yFAAyF;QACzF,qFAAqF;QACrF,6FAA6F;QAE7F,yBAAyB;QACzB,MAAM,GAAG,GAAqB;YAC5B,YAAY,EAAE,EAAE;YAChB,gBAAgB,EAAE,EAAE;SACrB,CAAC;QAEF,QAAQ,CAAC,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAE7D,mDAAmD;QACnD,+EAA+E;QAC/E,KAAK,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACpC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,EAAE,CAAC,EAAE,CAAC;gBAC3F,2EAA2E;gBAC3E,yEAAyE;gBACzE,iEAAiE;gBACjE,+DAA+D;gBAC/D,uFAAuF;gBACvF,mFAAmF;gBACnF,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC;oBAChC,UAAU,EAAE,EAAE;oBACd,WAAW,EAAE,EAAE,EAAE,gEAAgE;oBACjF,SAAS,EAAE,EAAE;iBACd,CAAC,CAAC;gBACH,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,6CAA6C,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;IACH,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,2CAA2C,WAAW,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;QACpF,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CACtC,SAAkC,EAClC,QAA2B;IAE3B,KAAK,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;QAC3D,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ;YAAE,SAAS;QAExD,iDAAiD;QACjD,IAAI,WAAW,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,iBAAiB,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAC1D,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM;aAC/B,CAAC,CAAC,CAAC;YAEJ,6DAA6D;YAC7D,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;YACtC,MAAM,MAAM,GAAG,QAAQ;gBACrB,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,iBAAiB,CAAC;gBAC9E,CAAC,CAAC,iBAAiB,CAAC;YAEtB,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC/B,CAAC;QAED,qDAAqD;QACrD,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,MAAM,UAAU,GAAG,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YAEpE,sFAAsF;YACtF,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;YAC1C,MAAM,MAAM,GAAG,QAAQ;gBACrB,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC;gBACvE,CAAC,CAAC,UAAU,CAAC;YAEf,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,KAAK,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,QAAQ,CAAC,iBAAiB,EAAE,CAAC;QACjE,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAElF,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC"}

package/dist/core/expressions/composition/context-tracker.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Context-Aware Resource Tracking for Composition Integration
+ *
+ * Tracks KubernetesRef usage across composition contexts, providing caching
+ * and cross-resource reference analysis.
+ */
+import type { CompositionContext } from '../../composition/context.js';
+import type { KubernetesRef } from '../../types/common.js';
+import type { Enhanced } from '../../types.js';
+/**
+ * Context-aware resource tracking for composition integration
+ */
+export declare class CompositionContextTracker {
+    private contextAnalysisCache;
+    resourceKubernetesRefCache: Map<string, KubernetesRef<unknown>[]>;
+    /**
+     * Track KubernetesRef usage in a composition context
+     */
+    trackCompositionContext(context: CompositionContext): {
+        totalKubernetesRefs: number;
+        resourcesWithKubernetesRefs: string[];
+        crossResourceReferences: Array<{
+            sourceResource: string;
+            targetResource: string;
+            fieldPath: string;
+        }>;
+    };
+    /**
+     * Get cached KubernetesRef objects for a resource
+     */
+    getCachedResourceKubernetesRefs(resourceId: string): KubernetesRef<unknown>[];
+    /**
+     * Clear caches for a specific context
+     */
+    clearContextCache(contextId: string): void;
+    /** Delegate to canonical implementation in type-guards.ts */
+    extractKubernetesRefsFromResource(resource: Enhanced<unknown, unknown>): KubernetesRef<unknown>[];
+}
+//# sourceMappingURL=context-tracker.d.ts.map

package/dist/core/expressions/composition/context-tracker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-tracker.d.ts","sourceRoot":"","sources":["../../../../src/core/expressions/composition/context-tracker.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C;;GAEG;AACH,qBAAa,yBAAyB;IACpC,OAAO,CAAC,oBAAoB,CAAmE;IACxF,0BAA0B,wCAA+C;IAEhF;;OAEG;IACH,uBAAuB,CAAC,OAAO,EAAE,kBAAkB,GAAG;QACpD,mBAAmB,EAAE,MAAM,CAAC;QAC5B,2BAA2B,EAAE,MAAM,EAAE,CAAC;QACtC,uBAAuB,EAAE,KAAK,CAAC;YAC7B,cAAc,EAAE,MAAM,CAAC;YACvB,cAAc,EAAE,MAAM,CAAC;YACvB,SAAS,EAAE,MAAM,CAAC;SACnB,CAAC,CAAC;KACJ;IAwCD;;OAEG;IACH,+BAA+B,CAAC,UAAU,EAAE,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,EAAE;IAI7E;;OAEG;IACH,iBAAiB,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI;IAI1C,6DAA6D;IACtD,iCAAiC,CACtC,QAAQ,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,GACnC,aAAa,CAAC,OAAO,CAAC,EAAE;CAG5B"}

package/dist/core/expressions/composition/context-tracker.js

@@ -0,0 +1,64 @@
+/**
+ * Context-Aware Resource Tracking for Composition Integration
+ *
+ * Tracks KubernetesRef usage across composition contexts, providing caching
+ * and cross-resource reference analysis.
+ */
+import { extractResourceReferences } from '../../../utils/type-guards.js';
+/**
+ * Context-aware resource tracking for composition integration
+ */
+export class CompositionContextTracker {
+    contextAnalysisCache = new Map();
+    resourceKubernetesRefCache = new Map();
+    /**
+     * Track KubernetesRef usage in a composition context
+     */
+    trackCompositionContext(context) {
+        const allKubernetesRefs = [];
+        const resourcesWithKubernetesRefs = [];
+        const crossResourceReferences = [];
+        // Analyze all resources in the context
+        for (const [resourceId, resource] of Object.entries(context.resources)) {
+            const refs = this.extractKubernetesRefsFromResource(resource);
+            if (refs.length > 0) {
+                resourcesWithKubernetesRefs.push(resourceId);
+                allKubernetesRefs.push(...refs);
+                // Cache the refs for this resource
+                this.resourceKubernetesRefCache.set(resourceId, refs);
+                // Identify cross-resource references
+                for (const ref of refs) {
+                    if (ref.resourceId !== resourceId && ref.resourceId !== '__schema__') {
+                        crossResourceReferences.push({
+                            sourceResource: resourceId,
+                            targetResource: ref.resourceId,
+                            fieldPath: ref.fieldPath,
+                        });
+                    }
+                }
+            }
+        }
+        return {
+            totalKubernetesRefs: allKubernetesRefs.length,
+            resourcesWithKubernetesRefs,
+            crossResourceReferences,
+        };
+    }
+    /**
+     * Get cached KubernetesRef objects for a resource
+     */
+    getCachedResourceKubernetesRefs(resourceId) {
+        return this.resourceKubernetesRefCache.get(resourceId) || [];
+    }
+    /**
+     * Clear caches for a specific context
+     */
+    clearContextCache(contextId) {
+        this.contextAnalysisCache.delete(contextId);
+    }
+    /** Delegate to canonical implementation in type-guards.ts */
+    extractKubernetesRefsFromResource(resource) {
+        return extractResourceReferences(resource);
+    }
+}
+//# sourceMappingURL=context-tracker.js.map

package/dist/core/expressions/composition/context-tracker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-tracker.js","sourceRoot":"","sources":["../../../../src/core/expressions/composition/context-tracker.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAO1E;;GAEG;AACH,MAAM,OAAO,yBAAyB;IAC5B,oBAAoB,GAAG,IAAI,GAAG,EAAwD,CAAC;IACxF,0BAA0B,GAAG,IAAI,GAAG,EAAoC,CAAC;IAEhF;;OAEG;IACH,uBAAuB,CAAC,OAA2B;QASjD,MAAM,iBAAiB,GAA6B,EAAE,CAAC;QACvD,MAAM,2BAA2B,GAAa,EAAE,CAAC;QACjD,MAAM,uBAAuB,GAIxB,EAAE,CAAC;QAER,uCAAuC;QACvC,KAAK,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YACvE,MAAM,IAAI,GAAG,IAAI,CAAC,iCAAiC,CAAC,QAAQ,CAAC,CAAC;YAE9D,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC7C,iBAAiB,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;gBAEhC,mCAAmC;gBACnC,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;gBAEtD,qCAAqC;gBACrC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,IAAI,GAAG,CAAC,UAAU,KAAK,UAAU,IAAI,GAAG,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;wBACrE,uBAAuB,CAAC,IAAI,CAAC;4BAC3B,cAAc,EAAE,UAAU;4BAC1B,cAAc,EAAE,GAAG,CAAC,UAAU;4BAC9B,SAAS,EAAE,GAAG,CAAC,SAAS;yBACzB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,mBAAmB,EAAE,iBAAiB,CAAC,MAAM;YAC7C,2BAA2B;YAC3B,uBAAuB;SACxB,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,+BAA+B,CAAC,UAAkB;QAChD,OAAO,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;IAC/D,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAC,SAAiB;QACjC,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC;IAED,6DAA6D;IACtD,iCAAiC,CACtC,QAAoC;QAEpC,OAAO,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IAC7C,CAAC;CACF"}

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

@@ -0,0 +1,101 @@
+/**
+ * Composition-Aware Expression Analyzer
+ *
+ * Integrates with kubernetesComposition API to analyze composition functions
+ * for KubernetesRef usage and CEL conversion needs.
+ */
+import type { CompositionContext } from '../../composition/context.js';
+import type { KubernetesRef } from '../../types/common.js';
+import type { KroCompatibleType, MagicAssignableShape, SchemaProxy } from '../../types/serialization.js';
+import type { Enhanced } from '../../types.js';
+import type { CompositionAnalysisResult, CompositionPattern, PatternAnalysisConfig } from './types.js';
+export type { CompositionAnalysisResult, CompositionPattern, PatternAnalysisConfig };
+/**
+ * Composition-aware expression analyzer that integrates with kubernetesComposition
+ */
+export declare class CompositionExpressionAnalyzer {
+    private magicAssignableAnalyzer;
+    private patternConfigs;
+    private contextTracker;
+    private scopeManager;
+    constructor();
+    /**
+     * Detect the composition pattern being used
+     */
+    detectCompositionPattern(compositionFn: {
+        toString(): string;
+    }, context?: CompositionContext): CompositionPattern;
+    /**
+     * Analyze composition function with pattern awareness
+     */
+    analyzeCompositionFunctionWithPattern<TSpec extends KroCompatibleType, TStatus extends KroCompatibleType>(compositionFn: (spec: TSpec) => MagicAssignableShape<TStatus>, schemaProxy: SchemaProxy<TSpec, TStatus>, pattern?: CompositionPattern, context?: CompositionContext): CompositionAnalysisResult<TStatus> & {
+        pattern: CompositionPattern;
+        patternSpecificMetadata: {
+            sideEffectsDetected: boolean;
+            resourceCreationTracked: boolean;
+            scopeValidationPerformed: boolean;
+        };
+    };
+    /**
+     * Process composition based on detected pattern
+     */
+    processCompositionByPattern<TStatus extends KroCompatibleType>(statusShape: MagicAssignableShape<TStatus>, pattern: CompositionPattern, factoryType?: 'direct' | 'kro'): MagicAssignableShape<TStatus>;
+    /**
+     * Validate composition pattern compatibility
+     */
+    validatePatternCompatibility(pattern: CompositionPattern, factoryType: 'direct' | 'kro', context?: CompositionContext): {
+        isCompatible: boolean;
+        warnings: string[];
+        recommendations: string[];
+    };
+    /**
+     * Get pattern-specific analysis recommendations
+     */
+    getPatternRecommendations(pattern: CompositionPattern, analysisResult: CompositionAnalysisResult<KroCompatibleType>): string[];
+    /**
+     * Analyze a composition function for KubernetesRef usage and expression conversion needs
+     */
+    analyzeCompositionFunction<TSpec extends KroCompatibleType, TStatus extends KroCompatibleType>(compositionFn: (spec: TSpec) => MagicAssignableShape<TStatus>, schemaProxy: SchemaProxy<TSpec, TStatus>, context?: CompositionContext): CompositionAnalysisResult<TStatus>;
+    /**
+     * Analyze a composition function's resource creation patterns
+     */
+    analyzeResourceCreation<TSpec extends KroCompatibleType>(compositionFn: (spec: TSpec) => unknown, schemaProxy: SchemaProxy<TSpec, KroCompatibleType>, context?: CompositionContext): {
+        resourcesCreated: string[];
+        kubernetesRefsInResources: KubernetesRef<unknown>[];
+        requiresCelConversion: boolean;
+    };
+    /**
+     * Process a composition's status shape for CEL conversion
+     */
+    processCompositionStatus<TStatus extends KroCompatibleType>(statusShape: MagicAssignableShape<TStatus>, factoryType?: 'direct' | 'kro'): MagicAssignableShape<TStatus>;
+    /**
+     * Enhanced status building with comprehensive KubernetesRef handling
+     */
+    buildCompositionStatus<TStatus extends KroCompatibleType>(statusShape: MagicAssignableShape<TStatus>, context: CompositionContext, factoryType?: 'direct' | 'kro'): {
+        processedStatus: MagicAssignableShape<TStatus>;
+        kubernetesRefs: KubernetesRef<unknown>[];
+        dependencies: string[];
+        requiresCelConversion: boolean;
+        conversionMetadata: {
+            fieldsProcessed: number;
+            kubernetesRefsFound: number;
+            celExpressionsGenerated: number;
+            crossResourceReferences: number;
+        };
+    };
+    /**
+     * Validate status shape for composition compatibility
+     */
+    validateStatusShape<TStatus extends KroCompatibleType>(statusShape: MagicAssignableShape<TStatus>, context?: CompositionContext): {
+        isValid: boolean;
+        errors: string[];
+        warnings: string[];
+    };
+    /**
+     * Extract referenced resources from composition context
+     */
+    private extractReferencedResources;
+    /** Delegate to canonical implementation in type-guards.ts */
+    extractKubernetesRefsFromResource(resource: Enhanced<unknown, unknown>): KubernetesRef<unknown>[];
+}
+//# sourceMappingURL=expression-analyzer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expression-analyzer.d.ts","sourceRoot":"","sources":["../../../../src/core/expressions/composition/expression-analyzer.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAGvE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,KAAK,EACV,iBAAiB,EACjB,oBAAoB,EACpB,WAAW,EACZ,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAI/C,OAAO,KAAK,EACV,yBAAyB,EACzB,kBAAkB,EAClB,qBAAqB,EACtB,MAAM,YAAY,CAAC;AAEpB,YAAY,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,CAAC;AAErF;;GAEG;AACH,qBAAa,6BAA6B;IACxC,OAAO,CAAC,uBAAuB,CAA0B;IACzD,OAAO,CAAC,cAAc,CAAiD;IACvE,OAAO,CAAC,cAAc,CAA4B;IAClD,OAAO,CAAC,YAAY,CAAyB;;IAgC7C;;OAEG;IACH,wBAAwB,CACtB,aAAa,EAAE;QAAE,QAAQ,IAAI,MAAM,CAAA;KAAE,EACrC,OAAO,CAAC,EAAE,kBAAkB,GAC3B,kBAAkB;IAsBrB;;OAEG;IACH,qCAAqC,CACnC,KAAK,SAAS,iBAAiB,EAC/B,OAAO,SAAS,iBAAiB,EAEjC,aAAa,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,oBAAoB,CAAC,OAAO,CAAC,EAC7D,WAAW,EAAE,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,EACxC,OAAO,CAAC,EAAE,kBAAkB,EAC5B,OAAO,CAAC,EAAE,kBAAkB,GAC3B,yBAAyB,CAAC,OAAO,CAAC,GAAG;QACtC,OAAO,EAAE,kBAAkB,CAAC;QAC5B,uBAAuB,EAAE;YACvB,mBAAmB,EAAE,OAAO,CAAC;YAC7B,uBAAuB,EAAE,OAAO,CAAC;YACjC,wBAAwB,EAAE,OAAO,CAAC;SACnC,CAAC;KACH;IAoDD;;OAEG;IACH,2BAA2B,CAAC,OAAO,SAAS,iBAAiB,EAC3D,WAAW,EAAE,oBAAoB,CAAC,OAAO,CAAC,EAC1C,OAAO,EAAE,kBAAkB,EAC3B,WAAW,GAAE,QAAQ,GAAG,KAAa,GACpC,oBAAoB,CAAC,OAAO,CAAC;IAYhC;;OAEG;IACH,4BAA4B,CAC1B,OAAO,EAAE,kBAAkB,EAC3B,WAAW,EAAE,QAAQ,GAAG,KAAK,EAC7B,OAAO,CAAC,EAAE,kBAAkB,GAC3B;QACD,YAAY,EAAE,OAAO,CAAC;QACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;QACnB,eAAe,EAAE,MAAM,EAAE,CAAC;KAC3B;IA4CD;;OAEG;IACH,yBAAyB,CACvB,OAAO,EAAE,kBAAkB,EAC3B,cAAc,EAAE,yBAAyB,CAAC,iBAAiB,CAAC,GAC3D,MAAM,EAAE;IA4BX;;OAEG;IACH,0BAA0B,CAAC,KAAK,SAAS,iBAAiB,EAAE,OAAO,SAAS,iBAAiB,EAC3F,aAAa,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,oBAAoB,CAAC,OAAO,CAAC,EAC7D,WAAW,EAAE,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,EACxC,OAAO,CAAC,EAAE,kBAAkB,GAC3B,yBAAyB,CAAC,OAAO,CAAC;IAqDrC;;OAEG;IACH,uBAAuB,CAAC,KAAK,SAAS,iBAAiB,EACrD,aAAa,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,OAAO,EACvC,WAAW,EAAE,WAAW,CAAC,KAAK,EAAE,iBAAiB,CAAC,EAClD,OAAO,CAAC,EAAE,kBAAkB,GAC3B;QACD,gBAAgB,EAAE,MAAM,EAAE,CAAC;QAC3B,yBAAyB,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;QACpD,qBAAqB,EAAE,OAAO,CAAC;KAChC;IAiDD;;OAEG;IACH,wBAAwB,CAAC,OAAO,SAAS,iBAAiB,EACxD,WAAW,EAAE,oBAAoB,CAAC,OAAO,CAAC,EAC1C,WAAW,GAAE,QAAQ,GAAG,KAAa,GACpC,oBAAoB,CAAC,OAAO,CAAC;IAkBhC;;OAEG;IACH,sBAAsB,CAAC,OAAO,SAAS,iBAAiB,EACtD,WAAW,EAAE,oBAAoB,CAAC,OAAO,CAAC,EAC1C,OAAO,EAAE,kBAAkB,EAC3B,WAAW,GAAE,QAAQ,GAAG,KAAa,GACpC;QACD,eAAe,EAAE,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAC/C,cAAc,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,qBAAqB,EAAE,OAAO,CAAC;QAC/B,kBAAkB,EAAE;YAClB,eAAe,EAAE,MAAM,CAAC;YACxB,mBAAmB,EAAE,MAAM,CAAC;YAC5B,uBAAuB,EAAE,MAAM,CAAC;YAChC,uBAAuB,EAAE,MAAM,CAAC;SACjC,CAAC;KACH;IA2DD;;OAEG;IACH,mBAAmB,CAAC,OAAO,SAAS,iBAAiB,EACnD,WAAW,EAAE,oBAAoB,CAAC,OAAO,CAAC,EAC1C,OAAO,CAAC,EAAE,kBAAkB,GAC3B;QACD,OAAO,EAAE,OAAO,CAAC;QACjB,MAAM,EAAE,MAAM,EAAE,CAAC;QACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;KACpB;IA0FD;;OAEG;IACH,OAAO,CAAC,0BAA0B;IAYlC,6DAA6D;IACtD,iCAAiC,CACtC,QAAQ,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,GACnC,aAAa,CAAC,OAAO,CAAC,EAAE;CAG5B"}