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
Automatic route setting arbitration: arbitration order · case 01
A lower-class train wins a conflicting route over a higher-class train.
Automatic route setting arbitration: arbitration order · case 02
A lower-class train wins a conflicting route over a higher-class train.
Automatic route setting arbitration: arbitration order · case 03
A lower-class train wins a conflicting route over a higher-class train.
Automatic route setting arbitration: arbitration order · case 04
A lower-class train wins a conflicting route over a higher-class train.
Automatic route setting arbitration: arbitration order · case 05
A lower-class train wins a conflicting route over a higher-class train.
Automatic route setting arbitration: conflict symmetry · case 01
Two conflicting routes are both granted when the conflict is listed in the other order.
Automatic route setting arbitration: conflict symmetry · case 02
Two conflicting routes are both granted when the conflict is listed in the other order.
Automatic route setting arbitration: conflict symmetry · case 03
Two conflicting routes are both granted when the conflict is listed in the other order.
Automatic route setting arbitration: conflict symmetry · case 04
Two conflicting routes are both granted when the conflict is listed in the other order.
Automatic route setting arbitration: conflict symmetry · case 05
Two conflicting routes are both granted when the conflict is listed in the other order.
Automatic route setting arbitration: same route exclusion · case 01
The same route is granted to two trains.
Automatic route setting arbitration: same route exclusion · case 02
The same route is granted to two trains.
Automatic route setting arbitration: same route exclusion · case 03
The same route is granted to two trains.
Automatic route setting arbitration: same route exclusion · case 04
The same route is granted to two trains.
Automatic route setting arbitration: same route exclusion · case 05
The same route is granted to two trains.
Automatic route setting arbitration: conflict scope · case 01
A candidate conflicting with a later grant is still granted.
Automatic route setting arbitration: conflict scope · case 02
A candidate conflicting with a later grant is still granted.
Automatic route setting arbitration: conflict scope · case 03
A candidate conflicting with a later grant is still granted.
Automatic route setting arbitration: conflict scope · case 04
A candidate conflicting with a later grant is still granted.
Automatic route setting arbitration: conflict scope · case 05
A candidate conflicting with a later grant is still granted.
Temporary speed restriction over train length: rear clearance · case 01
The train accelerates when its front leaves the restriction while its rear is still inside.
Temporary speed restriction over train length: rear clearance · case 02
The train accelerates when its front leaves the restriction while its rear is still inside.
Temporary speed restriction over train length: rear clearance · case 03
The train accelerates when its front leaves the restriction while its rear is still inside.
Temporary speed restriction over train length: rear clearance · case 04
The train accelerates when its front leaves the restriction while its rear is still inside.
Temporary speed restriction over train length: rear clearance · case 05
The train accelerates when its front leaves the restriction while its rear is still inside.
Temporary speed restriction over train length: warning relevance · case 01
The driver is warned about a restriction that is faster than the one already in force.
Temporary speed restriction over train length: warning relevance · case 02
The driver is warned about a restriction that is faster than the one already in force.
Temporary speed restriction over train length: warning relevance · case 03
The driver is warned about a restriction that is faster than the one already in force.
Temporary speed restriction over train length: warning relevance · case 04
The driver is warned about a restriction that is faster than the one already in force.
Temporary speed restriction over train length: warning relevance · case 05
The driver is warned about a restriction that is faster than the one already in force.
Temporary speed restriction over train length: nearest restriction · case 01
The announced restriction is not the nearest one ahead.
Temporary speed restriction over train length: nearest restriction · case 02
The announced restriction is not the nearest one ahead.
Temporary speed restriction over train length: nearest restriction · case 03
The announced restriction is not the nearest one ahead.
Temporary speed restriction over train length: nearest restriction · case 04
The announced restriction is not the nearest one ahead.
Temporary speed restriction over train length: nearest restriction · case 05
The announced restriction is not the nearest one ahead.
Temporary speed restriction over train length: sighting distance reference · case 01
A restriction exactly at the sighting distance is not announced, or sighting is measured from the wrong end.
Temporary speed restriction over train length: sighting distance reference · case 02
A restriction exactly at the sighting distance is not announced, or sighting is measured from the wrong end.
Temporary speed restriction over train length: sighting distance reference · case 03
A restriction exactly at the sighting distance is not announced, or sighting is measured from the wrong end.
Temporary speed restriction over train length: sighting distance reference · case 04
A restriction exactly at the sighting distance is not announced, or sighting is measured from the wrong end.
Temporary speed restriction over train length: sighting distance reference · case 05
A restriction exactly at the sighting distance is not announced, or sighting is measured from the wrong end.
Directional collective next stop: same-direction call set · case 01
An up-travelling car stops for passengers who want to go down.
Directional collective next stop: same-direction call set · case 02
An up-travelling car stops for passengers who want to go down.
Directional collective next stop: same-direction call set · case 03
An up-travelling car stops for passengers who want to go down.
Directional collective next stop: same-direction call set · case 04
An up-travelling car stops for passengers who want to go down.
Directional collective next stop: same-direction call set · case 05
An up-travelling car stops for passengers who want to go down.
Directional collective next stop: reversal call choice · case 01
The car reverses at the nearest down call and leaves higher down calls waiting.
Directional collective next stop: reversal call choice · case 02
The car reverses at the nearest down call and leaves higher down calls waiting.
Directional collective next stop: reversal call choice · case 03
The car reverses at the nearest down call and leaves higher down calls waiting.
Directional collective next stop: reversal call choice · case 04
The car reverses at the nearest down call and leaves higher down calls waiting.
Directional collective next stop: reversal call choice · case 05
The car reverses at the nearest down call and leaves higher down calls waiting.
Directional collective next stop: idle tie-break · case 01
An idle car picks the wrong call when two are equally near, or ignores distance.
Directional collective next stop: idle tie-break · case 02
An idle car picks the wrong call when two are equally near, or ignores distance.
Directional collective next stop: idle tie-break · case 03
An idle car picks the wrong call when two are equally near, or ignores distance.
Directional collective next stop: idle tie-break · case 04
An idle car picks the wrong call when two are equally near, or ignores distance.
Directional collective next stop: idle tie-break · case 05
An idle car picks the wrong call when two are equally near, or ignores distance.
Directional collective next stop: reversal fallback · case 01
A car with calls only behind it goes idle instead of reversing.
Directional collective next stop: reversal fallback · case 02
A car with calls only behind it goes idle instead of reversing.
Directional collective next stop: reversal fallback · case 03
A car with calls only behind it goes idle instead of reversing.
Directional collective next stop: reversal fallback · case 04
A car with calls only behind it goes idle instead of reversing.
Directional collective next stop: reversal fallback · case 05
A car with calls only behind it goes idle instead of reversing.
Destination dispatch allocation: capacity boundary · case 01
A group that exactly fills the car is sent elsewhere, or an overfull car is chosen.
Destination dispatch allocation: capacity boundary · case 02
A group that exactly fills the car is sent elsewhere, or an overfull car is chosen.
Destination dispatch allocation: capacity boundary · case 03
A group that exactly fills the car is sent elsewhere, or an overfull car is chosen.
Destination dispatch allocation: capacity boundary · case 04
A group that exactly fills the car is sent elsewhere, or an overfull car is chosen.
Destination dispatch allocation: capacity boundary · case 05
A group that exactly fills the car is sent elsewhere, or an overfull car is chosen.
Destination dispatch allocation: coincident stop credit · case 01
Passengers for the same floor are spread over several cars.
Destination dispatch allocation: coincident stop credit · case 02
Passengers for the same floor are spread over several cars.
Destination dispatch allocation: coincident stop credit · case 03
Passengers for the same floor are spread over several cars.
Destination dispatch allocation: coincident stop credit · case 04
Passengers for the same floor are spread over several cars.
Destination dispatch allocation: coincident stop credit · case 05
Passengers for the same floor are spread over several cars.
Destination dispatch allocation: tie-break · case 01
Equal-cost allocations go to the highest car id.
Destination dispatch allocation: tie-break · case 02
Equal-cost allocations go to the highest car id.
Destination dispatch allocation: tie-break · case 03
Equal-cost allocations go to the highest car id.
Destination dispatch allocation: tie-break · case 04
Equal-cost allocations go to the highest car id.
Destination dispatch allocation: tie-break · case 05
Equal-cost allocations go to the highest car id.
Destination dispatch allocation: load bookkeeping · case 01
A car keeps being allocated groups beyond its capacity.
Destination dispatch allocation: load bookkeeping · case 02
A car keeps being allocated groups beyond its capacity.
Destination dispatch allocation: load bookkeeping · case 03
A car keeps being allocated groups beyond its capacity.
Destination dispatch allocation: load bookkeeping · case 04
A car keeps being allocated groups beyond its capacity.
Destination dispatch allocation: load bookkeeping · case 05
A car keeps being allocated groups beyond its capacity.
Destination dispatch allocation: stop bookkeeping · case 01
Later passengers for the same floor are not recognised as coincident.
Destination dispatch allocation: stop bookkeeping · case 02
Later passengers for the same floor are not recognised as coincident.
Destination dispatch allocation: stop bookkeeping · case 03
Later passengers for the same floor are not recognised as coincident.
Destination dispatch allocation: stop bookkeeping · case 04
Later passengers for the same floor are not recognised as coincident.
Destination dispatch allocation: stop bookkeeping · case 05
Later passengers for the same floor are not recognised as coincident.
Door dwell time calculation: stop type base · case 01
A stop serving both hall and car calls closes its doors too quickly.
Door dwell time calculation: stop type base · case 02
A stop serving both hall and car calls closes its doors too quickly.
Door dwell time calculation: stop type base · case 03
A stop serving both hall and car calls closes its doors too quickly.
Door dwell time calculation: stop type base · case 04
A stop serving both hall and car calls closes its doors too quickly.
Door dwell time calculation: stop type base · case 05
A stop serving both hall and car calls closes its doors too quickly.
Door dwell time calculation: accessible extension rounding · case 01
Accessible mode has no effect or yields fractional deciseconds.
Door dwell time calculation: accessible extension rounding · case 02
Accessible mode has no effect or yields fractional deciseconds.
Door dwell time calculation: accessible extension rounding · case 03
Accessible mode has no effect or yields fractional deciseconds.
Door dwell time calculation: accessible extension rounding · case 04
Accessible mode has no effect or yields fractional deciseconds.
Door dwell time calculation: accessible extension rounding · case 05
Accessible mode has no effect or yields fractional deciseconds.
Door dwell time calculation: first passenger allowance · case 01
Every stop is ten deciseconds longer than stipulated, or shorter when nobody moves.
Door dwell time calculation: first passenger allowance · case 02
Every stop is ten deciseconds longer than stipulated, or shorter when nobody moves.
Door dwell time calculation: first passenger allowance · case 03
Every stop is ten deciseconds longer than stipulated, or shorter when nobody moves.
Door dwell time calculation: first passenger allowance · case 04
Every stop is ten deciseconds longer than stipulated, or shorter when nobody moves.
Door dwell time calculation: first passenger allowance · case 05
Every stop is ten deciseconds longer than stipulated, or shorter when nobody moves.
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 ↗