fix: a throw while removing repeat() leftovers keeps the removed row - #1274

Merged

vivek7405 merged 4 commits into

mainfrom

fix/repeat-leftover-removal-throw

Aug 5, 2026

Commits on Aug 5, 2026

fix: teardown is total, so a repeat() leftover throw cannot strand a row
vivek7405
committed
80e47cf
fix: remove and unmap a repeat() leftover together, not one before the other
vivek7405
committed
320a28a
fix: keep unmapping a repeat() leftover before its row, not after
vivek7405
committed
b5d0677
fix: pin the leftover-unmap ordering with a test, and use it in the walk too
vivek7405
committed
22a06d3