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
Cube root returns the magnitude for negative inputs · case 01
Cube root returns the magnitude for negative inputs.
Cube root returns the magnitude for negative inputs · case 02
Cube root returns the magnitude for negative inputs.
Cube root returns the magnitude for negative inputs · case 03
Cube root returns the magnitude for negative inputs.
Cube root returns the magnitude for negative inputs · case 04
Cube root returns the magnitude for negative inputs.
Cube root returns the magnitude for negative inputs · case 05
Cube root returns the magnitude for negative inputs.
Cube root canonicalizes negative zero · case 01
Cube root canonicalizes negative zero.
Cube root canonicalizes negative zero · case 02
Cube root canonicalizes negative zero.
Cube root canonicalizes negative zero · case 03
Cube root canonicalizes negative zero.
Cube root canonicalizes negative zero · case 04
Cube root canonicalizes negative zero.
Cube root canonicalizes negative zero · case 05
Cube root canonicalizes negative zero.
Scaled square root drops the odd exponent remainder · case 01
Scaled square root drops the odd exponent remainder.
Scaled square root drops the odd exponent remainder · case 02
Scaled square root drops the odd exponent remainder.
Scaled square root drops the odd exponent remainder · case 03
Scaled square root drops the odd exponent remainder.
Scaled square root drops the odd exponent remainder · case 04
Scaled square root drops the odd exponent remainder.
Scaled square root drops the odd exponent remainder · case 05
Scaled square root drops the odd exponent remainder.
Scaled square root applies the full exponent to its root · case 01
Scaled square root applies the full exponent to its root.
Scaled square root applies the full exponent to its root · case 02
Scaled square root applies the full exponent to its root.
Scaled square root applies the full exponent to its root · case 03
Scaled square root applies the full exponent to its root.
Scaled square root applies the full exponent to its root · case 04
Scaled square root applies the full exponent to its root.
Scaled square root applies the full exponent to its root · case 05
Scaled square root applies the full exponent to its root.
Scaled square root clamps a negative operand to zero · case 01
Scaled square root clamps a negative operand to zero.
Scaled square root clamps a negative operand to zero · case 02
Scaled square root clamps a negative operand to zero.
Scaled square root clamps a negative operand to zero · case 03
Scaled square root clamps a negative operand to zero.
Scaled square root clamps a negative operand to zero · case 04
Scaled square root clamps a negative operand to zero.
Scaled square root clamps a negative operand to zero · case 05
Scaled square root clamps a negative operand to zero.
Scaled square root loses negative zero · case 01
Scaled square root loses negative zero.
Scaled square root loses negative zero · case 02
Scaled square root loses negative zero.
Scaled square root loses negative zero · case 03
Scaled square root loses negative zero.
Scaled square root loses negative zero · case 04
Scaled square root loses negative zero.
Scaled square root loses negative zero · case 05
Scaled square root loses negative zero.
Scaled square root rounds the exponent quotient upward · case 01
Scaled square root rounds the exponent quotient upward.
Scaled square root rounds the exponent quotient upward · case 02
Scaled square root rounds the exponent quotient upward.
Scaled square root rounds the exponent quotient upward · case 03
Scaled square root rounds the exponent quotient upward.
Scaled square root rounds the exponent quotient upward · case 04
Scaled square root rounds the exponent quotient upward.
Scaled square root rounds the exponent quotient upward · case 05
Scaled square root rounds the exponent quotient upward.
Reciprocal classifies negative zero through numerical comparison · case 01
Reciprocal classifies negative zero through numerical comparison.
Reciprocal classifies negative zero through numerical comparison · case 02
Reciprocal classifies negative zero through numerical comparison.
Reciprocal classifies negative zero through numerical comparison · case 03
Reciprocal classifies negative zero through numerical comparison.
Reciprocal classifies negative zero through numerical comparison · case 04
Reciprocal classifies negative zero through numerical comparison.
Reciprocal classifies negative zero through numerical comparison · case 05
Reciprocal classifies negative zero through numerical comparison.
Reciprocal retains the input exponent sign · case 01
Reciprocal retains the input exponent sign.
Reciprocal retains the input exponent sign · case 02
Reciprocal retains the input exponent sign.
Reciprocal retains the input exponent sign · case 03
Reciprocal retains the input exponent sign.
Reciprocal retains the input exponent sign · case 04
Reciprocal retains the input exponent sign.
Reciprocal retains the input exponent sign · case 05
Reciprocal retains the input exponent sign.
Reciprocal rescales the original mantissa without inversion · case 01
Reciprocal rescales the original mantissa without inversion.
Reciprocal rescales the original mantissa without inversion · case 02
Reciprocal rescales the original mantissa without inversion.
Reciprocal rescales the original mantissa without inversion · case 03
Reciprocal rescales the original mantissa without inversion.
Reciprocal rescales the original mantissa without inversion · case 04
Reciprocal rescales the original mantissa without inversion.
Reciprocal rescales the original mantissa without inversion · case 05
Reciprocal rescales the original mantissa without inversion.
Reciprocal flushes subnormal results · case 01
Reciprocal flushes subnormal results.
Reciprocal flushes subnormal results · case 02
Reciprocal flushes subnormal results.
Reciprocal flushes subnormal results · case 03
Reciprocal flushes subnormal results.
Reciprocal flushes subnormal results · case 04
Reciprocal flushes subnormal results.
Reciprocal flushes subnormal results · case 05
Reciprocal flushes subnormal results.
Reciprocal drops sign after magnitude normalization · case 01
Reciprocal drops sign after magnitude normalization.
Reciprocal drops sign after magnitude normalization · case 02
Reciprocal drops sign after magnitude normalization.
Reciprocal drops sign after magnitude normalization · case 03
Reciprocal drops sign after magnitude normalization.
Reciprocal drops sign after magnitude normalization · case 04
Reciprocal drops sign after magnitude normalization.
Reciprocal drops sign after magnitude normalization · case 05
Reciprocal drops sign after magnitude normalization.
Reciprocal overflow always reports a positive infinity · case 01
Reciprocal overflow always reports a positive infinity.
Reciprocal overflow always reports a positive infinity · case 02
Reciprocal overflow always reports a positive infinity.
Reciprocal overflow always reports a positive infinity · case 03
Reciprocal overflow always reports a positive infinity.
Reciprocal overflow always reports a positive infinity · case 04
Reciprocal overflow always reports a positive infinity.
Reciprocal overflow always reports a positive infinity · case 05
Reciprocal overflow always reports a positive infinity.
Complex exponential materializes its overflowing common real exponential · case 01
Complex exponential materializes its overflowing common real exponential.
Complex exponential materializes its overflowing common real exponential · case 02
Complex exponential materializes its overflowing common real exponential.
Complex exponential materializes its overflowing common real exponential · case 03
Complex exponential materializes its overflowing common real exponential.
Complex exponential materializes its overflowing common real exponential · case 04
Complex exponential materializes its overflowing common real exponential.
Complex exponential materializes its overflowing common real exponential · case 05
Complex exponential materializes its overflowing common real exponential.
Complex exponential materializes overflow before its imaginary projection · case 01
Complex exponential materializes overflow before its imaginary projection.
Complex exponential materializes overflow before its imaginary projection · case 02
Complex exponential materializes overflow before its imaginary projection.
Complex exponential materializes overflow before its imaginary projection · case 03
Complex exponential materializes overflow before its imaginary projection.
Complex exponential materializes overflow before its imaginary projection · case 04
Complex exponential materializes overflow before its imaginary projection.
Complex exponential materializes overflow before its imaginary projection · case 05
Complex exponential materializes overflow before its imaginary projection.
Complex exponential subtracts a binary exponent as though natural · case 01
Complex exponential subtracts a binary exponent as though natural.
Complex exponential subtracts a binary exponent as though natural · case 02
Complex exponential subtracts a binary exponent as though natural.
Complex exponential subtracts a binary exponent as though natural · case 03
Complex exponential subtracts a binary exponent as though natural.
Complex exponential subtracts a binary exponent as though natural · case 04
Complex exponential subtracts a binary exponent as though natural.
Complex exponential subtracts a binary exponent as though natural · case 05
Complex exponential subtracts a binary exponent as though natural.
Complex exponential uses the sine for its real projection · case 01
Complex exponential uses the sine for its real projection.
Complex exponential uses the sine for its real projection · case 02
Complex exponential uses the sine for its real projection.
Complex exponential uses the sine for its real projection · case 03
Complex exponential uses the sine for its real projection.
Complex exponential uses the sine for its real projection · case 04
Complex exponential uses the sine for its real projection.
Complex exponential uses the sine for its real projection · case 05
Complex exponential uses the sine for its real projection.
Complex exponential uses cosine for its imaginary projection · case 01
Complex exponential uses cosine for its imaginary projection.
Complex exponential uses cosine for its imaginary projection · case 02
Complex exponential uses cosine for its imaginary projection.
Complex exponential uses cosine for its imaginary projection · case 03
Complex exponential uses cosine for its imaginary projection.
Complex exponential uses cosine for its imaginary projection · case 04
Complex exponential uses cosine for its imaginary projection.
Complex exponential uses cosine for its imaginary projection · case 05
Complex exponential uses cosine for its imaginary projection.
Complex exponential reverses the rescaling exponent · case 01
Complex exponential reverses the rescaling exponent.
Complex exponential reverses the rescaling exponent · case 02
Complex exponential reverses the rescaling exponent.
Complex exponential reverses the rescaling exponent · case 03
Complex exponential reverses the rescaling exponent.
Complex exponential reverses the rescaling exponent · case 04
Complex exponential reverses the rescaling exponent.
Complex exponential reverses the rescaling exponent · case 05
Complex exponential reverses the rescaling exponent.
Complex exponential rescales only its real component · case 01
Complex exponential rescales only its real component.
Complex exponential rescales only its real component · case 02
Complex exponential rescales only its real component.
Complex exponential rescales only its real component · case 03
Complex exponential rescales only its real component.
Complex exponential rescales only its real component · case 04
Complex exponential rescales only its real component.
Complex exponential rescales only its real component · case 05
Complex exponential rescales only its real component.
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 ↗