Repository navigation
Squash-merged work is re-proposed and re-reviewed as new: measure containment at two grains, report it, and decide nothing - #9590
Merged
Commits
Commits on Aug 28, 2026
- andcommitted

A conflicted merge is its own reading: the sentinel removed from the type came back at the call site
andcommitted
- andcommitted

- andcommitted
