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
Pcm silence run packets: unknown tag · case 01
An unknown metadata packet terminates subsequent PCM data.
Pcm silence run packets: unknown tag · case 02
An unknown metadata packet terminates subsequent PCM data.
Pcm silence run packets: unknown tag · case 03
An unknown metadata packet terminates subsequent PCM data.
Pcm silence run packets: unknown tag · case 04
An unknown metadata packet terminates subsequent PCM data.
Pcm silence run packets: unknown tag · case 05
An unknown metadata packet terminates subsequent PCM data.
Pcm silence run packets: limit slice · case 01
A bounded decode retains the latest tail instead of earliest samples.
Pcm silence run packets: limit slice · case 02
A bounded decode retains the latest tail instead of earliest samples.
Pcm silence run packets: limit slice · case 03
A bounded decode retains the latest tail instead of earliest samples.
Pcm silence run packets: limit slice · case 04
A bounded decode retains the latest tail instead of earliest samples.
Pcm silence run packets: limit slice · case 05
A bounded decode retains the latest tail instead of earliest samples.
Pcm silence run packets: audio extension · case 01
Literal PCM sample packets become nested arrays.
Pcm silence run packets: audio extension · case 02
Literal PCM sample packets become nested arrays.
Pcm silence run packets: audio extension · case 03
Literal PCM sample packets become nested arrays.
Pcm silence run packets: audio extension · case 04
Literal PCM sample packets become nested arrays.
Pcm silence run packets: audio extension · case 05
Literal PCM sample packets become nested arrays.
Pcm sparse impulses: default code · case 01
Unspecified PCM positions are initialized with the wrong silence code.
Pcm sparse impulses: default code · case 02
Unspecified PCM positions are initialized with the wrong silence code.
Pcm sparse impulses: default code · case 03
Unspecified PCM positions are initialized with the wrong silence code.
Pcm sparse impulses: default code · case 04
Unspecified PCM positions are initialized with the wrong silence code.
Pcm sparse impulses: default code · case 05
Unspecified PCM positions are initialized with the wrong silence code.
Pcm sparse impulses: negative index · case 01
Negative event positions wrap to the end of the Python sample array.
Pcm sparse impulses: negative index · case 02
Negative event positions wrap to the end of the Python sample array.
Pcm sparse impulses: negative index · case 03
Negative event positions wrap to the end of the Python sample array.
Pcm sparse impulses: negative index · case 04
Negative event positions wrap to the end of the Python sample array.
Pcm sparse impulses: negative index · case 05
Negative event positions wrap to the end of the Python sample array.
Pcm sparse impulses: last sample bound · case 01
Final in-range impulse is excluded.
Pcm sparse impulses: last sample bound · case 02
Final in-range impulse is excluded.
Pcm sparse impulses: last sample bound · case 03
Final in-range impulse is excluded.
Pcm sparse impulses: last sample bound · case 04
Final in-range impulse is excluded.
Pcm sparse impulses: last sample bound · case 05
Final in-range impulse is excluded.
Pcm sparse impulses: duplicate event · case 01
Repeated sample events are summed rather than last-writer replaced.
Pcm sparse impulses: duplicate event · case 02
Repeated sample events are summed rather than last-writer replaced.
Pcm sparse impulses: duplicate event · case 03
Repeated sample events are summed rather than last-writer replaced.
Pcm sparse impulses: duplicate event · case 04
Repeated sample events are summed rather than last-writer replaced.
Pcm sparse impulses: duplicate event · case 05
Repeated sample events are summed rather than last-writer replaced.
Pcm sparse impulses: sample amplitude · case 01
Absolute PCM event values are interpreted as offsets from silence.
Pcm sparse impulses: sample amplitude · case 02
Absolute PCM event values are interpreted as offsets from silence.
Pcm sparse impulses: sample amplitude · case 03
Absolute PCM event values are interpreted as offsets from silence.
Pcm sparse impulses: sample amplitude · case 04
Absolute PCM event values are interpreted as offsets from silence.
Pcm sparse impulses: sample amplitude · case 05
Absolute PCM event values are interpreted as offsets from silence.
Pcm progressive refinement: coarse scale · case 01
Progressive PCM scales coarse samples by bit count instead of bit weight.
Pcm progressive refinement: coarse scale · case 02
Progressive PCM scales coarse samples by bit count instead of bit weight.
Pcm progressive refinement: coarse scale · case 03
Progressive PCM scales coarse samples by bit count instead of bit weight.
Pcm progressive refinement: coarse scale · case 04
Progressive PCM scales coarse samples by bit count instead of bit weight.
Pcm progressive refinement: coarse scale · case 05
Progressive PCM scales coarse samples by bit count instead of bit weight.
Pcm progressive refinement: residual address · case 01
Every sample reuses the first refinement residual.
Pcm progressive refinement: residual address · case 02
Every sample reuses the first refinement residual.
Pcm progressive refinement: residual address · case 03
Every sample reuses the first refinement residual.
Pcm progressive refinement: residual address · case 04
Every sample reuses the first refinement residual.
Pcm progressive refinement: residual address · case 05
Every sample reuses the first refinement residual.
Pcm progressive refinement: missing refinement · case 01
Absent refinement bits are replaced with maximum positive low bits.
Pcm progressive refinement: missing refinement · case 02
Absent refinement bits are replaced with maximum positive low bits.
Pcm progressive refinement: missing refinement · case 03
Absent refinement bits are replaced with maximum positive low bits.
Pcm progressive refinement: missing refinement · case 04
Absent refinement bits are replaced with maximum positive low bits.
Pcm progressive refinement: missing refinement · case 05
Absent refinement bits are replaced with maximum positive low bits.
Pcm progressive refinement: residual mask · case 01
A one-bit boundary mask replaces the low-bit refinement mask.
Pcm progressive refinement: residual mask · case 02
A one-bit boundary mask replaces the low-bit refinement mask.
Pcm progressive refinement: residual mask · case 03
A one-bit boundary mask replaces the low-bit refinement mask.
Pcm progressive refinement: residual mask · case 04
A one-bit boundary mask replaces the low-bit refinement mask.
Pcm progressive refinement: residual mask · case 05
A one-bit boundary mask replaces the low-bit refinement mask.
Pcm progressive refinement: signed coarse compose · case 01
Negative coarse PCM loses its sign before refinement.
Pcm progressive refinement: signed coarse compose · case 02
Negative coarse PCM loses its sign before refinement.
Pcm progressive refinement: signed coarse compose · case 03
Negative coarse PCM loses its sign before refinement.
Pcm progressive refinement: signed coarse compose · case 04
Negative coarse PCM loses its sign before refinement.
Pcm progressive refinement: signed coarse compose · case 05
Negative coarse PCM loses its sign before refinement.
Riff pcm data spans: chunk header skip · case 01
PCM byte spans include the RIFF-style chunk header.
Riff pcm data spans: chunk header skip · case 02
PCM byte spans include the RIFF-style chunk header.
Riff pcm data spans: chunk header skip · case 03
PCM byte spans include the RIFF-style chunk header.
Riff pcm data spans: chunk header skip · case 04
PCM byte spans include the RIFF-style chunk header.
Riff pcm data spans: chunk header skip · case 05
PCM byte spans include the RIFF-style chunk header.
Riff pcm data spans: odd padding · case 01
Odd metadata chunks shift later PCM spans when pad bytes are omitted.
Riff pcm data spans: odd padding · case 02
Odd metadata chunks shift later PCM spans when pad bytes are omitted.
Riff pcm data spans: odd padding · case 03
Odd metadata chunks shift later PCM spans when pad bytes are omitted.
Riff pcm data spans: odd padding · case 04
Odd metadata chunks shift later PCM spans when pad bytes are omitted.
Riff pcm data spans: odd padding · case 05
Odd metadata chunks shift later PCM spans when pad bytes are omitted.
Riff pcm data spans: format order · case 01
PCM data is exposed before a format declaration is available.
Riff pcm data spans: format order · case 02
PCM data is exposed before a format declaration is available.
Riff pcm data spans: format order · case 03
PCM data is exposed before a format declaration is available.
Riff pcm data spans: format order · case 04
PCM data is exposed before a format declaration is available.
Riff pcm data spans: format order · case 05
PCM data is exposed before a format declaration is available.
Riff pcm data spans: data only · case 01
Unknown chunks after format are presented as PCM sample spans.
Riff pcm data spans: data only · case 02
Unknown chunks after format are presented as PCM sample spans.
Riff pcm data spans: data only · case 03
Unknown chunks after format are presented as PCM sample spans.
Riff pcm data spans: data only · case 04
Unknown chunks after format are presented as PCM sample spans.
Riff pcm data spans: data only · case 05
Unknown chunks after format are presented as PCM sample spans.
Riff pcm data spans: append data chunks · case 01
Later PCM chunks overwrite earlier sample spans.
Riff pcm data spans: append data chunks · case 02
Later PCM chunks overwrite earlier sample spans.
Riff pcm data spans: append data chunks · case 03
Later PCM chunks overwrite earlier sample spans.
Riff pcm data spans: append data chunks · case 04
Later PCM chunks overwrite earlier sample spans.
Riff pcm data spans: append data chunks · case 05
Later PCM chunks overwrite earlier sample spans.
Aiff pcm offset block: offset origin · case 01
PCM sound offset is measured before the sound-data preamble.
Aiff pcm offset block: offset origin · case 02
PCM sound offset is measured before the sound-data preamble.
Aiff pcm offset block: offset origin · case 03
PCM sound offset is measured before the sound-data preamble.
Aiff pcm offset block: offset origin · case 04
PCM sound offset is measured before the sound-data preamble.
Aiff pcm offset block: offset origin · case 05
PCM sound offset is measured before the sound-data preamble.
Aiff pcm offset block: usable subtraction · case 01
Sound-data metadata bytes are counted as samples.
Aiff pcm offset block: usable subtraction · case 02
Sound-data metadata bytes are counted as samples.
Aiff pcm offset block: usable subtraction · case 03
Sound-data metadata bytes are counted as samples.
Aiff pcm offset block: usable subtraction · case 04
Sound-data metadata bytes are counted as samples.
Aiff pcm offset block: usable subtraction · case 05
Sound-data metadata bytes are counted as samples.
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 ↗