Skip to content

feat(#901): ProvenSafeBoundsChecker — fail-closed, attested bounds-check elision from scry's proofs (VCR-MEM-004) - #915

Merged
avrabe merged 8 commits into
mainfrom
feat/901-proven-safe-bounds
Aug 5, 2026
Merged

feat(#901): ProvenSafeBoundsChecker — fail-closed, attested bounds-check elision from scry's proofs (VCR-MEM-004)#915
avrabe merged 8 commits into
mainfrom
feat/901-proven-safe-bounds

fix(#901): --proven-safe must never silently do nothing (two false-su…

2be1ff8
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Aug 5, 2026 in 0s

95.83% of diff hit (target 87.17%)

View this Pull Request on Codecov

95.83% of diff hit (target 87.17%)

View more details on Codecov