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
Exhaust-suppressed outer values leak their owned disposable resources · case 01
Exhaust-suppressed outer values leak their owned disposable resources; the returned lifecycle plan violates the stated transition contract.
Exhaust-suppressed outer values leak their owned disposable resources · case 02
Exhaust-suppressed outer values leak their owned disposable resources; the returned lifecycle plan violates the stated transition contract.
Exhaust-suppressed outer values leak their owned disposable resources · case 03
Exhaust-suppressed outer values leak their owned disposable resources; the returned lifecycle plan violates the stated transition contract.
Exhaust-suppressed outer values leak their owned disposable resources · case 04
Exhaust-suppressed outer values leak their owned disposable resources; the returned lifecycle plan violates the stated transition contract.
Exhaust-suppressed outer values leak their owned disposable resources · case 05
Exhaust-suppressed outer values leak their owned disposable resources; the returned lifecycle plan violates the stated transition contract.
Exhaust invokes the inner factory for outer values rejected by active inners · case 01
Exhaust invokes the inner factory for outer values rejected by active inners; the returned lifecycle plan violates the stated transition contract.
Exhaust invokes the inner factory for outer values rejected by active inners · case 02
Exhaust invokes the inner factory for outer values rejected by active inners; the returned lifecycle plan violates the stated transition contract.
Exhaust invokes the inner factory for outer values rejected by active inners · case 03
Exhaust invokes the inner factory for outer values rejected by active inners; the returned lifecycle plan violates the stated transition contract.
Exhaust invokes the inner factory for outer values rejected by active inners · case 04
Exhaust invokes the inner factory for outer values rejected by active inners; the returned lifecycle plan violates the stated transition contract.
Exhaust invokes the inner factory for outer values rejected by active inners · case 05
Exhaust invokes the inner factory for outer values rejected by active inners; the returned lifecycle plan violates the stated transition contract.
Synchronous inner completion leaves the exhaust startup reservation occupied · case 01
Synchronous inner completion leaves the exhaust startup reservation occupied; the returned lifecycle plan violates the stated transition contract.
Synchronous inner completion leaves the exhaust startup reservation occupied · case 02
Synchronous inner completion leaves the exhaust startup reservation occupied; the returned lifecycle plan violates the stated transition contract.
Synchronous inner completion leaves the exhaust startup reservation occupied · case 03
Synchronous inner completion leaves the exhaust startup reservation occupied; the returned lifecycle plan violates the stated transition contract.
Synchronous inner completion leaves the exhaust startup reservation occupied · case 04
Synchronous inner completion leaves the exhaust startup reservation occupied; the returned lifecycle plan violates the stated transition contract.
Synchronous inner completion leaves the exhaust startup reservation occupied · case 05
Synchronous inner completion leaves the exhaust startup reservation occupied; the returned lifecycle plan violates the stated transition contract.
A stale inner completion releases the exhaust slot · case 01
A stale inner completion releases the exhaust slot; the returned lifecycle plan violates the stated transition contract.
A stale inner completion releases the exhaust slot · case 02
A stale inner completion releases the exhaust slot; the returned lifecycle plan violates the stated transition contract.
A stale inner completion releases the exhaust slot · case 03
A stale inner completion releases the exhaust slot; the returned lifecycle plan violates the stated transition contract.
A stale inner completion releases the exhaust slot · case 04
A stale inner completion releases the exhaust slot; the returned lifecycle plan violates the stated transition contract.
A stale inner completion releases the exhaust slot · case 05
A stale inner completion releases the exhaust slot; the returned lifecycle plan violates the stated transition contract.
Exhaust completion occurs at the first rather than last required terminal signal · case 01
Exhaust completion occurs at the first rather than last required terminal signal; the returned lifecycle plan violates the stated transition contract.
Exhaust completion occurs at the first rather than last required terminal signal · case 02
Exhaust completion occurs at the first rather than last required terminal signal; the returned lifecycle plan violates the stated transition contract.
Exhaust completion occurs at the first rather than last required terminal signal · case 03
Exhaust completion occurs at the first rather than last required terminal signal; the returned lifecycle plan violates the stated transition contract.
Exhaust completion occurs at the first rather than last required terminal signal · case 04
Exhaust completion occurs at the first rather than last required terminal signal; the returned lifecycle plan violates the stated transition contract.
Exhaust completion occurs at the first rather than last required terminal signal · case 05
Exhaust completion occurs at the first rather than last required terminal signal; the returned lifecycle plan violates the stated transition contract.
Suppressed exhaust inputs advance the inner generation · case 01
Suppressed exhaust inputs advance the inner generation; the returned lifecycle plan violates the stated transition contract.
Suppressed exhaust inputs advance the inner generation · case 02
Suppressed exhaust inputs advance the inner generation; the returned lifecycle plan violates the stated transition contract.
Suppressed exhaust inputs advance the inner generation · case 03
Suppressed exhaust inputs advance the inner generation; the returned lifecycle plan violates the stated transition contract.
Suppressed exhaust inputs advance the inner generation · case 04
Suppressed exhaust inputs advance the inner generation; the returned lifecycle plan violates the stated transition contract.
Suppressed exhaust inputs advance the inner generation · case 05
Suppressed exhaust inputs advance the inner generation; the returned lifecycle plan violates the stated transition contract.
Exhaust drop counter resets when the inner completes · case 01
Exhaust drop counter resets when the inner completes; the returned lifecycle plan violates the stated transition contract.
Exhaust drop counter resets when the inner completes · case 02
Exhaust drop counter resets when the inner completes; the returned lifecycle plan violates the stated transition contract.
Exhaust drop counter resets when the inner completes · case 03
Exhaust drop counter resets when the inner completes; the returned lifecycle plan violates the stated transition contract.
Exhaust drop counter resets when the inner completes · case 04
Exhaust drop counter resets when the inner completes; the returned lifecycle plan violates the stated transition contract.
Exhaust drop counter resets when the inner completes · case 05
Exhaust drop counter resets when the inner completes; the returned lifecycle plan violates the stated transition contract.
Exhaust cancellation fails while synchronous subscription is pending · case 01
Exhaust cancellation fails while synchronous subscription is pending; the returned lifecycle plan violates the stated transition contract.
Exhaust cancellation fails while synchronous subscription is pending · case 02
Exhaust cancellation fails while synchronous subscription is pending; the returned lifecycle plan violates the stated transition contract.
Exhaust cancellation fails while synchronous subscription is pending · case 03
Exhaust cancellation fails while synchronous subscription is pending; the returned lifecycle plan violates the stated transition contract.
Exhaust cancellation fails while synchronous subscription is pending · case 04
Exhaust cancellation fails while synchronous subscription is pending; the returned lifecycle plan violates the stated transition contract.
Exhaust cancellation fails while synchronous subscription is pending · case 05
Exhaust cancellation fails while synchronous subscription is pending; the returned lifecycle plan violates the stated transition contract.
Merge concurrency ignores synchronous inner reservations · case 01
Merge concurrency ignores synchronous inner reservations; the returned lifecycle plan violates the stated transition contract.
Merge concurrency ignores synchronous inner reservations · case 02
Merge concurrency ignores synchronous inner reservations; the returned lifecycle plan violates the stated transition contract.
Merge concurrency ignores synchronous inner reservations · case 03
Merge concurrency ignores synchronous inner reservations; the returned lifecycle plan violates the stated transition contract.
Merge concurrency ignores synchronous inner reservations · case 04
Merge concurrency ignores synchronous inner reservations; the returned lifecycle plan violates the stated transition contract.
Merge concurrency ignores synchronous inner reservations · case 05
Merge concurrency ignores synchronous inner reservations; the returned lifecycle plan violates the stated transition contract.
Merge starts all pending inners despite a concurrency limit · case 01
Merge starts all pending inners despite a concurrency limit; the returned lifecycle plan violates the stated transition contract.
Merge starts all pending inners despite a concurrency limit · case 02
Merge starts all pending inners despite a concurrency limit; the returned lifecycle plan violates the stated transition contract.
Merge starts all pending inners despite a concurrency limit · case 03
Merge starts all pending inners despite a concurrency limit; the returned lifecycle plan violates the stated transition contract.
Merge starts all pending inners despite a concurrency limit · case 04
Merge starts all pending inners despite a concurrency limit; the returned lifecycle plan violates the stated transition contract.
Merge starts all pending inners despite a concurrency limit · case 05
Merge starts all pending inners despite a concurrency limit; the returned lifecycle plan violates the stated transition contract.
Merge loses the first pending inner that did not fit · case 01
Merge loses the first pending inner that did not fit; the returned lifecycle plan violates the stated transition contract.
Merge loses the first pending inner that did not fit · case 02
Merge loses the first pending inner that did not fit; the returned lifecycle plan violates the stated transition contract.
Merge loses the first pending inner that did not fit · case 03
Merge loses the first pending inner that did not fit; the returned lifecycle plan violates the stated transition contract.
Merge loses the first pending inner that did not fit · case 04
Merge loses the first pending inner that did not fit; the returned lifecycle plan violates the stated transition contract.
Merge loses the first pending inner that did not fit · case 05
Merge loses the first pending inner that did not fit; the returned lifecycle plan violates the stated transition contract.
One merge inner completion clears unrelated active subscriptions · case 01
One merge inner completion clears unrelated active subscriptions; the returned lifecycle plan violates the stated transition contract.
One merge inner completion clears unrelated active subscriptions · case 02
One merge inner completion clears unrelated active subscriptions; the returned lifecycle plan violates the stated transition contract.
One merge inner completion clears unrelated active subscriptions · case 03
One merge inner completion clears unrelated active subscriptions; the returned lifecycle plan violates the stated transition contract.
One merge inner completion clears unrelated active subscriptions · case 04
One merge inner completion clears unrelated active subscriptions; the returned lifecycle plan violates the stated transition contract.
One merge inner completion clears unrelated active subscriptions · case 05
One merge inner completion clears unrelated active subscriptions; the returned lifecycle plan violates the stated transition contract.
Merge outer completion discards queued inner subscriptions · case 01
Merge outer completion discards queued inner subscriptions; the returned lifecycle plan violates the stated transition contract.
Merge outer completion discards queued inner subscriptions · case 02
Merge outer completion discards queued inner subscriptions; the returned lifecycle plan violates the stated transition contract.
Merge outer completion discards queued inner subscriptions · case 03
Merge outer completion discards queued inner subscriptions; the returned lifecycle plan violates the stated transition contract.
Merge outer completion discards queued inner subscriptions · case 04
Merge outer completion discards queued inner subscriptions; the returned lifecycle plan violates the stated transition contract.
Merge outer completion discards queued inner subscriptions · case 05
Merge outer completion discards queued inner subscriptions; the returned lifecycle plan violates the stated transition contract.
Delay-error merge cancels sibling inner subscriptions · case 01
Delay-error merge cancels sibling inner subscriptions; the returned lifecycle plan violates the stated transition contract.
Delay-error merge cancels sibling inner subscriptions · case 02
Delay-error merge cancels sibling inner subscriptions; the returned lifecycle plan violates the stated transition contract.
Delay-error merge cancels sibling inner subscriptions · case 03
Delay-error merge cancels sibling inner subscriptions; the returned lifecycle plan violates the stated transition contract.
Delay-error merge cancels sibling inner subscriptions · case 04
Delay-error merge cancels sibling inner subscriptions; the returned lifecycle plan violates the stated transition contract.
Delay-error merge cancels sibling inner subscriptions · case 05
Delay-error merge cancels sibling inner subscriptions; the returned lifecycle plan violates the stated transition contract.
Delayed merge errors lose the identity of the failing inner subscription · case 01
Delayed merge errors lose the identity of the failing inner subscription; the returned lifecycle plan violates the stated transition contract.
Delayed merge errors lose the identity of the failing inner subscription · case 02
Delayed merge errors lose the identity of the failing inner subscription; the returned lifecycle plan violates the stated transition contract.
Delayed merge errors lose the identity of the failing inner subscription · case 03
Delayed merge errors lose the identity of the failing inner subscription; the returned lifecycle plan violates the stated transition contract.
Delayed merge errors lose the identity of the failing inner subscription · case 04
Delayed merge errors lose the identity of the failing inner subscription; the returned lifecycle plan violates the stated transition contract.
Delayed merge errors lose the identity of the failing inner subscription · case 05
Delayed merge errors lose the identity of the failing inner subscription; the returned lifecycle plan violates the stated transition contract.
Merge reports delayed errors before all inner callbacks finish · case 01
Merge reports delayed errors before all inner callbacks finish; the returned lifecycle plan violates the stated transition contract.
Merge reports delayed errors before all inner callbacks finish · case 02
Merge reports delayed errors before all inner callbacks finish; the returned lifecycle plan violates the stated transition contract.
Merge reports delayed errors before all inner callbacks finish · case 03
Merge reports delayed errors before all inner callbacks finish; the returned lifecycle plan violates the stated transition contract.
Merge reports delayed errors before all inner callbacks finish · case 04
Merge reports delayed errors before all inner callbacks finish; the returned lifecycle plan violates the stated transition contract.
Merge reports delayed errors before all inner callbacks finish · case 05
Merge reports delayed errors before all inner callbacks finish; the returned lifecycle plan violates the stated transition contract.
Merge accepts completion from an untracked inner subscription · case 01
Merge accepts completion from an untracked inner subscription; the returned lifecycle plan violates the stated transition contract.
Merge accepts completion from an untracked inner subscription · case 02
Merge accepts completion from an untracked inner subscription; the returned lifecycle plan violates the stated transition contract.
Merge accepts completion from an untracked inner subscription · case 03
Merge accepts completion from an untracked inner subscription; the returned lifecycle plan violates the stated transition contract.
Merge accepts completion from an untracked inner subscription · case 04
Merge accepts completion from an untracked inner subscription; the returned lifecycle plan violates the stated transition contract.
Merge accepts completion from an untracked inner subscription · case 05
Merge accepts completion from an untracked inner subscription; the returned lifecycle plan violates the stated transition contract.
Merge completion releases a slot for an unknown inner · case 01
Merge completion releases a slot for an unknown inner; the returned lifecycle plan violates the stated transition contract.
Merge completion releases a slot for an unknown inner · case 02
Merge completion releases a slot for an unknown inner; the returned lifecycle plan violates the stated transition contract.
Merge completion releases a slot for an unknown inner · case 03
Merge completion releases a slot for an unknown inner; the returned lifecycle plan violates the stated transition contract.
Merge completion releases a slot for an unknown inner · case 04
Merge completion releases a slot for an unknown inner; the returned lifecycle plan violates the stated transition contract.
Merge completion releases a slot for an unknown inner · case 05
Merge completion releases a slot for an unknown inner; the returned lifecycle plan violates the stated transition contract.
Subscription installs its handle only after synchronous source callbacks · case 01
Subscription installs its handle only after synchronous source callbacks; the returned lifecycle plan violates the stated transition contract.
Subscription installs its handle only after synchronous source callbacks · case 02
Subscription installs its handle only after synchronous source callbacks; the returned lifecycle plan violates the stated transition contract.
Subscription installs its handle only after synchronous source callbacks · case 03
Subscription installs its handle only after synchronous source callbacks; the returned lifecycle plan violates the stated transition contract.
Subscription installs its handle only after synchronous source callbacks · case 04
Subscription installs its handle only after synchronous source callbacks; the returned lifecycle plan violates the stated transition contract.
Subscription installs its handle only after synchronous source callbacks · case 05
Subscription installs its handle only after synchronous source callbacks; the returned lifecycle plan violates the stated transition contract.
Cancellation queued before teardown return is misclassified as post-return · case 01
Cancellation queued before teardown return is misclassified as post-return; the returned lifecycle plan violates the stated transition contract.
Cancellation queued before teardown return is misclassified as post-return · case 02
Cancellation queued before teardown return is misclassified as post-return; the returned lifecycle plan violates the stated transition contract.
Cancellation queued before teardown return is misclassified as post-return · case 03
Cancellation queued before teardown return is misclassified as post-return; the returned lifecycle plan violates the stated transition contract.
Cancellation queued before teardown return is misclassified as post-return · case 04
Cancellation queued before teardown return is misclassified as post-return; the returned lifecycle plan violates the stated transition contract.
Cancellation queued before teardown return is misclassified as post-return · case 05
Cancellation queued before teardown return is misclassified as post-return; 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 ↗