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
Half-head coverage compared against whole-head requirement · case 01
Slots with half the required staff pass.
Half-head coverage compared against whole-head requirement · case 02
Slots with half the required staff pass.
Half-head coverage compared against whole-head requirement · case 03
Slots with half the required staff pass.
Half-head coverage compared against whole-head requirement · case 04
Slots with half the required staff pass.
Half-head coverage compared against whole-head requirement · case 05
Slots with half the required staff pass.
Swap qualification checked against the shift each worker gives away · case 01
An unqualified nurse can take an ICU shift as long as the shift they hand over matches their skills.
Swap qualification checked against the shift each worker gives away · case 02
An unqualified nurse can take an ICU shift as long as the shift they hand over matches their skills.
Swap qualification checked against the shift each worker gives away · case 03
An unqualified nurse can take an ICU shift as long as the shift they hand over matches their skills.
Swap qualification checked against the shift each worker gives away · case 04
An unqualified nurse can take an ICU shift as long as the shift they hand over matches their skills.
Swap qualification checked against the shift each worker gives away · case 05
An unqualified nurse can take an ICU shift as long as the shift they hand over matches their skills.
Given-away shift kept on the requester after the swap · case 01
Swaps fail on overlap or hours cap caused by the shift being handed over.
Given-away shift kept on the requester after the swap · case 02
Swaps fail on overlap or hours cap caused by the shift being handed over.
Given-away shift kept on the requester after the swap · case 03
Swaps fail on overlap or hours cap caused by the shift being handed over.
Given-away shift kept on the requester after the swap · case 04
Swaps fail on overlap or hours cap caused by the shift being handed over.
Given-away shift kept on the requester after the swap · case 05
Swaps fail on overlap or hours cap caused by the shift being handed over.
Received shift validated at the end of the roster · case 01
A received shift earlier in the week produces bogus overlaps or misses real rest breaches.
Received shift validated at the end of the roster · case 02
A received shift earlier in the week produces bogus overlaps or misses real rest breaches.
Received shift validated at the end of the roster · case 03
A received shift earlier in the week produces bogus overlaps or misses real rest breaches.
Received shift validated at the end of the roster · case 04
A received shift earlier in the week produces bogus overlaps or misses real rest breaches.
Received shift validated at the end of the roster · case 05
A received shift earlier in the week produces bogus overlaps or misses real rest breaches.
Swap rejected for exactly the minimum rest · case 01
A swap leaving exactly ten hours rest is refused.
Swap rejected for exactly the minimum rest · case 02
A swap leaving exactly ten hours rest is refused.
Swap rejected for exactly the minimum rest · case 03
A swap leaving exactly ten hours rest is refused.
Swap rejected for exactly the minimum rest · case 04
A swap leaving exactly ten hours rest is refused.
Swap rejected for exactly the minimum rest · case 05
A swap leaving exactly ten hours rest is refused.
Hours cap rejects rosters exactly at the cap · case 01
A swap bringing a worker to exactly the cap is refused.
Hours cap rejects rosters exactly at the cap · case 02
A swap bringing a worker to exactly the cap is refused.
Hours cap rejects rosters exactly at the cap · case 03
A swap bringing a worker to exactly the cap is refused.
Hours cap rejects rosters exactly at the cap · case 04
A swap bringing a worker to exactly the cap is refused.
Hours cap rejects rosters exactly at the cap · case 05
A swap bringing a worker to exactly the cap is refused.
Accrual fraction discarded every period · case 01
Part-time workers systematically lose leave minutes over a year.
Accrual fraction discarded every period · case 02
Part-time workers systematically lose leave minutes over a year.
Accrual fraction discarded every period · case 03
Part-time workers systematically lose leave minutes over a year.
Accrual fraction discarded every period · case 04
Part-time workers systematically lose leave minutes over a year.
Accrual fraction discarded every period · case 05
Part-time workers systematically lose leave minutes over a year.
Leave taken before the accrual cap is enforced · case 01
Workers at the cap keep accrual they should have forfeited because leave was deducted first.
Leave taken before the accrual cap is enforced · case 02
Workers at the cap keep accrual they should have forfeited because leave was deducted first.
Leave taken before the accrual cap is enforced · case 03
Workers at the cap keep accrual they should have forfeited because leave was deducted first.
Leave taken before the accrual cap is enforced · case 04
Workers at the cap keep accrual they should have forfeited because leave was deducted first.
Leave taken before the accrual cap is enforced · case 05
Workers at the cap keep accrual they should have forfeited because leave was deducted first.
Leave approved beyond the available balance · case 01
Balances go negative and no unapproved minutes are reported.
Leave approved beyond the available balance · case 02
Balances go negative and no unapproved minutes are reported.
Leave approved beyond the available balance · case 03
Balances go negative and no unapproved minutes are reported.
Leave approved beyond the available balance · case 04
Balances go negative and no unapproved minutes are reported.
Leave approved beyond the available balance · case 05
Balances go negative and no unapproved minutes are reported.
Unapproved leave total reset each period · case 01
Only the last period's unapproved minutes are reported.
Unapproved leave total reset each period · case 02
Only the last period's unapproved minutes are reported.
Unapproved leave total reset each period · case 03
Only the last period's unapproved minutes are reported.
Unapproved leave total reset each period · case 04
Only the last period's unapproved minutes are reported.
Unapproved leave total reset each period · case 05
Only the last period's unapproved minutes are reported.
Seven-minute remainder rounds up to the next quarter hour · case 01
Punches exactly seven minutes past a quarter move forward, shifting paid time.
Seven-minute remainder rounds up to the next quarter hour · case 02
Punches exactly seven minutes past a quarter move forward, shifting paid time.
Seven-minute remainder rounds up to the next quarter hour · case 03
Punches exactly seven minutes past a quarter move forward, shifting paid time.
Seven-minute remainder rounds up to the next quarter hour · case 04
Punches exactly seven minutes past a quarter move forward, shifting paid time.
Seven-minute remainder rounds up to the next quarter hour · case 05
Punches exactly seven minutes past a quarter move forward, shifting paid time.
Clock-in grace applied to late arrivals · case 01
Late arrivals are paid from the scheduled start while early arrivals are rounded.
Clock-in grace applied to late arrivals · case 02
Late arrivals are paid from the scheduled start while early arrivals are rounded.
Clock-in grace applied to late arrivals · case 03
Late arrivals are paid from the scheduled start while early arrivals are rounded.
Clock-in grace applied to late arrivals · case 04
Late arrivals are paid from the scheduled start while early arrivals are rounded.
Clock-in grace applied to late arrivals · case 05
Late arrivals are paid from the scheduled start while early arrivals are rounded.
Seventh grace minute after the scheduled end not forgiven · case 01
A punch out exactly seven minutes late is rounded instead of snapping to the schedule.
Seventh grace minute after the scheduled end not forgiven · case 02
A punch out exactly seven minutes late is rounded instead of snapping to the schedule.
Seventh grace minute after the scheduled end not forgiven · case 03
A punch out exactly seven minutes late is rounded instead of snapping to the schedule.
Seventh grace minute after the scheduled end not forgiven · case 04
A punch out exactly seven minutes late is rounded instead of snapping to the schedule.
Seventh grace minute after the scheduled end not forgiven · case 05
A punch out exactly seven minutes late is rounded instead of snapping to the schedule.
Reversed punch pair produces negative paid minutes · case 01
A mis-keyed out punch earlier than the in punch deducts time from the week.
Reversed punch pair produces negative paid minutes · case 02
A mis-keyed out punch earlier than the in punch deducts time from the week.
Reversed punch pair produces negative paid minutes · case 03
A mis-keyed out punch earlier than the in punch deducts time from the week.
Reversed punch pair produces negative paid minutes · case 04
A mis-keyed out punch earlier than the in punch deducts time from the week.
Reversed punch pair produces negative paid minutes · case 05
A mis-keyed out punch earlier than the in punch deducts time from the week.
Change with exactly fourteen days notice earns predictability pay · case 01
Timely schedule edits are charged a premium.
Change with exactly fourteen days notice earns predictability pay · case 02
Timely schedule edits are charged a premium.
Change with exactly fourteen days notice earns predictability pay · case 03
Timely schedule edits are charged a premium.
Change with exactly fourteen days notice earns predictability pay · case 04
Timely schedule edits are charged a premium.
Change with exactly fourteen days notice earns predictability pay · case 05
Timely schedule edits are charged a premium.
Mutually agreed swaps charged predictability pay · case 01
Employer pays premiums for swaps the workers arranged themselves.
Mutually agreed swaps charged predictability pay · case 02
Employer pays premiums for swaps the workers arranged themselves.
Mutually agreed swaps charged predictability pay · case 03
Employer pays premiums for swaps the workers arranged themselves.
Mutually agreed swaps charged predictability pay · case 04
Employer pays premiums for swaps the workers arranged themselves.
Mutually agreed swaps charged predictability pay · case 05
Employer pays premiums for swaps the workers arranged themselves.
Fifteen-minute addition treated as de minimis · case 01
Adding exactly 15 minutes earns no premium.
Fifteen-minute addition treated as de minimis · case 02
Adding exactly 15 minutes earns no premium.
Fifteen-minute addition treated as de minimis · case 03
Adding exactly 15 minutes earns no premium.
Fifteen-minute addition treated as de minimis · case 04
Adding exactly 15 minutes earns no premium.
Fifteen-minute addition treated as de minimis · case 05
Adding exactly 15 minutes earns no premium.
Short-notice cut pays half the lost time without the floor · case 01
Small last-minute cuts earn less than the ordinary 60-minute premium.
Short-notice cut pays half the lost time without the floor · case 02
Small last-minute cuts earn less than the ordinary 60-minute premium.
Short-notice cut pays half the lost time without the floor · case 03
Small last-minute cuts earn less than the ordinary 60-minute premium.
Short-notice cut pays half the lost time without the floor · case 04
Small last-minute cuts earn less than the ordinary 60-minute premium.
Short-notice cut pays half the lost time without the floor · case 05
Small last-minute cuts earn less than the ordinary 60-minute premium.
Exactly twenty-four hours notice treated as short notice · case 01
Cuts with a full day of notice pay the enhanced premium.
Exactly twenty-four hours notice treated as short notice · case 02
Cuts with a full day of notice pay the enhanced premium.
Exactly twenty-four hours notice treated as short notice · case 03
Cuts with a full day of notice pay the enhanced premium.
Exactly twenty-four hours notice treated as short notice · case 04
Cuts with a full day of notice pay the enhanced premium.
Exactly twenty-four hours notice treated as short notice · case 05
Cuts with a full day of notice pay the enhanced premium.
Rostered days off break holiday pay eligibility · case 01
A holiday falling after a weekend off is never paid.
Rostered days off break holiday pay eligibility · case 02
A holiday falling after a weekend off is never paid.
Rostered days off break holiday pay eligibility · case 03
A holiday falling after a weekend off is never paid.
Rostered days off break holiday pay eligibility · case 04
A holiday falling after a weekend off is never paid.
Rostered days off break holiday pay eligibility · case 05
A holiday falling after a weekend off is never paid.
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 ↗