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
Undo restores the oldest edit instead of latest · case 01
The announcement trace violates the stated edit-narration contract.
Undo restores the oldest edit instead of latest · case 02
The announcement trace violates the stated edit-narration contract.
Undo restores the oldest edit instead of latest · case 03
The announcement trace violates the stated edit-narration contract.
Undo restores the oldest edit instead of latest · case 04
The announcement trace violates the stated edit-narration contract.
Undo restores the oldest edit instead of latest · case 05
The announcement trace violates the stated edit-narration contract.
Undo bookmark stores text length instead of editing cursor · case 01
The announcement trace violates the stated edit-narration contract.
Undo bookmark stores text length instead of editing cursor · case 02
The announcement trace violates the stated edit-narration contract.
Undo bookmark stores text length instead of editing cursor · case 03
The announcement trace violates the stated edit-narration contract.
Undo bookmark stores text length instead of editing cursor · case 04
The announcement trace violates the stated edit-narration contract.
Undo bookmark stores text length instead of editing cursor · case 05
The announcement trace violates the stated edit-narration contract.
Inserted speech is appended to document instead of cursor position · case 01
The announcement trace violates the stated edit-narration contract.
Inserted speech is appended to document instead of cursor position · case 02
The announcement trace violates the stated edit-narration contract.
Inserted speech is appended to document instead of cursor position · case 03
The announcement trace violates the stated edit-narration contract.
Inserted speech is appended to document instead of cursor position · case 04
The announcement trace violates the stated edit-narration contract.
Inserted speech is appended to document instead of cursor position · case 05
The announcement trace violates the stated edit-narration contract.
Backspace announcement includes one extra preceding character · case 01
The announcement trace violates the stated edit-narration contract.
Backspace announcement includes one extra preceding character · case 02
The announcement trace violates the stated edit-narration contract.
Backspace announcement includes one extra preceding character · case 03
The announcement trace violates the stated edit-narration contract.
Backspace announcement includes one extra preceding character · case 04
The announcement trace violates the stated edit-narration contract.
Backspace announcement includes one extra preceding character · case 05
The announcement trace violates the stated edit-narration contract.
Backspace leaves the speech cursor beyond removed text · case 01
The announcement trace violates the stated edit-narration contract.
Backspace leaves the speech cursor beyond removed text · case 02
The announcement trace violates the stated edit-narration contract.
Backspace leaves the speech cursor beyond removed text · case 03
The announcement trace violates the stated edit-narration contract.
Backspace leaves the speech cursor beyond removed text · case 04
The announcement trace violates the stated edit-narration contract.
Backspace leaves the speech cursor beyond removed text · case 05
The announcement trace violates the stated edit-narration contract.
Forward deletion starts after the cursor character · case 01
The announcement trace violates the stated edit-narration contract.
Forward deletion starts after the cursor character · case 02
The announcement trace violates the stated edit-narration contract.
Forward deletion starts after the cursor character · case 03
The announcement trace violates the stated edit-narration contract.
Forward deletion starts after the cursor character · case 04
The announcement trace violates the stated edit-narration contract.
Forward deletion starts after the cursor character · case 05
The announcement trace violates the stated edit-narration contract.
Reversed replacement endpoints are not normalized · case 01
The announcement trace violates the stated edit-narration contract.
Reversed replacement endpoints are not normalized · case 02
The announcement trace violates the stated edit-narration contract.
Reversed replacement endpoints are not normalized · case 03
The announcement trace violates the stated edit-narration contract.
Reversed replacement endpoints are not normalized · case 04
The announcement trace violates the stated edit-narration contract.
Reversed replacement endpoints are not normalized · case 05
The announcement trace violates the stated edit-narration contract.
Range replacement cursor points before inserted text · case 01
The announcement trace violates the stated edit-narration contract.
Range replacement cursor points before inserted text · case 02
The announcement trace violates the stated edit-narration contract.
Range replacement cursor points before inserted text · case 03
The announcement trace violates the stated edit-narration contract.
Range replacement cursor points before inserted text · case 04
The announcement trace violates the stated edit-narration contract.
Range replacement cursor points before inserted text · case 05
The announcement trace violates the stated edit-narration contract.
Zero phrase budget survives configuration · case 01
The announcement trace violates the stated sentence-packing contract.
Zero phrase budget survives configuration · case 02
The announcement trace violates the stated sentence-packing contract.
Zero phrase budget survives configuration · case 03
The announcement trace violates the stated sentence-packing contract.
Zero phrase budget survives configuration · case 04
The announcement trace violates the stated sentence-packing contract.
Zero phrase budget survives configuration · case 05
The announcement trace violates the stated sentence-packing contract.
Empty phrase creates a spoken empty packet · case 01
The announcement trace violates the stated sentence-packing contract.
Empty phrase creates a spoken empty packet · case 02
The announcement trace violates the stated sentence-packing contract.
Empty phrase creates a spoken empty packet · case 03
The announcement trace violates the stated sentence-packing contract.
Empty phrase creates a spoken empty packet · case 04
The announcement trace violates the stated sentence-packing contract.
Empty phrase creates a spoken empty packet · case 05
The announcement trace violates the stated sentence-packing contract.
Hard speech boundary is discarded before packetization · case 01
The announcement trace violates the stated sentence-packing contract.
Hard speech boundary is discarded before packetization · case 02
The announcement trace violates the stated sentence-packing contract.
Hard speech boundary is discarded before packetization · case 03
The announcement trace violates the stated sentence-packing contract.
Hard speech boundary is discarded before packetization · case 04
The announcement trace violates the stated sentence-packing contract.
Hard speech boundary is discarded before packetization · case 05
The announcement trace violates the stated sentence-packing contract.
Canceling one language removes hard boundaries and other phrases · case 01
The announcement trace violates the stated sentence-packing contract.
Canceling one language removes hard boundaries and other phrases · case 02
The announcement trace violates the stated sentence-packing contract.
Canceling one language removes hard boundaries and other phrases · case 03
The announcement trace violates the stated sentence-packing contract.
Canceling one language removes hard boundaries and other phrases · case 04
The announcement trace violates the stated sentence-packing contract.
Canceling one language removes hard boundaries and other phrases · case 05
The announcement trace violates the stated sentence-packing contract.
Hard boundary emits packet without clearing current packet · case 01
The announcement trace violates the stated sentence-packing contract.
Hard boundary emits packet without clearing current packet · case 02
The announcement trace violates the stated sentence-packing contract.
Hard boundary emits packet without clearing current packet · case 03
The announcement trace violates the stated sentence-packing contract.
Hard boundary emits packet without clearing current packet · case 04
The announcement trace violates the stated sentence-packing contract.
Hard boundary emits packet without clearing current packet · case 05
The announcement trace violates the stated sentence-packing contract.
Different-language phrases share one voice packet · case 01
The announcement trace violates the stated sentence-packing contract.
Different-language phrases share one voice packet · case 02
The announcement trace violates the stated sentence-packing contract.
Different-language phrases share one voice packet · case 03
The announcement trace violates the stated sentence-packing contract.
Different-language phrases share one voice packet · case 04
The announcement trace violates the stated sentence-packing contract.
Different-language phrases share one voice packet · case 05
The announcement trace violates the stated sentence-packing contract.
Packing omits separator space from budget calculation · case 01
The announcement trace violates the stated sentence-packing contract.
Packing omits separator space from budget calculation · case 02
The announcement trace violates the stated sentence-packing contract.
Packing omits separator space from budget calculation · case 03
The announcement trace violates the stated sentence-packing contract.
Packing omits separator space from budget calculation · case 04
The announcement trace violates the stated sentence-packing contract.
Packing omits separator space from budget calculation · case 05
The announcement trace violates the stated sentence-packing contract.
Packet text glues adjacent phrases together · case 01
The announcement trace violates the stated sentence-packing contract.
Packet text glues adjacent phrases together · case 02
The announcement trace violates the stated sentence-packing contract.
Packet text glues adjacent phrases together · case 03
The announcement trace violates the stated sentence-packing contract.
Packet text glues adjacent phrases together · case 04
The announcement trace violates the stated sentence-packing contract.
Packet text glues adjacent phrases together · case 05
The announcement trace violates the stated sentence-packing contract.
Oversize phrase is truncated to packet budget · case 01
The announcement trace violates the stated sentence-packing contract.
Oversize phrase is truncated to packet budget · case 02
The announcement trace violates the stated sentence-packing contract.
Oversize phrase is truncated to packet budget · case 03
The announcement trace violates the stated sentence-packing contract.
Oversize phrase is truncated to packet budget · case 04
The announcement trace violates the stated sentence-packing contract.
Oversize phrase is truncated to packet budget · case 05
The announcement trace violates the stated sentence-packing contract.
Last buffered speech packet is lost · case 01
The announcement trace violates the stated sentence-packing contract.
Last buffered speech packet is lost · case 02
The announcement trace violates the stated sentence-packing contract.
Last buffered speech packet is lost · case 03
The announcement trace violates the stated sentence-packing contract.
Last buffered speech packet is lost · case 04
The announcement trace violates the stated sentence-packing contract.
Last buffered speech packet is lost · case 05
The announcement trace violates the stated sentence-packing contract.
Adding device replaces all currently available outputs · case 01
The announcement trace violates the stated device-handoff contract.
Adding device replaces all currently available outputs · case 02
The announcement trace violates the stated device-handoff contract.
Adding device replaces all currently available outputs · case 03
The announcement trace violates the stated device-handoff contract.
Adding device replaces all currently available outputs · case 04
The announcement trace violates the stated device-handoff contract.
Adding device replaces all currently available outputs · case 05
The announcement trace violates the stated device-handoff contract.
Queued speech uses uncommitted handoff target · case 01
The announcement trace violates the stated device-handoff contract.
Queued speech uses uncommitted handoff target · case 02
The announcement trace violates the stated device-handoff contract.
Queued speech uses uncommitted handoff target · case 03
The announcement trace violates the stated device-handoff contract.
Queued speech uses uncommitted handoff target · case 04
The announcement trace violates the stated device-handoff contract.
Queued speech uses uncommitted handoff target · case 05
The announcement trace violates the stated device-handoff 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 ↗