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
Exponential divided difference reverses its exponent separation · case 01
Exponential divided difference reverses its exponent separation.
Exponential divided difference reverses its exponent separation · case 02
Exponential divided difference reverses its exponent separation.
Exponential divided difference reverses its exponent separation · case 03
Exponential divided difference reverses its exponent separation.
Exponential divided difference reverses its exponent separation · case 04
Exponential divided difference reverses its exponent separation.
Exponential divided difference reverses its exponent separation · case 05
Exponential divided difference reverses its exponent separation.
Log divided difference subtracts logarithms of adjacent large values · case 01
Log divided difference subtracts logarithms of adjacent large values.
Log divided difference subtracts logarithms of adjacent large values · case 02
Log divided difference subtracts logarithms of adjacent large values.
Log divided difference subtracts logarithms of adjacent large values · case 03
Log divided difference subtracts logarithms of adjacent large values.
Log divided difference subtracts logarithms of adjacent large values · case 04
Log divided difference subtracts logarithms of adjacent large values.
Log divided difference subtracts logarithms of adjacent large values · case 05
Log divided difference subtracts logarithms of adjacent large values.
Log divided difference uses the logarithm as its coincident limit · case 01
Log divided difference uses the logarithm as its coincident limit.
Log divided difference uses the logarithm as its coincident limit · case 02
Log divided difference uses the logarithm as its coincident limit.
Log divided difference uses the logarithm as its coincident limit · case 03
Log divided difference uses the logarithm as its coincident limit.
Log divided difference uses the logarithm as its coincident limit · case 04
Log divided difference uses the logarithm as its coincident limit.
Log divided difference uses the logarithm as its coincident limit · case 05
Log divided difference uses the logarithm as its coincident limit.
Log divided difference normalizes its increment by the destination · case 01
Log divided difference normalizes its increment by the destination.
Log divided difference normalizes its increment by the destination · case 02
Log divided difference normalizes its increment by the destination.
Log divided difference normalizes its increment by the destination · case 03
Log divided difference normalizes its increment by the destination.
Log divided difference normalizes its increment by the destination · case 04
Log divided difference normalizes its increment by the destination.
Log divided difference normalizes its increment by the destination · case 05
Log divided difference normalizes its increment by the destination.
Log divided difference uses log1p even when the normalized decrement rounds to minus one · case 01
Log divided difference uses log1p even when the normalized decrement rounds to minus one.
Log divided difference uses log1p even when the normalized decrement rounds to minus one · case 02
Log divided difference uses log1p even when the normalized decrement rounds to minus one.
Log divided difference uses log1p even when the normalized decrement rounds to minus one · case 03
Log divided difference uses log1p even when the normalized decrement rounds to minus one.
Log divided difference uses log1p even when the normalized decrement rounds to minus one · case 04
Log divided difference uses log1p even when the normalized decrement rounds to minus one.
Log divided difference uses log1p even when the normalized decrement rounds to minus one · case 05
Log divided difference uses log1p even when the normalized decrement rounds to minus one.
Log divided difference drops the sign of its denominator · case 01
Log divided difference drops the sign of its denominator.
Log divided difference drops the sign of its denominator · case 02
Log divided difference drops the sign of its denominator.
Log divided difference drops the sign of its denominator · case 03
Log divided difference drops the sign of its denominator.
Log divided difference drops the sign of its denominator · case 04
Log divided difference drops the sign of its denominator.
Log divided difference drops the sign of its denominator · case 05
Log divided difference drops the sign of its denominator.
Log ratio materializes an overflowing or underflowing quotient · case 01
Log ratio materializes an overflowing or underflowing quotient.
Log ratio materializes an overflowing or underflowing quotient · case 02
Log ratio materializes an overflowing or underflowing quotient.
Log ratio materializes an overflowing or underflowing quotient · case 03
Log ratio materializes an overflowing or underflowing quotient.
Log ratio materializes an overflowing or underflowing quotient · case 04
Log ratio materializes an overflowing or underflowing quotient.
Log ratio materializes an overflowing or underflowing quotient · case 05
Log ratio materializes an overflowing or underflowing quotient.
Log ratio subtracts close logarithms at large magnitude · case 01
Log ratio subtracts close logarithms at large magnitude.
Log ratio subtracts close logarithms at large magnitude · case 02
Log ratio subtracts close logarithms at large magnitude.
Log ratio subtracts close logarithms at large magnitude · case 03
Log ratio subtracts close logarithms at large magnitude.
Log ratio subtracts close logarithms at large magnitude · case 04
Log ratio subtracts close logarithms at large magnitude.
Log ratio subtracts close logarithms at large magnitude · case 05
Log ratio subtracts close logarithms at large magnitude.
Log ratio normalizes its difference by the numerator · case 01
Log ratio normalizes its difference by the numerator.
Log ratio normalizes its difference by the numerator · case 02
Log ratio normalizes its difference by the numerator.
Log ratio normalizes its difference by the numerator · case 03
Log ratio normalizes its difference by the numerator.
Log ratio normalizes its difference by the numerator · case 04
Log ratio normalizes its difference by the numerator.
Log ratio normalizes its difference by the numerator · case 05
Log ratio normalizes its difference by the numerator.
Log ratio reverses the distant logarithm difference · case 01
Log ratio reverses the distant logarithm difference.
Log ratio reverses the distant logarithm difference · case 02
Log ratio reverses the distant logarithm difference.
Log ratio reverses the distant logarithm difference · case 03
Log ratio reverses the distant logarithm difference.
Log ratio reverses the distant logarithm difference · case 04
Log ratio reverses the distant logarithm difference.
Log ratio reverses the distant logarithm difference · case 05
Log ratio reverses the distant logarithm difference.
Log ratio accepts zero endpoints as ordinary positives · case 01
Log ratio accepts zero endpoints as ordinary positives.
Log ratio accepts zero endpoints as ordinary positives · case 02
Log ratio accepts zero endpoints as ordinary positives.
Log ratio accepts zero endpoints as ordinary positives · case 03
Log ratio accepts zero endpoints as ordinary positives.
Log ratio accepts zero endpoints as ordinary positives · case 04
Log ratio accepts zero endpoints as ordinary positives.
Log ratio accepts zero endpoints as ordinary positives · case 05
Log ratio accepts zero endpoints as ordinary positives.
Closeness rejects equal infinities before checking exact equality · case 01
Closeness rejects equal infinities before checking exact equality.
Closeness rejects equal infinities before checking exact equality · case 02
Closeness rejects equal infinities before checking exact equality.
Closeness rejects equal infinities before checking exact equality · case 03
Closeness rejects equal infinities before checking exact equality.
Closeness rejects equal infinities before checking exact equality · case 04
Closeness rejects equal infinities before checking exact equality.
Closeness rejects equal infinities before checking exact equality · case 05
Closeness rejects equal infinities before checking exact equality.
Closeness accepts an infinite distance against infinite tolerance · case 01
Closeness accepts an infinite distance against infinite tolerance.
Closeness accepts an infinite distance against infinite tolerance · case 02
Closeness accepts an infinite distance against infinite tolerance.
Closeness accepts an infinite distance against infinite tolerance · case 03
Closeness accepts an infinite distance against infinite tolerance.
Closeness accepts an infinite distance against infinite tolerance · case 04
Closeness accepts an infinite distance against infinite tolerance.
Closeness accepts an infinite distance against infinite tolerance · case 05
Closeness accepts an infinite distance against infinite tolerance.
Relative closeness scales by only the first operand · case 01
Relative closeness scales by only the first operand.
Relative closeness scales by only the first operand · case 02
Relative closeness scales by only the first operand.
Relative closeness scales by only the first operand · case 03
Relative closeness scales by only the first operand.
Relative closeness scales by only the first operand · case 04
Relative closeness scales by only the first operand.
Relative closeness scales by only the first operand · case 05
Relative closeness scales by only the first operand.
Relative closeness uses signed magnitudes · case 01
Relative closeness uses signed magnitudes.
Relative closeness uses signed magnitudes · case 02
Relative closeness uses signed magnitudes.
Relative closeness uses signed magnitudes · case 03
Relative closeness uses signed magnitudes.
Relative closeness uses signed magnitudes · case 04
Relative closeness uses signed magnitudes.
Relative closeness uses signed magnitudes · case 05
Relative closeness uses signed magnitudes.
Closeness sums tolerances instead of choosing the larger · case 01
Closeness sums tolerances instead of choosing the larger.
Closeness sums tolerances instead of choosing the larger · case 02
Closeness sums tolerances instead of choosing the larger.
Closeness sums tolerances instead of choosing the larger · case 03
Closeness sums tolerances instead of choosing the larger.
Closeness sums tolerances instead of choosing the larger · case 04
Closeness sums tolerances instead of choosing the larger.
Closeness sums tolerances instead of choosing the larger · case 05
Closeness sums tolerances instead of choosing the larger.
Closeness excludes values exactly at tolerance · case 01
Closeness excludes values exactly at tolerance.
Closeness excludes values exactly at tolerance · case 02
Closeness excludes values exactly at tolerance.
Closeness excludes values exactly at tolerance · case 03
Closeness excludes values exactly at tolerance.
Closeness excludes values exactly at tolerance · case 04
Closeness excludes values exactly at tolerance.
Closeness excludes values exactly at tolerance · case 05
Closeness excludes values exactly at tolerance.
Closeness silently takes absolute values of negative tolerances · case 01
Closeness silently takes absolute values of negative tolerances.
Closeness silently takes absolute values of negative tolerances · case 02
Closeness silently takes absolute values of negative tolerances.
Closeness silently takes absolute values of negative tolerances · case 03
Closeness silently takes absolute values of negative tolerances.
Closeness silently takes absolute values of negative tolerances · case 04
Closeness silently takes absolute values of negative tolerances.
Closeness silently takes absolute values of negative tolerances · case 05
Closeness silently takes absolute values of negative tolerances.
Opposite-sign midpoint overflows its endpoint difference · case 01
Opposite-sign midpoint overflows its endpoint difference.
Opposite-sign midpoint overflows its endpoint difference · case 02
Opposite-sign midpoint overflows its endpoint difference.
Opposite-sign midpoint overflows its endpoint difference · case 03
Opposite-sign midpoint overflows its endpoint difference.
Opposite-sign midpoint overflows its endpoint difference · case 04
Opposite-sign midpoint overflows its endpoint difference.
Opposite-sign midpoint overflows its endpoint difference · case 05
Opposite-sign midpoint overflows its endpoint difference.
Same-sign midpoint overflows its endpoint sum · case 01
Same-sign midpoint overflows its endpoint sum.
Same-sign midpoint overflows its endpoint sum · case 02
Same-sign midpoint overflows its endpoint sum.
Same-sign midpoint overflows its endpoint sum · case 03
Same-sign midpoint overflows its endpoint sum.
Same-sign midpoint overflows its endpoint sum · case 04
Same-sign midpoint overflows its endpoint sum.
Same-sign midpoint overflows its endpoint sum · case 05
Same-sign midpoint overflows its endpoint sum.
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 ↗