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
Car call registration and cancellation: floor range check · case 01
A non-existent floor is registered as a car call.
Car call registration and cancellation: floor range check · case 02
A non-existent floor is registered as a car call.
Car call registration and cancellation: floor range check · case 03
A non-existent floor is registered as a car call.
Car call registration and cancellation: floor range check · case 04
A non-existent floor is registered as a car call.
Car call registration and cancellation: floor range check · case 05
A non-existent floor is registered as a car call.
Car call registration and cancellation: double press cancel · case 01
The last remaining call is cancelled by a double press, or earlier calls cannot be cancelled.
Car call registration and cancellation: double press cancel · case 02
The last remaining call is cancelled by a double press, or earlier calls cannot be cancelled.
Car call registration and cancellation: double press cancel · case 03
The last remaining call is cancelled by a double press, or earlier calls cannot be cancelled.
Car call registration and cancellation: double press cancel · case 04
The last remaining call is cancelled by a double press, or earlier calls cannot be cancelled.
Car call registration and cancellation: double press cancel · case 05
The last remaining call is cancelled by a double press, or earlier calls cannot be cancelled.
Car call registration and cancellation: nuisance limit · case 01
An empty car accepts a sixth call from a prankster, or legitimate calls are refused.
Car call registration and cancellation: nuisance limit · case 02
An empty car accepts a sixth call from a prankster, or legitimate calls are refused.
Car call registration and cancellation: nuisance limit · case 03
An empty car accepts a sixth call from a prankster, or legitimate calls are refused.
Car call registration and cancellation: nuisance limit · case 04
An empty car accepts a sixth call from a prankster, or legitimate calls are refused.
Car call registration and cancellation: nuisance limit · case 05
An empty car accepts a sixth call from a prankster, or legitimate calls are refused.
Hall call waiting time statistics: censored waits · case 01
Long-waiting unanswered calls vanish from the statistics.
Hall call waiting time statistics: censored waits · case 02
Long-waiting unanswered calls vanish from the statistics.
Hall call waiting time statistics: censored waits · case 03
Long-waiting unanswered calls vanish from the statistics.
Hall call waiting time statistics: censored waits · case 04
Long-waiting unanswered calls vanish from the statistics.
Hall call waiting time statistics: censored waits · case 05
Long-waiting unanswered calls vanish from the statistics.
Hall call waiting time statistics: clock skew clamp · case 01
Negative waits pull the average down.
Hall call waiting time statistics: clock skew clamp · case 02
Negative waits pull the average down.
Hall call waiting time statistics: clock skew clamp · case 03
Negative waits pull the average down.
Hall call waiting time statistics: clock skew clamp · case 04
Negative waits pull the average down.
Hall call waiting time statistics: clock skew clamp · case 05
Negative waits pull the average down.
Hall call waiting time statistics: long wait threshold · case 01
Calls answered in exactly sixty seconds count as long waits, or none ever do.
Hall call waiting time statistics: long wait threshold · case 02
Calls answered in exactly sixty seconds count as long waits, or none ever do.
Hall call waiting time statistics: long wait threshold · case 03
Calls answered in exactly sixty seconds count as long waits, or none ever do.
Hall call waiting time statistics: long wait threshold · case 04
Calls answered in exactly sixty seconds count as long waits, or none ever do.
Hall call waiting time statistics: long wait threshold · case 05
Calls answered in exactly sixty seconds count as long waits, or none ever do.
Hall call waiting time statistics: mean rounding · case 01
The mean wait is one second high.
Hall call waiting time statistics: mean rounding · case 02
The mean wait is one second high.
Hall call waiting time statistics: mean rounding · case 03
The mean wait is one second high.
Hall call waiting time statistics: mean rounding · case 04
The mean wait is one second high.
Hall call waiting time statistics: mean rounding · case 05
The mean wait is one second high.
Hall call ETA with intermediate stops: direction mirroring · case 01
ETAs for down-travelling cars count the wrong stops.
Hall call ETA with intermediate stops: direction mirroring · case 02
ETAs for down-travelling cars count the wrong stops.
Hall call ETA with intermediate stops: direction mirroring · case 03
ETAs for down-travelling cars count the wrong stops.
Hall call ETA with intermediate stops: direction mirroring · case 04
ETAs for down-travelling cars count the wrong stops.
Hall call ETA with intermediate stops: direction mirroring · case 05
ETAs for down-travelling cars count the wrong stops.
Hall call ETA with intermediate stops: direct service condition · case 01
A call at the floor the car has just left, or a call wanting the other direction, is treated as directly on the way.
Hall call ETA with intermediate stops: direct service condition · case 02
A call at the floor the car has just left, or a call wanting the other direction, is treated as directly on the way.
Hall call ETA with intermediate stops: direct service condition · case 03
A call at the floor the car has just left, or a call wanting the other direction, is treated as directly on the way.
Hall call ETA with intermediate stops: direct service condition · case 04
A call at the floor the car has just left, or a call wanting the other direction, is treated as directly on the way.
Hall call ETA with intermediate stops: direct service condition · case 05
A call at the floor the car has just left, or a call wanting the other direction, is treated as directly on the way.
Hall call ETA with intermediate stops: return leg stops · case 01
The ETA of calls behind the car ignores stops made on the way back.
Hall call ETA with intermediate stops: return leg stops · case 02
The ETA of calls behind the car ignores stops made on the way back.
Hall call ETA with intermediate stops: return leg stops · case 03
The ETA of calls behind the car ignores stops made on the way back.
Hall call ETA with intermediate stops: return leg stops · case 04
The ETA of calls behind the car ignores stops made on the way back.
Hall call ETA with intermediate stops: return leg stops · case 05
The ETA of calls behind the car ignores stops made on the way back.
Hall call ETA with intermediate stops: reversal path length · case 01
The ETA forgets the distance run beyond the car position before reversing.
Hall call ETA with intermediate stops: reversal path length · case 02
The ETA forgets the distance run beyond the car position before reversing.
Hall call ETA with intermediate stops: reversal path length · case 03
The ETA forgets the distance run beyond the car position before reversing.
Hall call ETA with intermediate stops: reversal path length · case 04
The ETA forgets the distance run beyond the car position before reversing.
Hall call ETA with intermediate stops: reversal path length · case 05
The ETA forgets the distance run beyond the car position before reversing.
Hall call ETA with intermediate stops: direct leg stops · case 01
A direct run charges a stop at the car current floor or stops beyond the target.
Hall call ETA with intermediate stops: direct leg stops · case 02
A direct run charges a stop at the car current floor or stops beyond the target.
Hall call ETA with intermediate stops: direct leg stops · case 03
A direct run charges a stop at the car current floor or stops beyond the target.
Hall call ETA with intermediate stops: direct leg stops · case 04
A direct run charges a stop at the car current floor or stops beyond the target.
Hall call ETA with intermediate stops: direct leg stops · case 05
A direct run charges a stop at the car current floor or stops beyond the target.
Fire service phase I recall: recall floor choice · case 01
Cars are recalled to a smoke-filled floor.
Fire service phase I recall: recall floor choice · case 02
Cars are recalled to a smoke-filled floor.
Fire service phase I recall: recall floor choice · case 03
Cars are recalled to a smoke-filled floor.
Fire service phase I recall: recall floor choice · case 04
Cars are recalled to a smoke-filled floor.
Fire service phase I recall: recall floor choice · case 05
Cars are recalled to a smoke-filled floor.
Fire service phase I recall: towards test strictness · case 01
A car passing the recall floor is told to run nonstop to where it already is.
Fire service phase I recall: towards test strictness · case 02
A car passing the recall floor is told to run nonstop to where it already is.
Fire service phase I recall: towards test strictness · case 03
A car passing the recall floor is told to run nonstop to where it already is.
Fire service phase I recall: towards test strictness · case 04
A car passing the recall floor is told to run nonstop to where it already is.
Fire service phase I recall: towards test strictness · case 05
A car passing the recall floor is told to run nonstop to where it already is.
Fire service phase I recall: reverse stop floor · case 01
A car moving away is told to stop at the floor it is passing.
Fire service phase I recall: reverse stop floor · case 02
A car moving away is told to stop at the floor it is passing.
Fire service phase I recall: reverse stop floor · case 03
A car moving away is told to stop at the floor it is passing.
Fire service phase I recall: reverse stop floor · case 04
A car moving away is told to stop at the floor it is passing.
Fire service phase I recall: reverse stop floor · case 05
A car moving away is told to stop at the floor it is passing.
Fire service phase I recall: shaft end clipping · case 01
A car moving away at the top or bottom is sent to a floor that does not exist.
Fire service phase I recall: shaft end clipping · case 02
A car moving away at the top or bottom is sent to a floor that does not exist.
Fire service phase I recall: shaft end clipping · case 03
A car moving away at the top or bottom is sent to a floor that does not exist.
Fire service phase I recall: shaft end clipping · case 04
A car moving away at the top or bottom is sent to a floor that does not exist.
Fire service phase I recall: shaft end clipping · case 05
A car moving away at the top or bottom is sent to a floor that does not exist.
Fire service phase I recall: stationary door opening · case 01
A car parked at the recall floor keeps its doors shut or a passing car opens its doors.
Fire service phase I recall: stationary door opening · case 02
A car parked at the recall floor keeps its doors shut or a passing car opens its doors.
Fire service phase I recall: stationary door opening · case 03
A car parked at the recall floor keeps its doors shut or a passing car opens its doors.
Fire service phase I recall: stationary door opening · case 04
A car parked at the recall floor keeps its doors shut or a passing car opens its doors.
Fire service phase I recall: stationary door opening · case 05
A car parked at the recall floor keeps its doors shut or a passing car opens its doors.
Zoned express car call acceptance: zone upper bound · case 01
The top floor of the zone is refused.
Zoned express car call acceptance: zone upper bound · case 02
The top floor of the zone is refused.
Zoned express car call acceptance: zone upper bound · case 03
The top floor of the zone is refused.
Zoned express car call acceptance: zone upper bound · case 04
The top floor of the zone is refused.
Zoned express car call acceptance: zone upper bound · case 05
The top floor of the zone is refused.
Zoned express car call acceptance: suggestion tie-break · case 01
Equidistant suggestions point downwards.
Zoned express car call acceptance: suggestion tie-break · case 02
Equidistant suggestions point downwards.
Zoned express car call acceptance: suggestion tie-break · case 03
Equidistant suggestions point downwards.
Zoned express car call acceptance: suggestion tie-break · case 04
Equidistant suggestions point downwards.
Zoned express car call acceptance: suggestion tie-break · case 05
Equidistant suggestions point downwards.
Zoned express car call acceptance: sky lobby service · case 01
Passengers are refused at the sky lobby where they transfer.
Zoned express car call acceptance: sky lobby service · case 02
Passengers are refused at the sky lobby where they transfer.
Zoned express car call acceptance: sky lobby service · case 03
Passengers are refused at the sky lobby where they transfer.
Zoned express car call acceptance: sky lobby service · case 04
Passengers are refused at the sky lobby where they transfer.
Zoned express car call acceptance: sky lobby service · case 05
Passengers are refused at the sky lobby where they transfer.
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 ↗