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
Fraction word loses its byte place value · case 01
The decoded time state disagrees with the explicit regression oracle for fraction.
Fraction word loses its byte place value · case 02
The decoded time state disagrees with the explicit regression oracle for fraction.
Fraction word loses its byte place value · case 03
The decoded time state disagrees with the explicit regression oracle for fraction.
Fraction word loses its byte place value · case 04
The decoded time state disagrees with the explicit regression oracle for fraction.
Fraction word loses its byte place value · case 05
The decoded time state disagrees with the explicit regression oracle for fraction.
Fraction validator confuses the reserved endpoint · case 01
The decoded time state disagrees with the explicit regression oracle for valid.
Fraction validator confuses the reserved endpoint · case 02
The decoded time state disagrees with the explicit regression oracle for valid.
Fraction validator confuses the reserved endpoint · case 03
The decoded time state disagrees with the explicit regression oracle for valid.
Fraction validator confuses the reserved endpoint · case 04
The decoded time state disagrees with the explicit regression oracle for valid.
Fraction validator confuses the reserved endpoint · case 05
The decoded time state disagrees with the explicit regression oracle for valid.
Fraction offset is subtracted from signed whole seconds · case 01
The decoded time state disagrees with the explicit regression oracle for total.
Fraction offset is subtracted from signed whole seconds · case 02
The decoded time state disagrees with the explicit regression oracle for total.
Fraction offset is subtracted from signed whole seconds · case 03
The decoded time state disagrees with the explicit regression oracle for total.
Fraction offset is subtracted from signed whole seconds · case 04
The decoded time state disagrees with the explicit regression oracle for total.
Fraction offset is subtracted from signed whole seconds · case 05
The decoded time state disagrees with the explicit regression oracle for total.
Timestamp sign marker misses the minimum code or negative subsecond instants · case 01
The decoded time state disagrees with the explicit regression oracle for negative.
Timestamp sign marker misses the minimum code or negative subsecond instants · case 02
The decoded time state disagrees with the explicit regression oracle for negative.
Timestamp sign marker misses the minimum code or negative subsecond instants · case 03
The decoded time state disagrees with the explicit regression oracle for negative.
Timestamp sign marker misses the minimum code or negative subsecond instants · case 04
The decoded time state disagrees with the explicit regression oracle for negative.
Timestamp sign marker misses the minimum code or negative subsecond instants · case 05
The decoded time state disagrees with the explicit regression oracle for negative.
Magnitude fails to complement a negative fractional instant · case 01
The decoded time state disagrees with the explicit regression oracle for magnitude.
Magnitude fails to complement a negative fractional instant · case 02
The decoded time state disagrees with the explicit regression oracle for magnitude.
Magnitude fails to complement a negative fractional instant · case 03
The decoded time state disagrees with the explicit regression oracle for magnitude.
Magnitude fails to complement a negative fractional instant · case 04
The decoded time state disagrees with the explicit regression oracle for magnitude.
Magnitude fails to complement a negative fractional instant · case 05
The decoded time state disagrees with the explicit regression oracle for magnitude.
Whole display field uses residue or upward rounding · case 01
The decoded time state disagrees with the explicit regression oracle for whole.
Whole display field uses residue or upward rounding · case 02
The decoded time state disagrees with the explicit regression oracle for whole.
Whole display field uses residue or upward rounding · case 03
The decoded time state disagrees with the explicit regression oracle for whole.
Whole display field uses residue or upward rounding · case 04
The decoded time state disagrees with the explicit regression oracle for whole.
Whole display field uses residue or upward rounding · case 05
The decoded time state disagrees with the explicit regression oracle for whole.
Negative instant fractional display is copied from wire fraction · case 01
The decoded time state disagrees with the explicit regression oracle for part.
Negative instant fractional display is copied from wire fraction · case 02
The decoded time state disagrees with the explicit regression oracle for part.
Negative instant fractional display is copied from wire fraction · case 03
The decoded time state disagrees with the explicit regression oracle for part.
Negative instant fractional display is copied from wire fraction · case 04
The decoded time state disagrees with the explicit regression oracle for part.
Negative instant fractional display is copied from wire fraction · case 05
The decoded time state disagrees with the explicit regression oracle for part.
One-tick increment misses fractional carry · case 01
The decoded time state disagrees with the explicit regression oracle for next_second.
One-tick increment misses fractional carry · case 02
The decoded time state disagrees with the explicit regression oracle for next_second.
One-tick increment misses fractional carry · case 03
The decoded time state disagrees with the explicit regression oracle for next_second.
One-tick increment misses fractional carry · case 04
The decoded time state disagrees with the explicit regression oracle for next_second.
One-tick increment misses fractional carry · case 05
The decoded time state disagrees with the explicit regression oracle for next_second.
Pending overflow is assigned to a pre-wrap capture · case 01
The decoded time state disagrees with the explicit regression oracle for epoch.
Pending overflow is assigned to a pre-wrap capture · case 02
The decoded time state disagrees with the explicit regression oracle for epoch.
Pending overflow is assigned to a pre-wrap capture · case 03
The decoded time state disagrees with the explicit regression oracle for epoch.
Pending overflow is assigned to a pre-wrap capture · case 04
The decoded time state disagrees with the explicit regression oracle for epoch.
Pending overflow is assigned to a pre-wrap capture · case 05
The decoded time state disagrees with the explicit regression oracle for epoch.
Serviced overflow is not backed out for an earlier high capture · case 01
The decoded time state disagrees with the explicit regression oracle for previous_epoch.
Serviced overflow is not backed out for an earlier high capture · case 02
The decoded time state disagrees with the explicit regression oracle for previous_epoch.
Serviced overflow is not backed out for an earlier high capture · case 03
The decoded time state disagrees with the explicit regression oracle for previous_epoch.
Serviced overflow is not backed out for an earlier high capture · case 04
The decoded time state disagrees with the explicit regression oracle for previous_epoch.
Serviced overflow is not backed out for an earlier high capture · case 05
The decoded time state disagrees with the explicit regression oracle for previous_epoch.
Expanded capture loses the high counter bit · case 01
The decoded time state disagrees with the explicit regression oracle for expanded.
Expanded capture loses the high counter bit · case 02
The decoded time state disagrees with the explicit regression oracle for expanded.
Expanded capture loses the high counter bit · case 03
The decoded time state disagrees with the explicit regression oracle for expanded.
Expanded capture loses the high counter bit · case 04
The decoded time state disagrees with the explicit regression oracle for expanded.
Expanded capture loses the high counter bit · case 05
The decoded time state disagrees with the explicit regression oracle for expanded.
Interval silently discards complete hardware epochs · case 01
The decoded time state disagrees with the explicit regression oracle for delta.
Interval silently discards complete hardware epochs · case 02
The decoded time state disagrees with the explicit regression oracle for delta.
Interval silently discards complete hardware epochs · case 03
The decoded time state disagrees with the explicit regression oracle for delta.
Interval silently discards complete hardware epochs · case 04
The decoded time state disagrees with the explicit regression oracle for delta.
Interval silently discards complete hardware epochs · case 05
The decoded time state disagrees with the explicit regression oracle for delta.
Coincident or reordered capture has incorrect forward classification · case 01
The decoded time state disagrees with the explicit regression oracle for forward.
Coincident or reordered capture has incorrect forward classification · case 02
The decoded time state disagrees with the explicit regression oracle for forward.
Coincident or reordered capture has incorrect forward classification · case 03
The decoded time state disagrees with the explicit regression oracle for forward.
Coincident or reordered capture has incorrect forward classification · case 04
The decoded time state disagrees with the explicit regression oracle for forward.
Coincident or reordered capture has incorrect forward classification · case 05
The decoded time state disagrees with the explicit regression oracle for forward.
Bounded interval accepts reversed capture or rejects exact limit · case 01
The decoded time state disagrees with the explicit regression oracle for within.
Bounded interval accepts reversed capture or rejects exact limit · case 02
The decoded time state disagrees with the explicit regression oracle for within.
Bounded interval accepts reversed capture or rejects exact limit · case 03
The decoded time state disagrees with the explicit regression oracle for within.
Bounded interval accepts reversed capture or rejects exact limit · case 04
The decoded time state disagrees with the explicit regression oracle for within.
Bounded interval accepts reversed capture or rejects exact limit · case 05
The decoded time state disagrees with the explicit regression oracle for within.
Epoch crossings are inferred from duration or a single wrap bit · case 01
The decoded time state disagrees with the explicit regression oracle for wraps.
Epoch crossings are inferred from duration or a single wrap bit · case 02
The decoded time state disagrees with the explicit regression oracle for wraps.
Epoch crossings are inferred from duration or a single wrap bit · case 03
The decoded time state disagrees with the explicit regression oracle for wraps.
Epoch crossings are inferred from duration or a single wrap bit · case 04
The decoded time state disagrees with the explicit regression oracle for wraps.
Epoch crossings are inferred from duration or a single wrap bit · case 05
The decoded time state disagrees with the explicit regression oracle for wraps.
External phase grid is confused with hardware counter modulus · case 01
The decoded time state disagrees with the explicit regression oracle for phase.
External phase grid is confused with hardware counter modulus · case 02
The decoded time state disagrees with the explicit regression oracle for phase.
External phase grid is confused with hardware counter modulus · case 03
The decoded time state disagrees with the explicit regression oracle for phase.
External phase grid is confused with hardware counter modulus · case 04
The decoded time state disagrees with the explicit regression oracle for phase.
External phase grid is confused with hardware counter modulus · case 05
The decoded time state disagrees with the explicit regression oracle for phase.
Grid-cycle index is rounded ahead of current capture · case 01
The decoded time state disagrees with the explicit regression oracle for cycles.
Grid-cycle index is rounded ahead of current capture · case 02
The decoded time state disagrees with the explicit regression oracle for cycles.
Grid-cycle index is rounded ahead of current capture · case 03
The decoded time state disagrees with the explicit regression oracle for cycles.
Grid-cycle index is rounded ahead of current capture · case 04
The decoded time state disagrees with the explicit regression oracle for cycles.
Grid-cycle index is rounded ahead of current capture · case 05
The decoded time state disagrees with the explicit regression oracle for cycles.
Next grid edge is relative to capture rather than grid origin · case 01
The decoded time state disagrees with the explicit regression oracle for next_edge.
Next grid edge is relative to capture rather than grid origin · case 02
The decoded time state disagrees with the explicit regression oracle for next_edge.
Next grid edge is relative to capture rather than grid origin · case 03
The decoded time state disagrees with the explicit regression oracle for next_edge.
Next grid edge is relative to capture rather than grid origin · case 04
The decoded time state disagrees with the explicit regression oracle for next_edge.
Next grid edge is relative to capture rather than grid origin · case 05
The decoded time state disagrees with the explicit regression oracle for next_edge.
Backward projection suppresses oscillator error growth · case 01
The decoded time state disagrees with the explicit regression oracle for age.
Backward projection suppresses oscillator error growth · case 02
The decoded time state disagrees with the explicit regression oracle for age.
Backward projection suppresses oscillator error growth · case 03
The decoded time state disagrees with the explicit regression oracle for age.
Backward projection suppresses oscillator error growth · case 04
The decoded time state disagrees with the explicit regression oracle for age.
Backward projection suppresses oscillator error growth · case 05
The decoded time state disagrees with the explicit regression oracle for age.
Early uncertainty rounds inward or borrows late drift rate · case 01
The decoded time state disagrees with the explicit regression oracle for early_growth.
Early uncertainty rounds inward or borrows late drift rate · case 02
The decoded time state disagrees with the explicit regression oracle for early_growth.
Early uncertainty rounds inward or borrows late drift rate · case 03
The decoded time state disagrees with the explicit regression oracle for early_growth.
Early uncertainty rounds inward or borrows late drift rate · case 04
The decoded time state disagrees with the explicit regression oracle for early_growth.
Early uncertainty rounds inward or borrows late drift rate · case 05
The decoded time state disagrees with the explicit regression oracle for early_growth.
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 ↗