Analyzes code to map behaviors, identify untested gaps, and generate grounded integration tests that actually run.