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
Release-completed dot chord keyboard: A dot repeat toggles physical held state or drops other still-held dots · case 01
The event trace violates the held dot rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: A dot repeat toggles physical held state or drops other still-held dots · case 02
The event trace violates the held dot rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: A dot repeat toggles physical held state or drops other still-held dots · case 03
The event trace violates the held dot rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: A dot repeat toggles physical held state or drops other still-held dots · case 04
The event trace violates the held dot rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: A dot repeat toggles physical held state or drops other still-held dots · case 05
The event trace violates the held dot rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Rolling dot chord forgets earlier dots or removes a repeated dot · case 01
The event trace violates the accumulate dot rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Rolling dot chord forgets earlier dots or removes a repeated dot · case 02
The event trace violates the accumulate dot rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Rolling dot chord forgets earlier dots or removes a repeated dot · case 03
The event trace violates the accumulate dot rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Rolling dot chord forgets earlier dots or removes a repeated dot · case 04
The event trace violates the accumulate dot rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Rolling dot chord forgets earlier dots or removes a repeated dot · case 05
The event trace violates the accumulate dot rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: An unmatched dot release is treated as a chord release transition · case 01
The event trace violates the release membership rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: An unmatched dot release is treated as a chord release transition · case 02
The event trace violates the release membership rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: An unmatched dot release is treated as a chord release transition · case 03
The event trace violates the release membership rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: An unmatched dot release is treated as a chord release transition · case 04
The event trace violates the release membership rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: An unmatched dot release is treated as a chord release transition · case 05
The event trace violates the release membership rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Releasing one dot clears other physical chord members · case 01
The event trace violates the release dot rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Releasing one dot clears other physical chord members · case 02
The event trace violates the release dot rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Releasing one dot clears other physical chord members · case 03
The event trace violates the release dot rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Releasing one dot clears other physical chord members · case 04
The event trace violates the release dot rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Releasing one dot clears other physical chord members · case 05
The event trace violates the release dot rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Dot chord commits before all participating keys have been released · case 01
The event trace violates the commit final rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Dot chord commits before all participating keys have been released · case 02
The event trace violates the commit final rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Dot chord commits before all participating keys have been released · case 03
The event trace violates the commit final rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Dot chord commits before all participating keys have been released · case 04
The event trace violates the commit final rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Dot chord commits before all participating keys have been released · case 05
The event trace violates the commit final rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Committed dot pattern uses remaining held dots or noncanonical dot order · case 01
The event trace violates the commit content rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Committed dot pattern uses remaining held dots or noncanonical dot order · case 02
The event trace violates the commit content rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Committed dot pattern uses remaining held dots or noncanonical dot order · case 03
The event trace violates the commit content rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Committed dot pattern uses remaining held dots or noncanonical dot order · case 04
The event trace violates the commit content rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Committed dot pattern uses remaining held dots or noncanonical dot order · case 05
The event trace violates the commit content rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: A completed dot chord leaks dot membership into the next chord · case 01
The event trace violates the clear committed rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: A completed dot chord leaks dot membership into the next chord · case 02
The event trace violates the clear committed rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: A completed dot chord leaks dot membership into the next chord · case 03
The event trace violates the clear committed rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: A completed dot chord leaks dot membership into the next chord · case 04
The event trace violates the clear committed rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: A completed dot chord leaks dot membership into the next chord · case 05
The event trace violates the clear committed rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Separator is represented as a padding dot or omitted instead of an explicit empty chord · case 01
The event trace violates the separator empty rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Separator is represented as a padding dot or omitted instead of an explicit empty chord · case 02
The event trace violates the separator empty rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Separator is represented as a padding dot or omitted instead of an explicit empty chord · case 03
The event trace violates the separator empty rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Separator is represented as a padding dot or omitted instead of an explicit empty chord · case 04
The event trace violates the separator empty rule and produces incorrect keyboard state or command output.
Release-completed dot chord keyboard: Separator is represented as a padding dot or omitted instead of an explicit empty chord · case 05
The event trace violates the separator empty rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: A press at the keypad commit deadline cycles the expired character or uses absolute time · case 01
The event trace violates the press expiry rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: A press at the keypad commit deadline cycles the expired character or uses absolute time · case 02
The event trace violates the press expiry rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: A press at the keypad commit deadline cycles the expired character or uses absolute time · case 03
The event trace violates the press expiry rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: A press at the keypad commit deadline cycles the expired character or uses absolute time · case 04
The event trace violates the press expiry rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: A press at the keypad commit deadline cycles the expired character or uses absolute time · case 05
The event trace violates the press expiry rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Changing keypad key cycles an unrelated pending character · case 01
The event trace violates the same key cycle rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Changing keypad key cycles an unrelated pending character · case 02
The event trace violates the same key cycle rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Changing keypad key cycles an unrelated pending character · case 03
The event trace violates the same key cycle rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Changing keypad key cycles an unrelated pending character · case 04
The event trace violates the same key cycle rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Changing keypad key cycles an unrelated pending character · case 05
The event trace violates the same key cycle rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Multi-tap character cycling saturates or moves backward instead of wrapping · case 01
The event trace violates the cycle wrap rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Multi-tap character cycling saturates or moves backward instead of wrapping · case 02
The event trace violates the cycle wrap rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Multi-tap character cycling saturates or moves backward instead of wrapping · case 03
The event trace violates the cycle wrap rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Multi-tap character cycling saturates or moves backward instead of wrapping · case 04
The event trace violates the cycle wrap rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Multi-tap character cycling saturates or moves backward instead of wrapping · case 05
The event trace violates the cycle wrap rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Repeated tap extends the timeout from an old deadline or expires immediately · case 01
The event trace violates the cycle deadline rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Repeated tap extends the timeout from an old deadline or expires immediately · case 02
The event trace violates the cycle deadline rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Repeated tap extends the timeout from an old deadline or expires immediately · case 03
The event trace violates the cycle deadline rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Repeated tap extends the timeout from an old deadline or expires immediately · case 04
The event trace violates the cycle deadline rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Repeated tap extends the timeout from an old deadline or expires immediately · case 05
The event trace violates the cycle deadline rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Changing keypad key commits the new key character or loses the old pending one · case 01
The event trace violates the switch commit rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Changing keypad key commits the new key character or loses the old pending one · case 02
The event trace violates the switch commit rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Changing keypad key commits the new key character or loses the old pending one · case 03
The event trace violates the switch commit rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Changing keypad key commits the new key character or loses the old pending one · case 04
The event trace violates the switch commit rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Changing keypad key commits the new key character or loses the old pending one · case 05
The event trace violates the switch commit rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: A newly selected keypad key starts on its last character or an absolute deadline · case 01
The event trace violates the new character rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: A newly selected keypad key starts on its last character or an absolute deadline · case 02
The event trace violates the new character rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: A newly selected keypad key starts on its last character or an absolute deadline · case 03
The event trace violates the new character rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: A newly selected keypad key starts on its last character or an absolute deadline · case 04
The event trace violates the new character rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: A newly selected keypad key starts on its last character or an absolute deadline · case 05
The event trace violates the new character rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Timer commits early or fails to commit a character at its deadline · case 01
The event trace violates the tick expiry rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Timer commits early or fails to commit a character at its deadline · case 02
The event trace violates the tick expiry rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Timer commits early or fails to commit a character at its deadline · case 03
The event trace violates the tick expiry rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Timer commits early or fails to commit a character at its deadline · case 04
The event trace violates the tick expiry rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Timer commits early or fails to commit a character at its deadline · case 05
The event trace violates the tick expiry rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Backspace with a pending character deletes committed text · case 01
The event trace violates the pending backspace rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Backspace with a pending character deletes committed text · case 02
The event trace violates the pending backspace rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Backspace with a pending character deletes committed text · case 03
The event trace violates the pending backspace rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Backspace with a pending character deletes committed text · case 04
The event trace violates the pending backspace rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Backspace with a pending character deletes committed text · case 05
The event trace violates the pending backspace rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Backspace removes the first character or clears the whole committed buffer · case 01
The event trace violates the committed backspace rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Backspace removes the first character or clears the whole committed buffer · case 02
The event trace violates the committed backspace rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Backspace removes the first character or clears the whole committed buffer · case 03
The event trace violates the committed backspace rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Backspace removes the first character or clears the whole committed buffer · case 04
The event trace violates the committed backspace rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Backspace removes the first character or clears the whole committed buffer · case 05
The event trace violates the committed backspace rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Space fails to close pending character state or erases previous text · case 01
The event trace violates the space close rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Space fails to close pending character state or erases previous text · case 02
The event trace violates the space close rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Space fails to close pending character state or erases previous text · case 03
The event trace violates the space close rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Space fails to close pending character state or erases previous text · case 04
The event trace violates the space close rule and produces incorrect keyboard state or command output.
Multi-tap keyboard character commit timing: Space fails to close pending character state or erases previous text · case 05
The event trace violates the space close rule and produces incorrect keyboard state or command output.
Keyboard numeric character entry transaction: Starting numeric entry preserves stale digits or discards hexadecimal mode · case 01
The event trace violates the begin reset rule and produces incorrect keyboard state or command output.
Keyboard numeric character entry transaction: Starting numeric entry preserves stale digits or discards hexadecimal mode · case 02
The event trace violates the begin reset rule and produces incorrect keyboard state or command output.
Keyboard numeric character entry transaction: Starting numeric entry preserves stale digits or discards hexadecimal mode · case 03
The event trace violates the begin reset rule and produces incorrect keyboard state or command output.
Keyboard numeric character entry transaction: Starting numeric entry preserves stale digits or discards hexadecimal mode · case 04
The event trace violates the begin reset rule and produces incorrect keyboard state or command output.
Keyboard numeric character entry transaction: Starting numeric entry preserves stale digits or discards hexadecimal mode · case 05
The event trace violates the begin reset rule and produces incorrect keyboard state or command output.
Keyboard numeric character entry transaction: Hexadecimal digit admission loses the final digit or normalized letters · case 01
The event trace violates the digit alphabet rule and produces incorrect keyboard state or command output.
Keyboard numeric character entry transaction: Hexadecimal digit admission loses the final digit or normalized letters · case 02
The event trace violates the digit alphabet rule and produces incorrect keyboard state or command output.
Keyboard numeric character entry transaction: Hexadecimal digit admission loses the final digit or normalized letters · case 03
The event trace violates the digit alphabet rule and produces incorrect keyboard state or command output.
Keyboard numeric character entry transaction: Hexadecimal digit admission loses the final digit or normalized letters · case 04
The event trace violates the digit alphabet rule and produces incorrect keyboard state or command output.
Keyboard numeric character entry transaction: Hexadecimal digit admission loses the final digit or normalized letters · case 05
The event trace violates the digit alphabet rule and produces incorrect keyboard state or command output.
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 ↗