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
A distinct reset leaves the initialized marker set · case 01
A distinct reset leaves the initialized marker set; the returned lifecycle plan violates the stated transition contract.
A distinct reset leaves the initialized marker set · case 02
A distinct reset leaves the initialized marker set; the returned lifecycle plan violates the stated transition contract.
A distinct reset leaves the initialized marker set · case 03
A distinct reset leaves the initialized marker set; the returned lifecycle plan violates the stated transition contract.
A distinct reset leaves the initialized marker set · case 04
A distinct reset leaves the initialized marker set; the returned lifecycle plan violates the stated transition contract.
A distinct reset leaves the initialized marker set · case 05
A distinct reset leaves the initialized marker set; the returned lifecycle plan violates the stated transition contract.
Failed distinct comparison poisons the previous accepted key · case 01
Failed distinct comparison poisons the previous accepted key; the returned lifecycle plan violates the stated transition contract.
Failed distinct comparison poisons the previous accepted key · case 02
Failed distinct comparison poisons the previous accepted key; the returned lifecycle plan violates the stated transition contract.
Failed distinct comparison poisons the previous accepted key · case 03
Failed distinct comparison poisons the previous accepted key; the returned lifecycle plan violates the stated transition contract.
Failed distinct comparison poisons the previous accepted key · case 04
Failed distinct comparison poisons the previous accepted key; the returned lifecycle plan violates the stated transition contract.
Failed distinct comparison poisons the previous accepted key · case 05
Failed distinct comparison poisons the previous accepted key; the returned lifecycle plan violates the stated transition contract.
Key-selector side effects mutate the previous-key comparator snapshot · case 01
Key-selector side effects mutate the previous-key comparator snapshot; the returned lifecycle plan violates the stated transition contract.
Key-selector side effects mutate the previous-key comparator snapshot · case 02
Key-selector side effects mutate the previous-key comparator snapshot; the returned lifecycle plan violates the stated transition contract.
Key-selector side effects mutate the previous-key comparator snapshot · case 03
Key-selector side effects mutate the previous-key comparator snapshot; the returned lifecycle plan violates the stated transition contract.
Key-selector side effects mutate the previous-key comparator snapshot · case 04
Key-selector side effects mutate the previous-key comparator snapshot; the returned lifecycle plan violates the stated transition contract.
Key-selector side effects mutate the previous-key comparator snapshot · case 05
Key-selector side effects mutate the previous-key comparator snapshot; the returned lifecycle plan violates the stated transition contract.
Distinct invokes equality before computing the incoming key · case 01
Distinct invokes equality before computing the incoming key; the returned lifecycle plan violates the stated transition contract.
Distinct invokes equality before computing the incoming key · case 02
Distinct invokes equality before computing the incoming key; the returned lifecycle plan violates the stated transition contract.
Distinct invokes equality before computing the incoming key · case 03
Distinct invokes equality before computing the incoming key; the returned lifecycle plan violates the stated transition contract.
Distinct invokes equality before computing the incoming key · case 04
Distinct invokes equality before computing the incoming key; the returned lifecycle plan violates the stated transition contract.
Distinct invokes equality before computing the incoming key · case 05
Distinct invokes equality before computing the incoming key; the returned lifecycle plan violates the stated transition contract.
Key projection strips metadata from distinct observer output records · case 01
Key projection strips metadata from distinct observer output records; the returned lifecycle plan violates the stated transition contract.
Key projection strips metadata from distinct observer output records · case 02
Key projection strips metadata from distinct observer output records; the returned lifecycle plan violates the stated transition contract.
Key projection strips metadata from distinct observer output records · case 03
Key projection strips metadata from distinct observer output records; the returned lifecycle plan violates the stated transition contract.
Key projection strips metadata from distinct observer output records · case 04
Key projection strips metadata from distinct observer output records; the returned lifecycle plan violates the stated transition contract.
Key projection strips metadata from distinct observer output records · case 05
Key projection strips metadata from distinct observer output records; the returned lifecycle plan violates the stated transition contract.
Suppressed duplicate notification consumes downstream demand · case 01
Suppressed duplicate notification consumes downstream demand; the returned lifecycle plan violates the stated transition contract.
Suppressed duplicate notification consumes downstream demand · case 02
Suppressed duplicate notification consumes downstream demand; the returned lifecycle plan violates the stated transition contract.
Suppressed duplicate notification consumes downstream demand · case 03
Suppressed duplicate notification consumes downstream demand; the returned lifecycle plan violates the stated transition contract.
Suppressed duplicate notification consumes downstream demand · case 04
Suppressed duplicate notification consumes downstream demand; the returned lifecycle plan violates the stated transition contract.
Suppressed duplicate notification consumes downstream demand · case 05
Suppressed duplicate notification consumes downstream demand; the returned lifecycle plan violates the stated transition contract.
Default distinct equality conflates an absent selected key with explicit None · case 01
Default distinct equality conflates an absent selected key with explicit None; the returned lifecycle plan violates the stated transition contract.
Default distinct equality conflates an absent selected key with explicit None · case 02
Default distinct equality conflates an absent selected key with explicit None; the returned lifecycle plan violates the stated transition contract.
Default distinct equality conflates an absent selected key with explicit None · case 03
Default distinct equality conflates an absent selected key with explicit None; the returned lifecycle plan violates the stated transition contract.
Default distinct equality conflates an absent selected key with explicit None · case 04
Default distinct equality conflates an absent selected key with explicit None; the returned lifecycle plan violates the stated transition contract.
Default distinct equality conflates an absent selected key with explicit None · case 05
Default distinct equality conflates an absent selected key with explicit None; the returned lifecycle plan violates the stated transition contract.
A reentrant distinct reset invalidates key state before comparison returns · case 01
A reentrant distinct reset invalidates key state before comparison returns; the returned lifecycle plan violates the stated transition contract.
A reentrant distinct reset invalidates key state before comparison returns · case 02
A reentrant distinct reset invalidates key state before comparison returns; the returned lifecycle plan violates the stated transition contract.
A reentrant distinct reset invalidates key state before comparison returns · case 03
A reentrant distinct reset invalidates key state before comparison returns; the returned lifecycle plan violates the stated transition contract.
A reentrant distinct reset invalidates key state before comparison returns · case 04
A reentrant distinct reset invalidates key state before comparison returns; the returned lifecycle plan violates the stated transition contract.
A reentrant distinct reset invalidates key state before comparison returns · case 05
A reentrant distinct reset invalidates key state before comparison returns; the returned lifecycle plan violates the stated transition contract.
Combine-latest treats valid None input as unseen · case 01
Combine-latest treats valid None input as unseen; the returned lifecycle plan violates the stated transition contract.
Combine-latest treats valid None input as unseen · case 02
Combine-latest treats valid None input as unseen; the returned lifecycle plan violates the stated transition contract.
Combine-latest treats valid None input as unseen · case 03
Combine-latest treats valid None input as unseen; the returned lifecycle plan violates the stated transition contract.
Combine-latest treats valid None input as unseen · case 04
Combine-latest treats valid None input as unseen; the returned lifecycle plan violates the stated transition contract.
Combine-latest treats valid None input as unseen · case 05
Combine-latest treats valid None input as unseen; the returned lifecycle plan violates the stated transition contract.
Right input notifications overwrite combine-latest left state · case 01
Right input notifications overwrite combine-latest left state; the returned lifecycle plan violates the stated transition contract.
Right input notifications overwrite combine-latest left state · case 02
Right input notifications overwrite combine-latest left state; the returned lifecycle plan violates the stated transition contract.
Right input notifications overwrite combine-latest left state · case 03
Right input notifications overwrite combine-latest left state; the returned lifecycle plan violates the stated transition contract.
Right input notifications overwrite combine-latest left state · case 04
Right input notifications overwrite combine-latest left state; the returned lifecycle plan violates the stated transition contract.
Right input notifications overwrite combine-latest left state · case 05
Right input notifications overwrite combine-latest left state; the returned lifecycle plan violates the stated transition contract.
Left input notifications overwrite combine-latest right state · case 01
Left input notifications overwrite combine-latest right state; the returned lifecycle plan violates the stated transition contract.
Left input notifications overwrite combine-latest right state · case 02
Left input notifications overwrite combine-latest right state; the returned lifecycle plan violates the stated transition contract.
Left input notifications overwrite combine-latest right state · case 03
Left input notifications overwrite combine-latest right state; the returned lifecycle plan violates the stated transition contract.
Left input notifications overwrite combine-latest right state · case 04
Left input notifications overwrite combine-latest right state; the returned lifecycle plan violates the stated transition contract.
Left input notifications overwrite combine-latest right state · case 05
Left input notifications overwrite combine-latest right state; the returned lifecycle plan violates the stated transition contract.
Combine-latest clears a seen marker when the other source updates · case 01
Combine-latest clears a seen marker when the other source updates; the returned lifecycle plan violates the stated transition contract.
Combine-latest clears a seen marker when the other source updates · case 02
Combine-latest clears a seen marker when the other source updates; the returned lifecycle plan violates the stated transition contract.
Combine-latest clears a seen marker when the other source updates · case 03
Combine-latest clears a seen marker when the other source updates; the returned lifecycle plan violates the stated transition contract.
Combine-latest clears a seen marker when the other source updates · case 04
Combine-latest clears a seen marker when the other source updates; the returned lifecycle plan violates the stated transition contract.
Combine-latest clears a seen marker when the other source updates · case 05
Combine-latest clears a seen marker when the other source updates; the returned lifecycle plan violates the stated transition contract.
Combine-latest marks both inputs seen after one notification · case 01
Combine-latest marks both inputs seen after one notification; the returned lifecycle plan violates the stated transition contract.
Combine-latest marks both inputs seen after one notification · case 02
Combine-latest marks both inputs seen after one notification; the returned lifecycle plan violates the stated transition contract.
Combine-latest marks both inputs seen after one notification · case 03
Combine-latest marks both inputs seen after one notification; the returned lifecycle plan violates the stated transition contract.
Combine-latest marks both inputs seen after one notification · case 04
Combine-latest marks both inputs seen after one notification; the returned lifecycle plan violates the stated transition contract.
Combine-latest marks both inputs seen after one notification · case 05
Combine-latest marks both inputs seen after one notification; the returned lifecycle plan violates the stated transition contract.
An empty completed input leaves combine-latest waiting forever · case 01
An empty completed input leaves combine-latest waiting forever; the returned lifecycle plan violates the stated transition contract.
An empty completed input leaves combine-latest waiting forever · case 02
An empty completed input leaves combine-latest waiting forever; the returned lifecycle plan violates the stated transition contract.
An empty completed input leaves combine-latest waiting forever · case 03
An empty completed input leaves combine-latest waiting forever; the returned lifecycle plan violates the stated transition contract.
An empty completed input leaves combine-latest waiting forever · case 04
An empty completed input leaves combine-latest waiting forever; the returned lifecycle plan violates the stated transition contract.
An empty completed input leaves combine-latest waiting forever · case 05
An empty completed input leaves combine-latest waiting forever; the returned lifecycle plan violates the stated transition contract.
Combine-latest completes when only a valued input completes · case 01
Combine-latest completes when only a valued input completes; the returned lifecycle plan violates the stated transition contract.
Combine-latest completes when only a valued input completes · case 02
Combine-latest completes when only a valued input completes; the returned lifecycle plan violates the stated transition contract.
Combine-latest completes when only a valued input completes · case 03
Combine-latest completes when only a valued input completes; the returned lifecycle plan violates the stated transition contract.
Combine-latest completes when only a valued input completes · case 04
Combine-latest completes when only a valued input completes; the returned lifecycle plan violates the stated transition contract.
Combine-latest completes when only a valued input completes · case 05
Combine-latest completes when only a valued input completes; the returned lifecycle plan violates the stated transition contract.
Combine-latest swaps source positions in emitted pairs · case 01
Combine-latest swaps source positions in emitted pairs; the returned lifecycle plan violates the stated transition contract.
Combine-latest swaps source positions in emitted pairs · case 02
Combine-latest swaps source positions in emitted pairs; the returned lifecycle plan violates the stated transition contract.
Combine-latest swaps source positions in emitted pairs · case 03
Combine-latest swaps source positions in emitted pairs; the returned lifecycle plan violates the stated transition contract.
Combine-latest swaps source positions in emitted pairs · case 04
Combine-latest swaps source positions in emitted pairs; the returned lifecycle plan violates the stated transition contract.
Combine-latest swaps source positions in emitted pairs · case 05
Combine-latest swaps source positions in emitted pairs; the returned lifecycle plan violates the stated transition contract.
One source error fails to cancel its combine-latest sibling · case 01
One source error fails to cancel its combine-latest sibling; the returned lifecycle plan violates the stated transition contract.
One source error fails to cancel its combine-latest sibling · case 02
One source error fails to cancel its combine-latest sibling; the returned lifecycle plan violates the stated transition contract.
One source error fails to cancel its combine-latest sibling · case 03
One source error fails to cancel its combine-latest sibling; the returned lifecycle plan violates the stated transition contract.
One source error fails to cancel its combine-latest sibling · case 04
One source error fails to cancel its combine-latest sibling; the returned lifecycle plan violates the stated transition contract.
One source error fails to cancel its combine-latest sibling · case 05
One source error fails to cancel its combine-latest sibling; the returned lifecycle plan violates the stated transition contract.
Completion discards the last value of a valued combine input · case 01
Completion discards the last value of a valued combine input; the returned lifecycle plan violates the stated transition contract.
Completion discards the last value of a valued combine input · case 02
Completion discards the last value of a valued combine input; the returned lifecycle plan violates the stated transition contract.
Completion discards the last value of a valued combine input · case 03
Completion discards the last value of a valued combine input; the returned lifecycle plan violates the stated transition contract.
Completion discards the last value of a valued combine input · case 04
Completion discards the last value of a valued combine input; the returned lifecycle plan violates the stated transition contract.
Completion discards the last value of a valued combine input · case 05
Completion discards the last value of a valued combine input; the returned lifecycle plan violates the stated transition contract.
Zip emits an unmatched value when either input buffer is ready · case 01
Zip emits an unmatched value when either input buffer is ready; the returned lifecycle plan violates the stated transition contract.
Zip emits an unmatched value when either input buffer is ready · case 02
Zip emits an unmatched value when either input buffer is ready; the returned lifecycle plan violates the stated transition contract.
Zip emits an unmatched value when either input buffer is ready · case 03
Zip emits an unmatched value when either input buffer is ready; the returned lifecycle plan violates the stated transition contract.
Zip emits an unmatched value when either input buffer is ready · case 04
Zip emits an unmatched value when either input buffer is ready; the returned lifecycle plan violates the stated transition contract.
Zip emits an unmatched value when either input buffer is ready · case 05
Zip emits an unmatched value when either input buffer is ready; the returned lifecycle plan violates the stated transition contract.
Zip pairs the oldest left with the newest right event · case 01
Zip pairs the oldest left with the newest right event; the returned lifecycle plan violates the stated transition contract.
Zip pairs the oldest left with the newest right event · case 02
Zip pairs the oldest left with the newest right event; the returned lifecycle plan violates the stated transition contract.
Zip pairs the oldest left with the newest right event · case 03
Zip pairs the oldest left with the newest right event; the returned lifecycle plan violates the stated transition contract.
Zip pairs the oldest left with the newest right event · case 04
Zip pairs the oldest left with the newest right event; the returned lifecycle plan violates the stated transition contract.
Zip pairs the oldest left with the newest right event · case 05
Zip pairs the oldest left with the newest right event; 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 ↗