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
Disabled listener records disappear from registry retention · case 01
Disabled listener records disappear from registry retention; the returned lifecycle plan violates the stated transition contract.
Disabled listener records disappear from registry retention · case 02
Disabled listener records disappear from registry retention; the returned lifecycle plan violates the stated transition contract.
Disabled listener records disappear from registry retention · case 03
Disabled listener records disappear from registry retention; the returned lifecycle plan violates the stated transition contract.
Disabled listener records disappear from registry retention · case 04
Disabled listener records disappear from registry retention; the returned lifecycle plan violates the stated transition contract.
Disabled listener records disappear from registry retention · case 05
Disabled listener records disappear from registry retention; the returned lifecycle plan violates the stated transition contract.
Negative callback budget dispatches all but the last listener · case 01
Negative callback budget dispatches all but the last listener; the returned lifecycle plan violates the stated transition contract.
Negative callback budget dispatches all but the last listener · case 02
Negative callback budget dispatches all but the last listener; the returned lifecycle plan violates the stated transition contract.
Negative callback budget dispatches all but the last listener · case 03
Negative callback budget dispatches all but the last listener; the returned lifecycle plan violates the stated transition contract.
Negative callback budget dispatches all but the last listener · case 04
Negative callback budget dispatches all but the last listener; the returned lifecycle plan violates the stated transition contract.
Negative callback budget dispatches all but the last listener · case 05
Negative callback budget dispatches all but the last listener; the returned lifecycle plan violates the stated transition contract.
Dispatch budget loses the first deferred listener · case 01
Dispatch budget loses the first deferred listener; the returned lifecycle plan violates the stated transition contract.
Dispatch budget loses the first deferred listener · case 02
Dispatch budget loses the first deferred listener; the returned lifecycle plan violates the stated transition contract.
Dispatch budget loses the first deferred listener · case 03
Dispatch budget loses the first deferred listener; the returned lifecycle plan violates the stated transition contract.
Dispatch budget loses the first deferred listener · case 04
Dispatch budget loses the first deferred listener; the returned lifecycle plan violates the stated transition contract.
Dispatch budget loses the first deferred listener · case 05
Dispatch budget loses the first deferred listener; the returned lifecycle plan violates the stated transition contract.
Priority ceiling counts disabled callbacks as dispatch overflow · case 01
Priority ceiling counts disabled callbacks as dispatch overflow; the returned lifecycle plan violates the stated transition contract.
Priority ceiling counts disabled callbacks as dispatch overflow · case 02
Priority ceiling counts disabled callbacks as dispatch overflow; the returned lifecycle plan violates the stated transition contract.
Priority ceiling counts disabled callbacks as dispatch overflow · case 03
Priority ceiling counts disabled callbacks as dispatch overflow; the returned lifecycle plan violates the stated transition contract.
Priority ceiling counts disabled callbacks as dispatch overflow · case 04
Priority ceiling counts disabled callbacks as dispatch overflow; the returned lifecycle plan violates the stated transition contract.
Priority ceiling counts disabled callbacks as dispatch overflow · case 05
Priority ceiling counts disabled callbacks as dispatch overflow; the returned lifecycle plan violates the stated transition contract.
The priority floor rejects a callback exactly on its boundary · case 01
The priority floor rejects a callback exactly on its boundary; the returned lifecycle plan violates the stated transition contract.
The priority floor rejects a callback exactly on its boundary · case 02
The priority floor rejects a callback exactly on its boundary; the returned lifecycle plan violates the stated transition contract.
The priority floor rejects a callback exactly on its boundary · case 03
The priority floor rejects a callback exactly on its boundary; the returned lifecycle plan violates the stated transition contract.
The priority floor rejects a callback exactly on its boundary · case 04
The priority floor rejects a callback exactly on its boundary; the returned lifecycle plan violates the stated transition contract.
The priority floor rejects a callback exactly on its boundary · case 05
The priority floor rejects a callback exactly on its boundary; the returned lifecycle plan violates the stated transition contract.
Priority tie metadata is keyed by listener identity · case 01
Priority tie metadata is keyed by listener identity; the returned lifecycle plan violates the stated transition contract.
Priority tie metadata is keyed by listener identity · case 02
Priority tie metadata is keyed by listener identity; the returned lifecycle plan violates the stated transition contract.
Priority tie metadata is keyed by listener identity · case 03
Priority tie metadata is keyed by listener identity; the returned lifecycle plan violates the stated transition contract.
Priority tie metadata is keyed by listener identity · case 04
Priority tie metadata is keyed by listener identity; the returned lifecycle plan violates the stated transition contract.
Priority tie metadata is keyed by listener identity · case 05
Priority tie metadata is keyed by listener identity; the returned lifecycle plan violates the stated transition contract.
Callback budget becomes negative after a short dispatch · case 01
Callback budget becomes negative after a short dispatch; the returned lifecycle plan violates the stated transition contract.
Callback budget becomes negative after a short dispatch · case 02
Callback budget becomes negative after a short dispatch; the returned lifecycle plan violates the stated transition contract.
Callback budget becomes negative after a short dispatch · case 03
Callback budget becomes negative after a short dispatch; the returned lifecycle plan violates the stated transition contract.
Callback budget becomes negative after a short dispatch · case 04
Callback budget becomes negative after a short dispatch; the returned lifecycle plan violates the stated transition contract.
Callback budget becomes negative after a short dispatch · case 05
Callback budget becomes negative after a short dispatch; the returned lifecycle plan violates the stated transition contract.
An inverted priority window remains dispatchable · case 01
An inverted priority window remains dispatchable; the returned lifecycle plan violates the stated transition contract.
An inverted priority window remains dispatchable · case 02
An inverted priority window remains dispatchable; the returned lifecycle plan violates the stated transition contract.
An inverted priority window remains dispatchable · case 03
An inverted priority window remains dispatchable; the returned lifecycle plan violates the stated transition contract.
An inverted priority window remains dispatchable · case 04
An inverted priority window remains dispatchable; the returned lifecycle plan violates the stated transition contract.
An inverted priority window remains dispatchable · case 05
An inverted priority window remains dispatchable; the returned lifecycle plan violates the stated transition contract.
Serialized reentrancy opens a second active callback frame · case 01
Serialized reentrancy opens a second active callback frame; the returned lifecycle plan violates the stated transition contract.
Serialized reentrancy opens a second active callback frame · case 02
Serialized reentrancy opens a second active callback frame; the returned lifecycle plan violates the stated transition contract.
Serialized reentrancy opens a second active callback frame · case 03
Serialized reentrancy opens a second active callback frame; the returned lifecycle plan violates the stated transition contract.
Serialized reentrancy opens a second active callback frame · case 04
Serialized reentrancy opens a second active callback frame; the returned lifecycle plan violates the stated transition contract.
Serialized reentrancy opens a second active callback frame · case 05
Serialized reentrancy opens a second active callback frame; the returned lifecycle plan violates the stated transition contract.
The reentrancy depth limit is checked after entering the child · case 01
The reentrancy depth limit is checked after entering the child; the returned lifecycle plan violates the stated transition contract.
The reentrancy depth limit is checked after entering the child · case 02
The reentrancy depth limit is checked after entering the child; the returned lifecycle plan violates the stated transition contract.
The reentrancy depth limit is checked after entering the child · case 03
The reentrancy depth limit is checked after entering the child; the returned lifecycle plan violates the stated transition contract.
The reentrancy depth limit is checked after entering the child · case 04
The reentrancy depth limit is checked after entering the child; the returned lifecycle plan violates the stated transition contract.
The reentrancy depth limit is checked after entering the child · case 05
The reentrancy depth limit is checked after entering the child; the returned lifecycle plan violates the stated transition contract.
A nested emission overwrites its outer event identity · case 01
A nested emission overwrites its outer event identity; the returned lifecycle plan violates the stated transition contract.
A nested emission overwrites its outer event identity · case 02
A nested emission overwrites its outer event identity; the returned lifecycle plan violates the stated transition contract.
A nested emission overwrites its outer event identity · case 03
A nested emission overwrites its outer event identity; the returned lifecycle plan violates the stated transition contract.
A nested emission overwrites its outer event identity · case 04
A nested emission overwrites its outer event identity; the returned lifecycle plan violates the stated transition contract.
A nested emission overwrites its outer event identity · case 05
A nested emission overwrites its outer event identity; the returned lifecycle plan violates the stated transition contract.
An inner cancellation erases the outer callback context · case 01
An inner cancellation erases the outer callback context; the returned lifecycle plan violates the stated transition contract.
An inner cancellation erases the outer callback context · case 02
An inner cancellation erases the outer callback context; the returned lifecycle plan violates the stated transition contract.
An inner cancellation erases the outer callback context · case 03
An inner cancellation erases the outer callback context; the returned lifecycle plan violates the stated transition contract.
An inner cancellation erases the outer callback context · case 04
An inner cancellation erases the outer callback context; the returned lifecycle plan violates the stated transition contract.
An inner cancellation erases the outer callback context · case 05
An inner cancellation erases the outer callback context; the returned lifecycle plan violates the stated transition contract.
One callback completion drops the entire reentrant stack · case 01
One callback completion drops the entire reentrant stack; the returned lifecycle plan violates the stated transition contract.
One callback completion drops the entire reentrant stack · case 02
One callback completion drops the entire reentrant stack; the returned lifecycle plan violates the stated transition contract.
One callback completion drops the entire reentrant stack · case 03
One callback completion drops the entire reentrant stack; the returned lifecycle plan violates the stated transition contract.
One callback completion drops the entire reentrant stack · case 04
One callback completion drops the entire reentrant stack; the returned lifecycle plan violates the stated transition contract.
One callback completion drops the entire reentrant stack · case 05
One callback completion drops the entire reentrant stack; the returned lifecycle plan violates the stated transition contract.
Inner callback completion drains outer deferred emissions · case 01
Inner callback completion drains outer deferred emissions; the returned lifecycle plan violates the stated transition contract.
Inner callback completion drains outer deferred emissions · case 02
Inner callback completion drains outer deferred emissions; the returned lifecycle plan violates the stated transition contract.
Inner callback completion drains outer deferred emissions · case 03
Inner callback completion drains outer deferred emissions; the returned lifecycle plan violates the stated transition contract.
Inner callback completion drains outer deferred emissions · case 04
Inner callback completion drains outer deferred emissions; the returned lifecycle plan violates the stated transition contract.
Inner callback completion drains outer deferred emissions · case 05
Inner callback completion drains outer deferred emissions; the returned lifecycle plan violates the stated transition contract.
A cancelled nested frame cancels its parent emission · case 01
A cancelled nested frame cancels its parent emission; the returned lifecycle plan violates the stated transition contract.
A cancelled nested frame cancels its parent emission · case 02
A cancelled nested frame cancels its parent emission; the returned lifecycle plan violates the stated transition contract.
A cancelled nested frame cancels its parent emission · case 03
A cancelled nested frame cancels its parent emission; the returned lifecycle plan violates the stated transition contract.
A cancelled nested frame cancels its parent emission · case 04
A cancelled nested frame cancels its parent emission; the returned lifecycle plan violates the stated transition contract.
A cancelled nested frame cancels its parent emission · case 05
A cancelled nested frame cancels its parent emission; the returned lifecycle plan violates the stated transition contract.
A serialized inner event is reported as recursion overflow · case 01
A serialized inner event is reported as recursion overflow; the returned lifecycle plan violates the stated transition contract.
A serialized inner event is reported as recursion overflow · case 02
A serialized inner event is reported as recursion overflow; the returned lifecycle plan violates the stated transition contract.
A serialized inner event is reported as recursion overflow · case 03
A serialized inner event is reported as recursion overflow; the returned lifecycle plan violates the stated transition contract.
A serialized inner event is reported as recursion overflow · case 04
A serialized inner event is reported as recursion overflow; the returned lifecycle plan violates the stated transition contract.
A serialized inner event is reported as recursion overflow · case 05
A serialized inner event is reported as recursion overflow; the returned lifecycle plan violates the stated transition contract.
Frame exit underflows the top-level dispatch depth · case 01
Frame exit underflows the top-level dispatch depth; the returned lifecycle plan violates the stated transition contract.
Frame exit underflows the top-level dispatch depth · case 02
Frame exit underflows the top-level dispatch depth; the returned lifecycle plan violates the stated transition contract.
Frame exit underflows the top-level dispatch depth · case 03
Frame exit underflows the top-level dispatch depth; the returned lifecycle plan violates the stated transition contract.
Frame exit underflows the top-level dispatch depth · case 04
Frame exit underflows the top-level dispatch depth; the returned lifecycle plan violates the stated transition contract.
Frame exit underflows the top-level dispatch depth · case 05
Frame exit underflows the top-level dispatch depth; the returned lifecycle plan violates the stated transition contract.
Deferred reentrant emissions are prepended in LIFO order · case 01
Deferred reentrant emissions are prepended in LIFO order; the returned lifecycle plan violates the stated transition contract.
Deferred reentrant emissions are prepended in LIFO order · case 02
Deferred reentrant emissions are prepended in LIFO order; the returned lifecycle plan violates the stated transition contract.
Deferred reentrant emissions are prepended in LIFO order · case 03
Deferred reentrant emissions are prepended in LIFO order; the returned lifecycle plan violates the stated transition contract.
Deferred reentrant emissions are prepended in LIFO order · case 04
Deferred reentrant emissions are prepended in LIFO order; the returned lifecycle plan violates the stated transition contract.
Deferred reentrant emissions are prepended in LIFO order · case 05
Deferred reentrant emissions are prepended in LIFO order; the returned lifecycle plan violates the stated transition contract.
Capture propagation begins at the target instead of the root · case 01
Capture propagation begins at the target instead of the root; the returned lifecycle plan violates the stated transition contract.
Capture propagation begins at the target instead of the root · case 02
Capture propagation begins at the target instead of the root; the returned lifecycle plan violates the stated transition contract.
Capture propagation begins at the target instead of the root · case 03
Capture propagation begins at the target instead of the root; the returned lifecycle plan violates the stated transition contract.
Capture propagation begins at the target instead of the root · case 04
Capture propagation begins at the target instead of the root; the returned lifecycle plan violates the stated transition contract.
Capture propagation begins at the target instead of the root · case 05
Capture propagation begins at the target instead of the root; the returned lifecycle plan violates the stated transition contract.
A nonbubbling event still visits ancestor listeners · case 01
A nonbubbling event still visits ancestor listeners; the returned lifecycle plan violates the stated transition contract.
A nonbubbling event still visits ancestor listeners · case 02
A nonbubbling event still visits ancestor listeners; the returned lifecycle plan violates the stated transition contract.
A nonbubbling event still visits ancestor listeners · case 03
A nonbubbling event still visits ancestor listeners; the returned lifecycle plan violates the stated transition contract.
A nonbubbling event still visits ancestor listeners · case 04
A nonbubbling event still visits ancestor listeners; the returned lifecycle plan violates the stated transition contract.
A nonbubbling event still visits ancestor listeners · case 05
A nonbubbling event still visits ancestor listeners; 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 ↗