fix: [AI] fix bug caused by duplicate alias equations from `eliminate_perfect_aliases!`#4523

Merged

AayushSabharwal merged 3 commits into

as/alias-elimination-tiebreaker

May 13, 2026

Commits on May 13, 2026

fix: [AI] use equation-count tiebreaker in pick_alias_target

AayushSabharwal
and
claude
committed
fix: [AI] deduplicate alias equations after substitution in find_perfect_aliases!

AayushSabharwal
and
claude
committed
test: add state priority to tests for predictable state selection
AayushSabharwal
committed