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
Secured floor car call access: secured hours window · case 01
Overnight security windows never apply, or the closing hour is still secured.
Secured floor car call access: secured hours window · case 02
Overnight security windows never apply, or the closing hour is still secured.
Secured floor car call access: secured hours window · case 03
Overnight security windows never apply, or the closing hour is still secured.
Secured floor car call access: secured hours window · case 04
Overnight security windows never apply, or the closing hour is still secured.
Secured floor car call access: secured hours window · case 05
Overnight security windows never apply, or the closing hour is still secured.
Secured floor car call access: single use credential · case 01
One card read authorises several secured floors, or an unsecured call wastes the credential.
Secured floor car call access: single use credential · case 02
One card read authorises several secured floors, or an unsecured call wastes the credential.
Secured floor car call access: single use credential · case 03
One card read authorises several secured floors, or an unsecured call wastes the credential.
Secured floor car call access: single use credential · case 04
One card read authorises several secured floors, or an unsecured call wastes the credential.
Secured floor car call access: single use credential · case 05
One card read authorises several secured floors, or an unsecured call wastes the credential.
Secured floor car call access: hour of day · case 01
Security windows stop applying after the first day or apply at random times.
Secured floor car call access: hour of day · case 02
Security windows stop applying after the first day or apply at random times.
Secured floor car call access: hour of day · case 03
Security windows stop applying after the first day or apply at random times.
Secured floor car call access: hour of day · case 04
Security windows stop applying after the first day or apply at random times.
Secured floor car call access: hour of day · case 05
Security windows stop applying after the first day or apply at random times.
Double-deck car stop planning: deck parity convention · case 01
Buildings with even-floor lower decks send passengers to the wrong deck.
Double-deck car stop planning: deck parity convention · case 02
Buildings with even-floor lower decks send passengers to the wrong deck.
Double-deck car stop planning: deck parity convention · case 03
Buildings with even-floor lower decks send passengers to the wrong deck.
Double-deck car stop planning: deck parity convention · case 04
Buildings with even-floor lower decks send passengers to the wrong deck.
Double-deck car stop planning: deck parity convention · case 05
Buildings with even-floor lower decks send passengers to the wrong deck.
Double-deck car stop planning: upper deck position · case 01
The car stops a floor off for upper-deck passengers.
Double-deck car stop planning: upper deck position · case 02
The car stops a floor off for upper-deck passengers.
Double-deck car stop planning: upper deck position · case 03
The car stops a floor off for upper-deck passengers.
Double-deck car stop planning: upper deck position · case 04
The car stops a floor off for upper-deck passengers.
Double-deck car stop planning: upper deck position · case 05
The car stops a floor off for upper-deck passengers.
Double-deck car stop planning: shaft reach limits · case 01
Stops are planned where one of the decks would leave the shaft.
Double-deck car stop planning: shaft reach limits · case 02
Stops are planned where one of the decks would leave the shaft.
Double-deck car stop planning: shaft reach limits · case 03
Stops are planned where one of the decks would leave the shaft.
Double-deck car stop planning: shaft reach limits · case 04
Stops are planned where one of the decks would leave the shaft.
Double-deck car stop planning: shaft reach limits · case 05
Stops are planned where one of the decks would leave the shaft.
Hospital code blue car selection: service mode filter · case 01
A car under fire service or independent service is sent to the code blue.
Hospital code blue car selection: service mode filter · case 02
A car under fire service or independent service is sent to the code blue.
Hospital code blue car selection: service mode filter · case 03
A car under fire service or independent service is sent to the code blue.
Hospital code blue car selection: service mode filter · case 04
A car under fire service or independent service is sent to the code blue.
Hospital code blue car selection: service mode filter · case 05
A car under fire service or independent service is sent to the code blue.
Hospital code blue car selection: away cost · case 01
A car moving away is judged as close as a car heading to the call.
Hospital code blue car selection: away cost · case 02
A car moving away is judged as close as a car heading to the call.
Hospital code blue car selection: away cost · case 03
A car moving away is judged as close as a car heading to the call.
Hospital code blue car selection: away cost · case 04
A car moving away is judged as close as a car heading to the call.
Hospital code blue car selection: away cost · case 05
A car moving away is judged as close as a car heading to the call.
Hospital code blue car selection: turn floor · case 01
The detour of a car moving away is underestimated.
Hospital code blue car selection: turn floor · case 02
The detour of a car moving away is underestimated.
Hospital code blue car selection: turn floor · case 03
The detour of a car moving away is underestimated.
Hospital code blue car selection: turn floor · case 04
The detour of a car moving away is underestimated.
Hospital code blue car selection: turn floor · case 05
The detour of a car moving away is underestimated.
Traffic pattern detection with hysteresis: exit hysteresis · case 01
Up-peak flickers off as soon as the lobby share dips below the entry level.
Traffic pattern detection with hysteresis: exit hysteresis · case 02
Up-peak flickers off as soon as the lobby share dips below the entry level.
Traffic pattern detection with hysteresis: exit hysteresis · case 03
Up-peak flickers off as soon as the lobby share dips below the entry level.
Traffic pattern detection with hysteresis: exit hysteresis · case 04
Up-peak flickers off as soon as the lobby share dips below the entry level.
Traffic pattern detection with hysteresis: exit hysteresis · case 05
Up-peak flickers off as soon as the lobby share dips below the entry level.
Traffic pattern detection with hysteresis: minimum volume · case 01
A handful of calls switches the group into a peak mode.
Traffic pattern detection with hysteresis: minimum volume · case 02
A handful of calls switches the group into a peak mode.
Traffic pattern detection with hysteresis: minimum volume · case 03
A handful of calls switches the group into a peak mode.
Traffic pattern detection with hysteresis: minimum volume · case 04
A handful of calls switches the group into a peak mode.
Traffic pattern detection with hysteresis: minimum volume · case 05
A handful of calls switches the group into a peak mode.
Traffic pattern detection with hysteresis: percentage arithmetic · case 01
The up-peak share is always 0 or 100 percent, or rounds up across the threshold.
Traffic pattern detection with hysteresis: percentage arithmetic · case 02
The up-peak share is always 0 or 100 percent, or rounds up across the threshold.
Traffic pattern detection with hysteresis: percentage arithmetic · case 03
The up-peak share is always 0 or 100 percent, or rounds up across the threshold.
Traffic pattern detection with hysteresis: percentage arithmetic · case 04
The up-peak share is always 0 or 100 percent, or rounds up across the threshold.
Traffic pattern detection with hysteresis: percentage arithmetic · case 05
The up-peak share is always 0 or 100 percent, or rounds up across the threshold.
Single car SCAN service simulation: alight before boarding · case 01
Waiting passengers are left behind at a floor where riders are getting out.
Single car SCAN service simulation: alight before boarding · case 02
Waiting passengers are left behind at a floor where riders are getting out.
Single car SCAN service simulation: alight before boarding · case 03
Waiting passengers are left behind at a floor where riders are getting out.
Single car SCAN service simulation: alight before boarding · case 04
Waiting passengers are left behind at a floor where riders are getting out.
Single car SCAN service simulation: alight before boarding · case 05
Waiting passengers are left behind at a floor where riders are getting out.
Single car SCAN service simulation: boarding direction · case 01
Passengers board a car heading the wrong way and ride away from their destination.
Single car SCAN service simulation: boarding direction · case 02
Passengers board a car heading the wrong way and ride away from their destination.
Single car SCAN service simulation: boarding direction · case 03
Passengers board a car heading the wrong way and ride away from their destination.
Single car SCAN service simulation: boarding direction · case 04
Passengers board a car heading the wrong way and ride away from their destination.
Single car SCAN service simulation: boarding direction · case 05
Passengers board a car heading the wrong way and ride away from their destination.
Single car SCAN service simulation: capacity check · case 01
The car takes one passenger more than its capacity, or one fewer.
Single car SCAN service simulation: capacity check · case 02
The car takes one passenger more than its capacity, or one fewer.
Single car SCAN service simulation: capacity check · case 03
The car takes one passenger more than its capacity, or one fewer.
Single car SCAN service simulation: capacity check · case 04
The car takes one passenger more than its capacity, or one fewer.
Single car SCAN service simulation: capacity check · case 05
The car takes one passenger more than its capacity, or one fewer.
Single car SCAN service simulation: stop time accounting · case 01
Stops with several boarders take longer than one stop time, or alighting-only stops take no time.
Single car SCAN service simulation: stop time accounting · case 02
Stops with several boarders take longer than one stop time, or alighting-only stops take no time.
Single car SCAN service simulation: stop time accounting · case 03
Stops with several boarders take longer than one stop time, or alighting-only stops take no time.
Single car SCAN service simulation: stop time accounting · case 04
Stops with several boarders take longer than one stop time, or alighting-only stops take no time.
Single car SCAN service simulation: stop time accounting · case 05
Stops with several boarders take longer than one stop time, or alighting-only stops take no time.
Hall button registration and cancellation: terminal button validity · case 01
Non-existent terminal buttons register calls that no car will answer.
Hall button registration and cancellation: terminal button validity · case 02
Non-existent terminal buttons register calls that no car will answer.
Hall button registration and cancellation: terminal button validity · case 03
Non-existent terminal buttons register calls that no car will answer.
Hall button registration and cancellation: terminal button validity · case 04
Non-existent terminal buttons register calls that no car will answer.
Hall button registration and cancellation: terminal button validity · case 05
Non-existent terminal buttons register calls that no car will answer.
Hall button registration and cancellation: idle car service · case 01
An idle car opening at a floor leaves the second lamp lit.
Hall button registration and cancellation: idle car service · case 02
An idle car opening at a floor leaves the second lamp lit.
Hall button registration and cancellation: idle car service · case 03
An idle car opening at a floor leaves the second lamp lit.
Hall button registration and cancellation: idle car service · case 04
An idle car opening at a floor leaves the second lamp lit.
Hall button registration and cancellation: idle car service · case 05
An idle car opening at a floor leaves the second lamp lit.
Hall button registration and cancellation: terminal reversal service · case 01
A car reaching a terminal floor leaves the reversing call lit.
Hall button registration and cancellation: terminal reversal service · case 02
A car reaching a terminal floor leaves the reversing call lit.
Hall button registration and cancellation: terminal reversal service · case 03
A car reaching a terminal floor leaves the reversing call lit.
Hall button registration and cancellation: terminal reversal service · case 04
A car reaching a terminal floor leaves the reversing call lit.
Hall button registration and cancellation: terminal reversal service · case 05
A car reaching a terminal floor leaves the reversing call lit.
Hall button registration and cancellation: floor range · case 01
Top-floor calls are ignored or basement presses are registered.
Hall button registration and cancellation: floor range · case 02
Top-floor calls are ignored or basement presses are registered.
Hall button registration and cancellation: floor range · case 03
Top-floor calls are ignored or basement presses are registered.
Hall button registration and cancellation: floor range · case 04
Top-floor calls are ignored or basement presses are registered.
Hall button registration and cancellation: floor range · case 05
Top-floor calls are ignored or basement presses are registered.
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 ↗