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

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

@@ -43,18 +43,14 @@ export type {
   DataStructure,
   ConditionalUsage,
   CompoundConditional,
+  ConditionalEffect,
+  JsxRenderingUsage,
 } from './src/types/ScenariosDataStructure';
 export type {
   Scenario,
   ScenarioMetadata,
   PlaywrightInstruction,
   ExecutionResult,
-  ValueOptionRef,
-  KeyAttributeValueReference,
-} from './src/types/Scenario';
-export {
-  isStructuredReference,
-  hasStructuredReferences,
 } from './src/types/Scenario';
 export type { ScenarioData } from './src/types/ScenarioData';
 export type { JsonTypeDefinition } from './src/types/JsonTypeDefinition';
@@ -71,6 +67,7 @@ export type {
   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/types/Analysis.ts

@@ -17,7 +17,7 @@ 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 where a key attribute is used */
+/** Represents a location in source code */
 export interface SourceLocation {
   /** Entity name where this usage occurs */
   entityName: string;
@@ -42,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;
@@ -76,32 +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?: {
-        /** Path to the dependent attribute */
-        path: string;
-        /** Required value or condition for the dependency */
-        requiredValue: string | boolean;
-        /** Human-readable description of the dependency */
-        description: string;
-        /** ID of the compound conditional this dependency comes from */
-        fromChainId?: string;
-      }[];
-      /** IDs of compound conditionals this attribute participates in */
-      compoundConditionalIds?: string[];
-      /** Source locations where this key attribute is used in the code */
-      sourceLocations?: SourceLocation[];
-    }[];
+    /** All distinct execution flows/outcomes this entity can produce */
+    executionFlows?: ExecutionFlow[];
     dependencyTree?: DependencyTreeNode;
     dependentAnalyses?: string[];
     dependencyAnalyzedTreeShas?: {

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/Scenario.ts

@@ -9,72 +9,6 @@ export interface PlaywrightInstruction {
   actionArgs?: unknown[];
 }
 
-/**
- * Reference to a specific validValueOption or errorValueOption from keyAttributes.
- * Used in KeyAttributeValueReference to track which predefined value a scenario uses.
- */
-export interface ValueOptionRef {
-  /** Index into the validValueOptions or errorValueOptions array */
-  index: number;
-  /**
-   * Type of reference:
-   * - 'exact': Uses exactly this value option
-   * - 'derived': Based on this value but modified (see derivation field)
-   * - 'custom': Not from predefined options (value was custom-generated)
-   */
-  refType: 'exact' | 'derived' | 'custom';
-  /** For 'derived' type: describes how the value differs from the original */
-  derivation?: string;
-}
-
-/**
- * Structured reference for key attribute instructions.
- * Enables tracking of which validValueOptions each scenario uses.
- */
-export interface KeyAttributeValueReference {
-  /** The local variable name for this attribute */
-  localVariable: string;
-  /** Human-readable instruction (kept for backwards compat and readability) */
-  instruction: string;
-  /** Reference to a validValueOption (for normal scenarios) */
-  valueOptionRef?: ValueOptionRef;
-  /** Reference to an errorValueOption (for error scenarios) */
-  errorOptionRef?: ValueOptionRef;
-}
-
-/**
- * Type guard to check if a keyAttributeInstruction is the new structured format
- */
-export function isStructuredReference(
-  value:
-    | string
-    | { localVariable: string; instruction: string }
-    | KeyAttributeValueReference,
-): value is KeyAttributeValueReference {
-  return (
-    typeof value === 'object' &&
-    'localVariable' in value &&
-    'instruction' in value &&
-    ('valueOptionRef' in value || 'errorOptionRef' in value)
-  );
-}
-
-/**
- * Check if a scenario has structured value references in its keyAttributeInstructions.
- * Scenarios without structured references need re-analysis to be included in breakdown view.
- */
-export function hasStructuredReferences(scenario: Scenario): boolean {
-  const instructions = scenario.metadata?.keyAttributeInstructions;
-  if (!instructions || Object.keys(instructions).length === 0) {
-    return false;
-  }
-  return Object.values(instructions).some(
-    (value) =>
-      typeof value === 'object' &&
-      ('valueOptionRef' in value || 'errorOptionRef' in value),
-  );
-}
-
 export interface ExecutionResult {
   returnValue?: unknown;
   error?: {
@@ -138,18 +72,10 @@ export interface Scenario {
     }[];
     dataMapping?: { [key: string]: string };
     /**
-     * Key attribute instructions map data structure paths to their values.
-     * Supports three formats (in order of preference):
-     * 1. KeyAttributeValueReference (new): structured with valueOptionRef for tracking
-     * 2. { localVariable, instruction } (current): basic structured format
-     * 3. string (deprecated): legacy instruction-only format
+     * IDs of execution flows this scenario covers.
+     * Mock data is generated to satisfy all requiredValues from these flows.
      */
-    keyAttributeInstructions?: {
-      [key: string]:
-        | string
-        | { localVariable: string; instruction: string }
-        | KeyAttributeValueReference;
-    };
+    coveredFlows?: string[];
     data?: {
       mockData: { [key: string]: unknown };
       argumentsData: { [key: string]: unknown }[];
@@ -168,6 +94,12 @@ 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;
   };
   previousVersionId?: string;
   analysis?: Analysis;

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

@@ -37,6 +37,55 @@ export interface ConditionalUsage {
   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;
 }
 
 /**
@@ -65,6 +114,77 @@ export interface CompoundConditional {
     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 {
@@ -96,6 +216,61 @@ export interface DataStructure {
   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/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/utils/dist/types/index.d.ts

@@ -19,14 +19,13 @@ export type { Mock } from './src/types/Mock';
 export type { ServerCommand, ProjectMetadata, WebApp, EnvironmentVariable, } from './src/types/ProjectMetadata';
 export type { WebContainerFile, WebContainerDirectory, WebContainerFileSystemTree, } from './src/types/WebContainerFileSystemTree';
 export type { TsConfigPaths } from './src/types/TsConfigPaths';
-export type { ScenariosDataStructure, DataStructure, ConditionalUsage, CompoundConditional, } from './src/types/ScenariosDataStructure';
-export type { Scenario, ScenarioMetadata, PlaywrightInstruction, ExecutionResult, ValueOptionRef, KeyAttributeValueReference, } from './src/types/Scenario';
-export { isStructuredReference, hasStructuredReferences, } from './src/types/Scenario';
+export type { ScenariosDataStructure, DataStructure, ConditionalUsage, CompoundConditional, ConditionalEffect, JsxRenderingUsage, } from './src/types/ScenariosDataStructure';
+export type { Scenario, ScenarioMetadata, PlaywrightInstruction, ExecutionResult, } from './src/types/Scenario';
 export type { ScenarioData } from './src/types/ScenarioData';
 export type { JsonTypeDefinition } from './src/types/JsonTypeDefinition';
 export type { TimelineItem } from './src/types/TimelineItem';
 export type { Entity, ReadonlyEntity, WrapperRequirement, } from './src/types/Entity';
-export type { Analysis, AnalysisError, AnalysisStatus, AnalysisMetadata, ReadonlyAnalysis, SourceLocation, } from './src/types/Analysis';
+export type { Analysis, AnalysisError, AnalysisStatus, AnalysisMetadata, ReadonlyAnalysis, SourceLocation, ExecutionFlow, } from './src/types/Analysis';
 export { EMPTY_SHA_MARKER } from './src/types/Analysis';
 export type { CodeExplanation } from './src/types/CodeExplanation';
 export type { EntityType } from './src/types/EntityType';

package/analyzer-template/packages/utils/dist/types/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../types/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAEhE,YAAY,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC1D,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC/D,YAAY,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACjE,YAAY,EACV,cAAc,EACd,cAAc,EACd,kBAAkB,GACnB,MAAM,4BAA4B,CAAC;AACpC,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,YAAY,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,YAAY,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AACrD,YAAY,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AACrD,YAAY,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACjE,YAAY,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACjE,YAAY,EACV,MAAM,EACN,cAAc,EACd,eAAe,EACf,cAAc,GACf,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,YAAY,EACV,aAAa,EACb,eAAe,EACf,MAAM,EACN,mBAAmB,GACpB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,gBAAgB,EAChB,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,wCAAwC,CAAC;AAChD,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC/D,YAAY,EACV,sBAAsB,EACtB,aAAa,EACb,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EACV,QAAQ,EACR,gBAAgB,EAChB,qBAAqB,EACrB,eAAe,EACf,cAAc,EACd,0BAA0B,GAC3B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACzE,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EACV,MAAM,EACN,cAAc,EACd,kBAAkB,GACnB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,QAAQ,EACR,aAAa,EACb,cAAc,EACd,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,GACf,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,YAAY,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,YAAY,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,YAAY,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACzE,YAAY,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAChF,YAAY,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACvD,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACjE,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,YAAY,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC/D,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,YAAY,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACvD,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAE/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../types/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAEhE,YAAY,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC1D,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC/D,YAAY,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACjE,YAAY,EACV,cAAc,EACd,cAAc,EACd,kBAAkB,GACnB,MAAM,4BAA4B,CAAC;AACpC,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,YAAY,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,YAAY,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AACrD,YAAY,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AACrD,YAAY,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACjE,YAAY,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACjE,YAAY,EACV,MAAM,EACN,cAAc,EACd,eAAe,EACf,cAAc,GACf,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,YAAY,EACV,aAAa,EACb,eAAe,EACf,MAAM,EACN,mBAAmB,GACpB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,gBAAgB,EAChB,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,wCAAwC,CAAC;AAChD,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC/D,YAAY,EACV,sBAAsB,EACtB,aAAa,EACb,gBAAgB,EAChB,mBAAmB,EACnB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EACV,QAAQ,EACR,gBAAgB,EAChB,qBAAqB,EACrB,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACzE,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EACV,MAAM,EACN,cAAc,EACd,kBAAkB,GACnB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,QAAQ,EACR,aAAa,EACb,cAAc,EACd,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,EACd,aAAa,GACd,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,YAAY,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,YAAY,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,YAAY,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACzE,YAAY,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAChF,YAAY,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACvD,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACjE,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,YAAY,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC/D,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,YAAY,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACvD,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAE/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC"}

package/analyzer-template/packages/utils/dist/types/index.js

@@ -1,5 +1,4 @@
 export { ProjectFramework } from './src/enums/ProjectFramework';
-export { isStructuredReference, hasStructuredReferences, } from './src/types/Scenario';
 export { EMPTY_SHA_MARKER } from './src/types/Analysis';
 export { DEFAULT_SCENARIO_NAME } from './src/constants';
 //# sourceMappingURL=index.js.map

package/analyzer-template/packages/utils/dist/types/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../types/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAsDhE,OAAO,EACL,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AAiB9B,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAkBxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../types/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAuEhE,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAkBxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC"}

package/analyzer-template/packages/utils/dist/types/src/types/Analysis.d.ts

@@ -11,7 +11,7 @@ import { Branch } from './Branch';
 import { AnalysisBranch } from './AnalysisBranch';
 import { DeepReadonly } from './DeepReadonly';
 export declare const EMPTY_SHA_MARKER = "0000000000000000000000000000000000000000";
-/** Represents a location in source code where a key attribute is used */
+/** Represents a location in source code */
 export interface SourceLocation {
     /** Entity name where this usage occurs */
     entityName: string;
@@ -34,6 +34,74 @@ export interface AnalysisError {
     timestamp: string;
     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;
@@ -68,32 +136,8 @@ export interface Analysis {
         }[];
         mergedDataStructure?: Omit<DataStructure, 'equivalentSignatureVariables'>;
         scenariosDataStructure?: ScenariosDataStructure;
-        keyAttributes?: {
-            dependentEntityName?: string;
-            internalPath: string;
-            externalPath: string;
-            dataStructurePath?: string;
-            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?: {
-                /** Path to the dependent attribute */
-                path: string;
-                /** Required value or condition for the dependency */
-                requiredValue: string | boolean;
-                /** Human-readable description of the dependency */
-                description: string;
-                /** ID of the compound conditional this dependency comes from */
-                fromChainId?: string;
-            }[];
-            /** IDs of compound conditionals this attribute participates in */
-            compoundConditionalIds?: string[];
-            /** Source locations where this key attribute is used in the code */
-            sourceLocations?: SourceLocation[];
-        }[];
+        /** All distinct execution flows/outcomes this entity can produce */
+        executionFlows?: ExecutionFlow[];
         dependencyTree?: DependencyTreeNode;
         dependentAnalyses?: string[];
         dependencyAnalyzedTreeShas?: {