typekro 0.4.0 → 0.5.0

package/dist/core/expressions/analysis/expression-classifier.js

@@ -0,0 +1,487 @@
+/**
+ * Expression Classifier — Expression type dispatch and special case handling
+ *
+ * Extracted from analyzer.ts. Contains methods that classify incoming expressions
+ * (string, KubernetesRef, object, function, template literal) and route them to
+ * the appropriate conversion path. Also contains special case handlers for
+ * optional chaining and nullish coalescing fallback paths.
+ */
+import * as estraverse from 'estraverse';
+import { containsKubernetesRefs, extractResourceReferences, isKubernetesRef, } from '../../../utils/type-guards.js';
+import { CEL_EXPRESSION_BRAND } from '../../constants/brands.js';
+import { ConversionError, ensureError } from '../../errors.js';
+import { getComponentLogger } from '../../logging/index.js';
+import { ParserError, parseScript } from './parser.js';
+import { convertKubernetesRefToCel, extractDependenciesFromExpression, extractResourceReferencesFromExpression, handleMixedOptionalAndNullishExpression, handleNullishCoalescingExpression, handleOptionalChainingExpression, } from './scope-resolver.js';
+// ── Static value detection ───────────────────────────────────────────
+/**
+ * Check if a value is a static literal that doesn't need conversion.
+ * Static values (no KubernetesRef objects) should be preserved as-is for performance.
+ */
+export function isStaticValue(value) {
+    // Primitive values are always static
+    if (value === null || value === undefined)
+        return true;
+    if (typeof value === 'string' || typeof value === 'number' || typeof value === 'boolean') {
+        return true;
+    }
+    // Check if it's a KubernetesRef (not static)
+    if (isKubernetesRef(value))
+        return false;
+    // Check if it contains KubernetesRef objects (not static)
+    if (containsKubernetesRefs(value))
+        return false;
+    // Arrays and objects need recursive checking
+    if (Array.isArray(value)) {
+        return value.every((item) => isStaticValue(item));
+    }
+    if (value && typeof value === 'object') {
+        return Object.values(value).every((val) => isStaticValue(val));
+    }
+    // Default to static for other types
+    return true;
+}
+/**
+ * Create a result for static values that don't require conversion.
+ */
+export function createStaticValueResult(_value) {
+    return {
+        valid: true,
+        celExpression: null, // No CEL expression needed for static values
+        dependencies: [],
+        sourceMap: [],
+        errors: [],
+        warnings: [],
+        requiresConversion: false, // Key: static values don't need conversion
+    };
+}
+// ── Expression dispatch (analyzeExpressionWithRefs) ──────────────────
+/**
+ * Analyze expressions that may contain KubernetesRef objects from magic proxy system.
+ * This is the key method that detects when JavaScript expressions contain KubernetesRef objects.
+ *
+ * @param analyzeExpressionFn — callback for delegating string expressions to the main analyzer
+ */
+export function analyzeExpressionWithRefs(expression, context, analyzeExpressionFn) {
+    try {
+        // First check if this is a static value (no KubernetesRef objects)
+        if (isStaticValue(expression)) {
+            // Static values don't need conversion - preserve them as-is for performance
+            return createStaticValueResult(expression);
+        }
+        // Check if the expression contains KubernetesRef objects
+        if (!containsKubernetesRefs(expression)) {
+            // No KubernetesRef objects found - return as-is (no conversion needed)
+            return createStaticValueResult(expression);
+        }
+        // Expression contains KubernetesRef objects - needs conversion
+        if (typeof expression === 'string') {
+            // String expression - parse and convert
+            return analyzeExpressionFn(expression, context);
+        }
+        if (typeof expression === 'function') {
+            // Function expression - analyze function body
+            return analyzeFunction(expression);
+        }
+        // Direct KubernetesRef object
+        if (isKubernetesRef(expression)) {
+            return convertKubernetesRefToResult(expression, context);
+        }
+        // Template literal or complex expression
+        if (isTemplateLiteral(expression)) {
+            return analyzeTemplateLiteral(expression, context);
+        }
+        // Complex object/array containing KubernetesRef objects
+        return analyzeComplexValue(expression, context);
+    }
+    catch (error) {
+        return {
+            valid: false,
+            celExpression: null,
+            dependencies: [],
+            sourceMap: [],
+            errors: [
+                new ConversionError(`Failed to analyze expression with refs: ${ensureError(error).message}`, String(expression), 'javascript'),
+            ],
+            requiresConversion: false,
+            warnings: [],
+        };
+    }
+}
+// ── KubernetesRef analysis ───────────────────────────────────────────
+/**
+ * Analyze a KubernetesRef object directly.
+ */
+export function analyzeKubernetesRefObject(ref, context) {
+    // Use the proper CEL path format
+    const resourceId = ref.resourceId === '__schema__' ? 'schema' : ref.resourceId;
+    const celPath = `${resourceId}.${ref.fieldPath}`;
+    // Add to dependencies
+    if (!context.dependencies) {
+        context.dependencies = [];
+    }
+    context.dependencies.push(ref);
+    return {
+        valid: true,
+        celExpression: {
+            [CEL_EXPRESSION_BRAND]: true,
+            expression: celPath,
+            _type: ref._type,
+        },
+        dependencies: [ref],
+        sourceMap: [],
+        errors: [],
+        warnings: [],
+        requiresConversion: true,
+    };
+}
+/**
+ * Analyze object expression by examining its structure.
+ */
+export function analyzeObjectExpression(obj, context) {
+    const kubernetesRefs = [];
+    // Recursively examine object properties for KubernetesRef objects
+    kubernetesRefs.push(...extractResourceReferences(obj));
+    // Add to dependencies
+    if (!context.dependencies) {
+        context.dependencies = [];
+    }
+    context.dependencies.push(...kubernetesRefs);
+    return {
+        valid: true,
+        celExpression: null, // Objects don't convert to single CEL expressions
+        dependencies: kubernetesRefs,
+        sourceMap: [],
+        errors: [],
+        warnings: [],
+        requiresConversion: kubernetesRefs.length > 0,
+    };
+}
+/**
+ * Analyze primitive expression (no KubernetesRef objects).
+ */
+export function analyzePrimitiveExpression(_value, _context) {
+    return {
+        valid: true,
+        celExpression: null,
+        dependencies: [],
+        sourceMap: [],
+        errors: [],
+        warnings: [],
+        requiresConversion: false,
+    };
+}
+// ── Function analysis ────────────────────────────────────────────────
+/**
+ * Analyze a function for JavaScript expressions containing KubernetesRef objects.
+ */
+export function analyzeFunction(fn) {
+    try {
+        // Parse function to AST using unified acorn parser
+        const ast = parseScript(fn.toString());
+        // Find return statement
+        const returnStatement = findReturnStatement(ast);
+        if (!returnStatement) {
+            throw new ConversionError('Function must have a return statement for analysis', fn.toString(), 'function-call');
+        }
+        // Function body analysis is not yet supported
+        throw new ConversionError('Converting function bodies to CEL expressions is not yet supported. Use Cel.expr() or Cel.template() directly instead of passing functions.', fn.toString(), 'function-call', undefined, undefined, [
+            'Use Cel.expr() to write CEL expressions directly',
+            'Use Cel.template() for string interpolation',
+            'Break complex functions into simple expressions that can be converted',
+        ]);
+    }
+    catch (error) {
+        const errorMessage = error instanceof ParserError
+            ? error.message
+            : error instanceof Error
+                ? error.message
+                : String(error);
+        return {
+            valid: false,
+            celExpression: null,
+            dependencies: [],
+            sourceMap: [],
+            errors: [new ConversionError(errorMessage, fn.toString(), 'function-call')],
+            warnings: [],
+            requiresConversion: false,
+        };
+    }
+}
+/**
+ * Find return statement in AST.
+ */
+export function findReturnStatement(ast) {
+    let returnStatement = null;
+    estraverse.traverse(ast, {
+        enter: (node) => {
+            if (node.type === 'ReturnStatement') {
+                returnStatement = node;
+                return estraverse.VisitorOption.Break;
+            }
+            return undefined; // Continue traversal
+        },
+    });
+    return returnStatement;
+}
+// ── Template literal analysis ────────────────────────────────────────
+/**
+ * Check if a value is a template literal expression.
+ */
+export function isTemplateLiteral(value) {
+    // Check if it's a string that looks like a template literal
+    if (typeof value === 'string') {
+        return value.includes('${') && value.includes('}');
+    }
+    // Check if it's an object that represents a template literal structure
+    if (value && typeof value === 'object' && 'type' in value && value.type === 'TemplateLiteral') {
+        return true;
+    }
+    return false;
+}
+/**
+ * Analyze template literal expressions containing KubernetesRef objects.
+ */
+export function analyzeTemplateLiteral(expression, context) {
+    try {
+        const dependencies = extractResourceReferences(expression);
+        const originalExpression = String(expression);
+        let celExpression;
+        if (typeof expression === 'string') {
+            // Handle string-based template literals
+            celExpression = {
+                [CEL_EXPRESSION_BRAND]: true,
+                expression: expression, // Keep the ${} syntax for CEL
+                _type: 'string',
+            };
+        }
+        else {
+            // Handle structured template literal objects
+            celExpression = {
+                [CEL_EXPRESSION_BRAND]: true,
+                expression: '/* Complex template literal */',
+                _type: 'string',
+            };
+        }
+        // Create source location for the template literal
+        const sourceLocation = {
+            line: 1,
+            column: 1,
+            length: originalExpression.length,
+        };
+        // Add source mapping
+        const sourceMapEntries = [];
+        if (context.sourceMap) {
+            context.sourceMap.addMapping(originalExpression, celExpression.expression, sourceLocation, context.type, {
+                expressionType: 'template-literal',
+                kubernetesRefs: dependencies.map((dep) => `${dep.resourceId}.${dep.fieldPath}`),
+                dependencies: dependencies.map((dep) => `${dep.resourceId}.${dep.fieldPath}`),
+                conversionNotes: ['Template literal with KubernetesRef interpolations'],
+            });
+            sourceMapEntries.push(...context.sourceMap.getEntries());
+        }
+        return {
+            valid: true,
+            celExpression,
+            dependencies,
+            sourceMap: sourceMapEntries,
+            errors: [],
+            warnings: [],
+            requiresConversion: true,
+        };
+    }
+    catch (error) {
+        const originalExpression = String(expression);
+        const sourceLocation = { line: 1, column: 1, length: originalExpression.length };
+        const conversionError = ConversionError.forTemplateLiteral(originalExpression, [originalExpression], 0, sourceLocation, ensureError(error));
+        return {
+            valid: false,
+            celExpression: null,
+            dependencies: [],
+            sourceMap: [],
+            errors: [conversionError],
+            warnings: [],
+            requiresConversion: true,
+        };
+    }
+}
+// ── Complex value analysis ───────────────────────────────────────────
+/**
+ * Analyze complex values (objects/arrays) that may contain KubernetesRef objects.
+ */
+export function analyzeComplexValue(value, context) {
+    const dependencies = [];
+    const errors = [];
+    try {
+        // Recursively find all KubernetesRef objects
+        dependencies.push(...extractResourceReferences(value));
+        if (dependencies.length === 0) {
+            return {
+                valid: false,
+                celExpression: null,
+                dependencies: [],
+                sourceMap: [],
+                errors: [],
+                warnings: [],
+                requiresConversion: false,
+            };
+        }
+        // Complex values with multiple KubernetesRef objects cannot be automatically converted
+        const originalExpression = JSON.stringify(value, null, 2);
+        const refPaths = dependencies.map((dep) => `${dep.resourceId}.${dep.fieldPath}`);
+        throw new ConversionError(`Converting complex values with ${dependencies.length} KubernetesRef references to CEL is not yet supported. References: ${refPaths.join(', ')}`, originalExpression, 'javascript', { line: 1, column: 1, length: originalExpression.length }, { analysisContext: context.type, availableReferences: refPaths }, [
+            'Use Cel.expr() to write the CEL expression directly',
+            'Use Cel.template() if you need string interpolation with multiple references',
+            'Break the complex value into simpler individual expressions',
+        ]);
+    }
+    catch (error) {
+        const originalExpression = JSON.stringify(value);
+        const sourceLocation = { line: 1, column: 1, length: originalExpression.length };
+        const conversionError = ConversionError.forParsingFailure(originalExpression, ensureError(error).message, sourceLocation, ensureError(error));
+        errors.push(conversionError);
+        return {
+            valid: false,
+            celExpression: null,
+            dependencies,
+            sourceMap: [],
+            errors,
+            warnings: [],
+            requiresConversion: true,
+        };
+    }
+}
+// ── KubernetesRef to result conversion ───────────────────────────────
+/**
+ * Convert a single KubernetesRef to a conversion result.
+ */
+export function convertKubernetesRefToResult(ref, context, typeValidator) {
+    try {
+        // Use the dedicated KubernetesRef to CEL conversion method
+        const celExpression = convertKubernetesRefToCel(ref, context, typeValidator);
+        const originalExpression = `${ref.resourceId}.${ref.fieldPath}`;
+        // Create source location for the KubernetesRef
+        const sourceLocation = {
+            line: 1,
+            column: 1,
+            length: originalExpression.length,
+        };
+        // Add source mapping
+        const sourceMapEntries = [];
+        if (context.sourceMap) {
+            context.sourceMap.addMapping(originalExpression, celExpression.expression, sourceLocation, context.type, {
+                expressionType: 'member-access',
+                kubernetesRefs: [originalExpression],
+                dependencies: [`${ref.resourceId}.${ref.fieldPath}`],
+                conversionNotes: ['Direct KubernetesRef to CEL conversion'],
+            });
+            sourceMapEntries.push(...context.sourceMap.getEntries());
+        }
+        return {
+            valid: true,
+            celExpression,
+            dependencies: [ref],
+            sourceMap: sourceMapEntries,
+            errors: [],
+            warnings: [],
+            requiresConversion: true,
+        };
+    }
+    catch (_error) {
+        const originalExpression = `${ref.resourceId}.${ref.fieldPath}`;
+        const sourceLocation = { line: 1, column: 1, length: originalExpression.length };
+        const conversionError = ConversionError.forKubernetesRefResolution(originalExpression, originalExpression, Object.keys(context.availableReferences || {}), sourceLocation);
+        return {
+            valid: false,
+            celExpression: null,
+            dependencies: [ref],
+            sourceMap: [],
+            errors: [conversionError],
+            warnings: [],
+            requiresConversion: true,
+        };
+    }
+}
+// ── Special case handlers ────────────────────────────────────────────
+/**
+ * Handle special cases for expressions that can't be parsed normally.
+ */
+export function handleSpecialCases(expression, context, validateResourceReferencesFn) {
+    // Handle expressions with both optional chaining and nullish coalescing
+    if (expression.includes('?.') && expression.includes('??')) {
+        return handleMixedOptionalAndNullishExpression(expression, context);
+    }
+    // Handle optional chaining expressions
+    if (expression.includes('?.')) {
+        return handleOptionalChainingExpression(expression, context);
+    }
+    // Handle nullish coalescing expressions
+    if (expression.includes('??')) {
+        return handleNullishCoalescingExpression(expression, context);
+    }
+    // Handle simple resource references that might not parse as valid JavaScript
+    if (expression.match(/^[a-zA-Z_][a-zA-Z0-9_]*(\.[a-zA-Z_][a-zA-Z0-9_]*)*$/)) {
+        // This looks like a simple property access path
+        try {
+            // Initialize dependencies array if not provided
+            if (!context.dependencies) {
+                context.dependencies = [];
+            }
+            // Extract dependencies from the expression
+            extractDependenciesFromExpression(expression, context);
+            const celExpression = {
+                [CEL_EXPRESSION_BRAND]: true,
+                expression: expression,
+                _type: undefined,
+            };
+            const sourceLocation = { line: 1, column: 1, length: expression.length };
+            const sourceMapEntries = [];
+            if (context.sourceMap) {
+                context.sourceMap.addMapping(expression, expression, sourceLocation, context.type, {
+                    expressionType: 'member-access',
+                    kubernetesRefs: extractResourceReferencesFromExpression(expression),
+                    dependencies: context.dependencies?.map((dep) => `${dep.resourceId}.${dep.fieldPath}`) || [],
+                    conversionNotes: ['Simple property access path'],
+                });
+                sourceMapEntries.push(...context.sourceMap.getEntries());
+            }
+            // Perform resource validation if enabled
+            let resourceValidation;
+            if (context.validateResourceReferences !== false &&
+                context.dependencies &&
+                context.dependencies.length > 0 &&
+                validateResourceReferencesFn) {
+                resourceValidation = validateResourceReferencesFn(context.dependencies, context.availableReferences, context.schemaProxy, context.validationContext);
+            }
+            // Extract errors from resource validation
+            const errors = [];
+            if (resourceValidation) {
+                for (const validation of resourceValidation) {
+                    for (const error of validation.errors) {
+                        errors.push(new ConversionError(error.message, expression, 'member-access'));
+                    }
+                }
+            }
+            return {
+                valid: errors.length === 0,
+                celExpression,
+                dependencies: context.dependencies || [],
+                sourceMap: sourceMapEntries,
+                errors,
+                warnings: [],
+                requiresConversion: true,
+                resourceValidation,
+            };
+        }
+        catch (error) {
+            // Fall through to return null
+            const logger = getComponentLogger('expression-analyzer');
+            logger.debug('Expression analysis failed, falling through to return null', { err: error });
+        }
+    }
+    return null;
+}
+// handleOptionalChainingExpression, handleMixedOptionalAndNullishExpression,
+// and handleNullishCoalescingExpression live in scope-resolver.ts and are
+// re-exported above for use by handleSpecialCases.
+//# sourceMappingURL=expression-classifier.js.map

package/dist/core/expressions/analysis/expression-classifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-classifier.js","sourceRoot":"","sources":["../../../../src/core/expressions/analysis/expression-classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,UAAU,MAAM,YAAY,CAAC;AAEzC,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,eAAe,GAChB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAI5D,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EACL,yBAAyB,EACzB,iCAAiC,EACjC,uCAAuC,EACvC,uCAAuC,EACvC,iCAAiC,EACjC,gCAAgC,GACjC,MAAM,qBAAqB,CAAC;AAK7B,wEAAwE;AAExE;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,qCAAqC;IACrC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QACzF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,6CAA6C;IAC7C,IAAI,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAEzC,0DAA0D;IAC1D,IAAI,sBAAsB,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAEhD,6CAA6C;IAC7C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC;IAED,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,oCAAoC;IACpC,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CAAC,MAAe;IACrD,OAAO;QACL,KAAK,EAAE,IAAI;QACX,aAAa,EAAE,IAAI,EAAE,6CAA6C;QAClE,YAAY,EAAE,EAAE;QAChB,SAAS,EAAE,EAAE;QACb,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,EAAE;QACZ,kBAAkB,EAAE,KAAK,EAAE,2CAA2C;KACvE,CAAC;AACJ,CAAC;AAED,wEAAwE;AAExE;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CACvC,UAAmB,EACnB,OAAwB,EACxB,mBAA2F;IAE3F,IAAI,CAAC;QACH,mEAAmE;QACnE,IAAI,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9B,4EAA4E;YAC5E,OAAO,uBAAuB,CAAC,UAAU,CAAC,CAAC;QAC7C,CAAC;QAED,yDAAyD;QACzD,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC,EAAE,CAAC;YACxC,uEAAuE;YACvE,OAAO,uBAAuB,CAAC,UAAU,CAAC,CAAC;QAC7C,CAAC;QAED,+DAA+D;QAC/D,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;YACnC,wCAAwC;YACxC,OAAO,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAClD,CAAC;QAED,IAAI,OAAO,UAAU,KAAK,UAAU,EAAE,CAAC;YACrC,8CAA8C;YAC9C,OAAO,eAAe,CAAC,UAA6C,CAAC,CAAC;QACxE,CAAC;QAED,8BAA8B;QAC9B,IAAI,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC;YAChC,OAAO,4BAA4B,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC3D,CAAC;QAED,yCAAyC;QACzC,IAAI,iBAAiB,CAAC,UAAU,CAAC,EAAE,CAAC;YAClC,OAAO,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACrD,CAAC;QAED,wDAAwD;QACxD,OAAO,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,aAAa,EAAE,IAAI;YACnB,YAAY,EAAE,EAAE;YAChB,SAAS,EAAE,EAAE;YACb,MAAM,EAAE;gBACN,IAAI,eAAe,CACjB,2CAA2C,WAAW,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EACvE,MAAM,CAAC,UAAU,CAAC,EAClB,YAAY,CACb;aACF;YACD,kBAAkB,EAAE,KAAK;YACzB,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;AACH,CAAC;AAED,wEAAwE;AAExE;;GAEG;AACH,MAAM,UAAU,0BAA0B,CACxC,GAA2B,EAC3B,OAAwB;IAExB,iCAAiC;IACjC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC;IAC/E,MAAM,OAAO,GAAG,GAAG,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;IAEjD,sBAAsB;IACtB,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;QAC1B,OAAO,CAAC,YAAY,GAAG,EAAE,CAAC;IAC5B,CAAC;IACD,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAE/B,OAAO;QACL,KAAK,EAAE,IAAI;QACX,aAAa,EAAE;YACb,CAAC,oBAAoB,CAAC,EAAE,IAAI;YAC5B,UAAU,EAAE,OAAO;YACnB,KAAK,EAAE,GAAG,CAAC,KAAK;SACA;QAClB,YAAY,EAAE,CAAC,GAAG,CAAC;QACnB,SAAS,EAAE,EAAE;QACb,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,EAAE;QACZ,kBAAkB,EAAE,IAAI;KACzB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CACrC,GAAY,EACZ,OAAwB;IAExB,MAAM,cAAc,GAA6B,EAAE,CAAC;IAEpD,kEAAkE;IAClE,cAAc,CAAC,IAAI,CAAC,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC;IAEvD,sBAAsB;IACtB,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;QAC1B,OAAO,CAAC,YAAY,GAAG,EAAE,CAAC;IAC5B,CAAC;IACD,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IAE7C,OAAO;QACL,KAAK,EAAE,IAAI;QACX,aAAa,EAAE,IAAI,EAAE,kDAAkD;QACvE,YAAY,EAAE,cAAc;QAC5B,SAAS,EAAE,EAAE;QACb,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,EAAE;QACZ,kBAAkB,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAAe,EACf,QAAyB;IAEzB,OAAO;QACL,KAAK,EAAE,IAAI;QACX,aAAa,EAAE,IAAI;QACnB,YAAY,EAAE,EAAE;QAChB,SAAS,EAAE,EAAE;QACb,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,EAAE;QACZ,kBAAkB,EAAE,KAAK;KAC1B,CAAC;AACJ,CAAC;AAED,wEAAwE;AAExE;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,EAAmC;IACjE,IAAI,CAAC;QACH,mDAAmD;QACnD,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;QAEvC,wBAAwB;QACxB,MAAM,eAAe,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,MAAM,IAAI,eAAe,CACvB,oDAAoD,EACpD,EAAE,CAAC,QAAQ,EAAE,EACb,eAAe,CAChB,CAAC;QACJ,CAAC;QAED,8CAA8C;QAC9C,MAAM,IAAI,eAAe,CACvB,6IAA6I,EAC7I,EAAE,CAAC,QAAQ,EAAE,EACb,eAAe,EACf,SAAS,EACT,SAAS,EACT;YACE,kDAAkD;YAClD,6CAA6C;YAC7C,uEAAuE;SACxE,CACF,CAAC;IACJ,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,YAAY,GAChB,KAAK,YAAY,WAAW;YAC1B,CAAC,CAAC,KAAK,CAAC,OAAO;YACf,CAAC,CAAC,KAAK,YAAY,KAAK;gBACtB,CAAC,CAAC,KAAK,CAAC,OAAO;gBACf,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtB,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,aAAa,EAAE,IAAI;YACnB,YAAY,EAAE,EAAE;YAChB,SAAS,EAAE,EAAE;YACb,MAAM,EAAE,CAAC,IAAI,eAAe,CAAC,YAAY,EAAE,EAAE,CAAC,QAAQ,EAAE,EAAE,eAAe,CAAC,CAAC;YAC3E,QAAQ,EAAE,EAAE;YACZ,kBAAkB,EAAE,KAAK;SAC1B,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAe;IACjD,IAAI,eAAe,GAAiC,IAAI,CAAC;IAEzD,UAAU,CAAC,QAAQ,CAAC,GAAG,EAAE;QACvB,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE;YACd,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACpC,eAAe,GAAG,IAA6B,CAAC;gBAChD,OAAO,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC;YACxC,CAAC;YACD,OAAO,SAAS,CAAC,CAAC,qBAAqB;QACzC,CAAC;KACF,CAAC,CAAC;IAEH,OAAO,eAAe,CAAC;AACzB,CAAC;AAED,wEAAwE;AAExE;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,4DAA4D;IAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACrD,CAAC;IAED,uEAAuE;IACvE,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC9F,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,UAAmB,EACnB,OAAwB;IAExB,IAAI,CAAC;QACH,MAAM,YAAY,GAAG,yBAAyB,CAAC,UAAU,CAAC,CAAC;QAC3D,MAAM,kBAAkB,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QAE9C,IAAI,aAA4B,CAAC;QAEjC,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;YACnC,wCAAwC;YACxC,aAAa,GAAG;gBACd,CAAC,oBAAoB,CAAC,EAAE,IAAI;gBAC5B,UAAU,EAAE,UAAU,EAAE,8BAA8B;gBACtD,KAAK,EAAE,QAAQ;aAChB,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,6CAA6C;YAC7C,aAAa,GAAG;gBACd,CAAC,oBAAoB,CAAC,EAAE,IAAI;gBAC5B,UAAU,EAAE,gCAAgC;gBAC5C,KAAK,EAAE,QAAQ;aAChB,CAAC;QACJ,CAAC;QAED,kDAAkD;QAClD,MAAM,cAAc,GAAG;YACrB,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,MAAM,EAAE,kBAAkB,CAAC,MAAM;SAClC,CAAC;QAEF,qBAAqB;QACrB,MAAM,gBAAgB,GAAqB,EAAE,CAAC;QAC9C,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;YACtB,OAAO,CAAC,SAAS,CAAC,UAAU,CAC1B,kBAAkB,EAClB,aAAa,CAAC,UAAU,EACxB,cAAc,EACd,OAAO,CAAC,IAAI,EACZ;gBACE,cAAc,EAAE,kBAAkB;gBAClC,cAAc,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;gBAC/E,YAAY,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;gBAC7E,eAAe,EAAE,CAAC,oDAAoD,CAAC;aACxE,CACF,CAAC;YACF,gBAAgB,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC;QAC3D,CAAC;QAED,OAAO;YACL,KAAK,EAAE,IAAI;YACX,aAAa;YACb,YAAY;YACZ,SAAS,EAAE,gBAAgB;YAC3B,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE;YACZ,kBAAkB,EAAE,IAAI;SACzB,CAAC;IACJ,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,kBAAkB,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QAC9C,MAAM,cAAc,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,CAAC;QAEjF,MAAM,eAAe,GAAG,eAAe,CAAC,kBAAkB,CACxD,kBAAkB,EAClB,CAAC,kBAAkB,CAAC,EACpB,CAAC,EACD,cAAc,EACd,WAAW,CAAC,KAAK,CAAC,CACnB,CAAC;QAEF,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,aAAa,EAAE,IAAI;YACnB,YAAY,EAAE,EAAE;YAChB,SAAS,EAAE,EAAE;YACb,MAAM,EAAE,CAAC,eAAe,CAAC;YACzB,QAAQ,EAAE,EAAE;YACZ,kBAAkB,EAAE,IAAI;SACzB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,wEAAwE;AAExE;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAc,EAAE,OAAwB;IAC1E,MAAM,YAAY,GAA6B,EAAE,CAAC;IAClD,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,IAAI,CAAC;QACH,6CAA6C;QAC7C,YAAY,CAAC,IAAI,CAAC,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAC;QAEvD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,EAAE;gBAChB,SAAS,EAAE,EAAE;gBACb,MAAM,EAAE,EAAE;gBACV,QAAQ,EAAE,EAAE;gBACZ,kBAAkB,EAAE,KAAK;aAC1B,CAAC;QACJ,CAAC;QAED,uFAAuF;QACvF,MAAM,kBAAkB,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;QAEjF,MAAM,IAAI,eAAe,CACvB,kCAAkC,YAAY,CAAC,MAAM,sEAAsE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAChJ,kBAAkB,EAClB,YAAY,EACZ,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,EACzD,EAAE,eAAe,EAAE,OAAO,CAAC,IAAI,EAAE,mBAAmB,EAAE,QAAQ,EAAE,EAChE;YACE,qDAAqD;YACrD,8EAA8E;YAC9E,6DAA6D;SAC9D,CACF,CAAC;IACJ,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,kBAAkB,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,cAAc,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,CAAC;QAEjF,MAAM,eAAe,GAAG,eAAe,CAAC,iBAAiB,CACvD,kBAAkB,EAClB,WAAW,CAAC,KAAK,CAAC,CAAC,OAAO,EAC1B,cAAc,EACd,WAAW,CAAC,KAAK,CAAC,CACnB,CAAC;QAEF,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAE7B,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,aAAa,EAAE,IAAI;YACnB,YAAY;YACZ,SAAS,EAAE,EAAE;YACb,MAAM;YACN,QAAQ,EAAE,EAAE;YACZ,kBAAkB,EAAE,IAAI;SACzB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,wEAAwE;AAExE;;GAEG;AACH,MAAM,UAAU,4BAA4B,CAC1C,GAA2B,EAC3B,OAAwB,EACxB,aASC;IAED,IAAI,CAAC;QACH,2DAA2D;QAC3D,MAAM,aAAa,GAAG,yBAAyB,CAAC,GAAG,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;QAC7E,MAAM,kBAAkB,GAAG,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAEhE,+CAA+C;QAC/C,MAAM,cAAc,GAAG;YACrB,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,MAAM,EAAE,kBAAkB,CAAC,MAAM;SAClC,CAAC;QAEF,qBAAqB;QACrB,MAAM,gBAAgB,GAAqB,EAAE,CAAC;QAC9C,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;YACtB,OAAO,CAAC,SAAS,CAAC,UAAU,CAC1B,kBAAkB,EAClB,aAAa,CAAC,UAAU,EACxB,cAAc,EACd,OAAO,CAAC,IAAI,EACZ;gBACE,cAAc,EAAE,eAAe;gBAC/B,cAAc,EAAE,CAAC,kBAAkB,CAAC;gBACpC,YAAY,EAAE,CAAC,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;gBACpD,eAAe,EAAE,CAAC,wCAAwC,CAAC;aAC5D,CACF,CAAC;YACF,gBAAgB,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC;QAC3D,CAAC;QAED,OAAO;YACL,KAAK,EAAE,IAAI;YACX,aAAa;YACb,YAAY,EAAE,CAAC,GAAG,CAAC;YACnB,SAAS,EAAE,gBAAgB;YAC3B,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE;YACZ,kBAAkB,EAAE,IAAI;SACzB,CAAC;IACJ,CAAC;IAAC,OAAO,MAAe,EAAE,CAAC;QACzB,MAAM,kBAAkB,GAAG,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAChE,MAAM,cAAc,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,CAAC;QAEjF,MAAM,eAAe,GAAG,eAAe,CAAC,0BAA0B,CAChE,kBAAkB,EAClB,kBAAkB,EAClB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,IAAI,EAAE,CAAC,EAC9C,cAAc,CACf,CAAC;QAEF,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,aAAa,EAAE,IAAI;YACnB,YAAY,EAAE,CAAC,GAAG,CAAC;YACnB,SAAS,EAAE,EAAE;YACb,MAAM,EAAE,CAAC,eAAe,CAAC;YACzB,QAAQ,EAAE,EAAE;YACZ,kBAAkB,EAAE,IAAI;SACzB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,wEAAwE;AAExE;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,UAAkB,EAClB,OAAwB,EACxB,4BAQ+B;IAE/B,wEAAwE;IACxE,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3D,OAAO,uCAAuC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,uCAAuC;IACvC,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,gCAAgC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC/D,CAAC;IAED,wCAAwC;IACxC,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,iCAAiC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAChE,CAAC;IAED,6EAA6E;IAC7E,IAAI,UAAU,CAAC,KAAK,CAAC,qDAAqD,CAAC,EAAE,CAAC;QAC5E,gDAAgD;QAChD,IAAI,CAAC;YACH,gDAAgD;YAChD,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;gBAC1B,OAAO,CAAC,YAAY,GAAG,EAAE,CAAC;YAC5B,CAAC;YAED,2CAA2C;YAC3C,iCAAiC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAEvD,MAAM,aAAa,GAAkB;gBACnC,CAAC,oBAAoB,CAAC,EAAE,IAAI;gBAC5B,UAAU,EAAE,UAAU;gBACtB,KAAK,EAAE,SAAS;aACjB,CAAC;YAEF,MAAM,cAAc,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;YACzE,MAAM,gBAAgB,GAAqB,EAAE,CAAC;YAE9C,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;gBACtB,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,OAAO,CAAC,IAAI,EAAE;oBACjF,cAAc,EAAE,eAAe;oBAC/B,cAAc,EAAE,uCAAuC,CAAC,UAAU,CAAC;oBACnE,YAAY,EACV,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE;oBAChF,eAAe,EAAE,CAAC,6BAA6B,CAAC;iBACjD,CAAC,CAAC;gBACH,gBAAgB,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC;YAC3D,CAAC;YAED,yCAAyC;YACzC,IAAI,kBAA0D,CAAC;YAC/D,IACE,OAAO,CAAC,0BAA0B,KAAK,KAAK;gBAC5C,OAAO,CAAC,YAAY;gBACpB,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;gBAC/B,4BAA4B,EAC5B,CAAC;gBACD,kBAAkB,GAAG,4BAA4B,CAC/C,OAAO,CAAC,YAAY,EACpB,OAAO,CAAC,mBAAmB,EAC3B,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,iBAAiB,CAC1B,CAAC;YACJ,CAAC;YAED,0CAA0C;YAC1C,MAAM,MAAM,GAAsB,EAAE,CAAC;YACrC,IAAI,kBAAkB,EAAE,CAAC;gBACvB,KAAK,MAAM,UAAU,IAAI,kBAAkB,EAAE,CAAC;oBAC5C,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;wBACtC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC;oBAC/E,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO;gBACL,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;gBAC1B,aAAa;gBACb,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;gBACxC,SAAS,EAAE,gBAAgB;gBAC3B,MAAM;gBACN,QAAQ,EAAE,EAAE;gBACZ,kBAAkB,EAAE,IAAI;gBACxB,kBAAkB;aACnB,CAAC;QACJ,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACxB,8BAA8B;YAC9B,MAAM,MAAM,GAAG,kBAAkB,CAAC,qBAAqB,CAAC,CAAC;YACzD,MAAM,CAAC,KAAK,CAAC,4DAA4D,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,6EAA6E;AAC7E,0EAA0E;AAC1E,mDAAmD"}

package/dist/core/expressions/analysis/fn-toString-self-test.d.ts

@@ -0,0 +1,146 @@
+/**
+ * fn.toString() Self-Test
+ *
+ * TypeKro relies on `fn.toString()` producing parseable JavaScript source code in
+ * multiple critical code paths (status builder analysis, composition body analysis,
+ * imperative composition analysis, readyWhen callback conversion, and expression
+ * classification). This module provides a self-test that verifies the current runtime
+ * environment produces parseable output.
+ *
+ * ## Why this matters
+ *
+ * The `Function.prototype.toString()` output varies by runtime and build configuration:
+ *
+ * | Environment              | Arrow function toString()                     | Parseable? |
+ * |--------------------------|-----------------------------------------------|------------|
+ * | Node.js / Bun (no build) | `(x) => x + 1`                               | Yes        |
+ * | Bun (transpiled)         | `(x) => x + 1` (quotes normalized to double)  | Yes        |
+ * | esbuild (minified)       | `x=>x+1` (whitespace removed)                 | Yes        |
+ * | esbuild (mangled)        | `a=>a+1` (names mangled)                      | Partial*   |
+ * | Terser (mangled)         | `a=>a+1`                                      | Partial*   |
+ * | Webpack mode=production  | May inline or remove function bodies            | No         |
+ * | Closure Compiler ADVANCED | Removes/renames everything                    | No         |
+ *
+ * *Partial: AST parses, but parameter names are mangled so `schema.spec.name`
+ * becomes `a.spec.name` — the composition analyzer needs the original names.
+ *
+ * ## Build configurations that break TypeKro
+ *
+ * 1. **Variable name mangling** (`esbuild --mangle`, `terser --mangle-props`):
+ *    Renames function parameters. Status builder analysis depends on parameter names
+ *    matching resource keys (e.g., `(schema, resources) => ...`).
+ *
+ * 2. **Dead code elimination** with tree-shaking that removes function bodies:
+ *    The composition analyzer needs the full function body to detect if/for/ternary
+ *    patterns.
+ *
+ * 3. **Advanced minification** (Closure Compiler ADVANCED, UglifyJS with `compress`):
+ *    May restructure control flow, inline functions, or evaluate expressions at
+ *    compile time, making the source unparseable or semantically different.
+ *
+ * 4. **Source-to-source transforms** that don't preserve function structure:
+ *    SWC with certain plugins, Babel transforms that rewrite arrow functions to
+ *    regular functions with different parameter patterns.
+ *
+ * ## Safe configurations
+ *
+ * - **No bundler** (direct TypeScript execution via Bun or ts-node): Always works
+ * - **esbuild with `--minify-whitespace` only** (no `--mangle`): Works
+ * - **Webpack mode=development**: Works
+ * - **Vite dev mode**: Works
+ * - **Any bundler with `Function.prototype.toString` polyfill that preserves source**: Works
+ *
+ * ## Call sites that depend on fn.toString()
+ *
+ * | File                                | Usage                                    |
+ * |-------------------------------------|------------------------------------------|
+ * | `serialization/yaml.ts`             | readyWhen callback → CEL conversion      |
+ * | `deployment/debug-logger.ts`        | Evaluator type inspection (non-critical) |
+ * | `expressions/factory/status-builder-analyzer.ts` | Status builder AST parsing    |
+ * | `expressions/context/context-detector.ts`        | Expression complexity analysis|
+ * | `expressions/analysis/expression-classifier.ts`  | Function body analysis        |
+ * | `expressions/composition/composition-analyzer.ts` | Composition body detection   |
+ * | `expressions/composition/imperative-analyzer.ts`  | Imperative composition parse |
+ * | `expressions/composition/expression-analyzer.ts`  | Pattern detection            |
+ *
+ * ## Future alternative: TypeScript Compiler API
+ *
+ * As an opt-in alternative to `fn.toString()` + acorn parsing, the TypeScript Compiler
+ * API (`typescript` package) could be used to analyze user-supplied functions at build
+ * time or at schema-registration time. This would eliminate the runtime dependency on
+ * `fn.toString()` producing parseable output entirely.
+ *
+ * ### How it would work
+ *
+ * 1. **At `toResourceGraph()` call time**, capture the source file path and position of
+ *    the status builder / composition function using `Error().stack` or a build plugin.
+ * 2. **Use `ts.createProgram()`** to parse the original TypeScript source (not the
+ *    transpiled output) with full type information.
+ * 3. **Walk the AST** using `ts.forEachChild()` to find the function node at the
+ *    captured position and extract parameter types, return types, and body structure.
+ * 4. **Cache results** keyed by file path + position so re-analysis is free.
+ *
+ * ### Advantages
+ *
+ * - Works regardless of bundler/minifier configuration
+ * - Has access to full TypeScript type information (not just runtime values)
+ * - Can detect type errors in status builders at registration time
+ * - No runtime `fn.toString()` calls needed
+ *
+ * ### Challenges (estimated 2+ weeks to implement)
+ *
+ * - **Source location capture**: Reliably mapping a runtime function call back to its
+ *   source file position is non-trivial. `Error().stack` line numbers may not match
+ *   original TS source after transpilation. A build plugin (Bun plugin, esbuild plugin)
+ *   could inject source locations at compile time.
+ * - **TypeScript as a dependency**: The `typescript` package is ~45MB. It should be an
+ *   optional peer dependency, loaded dynamically with `import('typescript')`.
+ * - **Performance**: `ts.createProgram()` is expensive (~500ms-2s for a medium project).
+ *   Must be lazy and cached. Could use `ts.createLanguageService()` for incremental
+ *   parsing.
+ * - **Monorepo / workspace support**: Source files may be in different packages with
+ *   different tsconfig.json files. The API would need to resolve the correct config.
+ * - **Runtime-only environments**: Users running TypeKro without access to source files
+ *   (e.g., in a Docker container with only compiled JS) would still need the
+ *   `fn.toString()` fallback.
+ * - **Test coverage**: All 12 call sites would need dual-path testing (TS API path +
+ *   fn.toString() fallback path).
+ *
+ * ### Recommendation
+ *
+ * Keep `fn.toString()` as the default path with the self-test as a safety net. The TS
+ * Compiler API approach should be a future opt-in for users who need bundler-safe
+ * analysis. Implementation should wait until there is concrete user demand from a
+ * production deployment that uses aggressive minification.
+ */
+export interface FnToStringSelfTestResult {
+    /** Whether the runtime produces parseable fn.toString() output */
+    parseable: boolean;
+    /** Whether parameter names are preserved (not mangled) */
+    parameterNamesPreserved: boolean;
+    /** Whether function bodies are preserved (not stripped) */
+    functionBodiesPreserved: boolean;
+    /** Whether arrow function syntax is preserved */
+    arrowSyntaxPreserved: boolean;
+    /** Overall: is the environment compatible with TypeKro's analysis features? */
+    compatible: boolean;
+    /** Detailed diagnostics */
+    diagnostics: string[];
+}
+/**
+ * Run the fn.toString() self-test.
+ *
+ * Call this early in the application lifecycle to detect incompatible
+ * build configurations before they cause subtle analysis failures.
+ *
+ * @returns Self-test results with compatibility assessment
+ */
+export declare function runFnToStringSelfTest(): FnToStringSelfTestResult;
+/**
+ * Validate the runtime environment and log warnings if fn.toString() analysis
+ * will not work correctly. This is a no-op if the environment is compatible.
+ *
+ * Call once during application initialization.
+ */
+export declare function validateFnToStringEnvironment(): void;
+//# sourceMappingURL=fn-toString-self-test.d.ts.map

package/dist/core/expressions/analysis/fn-toString-self-test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fn-toString-self-test.d.ts","sourceRoot":"","sources":["../../../../src/core/expressions/analysis/fn-toString-self-test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkHG;AAwBH,MAAM,WAAW,wBAAwB;IACvC,kEAAkE;IAClE,SAAS,EAAE,OAAO,CAAC;IACnB,0DAA0D;IAC1D,uBAAuB,EAAE,OAAO,CAAC;IACjC,2DAA2D;IAC3D,uBAAuB,EAAE,OAAO,CAAC;IACjC,iDAAiD;IACjD,oBAAoB,EAAE,OAAO,CAAC;IAC9B,+EAA+E;IAC/E,UAAU,EAAE,OAAO,CAAC;IACpB,2BAA2B;IAC3B,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,IAAI,wBAAwB,CA6EhE;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,IAAI,IAAI,CA6BpD"}