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
Half-duplex speaking-turn controller: speaking / yield · case 01
While speaking, event yield produces listening/disable_now instead of yielding/send_yield.
Half-duplex speaking-turn controller: speaking / yield · case 02
While speaking, event yield produces listening/disable_now instead of yielding/send_yield.
Half-duplex speaking-turn controller: speaking / yield · case 03
While speaking, event yield produces listening/disable_now instead of yielding/send_yield.
Half-duplex speaking-turn controller: speaking / yield · case 04
While speaking, event yield produces listening/disable_now instead of yielding/send_yield.
Half-duplex speaking-turn controller: speaking / yield · case 05
While speaking, event yield produces listening/disable_now instead of yielding/send_yield.
Half-duplex speaking-turn controller: yielding / yield ack · case 01
While yielding, event yield_ack produces speaking/send_payload instead of listening/disable_transmit.
Half-duplex speaking-turn controller: yielding / yield ack · case 02
While yielding, event yield_ack produces speaking/send_payload instead of listening/disable_transmit.
Half-duplex speaking-turn controller: yielding / yield ack · case 03
While yielding, event yield_ack produces speaking/send_payload instead of listening/disable_transmit.
Half-duplex speaking-turn controller: yielding / yield ack · case 04
While yielding, event yield_ack produces speaking/send_payload instead of listening/disable_transmit.
Half-duplex speaking-turn controller: yielding / yield ack · case 05
While yielding, event yield_ack produces speaking/send_payload instead of listening/disable_transmit.
Half-duplex speaking-turn controller: listening / remote payload · case 01
While listening, event remote_payload produces speaking/take_turn instead of listening/deliver.
Half-duplex speaking-turn controller: listening / remote payload · case 02
While listening, event remote_payload produces speaking/take_turn instead of listening/deliver.
Half-duplex speaking-turn controller: listening / remote payload · case 03
While listening, event remote_payload produces speaking/take_turn instead of listening/deliver.
Half-duplex speaking-turn controller: listening / remote payload · case 04
While listening, event remote_payload produces speaking/take_turn instead of listening/deliver.
Half-duplex speaking-turn controller: listening / remote payload · case 05
While listening, event remote_payload produces speaking/take_turn instead of listening/deliver.
Half-duplex speaking-turn controller: speaking / remote payload · case 01
While speaking, event remote_payload produces listening/deliver instead of speaking/report_collision.
Half-duplex speaking-turn controller: speaking / remote payload · case 02
While speaking, event remote_payload produces listening/deliver instead of speaking/report_collision.
Half-duplex speaking-turn controller: speaking / remote payload · case 03
While speaking, event remote_payload produces listening/deliver instead of speaking/report_collision.
Half-duplex speaking-turn controller: speaking / remote payload · case 04
While speaking, event remote_payload produces listening/deliver instead of speaking/report_collision.
Half-duplex speaking-turn controller: speaking / remote payload · case 05
While speaking, event remote_payload produces listening/deliver instead of speaking/report_collision.
Half-duplex speaking-turn controller: listening / local payload · case 01
While listening, event local_payload produces speaking/send_payload instead of listening/queue_local.
Half-duplex speaking-turn controller: listening / local payload · case 02
While listening, event local_payload produces speaking/send_payload instead of listening/queue_local.
Half-duplex speaking-turn controller: listening / local payload · case 03
While listening, event local_payload produces speaking/send_payload instead of listening/queue_local.
Half-duplex speaking-turn controller: listening / local payload · case 04
While listening, event local_payload produces speaking/send_payload instead of listening/queue_local.
Half-duplex speaking-turn controller: listening / local payload · case 05
While listening, event local_payload produces speaking/send_payload instead of listening/queue_local.
Half-duplex speaking-turn controller: offered / offer withdrawn · case 01
While offered, event offer_withdrawn produces speaking/enable_transmit instead of listening/clear_offer.
Half-duplex speaking-turn controller: offered / offer withdrawn · case 02
While offered, event offer_withdrawn produces speaking/enable_transmit instead of listening/clear_offer.
Half-duplex speaking-turn controller: offered / offer withdrawn · case 03
While offered, event offer_withdrawn produces speaking/enable_transmit instead of listening/clear_offer.
Half-duplex speaking-turn controller: offered / offer withdrawn · case 04
While offered, event offer_withdrawn produces speaking/enable_transmit instead of listening/clear_offer.
Half-duplex speaking-turn controller: offered / offer withdrawn · case 05
While offered, event offer_withdrawn produces speaking/enable_transmit instead of listening/clear_offer.
Half-duplex speaking-turn controller: yielding / local payload · case 01
While yielding, event local_payload produces speaking/send_payload instead of yielding/queue_next_turn.
Half-duplex speaking-turn controller: yielding / local payload · case 02
While yielding, event local_payload produces speaking/send_payload instead of yielding/queue_next_turn.
Half-duplex speaking-turn controller: yielding / local payload · case 03
While yielding, event local_payload produces speaking/send_payload instead of yielding/queue_next_turn.
Half-duplex speaking-turn controller: yielding / local payload · case 04
While yielding, event local_payload produces speaking/send_payload instead of yielding/queue_next_turn.
Half-duplex speaking-turn controller: yielding / local payload · case 05
While yielding, event local_payload produces speaking/send_payload instead of yielding/queue_next_turn.
Half-duplex speaking-turn controller: listening / unsolicited commit · case 01
While listening, event unsolicited_commit produces speaking/enable_transmit instead of listening/reject_unoffered.
Half-duplex speaking-turn controller: listening / unsolicited commit · case 02
While listening, event unsolicited_commit produces speaking/enable_transmit instead of listening/reject_unoffered.
Half-duplex speaking-turn controller: listening / unsolicited commit · case 03
While listening, event unsolicited_commit produces speaking/enable_transmit instead of listening/reject_unoffered.
Half-duplex speaking-turn controller: listening / unsolicited commit · case 04
While listening, event unsolicited_commit produces speaking/enable_transmit instead of listening/reject_unoffered.
Half-duplex speaking-turn controller: listening / unsolicited commit · case 05
While listening, event unsolicited_commit produces speaking/enable_transmit instead of listening/reject_unoffered.
Service-discovery watch lifecycle controller: idle / start watch · case 01
While idle, event start_watch produces live/publish_ready instead of snapshotting/request_listing.
Service-discovery watch lifecycle controller: idle / start watch · case 02
While idle, event start_watch produces live/publish_ready instead of snapshotting/request_listing.
Service-discovery watch lifecycle controller: idle / start watch · case 03
While idle, event start_watch produces live/publish_ready instead of snapshotting/request_listing.
Service-discovery watch lifecycle controller: idle / start watch · case 04
While idle, event start_watch produces live/publish_ready instead of snapshotting/request_listing.
Service-discovery watch lifecycle controller: idle / start watch · case 05
While idle, event start_watch produces live/publish_ready instead of snapshotting/request_listing.
Service-discovery watch lifecycle controller: snapshotting / listed service · case 01
While snapshotting, event listed_service produces live/publish_service instead of snapshotting/stage_service.
Service-discovery watch lifecycle controller: snapshotting / listed service · case 02
While snapshotting, event listed_service produces live/publish_service instead of snapshotting/stage_service.
Service-discovery watch lifecycle controller: snapshotting / listed service · case 03
While snapshotting, event listed_service produces live/publish_service instead of snapshotting/stage_service.
Service-discovery watch lifecycle controller: snapshotting / listed service · case 04
While snapshotting, event listed_service produces live/publish_service instead of snapshotting/stage_service.
Service-discovery watch lifecycle controller: snapshotting / listed service · case 05
While snapshotting, event listed_service produces live/publish_service instead of snapshotting/stage_service.
Service-discovery watch lifecycle controller: snapshotting / listing end · case 01
While snapshotting, event listing_end produces snapshotting/wait instead of live/publish_listing.
Service-discovery watch lifecycle controller: snapshotting / listing end · case 02
While snapshotting, event listing_end produces snapshotting/wait instead of live/publish_listing.
Service-discovery watch lifecycle controller: snapshotting / listing end · case 03
While snapshotting, event listing_end produces snapshotting/wait instead of live/publish_listing.
Service-discovery watch lifecycle controller: snapshotting / listing end · case 04
While snapshotting, event listing_end produces snapshotting/wait instead of live/publish_listing.
Service-discovery watch lifecycle controller: snapshotting / listing end · case 05
While snapshotting, event listing_end produces snapshotting/wait instead of live/publish_listing.
Service-discovery watch lifecycle controller: live / service added · case 01
While live, event service_added produces live/replace_all instead of live/insert_notify.
Service-discovery watch lifecycle controller: live / service added · case 02
While live, event service_added produces live/replace_all instead of live/insert_notify.
Service-discovery watch lifecycle controller: live / service added · case 03
While live, event service_added produces live/replace_all instead of live/insert_notify.
Service-discovery watch lifecycle controller: live / service added · case 04
While live, event service_added produces live/replace_all instead of live/insert_notify.
Service-discovery watch lifecycle controller: live / service added · case 05
While live, event service_added produces live/replace_all instead of live/insert_notify.
Service-discovery watch lifecycle controller: live / service removed · case 01
While live, event service_removed produces live/keep_service instead of live/remove_notify.
Service-discovery watch lifecycle controller: live / service removed · case 02
While live, event service_removed produces live/keep_service instead of live/remove_notify.
Service-discovery watch lifecycle controller: live / service removed · case 03
While live, event service_removed produces live/keep_service instead of live/remove_notify.
Service-discovery watch lifecycle controller: live / service removed · case 04
While live, event service_removed produces live/keep_service instead of live/remove_notify.
Service-discovery watch lifecycle controller: live / service removed · case 05
While live, event service_removed produces live/keep_service instead of live/remove_notify.
Service-discovery watch lifecycle controller: live / watch gap · case 01
While live, event watch_gap produces live/continue instead of snapshotting/clear_request_listing.
Service-discovery watch lifecycle controller: live / watch gap · case 02
While live, event watch_gap produces live/continue instead of snapshotting/clear_request_listing.
Service-discovery watch lifecycle controller: live / watch gap · case 03
While live, event watch_gap produces live/continue instead of snapshotting/clear_request_listing.
Service-discovery watch lifecycle controller: live / watch gap · case 04
While live, event watch_gap produces live/continue instead of snapshotting/clear_request_listing.
Service-discovery watch lifecycle controller: live / watch gap · case 05
While live, event watch_gap produces live/continue instead of snapshotting/clear_request_listing.
Service-discovery watch lifecycle controller: live / lease expired · case 01
While live, event lease_expired produces live/refresh_lease instead of live/expire_notify.
Service-discovery watch lifecycle controller: live / lease expired · case 02
While live, event lease_expired produces live/refresh_lease instead of live/expire_notify.
Service-discovery watch lifecycle controller: live / lease expired · case 03
While live, event lease_expired produces live/refresh_lease instead of live/expire_notify.
Service-discovery watch lifecycle controller: live / lease expired · case 04
While live, event lease_expired produces live/refresh_lease instead of live/expire_notify.
Service-discovery watch lifecycle controller: live / lease expired · case 05
While live, event lease_expired produces live/refresh_lease instead of live/expire_notify.
Service-discovery watch lifecycle controller: live / stop watch · case 01
While live, event stop_watch produces idle/keep_subscription instead of closed/release_watch.
Service-discovery watch lifecycle controller: live / stop watch · case 02
While live, event stop_watch produces idle/keep_subscription instead of closed/release_watch.
Service-discovery watch lifecycle controller: live / stop watch · case 03
While live, event stop_watch produces idle/keep_subscription instead of closed/release_watch.
Service-discovery watch lifecycle controller: live / stop watch · case 04
While live, event stop_watch produces idle/keep_subscription instead of closed/release_watch.
Service-discovery watch lifecycle controller: live / stop watch · case 05
While live, event stop_watch produces idle/keep_subscription instead of closed/release_watch.
Service-discovery watch lifecycle controller: closed / service added · case 01
While closed, event service_added produces live/insert_notify instead of closed/ignore_closed.
Service-discovery watch lifecycle controller: closed / service added · case 02
While closed, event service_added produces live/insert_notify instead of closed/ignore_closed.
Service-discovery watch lifecycle controller: closed / service added · case 03
While closed, event service_added produces live/insert_notify instead of closed/ignore_closed.
Service-discovery watch lifecycle controller: closed / service added · case 04
While closed, event service_added produces live/insert_notify instead of closed/ignore_closed.
Service-discovery watch lifecycle controller: closed / service added · case 05
While closed, event service_added produces live/insert_notify instead of closed/ignore_closed.
Service-discovery watch lifecycle controller: snapshotting / service removed · case 01
While snapshotting, event service_removed produces snapshotting/ignore instead of snapshotting/record_tombstone.
Service-discovery watch lifecycle controller: snapshotting / service removed · case 02
While snapshotting, event service_removed produces snapshotting/ignore instead of snapshotting/record_tombstone.
Service-discovery watch lifecycle controller: snapshotting / service removed · case 03
While snapshotting, event service_removed produces snapshotting/ignore instead of snapshotting/record_tombstone.
Service-discovery watch lifecycle controller: snapshotting / service removed · case 04
While snapshotting, event service_removed produces snapshotting/ignore instead of snapshotting/record_tombstone.
Service-discovery watch lifecycle controller: snapshotting / service removed · case 05
While snapshotting, event service_removed produces snapshotting/ignore instead of snapshotting/record_tombstone.
Acknowledged telemetry publication window controller: idle / open window · case 01
While idle, event open_window produces published/send_empty instead of collecting/allocate_window.
Acknowledged telemetry publication window controller: idle / open window · case 02
While idle, event open_window produces published/send_empty instead of collecting/allocate_window.
Acknowledged telemetry publication window controller: idle / open window · case 03
While idle, event open_window produces published/send_empty instead of collecting/allocate_window.
Acknowledged telemetry publication window controller: idle / open window · case 04
While idle, event open_window produces published/send_empty instead of collecting/allocate_window.
Acknowledged telemetry publication window controller: idle / open window · case 05
While idle, event open_window produces published/send_empty instead of collecting/allocate_window.
Acknowledged telemetry publication window controller: collecting / sample · case 01
While collecting, event sample produces collecting/replace_samples instead of collecting/append_sample.
Acknowledged telemetry publication window controller: collecting / sample · case 02
While collecting, event sample produces collecting/replace_samples instead of collecting/append_sample.
Acknowledged telemetry publication window controller: collecting / sample · case 03
While collecting, event sample produces collecting/replace_samples instead of collecting/append_sample.
Acknowledged telemetry publication window controller: collecting / sample · case 04
While collecting, event sample produces collecting/replace_samples instead of collecting/append_sample.
Acknowledged telemetry publication window controller: collecting / sample · case 05
While collecting, event sample produces collecting/replace_samples instead of collecting/append_sample.
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 ↗