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
Pronunciation correction is ignored · case 01
The announcement trace violates the stated locale-snapshot contract.
Pronunciation correction is ignored · case 02
The announcement trace violates the stated locale-snapshot contract.
Pronunciation correction is ignored · case 03
The announcement trace violates the stated locale-snapshot contract.
Pronunciation correction is ignored · case 04
The announcement trace violates the stated locale-snapshot contract.
Pronunciation correction is ignored · case 05
The announcement trace violates the stated locale-snapshot contract.
Deleting one pronunciation removes the entire dictionary · case 01
The announcement trace violates the stated locale-snapshot contract.
Deleting one pronunciation removes the entire dictionary · case 02
The announcement trace violates the stated locale-snapshot contract.
Deleting one pronunciation removes the entire dictionary · case 03
The announcement trace violates the stated locale-snapshot contract.
Deleting one pronunciation removes the entire dictionary · case 04
The announcement trace violates the stated locale-snapshot contract.
Deleting one pronunciation removes the entire dictionary · case 05
The announcement trace violates the stated locale-snapshot contract.
Resetting voice also resets the announcement language · case 01
The announcement trace violates the stated locale-snapshot contract.
Resetting voice also resets the announcement language · case 02
The announcement trace violates the stated locale-snapshot contract.
Resetting voice also resets the announcement language · case 03
The announcement trace violates the stated locale-snapshot contract.
Resetting voice also resets the announcement language · case 04
The announcement trace violates the stated locale-snapshot contract.
Resetting voice also resets the announcement language · case 05
The announcement trace violates the stated locale-snapshot contract.
Pronunciation tokenizer collapses deliberate pause spaces · case 01
The announcement trace violates the stated locale-snapshot contract.
Pronunciation tokenizer collapses deliberate pause spaces · case 02
The announcement trace violates the stated locale-snapshot contract.
Pronunciation tokenizer collapses deliberate pause spaces · case 03
The announcement trace violates the stated locale-snapshot contract.
Pronunciation tokenizer collapses deliberate pause spaces · case 04
The announcement trace violates the stated locale-snapshot contract.
Pronunciation tokenizer collapses deliberate pause spaces · case 05
The announcement trace violates the stated locale-snapshot contract.
Pronunciation lookup folds case without a declared rule · case 01
The announcement trace violates the stated locale-snapshot contract.
Pronunciation lookup folds case without a declared rule · case 02
The announcement trace violates the stated locale-snapshot contract.
Pronunciation lookup folds case without a declared rule · case 03
The announcement trace violates the stated locale-snapshot contract.
Pronunciation lookup folds case without a declared rule · case 04
The announcement trace violates the stated locale-snapshot contract.
Pronunciation lookup folds case without a declared rule · case 05
The announcement trace violates the stated locale-snapshot contract.
Queued speech drops the selected voice · case 01
The announcement trace violates the stated locale-snapshot contract.
Queued speech drops the selected voice · case 02
The announcement trace violates the stated locale-snapshot contract.
Queued speech drops the selected voice · case 03
The announcement trace violates the stated locale-snapshot contract.
Queued speech drops the selected voice · case 04
The announcement trace violates the stated locale-snapshot contract.
Queued speech drops the selected voice · case 05
The announcement trace violates the stated locale-snapshot contract.
Speech envelopes are flushed in reverse order · case 01
The announcement trace violates the stated locale-snapshot contract.
Speech envelopes are flushed in reverse order · case 02
The announcement trace violates the stated locale-snapshot contract.
Speech envelopes are flushed in reverse order · case 03
The announcement trace violates the stated locale-snapshot contract.
Speech envelopes are flushed in reverse order · case 04
The announcement trace violates the stated locale-snapshot contract.
Speech envelopes are flushed in reverse order · case 05
The announcement trace violates the stated locale-snapshot contract.
Flushed envelopes replay at the next flush · case 01
The announcement trace violates the stated locale-snapshot contract.
Flushed envelopes replay at the next flush · case 02
The announcement trace violates the stated locale-snapshot contract.
Flushed envelopes replay at the next flush · case 03
The announcement trace violates the stated locale-snapshot contract.
Flushed envelopes replay at the next flush · case 04
The announcement trace violates the stated locale-snapshot contract.
Flushed envelopes replay at the next flush · case 05
The announcement trace violates the stated locale-snapshot contract.
Lowered group urgency retains the earlier high floor · case 01
The announcement trace violates the stated priority-inheritance contract.
Lowered group urgency retains the earlier high floor · case 02
The announcement trace violates the stated priority-inheritance contract.
Lowered group urgency retains the earlier high floor · case 03
The announcement trace violates the stated priority-inheritance contract.
Lowered group urgency retains the earlier high floor · case 04
The announcement trace violates the stated priority-inheritance contract.
Lowered group urgency retains the earlier high floor · case 05
The announcement trace violates the stated priority-inheritance contract.
New announcement cuts ahead of same-priority work · case 01
The announcement trace violates the stated priority-inheritance contract.
New announcement cuts ahead of same-priority work · case 02
The announcement trace violates the stated priority-inheritance contract.
New announcement cuts ahead of same-priority work · case 03
The announcement trace violates the stated priority-inheritance contract.
New announcement cuts ahead of same-priority work · case 04
The announcement trace violates the stated priority-inheritance contract.
New announcement cuts ahead of same-priority work · case 05
The announcement trace violates the stated priority-inheritance contract.
Group cancellation compares announcement IDs · case 01
The announcement trace violates the stated priority-inheritance contract.
Group cancellation compares announcement IDs · case 02
The announcement trace violates the stated priority-inheritance contract.
Group cancellation compares announcement IDs · case 03
The announcement trace violates the stated priority-inheritance contract.
Group cancellation compares announcement IDs · case 04
The announcement trace violates the stated priority-inheritance contract.
Group cancellation compares announcement IDs · case 05
The announcement trace violates the stated priority-inheritance contract.
Deleted group preserves its urgency for later reuse · case 01
The announcement trace violates the stated priority-inheritance contract.
Deleted group preserves its urgency for later reuse · case 02
The announcement trace violates the stated priority-inheritance contract.
Deleted group preserves its urgency for later reuse · case 03
The announcement trace violates the stated priority-inheritance contract.
Deleted group preserves its urgency for later reuse · case 04
The announcement trace violates the stated priority-inheritance contract.
Deleted group preserves its urgency for later reuse · case 05
The announcement trace violates the stated priority-inheritance contract.
Moving one announcement moves every group member · case 01
The announcement trace violates the stated priority-inheritance contract.
Moving one announcement moves every group member · case 02
The announcement trace violates the stated priority-inheritance contract.
Moving one announcement moves every group member · case 03
The announcement trace violates the stated priority-inheritance contract.
Moving one announcement moves every group member · case 04
The announcement trace violates the stated priority-inheritance contract.
Moving one announcement moves every group member · case 05
The announcement trace violates the stated priority-inheritance contract.
Resetting urgency deletes queued announcements · case 01
The announcement trace violates the stated priority-inheritance contract.
Resetting urgency deletes queued announcements · case 02
The announcement trace violates the stated priority-inheritance contract.
Resetting urgency deletes queued announcements · case 03
The announcement trace violates the stated priority-inheritance contract.
Resetting urgency deletes queued announcements · case 04
The announcement trace violates the stated priority-inheritance contract.
Resetting urgency deletes queued announcements · case 05
The announcement trace violates the stated priority-inheritance contract.
Inherited and local speech priorities are added · case 01
The announcement trace violates the stated priority-inheritance contract.
Inherited and local speech priorities are added · case 02
The announcement trace violates the stated priority-inheritance contract.
Inherited and local speech priorities are added · case 03
The announcement trace violates the stated priority-inheritance contract.
Inherited and local speech priorities are added · case 04
The announcement trace violates the stated priority-inheritance contract.
Inherited and local speech priorities are added · case 05
The announcement trace violates the stated priority-inheritance contract.
Equal urgency messages are selected newest first · case 01
The announcement trace violates the stated priority-inheritance contract.
Equal urgency messages are selected newest first · case 02
The announcement trace violates the stated priority-inheritance contract.
Equal urgency messages are selected newest first · case 03
The announcement trace violates the stated priority-inheritance contract.
Equal urgency messages are selected newest first · case 04
The announcement trace violates the stated priority-inheritance contract.
Equal urgency messages are selected newest first · case 05
The announcement trace violates the stated priority-inheritance contract.
Urgent dispatch removes the queue head instead of winner · case 01
The announcement trace violates the stated priority-inheritance contract.
Urgent dispatch removes the queue head instead of winner · case 02
The announcement trace violates the stated priority-inheritance contract.
Urgent dispatch removes the queue head instead of winner · case 03
The announcement trace violates the stated priority-inheritance contract.
Urgent dispatch removes the queue head instead of winner · case 04
The announcement trace violates the stated priority-inheritance contract.
Urgent dispatch removes the queue head instead of winner · case 05
The announcement trace violates the stated priority-inheritance contract.
Priority dispatcher speaks the group instead of message text · case 01
The announcement trace violates the stated priority-inheritance contract.
Priority dispatcher speaks the group instead of message text · case 02
The announcement trace violates the stated priority-inheritance contract.
Priority dispatcher speaks the group instead of message text · case 03
The announcement trace violates the stated priority-inheritance contract.
Priority dispatcher speaks the group instead of message text · case 04
The announcement trace violates the stated priority-inheritance contract.
Priority dispatcher speaks the group instead of message text · case 05
The announcement trace violates the stated priority-inheritance contract.
Zero coalescing window allows immediate speech · case 01
The announcement trace violates the stated coalescing-window contract.
Zero coalescing window allows immediate speech · case 02
The announcement trace violates the stated coalescing-window contract.
Zero coalescing window allows immediate speech · case 03
The announcement trace violates the stated coalescing-window contract.
Zero coalescing window allows immediate speech · case 04
The announcement trace violates the stated coalescing-window contract.
Zero coalescing window allows immediate speech · case 05
The announcement trace violates the stated coalescing-window contract.
Coalescing preserves the initial status text · case 01
The announcement trace violates the stated coalescing-window contract.
Coalescing preserves the initial status text · case 02
The announcement trace violates the stated coalescing-window contract.
Coalescing preserves the initial status text · case 03
The announcement trace violates the stated coalescing-window contract.
Coalescing preserves the initial status text · case 04
The announcement trace violates the stated coalescing-window contract.
Coalescing preserves the initial status text · case 05
The announcement trace violates the stated coalescing-window 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 ↗