@codeyam/codeyam-cli 0.1.0-staging.8e7b1bd → 0.1.0-staging.9574237

package/analyzer-template/packages/github/dist/utils/src/lib/safeFileName.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"safeFileName.d.ts","sourceRoot":"","sources":["../../../../../utils/src/lib/safeFileName.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,OAAO,UAAU,YAAY,CAAC,IAAI,EAAE,MAAM,UAShD"}
+{"version":3,"file":"safeFileName.d.ts","sourceRoot":"","sources":["../../../../../utils/src/lib/safeFileName.ts"],"names":[],"mappings":"AAcA,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,CAAC,OAAO,UAAU,YAAY,CAClC,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,mBAAwB,GAChC,MAAM,CA4BR"}

package/analyzer-template/packages/github/dist/utils/src/lib/safeFileName.js

@@ -1,10 +1,36 @@
-export default function safeFileName(name) {
+/**
+ * Simple hash function for generating unique suffixes.
+ * Uses djb2 algorithm - fast and produces good distribution.
+ * Not cryptographically secure, but sufficient for filename uniqueness.
+ */
+function simpleHash(str) {
+    let hash = 5381;
+    for (let i = 0; i < str.length; i++) {
+        hash = (hash * 33) ^ str.charCodeAt(i);
+    }
+    // Convert to unsigned 32-bit and then to hex
+    return (hash >>> 0).toString(16).padStart(8, '0');
+}
+export default function safeFileName(name, options = {}) {
+    const { maxLength } = options;
     // Replace unsafe characters with underscores, preserving original casing
     // Then trim leading/trailing underscores to avoid malformed route segments
-    const safeSlug = name.replace(/[^a-zA-Z0-9_]+/g, '_').replace(/^_+|_+$/g, '');
+    let safeSlug = name.replace(/[^a-zA-Z0-9_]+/g, '_').replace(/^_+|_+$/g, '');
     if (!safeSlug)
         return '';
     // Ensure it starts with a capital letter (for consistency with Remix routes)
-    return safeSlug.slice(0, 1).toUpperCase() + safeSlug.slice(1);
+    safeSlug = safeSlug.slice(0, 1).toUpperCase() + safeSlug.slice(1);
+    // If maxLength is specified and the slug exceeds it, truncate and add a hash
+    if (maxLength && safeSlug.length > maxLength) {
+        // Create an 8-character hash of the full name for uniqueness
+        const hash = simpleHash(name);
+        // Reserve space for underscore + hash (9 chars total)
+        const truncateLength = maxLength - 9;
+        const truncated = safeSlug.substring(0, truncateLength);
+        // Remove trailing underscore if present (from mid-word truncation)
+        const cleanTruncated = truncated.replace(/_+$/, '');
+        safeSlug = `${cleanTruncated}_${hash}`;
+    }
+    return safeSlug;
 }
 //# sourceMappingURL=safeFileName.js.map

package/analyzer-template/packages/github/dist/utils/src/lib/safeFileName.js.map

@@ -1 +1 @@
-{"version":3,"file":"safeFileName.js","sourceRoot":"","sources":["../../../../../utils/src/lib/safeFileName.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,OAAO,UAAU,YAAY,CAAC,IAAY;IAC/C,yEAAyE;IACzE,2EAA2E;IAC3E,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAE9E,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,CAAC;IAEzB,6EAA6E;IAC7E,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC"}
+{"version":3,"file":"safeFileName.js","sourceRoot":"","sources":["../../../../../utils/src/lib/safeFileName.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,SAAS,UAAU,CAAC,GAAW;IAC7B,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC;IACD,6CAA6C;IAC7C,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACpD,CAAC;AAWD,MAAM,CAAC,OAAO,UAAU,YAAY,CAClC,IAAY,EACZ,UAA+B,EAAE;IAEjC,MAAM,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC;IAE9B,yEAAyE;IACzE,2EAA2E;IAC3E,IAAI,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAE5E,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,CAAC;IAEzB,6EAA6E;IAC7E,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAElE,6EAA6E;IAC7E,IAAI,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC;QAC7C,6DAA6D;QAC7D,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAE9B,sDAAsD;QACtD,MAAM,cAAc,GAAG,SAAS,GAAG,CAAC,CAAC;QACrC,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;QAExD,mEAAmE;QACnE,MAAM,cAAc,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAEpD,QAAQ,GAAG,GAAG,cAAc,IAAI,IAAI,EAAE,CAAC;IACzC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/analyzer-template/packages/github/package.json

@@ -11,11 +11,11 @@
   "author": "",
   "license": "ISC",
   "dependencies": {
-    "@octokit/auth-app": "^8.1.0",
+    "@octokit/auth-app": "^8.2.0",
     "@octokit/request": "^10.0.3",
     "@octokit/rest": "^22.0.0"
   },
   "devDependencies": {
-    "@octokit/types": "^15.0.0"
+    "@octokit/types": "^16.0.0"
   }
 }

package/analyzer-template/packages/github/src/lib/loadOrCreateCommit.ts

@@ -124,6 +124,20 @@ export default async function loadOrCreateCommit(
     branchFromDb = newBranches[0];
   }
 
+  // If no branch was found or created (e.g., non-HEAD commit where
+  // listBranchesForHeadCommit returns empty), fall back to the primary branch.
+  // Only do this for baseline commits where the assumption is justified.
+  if (!branchFromDb && baseline && project.branches) {
+    branchFromDb = project.branches.find((b) => b.primary) ?? null;
+  }
+
+  if (!branchFromDb) {
+    throw new Error(
+      `Could not determine branch for commit ${commitSha}. ` +
+        `The commit may not be at the HEAD of any branch, and no primary branch was found.`,
+    );
+  }
+
   commit.branch = branchFromDb;
   branchName = branchFromDb.name;
 

package/analyzer-template/packages/github/src/lib/syncPrimaryBranch.ts

@@ -79,6 +79,8 @@ export default async function syncPrimaryBranch({
       const index = projectBranches.findIndex((b) => b.name === branch.name);
       if (index !== -1) {
         projectBranches[index] = branch;
+      } else {
+        projectBranches.push(branch);
       }
     }
 

package/analyzer-template/packages/process/index.ts

@@ -0,0 +1,2 @@
+// Re-export everything from src/index.ts
+export * from './src/index';

package/analyzer-template/packages/process/package.json

@@ -0,0 +1,12 @@
+{
+  "name": "@codeyam/process",
+  "version": "1.0.0",
+  "description": "Process management utilities for CodeYam",
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "scripts": {},
+  "keywords": [],
+  "author": "",
+  "license": "ISC"
+}

package/analyzer-template/packages/process/tsconfig.json

@@ -0,0 +1,8 @@
+{
+  "extends": "../../tsconfig.json",
+  "compilerOptions": {
+    "outDir": "./dist",
+    "rootDir": "./src"
+  },
+  "include": ["src/**/*.ts"]
+}

package/analyzer-template/packages/types/index.ts

@@ -42,6 +42,9 @@ export type {
   ScenariosDataStructure,
   DataStructure,
   ConditionalUsage,
+  CompoundConditional,
+  ConditionalEffect,
+  JsxRenderingUsage,
 } from './src/types/ScenariosDataStructure';
 export type {
   Scenario,
@@ -63,6 +66,8 @@ export type {
   AnalysisStatus,
   AnalysisMetadata,
   ReadonlyAnalysis,
+  SourceLocation,
+  ExecutionFlow,
 } from './src/types/Analysis';
 export { EMPTY_SHA_MARKER } from './src/types/Analysis';
 export type { CodeExplanation } from './src/types/CodeExplanation';

package/analyzer-template/packages/types/src/enums/ProjectFramework.ts

@@ -4,5 +4,7 @@ export enum ProjectFramework {
   CRA = 'CRA',
   Next = 'Next', // Has an app directory with page.tsx files
   NextPages = 'NextPages', // Has a pages directory with index.tsx files
+  Vite = 'Vite',
+  Expo = 'Expo',
   Unknown = 'Unknown',
 }

package/analyzer-template/packages/types/src/types/Analysis.ts

@@ -17,6 +17,24 @@ import { DeepReadonly } from './DeepReadonly';
 // used for e.g. analyzedTreeSha for analyses that have no meaningful content to hash
 export const EMPTY_SHA_MARKER = '0000000000000000000000000000000000000000';
 
+/** Represents a location in source code */
+export interface SourceLocation {
+  /** Entity name where this usage occurs */
+  entityName: string;
+  /** File path relative to project root */
+  filePath: string;
+  /** Line number (1-based) */
+  lineNumber: number;
+  /** Column number (0-based) */
+  column?: number;
+  /** The code snippet at this location */
+  codeSnippet: string;
+  /** Type of usage: conditional check, render expression, or computation */
+  usageType: 'conditional' | 'render' | 'computation';
+  /** Human-readable description of how the attribute is used here */
+  description?: string;
+}
+
 export interface AnalysisError {
   message: string;
   stack: string;
@@ -24,6 +42,90 @@ export interface AnalysisError {
   phase: 'capture' | 'analyze';
 }
 
+/** Represents a distinct execution path/outcome in a component with the required attribute values */
+export interface ExecutionFlow {
+  /** Unique identifier for this execution flow */
+  id: string;
+  /** Human-readable name (e.g., "Modal visible", "Loading spinner shown") */
+  name: string;
+  /** Description of what the user sees or what behavior occurs */
+  description: string;
+  /** Whether this is an error/exception scenario */
+  isError?: boolean;
+  /** Attribute values required to produce this outcome */
+  requiredValues: {
+    /** Path to the attribute (e.g., "signature[0].showModal") */
+    attributePath: string;
+    /** The required value (descriptive or literal) */
+    value: string;
+    /** Comparison type for the value */
+    comparison:
+      | 'equals'
+      | 'notEquals'
+      | 'truthy'
+      | 'falsy'
+      | 'length>'
+      | 'length<'
+      | 'exists'
+      | 'not-exists';
+    /** Type of the attribute for mock generation */
+    valueType?:
+      | 'string'
+      | 'number'
+      | 'boolean'
+      | 'object'
+      | 'array'
+      | 'null'
+      | 'function';
+    /**
+     * The full original expression as a semantic constraint for LLM reasoning.
+     * Used when the attributePath is a base that needs additional context to
+     * generate correct mock data.
+     *
+     * Examples:
+     * - `scenarios.filter(s => s.active).length > 1`
+     * - `users.some(u => u.role === 'admin' && u.active)`
+     *
+     * The LLM interprets this constraint to generate data that satisfies it.
+     */
+    constraint?: string;
+  }[];
+  /** Visual/behavioral impact level */
+  impact: 'high' | 'medium' | 'low';
+  /** True if this outcome hides/blocks other outcomes (modals, overlays, full-screen states) */
+  blocksOtherFlows?: boolean;
+  /**
+   * True if this flow can only be triggered by user interaction (clicking a button, etc.)
+   * and cannot be controlled via mock data. These flows need Playwright instructions.
+   */
+  interactionRequired?: boolean;
+  /**
+   * Group name for mutually exclusive flows - only ONE flow from a group can be active at a time.
+   * Examples: "status-badge", "active-tab", "modal-state"
+   * Flows in the same group represent alternative states of the same UI element/feature.
+   */
+  exclusiveGroup?: string;
+  /** Code snippet showing where this outcome is determined */
+  codeSnippet?: string;
+  /** Source location in code */
+  sourceLocation?: {
+    lineNumber: number;
+    column?: number;
+  };
+  /**
+   * Priority score for this flow (higher = more important to simulate).
+   * Based on rendering impact: flows that control more content/child components
+   * are prioritized higher. Used for sorting and filtering when there are many flows.
+   */
+  priority?: number;
+  /**
+   * Names of child components whose rendering is controlled by this flow.
+   * Flows that gate child component rendering should have higher priority
+   * as they affect more of the UI.
+   */
+  childComponentsControlled?: string[];
+}
+
 export interface Analysis {
   id?: string;
   projectId: string;
@@ -58,19 +160,8 @@ export interface Analysis {
     }[];
     mergedDataStructure?: Omit<DataStructure, 'equivalentSignatureVariables'>;
     scenariosDataStructure?: ScenariosDataStructure;
-    keyAttributes?: {
-      dependentEntityName?: string;
-      internalPath: string;
-      externalPath: string;
-      dataStructurePath?: string; // Full path like "useDiffModal().diffView" for mapping to mockData
-      description: string;
-      validValueOptions: string[];
-      errorValueOptions: string[];
-      /** The expected type of this attribute (e.g., "string", "boolean", "object") */
-      valueType?: string;
-      /** Dependencies that must have specific values for this attribute to have effect */
-      dependencies?: Record<string, string>[];
-    }[];
+    /** All distinct execution flows/outcomes this entity can produce */
+    executionFlows?: ExecutionFlow[];
     dependencyTree?: DependencyTreeNode;
     dependentAnalyses?: string[];
     dependencyAnalyzedTreeShas?: {

package/analyzer-template/packages/types/src/types/Commit.ts

@@ -20,6 +20,8 @@ export type CommitRunStatus = {
   capturesAttempted?: number; // number of analyses captures attempted
   capturesCompleted?: number; // number of entity analyses captured
   analysisCompletedAt?: string; // timestamp when all analysis was completed
+  captureCompletedAt?: string; // timestamp when capture orchestration finished (success or graceful exit)
+  completedAt?: string; // latest phase completion — always set alongside analysisCompletedAt or captureCompletedAt
   firstCaptureAt?: string; // timestamp when the first capture was initiated
   lastCaptureAt?: string; // timestamp when the last capture was initiated
 

package/analyzer-template/packages/types/src/types/Entity.ts

@@ -101,6 +101,8 @@ export interface Entity {
     previousVersionWithAnalyses?: string;
     isSuperseded?: boolean;
     mockInfo?: any;
+    /** Whether the entity is an async function/component (Server Component in Next.js) */
+    isAsync?: boolean;
   };
   file?: File;
   commit?: Commit;

package/analyzer-template/packages/types/src/types/ProjectMetadata.ts

@@ -46,4 +46,12 @@ export type ProjectMetadata = {
   webapps?: WebApp[]; // Array of webapps in the project
   framework?: any; // Deprecated: use webapps[].framework instead
   environmentVariables?: EnvironmentVariable[]; // Environment variables to pass during startup/analysis
+  labs?: {
+    accessGranted?: boolean;
+    simulations?: boolean;
+    waitlisted?: boolean;
+    surveySubmittedAt?: string;
+    surveyEmail?: string;
+  };
+  editorMode?: boolean;
 };

package/analyzer-template/packages/types/src/types/Scenario.ts

@@ -71,16 +71,11 @@ export interface Scenario {
       diffPercentage?: string;
     }[];
     dataMapping?: { [key: string]: string };
-    // New format: { dataStructurePath: { localVariable, instruction } }
-    // Old format (deprecated): { path: instruction_string }
-    keyAttributeInstructions?: {
-      [key: string]:
-        | string
-        | {
-            localVariable: string;
-            instruction: string;
-          };
-    };
+    /**
+     * IDs of execution flows this scenario covers.
+     * Mock data is generated to satisfy all requiredValues from these flows.
+     */
+    coveredFlows?: string[];
     data?: {
       mockData: { [key: string]: unknown };
       argumentsData: { [key: string]: unknown }[];
@@ -99,6 +94,22 @@ export interface Scenario {
      * all scenarios and can only contain one scenario's mock data at a time.
      */
     runAlone?: boolean;
+    /**
+     * When true, this scenario's screenshots need to be recaptured.
+     * Set when entity code changed but data structure didn't (scenarios reused from previous analysis).
+     * The capture process should check this flag and recapture if needed.
+     */
+    needsRecapture?: boolean;
+    /** Path to MSW handler file for this scenario (editor mode) */
+    mswHandlerFile?: string;
+    /** Source file path for isolated rendering (editor mode) */
+    componentPath?: string;
+    /** Component name for filtering by zoom level (editor mode) */
+    componentName?: string;
+    /** Zoom level: 'app' for full-app, 'component' for isolated (editor mode) */
+    zoomLevel?: 'app' | 'component';
+    /** Parent scenario ID for hierarchical composition (editor mode) */
+    parentScenarioId?: string;
   };
   previousVersionId?: string;
   analysis?: Analysis;

package/analyzer-template/packages/types/src/types/ScenariosDataStructure.ts

@@ -16,14 +16,182 @@ export interface ConditionalUsage {
   conditionType: 'truthiness' | 'comparison' | 'switch';
   /** For comparison conditions, the literal values being compared against */
   comparedValues?: string[];
-  /** Where this conditional usage occurs */
-  location: 'if' | 'ternary' | 'logical-and' | 'switch';
+  /** Where this conditional usage occurs. 'unconditional' is for always-rendered children with data props. */
+  location: 'if' | 'ternary' | 'logical-and' | 'switch' | 'unconditional';
+  /** Source location information for this conditional usage */
+  sourceLocation?: {
+    /** Line number (1-based) */
+    lineNumber: number;
+    /** Column number (0-based) */
+    column: number;
+    /** The code snippet containing this conditional */
+    codeSnippet: string;
+  };
+  /** Unique ID for this compound conditional chain (shared by all conditions in same && chain) */
+  chainId?: string;
+  /** Position in the chain (0 = leftmost) */
+  chainPosition?: number;
+  /** Total number of conditions in this chain */
+  chainLength?: number;
+  /** The full original expression (e.g., "a && b && c") */
+  chainExpression?: string;
+  /** Whether this condition is negated (e.g., !foo) */
+  isNegated?: boolean;
+  /**
+   * Whether this conditional controls JSX rendering.
+   * True when the conditional appears in a JSX expression like {cond && <Component />}
+   * or {cond ? <A /> : <B />}. Used to identify high-impact execution flows.
+   */
+  controlsJsxRendering?: boolean;
+
+  /**
+   * Information about how this variable was derived from other variables.
+   * Used to trace derived boolean variables back to their data sources.
+   *
+   * Examples:
+   * - `const hasAnalysis = analysis !== null` → { sourcePath: 'analysis', operation: 'notNull' }
+   * - `const isLoading = status === 'loading'` → { sourcePath: 'status', operation: 'equals', comparedValue: 'loading' }
+   * - `const isBusy = isRunning || isQueued` → { operation: 'or', sourcePaths: ['isRunning', 'isQueued'] }
+   */
+  derivedFrom?: {
+    /** For single-source derivations (notNull, equals, etc.) */
+    sourcePath?: string;
+    /** For multi-source derivations (or, and) */
+    sourcePaths?: string[];
+    /** The operation that derived this variable */
+    operation:
+      | 'notNull'
+      | 'isNull'
+      | 'equals'
+      | 'notEquals'
+      | 'or'
+      | 'and'
+      | 'arrayIncludes'
+      | 'arraySome'
+      | 'arrayEvery'
+      | 'arrayLength';
+    /** For comparison operations, the value being compared to */
+    comparedValue?: string;
+  };
+
+  /**
+   * The full original expression as a semantic constraint for LLM reasoning.
+   * Used when the path contains complex operations (filter, map, etc.) that
+   * can't be simply resolved to a mock value.
+   *
+   * Examples:
+   * - `scenarios.filter(s => s.active).length > 1`
+   * - `users.some(u => u.role === 'admin' && u.active)`
+   *
+   * The LLM can interpret this constraint to generate appropriate mock data.
+   */
+  constraintExpression?: string;
+}
+
+/**
+ * Represents a compound conditional (e.g., a && b && c) where all conditions
+ * must be satisfied together for a code path to execute.
+ */
+export interface CompoundConditional {
+  /** Unique identifier for this compound conditional */
+  chainId: string;
+  /** The full expression (e.g., "scenarios.length > 0 && !displayState.isQueued") */
+  expression: string;
+  /** Individual conditions in order */
+  conditions: {
+    path: string;
+    conditionType: 'truthiness' | 'comparison' | 'switch';
+    comparedValues?: string[];
+    isNegated: boolean;
+    /** Required value for this condition to be true */
+    requiredValue?: string | boolean;
+  }[];
+  /** Where this compound conditional occurs. 'unconditional' is for always-rendered children. */
+  location: 'if' | 'ternary' | 'logical-and' | 'switch' | 'unconditional';
+  /** Source location for the entire compound expression */
+  sourceLocation: {
+    lineNumber: number;
+    column: number;
+    codeSnippet: string;
+  };
+  /**
+   * Whether this compound conditional controls JSX rendering.
+   * True when the conditional appears in a JSX expression like {a && b && <Component />}
+   * Used to identify high-impact execution flows.
+   */
+  controlsJsxRendering?: boolean;
+}
+
+/**
+ * Represents the effect of a setter call within a conditional block.
+ * This tracks what state changes occur when specific conditions are met.
+ *
+ * Example: if (data.success) { setShowModal(true); }
+ * - condition: data.success = truthy
+ * - effect: setShowModal called with true
+ */
+export interface ConditionalEffect {
+  /**
+   * Single condition that controls this effect.
+   * Use this for simple if statements with a single condition.
+   */
+  condition?: {
+    /** The path being checked (e.g., "data.success") */
+    path: string;
+    /** Type of condition check */
+    conditionType: 'truthiness' | 'comparison' | 'switch';
+    /** Values being compared against (for comparison/switch) */
+    comparedValues?: string[];
+    /** The value required for this effect to occur */
+    requiredValue: string | boolean;
+  };
+
+  /**
+   * Multiple conditions that all must be true for this effect.
+   * Use this for compound conditions (a && b && c).
+   */
+  conditions?: Array<{
+    /** The path being checked */
+    path: string;
+    /** Type of condition check */
+    conditionType: 'truthiness' | 'comparison' | 'switch';
+    /** Values being compared against */
+    comparedValues?: string[];
+    /** The value required for this condition to be true */
+    requiredValue: string | boolean;
+  }>;
+
+  /**
+   * The effect that occurs when the condition(s) are met.
+   */
+  effect: {
+    /** Type of effect - currently only 'setter' for useState setters */
+    type: 'setter';
+    /** The state variable name (e.g., "showModal" from [showModal, setShowModal]) */
+    stateVariable: string;
+    /** The setter function name (e.g., "setShowModal") */
+    setterName: string;
+    /** The value being set (literal or expression text) */
+    value: string;
+    /** The type of value being set */
+    valueType: 'string' | 'number' | 'boolean' | 'null' | 'dynamic';
+  };
+
+  /**
+   * Source location for this conditional effect
+   */
+  sourceLocation?: {
+    lineNumber: number;
+    column: number;
+    codeSnippet: string;
+  };
 }
 
 export interface DataStructure {
   signatureSchema: { [key: string]: string };
   returnValueSchema: { [key: string]: string };
-  equivalentSignatureVariables: { [key: string]: string };
+  // Values can be arrays for OR expressions where a variable maps to multiple sources
+  equivalentSignatureVariables: { [key: string]: string | string[] };
   usageEquivalencies?: {
     [key: string]: { scopeNodeName: string; schemaPath: string }[];
   };
@@ -47,6 +215,63 @@ export interface DataStructure {
   };
   /** Attributes used in conditional statements (if, ternary, switch, &&) */
   conditionalUsages?: { [attributePath: string]: ConditionalUsage[] };
+  /** Compound conditionals grouped by chain (all conditions must be true together) */
+  compoundConditionals?: CompoundConditional[];
+  /** Conditional effects - tracks what setter calls happen inside conditionals */
+  conditionalEffects?: ConditionalEffect[];
+  /** Gating conditions for child components - maps child component names to the conditions that must be true for them to render */
+  childBoundaryGatingConditions?: {
+    [childComponentName: string]: ConditionalUsage[];
+  };
+  /** JSX rendering usages - arrays rendered via .map() and strings interpolated in JSX */
+  jsxRenderingUsages?: JsxRenderingUsage[];
+  /** Derived variables - maps variable names to their derivation info (e.g., hasAnalysis -> { sourcePath: 'analysis', operation: 'notNull' }) */
+  derivedVariables?: {
+    [variableName: string]: {
+      sourcePath?: string;
+      sourcePaths?: string[];
+      operation:
+        | 'notNull'
+        | 'isNull'
+        | 'equals'
+        | 'notEquals'
+        | 'or'
+        | 'and'
+        | 'arrayIncludes'
+        | 'arraySome'
+        | 'arrayEvery'
+        | 'arrayLength';
+      comparedValue?: string;
+    };
+  };
   structure?: any;
   mocksDataStructure?: any;
 }
+
+/**
+ * Represents a JSX rendering usage where arrays or strings are rendered directly.
+ * Used to generate execution flows for array sizes and text lengths
+ * even without explicit conditionals.
+ *
+ * Examples:
+ * - `{items.map(i => <Item {...i} />)}` → array-map usage for 'items'
+ * - `{user.name}` → text-interpolation usage for 'user.name'
+ */
+export interface JsxRenderingUsage {
+  /** The path to the rendered value (e.g., "items", "data.users", "user.name") */
+  path: string;
+  /**
+   * Type of rendering:
+   * - 'array-map': Array rendered via .map() method
+   * - 'text-interpolation': String rendered directly in JSX
+   */
+  renderingType: 'array-map' | 'text-interpolation';
+  /** The detected type of the value being rendered */
+  valueType?: 'array' | 'string' | 'unknown';
+  /** Source location information */
+  sourceLocation?: {
+    lineNumber: number;
+    column: number;
+    codeSnippet: string;
+  };
+}

package/analyzer-template/packages/types/src/types/ScopeAnalysis.ts

@@ -3,7 +3,12 @@ import { LlmCall } from './LlmCall';
 export interface ScopeAnalysis {
   instantiatedVariables: string[];
   isolatedStructure: { [key: string]: string };
-  isolatedEquivalentVariables: { [key: string]: string };
+  /**
+   * Maps variable names to their equivalent paths.
+   * Supports multiple equivalencies per key (e.g., for OR expressions like `x = a || b`
+   * where x is equivalent to both a and b).
+   */
+  isolatedEquivalentVariables: { [key: string]: string | string[] };
   llmCalls: LlmCall[];
   environmentVariables: string[];
 }

package/analyzer-template/packages/types/src/types/StatementInfo.ts

@@ -5,6 +5,8 @@ export interface StatementInfo {
   name?: string;
   childBoundaries: {
     name?: string;
+    /** The synthetic scope name (e.g., 'cyScope1') if JSX was extracted */
+    syntheticName?: string;
     start: number;
     end: number;
   }[];

package/analyzer-template/packages/ui-components/package.json

@@ -23,15 +23,15 @@
     "react-dom": "^18.0.0 || ^19.0.0"
   },
   "dependencies": {
-    "lucide-react": "^0.556.0",
+    "lucide-react": "^0.577.0",
     "react-resizable": "^3.0.5"
   },
   "devDependencies": {
-    "@types/react": "^18.0.0",
-    "@types/react-dom": "^18.0.0",
+    "@types/react": "^19.2.7",
+    "@types/react-dom": "^19.2.3",
     "@types/react-resizable": "^3.0.7",
-    "react": "^18.0.0",
-    "react-dom": "^18.0.0",
+    "react": "^19.2.3",
+    "react-dom": "^19.2.3",
     "typescript": "^5.9.3"
   }
 }