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
Component effect lifecycle: Cleanup registration retained · case 01
Cleanup registration retained.
Component effect lifecycle: Cleanup registration retained · case 02
Cleanup registration retained.
Component effect lifecycle: Cleanup registration retained · case 03
Cleanup registration retained.
Component effect lifecycle: Cleanup registration retained · case 04
Cleanup registration retained.
Component effect lifecycle: Cleanup registration retained · case 05
Cleanup registration retained.
Component subscription registration: Unsubscribe by registration · case 01
Unsubscribe by registration.
Component subscription registration: Unsubscribe by registration · case 02
Unsubscribe by registration.
Component subscription registration: Unsubscribe by registration · case 03
Unsubscribe by registration.
Component subscription registration: Unsubscribe by registration · case 04
Unsubscribe by registration.
Component subscription registration: Unsubscribe by registration · case 05
Unsubscribe by registration.
Component subscription registration: Topic recipient routing · case 01
Topic recipient routing.
Component subscription registration: Topic recipient routing · case 02
Topic recipient routing.
Component subscription registration: Topic recipient routing · case 03
Topic recipient routing.
Component subscription registration: Topic recipient routing · case 04
Topic recipient routing.
Component subscription registration: Topic recipient routing · case 05
Topic recipient routing.
Component subscription registration: Unmounted event delivery · case 01
Unmounted event delivery.
Component subscription registration: Unmounted event delivery · case 02
Unmounted event delivery.
Component subscription registration: Unmounted event delivery · case 03
Unmounted event delivery.
Component subscription registration: Unmounted event delivery · case 04
Unmounted event delivery.
Component subscription registration: Unmounted event delivery · case 05
Unmounted event delivery.
Component subscription registration: Last listener resource close · case 01
Last listener resource close.
Component subscription registration: Last listener resource close · case 02
Last listener resource close.
Component subscription registration: Last listener resource close · case 03
Last listener resource close.
Component subscription registration: Last listener resource close · case 04
Last listener resource close.
Component subscription registration: Last listener resource close · case 05
Last listener resource close.
Component subscription registration: Registration topic index · case 01
Registration topic index.
Component subscription registration: Registration topic index · case 02
Registration topic index.
Component subscription registration: Registration topic index · case 03
Registration topic index.
Component subscription registration: Registration topic index · case 04
Registration topic index.
Component subscription registration: Registration topic index · case 05
Registration topic index.
Component subscription registration: Unmount buffer discard · case 01
Unmount buffer discard.
Component subscription registration: Unmount buffer discard · case 02
Unmount buffer discard.
Component subscription registration: Unmount buffer discard · case 03
Unmount buffer discard.
Component subscription registration: Unmount buffer discard · case 04
Unmount buffer discard.
Component subscription registration: Unmount buffer discard · case 05
Unmount buffer discard.
Component subscription registration: Buffered delivery order · case 01
Buffered delivery order.
Component subscription registration: Buffered delivery order · case 02
Buffered delivery order.
Component subscription registration: Buffered delivery order · case 03
Buffered delivery order.
Component subscription registration: Buffered delivery order · case 04
Buffered delivery order.
Component subscription registration: Buffered delivery order · case 05
Buffered delivery order.
Component subscription registration: Unknown unsubscribe noop · case 01
Unknown unsubscribe noop.
Component subscription registration: Unknown unsubscribe noop · case 02
Unknown unsubscribe noop.
Component subscription registration: Unknown unsubscribe noop · case 03
Unknown unsubscribe noop.
Component subscription registration: Unknown unsubscribe noop · case 04
Unknown unsubscribe noop.
Component subscription registration: Unknown unsubscribe noop · case 05
Unknown unsubscribe noop.
Component subscription registration: Registration removal count · case 01
Registration removal count.
Component subscription registration: Registration removal count · case 02
Registration removal count.
Component subscription registration: Registration removal count · case 03
Registration removal count.
Component subscription registration: Registration removal count · case 04
Registration removal count.
Component subscription registration: Registration removal count · case 05
Registration removal count.
Component subscription registration: Remaining topic reference count · case 01
Remaining topic reference count.
Component subscription registration: Remaining topic reference count · case 02
Remaining topic reference count.
Component subscription registration: Remaining topic reference count · case 03
Remaining topic reference count.
Component subscription registration: Remaining topic reference count · case 04
Remaining topic reference count.
Component subscription registration: Remaining topic reference count · case 05
Remaining topic reference count.
Render-consistent external-store snapshots: Commit tearing recheck · case 01
Commit tearing recheck.
Render-consistent external-store snapshots: Commit tearing recheck · case 02
Commit tearing recheck.
Render-consistent external-store snapshots: Commit tearing recheck · case 03
Commit tearing recheck.
Render-consistent external-store snapshots: Commit tearing recheck · case 04
Commit tearing recheck.
Render-consistent external-store snapshots: Commit tearing recheck · case 05
Commit tearing recheck.
Render-consistent external-store snapshots: Selector type equality · case 01
Selector type equality.
Render-consistent external-store snapshots: Selector type equality · case 02
Selector type equality.
Render-consistent external-store snapshots: Selector type equality · case 03
Selector type equality.
Render-consistent external-store snapshots: Selector type equality · case 04
Selector type equality.
Render-consistent external-store snapshots: Selector type equality · case 05
Selector type equality.
Render-consistent external-store snapshots: Subscription install read · case 01
Subscription install read.
Render-consistent external-store snapshots: Subscription install read · case 02
Subscription install read.
Render-consistent external-store snapshots: Subscription install read · case 03
Subscription install read.
Render-consistent external-store snapshots: Subscription install read · case 04
Subscription install read.
Render-consistent external-store snapshots: Subscription install read · case 05
Subscription install read.
Render-consistent external-store snapshots: Stale render retry · case 01
Stale render retry.
Render-consistent external-store snapshots: Stale render retry · case 02
Stale render retry.
Render-consistent external-store snapshots: Stale render retry · case 03
Stale render retry.
Render-consistent external-store snapshots: Stale render retry · case 04
Stale render retry.
Render-consistent external-store snapshots: Stale render retry · case 05
Stale render retry.
Render-consistent external-store snapshots: Notify selected change · case 01
Notify selected change.
Render-consistent external-store snapshots: Notify selected change · case 02
Notify selected change.
Render-consistent external-store snapshots: Notify selected change · case 03
Notify selected change.
Render-consistent external-store snapshots: Notify selected change · case 04
Notify selected change.
Render-consistent external-store snapshots: Notify selected change · case 05
Notify selected change.
Render-consistent external-store snapshots: Snapshot null initialization · case 01
Snapshot null initialization.
Render-consistent external-store snapshots: Snapshot null initialization · case 02
Snapshot null initialization.
Render-consistent external-store snapshots: Snapshot null initialization · case 03
Snapshot null initialization.
Render-consistent external-store snapshots: Snapshot null initialization · case 04
Snapshot null initialization.
Render-consistent external-store snapshots: Snapshot null initialization · case 05
Snapshot null initialization.
Deferred render transition state: Deferred content during pending · case 01
Deferred content during pending.
Deferred render transition state: Deferred content during pending · case 02
Deferred content during pending.
Deferred render transition state: Deferred content during pending · case 03
Deferred content during pending.
Deferred render transition state: Deferred content during pending · case 04
Deferred content during pending.
Deferred render transition state: Deferred content during pending · case 05
Deferred content during pending.
Deferred render transition state: Stale transition result · case 01
Stale transition result.
Deferred render transition state: Stale transition result · case 02
Stale transition result.
Deferred render transition state: Stale transition result · case 03
Stale transition result.
Deferred render transition state: Stale transition result · case 04
Stale transition result.
Deferred render transition state: Stale transition result · case 05
Stale transition result.
Deferred render transition state: Suspension preserves prior screen · case 01
Suspension preserves prior screen.
Deferred render transition state: Suspension preserves prior screen · case 02
Suspension preserves prior screen.
Deferred render transition state: Suspension preserves prior screen · case 03
Suspension preserves prior screen.
Deferred render transition state: Suspension preserves prior screen · case 04
Suspension preserves prior screen.
Deferred render transition state: Suspension preserves prior screen · case 05
Suspension preserves prior screen.
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 ↗