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
Zip consumes a left value despite an empty right input · case 01
Zip consumes a left value despite an empty right input; the returned lifecycle plan violates the stated transition contract.
Zip consumes a left value despite an empty right input · case 02
Zip consumes a left value despite an empty right input; the returned lifecycle plan violates the stated transition contract.
Zip consumes a left value despite an empty right input · case 03
Zip consumes a left value despite an empty right input; the returned lifecycle plan violates the stated transition contract.
Zip consumes a left value despite an empty right input · case 04
Zip consumes a left value despite an empty right input; the returned lifecycle plan violates the stated transition contract.
Zip consumes a left value despite an empty right input · case 05
Zip consumes a left value despite an empty right input; the returned lifecycle plan violates the stated transition contract.
Zip clears all queued right values after one pair · case 01
Zip clears all queued right values after one pair; the returned lifecycle plan violates the stated transition contract.
Zip clears all queued right values after one pair · case 02
Zip clears all queued right values after one pair; the returned lifecycle plan violates the stated transition contract.
Zip clears all queued right values after one pair · case 03
Zip clears all queued right values after one pair; the returned lifecycle plan violates the stated transition contract.
Zip clears all queued right values after one pair · case 04
Zip clears all queued right values after one pair; the returned lifecycle plan violates the stated transition contract.
Zip clears all queued right values after one pair · case 05
Zip clears all queued right values after one pair; the returned lifecycle plan violates the stated transition contract.
Zip waits for both upstreams after one empty input completes · case 01
Zip waits for both upstreams after one empty input completes; the returned lifecycle plan violates the stated transition contract.
Zip waits for both upstreams after one empty input completes · case 02
Zip waits for both upstreams after one empty input completes; the returned lifecycle plan violates the stated transition contract.
Zip waits for both upstreams after one empty input completes · case 03
Zip waits for both upstreams after one empty input completes; the returned lifecycle plan violates the stated transition contract.
Zip waits for both upstreams after one empty input completes · case 04
Zip waits for both upstreams after one empty input completes; the returned lifecycle plan violates the stated transition contract.
Zip waits for both upstreams after one empty input completes · case 05
Zip waits for both upstreams after one empty input completes; the returned lifecycle plan violates the stated transition contract.
Zip spends two units of demand for one output pair · case 01
Zip spends two units of demand for one output pair; the returned lifecycle plan violates the stated transition contract.
Zip spends two units of demand for one output pair · case 02
Zip spends two units of demand for one output pair; the returned lifecycle plan violates the stated transition contract.
Zip spends two units of demand for one output pair · case 03
Zip spends two units of demand for one output pair; the returned lifecycle plan violates the stated transition contract.
Zip spends two units of demand for one output pair · case 04
Zip spends two units of demand for one output pair; the returned lifecycle plan violates the stated transition contract.
Zip spends two units of demand for one output pair · case 05
Zip spends two units of demand for one output pair; the returned lifecycle plan violates the stated transition contract.
Zip error disposes a borrowed left subscription · case 01
Zip error disposes a borrowed left subscription; the returned lifecycle plan violates the stated transition contract.
Zip error disposes a borrowed left subscription · case 02
Zip error disposes a borrowed left subscription; the returned lifecycle plan violates the stated transition contract.
Zip error disposes a borrowed left subscription · case 03
Zip error disposes a borrowed left subscription; the returned lifecycle plan violates the stated transition contract.
Zip error disposes a borrowed left subscription · case 04
Zip error disposes a borrowed left subscription; the returned lifecycle plan violates the stated transition contract.
Zip error disposes a borrowed left subscription · case 05
Zip error disposes a borrowed left subscription; the returned lifecycle plan violates the stated transition contract.
Zip cancellation leaks its owned right subscription · case 01
Zip cancellation leaks its owned right subscription; the returned lifecycle plan violates the stated transition contract.
Zip cancellation leaks its owned right subscription · case 02
Zip cancellation leaks its owned right subscription; the returned lifecycle plan violates the stated transition contract.
Zip cancellation leaks its owned right subscription · case 03
Zip cancellation leaks its owned right subscription; the returned lifecycle plan violates the stated transition contract.
Zip cancellation leaks its owned right subscription · case 04
Zip cancellation leaks its owned right subscription; the returned lifecycle plan violates the stated transition contract.
Zip cancellation leaks its owned right subscription · case 05
Zip cancellation leaks its owned right subscription; the returned lifecycle plan violates the stated transition contract.
A reentrant zipped callback removes the newly appended left value · case 01
A reentrant zipped callback removes the newly appended left value; the returned lifecycle plan violates the stated transition contract.
A reentrant zipped callback removes the newly appended left value · case 02
A reentrant zipped callback removes the newly appended left value; the returned lifecycle plan violates the stated transition contract.
A reentrant zipped callback removes the newly appended left value · case 03
A reentrant zipped callback removes the newly appended left value; the returned lifecycle plan violates the stated transition contract.
A reentrant zipped callback removes the newly appended left value · case 04
A reentrant zipped callback removes the newly appended left value; the returned lifecycle plan violates the stated transition contract.
A reentrant zipped callback removes the newly appended left value · case 05
A reentrant zipped callback removes the newly appended left value; the returned lifecycle plan violates the stated transition contract.
Zip error retains unmatched right payloads · case 01
Zip error retains unmatched right payloads; the returned lifecycle plan violates the stated transition contract.
Zip error retains unmatched right payloads · case 02
Zip error retains unmatched right payloads; the returned lifecycle plan violates the stated transition contract.
Zip error retains unmatched right payloads · case 03
Zip error retains unmatched right payloads; the returned lifecycle plan violates the stated transition contract.
Zip error retains unmatched right payloads · case 04
Zip error retains unmatched right payloads; the returned lifecycle plan violates the stated transition contract.
Zip error retains unmatched right payloads · case 05
Zip error retains unmatched right payloads; the returned lifecycle plan violates the stated transition contract.
Switch-to-latest preserves an old inner until it first emits · case 01
Switch-to-latest preserves an old inner until it first emits; the returned lifecycle plan violates the stated transition contract.
Switch-to-latest preserves an old inner until it first emits · case 02
Switch-to-latest preserves an old inner until it first emits; the returned lifecycle plan violates the stated transition contract.
Switch-to-latest preserves an old inner until it first emits · case 03
Switch-to-latest preserves an old inner until it first emits; the returned lifecycle plan violates the stated transition contract.
Switch-to-latest preserves an old inner until it first emits · case 04
Switch-to-latest preserves an old inner until it first emits; the returned lifecycle plan violates the stated transition contract.
Switch-to-latest preserves an old inner until it first emits · case 05
Switch-to-latest preserves an old inner until it first emits; the returned lifecycle plan violates the stated transition contract.
A new outer notification reuses the previous inner generation · case 01
A new outer notification reuses the previous inner generation; the returned lifecycle plan violates the stated transition contract.
A new outer notification reuses the previous inner generation · case 02
A new outer notification reuses the previous inner generation; the returned lifecycle plan violates the stated transition contract.
A new outer notification reuses the previous inner generation · case 03
A new outer notification reuses the previous inner generation; the returned lifecycle plan violates the stated transition contract.
A new outer notification reuses the previous inner generation · case 04
A new outer notification reuses the previous inner generation; the returned lifecycle plan violates the stated transition contract.
A new outer notification reuses the previous inner generation · case 05
A new outer notification reuses the previous inner generation; the returned lifecycle plan violates the stated transition contract.
A replaced inner callback is published after switching · case 01
A replaced inner callback is published after switching; the returned lifecycle plan violates the stated transition contract.
A replaced inner callback is published after switching · case 02
A replaced inner callback is published after switching; the returned lifecycle plan violates the stated transition contract.
A replaced inner callback is published after switching · case 03
A replaced inner callback is published after switching; the returned lifecycle plan violates the stated transition contract.
A replaced inner callback is published after switching · case 04
A replaced inner callback is published after switching; the returned lifecycle plan violates the stated transition contract.
A replaced inner callback is published after switching · case 05
A replaced inner callback is published after switching; the returned lifecycle plan violates the stated transition contract.
Stale inner records prevent completion of the current switched generation · case 01
Stale inner records prevent completion of the current switched generation; the returned lifecycle plan violates the stated transition contract.
Stale inner records prevent completion of the current switched generation · case 02
Stale inner records prevent completion of the current switched generation; the returned lifecycle plan violates the stated transition contract.
Stale inner records prevent completion of the current switched generation · case 03
Stale inner records prevent completion of the current switched generation; the returned lifecycle plan violates the stated transition contract.
Stale inner records prevent completion of the current switched generation · case 04
Stale inner records prevent completion of the current switched generation; the returned lifecycle plan violates the stated transition contract.
Stale inner records prevent completion of the current switched generation · case 05
Stale inner records prevent completion of the current switched generation; the returned lifecycle plan violates the stated transition contract.
Inner completion closes a still-live outer observer · case 01
Inner completion closes a still-live outer observer; the returned lifecycle plan violates the stated transition contract.
Inner completion closes a still-live outer observer · case 02
Inner completion closes a still-live outer observer; the returned lifecycle plan violates the stated transition contract.
Inner completion closes a still-live outer observer · case 03
Inner completion closes a still-live outer observer; the returned lifecycle plan violates the stated transition contract.
Inner completion closes a still-live outer observer · case 04
Inner completion closes a still-live outer observer; the returned lifecycle plan violates the stated transition contract.
Inner completion closes a still-live outer observer · case 05
Inner completion closes a still-live outer observer; the returned lifecycle plan violates the stated transition contract.
A switch operator starts new inners after outer completion · case 01
A switch operator starts new inners after outer completion; the returned lifecycle plan violates the stated transition contract.
A switch operator starts new inners after outer completion · case 02
A switch operator starts new inners after outer completion; the returned lifecycle plan violates the stated transition contract.
A switch operator starts new inners after outer completion · case 03
A switch operator starts new inners after outer completion; the returned lifecycle plan violates the stated transition contract.
A switch operator starts new inners after outer completion · case 04
A switch operator starts new inners after outer completion; the returned lifecycle plan violates the stated transition contract.
A switch operator starts new inners after outer completion · case 05
A switch operator starts new inners after outer completion; the returned lifecycle plan violates the stated transition contract.
Switch starts the new inner before disposing the old one · case 01
Switch starts the new inner before disposing the old one; the returned lifecycle plan violates the stated transition contract.
Switch starts the new inner before disposing the old one · case 02
Switch starts the new inner before disposing the old one; the returned lifecycle plan violates the stated transition contract.
Switch starts the new inner before disposing the old one · case 03
Switch starts the new inner before disposing the old one; the returned lifecycle plan violates the stated transition contract.
Switch starts the new inner before disposing the old one · case 04
Switch starts the new inner before disposing the old one; the returned lifecycle plan violates the stated transition contract.
Switch starts the new inner before disposing the old one · case 05
Switch starts the new inner before disposing the old one; the returned lifecycle plan violates the stated transition contract.
A stale inner completion clears the current inner active marker · case 01
A stale inner completion clears the current inner active marker; the returned lifecycle plan violates the stated transition contract.
A stale inner completion clears the current inner active marker · case 02
A stale inner completion clears the current inner active marker; the returned lifecycle plan violates the stated transition contract.
A stale inner completion clears the current inner active marker · case 03
A stale inner completion clears the current inner active marker; the returned lifecycle plan violates the stated transition contract.
A stale inner completion clears the current inner active marker · case 04
A stale inner completion clears the current inner active marker; the returned lifecycle plan violates the stated transition contract.
A stale inner completion clears the current inner active marker · case 05
A stale inner completion clears the current inner active marker; the returned lifecycle plan violates the stated transition contract.
Switch inner error leaves its outer subscription running · case 01
Switch inner error leaves its outer subscription running; the returned lifecycle plan violates the stated transition contract.
Switch inner error leaves its outer subscription running · case 02
Switch inner error leaves its outer subscription running; the returned lifecycle plan violates the stated transition contract.
Switch inner error leaves its outer subscription running · case 03
Switch inner error leaves its outer subscription running; the returned lifecycle plan violates the stated transition contract.
Switch inner error leaves its outer subscription running · case 04
Switch inner error leaves its outer subscription running; the returned lifecycle plan violates the stated transition contract.
Switch inner error leaves its outer subscription running · case 05
Switch inner error leaves its outer subscription running; the returned lifecycle plan violates the stated transition contract.
Switch uses falsey payload as evidence that an inner event is stale · case 01
Switch uses falsey payload as evidence that an inner event is stale; the returned lifecycle plan violates the stated transition contract.
Switch uses falsey payload as evidence that an inner event is stale · case 02
Switch uses falsey payload as evidence that an inner event is stale; the returned lifecycle plan violates the stated transition contract.
Switch uses falsey payload as evidence that an inner event is stale · case 03
Switch uses falsey payload as evidence that an inner event is stale; the returned lifecycle plan violates the stated transition contract.
Switch uses falsey payload as evidence that an inner event is stale · case 04
Switch uses falsey payload as evidence that an inner event is stale; the returned lifecycle plan violates the stated transition contract.
Switch uses falsey payload as evidence that an inner event is stale · case 05
Switch uses falsey payload as evidence that an inner event is stale; the returned lifecycle plan violates the stated transition contract.
Exhaust observer replaces an already active inner subscription · case 01
Exhaust observer replaces an already active inner subscription; the returned lifecycle plan violates the stated transition contract.
Exhaust observer replaces an already active inner subscription · case 02
Exhaust observer replaces an already active inner subscription; the returned lifecycle plan violates the stated transition contract.
Exhaust observer replaces an already active inner subscription · case 03
Exhaust observer replaces an already active inner subscription; the returned lifecycle plan violates the stated transition contract.
Exhaust observer replaces an already active inner subscription · case 04
Exhaust observer replaces an already active inner subscription; the returned lifecycle plan violates the stated transition contract.
Exhaust observer replaces an already active inner subscription · case 05
Exhaust observer replaces an already active inner subscription; the returned lifecycle plan violates the stated transition contract.
Exhaust counts every outer value as dropped, including accepted values · case 01
Exhaust counts every outer value as dropped, including accepted values; the returned lifecycle plan violates the stated transition contract.
Exhaust counts every outer value as dropped, including accepted values · case 02
Exhaust counts every outer value as dropped, including accepted values; the returned lifecycle plan violates the stated transition contract.
Exhaust counts every outer value as dropped, including accepted values · case 03
Exhaust counts every outer value as dropped, including accepted values; the returned lifecycle plan violates the stated transition contract.
Exhaust counts every outer value as dropped, including accepted values · case 04
Exhaust counts every outer value as dropped, including accepted values; the returned lifecycle plan violates the stated transition contract.
Exhaust counts every outer value as dropped, including accepted values · case 05
Exhaust counts every outer value as dropped, including accepted values; 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 ↗