Skip to main content

Module conflict

Module conflict 

Source
Expand description

Conflict Detection for MutationSpecs

Provides simple, reliable conflict detection based on MutationTargetSymbol. Used by Executor and Orchestrator for grouping mutations.

§Design

  • SymbolId/Path-based: Works with MutationTargetSymbol directly
  • Conservative: Unresolved targets = potential conflict (safe default)
  • Global: Can be used anywhere in executor layer

§Functions

  • target_conflicts: Check if two MutationTargetSymbols conflict
  • specs_conflict: Check if two MutationSpecs conflict
  • group_by_conflicts: Partition specs into conflict-free groups

Functions§

find_conflicting_pairs
Find all conflicting spec pairs in a list.
group_by_conflicts
Partition specs into conflict-free groups using Union-Find.
specs_conflict
Check if two MutationSpecs conflict.
target_conflicts
Check if two MutationTargetSymbols potentially conflict.