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
Volume-density added initial and gap reduction: added initial is rounded per actuation instead of in total · case 01
Variable initial green is one second short whenever the accumulated added initial is fractional.
Volume-density added initial and gap reduction: added initial is rounded per actuation instead of in total · case 02
Variable initial green is one second short whenever the accumulated added initial is fractional.
Volume-density added initial and gap reduction: added initial is rounded per actuation instead of in total · case 03
Variable initial green is one second short whenever the accumulated added initial is fractional.
Volume-density added initial and gap reduction: added initial is rounded per actuation instead of in total · case 04
Variable initial green is one second short whenever the accumulated added initial is fractional.
Volume-density added initial and gap reduction: added initial is rounded per actuation instead of in total · case 05
Variable initial green is one second short whenever the accumulated added initial is fractional.
Volume-density added initial and gap reduction: variable initial is not floored at min green · case 01
Volume-density added initial and gap reduction returns a wrong result when variable initial is not floored at min green.
Volume-density added initial and gap reduction: variable initial is not floored at min green · case 02
Volume-density added initial and gap reduction returns a wrong result when variable initial is not floored at min green.
Volume-density added initial and gap reduction: variable initial is not floored at min green · case 03
Volume-density added initial and gap reduction returns a wrong result when variable initial is not floored at min green.
Volume-density added initial and gap reduction: variable initial is not floored at min green · case 04
Volume-density added initial and gap reduction returns a wrong result when variable initial is not floored at min green.
Volume-density added initial and gap reduction: variable initial is not floored at min green · case 05
Volume-density added initial and gap reduction returns a wrong result when variable initial is not floored at min green.
Volume-density added initial and gap reduction: gap reduction is timed from green start · case 01
Volume-density added initial and gap reduction returns a wrong result when gap reduction is timed from green start.
Volume-density added initial and gap reduction: gap reduction is timed from green start · case 02
Volume-density added initial and gap reduction returns a wrong result when gap reduction is timed from green start.
Volume-density added initial and gap reduction: gap reduction is timed from green start · case 03
Volume-density added initial and gap reduction returns a wrong result when gap reduction is timed from green start.
Volume-density added initial and gap reduction: gap reduction is timed from green start · case 04
Volume-density added initial and gap reduction returns a wrong result when gap reduction is timed from green start.
Volume-density added initial and gap reduction: gap reduction is timed from green start · case 05
Volume-density added initial and gap reduction returns a wrong result when gap reduction is timed from green start.
Volume-density added initial and gap reduction: the reduction is quantised to whole reduction periods · case 01
Volume-density added initial and gap reduction returns a wrong result when the reduction is quantised to whole reduction periods.
Volume-density added initial and gap reduction: the reduction is quantised to whole reduction periods · case 02
Volume-density added initial and gap reduction returns a wrong result when the reduction is quantised to whole reduction periods.
Volume-density added initial and gap reduction: the reduction is quantised to whole reduction periods · case 03
Volume-density added initial and gap reduction returns a wrong result when the reduction is quantised to whole reduction periods.
Volume-density added initial and gap reduction: the reduction is quantised to whole reduction periods · case 04
Volume-density added initial and gap reduction returns a wrong result when the reduction is quantised to whole reduction periods.
Volume-density added initial and gap reduction: the reduction is quantised to whole reduction periods · case 05
Volume-density added initial and gap reduction returns a wrong result when the reduction is quantised to whole reduction periods.
Volume-density added initial and gap reduction: the minimum gap is reached after time_to_reduce alone · case 01
Volume-density added initial and gap reduction returns a wrong result when the minimum gap is reached after time_to_reduce alone.
Volume-density added initial and gap reduction: the minimum gap is reached after time_to_reduce alone · case 02
Volume-density added initial and gap reduction returns a wrong result when the minimum gap is reached after time_to_reduce alone.
Volume-density added initial and gap reduction: the minimum gap is reached after time_to_reduce alone · case 03
Volume-density added initial and gap reduction returns a wrong result when the minimum gap is reached after time_to_reduce alone.
Volume-density added initial and gap reduction: the minimum gap is reached after time_to_reduce alone · case 04
Volume-density added initial and gap reduction returns a wrong result when the minimum gap is reached after time_to_reduce alone.
Volume-density added initial and gap reduction: the minimum gap is reached after time_to_reduce alone · case 05
Volume-density added initial and gap reduction returns a wrong result when the minimum gap is reached after time_to_reduce alone.
Coordinated local cycle timer: the offset is added to the master clock · case 01
Coordinated local cycle timer returns a wrong result when the offset is added to the master clock.
Coordinated local cycle timer: the offset is added to the master clock · case 02
Coordinated local cycle timer returns a wrong result when the offset is added to the master clock.
Coordinated local cycle timer: the offset is added to the master clock · case 03
Coordinated local cycle timer returns a wrong result when the offset is added to the master clock.
Coordinated local cycle timer: the offset is added to the master clock · case 04
Coordinated local cycle timer returns a wrong result when the offset is added to the master clock.
Coordinated local cycle timer: the offset is added to the master clock · case 05
Coordinated local cycle timer returns a wrong result when the offset is added to the master clock.
Coordinated local cycle timer: end-of-green offsets are shifted in the wrong direction · case 01
Coordinated local cycle timer returns a wrong result when end-of-green offsets are shifted in the wrong direction.
Coordinated local cycle timer: end-of-green offsets are shifted in the wrong direction · case 02
Coordinated local cycle timer returns a wrong result when end-of-green offsets are shifted in the wrong direction.
Coordinated local cycle timer: end-of-green offsets are shifted in the wrong direction · case 03
Coordinated local cycle timer returns a wrong result when end-of-green offsets are shifted in the wrong direction.
Coordinated local cycle timer: end-of-green offsets are shifted in the wrong direction · case 04
Coordinated local cycle timer returns a wrong result when end-of-green offsets are shifted in the wrong direction.
Coordinated local cycle timer: end-of-green offsets are shifted in the wrong direction · case 05
Coordinated local cycle timer returns a wrong result when end-of-green offsets are shifted in the wrong direction.
Coordinated local cycle timer: only the yellow is subtracted from the split to find green end · case 01
Coordinated local cycle timer returns a wrong result when only the yellow is subtracted from the split to find green end.
Coordinated local cycle timer: only the yellow is subtracted from the split to find green end · case 02
Coordinated local cycle timer returns a wrong result when only the yellow is subtracted from the split to find green end.
Coordinated local cycle timer: only the yellow is subtracted from the split to find green end · case 03
Coordinated local cycle timer returns a wrong result when only the yellow is subtracted from the split to find green end.
Coordinated local cycle timer: only the yellow is subtracted from the split to find green end · case 04
Coordinated local cycle timer returns a wrong result when only the yellow is subtracted from the split to find green end.
Coordinated local cycle timer: only the yellow is subtracted from the split to find green end · case 05
Coordinated local cycle timer returns a wrong result when only the yellow is subtracted from the split to find green end.
Coordinated local cycle timer: splits shorter than the cycle are accepted · case 01
Coordinated local cycle timer returns a wrong result when splits shorter than the cycle are accepted.
Coordinated local cycle timer: splits shorter than the cycle are accepted · case 02
Coordinated local cycle timer returns a wrong result when splits shorter than the cycle are accepted.
Coordinated local cycle timer: splits shorter than the cycle are accepted · case 03
Coordinated local cycle timer returns a wrong result when splits shorter than the cycle are accepted.
Coordinated local cycle timer: splits shorter than the cycle are accepted · case 04
Coordinated local cycle timer returns a wrong result when splits shorter than the cycle are accepted.
Coordinated local cycle timer: splits shorter than the cycle are accepted · case 05
Coordinated local cycle timer returns a wrong result when splits shorter than the cycle are accepted.
Coordinated local cycle timer: the full yellow is reported regardless of elapsed yellow · case 01
Coordinated local cycle timer returns a wrong result when the full yellow is reported regardless of elapsed yellow.
Coordinated local cycle timer: the full yellow is reported regardless of elapsed yellow · case 02
Coordinated local cycle timer returns a wrong result when the full yellow is reported regardless of elapsed yellow.
Coordinated local cycle timer: the full yellow is reported regardless of elapsed yellow · case 03
Coordinated local cycle timer returns a wrong result when the full yellow is reported regardless of elapsed yellow.
Coordinated local cycle timer: the full yellow is reported regardless of elapsed yellow · case 04
Coordinated local cycle timer returns a wrong result when the full yellow is reported regardless of elapsed yellow.
Coordinated local cycle timer: the full yellow is reported regardless of elapsed yellow · case 05
Coordinated local cycle timer returns a wrong result when the full yellow is reported regardless of elapsed yellow.
Coordinated local cycle timer: split start accumulates green only · case 01
Coordinated local cycle timer returns a wrong result when split start accumulates green only.
Coordinated local cycle timer: split start accumulates green only · case 02
Coordinated local cycle timer returns a wrong result when split start accumulates green only.
Coordinated local cycle timer: split start accumulates green only · case 03
Coordinated local cycle timer returns a wrong result when split start accumulates green only.
Coordinated local cycle timer: split start accumulates green only · case 04
Coordinated local cycle timer returns a wrong result when split start accumulates green only.
Coordinated local cycle timer: split start accumulates green only · case 05
Coordinated local cycle timer returns a wrong result when split start accumulates green only.
Shortway offset transition: the offset error is computed current minus target · case 01
Shortway offset transition returns a wrong result when the offset error is computed current minus target.
Shortway offset transition: the offset error is computed current minus target · case 02
Shortway offset transition returns a wrong result when the offset error is computed current minus target.
Shortway offset transition: the offset error is computed current minus target · case 03
Shortway offset transition returns a wrong result when the offset error is computed current minus target.
Shortway offset transition: the offset error is computed current minus target · case 04
Shortway offset transition returns a wrong result when the offset error is computed current minus target.
Shortway offset transition: the offset error is computed current minus target · case 05
Shortway offset transition returns a wrong result when the offset error is computed current minus target.
Shortway offset transition: shortening cycles are counted against the lengthening distance · case 01
Shortway offset transition returns a wrong result when shortening cycles are counted against the lengthening distance.
Shortway offset transition: shortening cycles are counted against the lengthening distance · case 02
Shortway offset transition returns a wrong result when shortening cycles are counted against the lengthening distance.
Shortway offset transition: shortening cycles are counted against the lengthening distance · case 03
Shortway offset transition returns a wrong result when shortening cycles are counted against the lengthening distance.
Shortway offset transition: shortening cycles are counted against the lengthening distance · case 04
Shortway offset transition returns a wrong result when shortening cycles are counted against the lengthening distance.
Shortway offset transition: shortening cycles are counted against the lengthening distance · case 05
Shortway offset transition returns a wrong result when shortening cycles are counted against the lengthening distance.
Shortway offset transition: ties between directions pick shortening · case 01
Shortway offset transition returns a wrong result when ties between directions pick shortening.
Shortway offset transition: ties between directions pick shortening · case 02
Shortway offset transition returns a wrong result when ties between directions pick shortening.
Shortway offset transition: ties between directions pick shortening · case 03
Shortway offset transition returns a wrong result when ties between directions pick shortening.
Shortway offset transition: ties between directions pick shortening · case 04
Shortway offset transition returns a wrong result when ties between directions pick shortening.
Shortway offset transition: ties between directions pick shortening · case 05
Shortway offset transition returns a wrong result when ties between directions pick shortening.
Shortway offset transition: the per-cycle shortening limit is rounded up · case 01
Shortway offset transition returns a wrong result when the per-cycle shortening limit is rounded up.
Shortway offset transition: the per-cycle shortening limit is rounded up · case 02
Shortway offset transition returns a wrong result when the per-cycle shortening limit is rounded up.
Shortway offset transition: the per-cycle shortening limit is rounded up · case 03
Shortway offset transition returns a wrong result when the per-cycle shortening limit is rounded up.
Shortway offset transition: the per-cycle shortening limit is rounded up · case 04
Shortway offset transition returns a wrong result when the per-cycle shortening limit is rounded up.
Shortway offset transition: the per-cycle shortening limit is rounded up · case 05
Shortway offset transition returns a wrong result when the per-cycle shortening limit is rounded up.
Shortway offset transition: the adjustment is spread evenly instead of front-loaded · case 01
Shortway offset transition returns a wrong result when the adjustment is spread evenly instead of front-loaded.
Shortway offset transition: the adjustment is spread evenly instead of front-loaded · case 02
Shortway offset transition returns a wrong result when the adjustment is spread evenly instead of front-loaded.
Shortway offset transition: the adjustment is spread evenly instead of front-loaded · case 03
Shortway offset transition returns a wrong result when the adjustment is spread evenly instead of front-loaded.
Shortway offset transition: the adjustment is spread evenly instead of front-loaded · case 04
Shortway offset transition returns a wrong result when the adjustment is spread evenly instead of front-loaded.
Shortway offset transition: the adjustment is spread evenly instead of front-loaded · case 05
Shortway offset transition returns a wrong result when the adjustment is spread evenly instead of front-loaded.
Time-of-day plan schedule: events are compared at hour granularity · case 01
Time-of-day plan schedule returns a wrong result when events are compared at hour granularity.
Time-of-day plan schedule: events are compared at hour granularity · case 02
Time-of-day plan schedule returns a wrong result when events are compared at hour granularity.
Time-of-day plan schedule: events are compared at hour granularity · case 03
Time-of-day plan schedule returns a wrong result when events are compared at hour granularity.
Time-of-day plan schedule: events are compared at hour granularity · case 04
Time-of-day plan schedule returns a wrong result when events are compared at hour granularity.
Time-of-day plan schedule: events are compared at hour granularity · case 05
Time-of-day plan schedule returns a wrong result when events are compared at hour granularity.
Time-of-day plan schedule: the day mask is read with Monday as bit zero · case 01
Time-of-day plan schedule returns a wrong result when the day mask is read with Monday as bit zero.
Time-of-day plan schedule: the day mask is read with Monday as bit zero · case 02
Time-of-day plan schedule returns a wrong result when the day mask is read with Monday as bit zero.
Time-of-day plan schedule: the day mask is read with Monday as bit zero · case 03
Time-of-day plan schedule returns a wrong result when the day mask is read with Monday as bit zero.
Time-of-day plan schedule: the day mask is read with Monday as bit zero · case 04
Time-of-day plan schedule returns a wrong result when the day mask is read with Monday as bit zero.
Time-of-day plan schedule: the day mask is read with Monday as bit zero · case 05
Time-of-day plan schedule returns a wrong result when the day mask is read with Monday as bit zero.
Time-of-day plan schedule: carryover after a holiday uses the holiday day type · case 01
Time-of-day plan schedule returns a wrong result when carryover after a holiday uses the holiday day type.
Time-of-day plan schedule: carryover after a holiday uses the holiday day type · case 02
Time-of-day plan schedule returns a wrong result when carryover after a holiday uses the holiday day type.
Time-of-day plan schedule: carryover after a holiday uses the holiday day type · case 03
Time-of-day plan schedule returns a wrong result when carryover after a holiday uses the holiday day type.
Time-of-day plan schedule: carryover after a holiday uses the holiday day type · case 04
Time-of-day plan schedule returns a wrong result when carryover after a holiday uses the holiday day type.
Time-of-day plan schedule: carryover after a holiday uses the holiday day type · case 05
Time-of-day plan schedule returns a wrong result when carryover after a holiday uses the holiday day type.
Time-of-day plan schedule: holidays are matched by day of month alone · case 01
Time-of-day plan schedule returns a wrong result when holidays are matched by day of month alone.
Time-of-day plan schedule: holidays are matched by day of month alone · case 02
Time-of-day plan schedule returns a wrong result when holidays are matched by day of month alone.
Time-of-day plan schedule: holidays are matched by day of month alone · case 03
Time-of-day plan schedule returns a wrong result when holidays are matched by day of month alone.
Time-of-day plan schedule: holidays are matched by day of month alone · case 04
Time-of-day plan schedule returns a wrong result when holidays are matched by day of month alone.
Time-of-day plan schedule: holidays are matched by day of month alone · case 05
Time-of-day plan schedule returns a wrong result when holidays are matched by day of month alone.
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 ↗