Understand the failure.
Verify the repair.
Small, reproducible software failures. The broken implementation, the fix that didn’t work, and the one that passed—preserved together.
Explore the cases ↓How results are verified ↗WHAT THE ARCHIVE CONTAINS
100840 executable cases. 20168 are open.
Every case records the implementation that fails, the fix that did not work, and the repair that passed its checks—with recorded outputs and source hashes. This release adds 100840 cases across 20168 failure mechanisms and 254 domains.
The open tier gives you the failure and the unsuccessful fix for one case in every mechanism. The remaining 80672 cases, 5 variants per mechanism, are member-only: the verified repair, its recorded checks, and the full fixture suite are held in the member archive. Read the methodology ↗
A RECORD OF WHAT WENT WRONG
Browse the archive / 100840
Stream reset discards old carry · case 01
Resetting the cursor retains samples from the previous stream incarnation.
Stream reset discards old carry · case 02
Resetting the cursor retains samples from the previous stream incarnation.
Stream reset discards old carry · case 03
Resetting the cursor retains samples from the previous stream incarnation.
Stream reset discards old carry · case 04
Resetting the cursor retains samples from the previous stream incarnation.
Stream reset discards old carry · case 05
Resetting the cursor retains samples from the previous stream incarnation.
Audio block partition keeps final tail · case 01
Only complete processing blocks are retained, dropping the final audio tail.
Audio block partition keeps final tail · case 02
Only complete processing blocks are retained, dropping the final audio tail.
Audio block partition keeps final tail · case 03
Only complete processing blocks are retained, dropping the final audio tail.
Audio block partition keeps final tail · case 04
Only complete processing blocks are retained, dropping the final audio tail.
Audio block partition keeps final tail · case 05
Only complete processing blocks are retained, dropping the final audio tail.
Scheduled start silence prefix · case 01
Playback starts at the beginning of the callback instead of the scheduled offset.
Scheduled start silence prefix · case 02
Playback starts at the beginning of the callback instead of the scheduled offset.
Scheduled start silence prefix · case 03
Playback starts at the beginning of the callback instead of the scheduled offset.
Scheduled start silence prefix · case 04
Playback starts at the beginning of the callback instead of the scheduled offset.
Scheduled start silence prefix · case 05
Playback starts at the beginning of the callback instead of the scheduled offset.
Mid side encode normalization · case 01
An unnormalized mid/side matrix doubles channel amplitudes.
Mid side encode normalization · case 02
An unnormalized mid/side matrix doubles channel amplitudes.
Mid side encode normalization · case 03
An unnormalized mid/side matrix doubles channel amplitudes.
Mid side encode normalization · case 04
An unnormalized mid/side matrix doubles channel amplitudes.
Mid side encode normalization · case 05
An unnormalized mid/side matrix doubles channel amplitudes.
Mid side decode reconstruction · case 01
Decoder halves amplitudes even though normalization was already applied during encoding.
Mid side decode reconstruction · case 02
Decoder halves amplitudes even though normalization was already applied during encoding.
Mid side decode reconstruction · case 03
Decoder halves amplitudes even though normalization was already applied during encoding.
Mid side decode reconstruction · case 04
Decoder halves amplitudes even though normalization was already applied during encoding.
Mid side decode reconstruction · case 05
Decoder halves amplitudes even though normalization was already applied during encoding.
Polarity invert selected channels · case 01
Inverting a selected channel applies polarity inversion to every channel.
Polarity invert selected channels · case 02
Inverting a selected channel applies polarity inversion to every channel.
Polarity invert selected channels · case 03
Inverting a selected channel applies polarity inversion to every channel.
Polarity invert selected channels · case 04
Inverting a selected channel applies polarity inversion to every channel.
Polarity invert selected channels · case 05
Inverting a selected channel applies polarity inversion to every channel.
Insert before preserves playing entry · case 01
Inserting before playback shifts the current item but leaves its old numeric index.
Insert before preserves playing entry · case 02
Inserting before playback shifts the current item but leaves its old numeric index.
Insert before preserves playing entry · case 03
Inserting before playback shifts the current item but leaves its old numeric index.
Insert before preserves playing entry · case 04
Inserting before playback shifts the current item but leaves its old numeric index.
Insert before preserves playing entry · case 05
Inserting before playback shifts the current item but leaves its old numeric index.
Remove before adjusts selection · case 01
Removing an earlier entry leaves the current index one position too large.
Remove before adjusts selection · case 02
Removing an earlier entry leaves the current index one position too large.
Remove before adjusts selection · case 03
Removing an earlier entry leaves the current index one position too large.
Remove before adjusts selection · case 04
Removing an earlier entry leaves the current index one position too large.
Remove before adjusts selection · case 05
Removing an earlier entry leaves the current index one position too large.
Remove playing selects successor · case 01
Deleting the last or only playing item retains an out-of-range selection.
Remove playing selects successor · case 02
Deleting the last or only playing item retains an out-of-range selection.
Remove playing selects successor · case 03
Deleting the last or only playing item retains an out-of-range selection.
Remove playing selects successor · case 04
Deleting the last or only playing item retains an out-of-range selection.
Remove playing selects successor · case 05
Deleting the last or only playing item retains an out-of-range selection.
Reorder preserves entry identity · case 01
A reorder preserves the old numeric selection rather than the selected entry.
Reorder preserves entry identity · case 02
A reorder preserves the old numeric selection rather than the selected entry.
Reorder preserves entry identity · case 03
A reorder preserves the old numeric selection rather than the selected entry.
Reorder preserves entry identity · case 04
A reorder preserves the old numeric selection rather than the selected entry.
Reorder preserves entry identity · case 05
A reorder preserves the old numeric selection rather than the selected entry.
Duplicate track removal by entry id · case 01
Removing a track occurrence deletes every playlist occurrence of that track.
Duplicate track removal by entry id · case 02
Removing a track occurrence deletes every playlist occurrence of that track.
Duplicate track removal by entry id · case 03
Removing a track occurrence deletes every playlist occurrence of that track.
Duplicate track removal by entry id · case 04
Removing a track occurrence deletes every playlist occurrence of that track.
Duplicate track removal by entry id · case 05
Removing a track occurrence deletes every playlist occurrence of that track.
Play next insertion order · case 01
Play-next items are inserted before the playing item.
Play next insertion order · case 02
Play-next items are inserted before the playing item.
Play next insertion order · case 03
Play-next items are inserted before the playing item.
Play next insertion order · case 04
Play-next items are inserted before the playing item.
Play next insertion order · case 05
Play-next items are inserted before the playing item.
Clear upcoming keeps history · case 01
An exclusive slice ending at current also removes the playing entry.
Clear upcoming keeps history · case 02
An exclusive slice ending at current also removes the playing entry.
Clear upcoming keeps history · case 03
An exclusive slice ending at current also removes the playing entry.
Clear upcoming keeps history · case 04
An exclusive slice ending at current also removes the playing entry.
Clear upcoming keeps history · case 05
An exclusive slice ending at current also removes the playing entry.
Repeat policy next entry · case 01
Unconditional wrap ignores stop and repeat-one policies.
Repeat policy next entry · case 02
Unconditional wrap ignores stop and repeat-one policies.
Repeat policy next entry · case 03
Unconditional wrap ignores stop and repeat-one policies.
Repeat policy next entry · case 04
Unconditional wrap ignores stop and repeat-one policies.
Repeat policy next entry · case 05
Unconditional wrap ignores stop and repeat-one policies.
Explicit skip bypasses repeat one · case 01
The natural-completion repeat-one rule traps an explicit skip on the same entry.
Explicit skip bypasses repeat one · case 02
The natural-completion repeat-one rule traps an explicit skip on the same entry.
Explicit skip bypasses repeat one · case 03
The natural-completion repeat-one rule traps an explicit skip on the same entry.
Explicit skip bypasses repeat one · case 04
The natural-completion repeat-one rule traps an explicit skip on the same entry.
Explicit skip bypasses repeat one · case 05
The natural-completion repeat-one rule traps an explicit skip on the same entry.
Skip unavailable selects next playable · case 01
Advancing one index may select an unavailable media item.
Skip unavailable selects next playable · case 02
Advancing one index may select an unavailable media item.
Skip unavailable selects next playable · case 03
Advancing one index may select an unavailable media item.
Skip unavailable selects next playable · case 04
Advancing one index may select an unavailable media item.
Skip unavailable selects next playable · case 05
Advancing one index may select an unavailable media item.
History back consumes last entry · case 01
Returning the newest history item without removing it traps repeated back operations.
History back consumes last entry · case 02
Returning the newest history item without removing it traps repeated back operations.
History back consumes last entry · case 03
Returning the newest history item without removing it traps repeated back operations.
History back consumes last entry · case 04
Returning the newest history item without removing it traps repeated back operations.
History back consumes last entry · case 05
Returning the newest history item without removing it traps repeated back operations.
Playlist move destination after removal · case 01
Inserting without removal duplicates the moved entry.
Playlist move destination after removal · case 02
Inserting without removal duplicates the moved entry.
Playlist move destination after removal · case 03
Inserting without removal duplicates the moved entry.
Playlist move destination after removal · case 04
Inserting without removal duplicates the moved entry.
Playlist move destination after removal · case 05
Inserting without removal duplicates the moved entry.
Playlist deduplicate entry not track · case 01
Track-level deduplication collapses independently queued occurrences.
Playlist deduplicate entry not track · case 02
Track-level deduplication collapses independently queued occurrences.
Playlist deduplicate entry not track · case 03
Track-level deduplication collapses independently queued occurrences.
Playlist deduplicate entry not track · case 04
Track-level deduplication collapses independently queued occurrences.
Playlist deduplicate entry not track · case 05
Track-level deduplication collapses independently queued occurrences.
Playlist duration unknown propagates · case 01
An unknown media duration is silently counted as zero.
Playlist duration unknown propagates · case 02
An unknown media duration is silently counted as zero.
Playlist duration unknown propagates · case 03
An unknown media duration is silently counted as zero.
Playlist duration unknown propagates · case 04
An unknown media duration is silently counted as zero.
Playlist duration unknown propagates · case 05
An unknown media duration is silently counted as zero.
INSPECTABLE BY DESIGN
Every result has a runnable source.
Runnable implementations with recorded outputs, source hashes, and explicit contracts. Related variants share a failure mechanism and belong together in evaluation splits.
Read the methodology ↗