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
Late uncertainty uses the wrong oscillator bound · case 01
The decoded time state disagrees with the explicit regression oracle for late_growth.
Late uncertainty uses the wrong oscillator bound · case 02
The decoded time state disagrees with the explicit regression oracle for late_growth.
Late uncertainty uses the wrong oscillator bound · case 03
The decoded time state disagrees with the explicit regression oracle for late_growth.
Late uncertainty uses the wrong oscillator bound · case 04
The decoded time state disagrees with the explicit regression oracle for late_growth.
Late uncertainty uses the wrong oscillator bound · case 05
The decoded time state disagrees with the explicit regression oracle for late_growth.
Projection center loses elapsed-time direction · case 01
The decoded time state disagrees with the explicit regression oracle for center.
Projection center loses elapsed-time direction · case 02
The decoded time state disagrees with the explicit regression oracle for center.
Projection center loses elapsed-time direction · case 03
The decoded time state disagrees with the explicit regression oracle for center.
Projection center loses elapsed-time direction · case 04
The decoded time state disagrees with the explicit regression oracle for center.
Projection center loses elapsed-time direction · case 05
The decoded time state disagrees with the explicit regression oracle for center.
Lower clock bound contracts as oscillator uncertainty grows · case 01
The decoded time state disagrees with the explicit regression oracle for low.
Lower clock bound contracts as oscillator uncertainty grows · case 02
The decoded time state disagrees with the explicit regression oracle for low.
Lower clock bound contracts as oscillator uncertainty grows · case 03
The decoded time state disagrees with the explicit regression oracle for low.
Lower clock bound contracts as oscillator uncertainty grows · case 04
The decoded time state disagrees with the explicit regression oracle for low.
Lower clock bound contracts as oscillator uncertainty grows · case 05
The decoded time state disagrees with the explicit regression oracle for low.
Upper clock bound treats independent error as alternatives · case 01
The decoded time state disagrees with the explicit regression oracle for high.
Upper clock bound treats independent error as alternatives · case 02
The decoded time state disagrees with the explicit regression oracle for high.
Upper clock bound treats independent error as alternatives · case 03
The decoded time state disagrees with the explicit regression oracle for high.
Upper clock bound treats independent error as alternatives · case 04
The decoded time state disagrees with the explicit regression oracle for high.
Upper clock bound treats independent error as alternatives · case 05
The decoded time state disagrees with the explicit regression oracle for high.
Clock interval width is confused with radius · case 01
The decoded time state disagrees with the explicit regression oracle for width.
Clock interval width is confused with radius · case 02
The decoded time state disagrees with the explicit regression oracle for width.
Clock interval width is confused with radius · case 03
The decoded time state disagrees with the explicit regression oracle for width.
Clock interval width is confused with radius · case 04
The decoded time state disagrees with the explicit regression oracle for width.
Clock interval width is confused with radius · case 05
The decoded time state disagrees with the explicit regression oracle for width.
Epoch containment excludes endpoint or accepts every interval · case 01
The decoded time state disagrees with the explicit regression oracle for contains_zero.
Epoch containment excludes endpoint or accepts every interval · case 02
The decoded time state disagrees with the explicit regression oracle for contains_zero.
Epoch containment excludes endpoint or accepts every interval · case 03
The decoded time state disagrees with the explicit regression oracle for contains_zero.
Epoch containment excludes endpoint or accepts every interval · case 04
The decoded time state disagrees with the explicit regression oracle for contains_zero.
Epoch containment excludes endpoint or accepts every interval · case 05
The decoded time state disagrees with the explicit regression oracle for contains_zero.
Earliest possible duration uses the early clock endpoint · case 01
The decoded time state disagrees with the explicit regression oracle for earliest.
Earliest possible duration uses the early clock endpoint · case 02
The decoded time state disagrees with the explicit regression oracle for earliest.
Earliest possible duration uses the early clock endpoint · case 03
The decoded time state disagrees with the explicit regression oracle for earliest.
Earliest possible duration uses the early clock endpoint · case 04
The decoded time state disagrees with the explicit regression oracle for earliest.
Earliest possible duration uses the early clock endpoint · case 05
The decoded time state disagrees with the explicit regression oracle for earliest.
Latest possible duration loses signed direction · case 01
The decoded time state disagrees with the explicit regression oracle for latest.
Latest possible duration loses signed direction · case 02
The decoded time state disagrees with the explicit regression oracle for latest.
Latest possible duration loses signed direction · case 03
The decoded time state disagrees with the explicit regression oracle for latest.
Latest possible duration loses signed direction · case 04
The decoded time state disagrees with the explicit regression oracle for latest.
Latest possible duration loses signed direction · case 05
The decoded time state disagrees with the explicit regression oracle for latest.
Calibration baseline subtracts clock magnitudes instead of coordinates · case 01
The decoded time state disagrees with the explicit regression oracle for device_span.
Calibration baseline subtracts clock magnitudes instead of coordinates · case 02
The decoded time state disagrees with the explicit regression oracle for device_span.
Calibration baseline subtracts clock magnitudes instead of coordinates · case 03
The decoded time state disagrees with the explicit regression oracle for device_span.
Calibration baseline subtracts clock magnitudes instead of coordinates · case 04
The decoded time state disagrees with the explicit regression oracle for device_span.
Calibration baseline subtracts clock magnitudes instead of coordinates · case 05
The decoded time state disagrees with the explicit regression oracle for device_span.
Reference span mixes device and reference anchors · case 01
The decoded time state disagrees with the explicit regression oracle for reference_span.
Reference span mixes device and reference anchors · case 02
The decoded time state disagrees with the explicit regression oracle for reference_span.
Reference span mixes device and reference anchors · case 03
The decoded time state disagrees with the explicit regression oracle for reference_span.
Reference span mixes device and reference anchors · case 04
The decoded time state disagrees with the explicit regression oracle for reference_span.
Reference span mixes device and reference anchors · case 05
The decoded time state disagrees with the explicit regression oracle for reference_span.
Clock scale is inverted or prematurely truncated · case 01
The decoded time state disagrees with the explicit regression oracle for slope.
Clock scale is inverted or prematurely truncated · case 02
The decoded time state disagrees with the explicit regression oracle for slope.
Clock scale is inverted or prematurely truncated · case 03
The decoded time state disagrees with the explicit regression oracle for slope.
Clock scale is inverted or prematurely truncated · case 04
The decoded time state disagrees with the explicit regression oracle for slope.
Clock scale is inverted or prematurely truncated · case 05
The decoded time state disagrees with the explicit regression oracle for slope.
Inverse clock rate preserves forward orientation incorrectly · case 01
The decoded time state disagrees with the explicit regression oracle for reciprocal.
Inverse clock rate preserves forward orientation incorrectly · case 02
The decoded time state disagrees with the explicit regression oracle for reciprocal.
Inverse clock rate preserves forward orientation incorrectly · case 03
The decoded time state disagrees with the explicit regression oracle for reciprocal.
Inverse clock rate preserves forward orientation incorrectly · case 04
The decoded time state disagrees with the explicit regression oracle for reciprocal.
Inverse clock rate preserves forward orientation incorrectly · case 05
The decoded time state disagrees with the explicit regression oracle for reciprocal.
Calibration intercept fails to remove the device anchor · case 01
The decoded time state disagrees with the explicit regression oracle for intercept.
Calibration intercept fails to remove the device anchor · case 02
The decoded time state disagrees with the explicit regression oracle for intercept.
Calibration intercept fails to remove the device anchor · case 03
The decoded time state disagrees with the explicit regression oracle for intercept.
Calibration intercept fails to remove the device anchor · case 04
The decoded time state disagrees with the explicit regression oracle for intercept.
Calibration intercept fails to remove the device anchor · case 05
The decoded time state disagrees with the explicit regression oracle for intercept.
Clock bias is scaled a second time or discarded · case 01
The decoded time state disagrees with the explicit regression oracle for mapped.
Clock bias is scaled a second time or discarded · case 02
The decoded time state disagrees with the explicit regression oracle for mapped.
Clock bias is scaled a second time or discarded · case 03
The decoded time state disagrees with the explicit regression oracle for mapped.
Clock bias is scaled a second time or discarded · case 04
The decoded time state disagrees with the explicit regression oracle for mapped.
Clock bias is scaled a second time or discarded · case 05
The decoded time state disagrees with the explicit regression oracle for mapped.
Calibration residual loses signed observation-minus-prediction convention · case 01
The decoded time state disagrees with the explicit regression oracle for residual.
Calibration residual loses signed observation-minus-prediction convention · case 02
The decoded time state disagrees with the explicit regression oracle for residual.
Calibration residual loses signed observation-minus-prediction convention · case 03
The decoded time state disagrees with the explicit regression oracle for residual.
Calibration residual loses signed observation-minus-prediction convention · case 04
The decoded time state disagrees with the explicit regression oracle for residual.
Calibration residual loses signed observation-minus-prediction convention · case 05
The decoded time state disagrees with the explicit regression oracle for residual.
Inverse mapping removes bias after rate conversion · case 01
The decoded time state disagrees with the explicit regression oracle for inverse.
Inverse mapping removes bias after rate conversion · case 02
The decoded time state disagrees with the explicit regression oracle for inverse.
Inverse mapping removes bias after rate conversion · case 03
The decoded time state disagrees with the explicit regression oracle for inverse.
Inverse mapping removes bias after rate conversion · case 04
The decoded time state disagrees with the explicit regression oracle for inverse.
Inverse mapping removes bias after rate conversion · case 05
The decoded time state disagrees with the explicit regression oracle for inverse.
Interpolation position uses absolute reading or reference span · case 01
The decoded time state disagrees with the explicit regression oracle for fraction.
Interpolation position uses absolute reading or reference span · case 02
The decoded time state disagrees with the explicit regression oracle for fraction.
Interpolation position uses absolute reading or reference span · case 03
The decoded time state disagrees with the explicit regression oracle for fraction.
Interpolation position uses absolute reading or reference span · case 04
The decoded time state disagrees with the explicit regression oracle for fraction.
Interpolation position uses absolute reading or reference span · case 05
The decoded time state disagrees with the explicit regression oracle for fraction.
Calibration support classifies anchors as extrapolation · case 01
The decoded time state disagrees with the explicit regression oracle for direction.
Calibration support classifies anchors as extrapolation · case 02
The decoded time state disagrees with the explicit regression oracle for direction.
Calibration support classifies anchors as extrapolation · case 03
The decoded time state disagrees with the explicit regression oracle for direction.
Calibration support classifies anchors as extrapolation · case 04
The decoded time state disagrees with the explicit regression oracle for direction.
Calibration support classifies anchors as extrapolation · case 05
The decoded time state disagrees with the explicit regression oracle for direction.
Negative phase debt contributes a negative correction magnitude · case 01
The decoded time state disagrees with the explicit regression oracle for magnitude.
Negative phase debt contributes a negative correction magnitude · case 02
The decoded time state disagrees with the explicit regression oracle for magnitude.
Negative phase debt contributes a negative correction magnitude · case 03
The decoded time state disagrees with the explicit regression oracle for magnitude.
Negative phase debt contributes a negative correction magnitude · case 04
The decoded time state disagrees with the explicit regression oracle for magnitude.
Negative phase debt contributes a negative correction magnitude · case 05
The decoded time state disagrees with the explicit regression oracle for magnitude.
Slew capacity ignores elapsed sampling duration · case 01
The decoded time state disagrees with the explicit regression oracle for capacity.
Slew capacity ignores elapsed sampling duration · case 02
The decoded time state disagrees with the explicit regression oracle for capacity.
Slew capacity ignores elapsed sampling duration · case 03
The decoded time state disagrees with the explicit regression oracle for capacity.
Slew capacity ignores elapsed sampling duration · case 04
The decoded time state disagrees with the explicit regression oracle for capacity.
Slew capacity ignores elapsed sampling duration · case 05
The decoded time state disagrees with the explicit regression oracle for capacity.
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 ↗