fix: non-vacuous range-check specs + verdict-engine hypothesis audit - #11

Merged

LucidSamuel merged 2 commits into

mainfrom

fix/non-vacuous-specs

Jun 30, 2026

Commits on Jun 29, 2026

fix: non-vacuous range-check specs + verdict-engine hypothesis audit
LucidSamuel
committed
c389d0b

Commits on Jun 30, 2026

fix: make the bridged range-check example spec non-vacuous too
LucidSamuel
committed
e10a215