review: teach the correctness and caching lenses to flag unbounded reads - #271

Merged

jwbron merged 2 commits into

mainfrom

review-unbounded-read-lens

Jul 21, 2026

Commits on Jul 20, 2026

[review-unbounded-read-lens] review: teach the correctness and caching lenses to flag unbounded reads
jwbron
committed
417c8b0
[review-unbounded-read-lens] review: make the bounds question mandatory per read call, allow two findings in one statement
jwbron
committed
64cfc64