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 fraction inherits signed remainder or unshifted day number · case 01
The decoded time state disagrees with the explicit regression oracle for fraction.
Civil fraction inherits signed remainder or unshifted day number · case 02
The decoded time state disagrees with the explicit regression oracle for fraction.
Civil fraction inherits signed remainder or unshifted day number · case 03
The decoded time state disagrees with the explicit regression oracle for fraction.
Civil fraction inherits signed remainder or unshifted day number · case 04
The decoded time state disagrees with the explicit regression oracle for fraction.
Civil fraction inherits signed remainder or unshifted day number · case 05
The decoded time state disagrees with the explicit regression oracle for fraction.
Day-fraction conversion halves day length or discards subsecond fraction · case 01
The decoded time state disagrees with the explicit regression oracle for tick.
Day-fraction conversion halves day length or discards subsecond fraction · case 02
The decoded time state disagrees with the explicit regression oracle for tick.
Day-fraction conversion halves day length or discards subsecond fraction · case 03
The decoded time state disagrees with the explicit regression oracle for tick.
Day-fraction conversion halves day length or discards subsecond fraction · case 04
The decoded time state disagrees with the explicit regression oracle for tick.
Day-fraction conversion halves day length or discards subsecond fraction · case 05
The decoded time state disagrees with the explicit regression oracle for tick.
Noon displacement keeps midnight reference or reverses sign · case 01
The decoded time state disagrees with the explicit regression oracle for noon_delta.
Noon displacement keeps midnight reference or reverses sign · case 02
The decoded time state disagrees with the explicit regression oracle for noon_delta.
Noon displacement keeps midnight reference or reverses sign · case 03
The decoded time state disagrees with the explicit regression oracle for noon_delta.
Noon displacement keeps midnight reference or reverses sign · case 04
The decoded time state disagrees with the explicit regression oracle for noon_delta.
Noon displacement keeps midnight reference or reverses sign · case 05
The decoded time state disagrees with the explicit regression oracle for noon_delta.
Modified day coordinate omits half-day epoch adjustment · case 01
The decoded time state disagrees with the explicit regression oracle for modified.
Modified day coordinate omits half-day epoch adjustment · case 02
The decoded time state disagrees with the explicit regression oracle for modified.
Modified day coordinate omits half-day epoch adjustment · case 03
The decoded time state disagrees with the explicit regression oracle for modified.
Modified day coordinate omits half-day epoch adjustment · case 04
The decoded time state disagrees with the explicit regression oracle for modified.
Modified day coordinate omits half-day epoch adjustment · case 05
The decoded time state disagrees with the explicit regression oracle for modified.
Astronomical roundtrip restores midnight origin or wrong daily scale · case 01
The decoded time state disagrees with the explicit regression oracle for roundtrip.
Astronomical roundtrip restores midnight origin or wrong daily scale · case 02
The decoded time state disagrees with the explicit regression oracle for roundtrip.
Astronomical roundtrip restores midnight origin or wrong daily scale · case 03
The decoded time state disagrees with the explicit regression oracle for roundtrip.
Astronomical roundtrip restores midnight origin or wrong daily scale · case 04
The decoded time state disagrees with the explicit regression oracle for roundtrip.
Astronomical roundtrip restores midnight origin or wrong daily scale · case 05
The decoded time state disagrees with the explicit regression oracle for roundtrip.
Noon classifier includes exact noon or tests epoch sign · case 01
The decoded time state disagrees with the explicit regression oracle for before_noon.
Noon classifier includes exact noon or tests epoch sign · case 02
The decoded time state disagrees with the explicit regression oracle for before_noon.
Noon classifier includes exact noon or tests epoch sign · case 03
The decoded time state disagrees with the explicit regression oracle for before_noon.
Noon classifier includes exact noon or tests epoch sign · case 04
The decoded time state disagrees with the explicit regression oracle for before_noon.
Noon classifier includes exact noon or tests epoch sign · case 05
The decoded time state disagrees with the explicit regression oracle for before_noon.
Next-noon selection ignores which half of civil day contains reading · case 01
The decoded time state disagrees with the explicit regression oracle for next_noon.
Next-noon selection ignores which half of civil day contains reading · case 02
The decoded time state disagrees with the explicit regression oracle for next_noon.
Next-noon selection ignores which half of civil day contains reading · case 03
The decoded time state disagrees with the explicit regression oracle for next_noon.
Next-noon selection ignores which half of civil day contains reading · case 04
The decoded time state disagrees with the explicit regression oracle for next_noon.
Next-noon selection ignores which half of civil day contains reading · case 05
The decoded time state disagrees with the explicit regression oracle for next_noon.
Noon countdown retains day units or masks a past selected noon · case 01
The decoded time state disagrees with the explicit regression oracle for until_noon.
Noon countdown retains day units or masks a past selected noon · case 02
The decoded time state disagrees with the explicit regression oracle for until_noon.
Noon countdown retains day units or masks a past selected noon · case 03
The decoded time state disagrees with the explicit regression oracle for until_noon.
Noon countdown retains day units or masks a past selected noon · case 04
The decoded time state disagrees with the explicit regression oracle for until_noon.
Noon countdown retains day units or masks a past selected noon · case 05
The decoded time state disagrees with the explicit regression oracle for until_noon.
End-of-day admission rejects legal twenty-four-hour label or admits hour twenty-five · case 01
The decoded time state disagrees with the explicit regression oracle for hour_ok.
End-of-day admission rejects legal twenty-four-hour label or admits hour twenty-five · case 02
The decoded time state disagrees with the explicit regression oracle for hour_ok.
End-of-day admission rejects legal twenty-four-hour label or admits hour twenty-five · case 03
The decoded time state disagrees with the explicit regression oracle for hour_ok.
End-of-day admission rejects legal twenty-four-hour label or admits hour twenty-five · case 04
The decoded time state disagrees with the explicit regression oracle for hour_ok.
End-of-day admission rejects legal twenty-four-hour label or admits hour twenty-five · case 05
The decoded time state disagrees with the explicit regression oracle for hour_ok.
Clock minute label admits sixty or negative values · case 01
The decoded time state disagrees with the explicit regression oracle for minute_ok.
Clock minute label admits sixty or negative values · case 02
The decoded time state disagrees with the explicit regression oracle for minute_ok.
Clock minute label admits sixty or negative values · case 03
The decoded time state disagrees with the explicit regression oracle for minute_ok.
Clock minute label admits sixty or negative values · case 04
The decoded time state disagrees with the explicit regression oracle for minute_ok.
Clock minute label admits sixty or negative values · case 05
The decoded time state disagrees with the explicit regression oracle for minute_ok.
Date-less clock accepts leap second without a leap table or negative second · case 01
The decoded time state disagrees with the explicit regression oracle for second_ok.
Date-less clock accepts leap second without a leap table or negative second · case 02
The decoded time state disagrees with the explicit regression oracle for second_ok.
Date-less clock accepts leap second without a leap table or negative second · case 03
The decoded time state disagrees with the explicit regression oracle for second_ok.
Date-less clock accepts leap second without a leap table or negative second · case 04
The decoded time state disagrees with the explicit regression oracle for second_ok.
Date-less clock accepts leap second without a leap table or negative second · case 05
The decoded time state disagrees with the explicit regression oracle for second_ok.
Clock fraction admits next whole second or negative residue · case 01
The decoded time state disagrees with the explicit regression oracle for fraction_ok.
Clock fraction admits next whole second or negative residue · case 02
The decoded time state disagrees with the explicit regression oracle for fraction_ok.
Clock fraction admits next whole second or negative residue · case 03
The decoded time state disagrees with the explicit regression oracle for fraction_ok.
Clock fraction admits next whole second or negative residue · case 04
The decoded time state disagrees with the explicit regression oracle for fraction_ok.
Clock fraction admits next whole second or negative residue · case 05
The decoded time state disagrees with the explicit regression oracle for fraction_ok.
End-of-day provenance mistakes midnight or final hour for hour twenty-four · case 01
The decoded time state disagrees with the explicit regression oracle for end_label.
End-of-day provenance mistakes midnight or final hour for hour twenty-four · case 02
The decoded time state disagrees with the explicit regression oracle for end_label.
End-of-day provenance mistakes midnight or final hour for hour twenty-four · case 03
The decoded time state disagrees with the explicit regression oracle for end_label.
End-of-day provenance mistakes midnight or final hour for hour twenty-four · case 04
The decoded time state disagrees with the explicit regression oracle for end_label.
End-of-day provenance mistakes midnight or final hour for hour twenty-four · case 05
The decoded time state disagrees with the explicit regression oracle for end_label.
Twenty-four-hour label permits nonzero seconds or fraction · case 01
The decoded time state disagrees with the explicit regression oracle for end_valid.
Twenty-four-hour label permits nonzero seconds or fraction · case 02
The decoded time state disagrees with the explicit regression oracle for end_valid.
Twenty-four-hour label permits nonzero seconds or fraction · case 03
The decoded time state disagrees with the explicit regression oracle for end_valid.
Twenty-four-hour label permits nonzero seconds or fraction · case 04
The decoded time state disagrees with the explicit regression oracle for end_valid.
Twenty-four-hour label permits nonzero seconds or fraction · case 05
The decoded time state disagrees with the explicit regression oracle for end_valid.
Final clock admission omits end-label or second-range validation · case 01
The decoded time state disagrees with the explicit regression oracle for valid.
Final clock admission omits end-label or second-range validation · case 02
The decoded time state disagrees with the explicit regression oracle for valid.
Final clock admission omits end-label or second-range validation · case 03
The decoded time state disagrees with the explicit regression oracle for valid.
Final clock admission omits end-label or second-range validation · case 04
The decoded time state disagrees with the explicit regression oracle for valid.
Final clock admission omits end-label or second-range validation · case 05
The decoded time state disagrees with the explicit regression oracle for valid.
End-of-day normalization fails day carry or carries every clock label · case 01
The decoded time state disagrees with the explicit regression oracle for day.
End-of-day normalization fails day carry or carries every clock label · case 02
The decoded time state disagrees with the explicit regression oracle for day.
End-of-day normalization fails day carry or carries every clock label · case 03
The decoded time state disagrees with the explicit regression oracle for day.
End-of-day normalization fails day carry or carries every clock label · case 04
The decoded time state disagrees with the explicit regression oracle for day.
End-of-day normalization fails day carry or carries every clock label · case 05
The decoded time state disagrees with the explicit regression oracle for day.
Normalized end-of-day hour remains twenty-four or wraps noon · case 01
The decoded time state disagrees with the explicit regression oracle for hour.
Normalized end-of-day hour remains twenty-four or wraps noon · case 02
The decoded time state disagrees with the explicit regression oracle for hour.
Normalized end-of-day hour remains twenty-four or wraps noon · case 03
The decoded time state disagrees with the explicit regression oracle for hour.
Normalized end-of-day hour remains twenty-four or wraps noon · case 04
The decoded time state disagrees with the explicit regression oracle for hour.
Normalized end-of-day hour remains twenty-four or wraps noon · case 05
The decoded time state disagrees with the explicit regression oracle for hour.
Canonical coordinate uses original day after carry or treats milliseconds as seconds · case 01
The decoded time state disagrees with the explicit regression oracle for coordinate.
Canonical coordinate uses original day after carry or treats milliseconds as seconds · case 02
The decoded time state disagrees with the explicit regression oracle for coordinate.
Canonical coordinate uses original day after carry or treats milliseconds as seconds · case 03
The decoded time state disagrees with the explicit regression oracle for coordinate.
Canonical coordinate uses original day after carry or treats milliseconds as seconds · case 04
The decoded time state disagrees with the explicit regression oracle for coordinate.
Canonical coordinate uses original day after carry or treats milliseconds as seconds · case 05
The decoded time state disagrees with the explicit regression oracle for coordinate.
Clock table trusts unknown publisher or prefix-matching identity · case 01
The decoded time state disagrees with the explicit regression oracle for identity.
Clock table trusts unknown publisher or prefix-matching identity · case 02
The decoded time state disagrees with the explicit regression oracle for identity.
Clock table trusts unknown publisher or prefix-matching identity · case 03
The decoded time state disagrees with the explicit regression oracle for identity.
Clock table trusts unknown publisher or prefix-matching identity · case 04
The decoded time state disagrees with the explicit regression oracle for identity.
Clock table trusts unknown publisher or prefix-matching identity · case 05
The decoded time state disagrees with the explicit regression oracle for identity.
Clock table rejects newer accepted version or accepts rollback · case 01
The decoded time state disagrees with the explicit regression oracle for version.
Clock table rejects newer accepted version or accepts rollback · case 02
The decoded time state disagrees with the explicit regression oracle for version.
Clock table rejects newer accepted version or accepts rollback · case 03
The decoded time state disagrees with the explicit regression oracle for version.
Clock table rejects newer accepted version or accepts rollback · case 04
The decoded time state disagrees with the explicit regression oracle for version.
Clock table rejects newer accepted version or accepts rollback · case 05
The decoded time state disagrees with the explicit regression oracle for version.
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 ↗