Emit a High dispute when both branches rename the same function differently - #5

Merged

kridaydave merged 3 commits into

mainfrom

fix/rename-rename-dispute

Aug 23, 2026

Commits on Aug 22, 2026

diff_3way: stash side-tagged removed/added pools
kridaydave
committed
9ec024d
Rename/rename divergence: emit High instead of swallowing
kridaydave
committed
7d024b0
TODO: PR-O1 marked done in night-run status
kridaydave
committed
08a6e92