typekro 0.3.1 → 0.5.0

package/dist/core/expressions/validation/resource-validation.js

@@ -0,0 +1,288 @@
+/**
+ * Resource Reference Type Validation
+ *
+ * This module provides validation for resource references during JavaScript
+ * to CEL expression conversion. It ensures that resource references are
+ * type-safe and that field paths are valid.
+ */
+import { ensureError } from '../../errors.js';
+import { createDefaultMetadata, findSimilarFieldNames, findSimilarResourceNames, getAvailableResourceFields, getAvailableSchemaFields, getChainResultType, getFieldReplacement, getResourceApiVersion, getResourceFieldType, getResourceKind, getSchemaFieldType, hasPerformanceImplications, isCommonKubernetesField, isDeprecatedField, } from './resource-field-utils.js';
+import { ResourceValidationError, ResourceValidationWarning } from './resource-validation-types.js';
+// Re-export everything from sub-modules for backward compatibility
+export { ResourceValidationError, ResourceValidationWarning, } from './resource-validation-types.js';
+/**
+ * Resource reference validator
+ */
+export class ResourceReferenceValidator {
+    validationCache = new Map();
+    dependencyGraph = new Map();
+    /**
+     * Validate a KubernetesRef object
+     */
+    validateKubernetesRef(ref, availableResources, schemaProxy, context) {
+        const refKey = `${ref.resourceId}.${ref.fieldPath}`;
+        // Check cache first
+        const cached = this.validationCache.get(refKey);
+        if (cached && !context?.skipCache) {
+            return cached;
+        }
+        const errors = [];
+        const warnings = [];
+        const suggestions = [];
+        let resolvedType;
+        let metadata;
+        try {
+            if (ref.resourceId === '__schema__') {
+                // Validate schema reference
+                const result = this.validateSchemaReference(ref, schemaProxy, context);
+                resolvedType = result.resolvedType;
+                metadata = result.metadata;
+                errors.push(...result.errors);
+                warnings.push(...result.warnings);
+                suggestions.push(...result.suggestions);
+            }
+            else {
+                // Validate resource reference
+                const result = this.validateResourceReference(ref, availableResources, context);
+                resolvedType = result.resolvedType;
+                metadata = result.metadata;
+                errors.push(...result.errors);
+                warnings.push(...result.warnings);
+                suggestions.push(...result.suggestions);
+            }
+            // Check for circular dependencies
+            if (context?.checkCircularDependencies) {
+                const circularCheck = this.checkCircularDependencies(ref, context.dependencyChain || []);
+                if (!circularCheck.valid) {
+                    errors.push(...circularCheck.errors);
+                }
+            }
+            const result = {
+                valid: errors.length === 0,
+                ...(resolvedType && { resolvedType }),
+                errors,
+                warnings,
+                suggestions,
+                metadata,
+            };
+            // Cache the result
+            this.validationCache.set(refKey, result);
+            return result;
+        }
+        catch (error) {
+            const validationError = new ResourceValidationError(`Validation failed: ${ensureError(error).message}`, refKey, 'INVALID_FIELD_PATH');
+            const result = {
+                valid: false,
+                errors: [validationError],
+                warnings,
+                suggestions,
+                metadata: createDefaultMetadata(),
+            };
+            this.validationCache.set(refKey, result);
+            return result;
+        }
+    }
+    /**
+     * Validate multiple KubernetesRef objects
+     */
+    validateKubernetesRefs(refs, availableResources, schemaProxy, context) {
+        return refs.map((ref) => this.validateKubernetesRef(ref, availableResources, schemaProxy, context));
+    }
+    /**
+     * Validate that a resource reference chain is type-safe
+     */
+    validateReferenceChain(refs, availableResources, schemaProxy) {
+        const errors = [];
+        const warnings = [];
+        const suggestions = [];
+        // Build dependency chain
+        const dependencyChain = refs.map((ref) => `${ref.resourceId}.${ref.fieldPath}`);
+        // Check for circular dependencies by looking for duplicates
+        const seen = new Set();
+        for (const refKey of dependencyChain) {
+            if (seen.has(refKey)) {
+                // Found a circular dependency
+                const circularIndex = dependencyChain.indexOf(refKey);
+                const circularChain = dependencyChain.slice(circularIndex);
+                errors.push(ResourceValidationError.forCircularReference(refKey, circularChain));
+                break;
+            }
+            seen.add(refKey);
+        }
+        // Validate each reference in the chain
+        for (let i = 0; i < refs.length; i++) {
+            const ref = refs[i];
+            if (!ref)
+                continue;
+            const context = {
+                checkCircularDependencies: true,
+                dependencyChain: dependencyChain.slice(0, i),
+                skipCache: false,
+            };
+            const result = this.validateKubernetesRef(ref, availableResources, schemaProxy, context);
+            errors.push(...result.errors);
+            warnings.push(...result.warnings);
+            suggestions.push(...result.suggestions);
+            // If this reference is invalid, stop validation
+            if (!result.valid) {
+                break;
+            }
+        }
+        const resolvedType = refs.length > 0 ? getChainResultType(refs) : undefined;
+        return {
+            valid: errors.length === 0,
+            ...(resolvedType && { resolvedType }),
+            errors,
+            warnings,
+            suggestions,
+            metadata: createDefaultMetadata(),
+        };
+    }
+    /**
+     * Validate schema reference
+     */
+    validateSchemaReference(ref, schemaProxy, _context) {
+        const errors = [];
+        const warnings = [];
+        const suggestions = [];
+        if (!schemaProxy) {
+            errors.push(new ResourceValidationError('Schema reference used but no schema proxy available', `${ref.resourceId}.${ref.fieldPath}`, 'SCHEMA_FIELD_NOT_FOUND'));
+            return {
+                valid: false,
+                errors,
+                warnings,
+                suggestions,
+                metadata: createDefaultMetadata(),
+            };
+        }
+        // Validate field path exists in schema
+        const fieldType = getSchemaFieldType(schemaProxy, ref.fieldPath);
+        if (!fieldType) {
+            const availableFields = getAvailableSchemaFields(schemaProxy);
+            errors.push(ResourceValidationError.forSchemaFieldNotFound(`${ref.resourceId}.${ref.fieldPath}`, ref.fieldPath, availableFields));
+            // Suggest similar field names
+            const similarFields = findSimilarFieldNames(ref.fieldPath, availableFields);
+            if (similarFields.length > 0) {
+                suggestions.push(`Did you mean: ${similarFields.join(', ')}?`);
+            }
+        }
+        // Check for potential null access
+        if (fieldType && (fieldType.optional || fieldType.nullable)) {
+            warnings.push(ResourceValidationWarning.forPotentialNullAccess(`${ref.resourceId}.${ref.fieldPath}`, ref.fieldPath));
+            suggestions.push('Consider using optional chaining (?.) for safer access');
+        }
+        const metadata = {
+            resourceType: 'Schema',
+            fieldOptional: fieldType?.optional || false,
+            fieldNullable: fieldType?.nullable || false,
+            dependencyDepth: ref.fieldPath.split('.').length,
+            isStatusField: ref.fieldPath.startsWith('status.'),
+            isSpecField: ref.fieldPath.startsWith('spec.'),
+            isMetadataField: ref.fieldPath.startsWith('metadata.'),
+        };
+        return {
+            valid: errors.length === 0,
+            ...(fieldType && { resolvedType: fieldType }),
+            errors,
+            warnings,
+            suggestions,
+            metadata,
+        };
+    }
+    /**
+     * Validate resource reference
+     */
+    validateResourceReference(ref, availableResources, _context) {
+        const errors = [];
+        const warnings = [];
+        const suggestions = [];
+        // Check if resource exists
+        const resource = availableResources[ref.resourceId];
+        if (!resource) {
+            const availableResourceIds = Object.keys(availableResources);
+            // Missing resources are errors by default
+            errors.push(new ResourceValidationError(`Resource '${ref.resourceId}' not found. Available resources: ${availableResourceIds.join(', ')}`, `${ref.resourceId}.${ref.fieldPath}`, 'RESOURCE_NOT_FOUND'));
+            // Suggest similar resource names
+            const similarResources = findSimilarResourceNames(ref.resourceId, availableResourceIds);
+            if (similarResources.length > 0) {
+                suggestions.push(`Did you mean: ${similarResources.join(', ')}?`);
+            }
+            return {
+                valid: false, // Invalid when resource not found
+                errors,
+                warnings,
+                suggestions,
+                metadata: createDefaultMetadata(),
+            };
+        }
+        // Validate field path on resource
+        const fieldType = getResourceFieldType(resource, ref.fieldPath);
+        const availableFields = getAvailableResourceFields(resource);
+        // Check if field path is potentially invalid (but be lenient for common patterns)
+        const isCommonField = isCommonKubernetesField(ref.fieldPath);
+        if (!fieldType && !isCommonField) {
+            // Unknown fields are errors by default
+            errors.push(new ResourceValidationError(`Field path '${ref.fieldPath}' is not valid for resource type '${resource.constructor.name}'`, `${ref.resourceId}.${ref.fieldPath}`, 'INVALID_FIELD_PATH'));
+            // Suggest similar field names
+            const similarFields = findSimilarFieldNames(ref.fieldPath, availableFields);
+            if (similarFields.length > 0) {
+                suggestions.push(`Did you mean: ${similarFields.join(', ')}?`);
+            }
+        }
+        // Check for potential null access
+        if (fieldType && (fieldType.optional || fieldType.nullable)) {
+            warnings.push(ResourceValidationWarning.forPotentialNullAccess(`${ref.resourceId}.${ref.fieldPath}`, ref.fieldPath));
+        }
+        // Check for deprecated fields
+        if (isDeprecatedField(resource, ref.fieldPath)) {
+            const replacement = getFieldReplacement(resource, ref.fieldPath);
+            warnings.push(ResourceValidationWarning.forDeprecatedField(`${ref.resourceId}.${ref.fieldPath}`, ref.fieldPath, replacement));
+        }
+        // Check for performance implications
+        if (hasPerformanceImplications(resource, ref.fieldPath)) {
+            warnings.push(ResourceValidationWarning.forPerformanceImpact(`${ref.resourceId}.${ref.fieldPath}`, 'Accessing this field may require additional API calls'));
+        }
+        const apiVersion = getResourceApiVersion(resource);
+        const kind = getResourceKind(resource);
+        const metadata = {
+            resourceType: resource.constructor.name,
+            fieldOptional: fieldType?.optional || false,
+            fieldNullable: fieldType?.nullable || false,
+            dependencyDepth: ref.fieldPath.split('.').length,
+            isStatusField: ref.fieldPath.startsWith('status.'),
+            isSpecField: ref.fieldPath.startsWith('spec.'),
+            isMetadataField: ref.fieldPath.startsWith('metadata.'),
+            ...(apiVersion && { apiVersion }),
+            ...(kind && { kind }),
+        };
+        return {
+            valid: errors.length === 0,
+            ...(fieldType && { resolvedType: fieldType }),
+            errors,
+            warnings,
+            suggestions,
+            metadata,
+        };
+    }
+    /**
+     * Check for circular dependencies
+     */
+    checkCircularDependencies(ref, dependencyChain) {
+        const refKey = `${ref.resourceId}.${ref.fieldPath}`;
+        if (dependencyChain.includes(refKey)) {
+            return {
+                valid: false,
+                errors: [ResourceValidationError.forCircularReference(refKey, dependencyChain)],
+            };
+        }
+        return { valid: true, errors: [] };
+    }
+    /**
+     * Clear validation cache
+     */
+    clearCache() {
+        this.validationCache.clear();
+        this.dependencyGraph.clear();
+    }
+}
+//# sourceMappingURL=resource-validation.js.map

package/dist/core/expressions/validation/resource-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resource-validation.js","sourceRoot":"","sources":["../../../../src/core/expressions/validation/resource-validation.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAK9C,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,wBAAwB,EACxB,0BAA0B,EAC1B,wBAAwB,EACxB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,EACpB,eAAe,EACf,kBAAkB,EAClB,0BAA0B,EAC1B,uBAAuB,EACvB,iBAAiB,GAClB,MAAM,2BAA2B,CAAC;AAOnC,OAAO,EAAE,uBAAuB,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAUpG,mEAAmE;AACnE,OAAO,EACL,uBAAuB,EACvB,yBAAyB,GAC1B,MAAM,gCAAgC,CAAC;AAExC;;GAEG;AACH,MAAM,OAAO,0BAA0B;IAC7B,eAAe,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC9D,eAAe,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEzD;;OAEG;IACH,qBAAqB,CACnB,GAAuB,EACvB,kBAAsD,EACtD,WAAmC,EACnC,OAA2B;QAE3B,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAEpD,oBAAoB;QACpB,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,MAAM,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC;YAClC,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,MAAM,MAAM,GAA8B,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAgC,EAAE,CAAC;QACjD,MAAM,WAAW,GAAa,EAAE,CAAC;QAEjC,IAAI,YAAkC,CAAC;QACvC,IAAI,QAAoC,CAAC;QAEzC,IAAI,CAAC;YACH,IAAI,GAAG,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;gBACpC,4BAA4B;gBAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,uBAAuB,CAAC,GAAG,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;gBACvE,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;gBACnC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;gBAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;gBAClC,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,8BAA8B;gBAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,yBAAyB,CAAC,GAAG,EAAE,kBAAkB,EAAE,OAAO,CAAC,CAAC;gBAChF,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;gBACnC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;gBAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;gBAClC,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;YAC1C,CAAC;YAED,kCAAkC;YAClC,IAAI,OAAO,EAAE,yBAAyB,EAAE,CAAC;gBACvC,MAAM,aAAa,GAAG,IAAI,CAAC,yBAAyB,CAAC,GAAG,EAAE,OAAO,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;gBACzF,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;oBACzB,MAAM,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;gBACvC,CAAC;YACH,CAAC;YAED,MAAM,MAAM,GAA6B;gBACvC,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;gBAC1B,GAAG,CAAC,YAAY,IAAI,EAAE,YAAY,EAAE,CAAC;gBACrC,MAAM;gBACN,QAAQ;gBACR,WAAW;gBACX,QAAQ;aACT,CAAC;YAEF,mBAAmB;YACnB,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACzC,OAAO,MAAM,CAAC;QAChB,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACxB,MAAM,eAAe,GAAG,IAAI,uBAAuB,CACjD,sBAAsB,WAAW,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAClD,MAAM,EACN,oBAAoB,CACrB,CAAC;YAEF,MAAM,MAAM,GAA6B;gBACvC,KAAK,EAAE,KAAK;gBACZ,MAAM,EAAE,CAAC,eAAe,CAAC;gBACzB,QAAQ;gBACR,WAAW;gBACX,QAAQ,EAAE,qBAAqB,EAAE;aAClC,CAAC;YAEF,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACzC,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IAED;;OAEG;IACH,sBAAsB,CACpB,IAA0B,EAC1B,kBAAsD,EACtD,WAAmC,EACnC,OAA2B;QAE3B,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACtB,IAAI,CAAC,qBAAqB,CAAC,GAAG,EAAE,kBAAkB,EAAE,WAAW,EAAE,OAAO,CAAC,CAC1E,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,sBAAsB,CACpB,IAA0B,EAC1B,kBAAsD,EACtD,WAAmC;QAEnC,MAAM,MAAM,GAA8B,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAgC,EAAE,CAAC;QACjD,MAAM,WAAW,GAAa,EAAE,CAAC;QAEjC,yBAAyB;QACzB,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;QAEhF,4DAA4D;QAC5D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,MAAM,IAAI,eAAe,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrB,8BAA8B;gBAC9B,MAAM,aAAa,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBACtD,MAAM,aAAa,GAAG,eAAe,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;gBAC3D,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC,oBAAoB,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;gBACjF,MAAM;YACR,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACnB,CAAC;QAED,uCAAuC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,GAAG;gBAAE,SAAS;YAEnB,MAAM,OAAO,GAAsB;gBACjC,yBAAyB,EAAE,IAAI;gBAC/B,eAAe,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC5C,SAAS,EAAE,KAAK;aACjB,CAAC;YAEF,MAAM,MAAM,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,EAAE,kBAAkB,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;YACzF,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;YAClC,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;YAExC,gDAAgD;YAChD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;gBAClB,MAAM;YACR,CAAC;QACH,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;YAC1B,GAAG,CAAC,YAAY,IAAI,EAAE,YAAY,EAAE,CAAC;YACrC,MAAM;YACN,QAAQ;YACR,WAAW;YACX,QAAQ,EAAE,qBAAqB,EAAE;SAClC,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,uBAAuB,CAC7B,GAAuB,EACvB,WAAmC,EACnC,QAA4B;QAE5B,MAAM,MAAM,GAA8B,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAgC,EAAE,CAAC;QACjD,MAAM,WAAW,GAAa,EAAE,CAAC;QAEjC,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,MAAM,CAAC,IAAI,CACT,IAAI,uBAAuB,CACzB,qDAAqD,EACrD,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,EACpC,wBAAwB,CACzB,CACF,CAAC;YAEF,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,MAAM;gBACN,QAAQ;gBACR,WAAW;gBACX,QAAQ,EAAE,qBAAqB,EAAE;aAClC,CAAC;QACJ,CAAC;QAED,uCAAuC;QACvC,MAAM,SAAS,GAAG,kBAAkB,CAAC,WAAW,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QACjE,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,MAAM,eAAe,GAAG,wBAAwB,CAAC,WAAW,CAAC,CAAC;YAC9D,MAAM,CAAC,IAAI,CACT,uBAAuB,CAAC,sBAAsB,CAC5C,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,EACpC,GAAG,CAAC,SAAS,EACb,eAAe,CAChB,CACF,CAAC;YAEF,8BAA8B;YAC9B,MAAM,aAAa,GAAG,qBAAqB,CAAC,GAAG,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;YAC5E,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7B,WAAW,CAAC,IAAI,CAAC,iBAAiB,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QAED,kCAAkC;QAClC,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5D,QAAQ,CAAC,IAAI,CACX,yBAAyB,CAAC,sBAAsB,CAC9C,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,EACpC,GAAG,CAAC,SAAS,CACd,CACF,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;QAC7E,CAAC;QAED,MAAM,QAAQ,GAA+B;YAC3C,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,SAAS,EAAE,QAAQ,IAAI,KAAK;YAC3C,aAAa,EAAE,SAAS,EAAE,QAAQ,IAAI,KAAK;YAC3C,eAAe,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM;YAChD,aAAa,EAAE,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC;YAClD,WAAW,EAAE,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC;YAC9C,eAAe,EAAE,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC;SACvD,CAAC;QAEF,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;YAC1B,GAAG,CAAC,SAAS,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;YAC7C,MAAM;YACN,QAAQ;YACR,WAAW;YACX,QAAQ;SACT,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,yBAAyB,CAC/B,GAAuB,EACvB,kBAAsD,EACtD,QAA4B;QAE5B,MAAM,MAAM,GAA8B,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAgC,EAAE,CAAC;QACjD,MAAM,WAAW,GAAa,EAAE,CAAC;QAEjC,2BAA2B;QAC3B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACpD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,oBAAoB,GAAG,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAE7D,0CAA0C;YAC1C,MAAM,CAAC,IAAI,CACT,IAAI,uBAAuB,CACzB,aAAa,GAAG,CAAC,UAAU,qCAAqC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACjG,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,EACpC,oBAAmD,CACpD,CACF,CAAC;YAEF,iCAAiC;YACjC,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,GAAG,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC;YACxF,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChC,WAAW,CAAC,IAAI,CAAC,iBAAiB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpE,CAAC;YAED,OAAO;gBACL,KAAK,EAAE,KAAK,EAAE,kCAAkC;gBAChD,MAAM;gBACN,QAAQ;gBACR,WAAW;gBACX,QAAQ,EAAE,qBAAqB,EAAE;aAClC,CAAC;QACJ,CAAC;QAED,kCAAkC;QAClC,MAAM,SAAS,GAAG,oBAAoB,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QAChE,MAAM,eAAe,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;QAE7D,kFAAkF;QAClF,MAAM,aAAa,GAAG,uBAAuB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC7D,IAAI,CAAC,SAAS,IAAI,CAAC,aAAa,EAAE,CAAC;YACjC,uCAAuC;YACvC,MAAM,CAAC,IAAI,CACT,IAAI,uBAAuB,CACzB,eAAe,GAAG,CAAC,SAAS,qCAAqC,QAAQ,CAAC,WAAW,CAAC,IAAI,GAAG,EAC7F,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,EACpC,oBAAmD,CACpD,CACF,CAAC;YAEF,8BAA8B;YAC9B,MAAM,aAAa,GAAG,qBAAqB,CAAC,GAAG,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;YAC5E,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7B,WAAW,CAAC,IAAI,CAAC,iBAAiB,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QAED,kCAAkC;QAClC,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5D,QAAQ,CAAC,IAAI,CACX,yBAAyB,CAAC,sBAAsB,CAC9C,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,EACpC,GAAG,CAAC,SAAS,CACd,CACF,CAAC;QACJ,CAAC;QAED,8BAA8B;QAC9B,IAAI,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/C,MAAM,WAAW,GAAG,mBAAmB,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;YACjE,QAAQ,CAAC,IAAI,CACX,yBAAyB,CAAC,kBAAkB,CAC1C,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,EACpC,GAAG,CAAC,SAAS,EACb,WAAW,CACZ,CACF,CAAC;QACJ,CAAC;QAED,qCAAqC;QACrC,IAAI,0BAA0B,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACxD,QAAQ,CAAC,IAAI,CACX,yBAAyB,CAAC,oBAAoB,CAC5C,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,EACpC,uDAAuD,CACxD,CACF,CAAC;QACJ,CAAC;QAED,MAAM,UAAU,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,QAAQ,GAA+B;YAC3C,YAAY,EAAE,QAAQ,CAAC,WAAW,CAAC,IAAI;YACvC,aAAa,EAAE,SAAS,EAAE,QAAQ,IAAI,KAAK;YAC3C,aAAa,EAAE,SAAS,EAAE,QAAQ,IAAI,KAAK;YAC3C,eAAe,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM;YAChD,aAAa,EAAE,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC;YAClD,WAAW,EAAE,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC;YAC9C,eAAe,EAAE,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC;YACtD,GAAG,CAAC,UAAU,IAAI,EAAE,UAAU,EAAE,CAAC;YACjC,GAAG,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC;SACtB,CAAC;QAEF,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;YAC1B,GAAG,CAAC,SAAS,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;YAC7C,MAAM;YACN,QAAQ;YACR,WAAW;YACX,QAAQ;SACT,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,yBAAyB,CAC/B,GAAuB,EACvB,eAAyB;QAEzB,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAEpD,IAAI,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACrC,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,MAAM,EAAE,CAAC,uBAAuB,CAAC,oBAAoB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;aAChF,CAAC;QACJ,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,UAAU;QACR,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;IAC/B,CAAC;CACF"}

package/dist/core/expressions/{type-inference.d.ts → validation/type-inference-types.d.ts}

@@ -1,14 +1,13 @@
 /**
- * Type Inference for CEL Expressions
+ * Type Inference Types and Error Classes
  *
- * This module provides type inference capabilities for CEL expressions
- * generated from JavaScript expressions. It analyzes CEL expressions
- * to determine their result types and validates type compatibility.
+ * This module contains all type definitions, interfaces, and error classes
+ * used by the CEL type inference engine.
  */
-import type { CelExpression } from '../types/common.js';
-import type { Enhanced } from '../types/kubernetes.js';
-import type { SchemaProxy } from '../types/serialization.js';
-import type { TypeInfo, TypeValidationResult } from './type-safety.js';
+import { TypeKroError } from '../../errors.js';
+import type { Enhanced } from '../../types/kubernetes.js';
+import type { SchemaProxy } from '../../types/serialization.js';
+import type { TypeInfo } from './type-safety.js';
 /**
  * CEL expression type inference result
  */
@@ -29,7 +28,7 @@ export interface CelTypeInferenceResult {
 /**
  * Type inference error
  */
-export declare class TypeInferenceError extends Error {
+export declare class TypeInferenceError extends TypeKroError {
     readonly celExpression: string;
     readonly location?: {
         start: number;
@@ -92,84 +91,6 @@ export interface TypeInferenceMetadata {
     /** Complexity score of the expression (0-10) */
     complexityScore: number;
 }
-/**
- * CEL type inference engine
- */
-export declare class CelTypeInferenceEngine {
-    private functionTypes;
-    private operatorTypes;
-    constructor();
-    /**
-     * Infer the type of a CEL expression
-     */
-    inferType(celExpression: CelExpression, context: TypeInferenceContext): CelTypeInferenceResult;
-    /**
-     * Infer types for multiple CEL expressions
-     */
-    inferTypes(celExpressions: CelExpression[], context: TypeInferenceContext): CelTypeInferenceResult[];
-    /**
-     * Validate type compatibility between expressions
-     */
-    validateTypeCompatibility(sourceType: TypeInfo, targetType: TypeInfo): TypeValidationResult;
-    /**
-     * Analyze a CEL expression and infer its type
-     */
-    private analyzeExpression;
-    /**
-     * Analyze binary operations (>, <, ==, !=, &&, ||, +, -, *, /)
-     */
-    private analyzeBinaryOperation;
-    /**
-     * Analyze function calls
-     */
-    private analyzeFunctionCall;
-    /**
-     * Analyze resource references (resources.name.field)
-     */
-    private analyzeResourceReference;
-    /**
-     * Analyze schema references (schema.spec.field)
-     */
-    private analyzeSchemaReference;
-    /**
-     * Analyze literal values
-     */
-    private analyzeLiteral;
-    /**
-     * Analyze conditional expressions (condition ? true : false)
-     */
-    private analyzeConditionalExpression;
-    /**
-     * Initialize builtin CEL function and operator types
-     */
-    private initializeBuiltinTypes;
-    /**
-     * Utility methods
-     */
-    private tokenizeExpression;
-    private isBinaryOperation;
-    private isFunctionCall;
-    private isResourceReference;
-    private isSchemaReference;
-    private isLiteral;
-    private isConditionalExpression;
-    private findMainOperator;
-    private getOperatorResultType;
-    private isAssignable;
-    private requiresImplicitConversion;
-    private inferResourceFieldType;
-    private getMetadataFieldType;
-    private getSpecFieldType;
-    private getStatusFieldType;
-    private inferSchemaFieldType;
-    private inferTypeFromValue;
-    private unifyTypes;
-    private createEmptyMetadata;
-    /**
-     * Extract resource references from the expression
-     */
-    private extractResourceReferences;
-}
 /**
  * Type inference context
  */
@@ -181,4 +102,29 @@ export interface TypeInferenceContext {
     /** Factory type affects available functions */
     factoryType: 'direct' | 'kro';
 }
-//# sourceMappingURL=type-inference.d.ts.map
+/**
+ * Expression analysis result
+ */
+export interface ExpressionAnalysisResult {
+    type: TypeInfo;
+    errors: TypeInferenceError[];
+    warnings: TypeInferenceWarning[];
+    confidence: number;
+    metadata: TypeInferenceMetadata;
+}
+/**
+ * CEL function signature
+ */
+export interface CelFunctionSignature {
+    parameters: TypeInfo[];
+    returnType: TypeInfo;
+}
+/**
+ * CEL operator signature
+ */
+export interface CelOperatorSignature {
+    leftType: TypeInfo;
+    rightType: TypeInfo;
+    returnType: TypeInfo;
+}
+//# sourceMappingURL=type-inference-types.d.ts.map

package/dist/core/expressions/validation/type-inference-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-inference-types.d.ts","sourceRoot":"","sources":["../../../../src/core/expressions/validation/type-inference-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAC1D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEjD;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,iDAAiD;IACjD,UAAU,EAAE,QAAQ,CAAC;IAErB,gDAAgD;IAChD,OAAO,EAAE,OAAO,CAAC;IAEjB,4BAA4B;IAC5B,MAAM,EAAE,kBAAkB,EAAE,CAAC;IAE7B,8BAA8B;IAC9B,QAAQ,EAAE,oBAAoB,EAAE,CAAC;IAEjC,8CAA8C;IAC9C,UAAU,EAAE,MAAM,CAAC;IAEnB,kCAAkC;IAClC,QAAQ,EAAE,qBAAqB,CAAC;CACjC;AAED;;GAEG;AACH,qBAAa,kBAAmB,SAAQ,YAAY;aAGhC,aAAa,EAAE,MAAM;aACrB,QAAQ,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE;gBAFzD,OAAO,EAAE,MAAM,EACC,aAAa,EAAE,MAAM,EACrB,QAAQ,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,YAAA;IAS3D,MAAM,CAAC,kBAAkB,CACvB,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM,EACpB,QAAQ,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,GACxC,kBAAkB;IAIrB,MAAM,CAAC,uBAAuB,CAC5B,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,QAAQ,EAClB,SAAS,EAAE,QAAQ,EACnB,QAAQ,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,GACxC,kBAAkB;IAQrB,MAAM,CAAC,wBAAwB,CAC7B,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM,EACjB,QAAQ,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,GACxC,kBAAkB;CAOtB;AAED;;GAEG;AACH,qBAAa,oBAAoB;aAEb,OAAO,EAAE,MAAM;aACf,aAAa,EAAE,MAAM;aACrB,QAAQ,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE;gBAFzC,OAAO,EAAE,MAAM,EACf,aAAa,EAAE,MAAM,EACrB,QAAQ,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,YAAA;IAG3D,MAAM,CAAC,2BAA2B,CAChC,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM,EACjB,QAAQ,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,GACxC,oBAAoB;IAQvB,MAAM,CAAC,yBAAyB,CAC9B,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,QAAQ,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,GACxC,oBAAoB;CAOxB;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,2CAA2C;IAC3C,aAAa,EAAE,MAAM,EAAE,CAAC;IAExB,kDAAkD;IAClD,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAE7B,gDAAgD;IAChD,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAE3B,oDAAoD;IACpD,oBAAoB,EAAE,OAAO,CAAC;IAE9B,6CAA6C;IAC7C,aAAa,EAAE,OAAO,CAAC;IAEvB,gDAAgD;IAChD,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,0CAA0C;IAC1C,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAEvD,0CAA0C;IAC1C,WAAW,CAAC,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAEpC,+CAA+C;IAC/C,WAAW,EAAE,QAAQ,GAAG,KAAK,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,kBAAkB,EAAE,CAAC;IAC7B,QAAQ,EAAE,oBAAoB,EAAE,CAAC;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,qBAAqB,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,UAAU,EAAE,QAAQ,EAAE,CAAC;IACvB,UAAU,EAAE,QAAQ,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,QAAQ,CAAC;IACnB,SAAS,EAAE,QAAQ,CAAC;IACpB,UAAU,EAAE,QAAQ,CAAC;CACtB"}

package/dist/core/expressions/validation/type-inference-types.js

@@ -0,0 +1,52 @@
+/**
+ * Type Inference Types and Error Classes
+ *
+ * This module contains all type definitions, interfaces, and error classes
+ * used by the CEL type inference engine.
+ */
+import { TypeKroError } from '../../errors.js';
+/**
+ * Type inference error
+ */
+export class TypeInferenceError extends TypeKroError {
+    celExpression;
+    location;
+    constructor(message, celExpression, location) {
+        super(message, 'TYPE_INFERENCE_ERROR', {
+            celExpression,
+            location,
+        });
+        this.celExpression = celExpression;
+        this.location = location;
+        this.name = 'TypeInferenceError';
+    }
+    static forUnknownFunction(celExpression, functionName, location) {
+        return new TypeInferenceError(`Unknown CEL function: ${functionName}`, celExpression, location);
+    }
+    static forIncompatibleOperands(celExpression, operator, leftType, rightType, location) {
+        return new TypeInferenceError(`Incompatible operands for operator '${operator}': ${leftType.typeName} and ${rightType.typeName}`, celExpression, location);
+    }
+    static forUnresolvableReference(celExpression, reference, location) {
+        return new TypeInferenceError(`Cannot resolve reference: ${reference}`, celExpression, location);
+    }
+}
+/**
+ * Type inference warning
+ */
+export class TypeInferenceWarning {
+    message;
+    celExpression;
+    location;
+    constructor(message, celExpression, location) {
+        this.message = message;
+        this.celExpression = celExpression;
+        this.location = location;
+    }
+    static forPotentialNullDereference(celExpression, reference, location) {
+        return new TypeInferenceWarning(`Potential null dereference: ${reference}`, celExpression, location);
+    }
+    static forImplicitTypeConversion(celExpression, fromType, toType, location) {
+        return new TypeInferenceWarning(`Implicit type conversion from ${fromType} to ${toType}`, celExpression, location);
+    }
+}
+//# sourceMappingURL=type-inference-types.js.map

package/dist/core/expressions/validation/type-inference-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-inference-types.js","sourceRoot":"","sources":["../../../../src/core/expressions/validation/type-inference-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AA4B/C;;GAEG;AACH,MAAM,OAAO,kBAAmB,SAAQ,YAAY;IAGhC;IACA;IAHlB,YACE,OAAe,EACC,aAAqB,EACrB,QAAyC;QAEzD,KAAK,CAAC,OAAO,EAAE,sBAAsB,EAAE;YACrC,aAAa;YACb,QAAQ;SACT,CAAC,CAAC;QANa,kBAAa,GAAb,aAAa,CAAQ;QACrB,aAAQ,GAAR,QAAQ,CAAiC;QAMzD,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;IAED,MAAM,CAAC,kBAAkB,CACvB,aAAqB,EACrB,YAAoB,EACpB,QAAyC;QAEzC,OAAO,IAAI,kBAAkB,CAAC,yBAAyB,YAAY,EAAE,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;IAClG,CAAC;IAED,MAAM,CAAC,uBAAuB,CAC5B,aAAqB,EACrB,QAAgB,EAChB,QAAkB,EAClB,SAAmB,EACnB,QAAyC;QAEzC,OAAO,IAAI,kBAAkB,CAC3B,uCAAuC,QAAQ,MAAM,QAAQ,CAAC,QAAQ,QAAQ,SAAS,CAAC,QAAQ,EAAE,EAClG,aAAa,EACb,QAAQ,CACT,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,wBAAwB,CAC7B,aAAqB,EACrB,SAAiB,EACjB,QAAyC;QAEzC,OAAO,IAAI,kBAAkB,CAC3B,6BAA6B,SAAS,EAAE,EACxC,aAAa,EACb,QAAQ,CACT,CAAC;IACJ,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,oBAAoB;IAEb;IACA;IACA;IAHlB,YACkB,OAAe,EACf,aAAqB,EACrB,QAAyC;QAFzC,YAAO,GAAP,OAAO,CAAQ;QACf,kBAAa,GAAb,aAAa,CAAQ;QACrB,aAAQ,GAAR,QAAQ,CAAiC;IACxD,CAAC;IAEJ,MAAM,CAAC,2BAA2B,CAChC,aAAqB,EACrB,SAAiB,EACjB,QAAyC;QAEzC,OAAO,IAAI,oBAAoB,CAC7B,+BAA+B,SAAS,EAAE,EAC1C,aAAa,EACb,QAAQ,CACT,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,yBAAyB,CAC9B,aAAqB,EACrB,QAAgB,EAChB,MAAc,EACd,QAAyC;QAEzC,OAAO,IAAI,oBAAoB,CAC7B,iCAAiC,QAAQ,OAAO,MAAM,EAAE,EACxD,aAAa,EACb,QAAQ,CACT,CAAC;IACJ,CAAC;CACF"}

package/dist/core/expressions/validation/type-inference.d.ts

@@ -0,0 +1,86 @@
+/**
+ * Type Inference for CEL Expressions
+ *
+ * This module provides type inference capabilities for CEL expressions
+ * generated from JavaScript expressions. It analyzes CEL expressions
+ * to determine their result types and validates type compatibility.
+ */
+import type { CelExpression } from '../../types/common.js';
+import type { CelTypeInferenceResult, TypeInferenceContext } from './type-inference-types.js';
+import type { TypeInfo, TypeValidationResult } from './type-safety.js';
+export { getMetadataFieldType, getSpecFieldType, getStatusFieldType, inferResourceFieldType, inferSchemaFieldType, inferTypeFromValue, } from './kubernetes-field-types.js';
+export type { CelFunctionSignature, CelOperatorSignature, CelTypeInferenceResult, ExpressionAnalysisResult, TypeInferenceContext, TypeInferenceMetadata, } from './type-inference-types.js';
+export { TypeInferenceError, TypeInferenceWarning, } from './type-inference-types.js';
+/**
+ * CEL type inference engine
+ */
+export declare class CelTypeInferenceEngine {
+    private functionTypes;
+    private operatorTypes;
+    constructor();
+    /**
+     * Infer the type of a CEL expression
+     */
+    inferType(celExpression: CelExpression, context: TypeInferenceContext): CelTypeInferenceResult;
+    /**
+     * Infer types for multiple CEL expressions
+     */
+    inferTypes(celExpressions: CelExpression[], context: TypeInferenceContext): CelTypeInferenceResult[];
+    /**
+     * Validate type compatibility between expressions
+     */
+    validateTypeCompatibility(sourceType: TypeInfo, targetType: TypeInfo): TypeValidationResult;
+    /**
+     * Analyze a CEL expression and infer its type
+     */
+    private analyzeExpression;
+    /**
+     * Analyze binary operations (>, <, ==, !=, &&, ||, +, -, *, /)
+     */
+    private analyzeBinaryOperation;
+    /**
+     * Analyze function calls
+     */
+    private analyzeFunctionCall;
+    /**
+     * Analyze resource references (resources.name.field)
+     */
+    private analyzeResourceReference;
+    /**
+     * Analyze schema references (schema.spec.field)
+     */
+    private analyzeSchemaReference;
+    /**
+     * Analyze literal values
+     */
+    private analyzeLiteral;
+    /**
+     * Analyze conditional expressions (condition ? true : false)
+     */
+    private analyzeConditionalExpression;
+    /**
+     * Initialize builtin CEL function and operator types
+     */
+    private initializeBuiltinTypes;
+    /**
+     * Utility methods
+     */
+    private tokenizeExpression;
+    private isBinaryOperation;
+    private isFunctionCall;
+    private isResourceReference;
+    private isSchemaReference;
+    private isLiteral;
+    private isConditionalExpression;
+    private findMainOperator;
+    private getOperatorResultType;
+    private isAssignable;
+    private requiresImplicitConversion;
+    private unifyTypes;
+    private createEmptyMetadata;
+    /**
+     * Extract resource references from the expression
+     */
+    private extractResourceReferences;
+}
+//# sourceMappingURL=type-inference.d.ts.map

package/dist/core/expressions/validation/type-inference.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-inference.d.ts","sourceRoot":"","sources":["../../../../src/core/expressions/validation/type-inference.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,KAAK,EAGV,sBAAsB,EAEtB,oBAAoB,EAErB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,KAAK,EAAE,QAAQ,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAGvE,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,kBAAkB,EAClB,sBAAsB,EACtB,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,oBAAoB,EACpB,oBAAoB,EACpB,sBAAsB,EACtB,wBAAwB,EACxB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EACL,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,2BAA2B,CAAC;AAEnC;;GAEG;AACH,qBAAa,sBAAsB;IACjC,OAAO,CAAC,aAAa,CAA2C;IAChE,OAAO,CAAC,aAAa,CAA2C;;IAMhE;;OAEG;IACH,SAAS,CAAC,aAAa,EAAE,aAAa,EAAE,OAAO,EAAE,oBAAoB,GAAG,sBAAsB;IA8B9F;;OAEG;IACH,UAAU,CACR,cAAc,EAAE,aAAa,EAAE,EAC/B,OAAO,EAAE,oBAAoB,GAC5B,sBAAsB,EAAE;IAI3B;;OAEG;IACH,yBAAyB,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,GAAG,oBAAoB;IAkD3F;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAiDzB;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAkF9B;;OAEG;IACH,OAAO,CAAC,mBAAmB;IA4D3B;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAoEhC;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAiD9B;;OAEG;IACH,OAAO,CAAC,cAAc;IA6DtB;;OAEG;IACH,OAAO,CAAC,4BAA4B;IAqDpC;;OAEG;IACH,OAAO,CAAC,sBAAsB;IA0D9B;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAK1B,OAAO,CAAC,iBAAiB;IAMzB,OAAO,CAAC,cAAc;IAKtB,OAAO,CAAC,mBAAmB;IAK3B,OAAO,CAAC,iBAAiB;IAIzB,OAAO,CAAC,SAAS;IAKjB,OAAO,CAAC,uBAAuB;IAI/B,OAAO,CAAC,gBAAgB;IAUxB,OAAO,CAAC,qBAAqB;IAY7B,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,0BAA0B;IAIlC,OAAO,CAAC,UAAU;IAYlB,OAAO,CAAC,mBAAmB;IAW3B;;OAEG;IACH,OAAO,CAAC,yBAAyB;CAkBlC"}