mirror of
https://github.com/block/buzz.git
synced 2026-10-31 22:41:12 +00:00
The sweep could report "no panic at any prefix" without ever executing the code under test, and did exactly that once already. Add a black-box reachability witness: mutate channels/block_align/bits in a known-good WAV and assert the verdict flips. It needs no source instrumentation and can only pass if those fields are read. Self-tested both directions. Against the unfixed validator the witness passes and the battery fails on the riff-repaired arm alone. With the fmt field checks made inert as a negative control the witness fails with "mutating channels did not change the verdict". A green sweep is evidence only when the witness passes first. Co-authored-by: Dawn <c6237ef84fa537c78dcee78efd2d4e59f728859c7f194da42ac51ededfa0be05@buzz.block.builderlab.xyz> Signed-off-by: Dawn <c6237ef84fa537c78dcee78efd2d4e59f728859c7f194da42ac51ededfa0be05@buzz.block.builderlab.xyz>