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 mid side unlifting: right base · case 01
Residual and midpoint roles are confused during reconstruction.
Pcm mid side unlifting: right base · case 02
Residual and midpoint roles are confused during reconstruction.
Pcm mid side unlifting: right base · case 03
Residual and midpoint roles are confused during reconstruction.
Pcm mid side unlifting: right base · case 04
Residual and midpoint roles are confused during reconstruction.
Pcm mid side unlifting: right base · case 05
Residual and midpoint roles are confused during reconstruction.
Pcm mid side unlifting: left recovery · case 01
Left amplitude subtracts the recovered base channel.
Pcm mid side unlifting: left recovery · case 02
Left amplitude subtracts the recovered base channel.
Pcm mid side unlifting: left recovery · case 03
Left amplitude subtracts the recovered base channel.
Pcm mid side unlifting: left recovery · case 04
Left amplitude subtracts the recovered base channel.
Pcm mid side unlifting: left recovery · case 05
Left amplitude subtracts the recovered base channel.
Pcm mid side unlifting: channel order · case 01
Recovered channel labels are swapped after lossless unlifting.
Pcm mid side unlifting: channel order · case 02
Recovered channel labels are swapped after lossless unlifting.
Pcm mid side unlifting: channel order · case 03
Recovered channel labels are swapped after lossless unlifting.
Pcm mid side unlifting: channel order · case 04
Recovered channel labels are swapped after lossless unlifting.
Pcm mid side unlifting: channel order · case 05
Recovered channel labels are swapped after lossless unlifting.
Pcm block exponent: shared shift · case 01
One in-range sample prevents shift needed by another sample in the block.
Pcm block exponent: shared shift · case 02
One in-range sample prevents shift needed by another sample in the block.
Pcm block exponent: shared shift · case 03
One in-range sample prevents shift needed by another sample in the block.
Pcm block exponent: shared shift · case 04
One in-range sample prevents shift needed by another sample in the block.
Pcm block exponent: shared shift · case 05
One in-range sample prevents shift needed by another sample in the block.
Pcm block exponent: negative bound · case 01
Block-floating PCM disallows the valid most-negative mantissa.
Pcm block exponent: negative bound · case 02
Block-floating PCM disallows the valid most-negative mantissa.
Pcm block exponent: negative bound · case 03
Block-floating PCM disallows the valid most-negative mantissa.
Pcm block exponent: negative bound · case 04
Block-floating PCM disallows the valid most-negative mantissa.
Pcm block exponent: negative bound · case 05
Block-floating PCM disallows the valid most-negative mantissa.
Pcm block exponent: shift limit · case 01
Exponent exceeds the packet field limit by one.
Pcm block exponent: shift limit · case 02
Exponent exceeds the packet field limit by one.
Pcm block exponent: shift limit · case 03
Exponent exceeds the packet field limit by one.
Pcm block exponent: shift limit · case 04
Exponent exceeds the packet field limit by one.
Pcm block exponent: shift limit · case 05
Exponent exceeds the packet field limit by one.
Pcm block exponent: sample quantization · case 01
Mantissa truncation does not match the declared arithmetic shift on negative values.
Pcm block exponent: sample quantization · case 02
Mantissa truncation does not match the declared arithmetic shift on negative values.
Pcm block exponent: sample quantization · case 03
Mantissa truncation does not match the declared arithmetic shift on negative values.
Pcm block exponent: sample quantization · case 04
Mantissa truncation does not match the declared arithmetic shift on negative values.
Pcm block exponent: sample quantization · case 05
Mantissa truncation does not match the declared arithmetic shift on negative values.
Pcm block exponent: restore scale · case 01
Exponent metadata is ignored during block reconstruction.
Pcm block exponent: restore scale · case 02
Exponent metadata is ignored during block reconstruction.
Pcm block exponent: restore scale · case 03
Exponent metadata is ignored during block reconstruction.
Pcm block exponent: restore scale · case 04
Exponent metadata is ignored during block reconstruction.
Pcm block exponent: restore scale · case 05
Exponent metadata is ignored during block reconstruction.
Pcm channel predictor: channel predictor bank · case 01
Interchannel differential PCM reuses the first channel predictor.
Pcm channel predictor: channel predictor bank · case 02
Interchannel differential PCM reuses the first channel predictor.
Pcm channel predictor: channel predictor bank · case 03
Interchannel differential PCM reuses the first channel predictor.
Pcm channel predictor: channel predictor bank · case 04
Interchannel differential PCM reuses the first channel predictor.
Pcm channel predictor: channel predictor bank · case 05
Interchannel differential PCM reuses the first channel predictor.
Pcm channel predictor: feedback channel · case 01
Per-channel predictor update overwrites only the first state lane.
Pcm channel predictor: feedback channel · case 02
Per-channel predictor update overwrites only the first state lane.
Pcm channel predictor: feedback channel · case 03
Per-channel predictor update overwrites only the first state lane.
Pcm channel predictor: feedback channel · case 04
Per-channel predictor update overwrites only the first state lane.
Pcm channel predictor: feedback channel · case 05
Per-channel predictor update overwrites only the first state lane.
Pcm channel predictor: reset bank · case 01
A channel reset discards transmitted nonzero seeds.
Pcm channel predictor: reset bank · case 02
A channel reset discards transmitted nonzero seeds.
Pcm channel predictor: reset bank · case 03
A channel reset discards transmitted nonzero seeds.
Pcm channel predictor: reset bank · case 04
A channel reset discards transmitted nonzero seeds.
Pcm channel predictor: reset bank · case 05
A channel reset discards transmitted nonzero seeds.
Pcm channel predictor: residual shape · case 01
PCM packet boundaries disappear when residual frames are flattened.
Pcm channel predictor: residual shape · case 02
PCM packet boundaries disappear when residual frames are flattened.
Pcm channel predictor: residual shape · case 03
PCM packet boundaries disappear when residual frames are flattened.
Pcm channel predictor: residual shape · case 04
PCM packet boundaries disappear when residual frames are flattened.
Pcm channel predictor: residual shape · case 05
PCM packet boundaries disappear when residual frames are flattened.
Pcm channel predictor: reset index · case 01
Reset addresses are interpreted one frame early.
Pcm channel predictor: reset index · case 02
Reset addresses are interpreted one frame early.
Pcm channel predictor: reset index · case 03
Reset addresses are interpreted one frame early.
Pcm channel predictor: reset index · case 04
Reset addresses are interpreted one frame early.
Pcm channel predictor: reset index · case 05
Reset addresses are interpreted one frame early.
Pcm channel reconstruction: channel state update · case 01
Residual updates only the first PCM channel accumulator.
Pcm channel reconstruction: channel state update · case 02
Residual updates only the first PCM channel accumulator.
Pcm channel reconstruction: channel state update · case 03
Residual updates only the first PCM channel accumulator.
Pcm channel reconstruction: channel state update · case 04
Residual updates only the first PCM channel accumulator.
Pcm channel reconstruction: channel state update · case 05
Residual updates only the first PCM channel accumulator.
Pcm channel reconstruction: returned channel · case 01
All output channels read the first accumulator.
Pcm channel reconstruction: returned channel · case 02
All output channels read the first accumulator.
Pcm channel reconstruction: returned channel · case 03
All output channels read the first accumulator.
Pcm channel reconstruction: returned channel · case 04
All output channels read the first accumulator.
Pcm channel reconstruction: returned channel · case 05
All output channels read the first accumulator.
Pcm channel reconstruction: reset seeds · case 01
Frame reset initializes digital zero instead of packet channel seeds.
Pcm channel reconstruction: reset seeds · case 02
Frame reset initializes digital zero instead of packet channel seeds.
Pcm channel reconstruction: reset seeds · case 03
Frame reset initializes digital zero instead of packet channel seeds.
Pcm channel reconstruction: reset seeds · case 04
Frame reset initializes digital zero instead of packet channel seeds.
Pcm channel reconstruction: reset seeds · case 05
Frame reset initializes digital zero instead of packet channel seeds.
Pcm channel reconstruction: frame retention · case 01
Decoded PCM frame boundaries are discarded.
Pcm channel reconstruction: frame retention · case 02
Decoded PCM frame boundaries are discarded.
Pcm channel reconstruction: frame retention · case 03
Decoded PCM frame boundaries are discarded.
Pcm channel reconstruction: frame retention · case 04
Decoded PCM frame boundaries are discarded.
Pcm channel reconstruction: frame retention · case 05
Decoded PCM frame boundaries are discarded.
Pcm channel reconstruction: final state · case 01
Continuation metadata carries initial channel levels.
Pcm channel reconstruction: final state · case 02
Continuation metadata carries initial channel levels.
Pcm channel reconstruction: final state · case 03
Continuation metadata carries initial channel levels.
Pcm channel reconstruction: final state · case 04
Continuation metadata carries initial channel levels.
Pcm channel reconstruction: final state · case 05
Continuation metadata carries initial channel levels.
Pcm silence run packets: silence code · case 01
Silence runs use integer zero despite an explicit unsigned PCM zero code.
Pcm silence run packets: silence code · case 02
Silence runs use integer zero despite an explicit unsigned PCM zero code.
Pcm silence run packets: silence code · case 03
Silence runs use integer zero despite an explicit unsigned PCM zero code.
Pcm silence run packets: silence code · case 04
Silence runs use integer zero despite an explicit unsigned PCM zero code.
Pcm silence run packets: silence code · case 05
Silence runs use integer zero despite an explicit unsigned PCM zero code.
Pcm silence run packets: run count · case 01
Silence run length loses its last sample.
Pcm silence run packets: run count · case 02
Silence run length loses its last sample.
Pcm silence run packets: run count · case 03
Silence run length loses its last sample.
Pcm silence run packets: run count · case 04
Silence run length loses its last sample.
Pcm silence run packets: run count · case 05
Silence run length loses its last sample.
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 ↗