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 onebit pulse density: pulse feedback · case 01
Emitting a pulse discards the fractional overshoot remainder.
Pcm onebit pulse density: pulse feedback · case 02
Emitting a pulse discards the fractional overshoot remainder.
Pcm onebit pulse density: pulse feedback · case 03
Emitting a pulse discards the fractional overshoot remainder.
Pcm onebit pulse density: pulse feedback · case 04
Emitting a pulse discards the fractional overshoot remainder.
Pcm onebit pulse density: pulse feedback · case 05
Emitting a pulse discards the fractional overshoot remainder.
Pcm onebit pulse density: bit polarity · case 01
Output bit polarity is inverted for the stipulated density link.
Pcm onebit pulse density: bit polarity · case 02
Output bit polarity is inverted for the stipulated density link.
Pcm onebit pulse density: bit polarity · case 03
Output bit polarity is inverted for the stipulated density link.
Pcm onebit pulse density: bit polarity · case 04
Output bit polarity is inverted for the stipulated density link.
Pcm onebit pulse density: bit polarity · case 05
Output bit polarity is inverted for the stipulated density link.
Pcm onebit pulse density: continuation residue · case 01
Packet continuation loses the fractional density residue.
Pcm onebit pulse density: continuation residue · case 02
Packet continuation loses the fractional density residue.
Pcm onebit pulse density: continuation residue · case 03
Packet continuation loses the fractional density residue.
Pcm onebit pulse density: continuation residue · case 04
Packet continuation loses the fractional density residue.
Pcm onebit pulse density: continuation residue · case 05
Packet continuation loses the fractional density residue.
Pcm adaptive nibble reconstruction: base reconstruction · case 01
Adaptive PCM code reconstruction omits its half-bin base increment.
Pcm adaptive nibble reconstruction: base reconstruction · case 02
Adaptive PCM code reconstruction omits its half-bin base increment.
Pcm adaptive nibble reconstruction: base reconstruction · case 03
Adaptive PCM code reconstruction omits its half-bin base increment.
Pcm adaptive nibble reconstruction: base reconstruction · case 04
Adaptive PCM code reconstruction omits its half-bin base increment.
Pcm adaptive nibble reconstruction: base reconstruction · case 05
Adaptive PCM code reconstruction omits its half-bin base increment.
Pcm adaptive nibble reconstruction: sign code · case 01
Adaptive nibble polarity is reversed.
Pcm adaptive nibble reconstruction: sign code · case 02
Adaptive nibble polarity is reversed.
Pcm adaptive nibble reconstruction: sign code · case 03
Adaptive nibble polarity is reversed.
Pcm adaptive nibble reconstruction: sign code · case 04
Adaptive nibble polarity is reversed.
Pcm adaptive nibble reconstruction: sign code · case 05
Adaptive nibble polarity is reversed.
Pcm adaptive nibble reconstruction: adaptation class · case 01
Adaptation loses the highest magnitude bit.
Pcm adaptive nibble reconstruction: adaptation class · case 02
Adaptation loses the highest magnitude bit.
Pcm adaptive nibble reconstruction: adaptation class · case 03
Adaptation loses the highest magnitude bit.
Pcm adaptive nibble reconstruction: adaptation class · case 04
Adaptation loses the highest magnitude bit.
Pcm adaptive nibble reconstruction: adaptation class · case 05
Adaptation loses the highest magnitude bit.
Pcm adaptive nibble reconstruction: predictor saturation · case 01
Adaptive reconstructed PCM wraps at overload.
Pcm adaptive nibble reconstruction: predictor saturation · case 02
Adaptive reconstructed PCM wraps at overload.
Pcm adaptive nibble reconstruction: predictor saturation · case 03
Adaptive reconstructed PCM wraps at overload.
Pcm adaptive nibble reconstruction: predictor saturation · case 04
Adaptive reconstructed PCM wraps at overload.
Pcm adaptive nibble reconstruction: predictor saturation · case 05
Adaptive reconstructed PCM wraps at overload.
Pcm adaptive nibble reconstruction: feedback index · case 01
Each nibble replaces the step index rather than adapting prior state.
Pcm adaptive nibble reconstruction: feedback index · case 02
Each nibble replaces the step index rather than adapting prior state.
Pcm adaptive nibble reconstruction: feedback index · case 03
Each nibble replaces the step index rather than adapting prior state.
Pcm adaptive nibble reconstruction: feedback index · case 04
Each nibble replaces the step index rather than adapting prior state.
Pcm adaptive nibble reconstruction: feedback index · case 05
Each nibble replaces the step index rather than adapting prior state.
Pcm adaptive nibble selection: difference predictor · case 01
Adaptive PCM encoder omits the reconstructed predictor.
Pcm adaptive nibble selection: difference predictor · case 02
Adaptive PCM encoder omits the reconstructed predictor.
Pcm adaptive nibble selection: difference predictor · case 03
Adaptive PCM encoder omits the reconstructed predictor.
Pcm adaptive nibble selection: difference predictor · case 04
Adaptive PCM encoder omits the reconstructed predictor.
Pcm adaptive nibble selection: difference predictor · case 05
Adaptive PCM encoder omits the reconstructed predictor.
Pcm adaptive nibble selection: sign magnitude · case 01
Negative residuals are not converted to magnitude before bit decisions.
Pcm adaptive nibble selection: sign magnitude · case 02
Negative residuals are not converted to magnitude before bit decisions.
Pcm adaptive nibble selection: sign magnitude · case 03
Negative residuals are not converted to magnitude before bit decisions.
Pcm adaptive nibble selection: sign magnitude · case 04
Negative residuals are not converted to magnitude before bit decisions.
Pcm adaptive nibble selection: sign magnitude · case 05
Negative residuals are not converted to magnitude before bit decisions.
Pcm adaptive nibble selection: greedy order · case 01
Low weighted adaptive bits consume residual before high bits are considered.
Pcm adaptive nibble selection: greedy order · case 02
Low weighted adaptive bits consume residual before high bits are considered.
Pcm adaptive nibble selection: greedy order · case 03
Low weighted adaptive bits consume residual before high bits are considered.
Pcm adaptive nibble selection: greedy order · case 04
Low weighted adaptive bits consume residual before high bits are considered.
Pcm adaptive nibble selection: greedy order · case 05
Low weighted adaptive bits consume residual before high bits are considered.
Pcm adaptive nibble selection: magnitude remainder · case 01
A selected magnitude bit does not reduce the remaining residual.
Pcm adaptive nibble selection: magnitude remainder · case 02
A selected magnitude bit does not reduce the remaining residual.
Pcm adaptive nibble selection: magnitude remainder · case 03
A selected magnitude bit does not reduce the remaining residual.
Pcm adaptive nibble selection: magnitude remainder · case 04
A selected magnitude bit does not reduce the remaining residual.
Pcm adaptive nibble selection: magnitude remainder · case 05
A selected magnitude bit does not reduce the remaining residual.
Pcm adaptive nibble selection: reconstructed feedback · case 01
Encoder feeds the unquantized source into predictor state, diverging from decoder.
Pcm adaptive nibble selection: reconstructed feedback · case 02
Encoder feeds the unquantized source into predictor state, diverging from decoder.
Pcm adaptive nibble selection: reconstructed feedback · case 03
Encoder feeds the unquantized source into predictor state, diverging from decoder.
Pcm adaptive nibble selection: reconstructed feedback · case 04
Encoder feeds the unquantized source into predictor state, diverging from decoder.
Pcm adaptive nibble selection: reconstructed feedback · case 05
Encoder feeds the unquantized source into predictor state, diverging from decoder.
Pcm nibble block order: nibble order policy · case 01
Adaptive PCM nibble reader ignores low-first packet declaration.
Pcm nibble block order: nibble order policy · case 02
Adaptive PCM nibble reader ignores low-first packet declaration.
Pcm nibble block order: nibble order policy · case 03
Adaptive PCM nibble reader ignores low-first packet declaration.
Pcm nibble block order: nibble order policy · case 04
Adaptive PCM nibble reader ignores low-first packet declaration.
Pcm nibble block order: nibble order policy · case 05
Adaptive PCM nibble reader ignores low-first packet declaration.
Pcm nibble block order: high mask · case 01
Transport bits above the octet leak into the high nibble.
Pcm nibble block order: high mask · case 02
Transport bits above the octet leak into the high nibble.
Pcm nibble block order: high mask · case 03
Transport bits above the octet leak into the high nibble.
Pcm nibble block order: high mask · case 04
Transport bits above the octet leak into the high nibble.
Pcm nibble block order: high mask · case 05
Transport bits above the octet leak into the high nibble.
Pcm nibble block order: low mask · case 01
Low nibble loses its adaptive sign bit.
Pcm nibble block order: low mask · case 02
Low nibble loses its adaptive sign bit.
Pcm nibble block order: low mask · case 03
Low nibble loses its adaptive sign bit.
Pcm nibble block order: low mask · case 04
Low nibble loses its adaptive sign bit.
Pcm nibble block order: low mask · case 05
Low nibble loses its adaptive sign bit.
Pcm nibble block order: valid unit · case 01
Nibble count is interpreted as octet count, exposing pad codes.
Pcm nibble block order: valid unit · case 02
Nibble count is interpreted as octet count, exposing pad codes.
Pcm nibble block order: valid unit · case 03
Nibble count is interpreted as octet count, exposing pad codes.
Pcm nibble block order: valid unit · case 04
Nibble count is interpreted as octet count, exposing pad codes.
Pcm nibble block order: valid unit · case 05
Nibble count is interpreted as octet count, exposing pad codes.
Pcm nibble block order: tail partition · case 01
Unconsumed padding codes are confused with valid codes.
Pcm nibble block order: tail partition · case 02
Unconsumed padding codes are confused with valid codes.
Pcm nibble block order: tail partition · case 03
Unconsumed padding codes are confused with valid codes.
Pcm nibble block order: tail partition · case 04
Unconsumed padding codes are confused with valid codes.
Pcm nibble block order: tail partition · case 05
Unconsumed padding codes are confused with valid codes.
Pcm two tap predictor: history coefficients · case 01
Two-tap PCM history coefficients are assigned to reversed sample ages.
Pcm two tap predictor: history coefficients · case 02
Two-tap PCM history coefficients are assigned to reversed sample ages.
Pcm two tap predictor: history coefficients · case 03
Two-tap PCM history coefficients are assigned to reversed sample ages.
Pcm two tap predictor: history coefficients · case 04
Two-tap PCM history coefficients are assigned to reversed sample ages.
Pcm two tap predictor: history coefficients · case 05
Two-tap PCM history coefficients are assigned to reversed sample ages.
Pcm two tap predictor: prediction division · case 01
Dividing predictor terms separately changes integer rounding.
Pcm two tap predictor: prediction division · case 02
Dividing predictor terms separately changes integer rounding.
Pcm two tap predictor: prediction division · case 03
Dividing predictor terms separately changes integer rounding.
Pcm two tap predictor: prediction division · case 04
Dividing predictor terms separately changes integer rounding.
Pcm two tap predictor: prediction division · case 05
Dividing predictor terms separately changes integer rounding.
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 ↗