Codebase Analysis

If --language is not specified, detect based on:

• File extension (.py, .rs, .ts, .go, .scala, .roc)
• Shebang line
• Package files (pyproject.toml, Cargo.toml, package.json)

2. Module Discovery

Identify all modules and their relationships:

• Import/export statements
• Module boundaries
• Dependency graph

3. Type Extraction

Extract type definitions and relationships:

• Struct/class/record definitions
• Enum/ADT/union types
• Type aliases and generics
• Trait/interface definitions

4. Function Analysis

Extract function signatures and semantics:

• Parameter types and defaults
• Return types
• Purity annotations (where inferrable)
• Effect annotations (I/O, async, etc.)

5. Semantic Annotation

Infer semantic properties:

• Nullability (Option, nullable, undefined)
• Mutability (const, let, var)
• Error handling patterns (Result, exceptions, error returns)
• Concurrency patterns (async, channels, actors)

6. Gap Detection

Mark concepts that may not convert cleanly:

• Language-specific patterns (ownership, HKT, macros)
• Family-specific idioms (pattern matching, effects)
• Cross-language semantic gaps

Output

IR Layers

The IR is organized into 5 layers of increasing abstraction:

IR Schema