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
Run a saga compensation action: Compensation reverses a forward action that never committed · case 01
The saga compensation operation is admitted even though compensation reverses a forward action that never committed.
Run a saga compensation action: Compensation reverses a forward action that never committed · case 02
The saga compensation operation is admitted even though compensation reverses a forward action that never committed.
Run a saga compensation action: Compensation reverses a forward action that never committed · case 03
The saga compensation operation is admitted even though compensation reverses a forward action that never committed.
Run a saga compensation action: Compensation reverses a forward action that never committed · case 04
The saga compensation operation is admitted even though compensation reverses a forward action that never committed.
Run a saga compensation action: Compensation reverses a forward action that never committed · case 05
The saga compensation operation is admitted even though compensation reverses a forward action that never committed.
Run a saga compensation action: An upstream step is compensated while dependents remain active · case 01
The saga compensation operation is admitted even though an upstream step is compensated while dependents remain active.
Run a saga compensation action: An upstream step is compensated while dependents remain active · case 02
The saga compensation operation is admitted even though an upstream step is compensated while dependents remain active.
Run a saga compensation action: An upstream step is compensated while dependents remain active · case 03
The saga compensation operation is admitted even though an upstream step is compensated while dependents remain active.
Run a saga compensation action: An upstream step is compensated while dependents remain active · case 04
The saga compensation operation is admitted even though an upstream step is compensated while dependents remain active.
Run a saga compensation action: An upstream step is compensated while dependents remain active · case 05
The saga compensation operation is admitted even though an upstream step is compensated while dependents remain active.
Run a saga compensation action: Retried compensation refunds the same side effect twice · case 01
The saga compensation operation is admitted even though retried compensation refunds the same side effect twice.
Run a saga compensation action: Retried compensation refunds the same side effect twice · case 02
The saga compensation operation is admitted even though retried compensation refunds the same side effect twice.
Run a saga compensation action: Retried compensation refunds the same side effect twice · case 03
The saga compensation operation is admitted even though retried compensation refunds the same side effect twice.
Run a saga compensation action: Retried compensation refunds the same side effect twice · case 04
The saga compensation operation is admitted even though retried compensation refunds the same side effect twice.
Run a saga compensation action: Retried compensation refunds the same side effect twice · case 05
The saga compensation operation is admitted even though retried compensation refunds the same side effect twice.
Run a saga compensation action: Compensation overwrites a resource changed by another workflow · case 01
The saga compensation operation is admitted even though compensation overwrites a resource changed by another workflow.
Run a saga compensation action: Compensation overwrites a resource changed by another workflow · case 02
The saga compensation operation is admitted even though compensation overwrites a resource changed by another workflow.
Run a saga compensation action: Compensation overwrites a resource changed by another workflow · case 03
The saga compensation operation is admitted even though compensation overwrites a resource changed by another workflow.
Run a saga compensation action: Compensation overwrites a resource changed by another workflow · case 04
The saga compensation operation is admitted even though compensation overwrites a resource changed by another workflow.
Run a saga compensation action: Compensation overwrites a resource changed by another workflow · case 05
The saga compensation operation is admitted even though compensation overwrites a resource changed by another workflow.
Run a saga compensation action: A committed step has no recorded inverse operation · case 01
The saga compensation operation is admitted even though a committed step has no recorded inverse operation.
Run a saga compensation action: A committed step has no recorded inverse operation · case 02
The saga compensation operation is admitted even though a committed step has no recorded inverse operation.
Run a saga compensation action: A committed step has no recorded inverse operation · case 03
The saga compensation operation is admitted even though a committed step has no recorded inverse operation.
Run a saga compensation action: A committed step has no recorded inverse operation · case 04
The saga compensation operation is admitted even though a committed step has no recorded inverse operation.
Run a saga compensation action: A committed step has no recorded inverse operation · case 05
The saga compensation operation is admitted even though a committed step has no recorded inverse operation.
Replay durable workflow history: Replayed code emits a different command kind than history · case 01
The workflow replay operation is admitted even though replayed code emits a different command kind than history.
Replay durable workflow history: Replayed code emits a different command kind than history · case 02
The workflow replay operation is admitted even though replayed code emits a different command kind than history.
Replay durable workflow history: Replayed code emits a different command kind than history · case 03
The workflow replay operation is admitted even though replayed code emits a different command kind than history.
Replay durable workflow history: Replayed code emits a different command kind than history · case 04
The workflow replay operation is admitted even though replayed code emits a different command kind than history.
Replay durable workflow history: Replayed code emits a different command kind than history · case 05
The workflow replay operation is admitted even though replayed code emits a different command kind than history.
Replay durable workflow history: Replayed commands reverse the recorded causal order · case 01
The workflow replay operation is admitted even though replayed commands reverse the recorded causal order.
Replay durable workflow history: Replayed commands reverse the recorded causal order · case 02
The workflow replay operation is admitted even though replayed commands reverse the recorded causal order.
Replay durable workflow history: Replayed commands reverse the recorded causal order · case 03
The workflow replay operation is admitted even though replayed commands reverse the recorded causal order.
Replay durable workflow history: Replayed commands reverse the recorded causal order · case 04
The workflow replay operation is admitted even though replayed commands reverse the recorded causal order.
Replay durable workflow history: Replayed commands reverse the recorded causal order · case 05
The workflow replay operation is admitted even though replayed commands reverse the recorded causal order.
Replay durable workflow history: Code executes a branch not selected by the recorded marker · case 01
The workflow replay operation is admitted even though code executes a branch not selected by the recorded marker.
Replay durable workflow history: Code executes a branch not selected by the recorded marker · case 02
The workflow replay operation is admitted even though code executes a branch not selected by the recorded marker.
Replay durable workflow history: Code executes a branch not selected by the recorded marker · case 03
The workflow replay operation is admitted even though code executes a branch not selected by the recorded marker.
Replay durable workflow history: Code executes a branch not selected by the recorded marker · case 04
The workflow replay operation is admitted even though code executes a branch not selected by the recorded marker.
Replay durable workflow history: Code executes a branch not selected by the recorded marker · case 05
The workflow replay operation is admitted even though code executes a branch not selected by the recorded marker.
Replay durable workflow history: Replay consumes an unrecorded nondeterministic random value · case 01
The workflow replay operation is admitted even though replay consumes an unrecorded nondeterministic random value.
Replay durable workflow history: Replay consumes an unrecorded nondeterministic random value · case 02
The workflow replay operation is admitted even though replay consumes an unrecorded nondeterministic random value.
Replay durable workflow history: Replay consumes an unrecorded nondeterministic random value · case 03
The workflow replay operation is admitted even though replay consumes an unrecorded nondeterministic random value.
Replay durable workflow history: Replay consumes an unrecorded nondeterministic random value · case 04
The workflow replay operation is admitted even though replay consumes an unrecorded nondeterministic random value.
Replay durable workflow history: Replay consumes an unrecorded nondeterministic random value · case 05
The workflow replay operation is admitted even though replay consumes an unrecorded nondeterministic random value.
Replay durable workflow history: Replay silently skips a missing history event · case 01
The workflow replay operation is admitted even though replay silently skips a missing history event.
Replay durable workflow history: Replay silently skips a missing history event · case 02
The workflow replay operation is admitted even though replay silently skips a missing history event.
Replay durable workflow history: Replay silently skips a missing history event · case 03
The workflow replay operation is admitted even though replay silently skips a missing history event.
Replay durable workflow history: Replay silently skips a missing history event · case 04
The workflow replay operation is admitted even though replay silently skips a missing history event.
Replay durable workflow history: Replay silently skips a missing history event · case 05
The workflow replay operation is admitted even though replay silently skips a missing history event.
Continue a workflow as a new run: Continuation loses unresolved activity results · case 01
The workflow continue operation is admitted even though continuation loses unresolved activity results.
Continue a workflow as a new run: Continuation loses unresolved activity results · case 02
The workflow continue operation is admitted even though continuation loses unresolved activity results.
Continue a workflow as a new run: Continuation loses unresolved activity results · case 03
The workflow continue operation is admitted even though continuation loses unresolved activity results.
Continue a workflow as a new run: Continuation loses unresolved activity results · case 04
The workflow continue operation is admitted even though continuation loses unresolved activity results.
Continue a workflow as a new run: Continuation loses unresolved activity results · case 05
The workflow continue operation is admitted even though continuation loses unresolved activity results.
Continue a workflow as a new run: Continuation discards accepted but unconsumed signals · case 01
The workflow continue operation is admitted even though continuation discards accepted but unconsumed signals.
Continue a workflow as a new run: Continuation discards accepted but unconsumed signals · case 02
The workflow continue operation is admitted even though continuation discards accepted but unconsumed signals.
Continue a workflow as a new run: Continuation discards accepted but unconsumed signals · case 03
The workflow continue operation is admitted even though continuation discards accepted but unconsumed signals.
Continue a workflow as a new run: Continuation discards accepted but unconsumed signals · case 04
The workflow continue operation is admitted even though continuation discards accepted but unconsumed signals.
Continue a workflow as a new run: Continuation discards accepted but unconsumed signals · case 05
The workflow continue operation is admitted even though continuation discards accepted but unconsumed signals.
Continue a workflow as a new run: Continuation stores a runtime handle instead of durable state · case 01
The workflow continue operation is admitted even though continuation stores a runtime handle instead of durable state.
Continue a workflow as a new run: Continuation stores a runtime handle instead of durable state · case 02
The workflow continue operation is admitted even though continuation stores a runtime handle instead of durable state.
Continue a workflow as a new run: Continuation stores a runtime handle instead of durable state · case 03
The workflow continue operation is admitted even though continuation stores a runtime handle instead of durable state.
Continue a workflow as a new run: Continuation stores a runtime handle instead of durable state · case 04
The workflow continue operation is admitted even though continuation stores a runtime handle instead of durable state.
Continue a workflow as a new run: Continuation stores a runtime handle instead of durable state · case 05
The workflow continue operation is admitted even though continuation stores a runtime handle instead of durable state.
Continue a workflow as a new run: Continuation reuses the predecessor run identifier · case 01
The workflow continue operation is admitted even though continuation reuses the predecessor run identifier.
Continue a workflow as a new run: Continuation reuses the predecessor run identifier · case 02
The workflow continue operation is admitted even though continuation reuses the predecessor run identifier.
Continue a workflow as a new run: Continuation reuses the predecessor run identifier · case 03
The workflow continue operation is admitted even though continuation reuses the predecessor run identifier.
Continue a workflow as a new run: Continuation reuses the predecessor run identifier · case 04
The workflow continue operation is admitted even though continuation reuses the predecessor run identifier.
Continue a workflow as a new run: Continuation reuses the predecessor run identifier · case 05
The workflow continue operation is admitted even though continuation reuses the predecessor run identifier.
Continue a workflow as a new run: Both predecessor and successor remain runnable · case 01
The workflow continue operation is admitted even though both predecessor and successor remain runnable.
Continue a workflow as a new run: Both predecessor and successor remain runnable · case 02
The workflow continue operation is admitted even though both predecessor and successor remain runnable.
Continue a workflow as a new run: Both predecessor and successor remain runnable · case 03
The workflow continue operation is admitted even though both predecessor and successor remain runnable.
Continue a workflow as a new run: Both predecessor and successor remain runnable · case 04
The workflow continue operation is admitted even though both predecessor and successor remain runnable.
Continue a workflow as a new run: Both predecessor and successor remain runnable · case 05
The workflow continue operation is admitted even though both predecessor and successor remain runnable.
Complete workflow cancellation: Cancellation leaves dependent child workflows executing · case 01
The workflow cancel operation is admitted even though cancellation leaves dependent child workflows executing.
Complete workflow cancellation: Cancellation leaves dependent child workflows executing · case 02
The workflow cancel operation is admitted even though cancellation leaves dependent child workflows executing.
Complete workflow cancellation: Cancellation leaves dependent child workflows executing · case 03
The workflow cancel operation is admitted even though cancellation leaves dependent child workflows executing.
Complete workflow cancellation: Cancellation leaves dependent child workflows executing · case 04
The workflow cancel operation is admitted even though cancellation leaves dependent child workflows executing.
Complete workflow cancellation: Cancellation leaves dependent child workflows executing · case 05
The workflow cancel operation is admitted even though cancellation leaves dependent child workflows executing.
Complete workflow cancellation: Cancellation completes before required activity cleanup · case 01
The workflow cancel operation is admitted even though cancellation completes before required activity cleanup.
Complete workflow cancellation: Cancellation completes before required activity cleanup · case 02
The workflow cancel operation is admitted even though cancellation completes before required activity cleanup.
Complete workflow cancellation: Cancellation completes before required activity cleanup · case 03
The workflow cancel operation is admitted even though cancellation completes before required activity cleanup.
Complete workflow cancellation: Cancellation completes before required activity cleanup · case 04
The workflow cancel operation is admitted even though cancellation completes before required activity cleanup.
Complete workflow cancellation: Cancellation completes before required activity cleanup · case 05
The workflow cancel operation is admitted even though cancellation completes before required activity cleanup.
Complete workflow cancellation: Cancellation rewrites an already successful terminal result · case 01
The workflow cancel operation is admitted even though cancellation rewrites an already successful terminal result.
Complete workflow cancellation: Cancellation rewrites an already successful terminal result · case 02
The workflow cancel operation is admitted even though cancellation rewrites an already successful terminal result.
Complete workflow cancellation: Cancellation rewrites an already successful terminal result · case 03
The workflow cancel operation is admitted even though cancellation rewrites an already successful terminal result.
Complete workflow cancellation: Cancellation rewrites an already successful terminal result · case 04
The workflow cancel operation is admitted even though cancellation rewrites an already successful terminal result.
Complete workflow cancellation: Cancellation rewrites an already successful terminal result · case 05
The workflow cancel operation is admitted even though cancellation rewrites an already successful terminal result.
Complete workflow cancellation: An old cancellation request terminates a newer run · case 01
The workflow cancel operation is admitted even though an old cancellation request terminates a newer run.
Complete workflow cancellation: An old cancellation request terminates a newer run · case 02
The workflow cancel operation is admitted even though an old cancellation request terminates a newer run.
Complete workflow cancellation: An old cancellation request terminates a newer run · case 03
The workflow cancel operation is admitted even though an old cancellation request terminates a newer run.
Complete workflow cancellation: An old cancellation request terminates a newer run · case 04
The workflow cancel operation is admitted even though an old cancellation request terminates a newer run.
Complete workflow cancellation: An old cancellation request terminates a newer run · case 05
The workflow cancel operation is admitted even though an old cancellation request terminates a newer run.
Complete workflow cancellation: Cancellation waits beyond its explicit cleanup deadline · case 01
The workflow cancel operation is admitted even though cancellation waits beyond its explicit cleanup deadline.
Complete workflow cancellation: Cancellation waits beyond its explicit cleanup deadline · case 02
The workflow cancel operation is admitted even though cancellation waits beyond its explicit cleanup deadline.
Complete workflow cancellation: Cancellation waits beyond its explicit cleanup deadline · case 03
The workflow cancel operation is admitted even though cancellation waits beyond its explicit cleanup deadline.
Complete workflow cancellation: Cancellation waits beyond its explicit cleanup deadline · case 04
The workflow cancel operation is admitted even though cancellation waits beyond its explicit cleanup deadline.
Complete workflow cancellation: Cancellation waits beyond its explicit cleanup deadline · case 05
The workflow cancel operation is admitted even though cancellation waits beyond its explicit cleanup deadline.
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 ↗