@codeyam/codeyam-cli 0.1.0-staging.d0ad4ae → 0.1.0-staging.d4f25c3

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

@@ -79,6 +79,66 @@ export class ArrayFilterSemantics {
         return true;
     }
 }
+/**
+ * Array some method semantics
+ *
+ * some() returns true if at least one element passes the test, false otherwise
+ * The callback receives array elements to test
+ */
+export class ArraySomeSemantics {
+    getReturnType() {
+        return 'boolean';
+    }
+    addEquivalences(methodCallPath, sourcePath, context) {
+        // Mark source as array
+        context.addType(sourcePath, 'array');
+        // Mark return as boolean
+        context.addType(methodCallPath, 'boolean');
+        // Get the last function call segment to access the arguments
+        const lastFunctionCallSegment = methodCallPath.getLastFunctionCallSegment();
+        if (lastFunctionCallSegment && lastFunctionCallSegment.args.length > 0) {
+            // The first argument is the callback
+            const callbackPath = lastFunctionCallSegment.args[0];
+            // Add the callback to the structure
+            context.addType(callbackPath, 'function');
+            // Mark that the callback's first parameter receives array elements
+            context.addEquivalence(callbackPath.withParameter(0), sourcePath.withElement('*'));
+        }
+    }
+    isComplete() {
+        return true;
+    }
+}
+/**
+ * Array every method semantics
+ *
+ * every() returns true if all elements pass the test, false otherwise
+ * The callback receives array elements to test
+ */
+export class ArrayEverySemantics {
+    getReturnType() {
+        return 'boolean';
+    }
+    addEquivalences(methodCallPath, sourcePath, context) {
+        // Mark source as array
+        context.addType(sourcePath, 'array');
+        // Mark return as boolean
+        context.addType(methodCallPath, 'boolean');
+        // Get the last function call segment to access the arguments
+        const lastFunctionCallSegment = methodCallPath.getLastFunctionCallSegment();
+        if (lastFunctionCallSegment && lastFunctionCallSegment.args.length > 0) {
+            // The first argument is the callback
+            const callbackPath = lastFunctionCallSegment.args[0];
+            // Add the callback to the structure
+            context.addType(callbackPath, 'function');
+            // Mark that the callback's first parameter receives array elements
+            context.addEquivalence(callbackPath.withParameter(0), sourcePath.withElement('*'));
+        }
+    }
+    isComplete() {
+        return true;
+    }
+}
 /**
  * Array find method semantics
  *
@@ -100,12 +160,12 @@ export class ArrayFindSemantics {
             context.addType(callbackPath, 'function');
             // Mark that the callback's first parameter receives array elements
             context.addEquivalence(callbackPath.withParameter(0), sourcePath.withElement('*'));
-            // THIS IS PRODUCING STRANGE RESULTS SUCH AS
-            // 'people.filter(cyScope2()).find(cyScope3())': 'people.filter(cyScope2()).functionCallReturnValue[]',
-            // 'personWithHome.places.find(cyScope5())': 'personWithHome.places[]'
-            // WHICH DO NOT MAKES SENSE
-            // REMOVING BUT LEAVING IN PLACE IN CASE THERE IS A VALID USE CASE
-            // The result is an element from the array that matches the callback condition
+            // NOTE: We intentionally do NOT create an equivalency from the find result
+            // to the array element here. While semantically correct (find returns an element),
+            // doing so causes type inference issues where the array element gets typed as
+            // 'function' instead of 'object'. The tracing back to source arrays happens
+            // through the || operator processing and null guard in addEquivalence.
+            // See: analyzeScopeNoAI1.test.ts for tests that break if this is uncommented.
             // context.addEquivalence(methodCallPath, sourcePath.withElement('*'));
         }
     }
@@ -149,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() {
@@ -179,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;
@@ -349,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() {
@@ -414,6 +498,33 @@ export class ObjectFromEntriesSemantics {
         return true;
     }
 }
+/**
+ * String split method semantics
+ *
+ * split() returns an array of strings by splitting the source string on a delimiter.
+ * This is commonly used for URL path parsing: splat?.split('/') → segments[]
+ *
+ * Important for controllability: if the source string is controllable (e.g., from useParams()),
+ * then the resulting array elements are also controllable.
+ */
+export class StringSplitSemantics {
+    getReturnType() {
+        return 'string[]';
+    }
+    addEquivalences(methodCallPath, sourcePath, context) {
+        // Mark source as string
+        context.addType(sourcePath, 'string');
+        // Mark the result as a string array
+        context.addType(methodCallPath, 'string[]');
+        // Establish equivalence: each element of the result derives from the source string
+        // This enables controllability tracking: if sourcePath is controllable,
+        // then methodCallPath[] elements are controllable via the same mock
+        context.addEquivalence(methodCallPath.withReturnValues().withElement('*'), sourcePath);
+    }
+    isComplete() {
+        return true;
+    }
+}
 /**
  * Promise.then method semantics
  *
@@ -523,8 +634,12 @@ export function createMethodRegistry() {
     registry.register('slice', new ArraySliceSemantics(), 'Array');
     registry.register('splice', new ArraySpliceSemantics(), 'Array');
     registry.register('push', new ArrayPushSemantics(), 'Array');
+    registry.register('some', new ArraySomeSemantics(), 'Array');
+    registry.register('every', new ArrayEverySemantics(), 'Array');
     // Register Object methods
     registry.register('fromEntries', new ObjectFromEntriesSemantics(), 'Object');
+    // Register String methods
+    registry.register('split', new StringSplitSemantics(), 'String');
     // Register Promise methods
     registry.register('then', new PromiseThenSemantics(), 'Promise');
     // Register React hooks

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;;;;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,4CAA4C;YAC5C,uGAAuG;YACvG,sEAAsE;YACtE,2BAA2B;YAC3B,kEAAkE;YAClE,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;;;;;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;IAE7D,0BAA0B;IAC1B,QAAQ,CAAC,QAAQ,CAAC,aAAa,EAAE,IAAI,0BAA0B,EAAE,EAAE,QAAQ,CAAC,CAAC;IAE7E,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/patterns/ifStatementHandler.js

@@ -1,5 +1,6 @@
 import ts from 'typescript';
 import { markConditionVariablesAsNullable, extractConditionalUsage, } from "../processExpression.js";
+import { extractConditionalEffectsFromIfStatement, findUseStateSetters, } from "../conditionalEffectsExtractor.js";
 /**
  * Handler for if statements
  *
@@ -7,6 +8,7 @@ import { markConditionVariablesAsNullable, extractConditionalUsage, } from "../p
  * - The condition expression
  * - The then block
  * - The else block if present
+ * - Conditional effects (setter calls inside conditionals)
  */
 export class IfStatementHandler {
     canHandle(node) {
@@ -21,6 +23,12 @@ export class IfStatementHandler {
         extractConditionalUsage(node.expression, context, 'if');
         // Process the condition expression first
         context.processExpression(node.expression);
+        // Extract conditional effects (setter calls inside this if statement)
+        const knownSetters = findUseStateSetters(context.sourceFile);
+        const effects = extractConditionalEffectsFromIfStatement(node, context, knownSetters);
+        for (const effect of effects) {
+            context.addConditionalEffect(effect);
+        }
         // Process the 'then' statement block
         context.processNode(node.thenStatement);
         // Process the 'else' statement block if it exists

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

@@ -1 +1 @@
-{"version":3,"file":"ifStatementHandler.js","sourceRoot":"","sources":["../../../../../../../../packages/ai/src/lib/astScopes/patterns/ifStatementHandler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,EACL,gCAAgC,EAChC,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AAE9B;;;;;;;GAOG;AACH,MAAM,OAAO,kBAAkB;IAC7B,SAAS,CAAC,IAAa;QACrB,OAAO,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,OAAO,CAAC,IAAa,EAAE,OAAwB;QAC7C,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAE1C,2DAA2D;QAC3D,gCAAgC,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAE3D,yDAAyD;QACzD,uBAAuB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;QAExD,yCAAyC;QACzC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE3C,qCAAqC;QACrC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAExC,kDAAkD;QAClD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1C,CAAC;QAED,8EAA8E;QAC9E,0EAA0E;QAC1E,2DAA2D;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;CACF"}
+{"version":3,"file":"ifStatementHandler.js","sourceRoot":"","sources":["../../../../../../../../packages/ai/src/lib/astScopes/patterns/ifStatementHandler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,EACL,gCAAgC,EAChC,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,wCAAwC,EACxC,mBAAmB,GACpB,MAAM,gCAAgC,CAAC;AAExC;;;;;;;;GAQG;AACH,MAAM,OAAO,kBAAkB;IAC7B,SAAS,CAAC,IAAa;QACrB,OAAO,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,OAAO,CAAC,IAAa,EAAE,OAAwB;QAC7C,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAE1C,2DAA2D;QAC3D,gCAAgC,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAE3D,yDAAyD;QACzD,uBAAuB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;QAExD,yCAAyC;QACzC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE3C,sEAAsE;QACtE,MAAM,YAAY,GAAG,mBAAmB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAE7D,MAAM,OAAO,GAAG,wCAAwC,CACtD,IAAI,EACJ,OAAO,EACP,YAAY,CACb,CAAC;QAEF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACvC,CAAC;QAED,qCAAqC;QACrC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAExC,kDAAkD;QAClD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1C,CAAC;QAED,8EAA8E;QAC9E,0EAA0E;QAC1E,2DAA2D;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;CACF"}

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

@@ -1,5 +1,6 @@
 import ts from 'typescript';
 import { StructuredPath } from "../paths.js";
+import { extractConditionalEffectsFromSwitchStatement, findUseStateSetters, } from "../conditionalEffectsExtractor.js";
 /**
  * Helper to extract source location from an AST node
  */
@@ -61,6 +62,12 @@ export class SwitchStatementHandler {
                 context.updateSchemaType(discriminantPathStr, unionType);
             }
         }
+        // Extract conditional effects (setter calls inside switch cases)
+        const knownSetters = findUseStateSetters(context.sourceFile);
+        const effects = extractConditionalEffectsFromSwitchStatement(node, context, knownSetters);
+        for (const effect of effects) {
+            context.addConditionalEffect(effect);
+        }
         // Process each clause in the switch statement
         for (const clause of node.caseBlock.clauses) {
             // Process the case expression if it's a case clause (not default)

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

@@ -1 +1 @@
-{"version":3,"file":"switchStatementHandler.js","sourceRoot":"","sources":["../../../../../../../../packages/ai/src/lib/astScopes/patterns/switchStatementHandler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAE1C;;GAEG;AACH,SAAS,iBAAiB,CACxB,IAAa,EACb,UAAyB;IAEzB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACxC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAE7C,OAAO;QACL,UAAU,EAAE,IAAI,GAAG,CAAC,EAAE,qBAAqB;QAC3C,MAAM,EAAE,SAAS;QACjB,WAAW,EACT,WAAW,CAAC,MAAM,GAAG,GAAG;YACtB,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,KAAK;YACnC,CAAC,CAAC,WAAW;KAClB,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,sBAAsB;IACjC,SAAS,CAAC,IAAa;QACrB,OAAO,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,OAAO,CAAC,IAAa,EAAE,OAAwB;QAC7C,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAE9C,2CAA2C;QAC3C,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE3C,wDAAwD;QACxD,MAAM,gBAAgB,GAAG,cAAc,CAAC,QAAQ,CAC9C,IAAI,CAAC,UAAU,EACf,OAAO,CAAC,UAAU,CACnB,CAAC;QAEF,IAAI,gBAAgB,IAAI,CAAC,gBAAgB,CAAC,SAAS,EAAE,EAAE,CAAC;YACtD,0BAA0B;YAC1B,MAAM,UAAU,GAAa,EAAE,CAAC;YAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;gBAC5C,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBACjD,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;oBACnE,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;wBAC5B,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBAC7B,CAAC;gBACH,CAAC;YACH,CAAC;YAED,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,oBAAoB,EAAE,CAAC;YAEpE,+BAA+B;YAC/B,OAAO,CAAC,mBAAmB,CAAC;gBAC1B,IAAI,EAAE,mBAAmB;gBACzB,aAAa,EAAE,QAAQ;gBACvB,cAAc,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;gBAC9D,QAAQ,EAAE,QAAQ;gBAClB,cAAc,EAAE,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC;aAC5D,CAAC,CAAC;YAEH,0DAA0D;YAC1D,6DAA6D;YAC7D,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC9D,OAAO,CAAC,gBAAgB,CAAC,mBAAmB,EAAE,SAAS,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QAED,8CAA8C;QAC9C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;YAC5C,kEAAkE;YAClE,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBACjD,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YAC/C,CAAC;YAED,uCAAuC;YACvC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBAC1C,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;QAED,kFAAkF;QAClF,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,eAAe,CACrB,IAAmB,EACnB,OAAwB;QAExB,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,EAAE,CAAC;YACzE,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;YAC5C,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;YAC7C,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;YAC5C,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;YACjD,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;CACF"}
+{"version":3,"file":"switchStatementHandler.js","sourceRoot":"","sources":["../../../../../../../../packages/ai/src/lib/astScopes/patterns/switchStatementHandler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAC1C,OAAO,EACL,4CAA4C,EAC5C,mBAAmB,GACpB,MAAM,gCAAgC,CAAC;AAExC;;GAEG;AACH,SAAS,iBAAiB,CACxB,IAAa,EACb,UAAyB;IAEzB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACxC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAE7C,OAAO;QACL,UAAU,EAAE,IAAI,GAAG,CAAC,EAAE,qBAAqB;QAC3C,MAAM,EAAE,SAAS;QACjB,WAAW,EACT,WAAW,CAAC,MAAM,GAAG,GAAG;YACtB,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,KAAK;YACnC,CAAC,CAAC,WAAW;KAClB,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,sBAAsB;IACjC,SAAS,CAAC,IAAa;QACrB,OAAO,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,OAAO,CAAC,IAAa,EAAE,OAAwB;QAC7C,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAE9C,2CAA2C;QAC3C,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE3C,wDAAwD;QACxD,MAAM,gBAAgB,GAAG,cAAc,CAAC,QAAQ,CAC9C,IAAI,CAAC,UAAU,EACf,OAAO,CAAC,UAAU,CACnB,CAAC;QAEF,IAAI,gBAAgB,IAAI,CAAC,gBAAgB,CAAC,SAAS,EAAE,EAAE,CAAC;YACtD,0BAA0B;YAC1B,MAAM,UAAU,GAAa,EAAE,CAAC;YAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;gBAC5C,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBACjD,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;oBACnE,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;wBAC5B,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBAC7B,CAAC;gBACH,CAAC;YACH,CAAC;YAED,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,oBAAoB,EAAE,CAAC;YAEpE,+BAA+B;YAC/B,OAAO,CAAC,mBAAmB,CAAC;gBAC1B,IAAI,EAAE,mBAAmB;gBACzB,aAAa,EAAE,QAAQ;gBACvB,cAAc,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;gBAC9D,QAAQ,EAAE,QAAQ;gBAClB,cAAc,EAAE,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC;aAC5D,CAAC,CAAC;YAEH,0DAA0D;YAC1D,6DAA6D;YAC7D,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC9D,OAAO,CAAC,gBAAgB,CAAC,mBAAmB,EAAE,SAAS,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QAED,iEAAiE;QACjE,MAAM,YAAY,GAAG,mBAAmB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,4CAA4C,CAC1D,IAAI,EACJ,OAAO,EACP,YAAY,CACb,CAAC;QACF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACvC,CAAC;QAED,8CAA8C;QAC9C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;YAC5C,kEAAkE;YAClE,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBACjD,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YAC/C,CAAC;YAED,uCAAuC;YACvC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBAC1C,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;QAED,kFAAkF;QAClF,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,eAAe,CACrB,IAAmB,EACnB,OAAwB;QAExB,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,EAAE,CAAC;YACzE,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;YAC5C,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;YAC7C,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;YAC5C,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;YACjD,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;CACF"}

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

@@ -1,6 +1,131 @@
 import ts from 'typescript';
 import { StructuredPath } from "../paths.js";
 import { processBindingPattern } from "../processBindings.js";
+import { getSimplePath, detectArrayPredicatePattern, } from "../arrayDerivationDetector.js";
+/**
+ * Detects if an expression is a boolean derivation pattern and extracts the info.
+ * Patterns detected:
+ * - x !== null / x != null → { sourcePath: 'x', operation: 'notNull' }
+ * - x === null / x == null → { sourcePath: 'x', operation: 'isNull' }
+ * - x === 'value' → { sourcePath: 'x', operation: 'equals', comparedValue: 'value' }
+ * - x !== 'value' → { sourcePath: 'x', operation: 'notEquals', comparedValue: 'value' }
+ * - a || b → { operation: 'or', sourcePaths: ['a', 'b'] }
+ * - a && b → { operation: 'and', sourcePaths: ['a', 'b'] }
+ * - arr.includes(x) → { sourcePath: 'arr', operation: 'arrayIncludes' }
+ * - arr.some(fn) → { sourcePath: 'arr', operation: 'arraySome' }
+ * - arr.every(fn) → { sourcePath: 'arr', operation: 'arrayEvery' }
+ */
+function detectDerivationPattern(expr) {
+    // Check for array predicate methods first
+    const arrayPredicate = detectArrayPredicatePattern(expr);
+    if (arrayPredicate) {
+        return arrayPredicate;
+    }
+    // Binary expressions: a !== null, a === 'value', a || b, a && b
+    if (ts.isBinaryExpression(expr)) {
+        const left = expr.left;
+        const right = expr.right;
+        const op = expr.operatorToken.kind;
+        // Check for null comparisons: x !== null, x === null
+        if (op === ts.SyntaxKind.ExclamationEqualsEqualsToken ||
+            op === ts.SyntaxKind.ExclamationEqualsToken) {
+            // x !== null or x != null
+            if (right.kind === ts.SyntaxKind.NullKeyword ||
+                (ts.isIdentifier(right) && right.text === 'undefined')) {
+                const sourcePath = getSimplePath(left);
+                if (sourcePath) {
+                    return { sourcePath, operation: 'notNull' };
+                }
+            }
+            // null !== x or null != x
+            if (left.kind === ts.SyntaxKind.NullKeyword ||
+                (ts.isIdentifier(left) && left.text === 'undefined')) {
+                const sourcePath = getSimplePath(right);
+                if (sourcePath) {
+                    return { sourcePath, operation: 'notNull' };
+                }
+            }
+            // x !== 'value'
+            if (ts.isStringLiteral(right)) {
+                const sourcePath = getSimplePath(left);
+                if (sourcePath) {
+                    return {
+                        sourcePath,
+                        operation: 'notEquals',
+                        comparedValue: right.text,
+                    };
+                }
+            }
+        }
+        if (op === ts.SyntaxKind.EqualsEqualsEqualsToken ||
+            op === ts.SyntaxKind.EqualsEqualsToken) {
+            // x === null or x == null
+            if (right.kind === ts.SyntaxKind.NullKeyword ||
+                (ts.isIdentifier(right) && right.text === 'undefined')) {
+                const sourcePath = getSimplePath(left);
+                if (sourcePath) {
+                    return { sourcePath, operation: 'isNull' };
+                }
+            }
+            // null === x or null == x
+            if (left.kind === ts.SyntaxKind.NullKeyword ||
+                (ts.isIdentifier(left) && left.text === 'undefined')) {
+                const sourcePath = getSimplePath(right);
+                if (sourcePath) {
+                    return { sourcePath, operation: 'isNull' };
+                }
+            }
+            // x === 'value'
+            if (ts.isStringLiteral(right)) {
+                const sourcePath = getSimplePath(left);
+                if (sourcePath) {
+                    return { sourcePath, operation: 'equals', comparedValue: right.text };
+                }
+            }
+        }
+        // a || b
+        if (op === ts.SyntaxKind.BarBarToken) {
+            const leftPath = getSimplePath(left);
+            const rightPath = getSimplePath(right);
+            if (leftPath && rightPath) {
+                return { operation: 'or', sourcePaths: [leftPath, rightPath] };
+            }
+            // Handle chained OR: (a || b) || c
+            const leftDerivation = detectDerivationPattern(left);
+            if (leftDerivation?.operation === 'or' &&
+                leftDerivation.sourcePaths &&
+                rightPath) {
+                return {
+                    operation: 'or',
+                    sourcePaths: [...leftDerivation.sourcePaths, rightPath],
+                };
+            }
+        }
+        // a && b
+        if (op === ts.SyntaxKind.AmpersandAmpersandToken) {
+            const leftPath = getSimplePath(left);
+            const rightPath = getSimplePath(right);
+            if (leftPath && rightPath) {
+                return { operation: 'and', sourcePaths: [leftPath, rightPath] };
+            }
+            // Handle chained AND: (a && b) && c
+            const leftDerivation = detectDerivationPattern(left);
+            if (leftDerivation?.operation === 'and' &&
+                leftDerivation.sourcePaths &&
+                rightPath) {
+                return {
+                    operation: 'and',
+                    sourcePaths: [...leftDerivation.sourcePaths, rightPath],
+                };
+            }
+        }
+    }
+    // Parenthesized expressions: unwrap and recurse
+    if (ts.isParenthesizedExpression(expr)) {
+        return detectDerivationPattern(expr.expression);
+    }
+    return null;
+}
 /**
  * Handler for variable declarations
  *
@@ -9,6 +134,11 @@ import { processBindingPattern } from "../processBindings.js";
  * - const x = obj.prop;
  * - const { a, b } = obj;
  * - const [a, b] = arr;
+ *
+ * Also detects derived boolean variables like:
+ * - const hasAnalysis = analysis !== null
+ * - const isLoading = status === 'loading'
+ * - const isBusy = isRunning || isQueued
  */
 export class VariableDeclarationHandler {
     canHandle(node) {
@@ -39,8 +169,15 @@ export class VariableDeclarationHandler {
         }
         // Regular variable declaration with a single identifier
         else if (ts.isIdentifier(declaration.name)) {
+            const variableName = declaration.name.text;
             // Create structured path for the variable
-            const variablePath = StructuredPath.fromBase(declaration.name.text);
+            const variablePath = StructuredPath.fromBase(variableName);
+            // Check if this is a derived boolean variable (e.g., const hasX = x !== null)
+            // Record the derivation info so we can trace back when this variable is used in conditionals
+            const derivationInfo = detectDerivationPattern(declaration.initializer);
+            if (derivationInfo) {
+                context.addDerivedVariable(variableName, derivationInfo);
+            }
             // Capture equivalencies to child boundaries as they will otherwise be skipped
             if (context.isChildBoundary(declaration.initializer)) {
                 context.addChildBoundaryEquivalence(variablePath, declaration.initializer);

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

@@ -1 +1 @@
-{"version":3,"file":"variableDeclarationHandler.js","sourceRoot":"","sources":["../../../../../../../../packages/ai/src/lib/astScopes/patterns/variableDeclarationHandler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAC1C,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAE3D;;;;;;;;GAQG;AACH,MAAM,OAAO,0BAA0B;IACrC,SAAS,CAAC,IAAa;QACrB,OAAO,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IAED,OAAO,CAAC,IAAa,EAAE,OAAwB;QAC7C,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAElD,MAAM,WAAW,GAAG,IAA8B,CAAC;QACnD,IAAI,CAAC,WAAW,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC,CAAC,gCAAgC;QAE3E,sCAAsC;QACtC,IACE,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC,IAAI,CAAC;YAC3C,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,CAAC,EAC1C,CAAC;YACD,8DAA8D;YAC9D,+CAA+C;YAC/C,MAAM,kBAAkB,GAAG,OAAO,CAAC,iBAAiB,CAClD,WAAW,CAAC,WAAW,CACxB,CAAC;YAEF,IAAI,CAAC,kBAAkB,EAAE,CAAC;gBACxB,OAAO,KAAK,CAAC;YACf,CAAC;YAED,uCAAuC;YACvC,MAAM,cAAc,GAAG,cAAc,CAAC,QAAQ,CAC5C,WAAW,CAAC,WAAW,EACvB,OAAO,CAAC,UAAU,CACnB,CAAC;YAEF,IAAI,CAAC,cAAc,EAAE,CAAC;gBACpB,OAAO,KAAK,CAAC;YACf,CAAC;YAED,gDAAgD;YAChD,OAAO,qBAAqB,CAAC,WAAW,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;QAC1E,CAAC;QACD,wDAAwD;aACnD,IAAI,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,0CAA0C;YAC1C,MAAM,YAAY,GAAG,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEpE,8EAA8E;YAC9E,IAAI,OAAO,CAAC,eAAe,CAAC,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC;gBACrD,OAAO,CAAC,2BAA2B,CACjC,YAAY,EACZ,WAAW,CAAC,WAAW,CACxB,CAAC;YACJ,CAAC;YAED,0DAA0D;YAC1D,6DAA6D;YAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CACvC,WAAW,CAAC,WAAW,EACvB,YAAY,CACb,CAAC;YAEF,yEAAyE;YACzE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;YAC3C,CAAC;YAED,OAAO,OAAO,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,gCAAgC;YAChC,OAAO,CAAC,eAAe,CACrB,WAAW,CAAC,IAAI,EAChB,+BAA+B,EAC/B,KAAK,CACN,CAAC;YACF,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;CACF"}
+{"version":3,"file":"variableDeclarationHandler.js","sourceRoot":"","sources":["../../../../../../../../packages/ai/src/lib/astScopes/patterns/variableDeclarationHandler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAC1C,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EACL,aAAa,EACb,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AAEpC;;;;;;;;;;;;GAYG;AACH,SAAS,uBAAuB,CAAC,IAAmB;IAgBlD,0CAA0C;IAC1C,MAAM,cAAc,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,gEAAgE;IAChE,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QAEnC,qDAAqD;QACrD,IACE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;YACjD,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,EAC3C,CAAC;YACD,0BAA0B;YAC1B,IACE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;gBACxC,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,EACtD,CAAC;gBACD,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,UAAU,EAAE,CAAC;oBACf,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;gBAC9C,CAAC;YACH,CAAC;YACD,0BAA0B;YAC1B,IACE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;gBACvC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,EACpD,CAAC;gBACD,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;gBACxC,IAAI,UAAU,EAAE,CAAC;oBACf,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;gBAC9C,CAAC;YACH,CAAC;YACD,gBAAgB;YAChB,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,UAAU,EAAE,CAAC;oBACf,OAAO;wBACL,UAAU;wBACV,SAAS,EAAE,WAAW;wBACtB,aAAa,EAAE,KAAK,CAAC,IAAI;qBAC1B,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,IACE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YAC5C,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,EACtC,CAAC;YACD,0BAA0B;YAC1B,IACE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;gBACxC,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,EACtD,CAAC;gBACD,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,UAAU,EAAE,CAAC;oBACf,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;gBAC7C,CAAC;YACH,CAAC;YACD,0BAA0B;YAC1B,IACE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;gBACvC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,EACpD,CAAC;gBACD,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;gBACxC,IAAI,UAAU,EAAE,CAAC;oBACf,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;gBAC7C,CAAC;YACH,CAAC;YACD,gBAAgB;YAChB,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,UAAU,EAAE,CAAC;oBACf,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;gBACxE,CAAC;YACH,CAAC;QACH,CAAC;QAED,SAAS;QACT,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;YACrC,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;gBAC1B,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;YACjE,CAAC;YACD,mCAAmC;YACnC,MAAM,cAAc,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;YACrD,IACE,cAAc,EAAE,SAAS,KAAK,IAAI;gBAClC,cAAc,CAAC,WAAW;gBAC1B,SAAS,EACT,CAAC;gBACD,OAAO;oBACL,SAAS,EAAE,IAAI;oBACf,WAAW,EAAE,CAAC,GAAG,cAAc,CAAC,WAAW,EAAE,SAAS,CAAC;iBACxD,CAAC;YACJ,CAAC;QACH,CAAC;QAED,SAAS;QACT,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAAE,CAAC;YACjD,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;YACrC,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;gBAC1B,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;YAClE,CAAC;YACD,oCAAoC;YACpC,MAAM,cAAc,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;YACrD,IACE,cAAc,EAAE,SAAS,KAAK,KAAK;gBACnC,cAAc,CAAC,WAAW;gBAC1B,SAAS,EACT,CAAC;gBACD,OAAO;oBACL,SAAS,EAAE,KAAK;oBAChB,WAAW,EAAE,CAAC,GAAG,cAAc,CAAC,WAAW,EAAE,SAAS,CAAC;iBACxD,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,gDAAgD;IAChD,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO,uBAAuB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,OAAO,0BAA0B;IACrC,SAAS,CAAC,IAAa;QACrB,OAAO,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IAED,OAAO,CAAC,IAAa,EAAE,OAAwB;QAC7C,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAElD,MAAM,WAAW,GAAG,IAA8B,CAAC;QACnD,IAAI,CAAC,WAAW,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC,CAAC,gCAAgC;QAE3E,sCAAsC;QACtC,IACE,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC,IAAI,CAAC;YAC3C,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,CAAC,EAC1C,CAAC;YACD,8DAA8D;YAC9D,+CAA+C;YAC/C,MAAM,kBAAkB,GAAG,OAAO,CAAC,iBAAiB,CAClD,WAAW,CAAC,WAAW,CACxB,CAAC;YAEF,IAAI,CAAC,kBAAkB,EAAE,CAAC;gBACxB,OAAO,KAAK,CAAC;YACf,CAAC;YAED,uCAAuC;YACvC,MAAM,cAAc,GAAG,cAAc,CAAC,QAAQ,CAC5C,WAAW,CAAC,WAAW,EACvB,OAAO,CAAC,UAAU,CACnB,CAAC;YAEF,IAAI,CAAC,cAAc,EAAE,CAAC;gBACpB,OAAO,KAAK,CAAC;YACf,CAAC;YAED,gDAAgD;YAChD,OAAO,qBAAqB,CAAC,WAAW,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;QAC1E,CAAC;QACD,wDAAwD;aACnD,IAAI,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;YAE3C,0CAA0C;YAC1C,MAAM,YAAY,GAAG,cAAc,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;YAE3D,8EAA8E;YAC9E,6FAA6F;YAC7F,MAAM,cAAc,GAAG,uBAAuB,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;YACxE,IAAI,cAAc,EAAE,CAAC;gBACnB,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;YAC3D,CAAC;YAED,8EAA8E;YAC9E,IAAI,OAAO,CAAC,eAAe,CAAC,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC;gBACrD,OAAO,CAAC,2BAA2B,CACjC,YAAY,EACZ,WAAW,CAAC,WAAW,CACxB,CAAC;YACJ,CAAC;YAED,0DAA0D;YAC1D,6DAA6D;YAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CACvC,WAAW,CAAC,WAAW,EACvB,YAAY,CACb,CAAC;YAEF,yEAAyE;YACzE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;YAC3C,CAAC;YAED,OAAO,OAAO,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,gCAAgC;YAChC,OAAO,CAAC,eAAe,CACrB,WAAW,CAAC,IAAI,EAChB,+BAA+B,EAC/B,KAAK,CACN,CAAC;YACF,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;CACF"}