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
Decimal quantization strips zeros required by the requested quantum · case 01
Decimal quantization strips zeros required by the requested quantum.
Decimal quantization strips zeros required by the requested quantum · case 02
Decimal quantization strips zeros required by the requested quantum.
Decimal quantization strips zeros required by the requested quantum · case 03
Decimal quantization strips zeros required by the requested quantum.
Decimal quantization strips zeros required by the requested quantum · case 04
Decimal quantization strips zeros required by the requested quantum.
Decimal quantization strips zeros required by the requested quantum · case 05
Decimal quantization strips zeros required by the requested quantum.
Decimal quantization loses the sign of a rounded zero · case 01
Decimal quantization loses the sign of a rounded zero.
Decimal quantization loses the sign of a rounded zero · case 02
Decimal quantization loses the sign of a rounded zero.
Decimal quantization loses the sign of a rounded zero · case 03
Decimal quantization loses the sign of a rounded zero.
Decimal quantization loses the sign of a rounded zero · case 04
Decimal quantization loses the sign of a rounded zero.
Decimal quantization loses the sign of a rounded zero · case 05
Decimal quantization loses the sign of a rounded zero.
Decimal quantization drops Rounded unless the value was inexact · case 01
Decimal quantization drops Rounded unless the value was inexact.
Decimal quantization drops Rounded unless the value was inexact · case 02
Decimal quantization drops Rounded unless the value was inexact.
Decimal quantization drops Rounded unless the value was inexact · case 03
Decimal quantization drops Rounded unless the value was inexact.
Decimal quantization drops Rounded unless the value was inexact · case 04
Decimal quantization drops Rounded unless the value was inexact.
Decimal quantization drops Rounded unless the value was inexact · case 05
Decimal quantization drops Rounded unless the value was inexact.
Decimal quantization mistakes an exact subnormal for underflow · case 01
Decimal quantization mistakes an exact subnormal for underflow.
Decimal quantization mistakes an exact subnormal for underflow · case 02
Decimal quantization mistakes an exact subnormal for underflow.
Decimal quantization mistakes an exact subnormal for underflow · case 03
Decimal quantization mistakes an exact subnormal for underflow.
Decimal quantization mistakes an exact subnormal for underflow · case 04
Decimal quantization mistakes an exact subnormal for underflow.
Decimal quantization mistakes an exact subnormal for underflow · case 05
Decimal quantization mistakes an exact subnormal for underflow.
Decimal quantization creates a context but uses the ambient one · case 01
Decimal quantization creates a context but uses the ambient one.
Decimal quantization creates a context but uses the ambient one · case 02
Decimal quantization creates a context but uses the ambient one.
Decimal quantization creates a context but uses the ambient one · case 03
Decimal quantization creates a context but uses the ambient one.
Decimal quantization creates a context but uses the ambient one · case 04
Decimal quantization creates a context but uses the ambient one.
Decimal quantization creates a context but uses the ambient one · case 05
Decimal quantization creates a context but uses the ambient one.
Decimal fused multiply-add rounds the product before cancellation · case 01
Decimal fused multiply-add rounds the product before cancellation.
Decimal fused multiply-add rounds the product before cancellation · case 02
Decimal fused multiply-add rounds the product before cancellation.
Decimal fused multiply-add rounds the product before cancellation · case 03
Decimal fused multiply-add rounds the product before cancellation.
Decimal fused multiply-add rounds the product before cancellation · case 04
Decimal fused multiply-add rounds the product before cancellation.
Decimal fused multiply-add rounds the product before cancellation · case 05
Decimal fused multiply-add rounds the product before cancellation.
Decimal fused multiply-add rounds inputs to working precision · case 01
Decimal fused multiply-add rounds inputs to working precision.
Decimal fused multiply-add rounds inputs to working precision · case 02
Decimal fused multiply-add rounds inputs to working precision.
Decimal fused multiply-add rounds inputs to working precision · case 03
Decimal fused multiply-add rounds inputs to working precision.
Decimal fused multiply-add rounds inputs to working precision · case 04
Decimal fused multiply-add rounds inputs to working precision.
Decimal fused multiply-add rounds inputs to working precision · case 05
Decimal fused multiply-add rounds inputs to working precision.
Decimal fused multiply-add forgets its local context · case 01
Decimal fused multiply-add forgets its local context.
Decimal fused multiply-add forgets its local context · case 02
Decimal fused multiply-add forgets its local context.
Decimal fused multiply-add forgets its local context · case 03
Decimal fused multiply-add forgets its local context.
Decimal fused multiply-add forgets its local context · case 04
Decimal fused multiply-add forgets its local context.
Decimal fused multiply-add forgets its local context · case 05
Decimal fused multiply-add forgets its local context.
Decimal fused multiply-add applies the wrong addend sign · case 01
Decimal fused multiply-add applies the wrong addend sign.
Decimal fused multiply-add applies the wrong addend sign · case 02
Decimal fused multiply-add applies the wrong addend sign.
Decimal fused multiply-add applies the wrong addend sign · case 03
Decimal fused multiply-add applies the wrong addend sign.
Decimal fused multiply-add applies the wrong addend sign · case 04
Decimal fused multiply-add applies the wrong addend sign.
Decimal fused multiply-add applies the wrong addend sign · case 05
Decimal fused multiply-add applies the wrong addend sign.
Decimal fused multiply-add uses away ties in an even context · case 01
Decimal fused multiply-add uses away ties in an even context.
Decimal fused multiply-add uses away ties in an even context · case 02
Decimal fused multiply-add uses away ties in an even context.
Decimal fused multiply-add uses away ties in an even context · case 03
Decimal fused multiply-add uses away ties in an even context.
Decimal fused multiply-add uses away ties in an even context · case 04
Decimal fused multiply-add uses away ties in an even context.
Decimal fused multiply-add uses away ties in an even context · case 05
Decimal fused multiply-add uses away ties in an even context.
Decimal fused multiply-add reports rounded zeros as exact · case 01
Decimal fused multiply-add reports rounded zeros as exact.
Decimal fused multiply-add reports rounded zeros as exact · case 02
Decimal fused multiply-add reports rounded zeros as exact.
Decimal fused multiply-add reports rounded zeros as exact · case 03
Decimal fused multiply-add reports rounded zeros as exact.
Decimal fused multiply-add reports rounded zeros as exact · case 04
Decimal fused multiply-add reports rounded zeros as exact.
Decimal fused multiply-add reports rounded zeros as exact · case 05
Decimal fused multiply-add reports rounded zeros as exact.
Power of one plus a small increment rounds the base before amplification · case 01
Power of one plus a small increment rounds the base before amplification.
Power of one plus a small increment rounds the base before amplification · case 02
Power of one plus a small increment rounds the base before amplification.
Power of one plus a small increment rounds the base before amplification · case 03
Power of one plus a small increment rounds the base before amplification.
Power of one plus a small increment rounds the base before amplification · case 04
Power of one plus a small increment rounds the base before amplification.
Power of one plus a small increment rounds the base before amplification · case 05
Power of one plus a small increment rounds the base before amplification.
Power increment moves the exponent inside log1p · case 01
Power increment moves the exponent inside log1p.
Power increment moves the exponent inside log1p · case 02
Power increment moves the exponent inside log1p.
Power increment moves the exponent inside log1p · case 03
Power increment moves the exponent inside log1p.
Power increment moves the exponent inside log1p · case 04
Power increment moves the exponent inside log1p.
Power increment moves the exponent inside log1p · case 05
Power increment moves the exponent inside log1p.
Power increment drops the sign of its exponent · case 01
Power increment drops the sign of its exponent.
Power increment drops the sign of its exponent · case 02
Power increment drops the sign of its exponent.
Power increment drops the sign of its exponent · case 03
Power increment drops the sign of its exponent.
Power increment drops the sign of its exponent · case 04
Power increment drops the sign of its exponent.
Power increment drops the sign of its exponent · case 05
Power increment drops the sign of its exponent.
Power increment uses zero as its multiplicative identity · case 01
Power increment uses zero as its multiplicative identity.
Power increment uses zero as its multiplicative identity · case 02
Power increment uses zero as its multiplicative identity.
Power increment uses zero as its multiplicative identity · case 03
Power increment uses zero as its multiplicative identity.
Power increment uses zero as its multiplicative identity · case 04
Power increment uses zero as its multiplicative identity.
Power increment uses zero as its multiplicative identity · case 05
Power increment uses zero as its multiplicative identity.
Power increment reflects an invalid base into the real domain · case 01
Power increment reflects an invalid base into the real domain.
Power increment reflects an invalid base into the real domain · case 02
Power increment reflects an invalid base into the real domain.
Power increment reflects an invalid base into the real domain · case 03
Power increment reflects an invalid base into the real domain.
Power increment reflects an invalid base into the real domain · case 04
Power increment reflects an invalid base into the real domain.
Power increment reflects an invalid base into the real domain · case 05
Power increment reflects an invalid base into the real domain.
Exponential divided difference sets its coincident limit to zero · case 01
Exponential divided difference sets its coincident limit to zero.
Exponential divided difference sets its coincident limit to zero · case 02
Exponential divided difference sets its coincident limit to zero.
Exponential divided difference sets its coincident limit to zero · case 03
Exponential divided difference sets its coincident limit to zero.
Exponential divided difference sets its coincident limit to zero · case 04
Exponential divided difference sets its coincident limit to zero.
Exponential divided difference sets its coincident limit to zero · case 05
Exponential divided difference sets its coincident limit to zero.
Exponential divided difference subtracts close endpoint exponentials · case 01
Exponential divided difference subtracts close endpoint exponentials.
Exponential divided difference subtracts close endpoint exponentials · case 02
Exponential divided difference subtracts close endpoint exponentials.
Exponential divided difference subtracts close endpoint exponentials · case 03
Exponential divided difference subtracts close endpoint exponentials.
Exponential divided difference subtracts close endpoint exponentials · case 04
Exponential divided difference subtracts close endpoint exponentials.
Exponential divided difference subtracts close endpoint exponentials · case 05
Exponential divided difference subtracts close endpoint exponentials.
Exponential divided difference applies its factor at the wrong endpoint · case 01
Exponential divided difference applies its factor at the wrong endpoint.
Exponential divided difference applies its factor at the wrong endpoint · case 02
Exponential divided difference applies its factor at the wrong endpoint.
Exponential divided difference applies its factor at the wrong endpoint · case 03
Exponential divided difference applies its factor at the wrong endpoint.
Exponential divided difference applies its factor at the wrong endpoint · case 04
Exponential divided difference applies its factor at the wrong endpoint.
Exponential divided difference applies its factor at the wrong endpoint · case 05
Exponential divided difference applies its factor at the wrong endpoint.
Exponential divided difference divides by an unsigned separation · case 01
Exponential divided difference divides by an unsigned separation.
Exponential divided difference divides by an unsigned separation · case 02
Exponential divided difference divides by an unsigned separation.
Exponential divided difference divides by an unsigned separation · case 03
Exponential divided difference divides by an unsigned separation.
Exponential divided difference divides by an unsigned separation · case 04
Exponential divided difference divides by an unsigned separation.
Exponential divided difference divides by an unsigned separation · case 05
Exponential divided difference divides by an unsigned separation.
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 ↗