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
Fortnight rest window slices thirteen days · case 01
A day off on the fourteenth day of a window is ignored, producing false shortfalls.
Fortnight rest window slices thirteen days · case 02
A day off on the fourteenth day of a window is ignored, producing false shortfalls.
Fortnight rest window slices thirteen days · case 03
A day off on the fourteenth day of a window is ignored, producing false shortfalls.
Fortnight rest window slices thirteen days · case 04
A day off on the fourteenth day of a window is ignored, producing false shortfalls.
Fortnight rest window slices thirteen days · case 05
A day off on the fourteenth day of a window is ignored, producing false shortfalls.
Leave days satisfy the fortnightly day-off minimum · case 01
Windows containing leave but no rostered days off pass the rest check.
Leave days satisfy the fortnightly day-off minimum · case 02
Windows containing leave but no rostered days off pass the rest check.
Leave days satisfy the fortnightly day-off minimum · case 03
Windows containing leave but no rostered days off pass the rest check.
Leave days satisfy the fortnightly day-off minimum · case 04
Windows containing leave but no rostered days off pass the rest check.
Leave days satisfy the fortnightly day-off minimum · case 05
Windows containing leave but no rostered days off pass the rest check.
Night window that began the previous evening is skipped · case 01
A shift starting at 02:00 earns no night minutes for its first four hours.
Night window that began the previous evening is skipped · case 02
A shift starting at 02:00 earns no night minutes for its first four hours.
Night window that began the previous evening is skipped · case 03
A shift starting at 02:00 earns no night minutes for its first four hours.
Night window that began the previous evening is skipped · case 04
A shift starting at 02:00 earns no night minutes for its first four hours.
Night window that began the previous evening is skipped · case 05
A shift starting at 02:00 earns no night minutes for its first four hours.
Late-evening minutes on the shift end day are ignored · case 01
A shift ending at 23:30 loses its last 30 night minutes.
Late-evening minutes on the shift end day are ignored · case 02
A shift ending at 23:30 loses its last 30 night minutes.
Late-evening minutes on the shift end day are ignored · case 03
A shift ending at 23:30 loses its last 30 night minutes.
Late-evening minutes on the shift end day are ignored · case 04
A shift ending at 23:30 loses its last 30 night minutes.
Late-evening minutes on the shift end day are ignored · case 05
A shift ending at 23:30 loses its last 30 night minutes.
Night period truncated at midnight · case 01
Only 23:00-24:00 counts as night; early morning hours are lost.
Night period truncated at midnight · case 02
Only 23:00-24:00 counts as night; early morning hours are lost.
Night period truncated at midnight · case 03
Only 23:00-24:00 counts as night; early morning hours are lost.
Night period truncated at midnight · case 04
Only 23:00-24:00 counts as night; early morning hours are lost.
Night period truncated at midnight · case 05
Only 23:00-24:00 counts as night; early morning hours are lost.
Night overlap counted from window start even when the shift starts later · case 01
A shift starting at 01:00 is credited night minutes from 23:00.
Night overlap counted from window start even when the shift starts later · case 02
A shift starting at 01:00 is credited night minutes from 23:00.
Night overlap counted from window start even when the shift starts later · case 03
A shift starting at 01:00 is credited night minutes from 23:00.
Night overlap counted from window start even when the shift starts later · case 04
A shift starting at 01:00 is credited night minutes from 23:00.
Night overlap counted from window start even when the shift starts later · case 05
A shift starting at 01:00 is credited night minutes from 23:00.
Exactly-threshold night minutes not classified as a night shift · case 01
A shift with exactly three night hours is not treated as night work.
Exactly-threshold night minutes not classified as a night shift · case 02
A shift with exactly three night hours is not treated as night work.
Exactly-threshold night minutes not classified as a night shift · case 03
A shift with exactly three night hours is not treated as night work.
Exactly-threshold night minutes not classified as a night shift · case 04
A shift with exactly three night hours is not treated as night work.
Exactly-threshold night minutes not classified as a night shift · case 05
A shift with exactly three night hours is not treated as night work.
Weekend differential stacks on the night differential · case 01
Weekend nights are paid 27% extra instead of the larger single differential.
Weekend differential stacks on the night differential · case 02
Weekend nights are paid 27% extra instead of the larger single differential.
Weekend differential stacks on the night differential · case 03
Weekend nights are paid 27% extra instead of the larger single differential.
Weekend differential stacks on the night differential · case 04
Weekend nights are paid 27% extra instead of the larger single differential.
Weekend differential stacks on the night differential · case 05
Weekend nights are paid 27% extra instead of the larger single differential.
Weekend detection assumes a Sunday-first week · case 01
Monday minutes receive the weekend premium and Saturday minutes do not.
Weekend detection assumes a Sunday-first week · case 02
Monday minutes receive the weekend premium and Saturday minutes do not.
Weekend detection assumes a Sunday-first week · case 03
Monday minutes receive the weekend premium and Saturday minutes do not.
Weekend detection assumes a Sunday-first week · case 04
Monday minutes receive the weekend premium and Saturday minutes do not.
Weekend detection assumes a Sunday-first week · case 05
Monday minutes receive the weekend premium and Saturday minutes do not.
Night differential window never matches across midnight · case 01
No minute ever earns the night differential.
Night differential window never matches across midnight · case 02
No minute ever earns the night differential.
Night differential window never matches across midnight · case 03
No minute ever earns the night differential.
Night differential window never matches across midnight · case 04
No minute ever earns the night differential.
Night differential window never matches across midnight · case 05
No minute ever earns the night differential.
Differential pay truncated to the cent · case 01
Shift pay that ends in half a cent or more loses a cent.
Differential pay truncated to the cent · case 02
Shift pay that ends in half a cent or more loses a cent.
Differential pay truncated to the cent · case 03
Shift pay that ends in half a cent or more loses a cent.
Differential pay truncated to the cent · case 04
Shift pay that ends in half a cent or more loses a cent.
Differential pay truncated to the cent · case 05
Shift pay that ends in half a cent or more loses a cent.
Weekend premium attributed by shift start day · case 01
A Friday night shift running into Saturday gets no weekend premium, and a Sunday night shift is paid weekend rates into Monday.
Weekend premium attributed by shift start day · case 02
A Friday night shift running into Saturday gets no weekend premium, and a Sunday night shift is paid weekend rates into Monday.
Weekend premium attributed by shift start day · case 03
A Friday night shift running into Saturday gets no weekend premium, and a Sunday night shift is paid weekend rates into Monday.
Weekend premium attributed by shift start day · case 04
A Friday night shift running into Saturday gets no weekend premium, and a Sunday night shift is paid weekend rates into Monday.
Weekend premium attributed by shift start day · case 05
A Friday night shift running into Saturday gets no weekend premium, and a Sunday night shift is paid weekend rates into Monday.
Sixteen-year-olds restricted as minors · case 01
Workers who just turned 16 are rejected for evening shifts.
Sixteen-year-olds restricted as minors · case 02
Workers who just turned 16 are rejected for evening shifts.
Sixteen-year-olds restricted as minors · case 03
Workers who just turned 16 are rejected for evening shifts.
Sixteen-year-olds restricted as minors · case 04
Workers who just turned 16 are rejected for evening shifts.
Sixteen-year-olds restricted as minors · case 05
Workers who just turned 16 are rejected for evening shifts.
Daily cap checks only the last shift of the day · case 01
Two short shifts on a school day exceed three hours without a finding.
Daily cap checks only the last shift of the day · case 02
Two short shifts on a school day exceed three hours without a finding.
Daily cap checks only the last shift of the day · case 03
Two short shifts on a school day exceed three hours without a finding.
Daily cap checks only the last shift of the day · case 04
Two short shifts on a school day exceed three hours without a finding.
Daily cap checks only the last shift of the day · case 05
Two short shifts on a school day exceed three hours without a finding.
Shift ending exactly at 19:00 flagged outside permitted hours · case 01
Compliant shifts ending at 19:00 are rejected.
Shift ending exactly at 19:00 flagged outside permitted hours · case 02
Compliant shifts ending at 19:00 are rejected.
Shift ending exactly at 19:00 flagged outside permitted hours · case 03
Compliant shifts ending at 19:00 are rejected.
Shift ending exactly at 19:00 flagged outside permitted hours · case 04
Compliant shifts ending at 19:00 are rejected.
Shift ending exactly at 19:00 flagged outside permitted hours · case 05
Compliant shifts ending at 19:00 are rejected.
Partial school weeks treated as vacation weeks · case 01
A three-day school week allows 40 hours of work.
Partial school weeks treated as vacation weeks · case 02
A three-day school week allows 40 hours of work.
Partial school weeks treated as vacation weeks · case 03
A three-day school week allows 40 hours of work.
Partial school weeks treated as vacation weeks · case 04
A three-day school week allows 40 hours of work.
Partial school weeks treated as vacation weeks · case 05
A three-day school week allows 40 hours of work.
School-day cap assumed for every weekday · case 01
Holiday weekdays are capped at three hours and weekend school days are not.
School-day cap assumed for every weekday · case 02
Holiday weekdays are capped at three hours and weekend school days are not.
School-day cap assumed for every weekday · case 03
Holiday weekdays are capped at three hours and weekend school days are not.
School-day cap assumed for every weekday · case 04
Holiday weekdays are capped at three hours and weekend school days are not.
School-day cap assumed for every weekday · case 05
Holiday weekdays are capped at three hours and weekend school days are not.
Shift covering part of a slot counts toward staffing · case 01
A worker leaving halfway through a slot is counted for the whole slot.
Shift covering part of a slot counts toward staffing · case 02
A worker leaving halfway through a slot is counted for the whole slot.
Shift covering part of a slot counts toward staffing · case 03
A worker leaving halfway through a slot is counted for the whole slot.
Shift covering part of a slot counts toward staffing · case 04
A worker leaving halfway through a slot is counted for the whole slot.
Shift covering part of a slot counts toward staffing · case 05
A worker leaving halfway through a slot is counted for the whole slot.
Trainees counted as full heads · case 01
Slots staffed only by trainees appear fully covered.
Trainees counted as full heads · case 02
Slots staffed only by trainees appear fully covered.
Trainees counted as full heads · case 03
Slots staffed only by trainees appear fully covered.
Trainees counted as full heads · case 04
Slots staffed only by trainees appear fully covered.
Trainees counted as full heads · case 05
Slots staffed only by trainees appear fully covered.
Duplicate shift records double count one worker · case 01
A worker with overlapping duplicate entries covers a slot twice.
Duplicate shift records double count one worker · case 02
A worker with overlapping duplicate entries covers a slot twice.
Duplicate shift records double count one worker · case 03
A worker with overlapping duplicate entries covers a slot twice.
Duplicate shift records double count one worker · case 04
A worker with overlapping duplicate entries covers a slot twice.
Duplicate shift records double count one worker · case 05
A worker with overlapping duplicate entries covers a slot twice.
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 ↗