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
Scope teardown discards all but the first cleanup error · case 01
Scope teardown discards all but the first cleanup error; the returned lifecycle plan violates the stated transition contract.
Scope teardown discards all but the first cleanup error · case 02
Scope teardown discards all but the first cleanup error; the returned lifecycle plan violates the stated transition contract.
Scope teardown discards all but the first cleanup error · case 03
Scope teardown discards all but the first cleanup error; the returned lifecycle plan violates the stated transition contract.
Scope teardown discards all but the first cleanup error · case 04
Scope teardown discards all but the first cleanup error; the returned lifecycle plan violates the stated transition contract.
Scope teardown discards all but the first cleanup error · case 05
Scope teardown discards all but the first cleanup error; the returned lifecycle plan violates the stated transition contract.
A closing scope accepts a newly acquired subscription · case 01
A closing scope accepts a newly acquired subscription; the returned lifecycle plan violates the stated transition contract.
A closing scope accepts a newly acquired subscription · case 02
A closing scope accepts a newly acquired subscription; the returned lifecycle plan violates the stated transition contract.
A closing scope accepts a newly acquired subscription · case 03
A closing scope accepts a newly acquired subscription; the returned lifecycle plan violates the stated transition contract.
A closing scope accepts a newly acquired subscription · case 04
A closing scope accepts a newly acquired subscription; the returned lifecycle plan violates the stated transition contract.
A closing scope accepts a newly acquired subscription · case 05
A closing scope accepts a newly acquired subscription; the returned lifecycle plan violates the stated transition contract.
Scope detachment releases sibling ownership edges sharing a parent · case 01
Scope detachment releases sibling ownership edges sharing a parent; the returned lifecycle plan violates the stated transition contract.
Scope detachment releases sibling ownership edges sharing a parent · case 02
Scope detachment releases sibling ownership edges sharing a parent; the returned lifecycle plan violates the stated transition contract.
Scope detachment releases sibling ownership edges sharing a parent · case 03
Scope detachment releases sibling ownership edges sharing a parent; the returned lifecycle plan violates the stated transition contract.
Scope detachment releases sibling ownership edges sharing a parent · case 04
Scope detachment releases sibling ownership edges sharing a parent; the returned lifecycle plan violates the stated transition contract.
Scope detachment releases sibling ownership edges sharing a parent · case 05
Scope detachment releases sibling ownership edges sharing a parent; the returned lifecycle plan violates the stated transition contract.
A delayed scope callback regresses closure from closed to closing · case 01
A delayed scope callback regresses closure from closed to closing; the returned lifecycle plan violates the stated transition contract.
A delayed scope callback regresses closure from closed to closing · case 02
A delayed scope callback regresses closure from closed to closing; the returned lifecycle plan violates the stated transition contract.
A delayed scope callback regresses closure from closed to closing · case 03
A delayed scope callback regresses closure from closed to closing; the returned lifecycle plan violates the stated transition contract.
A delayed scope callback regresses closure from closed to closing · case 04
A delayed scope callback regresses closure from closed to closing; the returned lifecycle plan violates the stated transition contract.
A delayed scope callback regresses closure from closed to closing · case 05
A delayed scope callback regresses closure from closed to closing; the returned lifecycle plan violates the stated transition contract.
Scope shutdown retains deferred observer work · case 01
Scope shutdown retains deferred observer work; the returned lifecycle plan violates the stated transition contract.
Scope shutdown retains deferred observer work · case 02
Scope shutdown retains deferred observer work; the returned lifecycle plan violates the stated transition contract.
Scope shutdown retains deferred observer work · case 03
Scope shutdown retains deferred observer work; the returned lifecycle plan violates the stated transition contract.
Scope shutdown retains deferred observer work · case 04
Scope shutdown retains deferred observer work; the returned lifecycle plan violates the stated transition contract.
Scope shutdown retains deferred observer work · case 05
Scope shutdown retains deferred observer work; the returned lifecycle plan violates the stated transition contract.
Ownership accounting includes borrowed children · case 01
Ownership accounting includes borrowed children; the returned lifecycle plan violates the stated transition contract.
Ownership accounting includes borrowed children · case 02
Ownership accounting includes borrowed children; the returned lifecycle plan violates the stated transition contract.
Ownership accounting includes borrowed children · case 03
Ownership accounting includes borrowed children; the returned lifecycle plan violates the stated transition contract.
Ownership accounting includes borrowed children · case 04
Ownership accounting includes borrowed children; the returned lifecycle plan violates the stated transition contract.
Ownership accounting includes borrowed children · case 05
Ownership accounting includes borrowed children; the returned lifecycle plan violates the stated transition contract.
A cleanup exception aborts sibling disposal · case 01
A cleanup exception aborts sibling disposal; the returned lifecycle plan violates the stated transition contract.
A cleanup exception aborts sibling disposal · case 02
A cleanup exception aborts sibling disposal; the returned lifecycle plan violates the stated transition contract.
A cleanup exception aborts sibling disposal · case 03
A cleanup exception aborts sibling disposal; the returned lifecycle plan violates the stated transition contract.
A cleanup exception aborts sibling disposal · case 04
A cleanup exception aborts sibling disposal; the returned lifecycle plan violates the stated transition contract.
A cleanup exception aborts sibling disposal · case 05
A cleanup exception aborts sibling disposal; the returned lifecycle plan violates the stated transition contract.
An absent parent link decrements scope references · case 01
An absent parent link decrements scope references; the returned lifecycle plan violates the stated transition contract.
An absent parent link decrements scope references · case 02
An absent parent link decrements scope references; the returned lifecycle plan violates the stated transition contract.
An absent parent link decrements scope references · case 03
An absent parent link decrements scope references; the returned lifecycle plan violates the stated transition contract.
An absent parent link decrements scope references · case 04
An absent parent link decrements scope references; the returned lifecycle plan violates the stated transition contract.
An absent parent link decrements scope references · case 05
An absent parent link decrements scope references; the returned lifecycle plan violates the stated transition contract.
Completion wins over a simultaneous observer error · case 01
Completion wins over a simultaneous observer error; the returned lifecycle plan violates the stated transition contract.
Completion wins over a simultaneous observer error · case 02
Completion wins over a simultaneous observer error; the returned lifecycle plan violates the stated transition contract.
Completion wins over a simultaneous observer error · case 03
Completion wins over a simultaneous observer error; the returned lifecycle plan violates the stated transition contract.
Completion wins over a simultaneous observer error · case 04
Completion wins over a simultaneous observer error; the returned lifecycle plan violates the stated transition contract.
Completion wins over a simultaneous observer error · case 05
Completion wins over a simultaneous observer error; the returned lifecycle plan violates the stated transition contract.
An error fails to seal the observer · case 01
An error fails to seal the observer; the returned lifecycle plan violates the stated transition contract.
An error fails to seal the observer · case 02
An error fails to seal the observer; the returned lifecycle plan violates the stated transition contract.
An error fails to seal the observer · case 03
An error fails to seal the observer; the returned lifecycle plan violates the stated transition contract.
An error fails to seal the observer · case 04
An error fails to seal the observer; the returned lifecycle plan violates the stated transition contract.
An error fails to seal the observer · case 05
An error fails to seal the observer; the returned lifecycle plan violates the stated transition contract.
Failed observer drains values queued before an error · case 01
Failed observer drains values queued before an error; the returned lifecycle plan violates the stated transition contract.
Failed observer drains values queued before an error · case 02
Failed observer drains values queued before an error; the returned lifecycle plan violates the stated transition contract.
Failed observer drains values queued before an error · case 03
Failed observer drains values queued before an error; the returned lifecycle plan violates the stated transition contract.
Failed observer drains values queued before an error · case 04
Failed observer drains values queued before an error; the returned lifecycle plan violates the stated transition contract.
Failed observer drains values queued before an error · case 05
Failed observer drains values queued before an error; the returned lifecycle plan violates the stated transition contract.
Error notification loses its exception payload · case 01
Error notification loses its exception payload; the returned lifecycle plan violates the stated transition contract.
Error notification loses its exception payload · case 02
Error notification loses its exception payload; the returned lifecycle plan violates the stated transition contract.
Error notification loses its exception payload · case 03
Error notification loses its exception payload; the returned lifecycle plan violates the stated transition contract.
Error notification loses its exception payload · case 04
Error notification loses its exception payload; the returned lifecycle plan violates the stated transition contract.
Error notification loses its exception payload · case 05
Error notification loses its exception payload; the returned lifecycle plan violates the stated transition contract.
Terminal delivery leaks an owned resource on cancellation · case 01
Terminal delivery leaks an owned resource on cancellation; the returned lifecycle plan violates the stated transition contract.
Terminal delivery leaks an owned resource on cancellation · case 02
Terminal delivery leaks an owned resource on cancellation; the returned lifecycle plan violates the stated transition contract.
Terminal delivery leaks an owned resource on cancellation · case 03
Terminal delivery leaks an owned resource on cancellation; the returned lifecycle plan violates the stated transition contract.
Terminal delivery leaks an owned resource on cancellation · case 04
Terminal delivery leaks an owned resource on cancellation; the returned lifecycle plan violates the stated transition contract.
Terminal delivery leaks an owned resource on cancellation · case 05
Terminal delivery leaks an owned resource on cancellation; the returned lifecycle plan violates the stated transition contract.
A previously executed observer teardown runs again · case 01
A previously executed observer teardown runs again; the returned lifecycle plan violates the stated transition contract.
A previously executed observer teardown runs again · case 02
A previously executed observer teardown runs again; the returned lifecycle plan violates the stated transition contract.
A previously executed observer teardown runs again · case 03
A previously executed observer teardown runs again; the returned lifecycle plan violates the stated transition contract.
A previously executed observer teardown runs again · case 04
A previously executed observer teardown runs again; the returned lifecycle plan violates the stated transition contract.
A previously executed observer teardown runs again · case 05
A previously executed observer teardown runs again; the returned lifecycle plan violates the stated transition contract.
Error termination leaves asynchronous callbacks active · case 01
Error termination leaves asynchronous callbacks active; the returned lifecycle plan violates the stated transition contract.
Error termination leaves asynchronous callbacks active · case 02
Error termination leaves asynchronous callbacks active; the returned lifecycle plan violates the stated transition contract.
Error termination leaves asynchronous callbacks active · case 03
Error termination leaves asynchronous callbacks active; the returned lifecycle plan violates the stated transition contract.
Error termination leaves asynchronous callbacks active · case 04
Error termination leaves asynchronous callbacks active; the returned lifecycle plan violates the stated transition contract.
Error termination leaves asynchronous callbacks active · case 05
Error termination leaves asynchronous callbacks active; the returned lifecycle plan violates the stated transition contract.
A late observer error is silently discarded · case 01
A late observer error is silently discarded; the returned lifecycle plan violates the stated transition contract.
A late observer error is silently discarded · case 02
A late observer error is silently discarded; the returned lifecycle plan violates the stated transition contract.
A late observer error is silently discarded · case 03
A late observer error is silently discarded; the returned lifecycle plan violates the stated transition contract.
A late observer error is silently discarded · case 04
A late observer error is silently discarded; the returned lifecycle plan violates the stated transition contract.
A late observer error is silently discarded · case 05
A late observer error is silently discarded; the returned lifecycle plan violates the stated transition contract.
Silent cancellation overwrites the recorded reason with an error · case 01
Silent cancellation overwrites the recorded reason with an error; the returned lifecycle plan violates the stated transition contract.
Silent cancellation overwrites the recorded reason with an error · case 02
Silent cancellation overwrites the recorded reason with an error; the returned lifecycle plan violates the stated transition contract.
Silent cancellation overwrites the recorded reason with an error · case 03
Silent cancellation overwrites the recorded reason with an error; the returned lifecycle plan violates the stated transition contract.
Silent cancellation overwrites the recorded reason with an error · case 04
Silent cancellation overwrites the recorded reason with an error; the returned lifecycle plan violates the stated transition contract.
Silent cancellation overwrites the recorded reason with an error · case 05
Silent cancellation overwrites the recorded reason with an error; the returned lifecycle plan violates the stated transition contract.
Completion bypasses outstanding callback work · case 01
Completion bypasses outstanding callback work; the returned lifecycle plan violates the stated transition contract.
Completion bypasses outstanding callback work · case 02
Completion bypasses outstanding callback work; the returned lifecycle plan violates the stated transition contract.
Completion bypasses outstanding callback work · case 03
Completion bypasses outstanding callback work; the returned lifecycle plan violates the stated transition contract.
Completion bypasses outstanding callback work · case 04
Completion bypasses outstanding callback work; the returned lifecycle plan violates the stated transition contract.
Completion bypasses outstanding callback work · case 05
Completion bypasses outstanding callback work; the returned lifecycle plan violates the stated transition contract.
Adding a second subscriber reconnects the shared upstream · case 01
Adding a second subscriber reconnects the shared upstream; the returned lifecycle plan violates the stated transition contract.
Adding a second subscriber reconnects the shared upstream · case 02
Adding a second subscriber reconnects the shared upstream; the returned lifecycle plan violates the stated transition contract.
Adding a second subscriber reconnects the shared upstream · case 03
Adding a second subscriber reconnects the shared upstream; the returned lifecycle plan violates the stated transition contract.
Adding a second subscriber reconnects the shared upstream · case 04
Adding a second subscriber reconnects the shared upstream; the returned lifecycle plan violates the stated transition contract.
Adding a second subscriber reconnects the shared upstream · case 05
Adding a second subscriber reconnects the shared upstream; the returned lifecycle plan violates the stated transition contract.
A keepalive connection disconnects on last unsubscribe · case 01
A keepalive connection disconnects on last unsubscribe; the returned lifecycle plan violates the stated transition contract.
A keepalive connection disconnects on last unsubscribe · case 02
A keepalive connection disconnects on last unsubscribe; the returned lifecycle plan violates the stated transition contract.
A keepalive connection disconnects on last unsubscribe · case 03
A keepalive connection disconnects on last unsubscribe; the returned lifecycle plan violates the stated transition contract.
A keepalive connection disconnects on last unsubscribe · case 04
A keepalive connection disconnects on last unsubscribe; the returned lifecycle plan violates the stated transition contract.
A keepalive connection disconnects on last unsubscribe · case 05
A keepalive connection disconnects on last unsubscribe; 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 ↗