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
Inbox read receipt rendering: mark-read from previewing · case 01
The mark-read event leaves a notification in read-confirmed instead of read-pending.
Inbox read receipt rendering: mark-read from previewing · case 02
The mark-read event leaves a notification in read-confirmed instead of read-pending.
Inbox read receipt rendering: mark-read from previewing · case 03
The mark-read event leaves a notification in read-confirmed instead of read-pending.
Inbox read receipt rendering: mark-read from previewing · case 04
The mark-read event leaves a notification in read-confirmed instead of read-pending.
Inbox read receipt rendering: mark-read from previewing · case 05
The mark-read event leaves a notification in read-confirmed instead of read-pending.
Inbox read receipt rendering: receipt-accepted from read-pending · case 01
The receipt-accepted event leaves a notification in unread instead of read-confirmed.
Inbox read receipt rendering: receipt-accepted from read-pending · case 02
The receipt-accepted event leaves a notification in unread instead of read-confirmed.
Inbox read receipt rendering: receipt-accepted from read-pending · case 03
The receipt-accepted event leaves a notification in unread instead of read-confirmed.
Inbox read receipt rendering: receipt-accepted from read-pending · case 04
The receipt-accepted event leaves a notification in unread instead of read-confirmed.
Inbox read receipt rendering: receipt-accepted from read-pending · case 05
The receipt-accepted event leaves a notification in unread instead of read-confirmed.
Inbox read receipt rendering: receipt-rejected from read-pending · case 01
The receipt-rejected event leaves a notification in read-confirmed instead of read-error.
Inbox read receipt rendering: receipt-rejected from read-pending · case 02
The receipt-rejected event leaves a notification in read-confirmed instead of read-error.
Inbox read receipt rendering: receipt-rejected from read-pending · case 03
The receipt-rejected event leaves a notification in read-confirmed instead of read-error.
Inbox read receipt rendering: receipt-rejected from read-pending · case 04
The receipt-rejected event leaves a notification in read-confirmed instead of read-error.
Inbox read receipt rendering: receipt-rejected from read-pending · case 05
The receipt-rejected event leaves a notification in read-confirmed instead of read-error.
Inbox read receipt rendering: retry-receipt from read-error · case 01
The retry-receipt event leaves a notification in read-confirmed instead of read-pending.
Inbox read receipt rendering: retry-receipt from read-error · case 02
The retry-receipt event leaves a notification in read-confirmed instead of read-pending.
Inbox read receipt rendering: retry-receipt from read-error · case 03
The retry-receipt event leaves a notification in read-confirmed instead of read-pending.
Inbox read receipt rendering: retry-receipt from read-error · case 04
The retry-receipt event leaves a notification in read-confirmed instead of read-pending.
Inbox read receipt rendering: retry-receipt from read-error · case 05
The retry-receipt event leaves a notification in read-confirmed instead of read-pending.
Inbox read receipt rendering: mark-unread from read-confirmed · case 01
The mark-unread event leaves a notification in unread instead of unread-pending.
Inbox read receipt rendering: mark-unread from read-confirmed · case 02
The mark-unread event leaves a notification in unread instead of unread-pending.
Inbox read receipt rendering: mark-unread from read-confirmed · case 03
The mark-unread event leaves a notification in unread instead of unread-pending.
Inbox read receipt rendering: mark-unread from read-confirmed · case 04
The mark-unread event leaves a notification in unread instead of unread-pending.
Inbox read receipt rendering: mark-unread from read-confirmed · case 05
The mark-unread event leaves a notification in unread instead of unread-pending.
Inbox read receipt rendering: unread-accepted from unread-pending · case 01
The unread-accepted event leaves a notification in read-confirmed instead of unread.
Inbox read receipt rendering: unread-accepted from unread-pending · case 02
The unread-accepted event leaves a notification in read-confirmed instead of unread.
Inbox read receipt rendering: unread-accepted from unread-pending · case 03
The unread-accepted event leaves a notification in read-confirmed instead of unread.
Inbox read receipt rendering: unread-accepted from unread-pending · case 04
The unread-accepted event leaves a notification in read-confirmed instead of unread.
Inbox read receipt rendering: unread-accepted from unread-pending · case 05
The unread-accepted event leaves a notification in read-confirmed instead of unread.
Inbox read receipt rendering: unread-rejected from unread-pending · case 01
The unread-rejected event leaves a notification in unread instead of unread-error.
Inbox read receipt rendering: unread-rejected from unread-pending · case 02
The unread-rejected event leaves a notification in unread instead of unread-error.
Inbox read receipt rendering: unread-rejected from unread-pending · case 03
The unread-rejected event leaves a notification in unread instead of unread-error.
Inbox read receipt rendering: unread-rejected from unread-pending · case 04
The unread-rejected event leaves a notification in unread instead of unread-error.
Inbox read receipt rendering: unread-rejected from unread-pending · case 05
The unread-rejected event leaves a notification in unread instead of unread-error.
Inbox read receipt rendering: dismiss-error from unread-error · case 01
The dismiss-error event leaves a notification in unread instead of read-confirmed.
Inbox read receipt rendering: dismiss-error from unread-error · case 02
The dismiss-error event leaves a notification in unread instead of read-confirmed.
Inbox read receipt rendering: dismiss-error from unread-error · case 03
The dismiss-error event leaves a notification in unread instead of read-confirmed.
Inbox read receipt rendering: dismiss-error from unread-error · case 04
The dismiss-error event leaves a notification in unread instead of read-confirmed.
Inbox read receipt rendering: dismiss-error from unread-error · case 05
The dismiss-error event leaves a notification in unread instead of read-confirmed.
Notification snooze presentation: open-snooze from visible · case 01
The open-snooze event leaves a notification in hidden instead of choosing.
Notification snooze presentation: open-snooze from visible · case 02
The open-snooze event leaves a notification in hidden instead of choosing.
Notification snooze presentation: open-snooze from visible · case 03
The open-snooze event leaves a notification in hidden instead of choosing.
Notification snooze presentation: open-snooze from visible · case 04
The open-snooze event leaves a notification in hidden instead of choosing.
Notification snooze presentation: open-snooze from visible · case 05
The open-snooze event leaves a notification in hidden instead of choosing.
Notification snooze presentation: cancel-chooser from choosing · case 01
The cancel-chooser event leaves a notification in scheduled instead of visible.
Notification snooze presentation: cancel-chooser from choosing · case 02
The cancel-chooser event leaves a notification in scheduled instead of visible.
Notification snooze presentation: cancel-chooser from choosing · case 03
The cancel-chooser event leaves a notification in scheduled instead of visible.
Notification snooze presentation: cancel-chooser from choosing · case 04
The cancel-chooser event leaves a notification in scheduled instead of visible.
Notification snooze presentation: cancel-chooser from choosing · case 05
The cancel-chooser event leaves a notification in scheduled instead of visible.
Notification snooze presentation: confirm-future from choosing · case 01
The confirm-future event leaves a notification in scheduled instead of scheduling.
Notification snooze presentation: confirm-future from choosing · case 02
The confirm-future event leaves a notification in scheduled instead of scheduling.
Notification snooze presentation: confirm-future from choosing · case 03
The confirm-future event leaves a notification in scheduled instead of scheduling.
Notification snooze presentation: confirm-future from choosing · case 04
The confirm-future event leaves a notification in scheduled instead of scheduling.
Notification snooze presentation: confirm-future from choosing · case 05
The confirm-future event leaves a notification in scheduled instead of scheduling.
Notification snooze presentation: persisted from scheduling · case 01
The persisted event leaves a notification in visible instead of scheduled.
Notification snooze presentation: persisted from scheduling · case 02
The persisted event leaves a notification in visible instead of scheduled.
Notification snooze presentation: persisted from scheduling · case 03
The persisted event leaves a notification in visible instead of scheduled.
Notification snooze presentation: persisted from scheduling · case 04
The persisted event leaves a notification in visible instead of scheduled.
Notification snooze presentation: persisted from scheduling · case 05
The persisted event leaves a notification in visible instead of scheduled.
Notification snooze presentation: persist-failed from scheduling · case 01
The persist-failed event leaves a notification in scheduled instead of snooze-error.
Notification snooze presentation: persist-failed from scheduling · case 02
The persist-failed event leaves a notification in scheduled instead of snooze-error.
Notification snooze presentation: persist-failed from scheduling · case 03
The persist-failed event leaves a notification in scheduled instead of snooze-error.
Notification snooze presentation: persist-failed from scheduling · case 04
The persist-failed event leaves a notification in scheduled instead of snooze-error.
Notification snooze presentation: persist-failed from scheduling · case 05
The persist-failed event leaves a notification in scheduled instead of snooze-error.
Notification snooze presentation: wake-time from scheduled · case 01
The wake-time event leaves a notification in hidden instead of resurfaced.
Notification snooze presentation: wake-time from scheduled · case 02
The wake-time event leaves a notification in hidden instead of resurfaced.
Notification snooze presentation: wake-time from scheduled · case 03
The wake-time event leaves a notification in hidden instead of resurfaced.
Notification snooze presentation: wake-time from scheduled · case 04
The wake-time event leaves a notification in hidden instead of resurfaced.
Notification snooze presentation: wake-time from scheduled · case 05
The wake-time event leaves a notification in hidden instead of resurfaced.
Notification snooze presentation: cancel-snooze from scheduled · case 01
The cancel-snooze event leaves a notification in visible instead of cancel-pending.
Notification snooze presentation: cancel-snooze from scheduled · case 02
The cancel-snooze event leaves a notification in visible instead of cancel-pending.
Notification snooze presentation: cancel-snooze from scheduled · case 03
The cancel-snooze event leaves a notification in visible instead of cancel-pending.
Notification snooze presentation: cancel-snooze from scheduled · case 04
The cancel-snooze event leaves a notification in visible instead of cancel-pending.
Notification snooze presentation: cancel-snooze from scheduled · case 05
The cancel-snooze event leaves a notification in visible instead of cancel-pending.
Notification snooze presentation: cancel-accepted from cancel-pending · case 01
The cancel-accepted event leaves a notification in scheduled instead of visible.
Notification snooze presentation: cancel-accepted from cancel-pending · case 02
The cancel-accepted event leaves a notification in scheduled instead of visible.
Notification snooze presentation: cancel-accepted from cancel-pending · case 03
The cancel-accepted event leaves a notification in scheduled instead of visible.
Notification snooze presentation: cancel-accepted from cancel-pending · case 04
The cancel-accepted event leaves a notification in scheduled instead of visible.
Notification snooze presentation: cancel-accepted from cancel-pending · case 05
The cancel-accepted event leaves a notification in scheduled instead of visible.
Notification snooze presentation: wake-replay from resurfaced · case 01
The wake-replay event leaves a notification in scheduling instead of resurfaced.
Notification snooze presentation: wake-replay from resurfaced · case 02
The wake-replay event leaves a notification in scheduling instead of resurfaced.
Notification snooze presentation: wake-replay from resurfaced · case 03
The wake-replay event leaves a notification in scheduling instead of resurfaced.
Notification snooze presentation: wake-replay from resurfaced · case 04
The wake-replay event leaves a notification in scheduling instead of resurfaced.
Notification snooze presentation: wake-replay from resurfaced · case 05
The wake-replay event leaves a notification in scheduling instead of resurfaced.
Notification snooze presentation: choose-again from snooze-error · case 01
The choose-again event leaves a notification in scheduled instead of choosing.
Notification snooze presentation: choose-again from snooze-error · case 02
The choose-again event leaves a notification in scheduled instead of choosing.
Notification snooze presentation: choose-again from snooze-error · case 03
The choose-again event leaves a notification in scheduled instead of choosing.
Notification snooze presentation: choose-again from snooze-error · case 04
The choose-again event leaves a notification in scheduled instead of choosing.
Notification snooze presentation: choose-again from snooze-error · case 05
The choose-again event leaves a notification in scheduled instead of choosing.
Grouped notification interaction: expand from collapsed · case 01
The expand event leaves a notification in loading instead of expanded.
Grouped notification interaction: expand from collapsed · case 02
The expand event leaves a notification in loading instead of expanded.
Grouped notification interaction: expand from collapsed · case 03
The expand event leaves a notification in loading instead of expanded.
Grouped notification interaction: expand from collapsed · case 04
The expand event leaves a notification in loading instead of expanded.
Grouped notification interaction: expand from collapsed · case 05
The expand event leaves a notification in loading instead of expanded.
Grouped notification interaction: collapse from expanded · case 01
The collapse event leaves a notification in empty instead of collapsed.
Grouped notification interaction: collapse from expanded · case 02
The collapse event leaves a notification in empty instead of collapsed.
Grouped notification interaction: collapse from expanded · case 03
The collapse event leaves a notification in empty instead of collapsed.
Grouped notification interaction: collapse from expanded · case 04
The collapse event leaves a notification in empty instead of collapsed.
Grouped notification interaction: collapse from expanded · case 05
The collapse event leaves a notification in empty instead of collapsed.
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 ↗