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
Receiver-issued transmission-credit lease controller: exhausted / payload · case 01
While exhausted, event payload produces usable/send_one instead of exhausted/backpressure.
Receiver-issued transmission-credit lease controller: exhausted / payload · case 02
While exhausted, event payload produces usable/send_one instead of exhausted/backpressure.
Receiver-issued transmission-credit lease controller: exhausted / payload · case 03
While exhausted, event payload produces usable/send_one instead of exhausted/backpressure.
Receiver-issued transmission-credit lease controller: exhausted / payload · case 04
While exhausted, event payload produces usable/send_one instead of exhausted/backpressure.
Receiver-issued transmission-credit lease controller: exhausted / payload · case 05
While exhausted, event payload produces usable/send_one instead of exhausted/backpressure.
Receiver-issued transmission-credit lease controller: usable / revoke · case 01
While usable, event revoke produces usable/continue instead of revoked/stop_new_sends.
Receiver-issued transmission-credit lease controller: usable / revoke · case 02
While usable, event revoke produces usable/continue instead of revoked/stop_new_sends.
Receiver-issued transmission-credit lease controller: usable / revoke · case 03
While usable, event revoke produces usable/continue instead of revoked/stop_new_sends.
Receiver-issued transmission-credit lease controller: usable / revoke · case 04
While usable, event revoke produces usable/continue instead of revoked/stop_new_sends.
Receiver-issued transmission-credit lease controller: usable / revoke · case 05
While usable, event revoke produces usable/continue instead of revoked/stop_new_sends.
Receiver-issued transmission-credit lease controller: revoked / inflight ack · case 01
While revoked, event inflight_ack produces usable/grant_credit instead of revoked/retire_inflight.
Receiver-issued transmission-credit lease controller: revoked / inflight ack · case 02
While revoked, event inflight_ack produces usable/grant_credit instead of revoked/retire_inflight.
Receiver-issued transmission-credit lease controller: revoked / inflight ack · case 03
While revoked, event inflight_ack produces usable/grant_credit instead of revoked/retire_inflight.
Receiver-issued transmission-credit lease controller: revoked / inflight ack · case 04
While revoked, event inflight_ack produces usable/grant_credit instead of revoked/retire_inflight.
Receiver-issued transmission-credit lease controller: revoked / inflight ack · case 05
While revoked, event inflight_ack produces usable/grant_credit instead of revoked/retire_inflight.
Receiver-issued transmission-credit lease controller: revoked / new grant · case 01
While revoked, event new_grant produces revoked/ignore instead of usable/replace_lease.
Receiver-issued transmission-credit lease controller: revoked / new grant · case 02
While revoked, event new_grant produces revoked/ignore instead of usable/replace_lease.
Receiver-issued transmission-credit lease controller: revoked / new grant · case 03
While revoked, event new_grant produces revoked/ignore instead of usable/replace_lease.
Receiver-issued transmission-credit lease controller: revoked / new grant · case 04
While revoked, event new_grant produces revoked/ignore instead of usable/replace_lease.
Receiver-issued transmission-credit lease controller: revoked / new grant · case 05
While revoked, event new_grant produces revoked/ignore instead of usable/replace_lease.
Receiver-issued transmission-credit lease controller: usable / lease expired · case 01
While usable, event lease_expired produces usable/continue instead of expired/stop_new_sends.
Receiver-issued transmission-credit lease controller: usable / lease expired · case 02
While usable, event lease_expired produces usable/continue instead of expired/stop_new_sends.
Receiver-issued transmission-credit lease controller: usable / lease expired · case 03
While usable, event lease_expired produces usable/continue instead of expired/stop_new_sends.
Receiver-issued transmission-credit lease controller: usable / lease expired · case 04
While usable, event lease_expired produces usable/continue instead of expired/stop_new_sends.
Receiver-issued transmission-credit lease controller: usable / lease expired · case 05
While usable, event lease_expired produces usable/continue instead of expired/stop_new_sends.
Receiver-issued transmission-credit lease controller: expired / old grant · case 01
While expired, event old_grant produces usable/record_grant instead of expired/reject_stale.
Receiver-issued transmission-credit lease controller: expired / old grant · case 02
While expired, event old_grant produces usable/record_grant instead of expired/reject_stale.
Receiver-issued transmission-credit lease controller: expired / old grant · case 03
While expired, event old_grant produces usable/record_grant instead of expired/reject_stale.
Receiver-issued transmission-credit lease controller: expired / old grant · case 04
While expired, event old_grant produces usable/record_grant instead of expired/reject_stale.
Receiver-issued transmission-credit lease controller: expired / old grant · case 05
While expired, event old_grant produces usable/record_grant instead of expired/reject_stale.
Receiver-issued transmission-credit lease controller: exhausted / refresh · case 01
While exhausted, event refresh produces exhausted/wait instead of usable/record_grant.
Receiver-issued transmission-credit lease controller: exhausted / refresh · case 02
While exhausted, event refresh produces exhausted/wait instead of usable/record_grant.
Receiver-issued transmission-credit lease controller: exhausted / refresh · case 03
While exhausted, event refresh produces exhausted/wait instead of usable/record_grant.
Receiver-issued transmission-credit lease controller: exhausted / refresh · case 04
While exhausted, event refresh produces exhausted/wait instead of usable/record_grant.
Receiver-issued transmission-credit lease controller: exhausted / refresh · case 05
While exhausted, event refresh produces exhausted/wait instead of usable/record_grant.
Receiver-issued transmission-credit lease controller: none / ack · case 01
While none, event ack produces usable/grant_credit instead of none/reject_unsolicited.
Receiver-issued transmission-credit lease controller: none / ack · case 02
While none, event ack produces usable/grant_credit instead of none/reject_unsolicited.
Receiver-issued transmission-credit lease controller: none / ack · case 03
While none, event ack produces usable/grant_credit instead of none/reject_unsolicited.
Receiver-issued transmission-credit lease controller: none / ack · case 04
While none, event ack produces usable/grant_credit instead of none/reject_unsolicited.
Receiver-issued transmission-credit lease controller: none / ack · case 05
While none, event ack produces usable/grant_credit instead of none/reject_unsolicited.
Segmented message assembly controller: idle / begin · case 01
While idle, event begin produces complete/publish instead of collecting/start_message.
Segmented message assembly controller: idle / begin · case 02
While idle, event begin produces complete/publish instead of collecting/start_message.
Segmented message assembly controller: idle / begin · case 03
While idle, event begin produces complete/publish instead of collecting/start_message.
Segmented message assembly controller: idle / begin · case 04
While idle, event begin produces complete/publish instead of collecting/start_message.
Segmented message assembly controller: idle / begin · case 05
While idle, event begin produces complete/publish instead of collecting/start_message.
Segmented message assembly controller: collecting / middle · case 01
While collecting, event middle produces complete/publish instead of collecting/append.
Segmented message assembly controller: collecting / middle · case 02
While collecting, event middle produces complete/publish instead of collecting/append.
Segmented message assembly controller: collecting / middle · case 03
While collecting, event middle produces complete/publish instead of collecting/append.
Segmented message assembly controller: collecting / middle · case 04
While collecting, event middle produces complete/publish instead of collecting/append.
Segmented message assembly controller: collecting / middle · case 05
While collecting, event middle produces complete/publish instead of collecting/append.
Segmented message assembly controller: collecting / end · case 01
While collecting, event end produces idle/discard instead of complete/append_publish.
Segmented message assembly controller: collecting / end · case 02
While collecting, event end produces idle/discard instead of complete/append_publish.
Segmented message assembly controller: collecting / end · case 03
While collecting, event end produces idle/discard instead of complete/append_publish.
Segmented message assembly controller: collecting / end · case 04
While collecting, event end produces idle/discard instead of complete/append_publish.
Segmented message assembly controller: collecting / end · case 05
While collecting, event end produces idle/discard instead of complete/append_publish.
Segmented message assembly controller: idle / middle · case 01
While idle, event middle produces collecting/append instead of idle/reject_orphan.
Segmented message assembly controller: idle / middle · case 02
While idle, event middle produces collecting/append instead of idle/reject_orphan.
Segmented message assembly controller: idle / middle · case 03
While idle, event middle produces collecting/append instead of idle/reject_orphan.
Segmented message assembly controller: idle / middle · case 04
While idle, event middle produces collecting/append instead of idle/reject_orphan.
Segmented message assembly controller: idle / middle · case 05
While idle, event middle produces collecting/append instead of idle/reject_orphan.
Segmented message assembly controller: idle / end · case 01
While idle, event end produces complete/publish instead of idle/reject_orphan.
Segmented message assembly controller: idle / end · case 02
While idle, event end produces complete/publish instead of idle/reject_orphan.
Segmented message assembly controller: idle / end · case 03
While idle, event end produces complete/publish instead of idle/reject_orphan.
Segmented message assembly controller: idle / end · case 04
While idle, event end produces complete/publish instead of idle/reject_orphan.
Segmented message assembly controller: idle / end · case 05
While idle, event end produces complete/publish instead of idle/reject_orphan.
Segmented message assembly controller: collecting / begin · case 01
While collecting, event begin produces collecting/restart instead of collecting/reject_nested.
Segmented message assembly controller: collecting / begin · case 02
While collecting, event begin produces collecting/restart instead of collecting/reject_nested.
Segmented message assembly controller: collecting / begin · case 03
While collecting, event begin produces collecting/restart instead of collecting/reject_nested.
Segmented message assembly controller: collecting / begin · case 04
While collecting, event begin produces collecting/restart instead of collecting/reject_nested.
Segmented message assembly controller: collecting / begin · case 05
While collecting, event begin produces collecting/restart instead of collecting/reject_nested.
Segmented message assembly controller: collecting / abort · case 01
While collecting, event abort produces complete/publish instead of idle/discard_partial.
Segmented message assembly controller: collecting / abort · case 02
While collecting, event abort produces complete/publish instead of idle/discard_partial.
Segmented message assembly controller: collecting / abort · case 03
While collecting, event abort produces complete/publish instead of idle/discard_partial.
Segmented message assembly controller: collecting / abort · case 04
While collecting, event abort produces complete/publish instead of idle/discard_partial.
Segmented message assembly controller: collecting / abort · case 05
While collecting, event abort produces complete/publish instead of idle/discard_partial.
Segmented message assembly controller: complete / consume · case 01
While complete, event consume produces complete/retain instead of idle/release_message.
Segmented message assembly controller: complete / consume · case 02
While complete, event consume produces complete/retain instead of idle/release_message.
Segmented message assembly controller: complete / consume · case 03
While complete, event consume produces complete/retain instead of idle/release_message.
Segmented message assembly controller: complete / consume · case 04
While complete, event consume produces complete/retain instead of idle/release_message.
Segmented message assembly controller: complete / consume · case 05
While complete, event consume produces complete/retain instead of idle/release_message.
Segmented message assembly controller: complete / middle · case 01
While complete, event middle produces collecting/append instead of complete/reject_sealed.
Segmented message assembly controller: complete / middle · case 02
While complete, event middle produces collecting/append instead of complete/reject_sealed.
Segmented message assembly controller: complete / middle · case 03
While complete, event middle produces collecting/append instead of complete/reject_sealed.
Segmented message assembly controller: complete / middle · case 04
While complete, event middle produces collecting/append instead of complete/reject_sealed.
Segmented message assembly controller: complete / middle · case 05
While complete, event middle produces collecting/append instead of complete/reject_sealed.
Segmented message assembly controller: collecting / oversize · case 01
While collecting, event oversize produces collecting/truncate instead of idle/reject_discard.
Segmented message assembly controller: collecting / oversize · case 02
While collecting, event oversize produces collecting/truncate instead of idle/reject_discard.
Segmented message assembly controller: collecting / oversize · case 03
While collecting, event oversize produces collecting/truncate instead of idle/reject_discard.
Segmented message assembly controller: collecting / oversize · case 04
While collecting, event oversize produces collecting/truncate instead of idle/reject_discard.
Segmented message assembly controller: collecting / oversize · case 05
While collecting, event oversize produces collecting/truncate instead of idle/reject_discard.
Intercom call-signaling controller: idle / dial · case 01
While idle, event dial produces connected/open_media instead of outgoing/send_invitation.
Intercom call-signaling controller: idle / dial · case 02
While idle, event dial produces connected/open_media instead of outgoing/send_invitation.
Intercom call-signaling controller: idle / dial · case 03
While idle, event dial produces connected/open_media instead of outgoing/send_invitation.
Intercom call-signaling controller: idle / dial · case 04
While idle, event dial produces connected/open_media instead of outgoing/send_invitation.
Intercom call-signaling controller: idle / dial · case 05
While idle, event dial produces connected/open_media instead of outgoing/send_invitation.
Intercom call-signaling controller: outgoing / ringing · case 01
While outgoing, event ringing produces connected/open_media instead of alerting/notify_remote_ring.
Intercom call-signaling controller: outgoing / ringing · case 02
While outgoing, event ringing produces connected/open_media instead of alerting/notify_remote_ring.
Intercom call-signaling controller: outgoing / ringing · case 03
While outgoing, event ringing produces connected/open_media instead of alerting/notify_remote_ring.
Intercom call-signaling controller: outgoing / ringing · case 04
While outgoing, event ringing produces connected/open_media instead of alerting/notify_remote_ring.
Intercom call-signaling controller: outgoing / ringing · case 05
While outgoing, event ringing produces connected/open_media instead of alerting/notify_remote_ring.
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 ↗