typekro 0.3.1 → 0.5.0

package/dist/core/expressions/magic-proxy/optionality-cel-generation.d.ts

@@ -0,0 +1,51 @@
+/**
+ * CEL expression generation with null-safety and has() checks
+ * for the Enhanced Type Optionality Handler.
+ *
+ * These standalone functions handle converting expressions to CEL format
+ * with appropriate null-safety guards for potentially undefined fields.
+ */
+import type { TypeKroLogger } from '../../logging/types.js';
+import type { CelExpression } from '../../types/common.js';
+import type { SourceMapEntry } from '../analysis/source-map.js';
+import type { OptionalityAnalysisResult, OptionalityContext } from './optionality-types.js';
+/**
+ * Convert expression to basic CEL without null-safety
+ */
+export declare function convertToBasicCel(expression: unknown, _context: OptionalityContext): CelExpression;
+/**
+ * Generate null-safe CEL expression
+ */
+export declare function generateNullSafeExpression(expression: unknown, optionalityResults: OptionalityAnalysisResult[], context: OptionalityContext, logger: TypeKroLogger): CelExpression;
+/**
+ * Generate CEL expressions with has() checks for potentially undefined fields.
+ *
+ * This function creates comprehensive CEL expressions that include has() checks
+ * for all potentially undefined fields in the expression.
+ */
+export declare function generateCelWithHasChecksImpl(expression: unknown, optionalityResults: OptionalityAnalysisResult[], context: OptionalityContext, logger: TypeKroLogger): CelExpression;
+/**
+ * Generate has() checks for fields that require null-safety
+ */
+export declare function generateHasChecksForFields(fieldsRequiringChecks: OptionalityAnalysisResult[], context: OptionalityContext): string[];
+/**
+ * Generate nested has() checks for complex field paths
+ */
+export declare function generateNestedHasChecks(field: OptionalityAnalysisResult, _context: OptionalityContext): string[];
+/**
+ * Convert expression with KubernetesRef objects to CEL
+ */
+export declare function convertExpressionWithKubernetesRefs(expression: unknown, optionalityResults: OptionalityAnalysisResult[], context: OptionalityContext): string;
+/**
+ * Combine has() checks with the main expression
+ */
+export declare function combineHasChecksWithExpression(hasChecks: string[], mainExpression: string, _context: OptionalityContext): string;
+/**
+ * Infer the type of the expression result
+ */
+export declare function inferExpressionType(expression: unknown, _context: OptionalityContext): string;
+/**
+ * Generate source mapping for debugging
+ */
+export declare function generateSourceMapping(originalExpression: unknown, celExpression: CelExpression, context: OptionalityContext): SourceMapEntry[];
+//# sourceMappingURL=optionality-cel-generation.d.ts.map

package/dist/core/expressions/magic-proxy/optionality-cel-generation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"optionality-cel-generation.d.ts","sourceRoot":"","sources":["../../../../src/core/expressions/magic-proxy/optionality-cel-generation.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAKH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,KAAK,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAE5F;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,OAAO,EACnB,QAAQ,EAAE,kBAAkB,GAC3B,aAAa,CAOf;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,OAAO,EACnB,kBAAkB,EAAE,yBAAyB,EAAE,EAC/C,OAAO,EAAE,kBAAkB,EAC3B,MAAM,EAAE,aAAa,GACpB,aAAa,CAGf;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,OAAO,EACnB,kBAAkB,EAAE,yBAAyB,EAAE,EAC/C,OAAO,EAAE,kBAAkB,EAC3B,MAAM,EAAE,aAAa,GACpB,aAAa,CA8Bf;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CACxC,qBAAqB,EAAE,yBAAyB,EAAE,EAClD,OAAO,EAAE,kBAAkB,GAC1B,MAAM,EAAE,CAqBV;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,yBAAyB,EAChC,QAAQ,EAAE,kBAAkB,GAC3B,MAAM,EAAE,CA4BV;AAED;;GAEG;AACH,wBAAgB,mCAAmC,CACjD,UAAU,EAAE,OAAO,EACnB,kBAAkB,EAAE,yBAAyB,EAAE,EAC/C,OAAO,EAAE,kBAAkB,GAC1B,MAAM,CA+CR;AAED;;GAEG;AACH,wBAAgB,8BAA8B,CAC5C,SAAS,EAAE,MAAM,EAAE,EACnB,cAAc,EAAE,MAAM,EACtB,QAAQ,EAAE,kBAAkB,GAC3B,MAAM,CAaR;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,kBAAkB,GAAG,MAAM,CAsB7F;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,kBAAkB,EAAE,OAAO,EAC3B,aAAa,EAAE,aAAa,EAC5B,OAAO,EAAE,kBAAkB,GAC1B,cAAc,EAAE,CAmBlB"}

package/dist/core/expressions/magic-proxy/optionality-cel-generation.js

@@ -0,0 +1,201 @@
+/**
+ * CEL expression generation with null-safety and has() checks
+ * for the Enhanced Type Optionality Handler.
+ *
+ * These standalone functions handle converting expressions to CEL format
+ * with appropriate null-safety guards for potentially undefined fields.
+ */
+import { isKubernetesRef } from '../../../utils/type-guards.js';
+import { CEL_EXPRESSION_BRAND } from '../../constants/brands.js';
+import { ensureError } from '../../errors.js';
+/**
+ * Convert expression to basic CEL without null-safety
+ */
+export function convertToBasicCel(expression, _context) {
+    // This is a placeholder - would need to integrate with the main analyzer
+    return {
+        [CEL_EXPRESSION_BRAND]: true,
+        expression: String(expression),
+        type: 'unknown',
+    };
+}
+/**
+ * Generate null-safe CEL expression
+ */
+export function generateNullSafeExpression(expression, optionalityResults, context, logger) {
+    // Use the enhanced has() check generation
+    return generateCelWithHasChecksImpl(expression, optionalityResults, context, logger);
+}
+/**
+ * Generate CEL expressions with has() checks for potentially undefined fields.
+ *
+ * This function creates comprehensive CEL expressions that include has() checks
+ * for all potentially undefined fields in the expression.
+ */
+export function generateCelWithHasChecksImpl(expression, optionalityResults, context, logger) {
+    try {
+        const fieldsRequiringChecks = optionalityResults.filter((result) => result.requiresNullSafety);
+        if (fieldsRequiringChecks.length === 0) {
+            return convertToBasicCel(expression, context);
+        }
+        // Generate has() checks for each field
+        const hasChecks = generateHasChecksForFields(fieldsRequiringChecks, context);
+        // Generate the main expression
+        const mainExpression = convertExpressionWithKubernetesRefs(expression, optionalityResults, context);
+        // Combine has() checks with the main expression
+        const combinedExpression = combineHasChecksWithExpression(hasChecks, mainExpression, context);
+        return {
+            [CEL_EXPRESSION_BRAND]: true,
+            expression: combinedExpression,
+            type: inferExpressionType(expression, context),
+        };
+    }
+    catch (error) {
+        logger.error('Failed to generate CEL with has() checks', ensureError(error));
+        return convertToBasicCel(expression, context);
+    }
+}
+/**
+ * Generate has() checks for fields that require null-safety
+ */
+export function generateHasChecksForFields(fieldsRequiringChecks, context) {
+    const hasChecks = [];
+    const processedPaths = new Set();
+    for (const field of fieldsRequiringChecks) {
+        const resourcePath = field.isSchemaReference
+            ? `schema.${field.fieldPath}`
+            : `resources.${field.resourceId}.${field.fieldPath}`;
+        // Avoid duplicate checks for the same path
+        if (processedPaths.has(resourcePath)) {
+            continue;
+        }
+        processedPaths.add(resourcePath);
+        // Generate nested has() checks for complex field paths
+        const nestedChecks = generateNestedHasChecks(field, context);
+        hasChecks.push(...nestedChecks);
+    }
+    return hasChecks;
+}
+/**
+ * Generate nested has() checks for complex field paths
+ */
+export function generateNestedHasChecks(field, _context) {
+    const checks = [];
+    const fieldPath = field.fieldPath;
+    if (!fieldPath || !fieldPath.includes('.')) {
+        // Simple field path
+        const resourcePath = field.isSchemaReference
+            ? `schema.${fieldPath}`
+            : `resources.${field.resourceId}.${fieldPath}`;
+        checks.push(`has(${resourcePath})`);
+        return checks;
+    }
+    // Complex field path - check each level
+    const pathParts = fieldPath.split('.');
+    const basePrefix = field.isSchemaReference ? 'schema' : `resources.${field.resourceId}`;
+    for (let i = 0; i < pathParts.length; i++) {
+        const partialPath = pathParts.slice(0, i + 1).join('.');
+        const fullPath = `${basePrefix}.${partialPath}`;
+        // Skip checks for array indices
+        if (!partialPath.includes('[') && !partialPath.includes(']')) {
+            checks.push(`has(${fullPath})`);
+        }
+    }
+    return checks;
+}
+/**
+ * Convert expression with KubernetesRef objects to CEL
+ */
+export function convertExpressionWithKubernetesRefs(expression, optionalityResults, context) {
+    // This is a simplified conversion - in a real implementation,
+    // this would integrate with the main expression analyzer
+    if (isKubernetesRef(expression)) {
+        const result = optionalityResults.find((r) => r.kubernetesRef === expression);
+        if (result) {
+            return result.isSchemaReference
+                ? `schema.${result.fieldPath}`
+                : `resources.${result.resourceId}.${result.fieldPath}`;
+        }
+    }
+    // Handle different expression types
+    if (typeof expression === 'string') {
+        return `"${expression}"`;
+    }
+    if (typeof expression === 'number') {
+        return String(expression);
+    }
+    if (typeof expression === 'boolean') {
+        return String(expression);
+    }
+    if (Array.isArray(expression)) {
+        const elements = expression.map((item) => convertExpressionWithKubernetesRefs(item, optionalityResults, context));
+        return `[${elements.join(', ')}]`;
+    }
+    if (expression && typeof expression === 'object') {
+        // Handle object expressions
+        const properties = Object.entries(expression).map(([key, value]) => {
+            const convertedValue = convertExpressionWithKubernetesRefs(value, optionalityResults, context);
+            return `"${key}": ${convertedValue}`;
+        });
+        return `{${properties.join(', ')}}`;
+    }
+    return String(expression);
+}
+/**
+ * Combine has() checks with the main expression
+ */
+export function combineHasChecksWithExpression(hasChecks, mainExpression, _context) {
+    if (hasChecks.length === 0) {
+        return mainExpression;
+    }
+    // Remove duplicate checks
+    const uniqueChecks = Array.from(new Set(hasChecks));
+    // Combine all checks with AND operator
+    const allChecks = uniqueChecks.join(' && ');
+    // Combine checks with the main expression
+    return `${allChecks} && ${mainExpression}`;
+}
+/**
+ * Infer the type of the expression result
+ */
+export function inferExpressionType(expression, _context) {
+    if (typeof expression === 'string') {
+        return 'string';
+    }
+    if (typeof expression === 'number') {
+        return 'number';
+    }
+    if (typeof expression === 'boolean') {
+        return 'boolean';
+    }
+    if (Array.isArray(expression)) {
+        return 'array';
+    }
+    if (expression && typeof expression === 'object') {
+        return 'object';
+    }
+    return 'unknown';
+}
+/**
+ * Generate source mapping for debugging
+ */
+export function generateSourceMapping(originalExpression, celExpression, context) {
+    if (!context.sourceMap) {
+        return [];
+    }
+    return [
+        {
+            originalExpression: String(originalExpression),
+            celExpression: celExpression.expression,
+            sourceLocation: {
+                line: 0,
+                column: 0,
+                length: String(originalExpression).length,
+            },
+            context: 'status',
+            id: `optionality-${Date.now()}`,
+            timestamp: Date.now(),
+        },
+    ];
+}
+//# sourceMappingURL=optionality-cel-generation.js.map

package/dist/core/expressions/magic-proxy/optionality-cel-generation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"optionality-cel-generation.js","sourceRoot":"","sources":["../../../../src/core/expressions/magic-proxy/optionality-cel-generation.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAM9C;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAC/B,UAAmB,EACnB,QAA4B;IAE5B,yEAAyE;IACzE,OAAO;QACL,CAAC,oBAAoB,CAAC,EAAE,IAAI;QAC5B,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9B,IAAI,EAAE,SAAS;KACC,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,0BAA0B,CACxC,UAAmB,EACnB,kBAA+C,EAC/C,OAA2B,EAC3B,MAAqB;IAErB,0CAA0C;IAC1C,OAAO,4BAA4B,CAAC,UAAU,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AACvF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,4BAA4B,CAC1C,UAAmB,EACnB,kBAA+C,EAC/C,OAA2B,EAC3B,MAAqB;IAErB,IAAI,CAAC;QACH,MAAM,qBAAqB,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;QAE/F,IAAI,qBAAqB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,OAAO,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAChD,CAAC;QAED,uCAAuC;QACvC,MAAM,SAAS,GAAG,0BAA0B,CAAC,qBAAqB,EAAE,OAAO,CAAC,CAAC;QAE7E,+BAA+B;QAC/B,MAAM,cAAc,GAAG,mCAAmC,CACxD,UAAU,EACV,kBAAkB,EAClB,OAAO,CACR,CAAC;QAEF,gDAAgD;QAChD,MAAM,kBAAkB,GAAG,8BAA8B,CAAC,SAAS,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;QAE9F,OAAO;YACL,CAAC,oBAAoB,CAAC,EAAE,IAAI;YAC5B,UAAU,EAAE,kBAAkB;YAC9B,IAAI,EAAE,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC;SAC9B,CAAC;IACrB,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,CAAC,KAAK,CAAC,0CAA0C,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7E,OAAO,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,0BAA0B,CACxC,qBAAkD,EAClD,OAA2B;IAE3B,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IAEzC,KAAK,MAAM,KAAK,IAAI,qBAAqB,EAAE,CAAC;QAC1C,MAAM,YAAY,GAAG,KAAK,CAAC,iBAAiB;YAC1C,CAAC,CAAC,UAAU,KAAK,CAAC,SAAS,EAAE;YAC7B,CAAC,CAAC,aAAa,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAEvD,2CAA2C;QAC3C,IAAI,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;YACrC,SAAS;QACX,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAEjC,uDAAuD;QACvD,MAAM,YAAY,GAAG,uBAAuB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC7D,SAAS,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC;IAClC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAAgC,EAChC,QAA4B;IAE5B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IAElC,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3C,oBAAoB;QACpB,MAAM,YAAY,GAAG,KAAK,CAAC,iBAAiB;YAC1C,CAAC,CAAC,UAAU,SAAS,EAAE;YACvB,CAAC,CAAC,aAAa,KAAK,CAAC,UAAU,IAAI,SAAS,EAAE,CAAC;QACjD,MAAM,CAAC,IAAI,CAAC,OAAO,YAAY,GAAG,CAAC,CAAC;QACpC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,wCAAwC;IACxC,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,UAAU,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,UAAU,EAAE,CAAC;IAExF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,WAAW,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,GAAG,UAAU,IAAI,WAAW,EAAE,CAAC;QAEhD,gCAAgC;QAChC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7D,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,GAAG,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mCAAmC,CACjD,UAAmB,EACnB,kBAA+C,EAC/C,OAA2B;IAE3B,8DAA8D;IAC9D,yDAAyD;IAEzD,IAAI,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,UAAU,CAAC,CAAC;QAC9E,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC,iBAAiB;gBAC7B,CAAC,CAAC,UAAU,MAAM,CAAC,SAAS,EAAE;gBAC9B,CAAC,CAAC,aAAa,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QAC3D,CAAC;IACH,CAAC;IAED,oCAAoC;IACpC,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;QACnC,OAAO,IAAI,UAAU,GAAG,CAAC;IAC3B,CAAC;IAED,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5B,CAAC;IAED,IAAI,OAAO,UAAU,KAAK,SAAS,EAAE,CAAC;QACpC,OAAO,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5B,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACvC,mCAAmC,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,CAAC,CACvE,CAAC;QACF,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACpC,CAAC;IAED,IAAI,UAAU,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;QACjD,4BAA4B;QAC5B,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;YACjE,MAAM,cAAc,GAAG,mCAAmC,CACxD,KAAK,EACL,kBAAkB,EAClB,OAAO,CACR,CAAC;YACF,OAAO,IAAI,GAAG,MAAM,cAAc,EAAE,CAAC;QACvC,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACtC,CAAC;IAED,OAAO,MAAM,CAAC,UAAU,CAAC,CAAC;AAC5B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,8BAA8B,CAC5C,SAAmB,EACnB,cAAsB,EACtB,QAA4B;IAE5B,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,0BAA0B;IAC1B,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IAEpD,uCAAuC;IACvC,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAE5C,0CAA0C;IAC1C,OAAO,GAAG,SAAS,OAAO,cAAc,EAAE,CAAC;AAC7C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAmB,EAAE,QAA4B;IACnF,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;QACnC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;QACnC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,IAAI,OAAO,UAAU,KAAK,SAAS,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,IAAI,UAAU,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;QACjD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CACnC,kBAA2B,EAC3B,aAA4B,EAC5B,OAA2B;IAE3B,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO;QACL;YACE,kBAAkB,EAAE,MAAM,CAAC,kBAAkB,CAAC;YAC9C,aAAa,EAAE,aAAa,CAAC,UAAU;YACvC,cAAc,EAAE;gBACd,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,CAAC;gBACT,MAAM,EAAE,MAAM,CAAC,kBAAkB,CAAC,CAAC,MAAM;aAC1C;YACD,OAAO,EAAE,QAAQ;YACjB,EAAE,EAAE,eAAe,IAAI,CAAC,GAAG,EAAE,EAAE;YAC/B,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;SACtB;KACF,CAAC;AACJ,CAAC"}

package/dist/core/expressions/magic-proxy/optionality-handler.d.ts

@@ -0,0 +1,119 @@
+/**
+ * Enhanced Type Optionality Handler for JavaScript to CEL Expression Conversion
+ *
+ * This module handles the mismatch between Enhanced type compile-time non-optionality
+ * and runtime optionality during field hydration. Enhanced types show fields as
+ * non-optional at compile time, but KubernetesRef objects might resolve to undefined
+ * during field hydration.
+ *
+ * Key Features:
+ * - Automatic null-safety detection for Enhanced type KubernetesRef objects
+ * - CEL expression generation with has() checks for potentially undefined fields
+ * - Support for optional chaining with Enhanced types that appear non-optional
+ * - Integration with field hydration timing to handle undefined-to-defined transitions
+ * - Context-aware optionality handling based on field hydration state
+ */
+import type { CelExpression } from '../../types/common.js';
+import type { Enhanced } from '../../types/kubernetes.js';
+import type { CelConversionResult } from '../analysis/analyzer.js';
+import type { FieldHydrationState, HydrationTransitionHandler, OptionalityAnalysisResult, OptionalityContext, OptionalityHandlingOptions, UndefinedToDefinedTransitionResult } from './optionality-types.js';
+export type { EnhancedTypeFieldInfo, FieldHydrationState, HydrationPhase, HydrationState, HydrationStateAnalysis, HydrationTransitionHandler, HydrationTransitionPlan, OptionalChainingPattern, OptionalityAnalysisResult, OptionalityContext, OptionalityHandlingOptions, UndefinedToDefinedTransitionResult, } from './optionality-types.js';
+/**
+ * Enhanced Type Optionality Handler
+ *
+ * Handles the complexity of Enhanced types that appear non-optional at compile time
+ * but may be undefined at runtime during field hydration.
+ */
+export declare class EnhancedTypeOptionalityHandler {
+    private options;
+    private logger;
+    constructor(options?: OptionalityHandlingOptions);
+    /**
+     * Analyze KubernetesRef objects for optionality requirements
+     *
+     * This method determines whether KubernetesRef objects in expressions require
+     * null-safety handling based on Enhanced type behavior and field hydration timing.
+     */
+    analyzeOptionalityRequirements(expression: unknown, context: OptionalityContext): OptionalityAnalysisResult[];
+    /**
+     * Generate CEL expressions with appropriate null-safety checks
+     *
+     * This method takes the optionality analysis results and generates CEL expressions
+     * that include proper null-safety handling for potentially undefined fields.
+     */
+    generateNullSafeCelExpression(originalExpression: unknown, optionalityResults: OptionalityAnalysisResult[], context: OptionalityContext): CelConversionResult;
+    /**
+     * Handle optional chaining with Enhanced types
+     *
+     * This method specifically handles cases where optional chaining is used with
+     * Enhanced types that appear non-optional at compile time.
+     */
+    handleOptionalChainingWithEnhancedTypes(expression: unknown, context: OptionalityContext): CelConversionResult;
+    /**
+     * Automatically detect null-safety requirements for Enhanced type KubernetesRef objects
+     *
+     * This method analyzes Enhanced types and their KubernetesRef objects to determine
+     * which fields require null-safety checks despite appearing non-optional at compile time.
+     */
+    detectNullSafetyRequirements(enhancedResources: Record<string, Enhanced<unknown, unknown>>, context: OptionalityContext): Map<string, OptionalityAnalysisResult[]>;
+    /**
+     * Integrate with field hydration timing
+     *
+     * This method provides integration with TypeKro's field hydration system to
+     * handle the transition from undefined to defined values during hydration.
+     */
+    integrateWithFieldHydrationTiming(expression: unknown, hydrationStates: Map<string, FieldHydrationState>, context: OptionalityContext): {
+        preHydrationExpression: CelExpression | null;
+        postHydrationExpression: CelExpression | null;
+        hydrationDependentExpression: CelExpression | null;
+        transitionHandlers: HydrationTransitionHandler[];
+    };
+    /**
+     * Handle undefined-to-defined transitions during field hydration
+     *
+     * This method creates handlers for the transition from undefined to defined
+     * values as fields are hydrated over time.
+     */
+    handleUndefinedToDefinedTransitions(expression: unknown, hydrationStates: Map<string, FieldHydrationState>, context: OptionalityContext): UndefinedToDefinedTransitionResult;
+    /**
+     * Generate CEL expressions with has() checks for potentially undefined fields
+     *
+     * This method creates comprehensive CEL expressions that include has() checks
+     * for all potentially undefined fields in the expression.
+     */
+    generateCelWithHasChecks(expression: unknown, optionalityResults: OptionalityAnalysisResult[], context: OptionalityContext): CelExpression;
+}
+/**
+ * Convenience function to analyze optionality requirements
+ */
+export declare function analyzeOptionalityRequirements(expression: unknown, context: OptionalityContext, options?: OptionalityHandlingOptions): OptionalityAnalysisResult[];
+/**
+ * Convenience function to generate null-safe CEL expressions
+ */
+export declare function generateNullSafeCelExpression(expression: unknown, optionalityResults: OptionalityAnalysisResult[], context: OptionalityContext, options?: OptionalityHandlingOptions): CelConversionResult;
+/**
+ * Convenience function to handle optional chaining with Enhanced types
+ */
+export declare function handleOptionalChainingWithEnhancedTypes(expression: unknown, context: OptionalityContext, options?: OptionalityHandlingOptions): CelConversionResult;
+/**
+ * Convenience function to generate CEL expressions with has() checks
+ */
+export declare function generateCelWithHasChecks(expression: unknown, optionalityResults: OptionalityAnalysisResult[], context: OptionalityContext, options?: OptionalityHandlingOptions): CelExpression;
+/**
+ * Convenience function to detect null-safety requirements for Enhanced types
+ */
+export declare function detectNullSafetyRequirements(enhancedResources: Record<string, Enhanced<unknown, unknown>>, context: OptionalityContext, options?: OptionalityHandlingOptions): Map<string, OptionalityAnalysisResult[]>;
+/**
+ * Convenience function to integrate with field hydration timing
+ */
+export declare function integrateWithFieldHydrationTiming(expression: unknown, hydrationStates: Map<string, FieldHydrationState>, context: OptionalityContext, options?: OptionalityHandlingOptions): {
+    preHydrationExpression: CelExpression | null;
+    postHydrationExpression: CelExpression | null;
+    hydrationDependentExpression: CelExpression | null;
+    transitionHandlers: HydrationTransitionHandler[];
+};
+/**
+ * Convenience function to handle undefined-to-defined transitions
+ */
+export declare function handleUndefinedToDefinedTransitions(expression: unknown, hydrationStates: Map<string, FieldHydrationState>, context: OptionalityContext, options?: OptionalityHandlingOptions): UndefinedToDefinedTransitionResult;
+//# sourceMappingURL=optionality-handler.d.ts.map

package/dist/core/expressions/magic-proxy/optionality-handler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"optionality-handler.d.ts","sourceRoot":"","sources":["../../../../src/core/expressions/magic-proxy/optionality-handler.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAKH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAC1D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AA4BnE,OAAO,KAAK,EACV,mBAAmB,EACnB,0BAA0B,EAC1B,yBAAyB,EACzB,kBAAkB,EAClB,0BAA0B,EAC1B,kCAAkC,EACnC,MAAM,wBAAwB,CAAC;AAGhC,YAAY,EACV,qBAAqB,EACrB,mBAAmB,EACnB,cAAc,EACd,cAAc,EACd,sBAAsB,EACtB,0BAA0B,EAC1B,uBAAuB,EACvB,uBAAuB,EACvB,yBAAyB,EACzB,kBAAkB,EAClB,0BAA0B,EAC1B,kCAAkC,GACnC,MAAM,wBAAwB,CAAC;AAchC;;;;;GAKG;AACH,qBAAa,8BAA8B;IACzC,OAAO,CAAC,OAAO,CAAuC;IACtD,OAAO,CAAC,MAAM,CAA6C;gBAE/C,OAAO,CAAC,EAAE,0BAA0B;IAIhD;;;;;OAKG;IACH,8BAA8B,CAC5B,UAAU,EAAE,OAAO,EACnB,OAAO,EAAE,kBAAkB,GAC1B,yBAAyB,EAAE;IAyB9B;;;;;OAKG;IACH,6BAA6B,CAC3B,kBAAkB,EAAE,OAAO,EAC3B,kBAAkB,EAAE,yBAAyB,EAAE,EAC/C,OAAO,EAAE,kBAAkB,GAC1B,mBAAmB;IAsDtB;;;;;OAKG;IACH,uCAAuC,CACrC,UAAU,EAAE,OAAO,EACnB,OAAO,EAAE,kBAAkB,GAC1B,mBAAmB;IA0CtB;;;;;OAKG;IACH,4BAA4B,CAC1B,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAC7D,OAAO,EAAE,kBAAkB,GAC1B,GAAG,CAAC,MAAM,EAAE,yBAAyB,EAAE,CAAC;IAmD3C;;;;;OAKG;IACH,iCAAiC,CAC/B,UAAU,EAAE,OAAO,EACnB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,EACjD,OAAO,EAAE,kBAAkB,GAC1B;QACD,sBAAsB,EAAE,aAAa,GAAG,IAAI,CAAC;QAC7C,uBAAuB,EAAE,aAAa,GAAG,IAAI,CAAC;QAC9C,4BAA4B,EAAE,aAAa,GAAG,IAAI,CAAC;QACnD,kBAAkB,EAAE,0BAA0B,EAAE,CAAC;KAClD;IAkDD;;;;;OAKG;IACH,mCAAmC,CACjC,UAAU,EAAE,OAAO,EACnB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,EACjD,OAAO,EAAE,kBAAkB,GAC1B,kCAAkC;IAoCrC;;;;;OAKG;IACH,wBAAwB,CACtB,UAAU,EAAE,OAAO,EACnB,kBAAkB,EAAE,yBAAyB,EAAE,EAC/C,OAAO,EAAE,kBAAkB,GAC1B,aAAa;CAGjB;AAED;;GAEG;AACH,wBAAgB,8BAA8B,CAC5C,UAAU,EAAE,OAAO,EACnB,OAAO,EAAE,kBAAkB,EAC3B,OAAO,CAAC,EAAE,0BAA0B,GACnC,yBAAyB,EAAE,CAG7B;AAED;;GAEG;AACH,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,OAAO,EACnB,kBAAkB,EAAE,yBAAyB,EAAE,EAC/C,OAAO,EAAE,kBAAkB,EAC3B,OAAO,CAAC,EAAE,0BAA0B,GACnC,mBAAmB,CAGrB;AAED;;GAEG;AACH,wBAAgB,uCAAuC,CACrD,UAAU,EAAE,OAAO,EACnB,OAAO,EAAE,kBAAkB,EAC3B,OAAO,CAAC,EAAE,0BAA0B,GACnC,mBAAmB,CAGrB;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,OAAO,EACnB,kBAAkB,EAAE,yBAAyB,EAAE,EAC/C,OAAO,EAAE,kBAAkB,EAC3B,OAAO,CAAC,EAAE,0BAA0B,GACnC,aAAa,CAGf;AAED;;GAEG;AACH,wBAAgB,4BAA4B,CAC1C,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAC7D,OAAO,EAAE,kBAAkB,EAC3B,OAAO,CAAC,EAAE,0BAA0B,GACnC,GAAG,CAAC,MAAM,EAAE,yBAAyB,EAAE,CAAC,CAG1C;AAED;;GAEG;AACH,wBAAgB,iCAAiC,CAC/C,UAAU,EAAE,OAAO,EACnB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,EACjD,OAAO,EAAE,kBAAkB,EAC3B,OAAO,CAAC,EAAE,0BAA0B,GACnC;IACD,sBAAsB,EAAE,aAAa,GAAG,IAAI,CAAC;IAC7C,uBAAuB,EAAE,aAAa,GAAG,IAAI,CAAC;IAC9C,4BAA4B,EAAE,aAAa,GAAG,IAAI,CAAC;IACnD,kBAAkB,EAAE,0BAA0B,EAAE,CAAC;CAClD,CAGA;AAED;;GAEG;AACH,wBAAgB,mCAAmC,CACjD,UAAU,EAAE,OAAO,EACnB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,EACjD,OAAO,EAAE,kBAAkB,EAC3B,OAAO,CAAC,EAAE,0BAA0B,GACnC,kCAAkC,CAGpC"}