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
Movement authority end computation: margin application · case 01
A length-capped authority is shortened by the safety margin.
Movement authority end computation: margin application · case 02
A length-capped authority is shortened by the safety margin.
Movement authority end computation: margin application · case 03
A length-capped authority is shortened by the safety margin.
Movement authority end computation: margin application · case 04
A length-capped authority is shortened by the safety margin.
Movement authority end computation: margin application · case 05
A length-capped authority is shortened by the safety margin.
Two-out-of-three occupancy voting: tie resolution · case 01
Two healthy channels that disagree produce a clear vote.
Two-out-of-three occupancy voting: tie resolution · case 02
Two healthy channels that disagree produce a clear vote.
Two-out-of-three occupancy voting: tie resolution · case 03
Two healthy channels that disagree produce a clear vote.
Two-out-of-three occupancy voting: tie resolution · case 04
Two healthy channels that disagree produce a clear vote.
Two-out-of-three occupancy voting: tie resolution · case 05
Two healthy channels that disagree produce a clear vote.
Two-out-of-three occupancy voting: minimum healthy channels · case 01
A single surviving channel is trusted to declare the section clear.
Two-out-of-three occupancy voting: minimum healthy channels · case 02
A single surviving channel is trusted to declare the section clear.
Two-out-of-three occupancy voting: minimum healthy channels · case 03
A single surviving channel is trusted to declare the section clear.
Two-out-of-three occupancy voting: minimum healthy channels · case 04
A single surviving channel is trusted to declare the section clear.
Two-out-of-three occupancy voting: minimum healthy channels · case 05
A single surviving channel is trusted to declare the section clear.
Two-out-of-three occupancy voting: discrepancy reset · case 01
A channel is isolated after scattered, non-consecutive discrepancies.
Two-out-of-three occupancy voting: discrepancy reset · case 02
A channel is isolated after scattered, non-consecutive discrepancies.
Two-out-of-three occupancy voting: discrepancy reset · case 03
A channel is isolated after scattered, non-consecutive discrepancies.
Two-out-of-three occupancy voting: discrepancy reset · case 04
A channel is isolated after scattered, non-consecutive discrepancies.
Two-out-of-three occupancy voting: discrepancy reset · case 05
A channel is isolated after scattered, non-consecutive discrepancies.
Two-out-of-three occupancy voting: isolation policy · case 01
A persistently dissenting channel keeps voting one cycle too long or is never isolated.
Two-out-of-three occupancy voting: isolation policy · case 02
A persistently dissenting channel keeps voting one cycle too long or is never isolated.
Two-out-of-three occupancy voting: isolation policy · case 03
A persistently dissenting channel keeps voting one cycle too long or is never isolated.
Two-out-of-three occupancy voting: isolation policy · case 04
A persistently dissenting channel keeps voting one cycle too long or is never isolated.
Two-out-of-three occupancy voting: isolation policy · case 05
A persistently dissenting channel keeps voting one cycle too long or is never isolated.
Two-out-of-three occupancy voting: isolated channel exclusion · case 01
An isolated channel continues to influence the vote.
Two-out-of-three occupancy voting: isolated channel exclusion · case 02
An isolated channel continues to influence the vote.
Two-out-of-three occupancy voting: isolated channel exclusion · case 03
An isolated channel continues to influence the vote.
Two-out-of-three occupancy voting: isolated channel exclusion · case 04
An isolated channel continues to influence the vote.
Two-out-of-three occupancy voting: isolated channel exclusion · case 05
An isolated channel continues to influence the vote.
Train describer berth stepping: empty berth step · case 01
A train stepping from an unlabelled berth loses its description entirely.
Train describer berth stepping: empty berth step · case 02
A train stepping from an unlabelled berth loses its description entirely.
Train describer berth stepping: empty berth step · case 03
A train stepping from an unlabelled berth loses its description entirely.
Train describer berth stepping: empty berth step · case 04
A train stepping from an unlabelled berth loses its description entirely.
Train describer berth stepping: empty berth step · case 05
A train stepping from an unlabelled berth loses its description entirely.
Train describer berth stepping: source berth blanking · case 01
A description stays behind in the berth the train has left.
Train describer berth stepping: source berth blanking · case 02
A description stays behind in the berth the train has left.
Train describer berth stepping: source berth blanking · case 03
A description stays behind in the berth the train has left.
Train describer berth stepping: source berth blanking · case 04
A description stays behind in the berth the train has left.
Train describer berth stepping: source berth blanking · case 05
A description stays behind in the berth the train has left.
Train describer berth stepping: area exit berth · case 01
Trains leave the describer area one berth early, or unknown trains vanish without trace.
Train describer berth stepping: area exit berth · case 02
Trains leave the describer area one berth early, or unknown trains vanish without trace.
Train describer berth stepping: area exit berth · case 03
Trains leave the describer area one berth early, or unknown trains vanish without trace.
Train describer berth stepping: area exit berth · case 04
Trains leave the describer area one berth early, or unknown trains vanish without trace.
Train describer berth stepping: area exit berth · case 05
Trains leave the describer area one berth early, or unknown trains vanish without trace.
Train describer berth stepping: clash detection · case 01
Overwriting a description in an occupied berth goes unreported.
Train describer berth stepping: clash detection · case 02
Overwriting a description in an occupied berth goes unreported.
Train describer berth stepping: clash detection · case 03
Overwriting a description in an occupied berth goes unreported.
Train describer berth stepping: clash detection · case 04
Overwriting a description in an occupied berth goes unreported.
Train describer berth stepping: clash detection · case 05
Overwriting a description in an occupied berth goes unreported.
Signal lamp proving and aspect degradation: auxiliary filament fallback · case 01
A signal degrades although its auxiliary filament is working.
Signal lamp proving and aspect degradation: auxiliary filament fallback · case 02
A signal degrades although its auxiliary filament is working.
Signal lamp proving and aspect degradation: auxiliary filament fallback · case 03
A signal degrades although its auxiliary filament is working.
Signal lamp proving and aspect degradation: auxiliary filament fallback · case 04
A signal degrades although its auxiliary filament is working.
Signal lamp proving and aspect degradation: auxiliary filament fallback · case 05
A signal degrades although its auxiliary filament is working.
Signal lamp proving and aspect degradation: degradation direction · case 01
A signal with a failed lamp shows a less restrictive aspect than requested.
Signal lamp proving and aspect degradation: degradation direction · case 02
A signal with a failed lamp shows a less restrictive aspect than requested.
Signal lamp proving and aspect degradation: degradation direction · case 03
A signal with a failed lamp shows a less restrictive aspect than requested.
Signal lamp proving and aspect degradation: degradation direction · case 04
A signal with a failed lamp shows a less restrictive aspect than requested.
Signal lamp proving and aspect degradation: degradation direction · case 05
A signal with a failed lamp shows a less restrictive aspect than requested.
Signal lamp proving and aspect degradation: double yellow lamp set · case 01
A double yellow is displayed with one of its two lamps dark.
Signal lamp proving and aspect degradation: double yellow lamp set · case 02
A double yellow is displayed with one of its two lamps dark.
Signal lamp proving and aspect degradation: double yellow lamp set · case 03
A double yellow is displayed with one of its two lamps dark.
Signal lamp proving and aspect degradation: double yellow lamp set · case 04
A double yellow is displayed with one of its two lamps dark.
Signal lamp proving and aspect degradation: double yellow lamp set · case 05
A double yellow is displayed with one of its two lamps dark.
Signal lamp proving and aspect degradation: filament alarm scope · case 01
A filament alarm is raised for a lamp that is not in use, or missed for one that is.
Signal lamp proving and aspect degradation: filament alarm scope · case 02
A filament alarm is raised for a lamp that is not in use, or missed for one that is.
Signal lamp proving and aspect degradation: filament alarm scope · case 03
A filament alarm is raised for a lamp that is not in use, or missed for one that is.
Signal lamp proving and aspect degradation: filament alarm scope · case 04
A filament alarm is raised for a lamp that is not in use, or missed for one that is.
Signal lamp proving and aspect degradation: filament alarm scope · case 05
A filament alarm is raised for a lamp that is not in use, or missed for one that is.
Signal lamp proving and aspect degradation: dark signal alarm · case 01
A completely dark signal raises no alarm.
Signal lamp proving and aspect degradation: dark signal alarm · case 02
A completely dark signal raises no alarm.
Signal lamp proving and aspect degradation: dark signal alarm · case 03
A completely dark signal raises no alarm.
Signal lamp proving and aspect degradation: dark signal alarm · case 04
A completely dark signal raises no alarm.
Signal lamp proving and aspect degradation: dark signal alarm · case 05
A completely dark signal raises no alarm.
Signal replacement and stick control: replacement stick latch · case 01
A signal re-clears behind a train for a following train on the same route setting.
Signal replacement and stick control: replacement stick latch · case 02
A signal re-clears behind a train for a following train on the same route setting.
Signal replacement and stick control: replacement stick latch · case 03
A signal re-clears behind a train for a following train on the same route setting.
Signal replacement and stick control: replacement stick latch · case 04
A signal re-clears behind a train for a following train on the same route setting.
Signal replacement and stick control: replacement stick latch · case 05
A signal re-clears behind a train for a following train on the same route setting.
Signal replacement and stick control: stick reset edge · case 01
The stick never holds a signal at danger, or it cannot be reset while a train approaches.
Signal replacement and stick control: stick reset edge · case 02
The stick never holds a signal at danger, or it cannot be reset while a train approaches.
Signal replacement and stick control: stick reset edge · case 03
The stick never holds a signal at danger, or it cannot be reset while a train approaches.
Signal replacement and stick control: stick reset edge · case 04
The stick never holds a signal at danger, or it cannot be reset while a train approaches.
Signal replacement and stick control: stick reset edge · case 05
The stick never holds a signal at danger, or it cannot be reset while a train approaches.
Signal replacement and stick control: approach release condition · case 01
An approach-released signal clears before the train arrives on the approach.
Signal replacement and stick control: approach release condition · case 02
An approach-released signal clears before the train arrives on the approach.
Signal replacement and stick control: approach release condition · case 03
An approach-released signal clears before the train arrives on the approach.
Signal replacement and stick control: approach release condition · case 04
An approach-released signal clears before the train arrives on the approach.
Signal replacement and stick control: approach release condition · case 05
An approach-released signal clears before the train arrives on the approach.
Signal replacement and stick control: automatic stick reset · case 01
An automatic signal stays at danger for good after the first train.
Signal replacement and stick control: automatic stick reset · case 02
An automatic signal stays at danger for good after the first train.
Signal replacement and stick control: automatic stick reset · case 03
An automatic signal stays at danger for good after the first train.
Signal replacement and stick control: automatic stick reset · case 04
An automatic signal stays at danger for good after the first train.
Signal replacement and stick control: automatic stick reset · case 05
An automatic signal stays at danger for good after the first train.
Signal replacement and stick control: danger on occupancy · case 01
A signal clears into a section that is already occupied.
Signal replacement and stick control: danger on occupancy · case 02
A signal clears into a section that is already occupied.
Signal replacement and stick control: danger on occupancy · case 03
A signal clears into a section that is already occupied.
Signal replacement and stick control: danger on occupancy · case 04
A signal clears into a section that is already occupied.
Signal replacement and stick control: danger on occupancy · case 05
A signal clears into a section that is already occupied.
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 ↗