test(byte_storage): make the compression_bomb fuzz target and Kani bound proofs able to fail (LAB-5508) - #90

Merged

27Bslash6 merged 3 commits into

mainfrom

agent/miss-huang/lab-5508-compression-bomb-coverage

Sep 30, 2026

Commits on Sep 30, 2026

test(byte_storage): make the compression_bomb fuzz target and Kani bound proofs able to fail (LAB-5508)
27Bslash6
committed
ac67c57
fix(fuzz): persist the deep-fuzz corpus as an artifact and zero-fill size classes (LAB-5508)
27Bslash6
committed
0b7ba9d
fix(ci): fail loudly on a corpus lookup error and paginate the artifact list (LAB-5508)
27Bslash6
committed
cde10a9