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
Cosine-pi omits the negative half-period sign · case 01
Cosine-pi omits the negative half-period sign.
Cosine-pi omits the negative half-period sign · case 02
Cosine-pi omits the negative half-period sign.
Cosine-pi omits the negative half-period sign · case 03
Cosine-pi omits the negative half-period sign.
Cosine-pi omits the negative half-period sign · case 04
Cosine-pi omits the negative half-period sign.
Cosine-pi omits the negative half-period sign · case 05
Cosine-pi omits the negative half-period sign.
Tangent-pi multiplies the unreduced input by pi · case 01
Tangent-pi multiplies the unreduced input by pi.
Tangent-pi multiplies the unreduced input by pi · case 02
Tangent-pi multiplies the unreduced input by pi.
Tangent-pi multiplies the unreduced input by pi · case 03
Tangent-pi multiplies the unreduced input by pi.
Tangent-pi multiplies the unreduced input by pi · case 04
Tangent-pi multiplies the unreduced input by pi.
Tangent-pi multiplies the unreduced input by pi · case 05
Tangent-pi multiplies the unreduced input by pi.
Tangent-pi treats the finite rounded tangent at a pole as valid · case 01
Tangent-pi treats the finite rounded tangent at a pole as valid.
Tangent-pi treats the finite rounded tangent at a pole as valid · case 02
Tangent-pi treats the finite rounded tangent at a pole as valid.
Tangent-pi treats the finite rounded tangent at a pole as valid · case 03
Tangent-pi treats the finite rounded tangent at a pole as valid.
Tangent-pi treats the finite rounded tangent at a pole as valid · case 04
Tangent-pi treats the finite rounded tangent at a pole as valid.
Tangent-pi treats the finite rounded tangent at a pole as valid · case 05
Tangent-pi treats the finite rounded tangent at a pole as valid.
Tangent-pi measures pole distance from an integer · case 01
Tangent-pi measures pole distance from an integer.
Tangent-pi measures pole distance from an integer · case 02
Tangent-pi measures pole distance from an integer.
Tangent-pi measures pole distance from an integer · case 03
Tangent-pi measures pole distance from an integer.
Tangent-pi measures pole distance from an integer · case 04
Tangent-pi measures pole distance from an integer.
Tangent-pi measures pole distance from an integer · case 05
Tangent-pi measures pole distance from an integer.
Tangent-pi computes the near-pole angle directly · case 01
Tangent-pi computes the near-pole angle directly.
Tangent-pi computes the near-pole angle directly · case 02
Tangent-pi computes the near-pole angle directly.
Tangent-pi computes the near-pole angle directly · case 03
Tangent-pi computes the near-pole angle directly.
Tangent-pi computes the near-pole angle directly · case 04
Tangent-pi computes the near-pole angle directly.
Tangent-pi computes the near-pole angle directly · case 05
Tangent-pi computes the near-pole angle directly.
Tangent-pi loses the sign of its near-pole branch · case 01
Tangent-pi loses the sign of its near-pole branch.
Tangent-pi loses the sign of its near-pole branch · case 02
Tangent-pi loses the sign of its near-pole branch.
Tangent-pi loses the sign of its near-pole branch · case 03
Tangent-pi loses the sign of its near-pole branch.
Tangent-pi loses the sign of its near-pole branch · case 04
Tangent-pi loses the sign of its near-pole branch.
Tangent-pi loses the sign of its near-pole branch · case 05
Tangent-pi loses the sign of its near-pole branch.
Tangent-pi reports the reduction sign for integer zeros · case 01
Tangent-pi reports the reduction sign for integer zeros.
Tangent-pi reports the reduction sign for integer zeros · case 02
Tangent-pi reports the reduction sign for integer zeros.
Tangent-pi reports the reduction sign for integer zeros · case 03
Tangent-pi reports the reduction sign for integer zeros.
Tangent-pi reports the reduction sign for integer zeros · case 04
Tangent-pi reports the reduction sign for integer zeros.
Tangent-pi reports the reduction sign for integer zeros · case 05
Tangent-pi reports the reduction sign for integer zeros.
Atan2 divides infinite coordinates before classifying direction · case 01
Atan2 divides infinite coordinates before classifying direction.
Atan2 divides infinite coordinates before classifying direction · case 02
Atan2 divides infinite coordinates before classifying direction.
Atan2 divides infinite coordinates before classifying direction · case 03
Atan2 divides infinite coordinates before classifying direction.
Atan2 divides infinite coordinates before classifying direction · case 04
Atan2 divides infinite coordinates before classifying direction.
Atan2 divides infinite coordinates before classifying direction · case 05
Atan2 divides infinite coordinates before classifying direction.
Atan2 ignores the x sign for a doubly infinite direction · case 01
Atan2 ignores the x sign for a doubly infinite direction.
Atan2 ignores the x sign for a doubly infinite direction · case 02
Atan2 ignores the x sign for a doubly infinite direction.
Atan2 ignores the x sign for a doubly infinite direction · case 03
Atan2 ignores the x sign for a doubly infinite direction.
Atan2 ignores the x sign for a doubly infinite direction · case 04
Atan2 ignores the x sign for a doubly infinite direction.
Atan2 ignores the x sign for a doubly infinite direction · case 05
Atan2 ignores the x sign for a doubly infinite direction.
Atan2 identifies the negative real axis using ordinary comparison · case 01
Atan2 identifies the negative real axis using ordinary comparison.
Atan2 identifies the negative real axis using ordinary comparison · case 02
Atan2 identifies the negative real axis using ordinary comparison.
Atan2 identifies the negative real axis using ordinary comparison · case 03
Atan2 identifies the negative real axis using ordinary comparison.
Atan2 identifies the negative real axis using ordinary comparison · case 04
Atan2 identifies the negative real axis using ordinary comparison.
Atan2 identifies the negative real axis using ordinary comparison · case 05
Atan2 identifies the negative real axis using ordinary comparison.
Atan2 loses the sign of its branch-cut zero · case 01
Atan2 loses the sign of its branch-cut zero.
Atan2 loses the sign of its branch-cut zero · case 02
Atan2 loses the sign of its branch-cut zero.
Atan2 loses the sign of its branch-cut zero · case 03
Atan2 loses the sign of its branch-cut zero.
Atan2 loses the sign of its branch-cut zero · case 04
Atan2 loses the sign of its branch-cut zero.
Atan2 loses the sign of its branch-cut zero · case 05
Atan2 loses the sign of its branch-cut zero.
Atan2 uses a positive angle on the negative vertical axis · case 01
Atan2 uses a positive angle on the negative vertical axis.
Atan2 uses a positive angle on the negative vertical axis · case 02
Atan2 uses a positive angle on the negative vertical axis.
Atan2 uses a positive angle on the negative vertical axis · case 03
Atan2 uses a positive angle on the negative vertical axis.
Atan2 uses a positive angle on the negative vertical axis · case 04
Atan2 uses a positive angle on the negative vertical axis.
Atan2 uses a positive angle on the negative vertical axis · case 05
Atan2 uses a positive angle on the negative vertical axis.
Atan2 fails to complement its steep-slope ratio · case 01
Atan2 fails to complement its steep-slope ratio.
Atan2 fails to complement its steep-slope ratio · case 02
Atan2 fails to complement its steep-slope ratio.
Atan2 fails to complement its steep-slope ratio · case 03
Atan2 fails to complement its steep-slope ratio.
Atan2 fails to complement its steep-slope ratio · case 04
Atan2 fails to complement its steep-slope ratio.
Atan2 fails to complement its steep-slope ratio · case 05
Atan2 fails to complement its steep-slope ratio.
Atan2 reflects negative x across the wrong axis · case 01
Atan2 reflects negative x across the wrong axis.
Atan2 reflects negative x across the wrong axis · case 02
Atan2 reflects negative x across the wrong axis.
Atan2 reflects negative x across the wrong axis · case 03
Atan2 reflects negative x across the wrong axis.
Atan2 reflects negative x across the wrong axis · case 04
Atan2 reflects negative x across the wrong axis.
Atan2 reflects negative x across the wrong axis · case 05
Atan2 reflects negative x across the wrong axis.
Atan2 discards the lower-half-plane sign · case 01
Atan2 discards the lower-half-plane sign.
Atan2 discards the lower-half-plane sign · case 02
Atan2 discards the lower-half-plane sign.
Atan2 discards the lower-half-plane sign · case 03
Atan2 discards the lower-half-plane sign.
Atan2 discards the lower-half-plane sign · case 04
Atan2 discards the lower-half-plane sign.
Atan2 discards the lower-half-plane sign · case 05
Atan2 discards the lower-half-plane sign.
Decimal quantization passes source text through a binary float · case 01
Decimal quantization passes source text through a binary float.
Decimal quantization passes source text through a binary float · case 02
Decimal quantization passes source text through a binary float.
Decimal quantization passes source text through a binary float · case 03
Decimal quantization passes source text through a binary float.
Decimal quantization passes source text through a binary float · case 04
Decimal quantization passes source text through a binary float.
Decimal quantization passes source text through a binary float · case 05
Decimal quantization passes source text through a binary float.
Decimal quantization negates the requested quantum exponent · case 01
Decimal quantization negates the requested quantum exponent.
Decimal quantization negates the requested quantum exponent · case 02
Decimal quantization negates the requested quantum exponent.
Decimal quantization negates the requested quantum exponent · case 03
Decimal quantization negates the requested quantum exponent.
Decimal quantization negates the requested quantum exponent · case 04
Decimal quantization negates the requested quantum exponent.
Decimal quantization negates the requested quantum exponent · case 05
Decimal quantization negates the requested quantum exponent.
Decimal quantization discards caller precision · case 01
Decimal quantization discards caller precision.
Decimal quantization discards caller precision · case 02
Decimal quantization discards caller precision.
Decimal quantization discards caller precision · case 03
Decimal quantization discards caller precision.
Decimal quantization discards caller precision · case 04
Decimal quantization discards caller precision.
Decimal quantization discards caller precision · case 05
Decimal quantization discards caller precision.
Decimal quantization substitutes half-up rounding for half-even · case 01
Decimal quantization substitutes half-up rounding for half-even.
Decimal quantization substitutes half-up rounding for half-even · case 02
Decimal quantization substitutes half-up rounding for half-even.
Decimal quantization substitutes half-up rounding for half-even · case 03
Decimal quantization substitutes half-up rounding for half-even.
Decimal quantization substitutes half-up rounding for half-even · case 04
Decimal quantization substitutes half-up rounding for half-even.
Decimal quantization substitutes half-up rounding for half-even · case 05
Decimal quantization substitutes half-up rounding for half-even.
Decimal quantization ignores the specified exponent range · case 01
Decimal quantization ignores the specified exponent range.
Decimal quantization ignores the specified exponent range · case 02
Decimal quantization ignores the specified exponent range.
Decimal quantization ignores the specified exponent range · case 03
Decimal quantization ignores the specified exponent range.
Decimal quantization ignores the specified exponent range · case 04
Decimal quantization ignores the specified exponent range.
Decimal quantization ignores the specified exponent range · case 05
Decimal quantization ignores the specified exponent range.
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 ↗