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
Coalesced summary loses the number of updates · case 01
The announcement trace violates the stated coalescing-window contract.
Coalesced summary loses the number of updates · case 02
The announcement trace violates the stated coalescing-window contract.
Coalesced summary loses the number of updates · case 03
The announcement trace violates the stated coalescing-window contract.
Coalesced summary loses the number of updates · case 04
The announcement trace violates the stated coalescing-window contract.
Coalesced summary loses the number of updates · case 05
The announcement trace violates the stated coalescing-window contract.
New burst deadline is relative to process zero · case 01
The announcement trace violates the stated coalescing-window contract.
New burst deadline is relative to process zero · case 02
The announcement trace violates the stated coalescing-window contract.
New burst deadline is relative to process zero · case 03
The announcement trace violates the stated coalescing-window contract.
New burst deadline is relative to process zero · case 04
The announcement trace violates the stated coalescing-window contract.
New burst deadline is relative to process zero · case 05
The announcement trace violates the stated coalescing-window contract.
Canceling one burst discards other sources · case 01
The announcement trace violates the stated coalescing-window contract.
Canceling one burst discards other sources · case 02
The announcement trace violates the stated coalescing-window contract.
Canceling one burst discards other sources · case 03
The announcement trace violates the stated coalescing-window contract.
Canceling one burst discards other sources · case 04
The announcement trace violates the stated coalescing-window contract.
Canceling one burst discards other sources · case 05
The announcement trace violates the stated coalescing-window contract.
Forced speech remains scheduled for a second emission · case 01
The announcement trace violates the stated coalescing-window contract.
Forced speech remains scheduled for a second emission · case 02
The announcement trace violates the stated coalescing-window contract.
Forced speech remains scheduled for a second emission · case 03
The announcement trace violates the stated coalescing-window contract.
Forced speech remains scheduled for a second emission · case 04
The announcement trace violates the stated coalescing-window contract.
Forced speech remains scheduled for a second emission · case 05
The announcement trace violates the stated coalescing-window contract.
Out-of-order timer shortens subsequent coalescing windows · case 01
The announcement trace violates the stated coalescing-window contract.
Out-of-order timer shortens subsequent coalescing windows · case 02
The announcement trace violates the stated coalescing-window contract.
Out-of-order timer shortens subsequent coalescing windows · case 03
The announcement trace violates the stated coalescing-window contract.
Out-of-order timer shortens subsequent coalescing windows · case 04
The announcement trace violates the stated coalescing-window contract.
Out-of-order timer shortens subsequent coalescing windows · case 05
The announcement trace violates the stated coalescing-window contract.
Burst is held one tick past its deadline · case 01
The announcement trace violates the stated coalescing-window contract.
Burst is held one tick past its deadline · case 02
The announcement trace violates the stated coalescing-window contract.
Burst is held one tick past its deadline · case 03
The announcement trace violates the stated coalescing-window contract.
Burst is held one tick past its deadline · case 04
The announcement trace violates the stated coalescing-window contract.
Burst is held one tick past its deadline · case 05
The announcement trace violates the stated coalescing-window contract.
Concurrent due bursts are spoken in reverse deadline order · case 01
The announcement trace violates the stated coalescing-window contract.
Concurrent due bursts are spoken in reverse deadline order · case 02
The announcement trace violates the stated coalescing-window contract.
Concurrent due bursts are spoken in reverse deadline order · case 03
The announcement trace violates the stated coalescing-window contract.
Concurrent due bursts are spoken in reverse deadline order · case 04
The announcement trace violates the stated coalescing-window contract.
Concurrent due bursts are spoken in reverse deadline order · case 05
The announcement trace violates the stated coalescing-window contract.
Emitted burst remains pending · case 01
The announcement trace violates the stated coalescing-window contract.
Emitted burst remains pending · case 02
The announcement trace violates the stated coalescing-window contract.
Emitted burst remains pending · case 03
The announcement trace violates the stated coalescing-window contract.
Emitted burst remains pending · case 04
The announcement trace violates the stated coalescing-window contract.
Emitted burst remains pending · case 05
The announcement trace violates the stated coalescing-window contract.
Backpressured speech is prepended ahead of earlier messages · case 01
The announcement trace violates the stated speech-backpressure contract.
Backpressured speech is prepended ahead of earlier messages · case 02
The announcement trace violates the stated speech-backpressure contract.
Backpressured speech is prepended ahead of earlier messages · case 03
The announcement trace violates the stated speech-backpressure contract.
Backpressured speech is prepended ahead of earlier messages · case 04
The announcement trace violates the stated speech-backpressure contract.
Backpressured speech is prepended ahead of earlier messages · case 05
The announcement trace violates the stated speech-backpressure contract.
Zero-credit pump transmits one extra utterance · case 01
The announcement trace violates the stated speech-backpressure contract.
Zero-credit pump transmits one extra utterance · case 02
The announcement trace violates the stated speech-backpressure contract.
Zero-credit pump transmits one extra utterance · case 03
The announcement trace violates the stated speech-backpressure contract.
Zero-credit pump transmits one extra utterance · case 04
The announcement trace violates the stated speech-backpressure contract.
Zero-credit pump transmits one extra utterance · case 05
The announcement trace violates the stated speech-backpressure contract.
Pump takes the most recently queued speech · case 01
The announcement trace violates the stated speech-backpressure contract.
Pump takes the most recently queued speech · case 02
The announcement trace violates the stated speech-backpressure contract.
Pump takes the most recently queued speech · case 03
The announcement trace violates the stated speech-backpressure contract.
Pump takes the most recently queued speech · case 04
The announcement trace violates the stated speech-backpressure contract.
Pump takes the most recently queued speech · case 05
The announcement trace violates the stated speech-backpressure contract.
In-flight tracking keys on spoken text instead of ID · case 01
The announcement trace violates the stated speech-backpressure contract.
In-flight tracking keys on spoken text instead of ID · case 02
The announcement trace violates the stated speech-backpressure contract.
In-flight tracking keys on spoken text instead of ID · case 03
The announcement trace violates the stated speech-backpressure contract.
In-flight tracking keys on spoken text instead of ID · case 04
The announcement trace violates the stated speech-backpressure contract.
In-flight tracking keys on spoken text instead of ID · case 05
The announcement trace violates the stated speech-backpressure contract.
Transport emits the identifier rather than speech · case 01
The announcement trace violates the stated speech-backpressure contract.
Transport emits the identifier rather than speech · case 02
The announcement trace violates the stated speech-backpressure contract.
Transport emits the identifier rather than speech · case 03
The announcement trace violates the stated speech-backpressure contract.
Transport emits the identifier rather than speech · case 04
The announcement trace violates the stated speech-backpressure contract.
Transport emits the identifier rather than speech · case 05
The announcement trace violates the stated speech-backpressure contract.
Sending consumes the entire credit window · case 01
The announcement trace violates the stated speech-backpressure contract.
Sending consumes the entire credit window · case 02
The announcement trace violates the stated speech-backpressure contract.
Sending consumes the entire credit window · case 03
The announcement trace violates the stated speech-backpressure contract.
Sending consumes the entire credit window · case 04
The announcement trace violates the stated speech-backpressure contract.
Sending consumes the entire credit window · case 05
The announcement trace violates the stated speech-backpressure contract.
Acknowledgment does not retire the in-flight utterance · case 01
The announcement trace violates the stated speech-backpressure contract.
Acknowledgment does not retire the in-flight utterance · case 02
The announcement trace violates the stated speech-backpressure contract.
Acknowledgment does not retire the in-flight utterance · case 03
The announcement trace violates the stated speech-backpressure contract.
Acknowledgment does not retire the in-flight utterance · case 04
The announcement trace violates the stated speech-backpressure contract.
Acknowledgment does not retire the in-flight utterance · case 05
The announcement trace violates the stated speech-backpressure contract.
Acknowledgment restores a whole window regardless of outstanding speech · case 01
The announcement trace violates the stated speech-backpressure contract.
Acknowledgment restores a whole window regardless of outstanding speech · case 02
The announcement trace violates the stated speech-backpressure contract.
Acknowledgment restores a whole window regardless of outstanding speech · case 03
The announcement trace violates the stated speech-backpressure contract.
Acknowledgment restores a whole window regardless of outstanding speech · case 04
The announcement trace violates the stated speech-backpressure contract.
Acknowledgment restores a whole window regardless of outstanding speech · case 05
The announcement trace violates the stated speech-backpressure contract.
Reconnect retries in-flight speech after unsent speech · case 01
The announcement trace violates the stated speech-backpressure contract.
Reconnect retries in-flight speech after unsent speech · case 02
The announcement trace violates the stated speech-backpressure contract.
Reconnect retries in-flight speech after unsent speech · case 03
The announcement trace violates the stated speech-backpressure contract.
Reconnect retries in-flight speech after unsent speech · case 04
The announcement trace violates the stated speech-backpressure contract.
Reconnect retries in-flight speech after unsent speech · case 05
The announcement trace violates the stated speech-backpressure contract.
Canceling queued speech also removes unrelated IDs · case 01
The announcement trace violates the stated speech-backpressure contract.
Canceling queued speech also removes unrelated IDs · case 02
The announcement trace violates the stated speech-backpressure contract.
Canceling queued speech also removes unrelated IDs · case 03
The announcement trace violates the stated speech-backpressure contract.
Canceling queued speech also removes unrelated IDs · case 04
The announcement trace violates the stated speech-backpressure contract.
Canceling queued speech also removes unrelated IDs · case 05
The announcement trace violates the stated speech-backpressure contract.
Interrupted job restarts at its first word · case 01
The announcement trace violates the stated interrupt-resumption contract.
Interrupted job restarts at its first word · case 02
The announcement trace violates the stated interrupt-resumption contract.
Interrupted job restarts at its first word · case 03
The announcement trace violates the stated interrupt-resumption contract.
Interrupted job restarts at its first word · case 04
The announcement trace violates the stated interrupt-resumption contract.
Interrupted job restarts at its first word · case 05
The announcement trace violates the stated interrupt-resumption contract.
Urgent speech is queued instead of becoming current · case 01
The announcement trace violates the stated interrupt-resumption contract.
Urgent speech is queued instead of becoming current · case 02
The announcement trace violates the stated interrupt-resumption contract.
Urgent speech is queued instead of becoming current · case 03
The announcement trace violates the stated interrupt-resumption contract.
Urgent speech is queued instead of becoming current · case 04
The announcement trace violates the stated interrupt-resumption contract.
Urgent speech is queued instead of becoming current · case 05
The announcement trace violates the stated interrupt-resumption contract.
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 ↗