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
Up-peak round trip time: passenger load · case 01
Round trip times assume every car leaves the lobby full.
Up-peak round trip time: passenger load · case 02
Round trip times assume every car leaves the lobby full.
Up-peak round trip time: passenger load · case 03
Round trip times assume every car leaves the lobby full.
Up-peak round trip time: passenger load · case 04
Round trip times assume every car leaves the lobby full.
Up-peak round trip time: passenger load · case 05
Round trip times assume every car leaves the lobby full.
Up-peak round trip time: probable stops · case 01
The number of probable stops is overstated.
Up-peak round trip time: probable stops · case 02
The number of probable stops is overstated.
Up-peak round trip time: probable stops · case 03
The number of probable stops is overstated.
Up-peak round trip time: probable stops · case 04
The number of probable stops is overstated.
Up-peak round trip time: probable stops · case 05
The number of probable stops is overstated.
Up-peak round trip time: highest reversal floor · case 01
The highest reversal floor is one floor low or high.
Up-peak round trip time: highest reversal floor · case 02
The highest reversal floor is one floor low or high.
Up-peak round trip time: highest reversal floor · case 03
The highest reversal floor is one floor low or high.
Up-peak round trip time: highest reversal floor · case 04
The highest reversal floor is one floor low or high.
Up-peak round trip time: highest reversal floor · case 05
The highest reversal floor is one floor low or high.
Up-peak round trip time: lobby stop · case 01
The round trip omits the stop at the main lobby.
Up-peak round trip time: lobby stop · case 02
The round trip omits the stop at the main lobby.
Up-peak round trip time: lobby stop · case 03
The round trip omits the stop at the main lobby.
Up-peak round trip time: lobby stop · case 04
The round trip omits the stop at the main lobby.
Up-peak round trip time: lobby stop · case 05
The round trip omits the stop at the main lobby.
Figure of suitability hall call allocation: towards test · case 01
A car that is already passing the call floor is allocated the call.
Figure of suitability hall call allocation: towards test · case 02
A car that is already passing the call floor is allocated the call.
Figure of suitability hall call allocation: towards test · case 03
A car that is already passing the call floor is allocated the call.
Figure of suitability hall call allocation: towards test · case 04
A car that is already passing the call floor is allocated the call.
Figure of suitability hall call allocation: towards test · case 05
A car that is already passing the call floor is allocated the call.
Figure of suitability hall call allocation: same-direction bonus · case 01
A car approaching in the call direction gains no advantage.
Figure of suitability hall call allocation: same-direction bonus · case 02
A car approaching in the call direction gains no advantage.
Figure of suitability hall call allocation: same-direction bonus · case 03
A car approaching in the call direction gains no advantage.
Figure of suitability hall call allocation: same-direction bonus · case 04
A car approaching in the call direction gains no advantage.
Figure of suitability hall call allocation: same-direction bonus · case 05
A car approaching in the call direction gains no advantage.
Figure of suitability hall call allocation: equal score tie-break · case 01
Equal-score calls go to the highest car id or depend on car positions.
Figure of suitability hall call allocation: equal score tie-break · case 02
Equal-score calls go to the highest car id or depend on car positions.
Figure of suitability hall call allocation: equal score tie-break · case 03
Equal-score calls go to the highest car id or depend on car positions.
Figure of suitability hall call allocation: equal score tie-break · case 04
Equal-score calls go to the highest car id or depend on car positions.
Figure of suitability hall call allocation: equal score tie-break · case 05
Equal-score calls go to the highest car id or depend on car positions.
Figure of suitability hall call allocation: idle car score · case 01
Idle cars beat or lose to approaching cars inconsistently with the stipulated scores.
Figure of suitability hall call allocation: idle car score · case 02
Idle cars beat or lose to approaching cars inconsistently with the stipulated scores.
Figure of suitability hall call allocation: idle car score · case 03
Idle cars beat or lose to approaching cars inconsistently with the stipulated scores.
Figure of suitability hall call allocation: idle car score · case 04
Idle cars beat or lose to approaching cars inconsistently with the stipulated scores.
Figure of suitability hall call allocation: idle car score · case 05
Idle cars beat or lose to approaching cars inconsistently with the stipulated scores.
Door obstruction reopen and nudging: reopen limit · case 01
The doors reopen a third time instead of nudging, or safety-edge contacts bring nudging forward.
Door obstruction reopen and nudging: reopen limit · case 02
The doors reopen a third time instead of nudging, or safety-edge contacts bring nudging forward.
Door obstruction reopen and nudging: reopen limit · case 03
The doors reopen a third time instead of nudging, or safety-edge contacts bring nudging forward.
Door obstruction reopen and nudging: reopen limit · case 04
The doors reopen a third time instead of nudging, or safety-edge contacts bring nudging forward.
Door obstruction reopen and nudging: reopen limit · case 05
The doors reopen a third time instead of nudging, or safety-edge contacts bring nudging forward.
Door obstruction reopen and nudging: safety edge during nudging · case 01
The safety edge is ignored while the door nudges.
Door obstruction reopen and nudging: safety edge during nudging · case 02
The safety edge is ignored while the door nudges.
Door obstruction reopen and nudging: safety edge during nudging · case 03
The safety edge is ignored while the door nudges.
Door obstruction reopen and nudging: safety edge during nudging · case 04
The safety edge is ignored while the door nudges.
Door obstruction reopen and nudging: safety edge during nudging · case 05
The safety edge is ignored while the door nudges.
Door obstruction reopen and nudging: cycle reset · case 01
Obstructions from the previous door cycle carry over into the next.
Door obstruction reopen and nudging: cycle reset · case 02
Obstructions from the previous door cycle carry over into the next.
Door obstruction reopen and nudging: cycle reset · case 03
Obstructions from the previous door cycle carry over into the next.
Door obstruction reopen and nudging: cycle reset · case 04
Obstructions from the previous door cycle carry over into the next.
Door obstruction reopen and nudging: cycle reset · case 05
Obstructions from the previous door cycle carry over into the next.
Door obstruction reopen and nudging: continuous blockage timer · case 01
A curtain held blocked never triggers nudging, or brief separate obstructions add up to a long blockage.
Door obstruction reopen and nudging: continuous blockage timer · case 02
A curtain held blocked never triggers nudging, or brief separate obstructions add up to a long blockage.
Door obstruction reopen and nudging: continuous blockage timer · case 03
A curtain held blocked never triggers nudging, or brief separate obstructions add up to a long blockage.
Door obstruction reopen and nudging: continuous blockage timer · case 04
A curtain held blocked never triggers nudging, or brief separate obstructions add up to a long blockage.
Door obstruction reopen and nudging: continuous blockage timer · case 05
A curtain held blocked never triggers nudging, or brief separate obstructions add up to a long blockage.
Car relevelling with doors open: stop hysteresis · case 01
Relevelling stops as soon as the offset is back inside the start band.
Car relevelling with doors open: stop hysteresis · case 02
Relevelling stops as soon as the offset is back inside the start band.
Car relevelling with doors open: stop hysteresis · case 03
Relevelling stops as soon as the offset is back inside the start band.
Car relevelling with doors open: stop hysteresis · case 04
Relevelling stops as soon as the offset is back inside the start band.
Car relevelling with doors open: stop hysteresis · case 05
Relevelling stops as soon as the offset is back inside the start band.
Car relevelling with doors open: open door limit while active · case 01
The car keeps relevelling with doors open after the offset grows large.
Car relevelling with doors open: open door limit while active · case 02
The car keeps relevelling with doors open after the offset grows large.
Car relevelling with doors open: open door limit while active · case 03
The car keeps relevelling with doors open after the offset grows large.
Car relevelling with doors open: open door limit while active · case 04
The car keeps relevelling with doors open after the offset grows large.
Car relevelling with doors open: open door limit while active · case 05
The car keeps relevelling with doors open after the offset grows large.
Car relevelling with doors open: fault handling · case 01
A relevel continues after a fault sample.
Car relevelling with doors open: fault handling · case 02
A relevel continues after a fault sample.
Car relevelling with doors open: fault handling · case 03
A relevel continues after a fault sample.
Car relevelling with doors open: fault handling · case 04
A relevel continues after a fault sample.
Car relevelling with doors open: fault handling · case 05
A relevel continues after a fault sample.
Emergency power sequential return: out of service exclusion · case 01
An out-of-service car is scheduled for return or selected to run.
Emergency power sequential return: out of service exclusion · case 02
An out-of-service car is scheduled for return or selected to run.
Emergency power sequential return: out of service exclusion · case 03
An out-of-service car is scheduled for return or selected to run.
Emergency power sequential return: out of service exclusion · case 04
An out-of-service car is scheduled for return or selected to run.
Emergency power sequential return: out of service exclusion · case 05
An out-of-service car is scheduled for return or selected to run.
Emergency power sequential return: return priority · case 01
Trapped passengers wait while empty cars return first.
Emergency power sequential return: return priority · case 02
Trapped passengers wait while empty cars return first.
Emergency power sequential return: return priority · case 03
Trapped passengers wait while empty cars return first.
Emergency power sequential return: return priority · case 04
Trapped passengers wait while empty cars return first.
Emergency power sequential return: return priority · case 05
Trapped passengers wait while empty cars return first.
Emergency power sequential return: return duration · case 01
Return starts are too early because door time is ignored.
Emergency power sequential return: return duration · case 02
Return starts are too early because door time is ignored.
Emergency power sequential return: return duration · case 03
Return starts are too early because door time is ignored.
Emergency power sequential return: return duration · case 04
Return starts are too early because door time is ignored.
Emergency power sequential return: return duration · case 05
Return starts are too early because door time is ignored.
Emergency power sequential return: selection fallback · case 01
The selected car is unavailable or not the first returned car.
Emergency power sequential return: selection fallback · case 02
The selected car is unavailable or not the first returned car.
Emergency power sequential return: selection fallback · case 03
The selected car is unavailable or not the first returned car.
Emergency power sequential return: selection fallback · case 04
The selected car is unavailable or not the first returned car.
Emergency power sequential return: selection fallback · case 05
The selected car is unavailable or not the first returned car.
Secured floor car call access: credential freshness · case 01
A card read long ago still authorises secured calls, or a call at exactly 10 s is refused.
Secured floor car call access: credential freshness · case 02
A card read long ago still authorises secured calls, or a call at exactly 10 s is refused.
Secured floor car call access: credential freshness · case 03
A card read long ago still authorises secured calls, or a call at exactly 10 s is refused.
Secured floor car call access: credential freshness · case 04
A card read long ago still authorises secured calls, or a call at exactly 10 s is refused.
Secured floor car call access: credential freshness · case 05
A card read long ago still authorises secured calls, or a call at exactly 10 s is refused.
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 ↗