npm - @codeyam/codeyam-cli - Versions diffs - 0.1.0-staging.b8a55ba → 0.1.0-staging.c90f8c9 - Mend

@codeyam/codeyam-cli 0.1.0-staging.b8a55ba → 0.1.0-staging.c90f8c9

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (645) hide show

package/packages/ai/src/lib/astScopes/patterns/ifStatementHandler.js CHANGED Viewed

@@ -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 CHANGED Viewed

	@@ -1 +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"}
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;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 CHANGED Viewed

@@ -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 CHANGED Viewed

	@@ -1 +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"}
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;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 CHANGED Viewed

@@ -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 CHANGED Viewed

	@@ -1 +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"}
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;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"}