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
Complex exponential discards the sign of its phase · case 01
Complex exponential discards the sign of its phase.
Complex exponential discards the sign of its phase · case 02
Complex exponential discards the sign of its phase.
Complex exponential discards the sign of its phase · case 03
Complex exponential discards the sign of its phase.
Complex exponential discards the sign of its phase · case 04
Complex exponential discards the sign of its phase.
Complex exponential discards the sign of its phase · case 05
Complex exponential discards the sign of its phase.
Nearest floating remainder starts from floor-modulo residue · case 01
Nearest floating remainder starts from floor-modulo residue.
Nearest floating remainder starts from floor-modulo residue · case 02
Nearest floating remainder starts from floor-modulo residue.
Nearest floating remainder starts from floor-modulo residue · case 03
Nearest floating remainder starts from floor-modulo residue.
Nearest floating remainder starts from floor-modulo residue · case 04
Nearest floating remainder starts from floor-modulo residue.
Nearest floating remainder starts from floor-modulo residue · case 05
Nearest floating remainder starts from floor-modulo residue.
Nearest floating remainder rounds every quotient tie away from zero · case 01
Nearest floating remainder rounds every quotient tie away from zero.
Nearest floating remainder rounds every quotient tie away from zero · case 02
Nearest floating remainder rounds every quotient tie away from zero.
Nearest floating remainder rounds every quotient tie away from zero · case 03
Nearest floating remainder rounds every quotient tie away from zero.
Nearest floating remainder rounds every quotient tie away from zero · case 04
Nearest floating remainder rounds every quotient tie away from zero.
Nearest floating remainder rounds every quotient tie away from zero · case 05
Nearest floating remainder rounds every quotient tie away from zero.
Nearest floating remainder uses residual parity instead of quotient parity · case 01
Nearest floating remainder uses residual parity instead of quotient parity.
Nearest floating remainder uses residual parity instead of quotient parity · case 02
Nearest floating remainder uses residual parity instead of quotient parity.
Nearest floating remainder uses residual parity instead of quotient parity · case 03
Nearest floating remainder uses residual parity instead of quotient parity.
Nearest floating remainder uses residual parity instead of quotient parity · case 04
Nearest floating remainder uses residual parity instead of quotient parity.
Nearest floating remainder uses residual parity instead of quotient parity · case 05
Nearest floating remainder uses residual parity instead of quotient parity.
Nearest floating remainder subtracts a positive period for negative x · case 01
Nearest floating remainder subtracts a positive period for negative x.
Nearest floating remainder subtracts a positive period for negative x · case 02
Nearest floating remainder subtracts a positive period for negative x.
Nearest floating remainder subtracts a positive period for negative x · case 03
Nearest floating remainder subtracts a positive period for negative x.
Nearest floating remainder subtracts a positive period for negative x · case 04
Nearest floating remainder subtracts a positive period for negative x.
Nearest floating remainder subtracts a positive period for negative x · case 05
Nearest floating remainder subtracts a positive period for negative x.
Nearest floating remainder canonicalizes exact negative zero · case 01
Nearest floating remainder canonicalizes exact negative zero.
Nearest floating remainder canonicalizes exact negative zero · case 02
Nearest floating remainder canonicalizes exact negative zero.
Nearest floating remainder canonicalizes exact negative zero · case 03
Nearest floating remainder canonicalizes exact negative zero.
Nearest floating remainder canonicalizes exact negative zero · case 04
Nearest floating remainder canonicalizes exact negative zero.
Nearest floating remainder canonicalizes exact negative zero · case 05
Nearest floating remainder canonicalizes exact negative zero.
Nearest floating remainder compares by doubling a huge residue · case 01
Nearest floating remainder compares by doubling a huge residue.
Nearest floating remainder compares by doubling a huge residue · case 02
Nearest floating remainder compares by doubling a huge residue.
Nearest floating remainder compares by doubling a huge residue · case 03
Nearest floating remainder compares by doubling a huge residue.
Nearest floating remainder compares by doubling a huge residue · case 04
Nearest floating remainder compares by doubling a huge residue.
Nearest floating remainder compares by doubling a huge residue · case 05
Nearest floating remainder compares by doubling a huge residue.
Nearest floating remainder keeps the sign of the divisor · case 01
Nearest floating remainder keeps the sign of the divisor.
Nearest floating remainder keeps the sign of the divisor · case 02
Nearest floating remainder keeps the sign of the divisor.
Nearest floating remainder keeps the sign of the divisor · case 03
Nearest floating remainder keeps the sign of the divisor.
Nearest floating remainder keeps the sign of the divisor · case 04
Nearest floating remainder keeps the sign of the divisor.
Nearest floating remainder keeps the sign of the divisor · case 05
Nearest floating remainder keeps the sign of the divisor.
Cross-boot wall elapsed subtracts a monotonic checkpoint coordinate · case 01
The decoded time state disagrees with the explicit regression oracle for wall_delta.
Cross-boot wall elapsed subtracts a monotonic checkpoint coordinate · case 02
The decoded time state disagrees with the explicit regression oracle for wall_delta.
Cross-boot wall elapsed subtracts a monotonic checkpoint coordinate · case 03
The decoded time state disagrees with the explicit regression oracle for wall_delta.
Cross-boot wall elapsed subtracts a monotonic checkpoint coordinate · case 04
The decoded time state disagrees with the explicit regression oracle for wall_delta.
Cross-boot wall elapsed subtracts a monotonic checkpoint coordinate · case 05
The decoded time state disagrees with the explicit regression oracle for wall_delta.
Monotonic displacement reverses checkpoint subtraction · case 01
The decoded time state disagrees with the explicit regression oracle for mono_delta.
Monotonic displacement reverses checkpoint subtraction · case 02
The decoded time state disagrees with the explicit regression oracle for mono_delta.
Monotonic displacement reverses checkpoint subtraction · case 03
The decoded time state disagrees with the explicit regression oracle for mono_delta.
Monotonic displacement reverses checkpoint subtraction · case 04
The decoded time state disagrees with the explicit regression oracle for mono_delta.
Monotonic displacement reverses checkpoint subtraction · case 05
The decoded time state disagrees with the explicit regression oracle for mono_delta.
Boot identity is ordered instead of compared · case 01
The decoded time state disagrees with the explicit regression oracle for reboot.
Boot identity is ordered instead of compared · case 02
The decoded time state disagrees with the explicit regression oracle for reboot.
Boot identity is ordered instead of compared · case 03
The decoded time state disagrees with the explicit regression oracle for reboot.
Boot identity is ordered instead of compared · case 04
The decoded time state disagrees with the explicit regression oracle for reboot.
Boot identity is ordered instead of compared · case 05
The decoded time state disagrees with the explicit regression oracle for reboot.
Restoration treats clock rollback as negative or positive elapsed time · case 01
The decoded time state disagrees with the explicit regression oracle for elapsed.
Restoration treats clock rollback as negative or positive elapsed time · case 02
The decoded time state disagrees with the explicit regression oracle for elapsed.
Restoration treats clock rollback as negative or positive elapsed time · case 03
The decoded time state disagrees with the explicit regression oracle for elapsed.
Restoration treats clock rollback as negative or positive elapsed time · case 04
The decoded time state disagrees with the explicit regression oracle for elapsed.
Restoration treats clock rollback as negative or positive elapsed time · case 05
The decoded time state disagrees with the explicit regression oracle for elapsed.
Suspended timer consumes checkpoint downtime · case 01
The decoded time state disagrees with the explicit regression oracle for consumed.
Suspended timer consumes checkpoint downtime · case 02
The decoded time state disagrees with the explicit regression oracle for consumed.
Suspended timer consumes checkpoint downtime · case 03
The decoded time state disagrees with the explicit regression oracle for consumed.
Suspended timer consumes checkpoint downtime · case 04
The decoded time state disagrees with the explicit regression oracle for consumed.
Suspended timer consumes checkpoint downtime · case 05
The decoded time state disagrees with the explicit regression oracle for consumed.
Exhausted countdown wraps into a new budget · case 01
The decoded time state disagrees with the explicit regression oracle for remaining.
Exhausted countdown wraps into a new budget · case 02
The decoded time state disagrees with the explicit regression oracle for remaining.
Exhausted countdown wraps into a new budget · case 03
The decoded time state disagrees with the explicit regression oracle for remaining.
Exhausted countdown wraps into a new budget · case 04
The decoded time state disagrees with the explicit regression oracle for remaining.
Exhausted countdown wraps into a new budget · case 05
The decoded time state disagrees with the explicit regression oracle for remaining.
Paused or exact-budget checkpoint is classified as expired · case 01
The decoded time state disagrees with the explicit regression oracle for expired.
Paused or exact-budget checkpoint is classified as expired · case 02
The decoded time state disagrees with the explicit regression oracle for expired.
Paused or exact-budget checkpoint is classified as expired · case 03
The decoded time state disagrees with the explicit regression oracle for expired.
Paused or exact-budget checkpoint is classified as expired · case 04
The decoded time state disagrees with the explicit regression oracle for expired.
Paused or exact-budget checkpoint is classified as expired · case 05
The decoded time state disagrees with the explicit regression oracle for expired.
Overdue accounting records remaining or total elapsed time · case 01
The decoded time state disagrees with the explicit regression oracle for overdue.
Overdue accounting records remaining or total elapsed time · case 02
The decoded time state disagrees with the explicit regression oracle for overdue.
Overdue accounting records remaining or total elapsed time · case 03
The decoded time state disagrees with the explicit regression oracle for overdue.
Overdue accounting records remaining or total elapsed time · case 04
The decoded time state disagrees with the explicit regression oracle for overdue.
Overdue accounting records remaining or total elapsed time · case 05
The decoded time state disagrees with the explicit regression oracle for overdue.
Restored deadline retains the old clock coordinate · case 01
The decoded time state disagrees with the explicit regression oracle for deadline.
Restored deadline retains the old clock coordinate · case 02
The decoded time state disagrees with the explicit regression oracle for deadline.
Restored deadline retains the old clock coordinate · case 03
The decoded time state disagrees with the explicit regression oracle for deadline.
Restored deadline retains the old clock coordinate · case 04
The decoded time state disagrees with the explicit regression oracle for deadline.
Restored deadline retains the old clock coordinate · case 05
The decoded time state disagrees with the explicit regression oracle for deadline.
Resumed timer base is reconstructed on the wrong side of now · case 01
The decoded time state disagrees with the explicit regression oracle for base.
Resumed timer base is reconstructed on the wrong side of now · case 02
The decoded time state disagrees with the explicit regression oracle for base.
Resumed timer base is reconstructed on the wrong side of now · case 03
The decoded time state disagrees with the explicit regression oracle for base.
Resumed timer base is reconstructed on the wrong side of now · case 04
The decoded time state disagrees with the explicit regression oracle for base.
Resumed timer base is reconstructed on the wrong side of now · case 05
The decoded time state disagrees with the explicit regression oracle for base.
Whole-second word reverses network byte order · case 01
The decoded time state disagrees with the explicit regression oracle for word.
Whole-second word reverses network byte order · case 02
The decoded time state disagrees with the explicit regression oracle for word.
Whole-second word reverses network byte order · case 03
The decoded time state disagrees with the explicit regression oracle for word.
Whole-second word reverses network byte order · case 04
The decoded time state disagrees with the explicit regression oracle for word.
Whole-second word reverses network byte order · case 05
The decoded time state disagrees with the explicit regression oracle for word.
Signed second word misses the minimum negative code · case 01
The decoded time state disagrees with the explicit regression oracle for seconds.
Signed second word misses the minimum negative code · case 02
The decoded time state disagrees with the explicit regression oracle for seconds.
Signed second word misses the minimum negative code · case 03
The decoded time state disagrees with the explicit regression oracle for seconds.
Signed second word misses the minimum negative code · case 04
The decoded time state disagrees with the explicit regression oracle for seconds.
Signed second word misses the minimum negative code · case 05
The decoded time state disagrees with the explicit regression oracle for seconds.
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 ↗