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
Forwarded observer provenance selects the latest proxy as origin · case 01
Forwarded observer provenance selects the latest proxy as origin; the returned lifecycle plan violates the stated transition contract.
Forwarded observer provenance selects the latest proxy as origin · case 02
Forwarded observer provenance selects the latest proxy as origin; the returned lifecycle plan violates the stated transition contract.
Forwarded observer provenance selects the latest proxy as origin · case 03
Forwarded observer provenance selects the latest proxy as origin; the returned lifecycle plan violates the stated transition contract.
Forwarded observer provenance selects the latest proxy as origin · case 04
Forwarded observer provenance selects the latest proxy as origin; the returned lifecycle plan violates the stated transition contract.
Forwarded observer provenance selects the latest proxy as origin · case 05
Forwarded observer provenance selects the latest proxy as origin; the returned lifecycle plan violates the stated transition contract.
Explicit empty correlation binding fails to shadow its ancestor · case 01
Explicit empty correlation binding fails to shadow its ancestor; the returned lifecycle plan violates the stated transition contract.
Explicit empty correlation binding fails to shadow its ancestor · case 02
Explicit empty correlation binding fails to shadow its ancestor; the returned lifecycle plan violates the stated transition contract.
Explicit empty correlation binding fails to shadow its ancestor · case 03
Explicit empty correlation binding fails to shadow its ancestor; the returned lifecycle plan violates the stated transition contract.
Explicit empty correlation binding fails to shadow its ancestor · case 04
Explicit empty correlation binding fails to shadow its ancestor; the returned lifecycle plan violates the stated transition contract.
Explicit empty correlation binding fails to shadow its ancestor · case 05
Explicit empty correlation binding fails to shadow its ancestor; the returned lifecycle plan violates the stated transition contract.
Observer sequence rollover fails to advance its envelope epoch · case 01
Observer sequence rollover fails to advance its envelope epoch; the returned lifecycle plan violates the stated transition contract.
Observer sequence rollover fails to advance its envelope epoch · case 02
Observer sequence rollover fails to advance its envelope epoch; the returned lifecycle plan violates the stated transition contract.
Observer sequence rollover fails to advance its envelope epoch · case 03
Observer sequence rollover fails to advance its envelope epoch; the returned lifecycle plan violates the stated transition contract.
Observer sequence rollover fails to advance its envelope epoch · case 04
Observer sequence rollover fails to advance its envelope epoch; the returned lifecycle plan violates the stated transition contract.
Observer sequence rollover fails to advance its envelope epoch · case 05
Observer sequence rollover fails to advance its envelope epoch; the returned lifecycle plan violates the stated transition contract.
Disabled callback slots leak into public callback invocation positions · case 01
Disabled callback slots leak into public callback invocation positions; the returned lifecycle plan violates the stated transition contract.
Disabled callback slots leak into public callback invocation positions · case 02
Disabled callback slots leak into public callback invocation positions; the returned lifecycle plan violates the stated transition contract.
Disabled callback slots leak into public callback invocation positions · case 03
Disabled callback slots leak into public callback invocation positions; the returned lifecycle plan violates the stated transition contract.
Disabled callback slots leak into public callback invocation positions · case 04
Disabled callback slots leak into public callback invocation positions; the returned lifecycle plan violates the stated transition contract.
Disabled callback slots leak into public callback invocation positions · case 05
Disabled callback slots leak into public callback invocation positions; the returned lifecycle plan violates the stated transition contract.
Zero event timestamp is replaced by delivery time · case 01
Zero event timestamp is replaced by delivery time; the returned lifecycle plan violates the stated transition contract.
Zero event timestamp is replaced by delivery time · case 02
Zero event timestamp is replaced by delivery time; the returned lifecycle plan violates the stated transition contract.
Zero event timestamp is replaced by delivery time · case 03
Zero event timestamp is replaced by delivery time; the returned lifecycle plan violates the stated transition contract.
Zero event timestamp is replaced by delivery time · case 04
Zero event timestamp is replaced by delivery time; the returned lifecycle plan violates the stated transition contract.
Zero event timestamp is replaced by delivery time · case 05
Zero event timestamp is replaced by delivery time; the returned lifecycle plan violates the stated transition contract.
Redaction removes the whole envelope instead of its secret field · case 01
Redaction removes the whole envelope instead of its secret field; the returned lifecycle plan violates the stated transition contract.
Redaction removes the whole envelope instead of its secret field · case 02
Redaction removes the whole envelope instead of its secret field; the returned lifecycle plan violates the stated transition contract.
Redaction removes the whole envelope instead of its secret field · case 03
Redaction removes the whole envelope instead of its secret field; the returned lifecycle plan violates the stated transition contract.
Redaction removes the whole envelope instead of its secret field · case 04
Redaction removes the whole envelope instead of its secret field; the returned lifecycle plan violates the stated transition contract.
Redaction removes the whole envelope instead of its secret field · case 05
Redaction removes the whole envelope instead of its secret field; the returned lifecycle plan violates the stated transition contract.
A forwarded event reads cancellation from another dispatch frame · case 01
A forwarded event reads cancellation from another dispatch frame; the returned lifecycle plan violates the stated transition contract.
A forwarded event reads cancellation from another dispatch frame · case 02
A forwarded event reads cancellation from another dispatch frame; the returned lifecycle plan violates the stated transition contract.
A forwarded event reads cancellation from another dispatch frame · case 03
A forwarded event reads cancellation from another dispatch frame; the returned lifecycle plan violates the stated transition contract.
A forwarded event reads cancellation from another dispatch frame · case 04
A forwarded event reads cancellation from another dispatch frame; the returned lifecycle plan violates the stated transition contract.
A forwarded event reads cancellation from another dispatch frame · case 05
A forwarded event reads cancellation from another dispatch frame; the returned lifecycle plan violates the stated transition contract.
Envelope accounting includes redacted private header entries · case 01
Envelope accounting includes redacted private header entries; the returned lifecycle plan violates the stated transition contract.
Envelope accounting includes redacted private header entries · case 02
Envelope accounting includes redacted private header entries; the returned lifecycle plan violates the stated transition contract.
Envelope accounting includes redacted private header entries · case 03
Envelope accounting includes redacted private header entries; the returned lifecycle plan violates the stated transition contract.
Envelope accounting includes redacted private header entries · case 04
Envelope accounting includes redacted private header entries; the returned lifecycle plan violates the stated transition contract.
Envelope accounting includes redacted private header entries · case 05
Envelope accounting includes redacted private header entries; the returned lifecycle plan violates the stated transition contract.
Nested observer pause is stored as a boolean · case 01
Nested observer pause is stored as a boolean; the returned lifecycle plan violates the stated transition contract.
Nested observer pause is stored as a boolean · case 02
Nested observer pause is stored as a boolean; the returned lifecycle plan violates the stated transition contract.
Nested observer pause is stored as a boolean · case 03
Nested observer pause is stored as a boolean; the returned lifecycle plan violates the stated transition contract.
Nested observer pause is stored as a boolean · case 04
Nested observer pause is stored as a boolean; the returned lifecycle plan violates the stated transition contract.
Nested observer pause is stored as a boolean · case 05
Nested observer pause is stored as a boolean; the returned lifecycle plan violates the stated transition contract.
A closed paused subscription retains new events · case 01
A closed paused subscription retains new events; the returned lifecycle plan violates the stated transition contract.
A closed paused subscription retains new events · case 02
A closed paused subscription retains new events; the returned lifecycle plan violates the stated transition contract.
A closed paused subscription retains new events · case 03
A closed paused subscription retains new events; the returned lifecycle plan violates the stated transition contract.
A closed paused subscription retains new events · case 04
A closed paused subscription retains new events; the returned lifecycle plan violates the stated transition contract.
A closed paused subscription retains new events · case 05
A closed paused subscription retains new events; the returned lifecycle plan violates the stated transition contract.
One resume drains a multiply paused observer · case 01
One resume drains a multiply paused observer; the returned lifecycle plan violates the stated transition contract.
One resume drains a multiply paused observer · case 02
One resume drains a multiply paused observer; the returned lifecycle plan violates the stated transition contract.
One resume drains a multiply paused observer · case 03
One resume drains a multiply paused observer; the returned lifecycle plan violates the stated transition contract.
One resume drains a multiply paused observer · case 04
One resume drains a multiply paused observer; the returned lifecycle plan violates the stated transition contract.
One resume drains a multiply paused observer · case 05
One resume drains a multiply paused observer; the returned lifecycle plan violates the stated transition contract.
Resume replays paused callbacks in reverse order · case 01
Resume replays paused callbacks in reverse order; the returned lifecycle plan violates the stated transition contract.
Resume replays paused callbacks in reverse order · case 02
Resume replays paused callbacks in reverse order; the returned lifecycle plan violates the stated transition contract.
Resume replays paused callbacks in reverse order · case 03
Resume replays paused callbacks in reverse order; the returned lifecycle plan violates the stated transition contract.
Resume replays paused callbacks in reverse order · case 04
Resume replays paused callbacks in reverse order; the returned lifecycle plan violates the stated transition contract.
Resume replays paused callbacks in reverse order · case 05
Resume replays paused callbacks in reverse order; the returned lifecycle plan violates the stated transition contract.
Paused discard mode forgets to record a dropped event · case 01
Paused discard mode forgets to record a dropped event; the returned lifecycle plan violates the stated transition contract.
Paused discard mode forgets to record a dropped event · case 02
Paused discard mode forgets to record a dropped event; the returned lifecycle plan violates the stated transition contract.
Paused discard mode forgets to record a dropped event · case 03
Paused discard mode forgets to record a dropped event; the returned lifecycle plan violates the stated transition contract.
Paused discard mode forgets to record a dropped event · case 04
Paused discard mode forgets to record a dropped event; the returned lifecycle plan violates the stated transition contract.
Paused discard mode forgets to record a dropped event · case 05
Paused discard mode forgets to record a dropped event; the returned lifecycle plan violates the stated transition contract.
A zero-capacity pause buffer retains every queued event · case 01
A zero-capacity pause buffer retains every queued event; the returned lifecycle plan violates the stated transition contract.
A zero-capacity pause buffer retains every queued event · case 02
A zero-capacity pause buffer retains every queued event; the returned lifecycle plan violates the stated transition contract.
A zero-capacity pause buffer retains every queued event · case 03
A zero-capacity pause buffer retains every queued event; the returned lifecycle plan violates the stated transition contract.
A zero-capacity pause buffer retains every queued event · case 04
A zero-capacity pause buffer retains every queued event; the returned lifecycle plan violates the stated transition contract.
A zero-capacity pause buffer retains every queued event · case 05
A zero-capacity pause buffer retains every queued event; the returned lifecycle plan violates the stated transition contract.
Paused observers receive events directly despite their pause depth · case 01
Paused observers receive events directly despite their pause depth; the returned lifecycle plan violates the stated transition contract.
Paused observers receive events directly despite their pause depth · case 02
Paused observers receive events directly despite their pause depth; the returned lifecycle plan violates the stated transition contract.
Paused observers receive events directly despite their pause depth · case 03
Paused observers receive events directly despite their pause depth; the returned lifecycle plan violates the stated transition contract.
Paused observers receive events directly despite their pause depth · case 04
Paused observers receive events directly despite their pause depth; the returned lifecycle plan violates the stated transition contract.
Paused observers receive events directly despite their pause depth · case 05
Paused observers receive events directly despite their pause depth; the returned lifecycle plan violates the stated transition contract.
Closing an observer retains its paused event buffer · case 01
Closing an observer retains its paused event buffer; the returned lifecycle plan violates the stated transition contract.
Closing an observer retains its paused event buffer · case 02
Closing an observer retains its paused event buffer; the returned lifecycle plan violates the stated transition contract.
Closing an observer retains its paused event buffer · case 03
Closing an observer retains its paused event buffer; the returned lifecycle plan violates the stated transition contract.
Closing an observer retains its paused event buffer · case 04
Closing an observer retains its paused event buffer; the returned lifecycle plan violates the stated transition contract.
Closing an observer retains its paused event buffer · case 05
Closing an observer retains its paused event buffer; the returned lifecycle plan violates the stated transition contract.
Pause-buffer capacity counts a missing incoming event · case 01
Pause-buffer capacity counts a missing incoming event; the returned lifecycle plan violates the stated transition contract.
Pause-buffer capacity counts a missing incoming event · case 02
Pause-buffer capacity counts a missing incoming event; the returned lifecycle plan violates the stated transition contract.
Pause-buffer capacity counts a missing incoming event · case 03
Pause-buffer capacity counts a missing incoming event; the returned lifecycle plan violates the stated transition contract.
Pause-buffer capacity counts a missing incoming event · case 04
Pause-buffer capacity counts a missing incoming event; the returned lifecycle plan violates the stated transition contract.
Pause-buffer capacity counts a missing incoming event · case 05
Pause-buffer capacity counts a missing incoming event; the returned lifecycle plan violates the stated transition contract.
An unmatched resume is treated as a state-changing action · case 01
An unmatched resume is treated as a state-changing action; the returned lifecycle plan violates the stated transition contract.
An unmatched resume is treated as a state-changing action · case 02
An unmatched resume is treated as a state-changing action; the returned lifecycle plan violates the stated transition contract.
An unmatched resume is treated as a state-changing action · case 03
An unmatched resume is treated as a state-changing action; the returned lifecycle plan violates the stated transition contract.
An unmatched resume is treated as a state-changing action · case 04
An unmatched resume is treated as a state-changing action; the returned lifecycle plan violates the stated transition contract.
An unmatched resume is treated as a state-changing action · case 05
An unmatched resume is treated as a state-changing action; the returned lifecycle plan violates the stated transition contract.
Replay repeats the event at the subscriber cursor · case 01
Replay repeats the event at the subscriber cursor; the returned lifecycle plan violates the stated transition contract.
Replay repeats the event at the subscriber cursor · case 02
Replay repeats the event at the subscriber cursor; the returned lifecycle plan violates the stated transition contract.
Replay repeats the event at the subscriber cursor · case 03
Replay repeats the event at the subscriber cursor; the returned lifecycle plan violates the stated transition contract.
Replay repeats the event at the subscriber cursor · case 04
Replay repeats the event at the subscriber cursor; the returned lifecycle plan violates the stated transition contract.
Replay repeats the event at the subscriber cursor · case 05
Replay repeats the event at the subscriber cursor; the returned lifecycle plan violates the stated transition contract.
Replay ignores cancellation while invoking historical callbacks · case 01
Replay ignores cancellation while invoking historical callbacks; the returned lifecycle plan violates the stated transition contract.
Replay ignores cancellation while invoking historical callbacks · case 02
Replay ignores cancellation while invoking historical callbacks; the returned lifecycle plan violates the stated transition contract.
Replay ignores cancellation while invoking historical callbacks · case 03
Replay ignores cancellation while invoking historical callbacks; the returned lifecycle plan violates the stated transition contract.
Replay ignores cancellation while invoking historical callbacks · case 04
Replay ignores cancellation while invoking historical callbacks; the returned lifecycle plan violates the stated transition contract.
Replay ignores cancellation while invoking historical callbacks · case 05
Replay ignores cancellation while invoking historical callbacks; 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 ↗