v0.11 item 3, after review: seven defects #203 merged with - #205

Merged

rohanrkamath merged 3 commits into

mainfrom

v0.11/3a-retention-review

Sep 14, 2026

Commits on Sep 14, 2026

Seven defects the independent review found, each fixed and pinned
arpanghoshal
committed
1e2cae9
Six mutations survived the review fixes; each asked for a behaviour test
arpanghoshal
committed
e73d6c4
The one guard no store state can reach, reached
arpanghoshal
committed
735f98b