Skip to content

test(vcr-ra): non-vacuous --relocatable gate for const-CSE — proves it fires + stays correct on gale's path (#242)#522

Merged
avrabe merged 1 commit into
mainfrom
vcr-const-cse-direct-path-oracle-242
Jun 27, 2026
Merged

test(vcr-ra): non-vacuous --relocatable gate for const-CSE — proves it fires + stays correct on gale's path (#242)#522
avrabe merged 1 commit into
mainfrom
vcr-const-cse-direct-path-oracle-242

Commits