Module resolver 

Main conflict resolver pipeline.

Orchestrates the multi-strategy resolution approach, applying techniques in order of confidence from highest to lowest:

1. Pattern rules (DSL) — highest confidence, instant (ICSE 2021)
2. Structured merge (tree-level) — eliminates false conflicts (LASTMERGE 2025)
3. Version Space Algebra — enumerates combinations (OOPSLA 2018)
4. Search-based — evolutionary with parent similarity (TOSEM 2025)

The resolver stops at the first strategy that produces a resolution with sufficient confidence, or returns ranked candidates from all strategies.

Structs

FileResolverOutput

Output of resolving a complete file.

Resolver

The main resolver that combines all strategies.

ResolverConfig

Configuration for the resolver pipeline.

ResolverOutput

Result of the full resolution pipeline.