Skip to content
Fuzz Smoke

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

Sign in to view logs

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

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

Triggered via pull request August 5, 2026 16:39
@avrabeavrabe
opened #915
feat/901-proven-safe-bounds
Status Success
Total duration 5m 49s
Artifacts –

fuzz-smoke.yml

on: pull_request
Matrix: fuzz
Fit to window
Zoom out
Zoom in