@codeyam/codeyam-cli 0.1.0-staging.6e699e5 → 0.1.0-staging.79ef713

package/packages/ai/src/lib/astScopes/methodSemantics.js

@@ -209,27 +209,34 @@ export class ArrayReduceSemantics {
 /**
  * Array concat method semantics
  *
- * concat() returns a new array combining the original array and additional items
+ * concat() returns a new array/string combining the original and additional items
+ *
+ * NOTE: We intentionally do NOT type the source as 'array' here because
+ * .concat() exists on both arrays AND strings. Typing the source prematurely
+ * causes type contamination when the source is equivalent to other paths
+ * via ?? chains. Type inference happens later in checkIfKnownType() based
+ * on accumulated evidence from all methods called on a path.
  */
 export class ArrayConcatSemantics {
     getReturnType() {
-        return 'array';
+        return 'unknown'; // Could be array or string depending on source
     }
     addEquivalences(methodCallPath, sourcePath, context) {
-        // Mark source as array
-        context.addType(sourcePath, 'array');
-        // Any arguments are also added to the array
+        // NOTE: We use 'unknown' instead of 'array' for the source because .concat()
+        // exists on both arrays AND strings. Using 'array' causes type contamination
+        // when the source is equivalent to other paths via ?? chains.
+        context.addType(sourcePath, 'unknown');
+        // Any arguments are also added to the result
         const functionCallSegment = methodCallPath.getLastFunctionCallSegment();
         if (functionCallSegment) {
             // Each argument could be an array or single element
             functionCallSegment.args.forEach((argPath) => {
                 // No need to guess the type - we'll discover it through normal processing
-                // But we can indicate that these elements will be in the result array
+                // But we can indicate that these elements will be in the result
                 context.addEquivalence(methodCallPath, argPath);
             });
         }
-        // The original array elements are also in the result
-        context.addType(methodCallPath, 'array');
+        // The original elements are also in the result
         context.addEquivalence(methodCallPath, sourcePath.withElement('*'));
     }
     isComplete() {
@@ -239,18 +246,27 @@ export class ArrayConcatSemantics {
 /**
  * Array slice method semantics
  *
- * slice() returns a shallow copy of a portion of an array
+ * slice() returns a shallow copy of a portion of an array (or string)
+ *
+ * NOTE: We intentionally do NOT type the source as 'array' here because
+ * .slice() exists on both arrays AND strings. Typing the source prematurely
+ * causes type contamination when the source is equivalent to other paths
+ * via ?? chains. Type inference happens later in checkIfKnownType() based
+ * on accumulated evidence from all methods called on a path.
  */
 export class ArraySliceSemantics {
     getReturnType() {
-        return 'array';
+        return 'unknown'; // Could be array or string depending on source
     }
     addEquivalences(methodCallPath, sourcePath, context) {
-        // Mark source as array
-        context.addType(sourcePath, 'array');
-        // The elements in the result are the same type as the source array
+        // NOTE: We use 'unknown' instead of 'array' for the source because .slice()
+        // exists on both arrays AND strings. Using 'array' causes type contamination
+        // when the source is equivalent to other paths via ?? chains.
+        // Type inference happens later in checkIfKnownType() based on accumulated evidence.
+        context.addType(sourcePath, 'unknown');
+        // Still track the return value type for data structure tracking
         const methodCallPathWithReturnValues = methodCallPath.withReturnValues();
-        context.addType(methodCallPathWithReturnValues, 'array');
+        context.addType(methodCallPathWithReturnValues, 'unknown');
     }
     isComplete() {
         return true;
@@ -409,15 +425,23 @@ export class ArrayFlatMapSemantics {
  * Array at method semantics
  *
  * at() returns the element at the given index, supporting negative indices
+ *
+ * NOTE: We intentionally do NOT type the source as 'array' here because
+ * .at() exists on both arrays AND strings. Typing the source prematurely
+ * causes type contamination when the source is equivalent to other paths
+ * via ?? chains. Type inference happens later in checkIfKnownType() based
+ * on accumulated evidence from all methods called on a path.
  */
 export class ArrayAtSemantics {
     getReturnType() {
         return 'unknown'; // Returns element type or undefined
     }
     addEquivalences(methodCallPath, sourcePath, context) {
-        // Mark source as array
-        context.addType(sourcePath, 'array');
-        // The return value is equivalent to an array element
+        // NOTE: We use 'unknown' instead of 'array' for the source because .at()
+        // exists on both arrays AND strings. Using 'array' causes type contamination
+        // when the source is equivalent to other paths via ?? chains.
+        context.addType(sourcePath, 'unknown');
+        // The return value is equivalent to an element
         context.addEquivalence(methodCallPath.withReturnValues(), sourcePath.withElement('*'));
     }
     isComplete() {

package/packages/ai/src/lib/astScopes/methodSemantics.js.map

@@ -1 +1 @@
-{"version":3,"file":"methodSemantics.js","sourceRoot":"","sources":["../../../../../../../packages/ai/src/lib/astScopes/methodSemantics.ts"],"names":[],"mappings":"AAkCA;;;;;GAKG;AACH,MAAM,OAAO,uBAAuB;IAApC;QACE,+BAA+B;QACvB,iBAAY,GAAG,IAAI,GAAG,EAA6B,CAAC;QAE5D,mEAAmE;QAC3D,qBAAgB,GAAG,IAAI,GAAG,EAAwC,CAAC;IAoD7E,CAAC;IAlDC;;;;;;OAMG;IACH,QAAQ,CACN,UAAkB,EAClB,SAA0B,EAC1B,SAAkB;QAElB,8BAA8B;QAC9B,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACxC,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAEnD,mCAAmC;QACnC,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YAClD,CAAC;YACD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,eAAe,CAAC,UAAkB;QAChC,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC;IAED;;;;;;OAMG;IACH,mBAAmB,CACjB,SAAiB,EACjB,UAAkB;QAElB,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC/D,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,oBAAoB;IAC/B,aAAa;QACX,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QAEzC,6DAA6D;QAC7D,MAAM,uBAAuB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAE5E,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvE,qCAAqC;YACrC,MAAM,YAAY,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAErD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,kBAAkB;IAC7B,aAAa;QACX,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,yBAAyB;QACzB,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;QAE3C,6DAA6D;QAC7D,MAAM,uBAAuB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAE5E,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvE,qCAAqC;YACrC,MAAM,YAAY,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAErD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,mEAAmE;YACnE,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,mBAAmB;IAC9B,aAAa;QACX,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,yBAAyB;QACzB,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;QAE3C,6DAA6D;QAC7D,MAAM,uBAAuB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAE5E,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvE,qCAAqC;YACrC,MAAM,YAAY,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAErD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,mEAAmE;YACnE,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,kBAAkB;IAC7B,aAAa;QACX,OAAO,SAAS,CAAC,CAAC,gDAAgD;IACpE,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,qCAAqC;YACrC,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEjD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,mEAAmE;YACnE,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;YAEF,2EAA2E;YAC3E,mFAAmF;YACnF,8EAA8E;YAC9E,4EAA4E;YAC5E,uEAAuE;YACvE,8EAA8E;YAC9E,uEAAuE;QACzE,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,oBAAoB;IAC/B,aAAa;QACX,OAAO,SAAS,CAAC,CAAC,4DAA4D;IAChF,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,qCAAqC;YACrC,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEjD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,oEAAoE;YACpE,+CAA+C;YAC/C,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;YAEF,+EAA+E;YAC/E,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxC,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACrD,OAAO,CAAC,cAAc,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,oBAAoB;IAC/B,aAAa;QACX,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,4CAA4C;QAC5C,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,EAAE,CAAC;YACxB,oDAAoD;YACpD,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC3C,0EAA0E;gBAC1E,sEAAsE;gBACtE,OAAO,CAAC,cAAc,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;YAClD,CAAC,CAAC,CAAC;QACL,CAAC;QAED,qDAAqD;QACrD,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QACzC,OAAO,CAAC,cAAc,CAAC,cAAc,EAAE,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,mBAAmB;IAC9B,aAAa;QACX,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,mEAAmE;QACnE,MAAM,8BAA8B,GAAG,cAAc,CAAC,gBAAgB,EAAE,CAAC;QACzE,OAAO,CAAC,OAAO,CAAC,8BAA8B,EAAE,OAAO,CAAC,CAAC;IAC3D,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,oBAAoB;IAC/B,aAAa;QACX,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,mDAAmD;QACnD,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QAEzC,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,8DAA8D;YAC9D,+BAA+B;YAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzD,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC5C,OAAO,CAAC,cAAc,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,kBAAkB;IAC7B,aAAa;QACX,OAAO,QAAQ,CAAC,CAAC,2CAA2C;IAC9D,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,uDAAuD;YACvD,oDAAoD;YACpD,8CAA8C;YAC9C,kCAAkC;YAClC,sEAAsE;YACtE,EAAE;YACF,2EAA2E;YAC3E,0EAA0E;YAC1E,qEAAqE;YACrE,EAAE;YACF,2EAA2E;YAC3E,6DAA6D;YAC7D,sDAAsD;YACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzD,OAAO,CAAC,cAAc,CACpB,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,EAC3B,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,CAChC,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,kBAAkB;IAC7B,aAAa;QACX,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,qEAAqE;QACrE,4EAA4E;QAC5E,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,sCAAsC;YACtC,MAAM,aAAa,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAElD,qFAAqF;YACrF,OAAO,CAAC,cAAc,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;QACzE,CAAC;QAED,iFAAiF;QACjF,mEAAmE;IACrE,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,iBAAiB;IAC5B,aAAa;QACX,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,6DAA6D;QAC7D,MAAM,uBAAuB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAE5E,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvE,qCAAqC;YACrC,MAAM,YAAY,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAErD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,mEAAmE;YACnE,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,qBAAqB;IAChC,aAAa;QACX,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,6DAA6D;QAC7D,MAAM,uBAAuB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAE5E,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvE,qCAAqC;YACrC,MAAM,YAAY,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAErD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,mEAAmE;YACnE,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,gBAAgB;IAC3B,aAAa;QACX,OAAO,SAAS,CAAC,CAAC,oCAAoC;IACxD,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,qDAAqD;QACrD,OAAO,CAAC,cAAc,CACpB,cAAc,CAAC,gBAAgB,EAAE,EACjC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;IACJ,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,sBAAsB;IACjC,aAAa;QACX,OAAO,SAAS,CAAC,CAAC,gDAAgD;IACpE,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,qCAAqC;YACrC,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEjD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,mEAAmE;YACnE,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,0BAA0B;IACrC,aAAa;QACX,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,2DAA2D;QAC3D,iDAAiD;QACjD,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,sDAAsD;YACtD,MAAM,WAAW,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChD,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,oBAAoB;IAC/B,aAAa;QACX,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,wBAAwB;QACxB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAEtC,oCAAoC;QACpC,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;QAE5C,mFAAmF;QACnF,wEAAwE;QACxE,oEAAoE;QACpE,OAAO,CAAC,cAAc,CACpB,cAAc,CAAC,gBAAgB,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,EAClD,UAAU,CACX,CAAC;IACJ,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,oBAAoB;IAC/B,aAAa;QACX,OAAO,SAAS,CAAC,CAAC,uDAAuD;IAC3E,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,4BAA4B;QAC5B,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEjD,kCAAkC;YAClC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,mFAAmF;YACnF,yEAAyE;YACzE,8EAA8E;YAC9E,wDAAwD;YACxD,OAAO,CAAC,cAAc,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YAElE,4EAA4E;YAC5E,sDAAsD;YACtD,OAAO,CAAC,cAAc,CACpB,cAAc,CAAC,YAAY,CAAC,yBAAyB,CAAC,EACtD,YAAY,CAAC,YAAY,CAAC,aAAa,CAAC,CACzC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,gBAAgB;IAC3B,aAAa;QACX,OAAO,SAAS,CAAC,CAAC,mDAAmD;IACvE,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,qEAAqE;QACrE,4DAA4D;QAC5D,8DAA8D;QAC9D,sCAAsC;QACtC,sCAAsC;QAEtC,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,uEAAuE;QACvE,oEAAoE;QACpE,oDAAoD;QAEpD,uFAAuF;QACvF,+EAA+E;QAC/E,8EAA8E;QAC9E,qEAAqE;IACvE,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,iBAAiB;IAC5B,aAAa;QACX,OAAO,OAAO,CAAC,CAAC,4BAA4B;IAC9C,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,uEAAuE;QACvE,yDAAyD;QAEzD,mFAAmF;QACnF,4DAA4D;QAC5D,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;QAE7D,mCAAmC;QACnC,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACrD,OAAO,CAAC,cAAc,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;QAC5E,CAAC;QAED,yEAAyE;QACzE,6EAA6E;QAC7E,mEAAmE;QACnE,qCAAqC;IACvC,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB;IAClC,MAAM,QAAQ,GAAG,IAAI,uBAAuB,EAAE,CAAC;IAE/C,yBAAyB;IACzB,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,oBAAoB,EAAE,EAAE,OAAO,CAAC,CAAC;IACjE,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,iBAAiB,EAAE,EAAE,OAAO,CAAC,CAAC;IAC3D,QAAQ,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,qBAAqB,EAAE,EAAE,OAAO,CAAC,CAAC;IACnE,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,kBAAkB,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7D,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,kBAAkB,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7D,QAAQ,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,sBAAsB,EAAE,EAAE,OAAO,CAAC,CAAC;IACrE,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,gBAAgB,EAAE,EAAE,OAAO,CAAC,CAAC;IACzD,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,oBAAoB,EAAE,EAAE,OAAO,CAAC,CAAC;IACjE,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,oBAAoB,EAAE,EAAE,OAAO,CAAC,CAAC;IACjE,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,mBAAmB,EAAE,EAAE,OAAO,CAAC,CAAC;IAC/D,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,oBAAoB,EAAE,EAAE,OAAO,CAAC,CAAC;IACjE,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,kBAAkB,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7D,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,kBAAkB,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7D,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,mBAAmB,EAAE,EAAE,OAAO,CAAC,CAAC;IAE/D,0BAA0B;IAC1B,QAAQ,CAAC,QAAQ,CAAC,aAAa,EAAE,IAAI,0BAA0B,EAAE,EAAE,QAAQ,CAAC,CAAC;IAE7E,0BAA0B;IAC1B,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,oBAAoB,EAAE,EAAE,QAAQ,CAAC,CAAC;IAEjE,2BAA2B;IAC3B,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,oBAAoB,EAAE,EAAE,SAAS,CAAC,CAAC;IAEjE,uBAAuB;IACvB,QAAQ,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,iBAAiB,EAAE,EAAE,OAAO,CAAC,CAAC;IAChE,QAAQ,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,gBAAgB,EAAE,EAAE,OAAO,CAAC,CAAC;IAE9D,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,8EAA8E;AAC9E,MAAM,CAAC,MAAM,cAAc,GAAG,oBAAoB,EAAE,CAAC"}
+{"version":3,"file":"methodSemantics.js","sourceRoot":"","sources":["../../../../../../../packages/ai/src/lib/astScopes/methodSemantics.ts"],"names":[],"mappings":"AAkCA;;;;;GAKG;AACH,MAAM,OAAO,uBAAuB;IAApC;QACE,+BAA+B;QACvB,iBAAY,GAAG,IAAI,GAAG,EAA6B,CAAC;QAE5D,mEAAmE;QAC3D,qBAAgB,GAAG,IAAI,GAAG,EAAwC,CAAC;IAoD7E,CAAC;IAlDC;;;;;;OAMG;IACH,QAAQ,CACN,UAAkB,EAClB,SAA0B,EAC1B,SAAkB;QAElB,8BAA8B;QAC9B,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACxC,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAEnD,mCAAmC;QACnC,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YAClD,CAAC;YACD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,eAAe,CAAC,UAAkB;QAChC,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC;IAED;;;;;;OAMG;IACH,mBAAmB,CACjB,SAAiB,EACjB,UAAkB;QAElB,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC/D,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,oBAAoB;IAC/B,aAAa;QACX,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QAEzC,6DAA6D;QAC7D,MAAM,uBAAuB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAE5E,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvE,qCAAqC;YACrC,MAAM,YAAY,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAErD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,kBAAkB;IAC7B,aAAa;QACX,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,yBAAyB;QACzB,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;QAE3C,6DAA6D;QAC7D,MAAM,uBAAuB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAE5E,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvE,qCAAqC;YACrC,MAAM,YAAY,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAErD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,mEAAmE;YACnE,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,mBAAmB;IAC9B,aAAa;QACX,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,yBAAyB;QACzB,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;QAE3C,6DAA6D;QAC7D,MAAM,uBAAuB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAE5E,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvE,qCAAqC;YACrC,MAAM,YAAY,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAErD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,mEAAmE;YACnE,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,kBAAkB;IAC7B,aAAa;QACX,OAAO,SAAS,CAAC,CAAC,gDAAgD;IACpE,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,qCAAqC;YACrC,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEjD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,mEAAmE;YACnE,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;YAEF,2EAA2E;YAC3E,mFAAmF;YACnF,8EAA8E;YAC9E,4EAA4E;YAC5E,uEAAuE;YACvE,8EAA8E;YAC9E,uEAAuE;QACzE,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,oBAAoB;IAC/B,aAAa;QACX,OAAO,SAAS,CAAC,CAAC,4DAA4D;IAChF,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,qCAAqC;YACrC,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEjD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,oEAAoE;YACpE,+CAA+C;YAC/C,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;YAEF,+EAA+E;YAC/E,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxC,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACrD,OAAO,CAAC,cAAc,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;;;;;;;GAUG;AACH,MAAM,OAAO,oBAAoB;IAC/B,aAAa;QACX,OAAO,SAAS,CAAC,CAAC,+CAA+C;IACnE,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,6EAA6E;QAC7E,6EAA6E;QAC7E,8DAA8D;QAC9D,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAEvC,6CAA6C;QAC7C,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,EAAE,CAAC;YACxB,oDAAoD;YACpD,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC3C,0EAA0E;gBAC1E,gEAAgE;gBAChE,OAAO,CAAC,cAAc,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;YAClD,CAAC,CAAC,CAAC;QACL,CAAC;QAED,+CAA+C;QAC/C,OAAO,CAAC,cAAc,CAAC,cAAc,EAAE,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;;;;;;;GAUG;AACH,MAAM,OAAO,mBAAmB;IAC9B,aAAa;QACX,OAAO,SAAS,CAAC,CAAC,+CAA+C;IACnE,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,4EAA4E;QAC5E,6EAA6E;QAC7E,8DAA8D;QAC9D,oFAAoF;QACpF,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAEvC,gEAAgE;QAChE,MAAM,8BAA8B,GAAG,cAAc,CAAC,gBAAgB,EAAE,CAAC;QACzE,OAAO,CAAC,OAAO,CAAC,8BAA8B,EAAE,SAAS,CAAC,CAAC;IAC7D,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,oBAAoB;IAC/B,aAAa;QACX,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,mDAAmD;QACnD,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QAEzC,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,8DAA8D;YAC9D,+BAA+B;YAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzD,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC5C,OAAO,CAAC,cAAc,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,kBAAkB;IAC7B,aAAa;QACX,OAAO,QAAQ,CAAC,CAAC,2CAA2C;IAC9D,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,uDAAuD;YACvD,oDAAoD;YACpD,8CAA8C;YAC9C,kCAAkC;YAClC,sEAAsE;YACtE,EAAE;YACF,2EAA2E;YAC3E,0EAA0E;YAC1E,qEAAqE;YACrE,EAAE;YACF,2EAA2E;YAC3E,6DAA6D;YAC7D,sDAAsD;YACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzD,OAAO,CAAC,cAAc,CACpB,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,EAC3B,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,CAChC,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,kBAAkB;IAC7B,aAAa;QACX,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,qEAAqE;QACrE,4EAA4E;QAC5E,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,sCAAsC;YACtC,MAAM,aAAa,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAElD,qFAAqF;YACrF,OAAO,CAAC,cAAc,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;QACzE,CAAC;QAED,iFAAiF;QACjF,mEAAmE;IACrE,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,iBAAiB;IAC5B,aAAa;QACX,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,6DAA6D;QAC7D,MAAM,uBAAuB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAE5E,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvE,qCAAqC;YACrC,MAAM,YAAY,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAErD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,mEAAmE;YACnE,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,qBAAqB;IAChC,aAAa;QACX,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,6DAA6D;QAC7D,MAAM,uBAAuB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAE5E,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvE,qCAAqC;YACrC,MAAM,YAAY,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAErD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,mEAAmE;YACnE,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;;;;;;;GAUG;AACH,MAAM,OAAO,gBAAgB;IAC3B,aAAa;QACX,OAAO,SAAS,CAAC,CAAC,oCAAoC;IACxD,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,yEAAyE;QACzE,6EAA6E;QAC7E,8DAA8D;QAC9D,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAEvC,+CAA+C;QAC/C,OAAO,CAAC,cAAc,CACpB,cAAc,CAAC,gBAAgB,EAAE,EACjC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;IACJ,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,sBAAsB;IACjC,aAAa;QACX,OAAO,SAAS,CAAC,CAAC,gDAAgD;IACpE,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,uBAAuB;QACvB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAErC,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,qCAAqC;YACrC,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEjD,oCAAoC;YACpC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,mEAAmE;YACnE,OAAO,CAAC,cAAc,CACpB,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAC7B,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAC5B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,0BAA0B;IACrC,aAAa;QACX,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,2DAA2D;QAC3D,iDAAiD;QACjD,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,sDAAsD;YACtD,MAAM,WAAW,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChD,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,oBAAoB;IAC/B,aAAa;QACX,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,wBAAwB;QACxB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAEtC,oCAAoC;QACpC,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;QAE5C,mFAAmF;QACnF,wEAAwE;QACxE,oEAAoE;QACpE,OAAO,CAAC,cAAc,CACpB,cAAc,CAAC,gBAAgB,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,EAClD,UAAU,CACX,CAAC;IACJ,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,oBAAoB;IAC/B,aAAa;QACX,OAAO,SAAS,CAAC,CAAC,uDAAuD;IAC3E,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,4BAA4B;QAC5B,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEjD,kCAAkC;YAClC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE1C,mFAAmF;YACnF,yEAAyE;YACzE,8EAA8E;YAC9E,wDAAwD;YACxD,OAAO,CAAC,cAAc,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YAElE,4EAA4E;YAC5E,sDAAsD;YACtD,OAAO,CAAC,cAAc,CACpB,cAAc,CAAC,YAAY,CAAC,yBAAyB,CAAC,EACtD,YAAY,CAAC,YAAY,CAAC,aAAa,CAAC,CACzC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,gBAAgB;IAC3B,aAAa;QACX,OAAO,SAAS,CAAC,CAAC,mDAAmD;IACvE,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,qEAAqE;QACrE,4DAA4D;QAC5D,8DAA8D;QAC9D,sCAAsC;QACtC,sCAAsC;QAEtC,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,uEAAuE;QACvE,oEAAoE;QACpE,oDAAoD;QAEpD,uFAAuF;QACvF,+EAA+E;QAC/E,8EAA8E;QAC9E,qEAAqE;IACvE,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,iBAAiB;IAC5B,aAAa;QACX,OAAO,OAAO,CAAC,CAAC,4BAA4B;IAC9C,CAAC;IAED,eAAe,CACb,cAA8B,EAC9B,UAA0B,EAC1B,OAAwB;QAExB,6DAA6D;QAC7D,MAAM,mBAAmB,GAAG,cAAc,CAAC,0BAA0B,EAAE,CAAC;QAExE,uEAAuE;QACvE,yDAAyD;QAEzD,mFAAmF;QACnF,4DAA4D;QAC5D,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;QAE7D,mCAAmC;QACnC,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACrD,OAAO,CAAC,cAAc,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;QAC5E,CAAC;QAED,yEAAyE;QACzE,6EAA6E;QAC7E,mEAAmE;QACnE,qCAAqC;IACvC,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB;IAClC,MAAM,QAAQ,GAAG,IAAI,uBAAuB,EAAE,CAAC;IAE/C,yBAAyB;IACzB,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,oBAAoB,EAAE,EAAE,OAAO,CAAC,CAAC;IACjE,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,iBAAiB,EAAE,EAAE,OAAO,CAAC,CAAC;IAC3D,QAAQ,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,qBAAqB,EAAE,EAAE,OAAO,CAAC,CAAC;IACnE,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,kBAAkB,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7D,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,kBAAkB,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7D,QAAQ,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,sBAAsB,EAAE,EAAE,OAAO,CAAC,CAAC;IACrE,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,gBAAgB,EAAE,EAAE,OAAO,CAAC,CAAC;IACzD,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,oBAAoB,EAAE,EAAE,OAAO,CAAC,CAAC;IACjE,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,oBAAoB,EAAE,EAAE,OAAO,CAAC,CAAC;IACjE,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,mBAAmB,EAAE,EAAE,OAAO,CAAC,CAAC;IAC/D,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,oBAAoB,EAAE,EAAE,OAAO,CAAC,CAAC;IACjE,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,kBAAkB,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7D,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,kBAAkB,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7D,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,mBAAmB,EAAE,EAAE,OAAO,CAAC,CAAC;IAE/D,0BAA0B;IAC1B,QAAQ,CAAC,QAAQ,CAAC,aAAa,EAAE,IAAI,0BAA0B,EAAE,EAAE,QAAQ,CAAC,CAAC;IAE7E,0BAA0B;IAC1B,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,oBAAoB,EAAE,EAAE,QAAQ,CAAC,CAAC;IAEjE,2BAA2B;IAC3B,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,oBAAoB,EAAE,EAAE,SAAS,CAAC,CAAC;IAEjE,uBAAuB;IACvB,QAAQ,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,iBAAiB,EAAE,EAAE,OAAO,CAAC,CAAC;IAChE,QAAQ,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,gBAAgB,EAAE,EAAE,OAAO,CAAC,CAAC;IAE9D,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,8EAA8E;AAC9E,MAAM,CAAC,MAAM,cAAc,GAAG,oBAAoB,EAAE,CAAC"}

package/packages/ai/src/lib/astScopes/patterns/forInStatementHandler.js

@@ -17,33 +17,29 @@ export class ForInStatementHandler {
             return false;
         // Process the expression being iterated over first (e.g., object)
         context.processExpression(node.expression);
-        // Get the path of the object being iterated
-        const expressionPath = context.getStructuralPath(node.expression);
-        // If the initializer is a variable declaration with an identifier, establish equivalence
-        // to indicate it's iterating over the keys of the expression
+        // If the initializer is a variable declaration with an identifier,
+        // type it as 'string' since for-in keys are always strings
         if (ts.isVariableDeclarationList(node.initializer)) {
             const declarations = node.initializer.declarations;
             if (declarations.length === 1 &&
                 declarations[0].name &&
                 ts.isIdentifier(declarations[0].name)) {
                 const variableName = StructuredPath.fromBase(declarations[0].name.text);
-                // Add type for the key variable (string for object keys)
+                // Type the key variable as 'string' — for-in keys are always strings.
+                // Note: We intentionally do NOT equivalence the key variable to
+                // expressionPath[*key*]. The key variable is the KEY (a string),
+                // while [*key*] in the schema represents the VALUE at a dynamic key.
+                // Creating that equivalence would cause the 'string' type to propagate
+                // to the value path. The value access (e.g., obj[key]) is handled
+                // correctly by the element access handler in processExpression.
                 context.addType(variableName, 'string');
-                if (expressionPath) {
-                    // For for...in loops, the variable is equivalent to the keys of the object
-                    // We represent this with a *key* suffix to indicate it's a key, not a value
-                    context.addEquivalence(variableName, expressionPath.withKey('key'));
-                }
             }
         }
         else if (ts.isIdentifier(node.initializer)) {
             // If the initializer is directly an identifier (rare but possible)
             const variableName = StructuredPath.fromBase(node.initializer.text);
-            // Add type for the key variable
+            // See comment above — type as string but don't equivalence to value path
             context.addType(variableName, 'string');
-            if (expressionPath) {
-                context.addEquivalence(variableName, expressionPath.withKey('key'));
-            }
         }
         else {
             context.processExpression(node.initializer);

package/packages/ai/src/lib/astScopes/patterns/forInStatementHandler.js.map

@@ -1 +1 @@
-{"version":3,"file":"forInStatementHandler.js","sourceRoot":"","sources":["../../../../../../../../packages/ai/src/lib/astScopes/patterns/forInStatementHandler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAE1C;;;;;;;GAOG;AACH,MAAM,OAAO,qBAAqB;IAChC,SAAS,CAAC,IAAa;QACrB,OAAO,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,CAAC,IAAa,EAAE,OAAwB;QAC7C,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAE7C,kEAAkE;QAClE,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE3C,4CAA4C;QAC5C,MAAM,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAElE,yFAAyF;QACzF,6DAA6D;QAC7D,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YACnD,MAAM,YAAY,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC;YACnD,IACE,YAAY,CAAC,MAAM,KAAK,CAAC;gBACzB,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI;gBACpB,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EACrC,CAAC;gBACD,MAAM,YAAY,GAAG,cAAc,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAExE,yDAAyD;gBACzD,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;gBAExC,IAAI,cAAc,EAAE,CAAC;oBACnB,2EAA2E;oBAC3E,4EAA4E;oBAC5E,OAAO,CAAC,cAAc,CAAC,YAAY,EAAE,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBACtE,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YAC7C,mEAAmE;YACnE,MAAM,YAAY,GAAG,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAEpE,gCAAgC;YAChC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;YAExC,IAAI,cAAc,EAAE,CAAC;gBACnB,OAAO,CAAC,cAAc,CAAC,YAAY,EAAE,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC9C,CAAC;QAED,wBAAwB;QACxB,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAEpC,gDAAgD;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;CACF"}
+{"version":3,"file":"forInStatementHandler.js","sourceRoot":"","sources":["../../../../../../../../packages/ai/src/lib/astScopes/patterns/forInStatementHandler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAE1C;;;;;;;GAOG;AACH,MAAM,OAAO,qBAAqB;IAChC,SAAS,CAAC,IAAa;QACrB,OAAO,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,CAAC,IAAa,EAAE,OAAwB;QAC7C,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAE7C,kEAAkE;QAClE,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE3C,mEAAmE;QACnE,2DAA2D;QAC3D,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YACnD,MAAM,YAAY,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC;YACnD,IACE,YAAY,CAAC,MAAM,KAAK,CAAC;gBACzB,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI;gBACpB,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EACrC,CAAC;gBACD,MAAM,YAAY,GAAG,cAAc,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAExE,sEAAsE;gBACtE,gEAAgE;gBAChE,iEAAiE;gBACjE,qEAAqE;gBACrE,uEAAuE;gBACvE,kEAAkE;gBAClE,gEAAgE;gBAChE,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YAC7C,mEAAmE;YACnE,MAAM,YAAY,GAAG,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAEpE,yEAAyE;YACzE,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QAC1C,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC9C,CAAC;QAED,wBAAwB;QACxB,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAEpC,gDAAgD;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;CACF"}

package/packages/ai/src/lib/astScopes/processExpression.js

@@ -7,6 +7,84 @@ import { isArithmeticOperator, isAssignmentOperator, isBitwiseCompoundOperator,
 import { processBindingPattern } from "./processBindings.js";
 import { extractConditionalEffectsFromTernary, findUseStateSetters, } from "./conditionalEffectsExtractor.js";
 import { detectArrayDerivedPattern } from "./arrayDerivationDetector.js";
+/**
+ * Checks if a JSX element has props that reference variables from the parent scope.
+ * This is used to detect unconditionally-rendered children that should have their
+ * execution flows merged into the parent.
+ *
+ * We want to track children where the parent controls data that affects the child's
+ * conditional rendering. Static props (like title="Dashboard") don't need tracking
+ * because they don't create variable execution flows.
+ *
+ * Examples:
+ * - <WorkoutsView workouts={workouts} /> → true (workouts is a variable)
+ * - <ItemList items={items} count={count} /> → true (items, count are variables)
+ * - <Header title="Dashboard" /> → false (static string)
+ * - <Footer /> → false (no props)
+ * - <Button onClick={handleClick} /> → false (only callback, no data props)
+ *
+ * @returns true if the component has at least one prop that references a variable
+ *          (excluding callbacks which typically start with 'on' or 'handle')
+ */
+function hasDataPropsFromParent(node, componentName) {
+    const attributes = ts.isJsxElement(node)
+        ? node.openingElement.attributes.properties
+        : node.attributes.properties;
+    const dataProps = [];
+    for (const attr of attributes) {
+        // Spread attributes always reference parent data: {...props}
+        if (ts.isJsxSpreadAttribute(attr)) {
+            const spreadText = attr.expression?.getText() || '...spread';
+            dataProps.push(`{...${spreadText}}`);
+            console.log(`[UnconditionalChild] ${componentName}: Found spread attribute {${spreadText}}`);
+            continue;
+        }
+        if (ts.isJsxAttribute(attr)) {
+            const propName = attr.name.getText();
+            // Skip callback props - they don't create data-driven execution flows
+            // Callbacks typically start with 'on' (onClick, onChange) or 'handle' (handleSubmit)
+            if (propName.startsWith('on') ||
+                propName.startsWith('handle') ||
+                propName === 'ref') {
+                console.log(`[UnconditionalChild] ${componentName}: Skipping callback prop '${propName}'`);
+                continue;
+            }
+            // Check if the prop value is a JSX expression (references a variable)
+            // vs a string literal which is static
+            if (attr.initializer) {
+                if (ts.isJsxExpression(attr.initializer)) {
+                    // JSX expression like prop={value} - this references a variable
+                    // Could be a simple identifier, property access, or more complex expression
+                    const expression = attr.initializer.expression;
+                    if (expression) {
+                        // Skip if it's just a function/arrow function (callback)
+                        if (ts.isArrowFunction(expression) ||
+                            ts.isFunctionExpression(expression)) {
+                            console.log(`[UnconditionalChild] ${componentName}: Skipping inline callback prop '${propName}'`);
+                            continue;
+                        }
+                        // This is a data prop that references parent state/props
+                        const exprText = expression.getText();
+                        dataProps.push(`${propName}={${exprText}}`);
+                        console.log(`[UnconditionalChild] ${componentName}: Found data prop '${propName}' = {${exprText}}`);
+                    }
+                }
+                else {
+                    // String literals like prop="value" are static
+                    console.log(`[UnconditionalChild] ${componentName}: Skipping static prop '${propName}'`);
+                }
+            }
+        }
+    }
+    const hasDataProps = dataProps.length > 0;
+    if (hasDataProps) {
+        console.log(`[UnconditionalChild] ${componentName}: Has ${dataProps.length} data props: [${dataProps.join(', ')}]`);
+    }
+    else {
+        console.log(`[UnconditionalChild] ${componentName}: No data props found, will NOT track`);
+    }
+    return { hasDataProps, dataProps };
+}
 /**
  * Extracts the component name from a JSX element.
  * Returns null for intrinsic elements (div, span, etc.) since we only care about
@@ -690,18 +768,40 @@ function extractConditionalsFromJsx(node, context, parentConditions = []) {
         // Recursively process nested JSX elements - Fix 32: pass parent conditions
         else if (ts.isJsxElement(child)) {
             // Check if this is a user-defined component (vs intrinsic element like div)
-            // If it's a component AND there are parent conditions, record the gating conditions
             const componentName = getComponentNameFromJsx(child);
-            if (componentName && parentConditions.length > 0) {
-                for (const condition of parentConditions) {
-                    context.addChildBoundaryGatingCondition(componentName, {
-                        path: condition.path,
-                        conditionType: 'truthiness',
-                        location: 'ternary',
-                        sourceLocation: condition.sourceLocation,
-                        controlsJsxRendering: true,
-                        isNegated: condition.isNegated,
-                    });
+            if (componentName) {
+                if (parentConditions.length > 0) {
+                    // If there are parent conditions, record them as gating conditions
+                    console.log(`[ChildBoundary] ${componentName}: Conditionally rendered with ${parentConditions.length} gating conditions`);
+                    for (const condition of parentConditions) {
+                        console.log(`[ChildBoundary] ${componentName}: Adding gating condition path='${condition.path}' isNegated=${condition.isNegated}`);
+                        context.addChildBoundaryGatingCondition(componentName, {
+                            path: condition.path,
+                            conditionType: 'truthiness',
+                            location: 'ternary',
+                            sourceLocation: condition.sourceLocation,
+                            controlsJsxRendering: true,
+                            isNegated: condition.isNegated,
+                        });
+                    }
+                }
+                else {
+                    // No parent conditions - check if it has data props for unconditional tracking
+                    console.log(`[ChildBoundary] ${componentName}: Checking for unconditional rendering with data props...`);
+                    const { hasDataProps, dataProps } = hasDataPropsFromParent(child, componentName);
+                    if (hasDataProps) {
+                        // Fix: Track unconditionally-rendered children that receive data props
+                        // These need to be tracked for flow merging even without gating conditions
+                        // Example: <WorkoutsView workouts={workouts} /> - parent controls workouts data
+                        console.log(`[ChildBoundary] ${componentName}: TRACKING as unconditionally-rendered with data props: [${dataProps.join(', ')}]`);
+                        context.addChildBoundaryGatingCondition(componentName, {
+                            path: '__unconditional__',
+                            conditionType: 'truthiness',
+                            location: 'unconditional',
+                            controlsJsxRendering: true,
+                            isNegated: false,
+                        });
+                    }
                 }
             }
             extractConditionalsFromJsx(child, context, parentConditions);
@@ -709,18 +809,38 @@ function extractConditionalsFromJsx(node, context, parentConditions = []) {
         // Handle self-closing JSX elements (e.g., <ScenarioViewer />)
         else if (ts.isJsxSelfClosingElement(child)) {
             // Check if this is a user-defined component (vs intrinsic element like div)
-            // If it's a component AND there are parent conditions, record the gating conditions
             const componentName = getComponentNameFromJsx(child);
-            if (componentName && parentConditions.length > 0) {
-                for (const condition of parentConditions) {
-                    context.addChildBoundaryGatingCondition(componentName, {
-                        path: condition.path,
-                        conditionType: 'truthiness',
-                        location: 'ternary',
-                        sourceLocation: condition.sourceLocation,
-                        controlsJsxRendering: true,
-                        isNegated: condition.isNegated,
-                    });
+            if (componentName) {
+                if (parentConditions.length > 0) {
+                    // If there are parent conditions, record them as gating conditions
+                    console.log(`[ChildBoundary] ${componentName}: Conditionally rendered (self-closing) with ${parentConditions.length} gating conditions`);
+                    for (const condition of parentConditions) {
+                        console.log(`[ChildBoundary] ${componentName}: Adding gating condition path='${condition.path}' isNegated=${condition.isNegated}`);
+                        context.addChildBoundaryGatingCondition(componentName, {
+                            path: condition.path,
+                            conditionType: 'truthiness',
+                            location: 'ternary',
+                            sourceLocation: condition.sourceLocation,
+                            controlsJsxRendering: true,
+                            isNegated: condition.isNegated,
+                        });
+                    }
+                }
+                else {
+                    // No parent conditions - check if it has data props for unconditional tracking
+                    console.log(`[ChildBoundary] ${componentName}: Checking for unconditional rendering (self-closing) with data props...`);
+                    const { hasDataProps, dataProps } = hasDataPropsFromParent(child, componentName);
+                    if (hasDataProps) {
+                        // Fix: Track unconditionally-rendered children that receive data props
+                        console.log(`[ChildBoundary] ${componentName}: TRACKING as unconditionally-rendered (self-closing) with data props: [${dataProps.join(', ')}]`);
+                        context.addChildBoundaryGatingCondition(componentName, {
+                            path: '__unconditional__',
+                            conditionType: 'truthiness',
+                            location: 'unconditional',
+                            controlsJsxRendering: true,
+                            isNegated: false,
+                        });
+                    }
                 }
             }
             // Self-closing elements have no children, so no recursion needed
@@ -1086,15 +1206,21 @@ export function processExpression({ node, context, targetPath, typeHint, }) {
             const equivalentVariables = context.getEquivalentVariables();
             const structure = context.getStructure();
             // Propagate existing equivalencies for sub-properties
-            for (const [key, value] of Object.entries(equivalentVariables)) {
+            for (const [key, rawValue] of Object.entries(equivalentVariables)) {
                 // Check if this equivalency is for a sub-property of the identifier
                 // e.g., completeDataStructure['Function Arguments'] or completeDataStructure.foo
                 if (key.startsWith(nodePathStr + '.') ||
                     key.startsWith(nodePathStr + '[')) {
                     const subPath = key.substring(nodePathStr.length);
                     const newTargetPath = StructuredPath.fromBase(targetPath.toString() + subPath);
-                    const valuePath = StructuredPath.fromBase(value);
-                    context.addEquivalence(newTargetPath, valuePath);
+                    // Handle both string and string[] values
+                    const values = Array.isArray(rawValue) ? rawValue : [rawValue];
+                    for (const value of values) {
+                        if (typeof value === 'string') {
+                            const valuePath = StructuredPath.fromBase(value);
+                            context.addEquivalence(newTargetPath, valuePath);
+                        }
+                    }
                 }
             }
             // Propagate existing structure entries for sub-properties
@@ -1436,20 +1562,38 @@ export function processExpression({ node, context, targetPath, typeHint, }) {
                     //   - items[] (from the find result)
                     //   - null (from the fallback)
                     if (targetPath) {
-                        // Process left side recursively to capture its full equivalency chain
+                        // Get paths for both sides
+                        const leftPath = StructuredPath.fromNode(unwrappedNode.left, context.sourceFile);
+                        const rightPath = StructuredPath.fromNode(unwrappedNode.right, context.sourceFile);
+                        // Collect all valid paths
+                        const allPaths = [];
+                        if (leftPath)
+                            allPaths.push(leftPath);
+                        if (rightPath)
+                            allPaths.push(rightPath);
+                        // Add multiple equivalencies to track both sources
+                        if (allPaths.length > 0) {
+                            context.addMultipleEquivalencies(targetPath, allPaths);
+                        }
+                        // Process both sides to capture their internal structures
                         processExpression({
                             node: unwrappedNode.left,
                             context,
-                            targetPath,
                         });
-                        // Process right side recursively for completeness
                         processExpression({
                             node: unwrappedNode.right,
                             context,
-                            targetPath,
                         });
-                        // Set resultPath to left side for type inference
-                        resultPath = StructuredPath.fromNode(unwrappedNode.left, context.sourceFile);
+                        // Register the type for the target path
+                        const leftType = context.inferTypeFromNode(unwrappedNode.left);
+                        const rightType = context.inferTypeFromNode(unwrappedNode.right);
+                        const orResultType = isDefinedType(leftType)
+                            ? leftType
+                            : rightType || 'unknown';
+                        context.addType(targetPath, orResultType);
+                        // Return early - we've already handled equivalencies with addMultipleEquivalencies
+                        // Don't fall through to the generic addEquivalence call below
+                        return true;
                     }
                     // Note: When there's no targetPath, we don't recursively process
                     // because || is often used in boolean contexts where the full expression matters
@@ -1529,18 +1673,44 @@ export function processExpression({ node, context, targetPath, typeHint, }) {
                 const semantics = semanticsList[0];
                 // Get the source expression path (e.g., the object for obj.method())
                 const sourceExpr = unwrappedNode.expression.expression;
-                const sourcePath = StructuredPath.fromNode(sourceExpr, context.sourceFile);
-                if (sourcePath) {
-                    // For array-specific semantics (like push), verify the source is actually an array
-                    // This prevents router.push() from being mistakenly treated as Array.push()
-                    const isArraySemantics = semantics instanceof ArrayPushSemantics;
-                    const shouldApply = !isArraySemantics ||
-                        isLikelyArrayType(sourceExpr, context.typeChecker);
-                    if (shouldApply) {
-                        // Apply method semantics
-                        semantics.addEquivalences(callPath, sourcePath, context);
-                        returnType = semantics.getReturnType();
-                        handledBySemantics = true;
+                const unwrappedSourceExpr = unwrapExpression(sourceExpr);
+                // When the source is a ternary expression like (cond ? arr : arr.slice()),
+                // apply method semantics to BOTH branches directly. The ternary itself isn't
+                // a variable - it's just a choice between two paths that both flow to the result.
+                if (ts.isConditionalExpression(unwrappedSourceExpr)) {
+                    const branches = [
+                        unwrappedSourceExpr.whenTrue,
+                        unwrappedSourceExpr.whenFalse,
+                    ];
+                    for (const branch of branches) {
+                        const branchPath = StructuredPath.fromNode(branch, context.sourceFile);
+                        if (branchPath) {
+                            const isArraySemantics = semantics instanceof ArrayPushSemantics;
+                            const shouldApply = !isArraySemantics ||
+                                isLikelyArrayType(branch, context.typeChecker);
+                            if (shouldApply) {
+                                semantics.addEquivalences(callPath, branchPath, context);
+                                returnType = semantics.getReturnType();
+                                handledBySemantics = true;
+                            }
+                        }
+                    }
+                }
+                else {
+                    // Regular (non-ternary) source expression
+                    const sourcePath = StructuredPath.fromNode(sourceExpr, context.sourceFile);
+                    if (sourcePath) {
+                        // For array-specific semantics (like push), verify the source is actually an array
+                        // This prevents router.push() from being mistakenly treated as Array.push()
+                        const isArraySemantics = semantics instanceof ArrayPushSemantics;
+                        const shouldApply = !isArraySemantics ||
+                            isLikelyArrayType(sourceExpr, context.typeChecker);
+                        if (shouldApply) {
+                            // Apply method semantics
+                            semantics.addEquivalences(callPath, sourcePath, context);
+                            returnType = semantics.getReturnType();
+                            handledBySemantics = true;
+                        }
                     }
                 }
             }
@@ -1969,6 +2139,32 @@ export function processExpression({ node, context, targetPath, typeHint, }) {
     }
     // Handle Arrow Functions: (p) => p.prop, (a, b) => { ... }
     if (ts.isArrowFunction(unwrappedNode)) {
+        // If this arrow function is a child boundary (e.g., a .map() callback),
+        // don't process its parameters here - they will be processed when the
+        // child scope is analyzed separately. This prevents parameter variables
+        // from leaking into the parent scope's equivalencies.
+        // Check if this arrow function is a child boundary (i.e., should be processed
+        // as a separate child scope, not here in the parent scope).
+        //
+        // We use two checks because childBoundary positions can be unreliable:
+        // 1. Position-based check (standard isChildBoundary)
+        // 2. Text-based check: if the arrow function text doesn't appear in the
+        //    statement text, it was replaced with a cyScope placeholder
+        const isChildBoundary = context.isChildBoundary(unwrappedNode);
+        // Text-based child scope detection for when positions are unreliable
+        const arrowFnText = unwrappedNode.getText(context.sourceFile);
+        const firstLine = arrowFnText.split('\n')[0].trim();
+        const searchText = firstLine.substring(0, Math.min(20, firstLine.length));
+        const isInStatementText = context.statementInfo.text.includes(searchText);
+        const isChildScope = !isInStatementText && arrowFnText.length > 10;
+        if (isChildBoundary || isChildScope) {
+            // The method semantics (e.g., ArrayMapSemantics) have already established
+            // the necessary equivalences between the child scope placeholder and array elements
+            if (targetPath) {
+                context.addType(targetPath, 'function');
+            }
+            return true;
+        }
         // Create a path for the function
         const functionPath = StructuredPath.empty();
         // Process parameters