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
Civil predecessor uses current offset across step or freezes historical offset · case 01
The decoded time state disagrees with the explicit regression oracle for previous_offset.
Civil predecessor uses current offset across step or freezes historical offset · case 02
The decoded time state disagrees with the explicit regression oracle for previous_offset.
Civil predecessor uses current offset across step or freezes historical offset · case 03
The decoded time state disagrees with the explicit regression oracle for previous_offset.
Civil predecessor uses current offset across step or freezes historical offset · case 04
The decoded time state disagrees with the explicit regression oracle for previous_offset.
Civil predecessor uses current offset across step or freezes historical offset · case 05
The decoded time state disagrees with the explicit regression oracle for previous_offset.
Civil predecessor erases actual discontinuity · case 01
The decoded time state disagrees with the explicit regression oracle for previous_label.
Civil predecessor erases actual discontinuity · case 02
The decoded time state disagrees with the explicit regression oracle for previous_label.
Civil predecessor erases actual discontinuity · case 03
The decoded time state disagrees with the explicit regression oracle for previous_label.
Civil predecessor erases actual discontinuity · case 04
The decoded time state disagrees with the explicit regression oracle for previous_label.
Civil predecessor erases actual discontinuity · case 05
The decoded time state disagrees with the explicit regression oracle for previous_label.
Offset step magnitude uses absolute offset or opposite orientation · case 01
The decoded time state disagrees with the explicit regression oracle for step.
Offset step magnitude uses absolute offset or opposite orientation · case 02
The decoded time state disagrees with the explicit regression oracle for step.
Offset step magnitude uses absolute offset or opposite orientation · case 03
The decoded time state disagrees with the explicit regression oracle for step.
Offset step magnitude uses absolute offset or opposite orientation · case 04
The decoded time state disagrees with the explicit regression oracle for step.
Offset step magnitude uses absolute offset or opposite orientation · case 05
The decoded time state disagrees with the explicit regression oracle for step.
Civil label discontinuity is clamped to forward progress or loses backward jump sign · case 01
The decoded time state disagrees with the explicit regression oracle for label_delta.
Civil label discontinuity is clamped to forward progress or loses backward jump sign · case 02
The decoded time state disagrees with the explicit regression oracle for label_delta.
Civil label discontinuity is clamped to forward progress or loses backward jump sign · case 03
The decoded time state disagrees with the explicit regression oracle for label_delta.
Civil label discontinuity is clamped to forward progress or loses backward jump sign · case 04
The decoded time state disagrees with the explicit regression oracle for label_delta.
Civil label discontinuity is clamped to forward progress or loses backward jump sign · case 05
The decoded time state disagrees with the explicit regression oracle for label_delta.
Atomic fold tag persists forever or shifts its endpoint ownership · case 01
The decoded time state disagrees with the explicit regression oracle for fold.
Atomic fold tag persists forever or shifts its endpoint ownership · case 02
The decoded time state disagrees with the explicit regression oracle for fold.
Atomic fold tag persists forever or shifts its endpoint ownership · case 03
The decoded time state disagrees with the explicit regression oracle for fold.
Atomic fold tag persists forever or shifts its endpoint ownership · case 04
The decoded time state disagrees with the explicit regression oracle for fold.
Atomic fold tag persists forever or shifts its endpoint ownership · case 05
The decoded time state disagrees with the explicit regression oracle for fold.
Negative-step gap marker labels every later atomic tick · case 01
The decoded time state disagrees with the explicit regression oracle for gap.
Negative-step gap marker labels every later atomic tick · case 02
The decoded time state disagrees with the explicit regression oracle for gap.
Negative-step gap marker labels every later atomic tick · case 03
The decoded time state disagrees with the explicit regression oracle for gap.
Negative-step gap marker labels every later atomic tick · case 04
The decoded time state disagrees with the explicit regression oracle for gap.
Negative-step gap marker labels every later atomic tick · case 05
The decoded time state disagrees with the explicit regression oracle for gap.
Offset-step direction loses negative or zero distinction · case 01
The decoded time state disagrees with the explicit regression oracle for direction.
Offset-step direction loses negative or zero distinction · case 02
The decoded time state disagrees with the explicit regression oracle for direction.
Offset-step direction loses negative or zero distinction · case 03
The decoded time state disagrees with the explicit regression oracle for direction.
Offset-step direction loses negative or zero distinction · case 04
The decoded time state disagrees with the explicit regression oracle for direction.
Offset-step direction loses negative or zero distinction · case 05
The decoded time state disagrees with the explicit regression oracle for direction.
Tagged civil roundtrip discards active offset table branch · case 01
The decoded time state disagrees with the explicit regression oracle for reconstructed.
Tagged civil roundtrip discards active offset table branch · case 02
The decoded time state disagrees with the explicit regression oracle for reconstructed.
Tagged civil roundtrip discards active offset table branch · case 03
The decoded time state disagrees with the explicit regression oracle for reconstructed.
Tagged civil roundtrip discards active offset table branch · case 04
The decoded time state disagrees with the explicit regression oracle for reconstructed.
Tagged civil roundtrip discards active offset table branch · case 05
The decoded time state disagrees with the explicit regression oracle for reconstructed.
Epoch adapter subtracts epoch in seconds from nanosecond coordinate · case 01
The decoded time state disagrees with the explicit regression oracle for relative.
Epoch adapter subtracts epoch in seconds from nanosecond coordinate · case 02
The decoded time state disagrees with the explicit regression oracle for relative.
Epoch adapter subtracts epoch in seconds from nanosecond coordinate · case 03
The decoded time state disagrees with the explicit regression oracle for relative.
Epoch adapter subtracts epoch in seconds from nanosecond coordinate · case 04
The decoded time state disagrees with the explicit regression oracle for relative.
Epoch adapter subtracts epoch in seconds from nanosecond coordinate · case 05
The decoded time state disagrees with the explicit regression oracle for relative.
Epoch adapter wraps or clamps seconds before representability admission · case 01
The decoded time state disagrees with the explicit regression oracle for seconds.
Epoch adapter wraps or clamps seconds before representability admission · case 02
The decoded time state disagrees with the explicit regression oracle for seconds.
Epoch adapter wraps or clamps seconds before representability admission · case 03
The decoded time state disagrees with the explicit regression oracle for seconds.
Epoch adapter wraps or clamps seconds before representability admission · case 04
The decoded time state disagrees with the explicit regression oracle for seconds.
Epoch adapter wraps or clamps seconds before representability admission · case 05
The decoded time state disagrees with the explicit regression oracle for seconds.
Epoch fraction uses signed magnitude or microsecond modulus · case 01
The decoded time state disagrees with the explicit regression oracle for fraction.
Epoch fraction uses signed magnitude or microsecond modulus · case 02
The decoded time state disagrees with the explicit regression oracle for fraction.
Epoch fraction uses signed magnitude or microsecond modulus · case 03
The decoded time state disagrees with the explicit regression oracle for fraction.
Epoch fraction uses signed magnitude or microsecond modulus · case 04
The decoded time state disagrees with the explicit regression oracle for fraction.
Epoch fraction uses signed magnitude or microsecond modulus · case 05
The decoded time state disagrees with the explicit regression oracle for fraction.
Epoch range check mishandles asymmetric signed bounds · case 01
The decoded time state disagrees with the explicit regression oracle for in_range.
Epoch range check mishandles asymmetric signed bounds · case 02
The decoded time state disagrees with the explicit regression oracle for in_range.
Epoch range check mishandles asymmetric signed bounds · case 03
The decoded time state disagrees with the explicit regression oracle for in_range.
Epoch range check mishandles asymmetric signed bounds · case 04
The decoded time state disagrees with the explicit regression oracle for in_range.
Epoch range check mishandles asymmetric signed bounds · case 05
The decoded time state disagrees with the explicit regression oracle for in_range.
Biased epoch wire word is encoded as twos complement or signed integer · case 01
The decoded time state disagrees with the explicit regression oracle for word.
Biased epoch wire word is encoded as twos complement or signed integer · case 02
The decoded time state disagrees with the explicit regression oracle for word.
Biased epoch wire word is encoded as twos complement or signed integer · case 03
The decoded time state disagrees with the explicit regression oracle for word.
Biased epoch wire word is encoded as twos complement or signed integer · case 04
The decoded time state disagrees with the explicit regression oracle for word.
Biased epoch wire word is encoded as twos complement or signed integer · case 05
The decoded time state disagrees with the explicit regression oracle for word.
Saturation minimum loses epoch origin or valid most-negative second · case 01
The decoded time state disagrees with the explicit regression oracle for low.
Saturation minimum loses epoch origin or valid most-negative second · case 02
The decoded time state disagrees with the explicit regression oracle for low.
Saturation minimum loses epoch origin or valid most-negative second · case 03
The decoded time state disagrees with the explicit regression oracle for low.
Saturation minimum loses epoch origin or valid most-negative second · case 04
The decoded time state disagrees with the explicit regression oracle for low.
Saturation minimum loses epoch origin or valid most-negative second · case 05
The decoded time state disagrees with the explicit regression oracle for low.
Saturation maximum omits fractional tail or admits next epoch second · case 01
The decoded time state disagrees with the explicit regression oracle for high.
Saturation maximum omits fractional tail or admits next epoch second · case 02
The decoded time state disagrees with the explicit regression oracle for high.
Saturation maximum omits fractional tail or admits next epoch second · case 03
The decoded time state disagrees with the explicit regression oracle for high.
Saturation maximum omits fractional tail or admits next epoch second · case 04
The decoded time state disagrees with the explicit regression oracle for high.
Saturation maximum omits fractional tail or admits next epoch second · case 05
The decoded time state disagrees with the explicit regression oracle for high.
Timestamp saturation enforces only one representability bound · case 01
The decoded time state disagrees with the explicit regression oracle for clamped.
Timestamp saturation enforces only one representability bound · case 02
The decoded time state disagrees with the explicit regression oracle for clamped.
Timestamp saturation enforces only one representability bound · case 03
The decoded time state disagrees with the explicit regression oracle for clamped.
Timestamp saturation enforces only one representability bound · case 04
The decoded time state disagrees with the explicit regression oracle for clamped.
Timestamp saturation enforces only one representability bound · case 05
The decoded time state disagrees with the explicit regression oracle for clamped.
Saturation loss loses direction or reverses discarded displacement · case 01
The decoded time state disagrees with the explicit regression oracle for lost.
Saturation loss loses direction or reverses discarded displacement · case 02
The decoded time state disagrees with the explicit regression oracle for lost.
Saturation loss loses direction or reverses discarded displacement · case 03
The decoded time state disagrees with the explicit regression oracle for lost.
Saturation loss loses direction or reverses discarded displacement · case 04
The decoded time state disagrees with the explicit regression oracle for lost.
Saturation loss loses direction or reverses discarded displacement · case 05
The decoded time state disagrees with the explicit regression oracle for lost.
Epoch reconstruction forgets bias or absolute epoch · case 01
The decoded time state disagrees with the explicit regression oracle for roundtrip.
Epoch reconstruction forgets bias or absolute epoch · case 02
The decoded time state disagrees with the explicit regression oracle for roundtrip.
Epoch reconstruction forgets bias or absolute epoch · case 03
The decoded time state disagrees with the explicit regression oracle for roundtrip.
Epoch reconstruction forgets bias or absolute epoch · case 04
The decoded time state disagrees with the explicit regression oracle for roundtrip.
Epoch reconstruction forgets bias or absolute epoch · case 05
The decoded time state disagrees with the explicit regression oracle for roundtrip.
Offset parser accepts whitespace or lowercase marker despite exact wire grammar · case 01
The decoded time state disagrees with the explicit regression oracle for text.
Offset parser accepts whitespace or lowercase marker despite exact wire grammar · case 02
The decoded time state disagrees with the explicit regression oracle for text.
Offset parser accepts whitespace or lowercase marker despite exact wire grammar · case 03
The decoded time state disagrees with the explicit regression oracle for text.
Offset parser accepts whitespace or lowercase marker despite exact wire grammar · case 04
The decoded time state disagrees with the explicit regression oracle for text.
Offset parser accepts whitespace or lowercase marker despite exact wire grammar · case 05
The decoded time state disagrees with the explicit regression oracle for text.
Offset marker admission accepts a presentation alias · case 01
The decoded time state disagrees with the explicit regression oracle for zulu.
Offset marker admission accepts a presentation alias · case 02
The decoded time state disagrees with the explicit regression oracle for zulu.
Offset marker admission accepts a presentation alias · case 03
The decoded time state disagrees with the explicit regression oracle for zulu.
Offset marker admission accepts a presentation alias · case 04
The decoded time state disagrees with the explicit regression oracle for zulu.
Offset marker admission accepts a presentation alias · case 05
The decoded time state disagrees with the explicit regression oracle for zulu.
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 ↗