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
Validbit left container: sign position · case 01
The container sign position is tested after valid-bit extraction.
Validbit left container: sign position · case 02
The container sign position is tested after valid-bit extraction.
Validbit left container: sign position · case 03
The container sign position is tested after valid-bit extraction.
Validbit left container: sign position · case 04
The container sign position is tested after valid-bit extraction.
Validbit left container: sign position · case 05
The container sign position is tested after valid-bit extraction.
Validbit left container: signed modulus · case 01
The extracted field is sign-corrected using container modulus.
Validbit left container: signed modulus · case 02
The extracted field is sign-corrected using container modulus.
Validbit left container: signed modulus · case 03
The extracted field is sign-corrected using container modulus.
Validbit left container: signed modulus · case 04
The extracted field is sign-corrected using container modulus.
Validbit left container: signed modulus · case 05
The extracted field is sign-corrected using container modulus.
Validbit left container: padding observation · case 01
Padding inspection includes signal bits.
Validbit left container: padding observation · case 02
Padding inspection includes signal bits.
Validbit left container: padding observation · case 03
Padding inspection includes signal bits.
Validbit left container: padding observation · case 04
Padding inspection includes signal bits.
Validbit left container: padding observation · case 05
Padding inspection includes signal bits.
Ones complement pcm: field mask · case 01
Storage bits outside the PCM field participate in zero-code detection.
Ones complement pcm: field mask · case 02
Storage bits outside the PCM field participate in zero-code detection.
Ones complement pcm: field mask · case 03
Storage bits outside the PCM field participate in zero-code detection.
Ones complement pcm: field mask · case 04
Storage bits outside the PCM field participate in zero-code detection.
Ones complement pcm: field mask · case 05
Storage bits outside the PCM field participate in zero-code detection.
Ones complement pcm: negative magnitude · case 01
A ones-complement field is decoded with a twos-complement magnitude rule.
Ones complement pcm: negative magnitude · case 02
A ones-complement field is decoded with a twos-complement magnitude rule.
Ones complement pcm: negative magnitude · case 03
A ones-complement field is decoded with a twos-complement magnitude rule.
Ones complement pcm: negative magnitude · case 04
A ones-complement field is decoded with a twos-complement magnitude rule.
Ones complement pcm: negative magnitude · case 05
A ones-complement field is decoded with a twos-complement magnitude rule.
Ones complement pcm: positive magnitude · case 01
Positive codes are biased despite the direct positive mapping.
Ones complement pcm: positive magnitude · case 02
Positive codes are biased despite the direct positive mapping.
Ones complement pcm: positive magnitude · case 03
Positive codes are biased despite the direct positive mapping.
Ones complement pcm: positive magnitude · case 04
Positive codes are biased despite the direct positive mapping.
Ones complement pcm: positive magnitude · case 05
Positive codes are biased despite the direct positive mapping.
Ones complement pcm: negative zero tag · case 01
Negative zero is confused with the largest negative code.
Ones complement pcm: negative zero tag · case 02
Negative zero is confused with the largest negative code.
Ones complement pcm: negative zero tag · case 03
Negative zero is confused with the largest negative code.
Ones complement pcm: negative zero tag · case 04
Negative zero is confused with the largest negative code.
Ones complement pcm: negative zero tag · case 05
Negative zero is confused with the largest negative code.
Ones complement pcm: negative zero policy · case 01
A caller-requested zero canonicalization policy is ignored.
Ones complement pcm: negative zero policy · case 02
A caller-requested zero canonicalization policy is ignored.
Ones complement pcm: negative zero policy · case 03
A caller-requested zero canonicalization policy is ignored.
Ones complement pcm: negative zero policy · case 04
A caller-requested zero canonicalization policy is ignored.
Ones complement pcm: negative zero policy · case 05
A caller-requested zero canonicalization policy is ignored.
Sign magnitude pcm: magnitude field · case 01
Sign bit is included in magnitude.
Sign magnitude pcm: magnitude field · case 02
Sign bit is included in magnitude.
Sign magnitude pcm: magnitude field · case 03
Sign bit is included in magnitude.
Sign magnitude pcm: magnitude field · case 04
Sign bit is included in magnitude.
Sign magnitude pcm: magnitude field · case 05
Sign bit is included in magnitude.
Sign magnitude pcm: sign polarity · case 01
Configured sign polarity is ignored for a sign-magnitude stream.
Sign magnitude pcm: sign polarity · case 02
Configured sign polarity is ignored for a sign-magnitude stream.
Sign magnitude pcm: sign polarity · case 03
Configured sign polarity is ignored for a sign-magnitude stream.
Sign magnitude pcm: sign polarity · case 04
Configured sign polarity is ignored for a sign-magnitude stream.
Sign magnitude pcm: sign polarity · case 05
Configured sign polarity is ignored for a sign-magnitude stream.
Sign magnitude pcm: negative mapping · case 01
Sign-magnitude negatives are decoded as complement negatives.
Sign magnitude pcm: negative mapping · case 02
Sign-magnitude negatives are decoded as complement negatives.
Sign magnitude pcm: negative mapping · case 03
Sign-magnitude negatives are decoded as complement negatives.
Sign magnitude pcm: negative mapping · case 04
Sign-magnitude negatives are decoded as complement negatives.
Sign magnitude pcm: negative mapping · case 05
Sign-magnitude negatives are decoded as complement negatives.
Sign magnitude pcm: zero sideband · case 01
The negative-zero marker tests the complete signed code for zero.
Sign magnitude pcm: zero sideband · case 02
The negative-zero marker tests the complete signed code for zero.
Sign magnitude pcm: zero sideband · case 03
The negative-zero marker tests the complete signed code for zero.
Sign magnitude pcm: zero sideband · case 04
The negative-zero marker tests the complete signed code for zero.
Sign magnitude pcm: zero sideband · case 05
The negative-zero marker tests the complete signed code for zero.
Sign magnitude pcm: sign position · case 01
The sign bit is read beyond the PCM field.
Sign magnitude pcm: sign position · case 02
The sign bit is read beyond the PCM field.
Sign magnitude pcm: sign position · case 03
The sign bit is read beyond the PCM field.
Sign magnitude pcm: sign position · case 04
The sign bit is read beyond the PCM field.
Sign magnitude pcm: sign position · case 05
The sign bit is read beyond the PCM field.
Mulaw expansion: wire complement · case 01
The companded wire complement is omitted.
Mulaw expansion: wire complement · case 02
The companded wire complement is omitted.
Mulaw expansion: wire complement · case 03
The companded wire complement is omitted.
Mulaw expansion: wire complement · case 04
The companded wire complement is omitted.
Mulaw expansion: wire complement · case 05
The companded wire complement is omitted.
Mulaw expansion: mantissa placement · case 01
Mantissa contribution has the wrong reconstruction weight.
Mulaw expansion: mantissa placement · case 02
Mantissa contribution has the wrong reconstruction weight.
Mulaw expansion: mantissa placement · case 03
Mantissa contribution has the wrong reconstruction weight.
Mulaw expansion: mantissa placement · case 04
Mantissa contribution has the wrong reconstruction weight.
Mulaw expansion: mantissa placement · case 05
Mantissa contribution has the wrong reconstruction weight.
Mulaw expansion: segment bias · case 01
The segment shift is applied only to bias, not mantissa.
Mulaw expansion: segment bias · case 02
The segment shift is applied only to bias, not mantissa.
Mulaw expansion: segment bias · case 03
The segment shift is applied only to bias, not mantissa.
Mulaw expansion: segment bias · case 04
The segment shift is applied only to bias, not mantissa.
Mulaw expansion: segment bias · case 05
The segment shift is applied only to bias, not mantissa.
Mulaw expansion: bias removal · case 01
Reconstructed mu-law amplitude retains its encoding bias.
Mulaw expansion: bias removal · case 02
Reconstructed mu-law amplitude retains its encoding bias.
Mulaw expansion: bias removal · case 03
Reconstructed mu-law amplitude retains its encoding bias.
Mulaw expansion: bias removal · case 04
Reconstructed mu-law amplitude retains its encoding bias.
Mulaw expansion: bias removal · case 05
Reconstructed mu-law amplitude retains its encoding bias.
Mulaw expansion: segment field · case 01
Segment extraction includes a mantissa bit.
Mulaw expansion: segment field · case 02
Segment extraction includes a mantissa bit.
Mulaw expansion: segment field · case 03
Segment extraction includes a mantissa bit.
Mulaw expansion: segment field · case 04
Segment extraction includes a mantissa bit.
Mulaw expansion: segment field · case 05
Segment extraction includes a mantissa bit.
Alaw expansion: alternating mask · case 01
Alternating transmission bits are left toggled in A-law decode.
Alaw expansion: alternating mask · case 02
Alternating transmission bits are left toggled in A-law decode.
Alaw expansion: alternating mask · case 03
Alternating transmission bits are left toggled in A-law decode.
Alaw expansion: alternating mask · case 04
Alternating transmission bits are left toggled in A-law decode.
Alaw expansion: alternating mask · case 05
Alternating transmission bits are left toggled in A-law decode.
Alaw expansion: half step offset · case 01
The reconstruction midpoint is omitted in the lowest segment.
Alaw expansion: half step offset · case 02
The reconstruction midpoint is omitted in the lowest segment.
Alaw expansion: half step offset · case 03
The reconstruction midpoint is omitted in the lowest segment.
Alaw expansion: half step offset · case 04
The reconstruction midpoint is omitted in the lowest segment.
Alaw expansion: half step offset · case 05
The reconstruction midpoint is omitted in the lowest segment.
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 ↗