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
Subscriber accounting replaces a delta with the final count · case 01
Subscriber accounting replaces a delta with the final count; the returned lifecycle plan violates the stated transition contract.
Subscriber accounting replaces a delta with the final count · case 02
Subscriber accounting replaces a delta with the final count; the returned lifecycle plan violates the stated transition contract.
Subscriber accounting replaces a delta with the final count · case 03
Subscriber accounting replaces a delta with the final count; the returned lifecycle plan violates the stated transition contract.
Subscriber accounting replaces a delta with the final count · case 04
Subscriber accounting replaces a delta with the final count; the returned lifecycle plan violates the stated transition contract.
Subscriber accounting replaces a delta with the final count · case 05
Subscriber accounting replaces a delta with the final count; the returned lifecycle plan violates the stated transition contract.
Unsuccessful connection attempts advance the generation · case 01
Unsuccessful connection attempts advance the generation; the returned lifecycle plan violates the stated transition contract.
Unsuccessful connection attempts advance the generation · case 02
Unsuccessful connection attempts advance the generation; the returned lifecycle plan violates the stated transition contract.
Unsuccessful connection attempts advance the generation · case 03
Unsuccessful connection attempts advance the generation; the returned lifecycle plan violates the stated transition contract.
Unsuccessful connection attempts advance the generation · case 04
Unsuccessful connection attempts advance the generation; the returned lifecycle plan violates the stated transition contract.
Unsuccessful connection attempts advance the generation · case 05
Unsuccessful connection attempts advance the generation; the returned lifecycle plan violates the stated transition contract.
Reference counting disposes a borrowed upstream · case 01
Reference counting disposes a borrowed upstream; the returned lifecycle plan violates the stated transition contract.
Reference counting disposes a borrowed upstream · case 02
Reference counting disposes a borrowed upstream; the returned lifecycle plan violates the stated transition contract.
Reference counting disposes a borrowed upstream · case 03
Reference counting disposes a borrowed upstream; the returned lifecycle plan violates the stated transition contract.
Reference counting disposes a borrowed upstream · case 04
Reference counting disposes a borrowed upstream; the returned lifecycle plan violates the stated transition contract.
Reference counting disposes a borrowed upstream · case 05
Reference counting disposes a borrowed upstream; the returned lifecycle plan violates the stated transition contract.
A retry request reconnects an upstream with no subscribers · case 01
A retry request reconnects an upstream with no subscribers; the returned lifecycle plan violates the stated transition contract.
A retry request reconnects an upstream with no subscribers · case 02
A retry request reconnects an upstream with no subscribers; the returned lifecycle plan violates the stated transition contract.
A retry request reconnects an upstream with no subscribers · case 03
A retry request reconnects an upstream with no subscribers; the returned lifecycle plan violates the stated transition contract.
A retry request reconnects an upstream with no subscribers · case 04
A retry request reconnects an upstream with no subscribers; the returned lifecycle plan violates the stated transition contract.
A retry request reconnects an upstream with no subscribers · case 05
A retry request reconnects an upstream with no subscribers; the returned lifecycle plan violates the stated transition contract.
Subscriber-free keepalive is reported as disconnected · case 01
Subscriber-free keepalive is reported as disconnected; the returned lifecycle plan violates the stated transition contract.
Subscriber-free keepalive is reported as disconnected · case 02
Subscriber-free keepalive is reported as disconnected; the returned lifecycle plan violates the stated transition contract.
Subscriber-free keepalive is reported as disconnected · case 03
Subscriber-free keepalive is reported as disconnected; the returned lifecycle plan violates the stated transition contract.
Subscriber-free keepalive is reported as disconnected · case 04
Subscriber-free keepalive is reported as disconnected; the returned lifecycle plan violates the stated transition contract.
Subscriber-free keepalive is reported as disconnected · case 05
Subscriber-free keepalive is reported as disconnected; the returned lifecycle plan violates the stated transition contract.
Last unsubscribe leaves queued connection requests behind · case 01
Last unsubscribe leaves queued connection requests behind; the returned lifecycle plan violates the stated transition contract.
Last unsubscribe leaves queued connection requests behind · case 02
Last unsubscribe leaves queued connection requests behind; the returned lifecycle plan violates the stated transition contract.
Last unsubscribe leaves queued connection requests behind · case 03
Last unsubscribe leaves queued connection requests behind; the returned lifecycle plan violates the stated transition contract.
Last unsubscribe leaves queued connection requests behind · case 04
Last unsubscribe leaves queued connection requests behind; the returned lifecycle plan violates the stated transition contract.
Last unsubscribe leaves queued connection requests behind · case 05
Last unsubscribe leaves queued connection requests behind; the returned lifecycle plan violates the stated transition contract.
The first-subscriber hook runs for every count increase · case 01
The first-subscriber hook runs for every count increase; the returned lifecycle plan violates the stated transition contract.
The first-subscriber hook runs for every count increase · case 02
The first-subscriber hook runs for every count increase; the returned lifecycle plan violates the stated transition contract.
The first-subscriber hook runs for every count increase · case 03
The first-subscriber hook runs for every count increase; the returned lifecycle plan violates the stated transition contract.
The first-subscriber hook runs for every count increase · case 04
The first-subscriber hook runs for every count increase; the returned lifecycle plan violates the stated transition contract.
The first-subscriber hook runs for every count increase · case 05
The first-subscriber hook runs for every count increase; the returned lifecycle plan violates the stated transition contract.
The last-subscriber hook runs for an already empty registry · case 01
The last-subscriber hook runs for an already empty registry; the returned lifecycle plan violates the stated transition contract.
The last-subscriber hook runs for an already empty registry · case 02
The last-subscriber hook runs for an already empty registry; the returned lifecycle plan violates the stated transition contract.
The last-subscriber hook runs for an already empty registry · case 03
The last-subscriber hook runs for an already empty registry; the returned lifecycle plan violates the stated transition contract.
The last-subscriber hook runs for an already empty registry · case 04
The last-subscriber hook runs for an already empty registry; the returned lifecycle plan violates the stated transition contract.
The last-subscriber hook runs for an already empty registry · case 05
The last-subscriber hook runs for an already empty registry; the returned lifecycle plan violates the stated transition contract.
A weak listener invokes a finalized target · case 01
A weak listener invokes a finalized target; the returned lifecycle plan violates the stated transition contract.
A weak listener invokes a finalized target · case 02
A weak listener invokes a finalized target; the returned lifecycle plan violates the stated transition contract.
A weak listener invokes a finalized target · case 03
A weak listener invokes a finalized target; the returned lifecycle plan violates the stated transition contract.
A weak listener invokes a finalized target · case 04
A weak listener invokes a finalized target; the returned lifecycle plan violates the stated transition contract.
A weak listener invokes a finalized target · case 05
A weak listener invokes a finalized target; the returned lifecycle plan violates the stated transition contract.
A dead observer target receives a temporary strong pin · case 01
A dead observer target receives a temporary strong pin; the returned lifecycle plan violates the stated transition contract.
A dead observer target receives a temporary strong pin · case 02
A dead observer target receives a temporary strong pin; the returned lifecycle plan violates the stated transition contract.
A dead observer target receives a temporary strong pin · case 03
A dead observer target receives a temporary strong pin; the returned lifecycle plan violates the stated transition contract.
A dead observer target receives a temporary strong pin · case 04
A dead observer target receives a temporary strong pin; the returned lifecycle plan violates the stated transition contract.
A dead observer target receives a temporary strong pin · case 05
A dead observer target receives a temporary strong pin; the returned lifecycle plan violates the stated transition contract.
Target collection leaves a live listener registry slot · case 01
Target collection leaves a live listener registry slot; the returned lifecycle plan violates the stated transition contract.
Target collection leaves a live listener registry slot · case 02
Target collection leaves a live listener registry slot; the returned lifecycle plan violates the stated transition contract.
Target collection leaves a live listener registry slot · case 03
Target collection leaves a live listener registry slot; the returned lifecycle plan violates the stated transition contract.
Target collection leaves a live listener registry slot · case 04
Target collection leaves a live listener registry slot; the returned lifecycle plan violates the stated transition contract.
Target collection leaves a live listener registry slot · case 05
Target collection leaves a live listener registry slot; the returned lifecycle plan violates the stated transition contract.
Weak cleanup compacts the registry during callback iteration · case 01
Weak cleanup compacts the registry during callback iteration; the returned lifecycle plan violates the stated transition contract.
Weak cleanup compacts the registry during callback iteration · case 02
Weak cleanup compacts the registry during callback iteration; the returned lifecycle plan violates the stated transition contract.
Weak cleanup compacts the registry during callback iteration · case 03
Weak cleanup compacts the registry during callback iteration; the returned lifecycle plan violates the stated transition contract.
Weak cleanup compacts the registry during callback iteration · case 04
Weak cleanup compacts the registry during callback iteration; the returned lifecycle plan violates the stated transition contract.
Weak cleanup compacts the registry during callback iteration · case 05
Weak cleanup compacts the registry during callback iteration; the returned lifecycle plan violates the stated transition contract.
A dead callback context is treated as a collected target · case 01
A dead callback context is treated as a collected target; the returned lifecycle plan violates the stated transition contract.
A dead callback context is treated as a collected target · case 02
A dead callback context is treated as a collected target; the returned lifecycle plan violates the stated transition contract.
A dead callback context is treated as a collected target · case 03
A dead callback context is treated as a collected target; the returned lifecycle plan violates the stated transition contract.
A dead callback context is treated as a collected target · case 04
A dead callback context is treated as a collected target; the returned lifecycle plan violates the stated transition contract.
A dead callback context is treated as a collected target · case 05
A dead callback context is treated as a collected target; the returned lifecycle plan violates the stated transition contract.
Callback exit drops every outstanding weak-target pin · case 01
Callback exit drops every outstanding weak-target pin; the returned lifecycle plan violates the stated transition contract.
Callback exit drops every outstanding weak-target pin · case 02
Callback exit drops every outstanding weak-target pin; the returned lifecycle plan violates the stated transition contract.
Callback exit drops every outstanding weak-target pin · case 03
Callback exit drops every outstanding weak-target pin; the returned lifecycle plan violates the stated transition contract.
Callback exit drops every outstanding weak-target pin · case 04
Callback exit drops every outstanding weak-target pin; the returned lifecycle plan violates the stated transition contract.
Callback exit drops every outstanding weak-target pin · case 05
Callback exit drops every outstanding weak-target pin; the returned lifecycle plan violates the stated transition contract.
A weak registration itself retains the observer target · case 01
A weak registration itself retains the observer target; the returned lifecycle plan violates the stated transition contract.
A weak registration itself retains the observer target · case 02
A weak registration itself retains the observer target; the returned lifecycle plan violates the stated transition contract.
A weak registration itself retains the observer target · case 03
A weak registration itself retains the observer target; the returned lifecycle plan violates the stated transition contract.
A weak registration itself retains the observer target · case 04
A weak registration itself retains the observer target; the returned lifecycle plan violates the stated transition contract.
A weak registration itself retains the observer target · case 05
A weak registration itself retains the observer target; the returned lifecycle plan violates the stated transition contract.
Finalization accidentally permits a strong-owner resurrection · case 01
Finalization accidentally permits a strong-owner resurrection; the returned lifecycle plan violates the stated transition contract.
Finalization accidentally permits a strong-owner resurrection · case 02
Finalization accidentally permits a strong-owner resurrection; the returned lifecycle plan violates the stated transition contract.
Finalization accidentally permits a strong-owner resurrection · case 03
Finalization accidentally permits a strong-owner resurrection; the returned lifecycle plan violates the stated transition contract.
Finalization accidentally permits a strong-owner resurrection · case 04
Finalization accidentally permits a strong-owner resurrection; the returned lifecycle plan violates the stated transition contract.
Finalization accidentally permits a strong-owner resurrection · case 05
Finalization accidentally permits a strong-owner resurrection; the returned lifecycle plan violates the stated transition contract.
Weak method callbacks silently fall back to a different method after collection · case 01
Weak method callbacks silently fall back to a different method after collection; the returned lifecycle plan violates the stated transition contract.
Weak method callbacks silently fall back to a different method after collection · case 02
Weak method callbacks silently fall back to a different method after collection; the returned lifecycle plan violates the stated transition contract.
Weak method callbacks silently fall back to a different method after collection · case 03
Weak method callbacks silently fall back to a different method after collection; the returned lifecycle plan violates the stated transition contract.
Weak method callbacks silently fall back to a different method after collection · case 04
Weak method callbacks silently fall back to a different method after collection; the returned lifecycle plan violates the stated transition contract.
Weak method callbacks silently fall back to a different method after collection · case 05
Weak method callbacks silently fall back to a different method after collection; the returned lifecycle plan violates the stated transition contract.
Tombstone sweeping is not deferred during an active dispatch · case 01
Tombstone sweeping is not deferred during an active dispatch; the returned lifecycle plan violates the stated transition contract.
Tombstone sweeping is not deferred during an active dispatch · case 02
Tombstone sweeping is not deferred during an active dispatch; the returned lifecycle plan violates the stated transition contract.
Tombstone sweeping is not deferred during an active dispatch · case 03
Tombstone sweeping is not deferred during an active dispatch; the returned lifecycle plan violates the stated transition contract.
Tombstone sweeping is not deferred during an active dispatch · case 04
Tombstone sweeping is not deferred during an active dispatch; the returned lifecycle plan violates the stated transition contract.
Tombstone sweeping is not deferred during an active dispatch · case 05
Tombstone sweeping is not deferred during an active dispatch; the returned lifecycle plan violates the stated transition contract.
Priority eligibility ignores the lower dispatch bound · case 01
Priority eligibility ignores the lower dispatch bound; the returned lifecycle plan violates the stated transition contract.
Priority eligibility ignores the lower dispatch bound · case 02
Priority eligibility ignores the lower dispatch bound; the returned lifecycle plan violates the stated transition contract.
Priority eligibility ignores the lower dispatch bound · case 03
Priority eligibility ignores the lower dispatch bound; the returned lifecycle plan violates the stated transition contract.
Priority eligibility ignores the lower dispatch bound · case 04
Priority eligibility ignores the lower dispatch bound; the returned lifecycle plan violates the stated transition contract.
Priority eligibility ignores the lower dispatch bound · case 05
Priority eligibility ignores the lower dispatch bound; the returned lifecycle plan violates the stated transition contract.
Priority sorting reverses stable ties · case 01
Priority sorting reverses stable ties; the returned lifecycle plan violates the stated transition contract.
Priority sorting reverses stable ties · case 02
Priority sorting reverses stable ties; the returned lifecycle plan violates the stated transition contract.
Priority sorting reverses stable ties · case 03
Priority sorting reverses stable ties; the returned lifecycle plan violates the stated transition contract.
Priority sorting reverses stable ties · case 04
Priority sorting reverses stable ties; the returned lifecycle plan violates the stated transition contract.
Priority sorting reverses stable ties · case 05
Priority sorting reverses stable ties; the returned lifecycle plan violates the stated transition 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 ↗