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
Dominant-real complex division conjugates the wrong numerator term · case 01
Dominant-real complex division conjugates the wrong numerator term.
Dominant-real complex division conjugates the wrong numerator term · case 02
Dominant-real complex division conjugates the wrong numerator term.
Dominant-real complex division conjugates the wrong numerator term · case 03
Dominant-real complex division conjugates the wrong numerator term.
Dominant-real complex division conjugates the wrong numerator term · case 04
Dominant-real complex division conjugates the wrong numerator term.
Dominant-real complex division conjugates the wrong numerator term · case 05
Dominant-real complex division conjugates the wrong numerator term.
Dominant-real complex division misses the conjugation sign · case 01
Dominant-real complex division misses the conjugation sign.
Dominant-real complex division misses the conjugation sign · case 02
Dominant-real complex division misses the conjugation sign.
Dominant-real complex division misses the conjugation sign · case 03
Dominant-real complex division misses the conjugation sign.
Dominant-real complex division misses the conjugation sign · case 04
Dominant-real complex division misses the conjugation sign.
Dominant-real complex division misses the conjugation sign · case 05
Dominant-real complex division misses the conjugation sign.
Dominant-imaginary division scales the wrong real numerator term · case 01
Dominant-imaginary division scales the wrong real numerator term.
Dominant-imaginary division scales the wrong real numerator term · case 02
Dominant-imaginary division scales the wrong real numerator term.
Dominant-imaginary division scales the wrong real numerator term · case 03
Dominant-imaginary division scales the wrong real numerator term.
Dominant-imaginary division scales the wrong real numerator term · case 04
Dominant-imaginary division scales the wrong real numerator term.
Dominant-imaginary division scales the wrong real numerator term · case 05
Dominant-imaginary division scales the wrong real numerator term.
Dominant-imaginary division reverses its imaginary numerator · case 01
Dominant-imaginary division reverses its imaginary numerator.
Dominant-imaginary division reverses its imaginary numerator · case 02
Dominant-imaginary division reverses its imaginary numerator.
Dominant-imaginary division reverses its imaginary numerator · case 03
Dominant-imaginary division reverses its imaginary numerator.
Dominant-imaginary division reverses its imaginary numerator · case 04
Dominant-imaginary division reverses its imaginary numerator.
Dominant-imaginary division reverses its imaginary numerator · case 05
Dominant-imaginary division reverses its imaginary numerator.
Complex division selects the smaller denominator component · case 01
Complex division selects the smaller denominator component.
Complex division selects the smaller denominator component · case 02
Complex division selects the smaller denominator component.
Complex division selects the smaller denominator component · case 03
Complex division selects the smaller denominator component.
Complex division selects the smaller denominator component · case 04
Complex division selects the smaller denominator component.
Complex division selects the smaller denominator component · case 05
Complex division selects the smaller denominator component.
Complex division rejects a single zero denominator component · case 01
Complex division rejects a single zero denominator component.
Complex division rejects a single zero denominator component · case 02
Complex division rejects a single zero denominator component.
Complex division rejects a single zero denominator component · case 03
Complex division rejects a single zero denominator component.
Complex division rejects a single zero denominator component · case 04
Complex division rejects a single zero denominator component.
Complex division rejects a single zero denominator component · case 05
Complex division rejects a single zero denominator component.
Complex square root overflows while forming the radius · case 01
Complex square root overflows while forming the radius.
Complex square root overflows while forming the radius · case 02
Complex square root overflows while forming the radius.
Complex square root overflows while forming the radius · case 03
Complex square root overflows while forming the radius.
Complex square root overflows while forming the radius · case 04
Complex square root overflows while forming the radius.
Complex square root overflows while forming the radius · case 05
Complex square root overflows while forming the radius.
Complex square root overflows before halving its radius sum · case 01
Complex square root overflows before halving its radius sum.
Complex square root overflows before halving its radius sum · case 02
Complex square root overflows before halving its radius sum.
Complex square root overflows before halving its radius sum · case 03
Complex square root overflows before halving its radius sum.
Complex square root overflows before halving its radius sum · case 04
Complex square root overflows before halving its radius sum.
Complex square root overflows before halving its radius sum · case 05
Complex square root overflows before halving its radius sum.
Complex square root adds signed real part in its stable magnitude · case 01
Complex square root adds signed real part in its stable magnitude.
Complex square root adds signed real part in its stable magnitude · case 02
Complex square root adds signed real part in its stable magnitude.
Complex square root adds signed real part in its stable magnitude · case 03
Complex square root adds signed real part in its stable magnitude.
Complex square root adds signed real part in its stable magnitude · case 04
Complex square root adds signed real part in its stable magnitude.
Complex square root adds signed real part in its stable magnitude · case 05
Complex square root adds signed real part in its stable magnitude.
Positive-real square root subtracts nearly equal radii · case 01
Positive-real square root subtracts nearly equal radii.
Positive-real square root subtracts nearly equal radii · case 02
Positive-real square root subtracts nearly equal radii.
Positive-real square root subtracts nearly equal radii · case 03
Positive-real square root subtracts nearly equal radii.
Positive-real square root subtracts nearly equal radii · case 04
Positive-real square root subtracts nearly equal radii.
Positive-real square root subtracts nearly equal radii · case 05
Positive-real square root subtracts nearly equal radii.
Complex square root discards the side of its branch cut · case 01
Complex square root discards the side of its branch cut.
Complex square root discards the side of its branch cut · case 02
Complex square root discards the side of its branch cut.
Complex square root discards the side of its branch cut · case 03
Complex square root discards the side of its branch cut.
Complex square root discards the side of its branch cut · case 04
Complex square root discards the side of its branch cut.
Complex square root discards the side of its branch cut · case 05
Complex square root discards the side of its branch cut.
Negative-real square root retains a negative imaginary sign in its real part · case 01
Negative-real square root retains a negative imaginary sign in its real part.
Negative-real square root retains a negative imaginary sign in its real part · case 02
Negative-real square root retains a negative imaginary sign in its real part.
Negative-real square root retains a negative imaginary sign in its real part · case 03
Negative-real square root retains a negative imaginary sign in its real part.
Negative-real square root retains a negative imaginary sign in its real part · case 04
Negative-real square root retains a negative imaginary sign in its real part.
Negative-real square root retains a negative imaginary sign in its real part · case 05
Negative-real square root retains a negative imaginary sign in its real part.
Complex square root canonicalizes the imaginary zero at the origin · case 01
Complex square root canonicalizes the imaginary zero at the origin.
Complex square root canonicalizes the imaginary zero at the origin · case 02
Complex square root canonicalizes the imaginary zero at the origin.
Complex square root canonicalizes the imaginary zero at the origin · case 03
Complex square root canonicalizes the imaginary zero at the origin.
Complex square root canonicalizes the imaginary zero at the origin · case 04
Complex square root canonicalizes the imaginary zero at the origin.
Complex square root canonicalizes the imaginary zero at the origin · case 05
Complex square root canonicalizes the imaginary zero at the origin.
Complex logarithm squares components before scaling · case 01
Complex logarithm squares components before scaling.
Complex logarithm squares components before scaling · case 02
Complex logarithm squares components before scaling.
Complex logarithm squares components before scaling · case 03
Complex logarithm squares components before scaling.
Complex logarithm squares components before scaling · case 04
Complex logarithm squares components before scaling.
Complex logarithm squares components before scaling · case 05
Complex logarithm squares components before scaling.
Complex logarithm normalizes by the smaller component · case 01
Complex logarithm normalizes by the smaller component.
Complex logarithm normalizes by the smaller component · case 02
Complex logarithm normalizes by the smaller component.
Complex logarithm normalizes by the smaller component · case 03
Complex logarithm normalizes by the smaller component.
Complex logarithm normalizes by the smaller component · case 04
Complex logarithm normalizes by the smaller component.
Complex logarithm normalizes by the smaller component · case 05
Complex logarithm normalizes by the smaller component.
Complex logarithm forgets the square of the normalized component · case 01
Complex logarithm forgets the square of the normalized component.
Complex logarithm forgets the square of the normalized component · case 02
Complex logarithm forgets the square of the normalized component.
Complex logarithm forgets the square of the normalized component · case 03
Complex logarithm forgets the square of the normalized component.
Complex logarithm forgets the square of the normalized component · case 04
Complex logarithm forgets the square of the normalized component.
Complex logarithm forgets the square of the normalized component · case 05
Complex logarithm forgets the square of the normalized component.
Complex logarithm uses one-argument arctangent · case 01
Complex logarithm uses one-argument arctangent.
Complex logarithm uses one-argument arctangent · case 02
Complex logarithm uses one-argument arctangent.
Complex logarithm uses one-argument arctangent · case 03
Complex logarithm uses one-argument arctangent.
Complex logarithm uses one-argument arctangent · case 04
Complex logarithm uses one-argument arctangent.
Complex logarithm uses one-argument arctangent · case 05
Complex logarithm uses one-argument arctangent.
Complex logarithm reverses the atan2 arguments · case 01
Complex logarithm reverses the atan2 arguments.
Complex logarithm reverses the atan2 arguments · case 02
Complex logarithm reverses the atan2 arguments.
Complex logarithm reverses the atan2 arguments · case 03
Complex logarithm reverses the atan2 arguments.
Complex logarithm reverses the atan2 arguments · case 04
Complex logarithm reverses the atan2 arguments.
Complex logarithm reverses the atan2 arguments · case 05
Complex logarithm reverses the atan2 arguments.
Complex logarithm mistakes axis points for the origin · case 01
Complex logarithm mistakes axis points for the origin.
Complex logarithm mistakes axis points for the origin · case 02
Complex logarithm mistakes axis points for the origin.
Complex logarithm mistakes axis points for the origin · case 03
Complex logarithm mistakes axis points for the origin.
Complex logarithm mistakes axis points for the origin · case 04
Complex logarithm mistakes axis points for the origin.
Complex logarithm mistakes axis points for the origin · case 05
Complex logarithm mistakes axis points for the origin.
Floating exception save-state aliases mutable accrued flags · case 01
Floating exception save-state aliases mutable accrued flags.
Floating exception save-state aliases mutable accrued flags · case 02
Floating exception save-state aliases mutable accrued flags.
Floating exception save-state aliases mutable accrued flags · case 03
Floating exception save-state aliases mutable accrued flags.
Floating exception save-state aliases mutable accrued flags · case 04
Floating exception save-state aliases mutable accrued flags.
Floating exception save-state aliases mutable accrued flags · case 05
Floating exception save-state aliases mutable accrued flags.
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 ↗