Surface which commit each bot's last review actually saw (#27)#29

Merged

topij merged 5 commits into

mainfrom

dev/review-coverage-sha

Jul 25, 2026

Commits on Jul 25, 2026

Surface which commit each bot's last review actually saw
Topi Jarvinen
committed
Pin the two properties a mutation pass proved were unpinned
Topi Jarvinen
committed
Fix a bug the first lens missed, and put the warning where it claims to speak
Topi Jarvinen
committed
The override path was silent about exactly what it exists to record
Topi Jarvinen
committed
Tidy what the first clean pass found
Topi Jarvinen
committed