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
Scoped address assignment controller: offered / select · case 01
While offered, event select produces bound/use_address instead of requesting/request_selected.
Scoped address assignment controller: offered / select · case 02
While offered, event select produces bound/use_address instead of requesting/request_selected.
Scoped address assignment controller: offered / select · case 03
While offered, event select produces bound/use_address instead of requesting/request_selected.
Scoped address assignment controller: offered / select · case 04
While offered, event select produces bound/use_address instead of requesting/request_selected.
Scoped address assignment controller: offered / select · case 05
While offered, event select produces bound/use_address instead of requesting/request_selected.
Scoped address assignment controller: requesting / ack · case 01
While requesting, event ack produces requesting/wait instead of bound/install_lease.
Scoped address assignment controller: requesting / ack · case 02
While requesting, event ack produces requesting/wait instead of bound/install_lease.
Scoped address assignment controller: requesting / ack · case 03
While requesting, event ack produces requesting/wait instead of bound/install_lease.
Scoped address assignment controller: requesting / ack · case 04
While requesting, event ack produces requesting/wait instead of bound/install_lease.
Scoped address assignment controller: requesting / ack · case 05
While requesting, event ack produces requesting/wait instead of bound/install_lease.
Scoped address assignment controller: requesting / nack · case 01
While requesting, event nack produces bound/use_address instead of unassigned/discard_offer.
Scoped address assignment controller: requesting / nack · case 02
While requesting, event nack produces bound/use_address instead of unassigned/discard_offer.
Scoped address assignment controller: requesting / nack · case 03
While requesting, event nack produces bound/use_address instead of unassigned/discard_offer.
Scoped address assignment controller: requesting / nack · case 04
While requesting, event nack produces bound/use_address instead of unassigned/discard_offer.
Scoped address assignment controller: requesting / nack · case 05
While requesting, event nack produces bound/use_address instead of unassigned/discard_offer.
Scoped address assignment controller: bound / renew due · case 01
While bound, event renew_due produces unassigned/clear_address instead of renewing/request_renewal.
Scoped address assignment controller: bound / renew due · case 02
While bound, event renew_due produces unassigned/clear_address instead of renewing/request_renewal.
Scoped address assignment controller: bound / renew due · case 03
While bound, event renew_due produces unassigned/clear_address instead of renewing/request_renewal.
Scoped address assignment controller: bound / renew due · case 04
While bound, event renew_due produces unassigned/clear_address instead of renewing/request_renewal.
Scoped address assignment controller: bound / renew due · case 05
While bound, event renew_due produces unassigned/clear_address instead of renewing/request_renewal.
Scoped address assignment controller: renewing / renew ack · case 01
While renewing, event renew_ack produces renewing/wait instead of bound/replace_expiry.
Scoped address assignment controller: renewing / renew ack · case 02
While renewing, event renew_ack produces renewing/wait instead of bound/replace_expiry.
Scoped address assignment controller: renewing / renew ack · case 03
While renewing, event renew_ack produces renewing/wait instead of bound/replace_expiry.
Scoped address assignment controller: renewing / renew ack · case 04
While renewing, event renew_ack produces renewing/wait instead of bound/replace_expiry.
Scoped address assignment controller: renewing / renew ack · case 05
While renewing, event renew_ack produces renewing/wait instead of bound/replace_expiry.
Scoped address assignment controller: renewing / expired · case 01
While renewing, event expired produces bound/use_address instead of unassigned/clear_address.
Scoped address assignment controller: renewing / expired · case 02
While renewing, event expired produces bound/use_address instead of unassigned/clear_address.
Scoped address assignment controller: renewing / expired · case 03
While renewing, event expired produces bound/use_address instead of unassigned/clear_address.
Scoped address assignment controller: renewing / expired · case 04
While renewing, event expired produces bound/use_address instead of unassigned/clear_address.
Scoped address assignment controller: renewing / expired · case 05
While renewing, event expired produces bound/use_address instead of unassigned/clear_address.
Scoped address assignment controller: bound / conflict detected · case 01
While bound, event conflict_detected produces bound/ignore_conflict instead of unassigned/decline_clear.
Scoped address assignment controller: bound / conflict detected · case 02
While bound, event conflict_detected produces bound/ignore_conflict instead of unassigned/decline_clear.
Scoped address assignment controller: bound / conflict detected · case 03
While bound, event conflict_detected produces bound/ignore_conflict instead of unassigned/decline_clear.
Scoped address assignment controller: bound / conflict detected · case 04
While bound, event conflict_detected produces bound/ignore_conflict instead of unassigned/decline_clear.
Scoped address assignment controller: bound / conflict detected · case 05
While bound, event conflict_detected produces bound/ignore_conflict instead of unassigned/decline_clear.
Scoped address assignment controller: bound / release · case 01
While bound, event release produces bound/retain instead of unassigned/release_clear.
Scoped address assignment controller: bound / release · case 02
While bound, event release produces bound/retain instead of unassigned/release_clear.
Scoped address assignment controller: bound / release · case 03
While bound, event release produces bound/retain instead of unassigned/release_clear.
Scoped address assignment controller: bound / release · case 04
While bound, event release produces bound/retain instead of unassigned/release_clear.
Scoped address assignment controller: bound / release · case 05
While bound, event release produces bound/retain instead of unassigned/release_clear.
Four-event clock measurement exchange controller: idle / sync received · case 01
While idle, event sync_received produces complete/publish_offset instead of have_sync/record_receive_time.
Four-event clock measurement exchange controller: idle / sync received · case 02
While idle, event sync_received produces complete/publish_offset instead of have_sync/record_receive_time.
Four-event clock measurement exchange controller: idle / sync received · case 03
While idle, event sync_received produces complete/publish_offset instead of have_sync/record_receive_time.
Four-event clock measurement exchange controller: idle / sync received · case 04
While idle, event sync_received produces complete/publish_offset instead of have_sync/record_receive_time.
Four-event clock measurement exchange controller: idle / sync received · case 05
While idle, event sync_received produces complete/publish_offset instead of have_sync/record_receive_time.
Four-event clock measurement exchange controller: have sync / followup received · case 01
While have_sync, event followup_received produces complete/publish_offset instead of have_origin/record_origin_time.
Four-event clock measurement exchange controller: have sync / followup received · case 02
While have_sync, event followup_received produces complete/publish_offset instead of have_origin/record_origin_time.
Four-event clock measurement exchange controller: have sync / followup received · case 03
While have_sync, event followup_received produces complete/publish_offset instead of have_origin/record_origin_time.
Four-event clock measurement exchange controller: have sync / followup received · case 04
While have_sync, event followup_received produces complete/publish_offset instead of have_origin/record_origin_time.
Four-event clock measurement exchange controller: have sync / followup received · case 05
While have_sync, event followup_received produces complete/publish_offset instead of have_origin/record_origin_time.
Four-event clock measurement exchange controller: have origin / delay sent · case 01
While have_origin, event delay_sent produces complete/publish_offset instead of awaiting_delay/record_departure_time.
Four-event clock measurement exchange controller: have origin / delay sent · case 02
While have_origin, event delay_sent produces complete/publish_offset instead of awaiting_delay/record_departure_time.
Four-event clock measurement exchange controller: have origin / delay sent · case 03
While have_origin, event delay_sent produces complete/publish_offset instead of awaiting_delay/record_departure_time.
Four-event clock measurement exchange controller: have origin / delay sent · case 04
While have_origin, event delay_sent produces complete/publish_offset instead of awaiting_delay/record_departure_time.
Four-event clock measurement exchange controller: have origin / delay sent · case 05
While have_origin, event delay_sent produces complete/publish_offset instead of awaiting_delay/record_departure_time.
Four-event clock measurement exchange controller: awaiting delay / delay response · case 01
While awaiting_delay, event delay_response produces awaiting_delay/wait instead of complete/compute_exchange.
Four-event clock measurement exchange controller: awaiting delay / delay response · case 02
While awaiting_delay, event delay_response produces awaiting_delay/wait instead of complete/compute_exchange.
Four-event clock measurement exchange controller: awaiting delay / delay response · case 03
While awaiting_delay, event delay_response produces awaiting_delay/wait instead of complete/compute_exchange.
Four-event clock measurement exchange controller: awaiting delay / delay response · case 04
While awaiting_delay, event delay_response produces awaiting_delay/wait instead of complete/compute_exchange.
Four-event clock measurement exchange controller: awaiting delay / delay response · case 05
While awaiting_delay, event delay_response produces awaiting_delay/wait instead of complete/compute_exchange.
Four-event clock measurement exchange controller: have sync / wrong followup · case 01
While have_sync, event wrong_followup produces have_origin/record_origin_time instead of have_sync/reject_sequence.
Four-event clock measurement exchange controller: have sync / wrong followup · case 02
While have_sync, event wrong_followup produces have_origin/record_origin_time instead of have_sync/reject_sequence.
Four-event clock measurement exchange controller: have sync / wrong followup · case 03
While have_sync, event wrong_followup produces have_origin/record_origin_time instead of have_sync/reject_sequence.
Four-event clock measurement exchange controller: have sync / wrong followup · case 04
While have_sync, event wrong_followup produces have_origin/record_origin_time instead of have_sync/reject_sequence.
Four-event clock measurement exchange controller: have sync / wrong followup · case 05
While have_sync, event wrong_followup produces have_origin/record_origin_time instead of have_sync/reject_sequence.
Four-event clock measurement exchange controller: awaiting delay / wrong response · case 01
While awaiting_delay, event wrong_response produces complete/compute_exchange instead of awaiting_delay/reject_sequence.
Four-event clock measurement exchange controller: awaiting delay / wrong response · case 02
While awaiting_delay, event wrong_response produces complete/compute_exchange instead of awaiting_delay/reject_sequence.
Four-event clock measurement exchange controller: awaiting delay / wrong response · case 03
While awaiting_delay, event wrong_response produces complete/compute_exchange instead of awaiting_delay/reject_sequence.
Four-event clock measurement exchange controller: awaiting delay / wrong response · case 04
While awaiting_delay, event wrong_response produces complete/compute_exchange instead of awaiting_delay/reject_sequence.
Four-event clock measurement exchange controller: awaiting delay / wrong response · case 05
While awaiting_delay, event wrong_response produces complete/compute_exchange instead of awaiting_delay/reject_sequence.
Four-event clock measurement exchange controller: complete / consume · case 01
While complete, event consume produces complete/retain instead of idle/release_measurement.
Four-event clock measurement exchange controller: complete / consume · case 02
While complete, event consume produces complete/retain instead of idle/release_measurement.
Four-event clock measurement exchange controller: complete / consume · case 03
While complete, event consume produces complete/retain instead of idle/release_measurement.
Four-event clock measurement exchange controller: complete / consume · case 04
While complete, event consume produces complete/retain instead of idle/release_measurement.
Four-event clock measurement exchange controller: complete / consume · case 05
While complete, event consume produces complete/retain instead of idle/release_measurement.
Four-event clock measurement exchange controller: have origin / new sync · case 01
While have_origin, event new_sync produces have_origin/ignore instead of have_sync/restart_exchange.
Four-event clock measurement exchange controller: have origin / new sync · case 02
While have_origin, event new_sync produces have_origin/ignore instead of have_sync/restart_exchange.
Four-event clock measurement exchange controller: have origin / new sync · case 03
While have_origin, event new_sync produces have_origin/ignore instead of have_sync/restart_exchange.
Four-event clock measurement exchange controller: have origin / new sync · case 04
While have_origin, event new_sync produces have_origin/ignore instead of have_sync/restart_exchange.
Four-event clock measurement exchange controller: have origin / new sync · case 05
While have_origin, event new_sync produces have_origin/ignore instead of have_sync/restart_exchange.
Four-event clock measurement exchange controller: idle / delay response · case 01
While idle, event delay_response produces complete/compute_exchange instead of idle/reject_orphan.
Four-event clock measurement exchange controller: idle / delay response · case 02
While idle, event delay_response produces complete/compute_exchange instead of idle/reject_orphan.
Four-event clock measurement exchange controller: idle / delay response · case 03
While idle, event delay_response produces complete/compute_exchange instead of idle/reject_orphan.
Four-event clock measurement exchange controller: idle / delay response · case 04
While idle, event delay_response produces complete/compute_exchange instead of idle/reject_orphan.
Four-event clock measurement exchange controller: idle / delay response · case 05
While idle, event delay_response produces complete/compute_exchange instead of idle/reject_orphan.
Four-event clock measurement exchange controller: awaiting delay / exchange expired · case 01
While awaiting_delay, event exchange_expired produces complete/publish_offset instead of idle/discard_measurement.
Four-event clock measurement exchange controller: awaiting delay / exchange expired · case 02
While awaiting_delay, event exchange_expired produces complete/publish_offset instead of idle/discard_measurement.
Four-event clock measurement exchange controller: awaiting delay / exchange expired · case 03
While awaiting_delay, event exchange_expired produces complete/publish_offset instead of idle/discard_measurement.
Four-event clock measurement exchange controller: awaiting delay / exchange expired · case 04
While awaiting_delay, event exchange_expired produces complete/publish_offset instead of idle/discard_measurement.
Four-event clock measurement exchange controller: awaiting delay / exchange expired · case 05
While awaiting_delay, event exchange_expired produces complete/publish_offset instead of idle/discard_measurement.
Half-duplex speaking-turn controller: listening / turn offer · case 01
While listening, event turn_offer produces speaking/send_payload instead of offered/ack_offer.
Half-duplex speaking-turn controller: listening / turn offer · case 02
While listening, event turn_offer produces speaking/send_payload instead of offered/ack_offer.
Half-duplex speaking-turn controller: listening / turn offer · case 03
While listening, event turn_offer produces speaking/send_payload instead of offered/ack_offer.
Half-duplex speaking-turn controller: listening / turn offer · case 04
While listening, event turn_offer produces speaking/send_payload instead of offered/ack_offer.
Half-duplex speaking-turn controller: listening / turn offer · case 05
While listening, event turn_offer produces speaking/send_payload instead of offered/ack_offer.
Half-duplex speaking-turn controller: offered / turn commit · case 01
While offered, event turn_commit produces offered/wait instead of speaking/enable_transmit.
Half-duplex speaking-turn controller: offered / turn commit · case 02
While offered, event turn_commit produces offered/wait instead of speaking/enable_transmit.
Half-duplex speaking-turn controller: offered / turn commit · case 03
While offered, event turn_commit produces offered/wait instead of speaking/enable_transmit.
Half-duplex speaking-turn controller: offered / turn commit · case 04
While offered, event turn_commit produces offered/wait instead of speaking/enable_transmit.
Half-duplex speaking-turn controller: offered / turn commit · case 05
While offered, event turn_commit produces offered/wait instead of speaking/enable_transmit.
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 ↗