Phase 6e fuzz budget - #13

Merged

USCMig merged 6 commits into

mainfrom

phase-6e-fuzz-budget

Sep 19, 2026

Commits on Sep 8, 2026

Unblock the last two fuzz targets; the pin lived in two places

USCMig
and
claude
committed
190ea9d

Commits on Sep 10, 2026

Archive the August fuzz run before the seven-target campaign overwrites it

USCMig
and
claude
committed
4fb27c8

Commits on Sep 14, 2026

phase-6d-fuzz-unblock work
USCMig
committed
ae305a0

Commits on Sep 19, 2026

Archive the final logs of the seven-target campaign

USCMig
and
claude
committed
2df3421
D45: the campaign had the budgets backwards, and three targets were finished

USCMig
and
claude
committed
72fa4c7
fuzz_saturation.py: stop telling every zero-gain target to re-seed

USCMig
and
claude
committed
83a34e5