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
Acknowledged telemetry publication window controller: collecting / close window · case 01
While collecting, event close_window produces published/send_partial instead of sealed/seal_samples.
Acknowledged telemetry publication window controller: collecting / close window · case 02
While collecting, event close_window produces published/send_partial instead of sealed/seal_samples.
Acknowledged telemetry publication window controller: collecting / close window · case 03
While collecting, event close_window produces published/send_partial instead of sealed/seal_samples.
Acknowledged telemetry publication window controller: collecting / close window · case 04
While collecting, event close_window produces published/send_partial instead of sealed/seal_samples.
Acknowledged telemetry publication window controller: collecting / close window · case 05
While collecting, event close_window produces published/send_partial instead of sealed/seal_samples.
Acknowledged telemetry publication window controller: sealed / publish · case 01
While sealed, event publish produces idle/release_window instead of awaiting/send_window.
Acknowledged telemetry publication window controller: sealed / publish · case 02
While sealed, event publish produces idle/release_window instead of awaiting/send_window.
Acknowledged telemetry publication window controller: sealed / publish · case 03
While sealed, event publish produces idle/release_window instead of awaiting/send_window.
Acknowledged telemetry publication window controller: sealed / publish · case 04
While sealed, event publish produces idle/release_window instead of awaiting/send_window.
Acknowledged telemetry publication window controller: sealed / publish · case 05
While sealed, event publish produces idle/release_window instead of awaiting/send_window.
Acknowledged telemetry publication window controller: awaiting / window ack · case 01
While awaiting, event window_ack produces idle/delete_immediately instead of published/mark_delivered.
Acknowledged telemetry publication window controller: awaiting / window ack · case 02
While awaiting, event window_ack produces idle/delete_immediately instead of published/mark_delivered.
Acknowledged telemetry publication window controller: awaiting / window ack · case 03
While awaiting, event window_ack produces idle/delete_immediately instead of published/mark_delivered.
Acknowledged telemetry publication window controller: awaiting / window ack · case 04
While awaiting, event window_ack produces idle/delete_immediately instead of published/mark_delivered.
Acknowledged telemetry publication window controller: awaiting / window ack · case 05
While awaiting, event window_ack produces idle/delete_immediately instead of published/mark_delivered.
Acknowledged telemetry publication window controller: awaiting / wrong window ack · case 01
While awaiting, event wrong_window_ack produces published/mark_delivered instead of awaiting/ignore_unmatched.
Acknowledged telemetry publication window controller: awaiting / wrong window ack · case 02
While awaiting, event wrong_window_ack produces published/mark_delivered instead of awaiting/ignore_unmatched.
Acknowledged telemetry publication window controller: awaiting / wrong window ack · case 03
While awaiting, event wrong_window_ack produces published/mark_delivered instead of awaiting/ignore_unmatched.
Acknowledged telemetry publication window controller: awaiting / wrong window ack · case 04
While awaiting, event wrong_window_ack produces published/mark_delivered instead of awaiting/ignore_unmatched.
Acknowledged telemetry publication window controller: awaiting / wrong window ack · case 05
While awaiting, event wrong_window_ack produces published/mark_delivered instead of awaiting/ignore_unmatched.
Acknowledged telemetry publication window controller: published / retention done · case 01
While published, event retention_done produces published/retain instead of idle/release_window.
Acknowledged telemetry publication window controller: published / retention done · case 02
While published, event retention_done produces published/retain instead of idle/release_window.
Acknowledged telemetry publication window controller: published / retention done · case 03
While published, event retention_done produces published/retain instead of idle/release_window.
Acknowledged telemetry publication window controller: published / retention done · case 04
While published, event retention_done produces published/retain instead of idle/release_window.
Acknowledged telemetry publication window controller: published / retention done · case 05
While published, event retention_done produces published/retain instead of idle/release_window.
Acknowledged telemetry publication window controller: sealed / sample · case 01
While sealed, event sample produces collecting/append_sample instead of sealed/queue_next_window.
Acknowledged telemetry publication window controller: sealed / sample · case 02
While sealed, event sample produces collecting/append_sample instead of sealed/queue_next_window.
Acknowledged telemetry publication window controller: sealed / sample · case 03
While sealed, event sample produces collecting/append_sample instead of sealed/queue_next_window.
Acknowledged telemetry publication window controller: sealed / sample · case 04
While sealed, event sample produces collecting/append_sample instead of sealed/queue_next_window.
Acknowledged telemetry publication window controller: sealed / sample · case 05
While sealed, event sample produces collecting/append_sample instead of sealed/queue_next_window.
Acknowledged telemetry publication window controller: awaiting / receiver backpressure · case 01
While awaiting, event receiver_backpressure produces idle/drop_window instead of paused/retain_window.
Acknowledged telemetry publication window controller: awaiting / receiver backpressure · case 02
While awaiting, event receiver_backpressure produces idle/drop_window instead of paused/retain_window.
Acknowledged telemetry publication window controller: awaiting / receiver backpressure · case 03
While awaiting, event receiver_backpressure produces idle/drop_window instead of paused/retain_window.
Acknowledged telemetry publication window controller: awaiting / receiver backpressure · case 04
While awaiting, event receiver_backpressure produces idle/drop_window instead of paused/retain_window.
Acknowledged telemetry publication window controller: awaiting / receiver backpressure · case 05
While awaiting, event receiver_backpressure produces idle/drop_window instead of paused/retain_window.
Acknowledged telemetry publication window controller: paused / receiver ready · case 01
While paused, event receiver_ready produces collecting/rebuild_window instead of awaiting/resume_same_window.
Acknowledged telemetry publication window controller: paused / receiver ready · case 02
While paused, event receiver_ready produces collecting/rebuild_window instead of awaiting/resume_same_window.
Acknowledged telemetry publication window controller: paused / receiver ready · case 03
While paused, event receiver_ready produces collecting/rebuild_window instead of awaiting/resume_same_window.
Acknowledged telemetry publication window controller: paused / receiver ready · case 04
While paused, event receiver_ready produces collecting/rebuild_window instead of awaiting/resume_same_window.
Acknowledged telemetry publication window controller: paused / receiver ready · case 05
While paused, event receiver_ready produces collecting/rebuild_window instead of awaiting/resume_same_window.
Two-peer rendezvous role assignment controller: empty / first arrival · case 01
While empty, event first_arrival produces paired/notify_pair instead of waiting/record_first.
Two-peer rendezvous role assignment controller: empty / first arrival · case 02
While empty, event first_arrival produces paired/notify_pair instead of waiting/record_first.
Two-peer rendezvous role assignment controller: empty / first arrival · case 03
While empty, event first_arrival produces paired/notify_pair instead of waiting/record_first.
Two-peer rendezvous role assignment controller: empty / first arrival · case 04
While empty, event first_arrival produces paired/notify_pair instead of waiting/record_first.
Two-peer rendezvous role assignment controller: empty / first arrival · case 05
While empty, event first_arrival produces paired/notify_pair instead of waiting/record_first.
Two-peer rendezvous role assignment controller: waiting / second arrival · case 01
While waiting, event second_arrival produces waiting/replace_first instead of paired/assign_complementary_roles.
Two-peer rendezvous role assignment controller: waiting / second arrival · case 02
While waiting, event second_arrival produces waiting/replace_first instead of paired/assign_complementary_roles.
Two-peer rendezvous role assignment controller: waiting / second arrival · case 03
While waiting, event second_arrival produces waiting/replace_first instead of paired/assign_complementary_roles.
Two-peer rendezvous role assignment controller: waiting / second arrival · case 04
While waiting, event second_arrival produces waiting/replace_first instead of paired/assign_complementary_roles.
Two-peer rendezvous role assignment controller: waiting / second arrival · case 05
While waiting, event second_arrival produces waiting/replace_first instead of paired/assign_complementary_roles.
Two-peer rendezvous role assignment controller: paired / first ready · case 01
While paired, event first_ready produces active/start_both instead of one_ready/record_ready.
Two-peer rendezvous role assignment controller: paired / first ready · case 02
While paired, event first_ready produces active/start_both instead of one_ready/record_ready.
Two-peer rendezvous role assignment controller: paired / first ready · case 03
While paired, event first_ready produces active/start_both instead of one_ready/record_ready.
Two-peer rendezvous role assignment controller: paired / first ready · case 04
While paired, event first_ready produces active/start_both instead of one_ready/record_ready.
Two-peer rendezvous role assignment controller: paired / first ready · case 05
While paired, event first_ready produces active/start_both instead of one_ready/record_ready.
Two-peer rendezvous role assignment controller: one ready / second ready · case 01
While one_ready, event second_ready produces one_ready/wait instead of active/start_both.
Two-peer rendezvous role assignment controller: one ready / second ready · case 02
While one_ready, event second_ready produces one_ready/wait instead of active/start_both.
Two-peer rendezvous role assignment controller: one ready / second ready · case 03
While one_ready, event second_ready produces one_ready/wait instead of active/start_both.
Two-peer rendezvous role assignment controller: one ready / second ready · case 04
While one_ready, event second_ready produces one_ready/wait instead of active/start_both.
Two-peer rendezvous role assignment controller: one ready / second ready · case 05
While one_ready, event second_ready produces one_ready/wait instead of active/start_both.
Two-peer rendezvous role assignment controller: waiting / first withdraws · case 01
While waiting, event first_withdraws produces waiting/keep_first instead of empty/remove_first.
Two-peer rendezvous role assignment controller: waiting / first withdraws · case 02
While waiting, event first_withdraws produces waiting/keep_first instead of empty/remove_first.
Two-peer rendezvous role assignment controller: waiting / first withdraws · case 03
While waiting, event first_withdraws produces waiting/keep_first instead of empty/remove_first.
Two-peer rendezvous role assignment controller: waiting / first withdraws · case 04
While waiting, event first_withdraws produces waiting/keep_first instead of empty/remove_first.
Two-peer rendezvous role assignment controller: waiting / first withdraws · case 05
While waiting, event first_withdraws produces waiting/keep_first instead of empty/remove_first.
Two-peer rendezvous role assignment controller: paired / partner withdraws · case 01
While paired, event partner_withdraws produces active/start_both instead of waiting/notify_requeue_survivor.
Two-peer rendezvous role assignment controller: paired / partner withdraws · case 02
While paired, event partner_withdraws produces active/start_both instead of waiting/notify_requeue_survivor.
Two-peer rendezvous role assignment controller: paired / partner withdraws · case 03
While paired, event partner_withdraws produces active/start_both instead of waiting/notify_requeue_survivor.
Two-peer rendezvous role assignment controller: paired / partner withdraws · case 04
While paired, event partner_withdraws produces active/start_both instead of waiting/notify_requeue_survivor.
Two-peer rendezvous role assignment controller: paired / partner withdraws · case 05
While paired, event partner_withdraws produces active/start_both instead of waiting/notify_requeue_survivor.
Two-peer rendezvous role assignment controller: active / third arrival · case 01
While active, event third_arrival produces paired/replace_partner instead of active/reject_full.
Two-peer rendezvous role assignment controller: active / third arrival · case 02
While active, event third_arrival produces paired/replace_partner instead of active/reject_full.
Two-peer rendezvous role assignment controller: active / third arrival · case 03
While active, event third_arrival produces paired/replace_partner instead of active/reject_full.
Two-peer rendezvous role assignment controller: active / third arrival · case 04
While active, event third_arrival produces paired/replace_partner instead of active/reject_full.
Two-peer rendezvous role assignment controller: active / third arrival · case 05
While active, event third_arrival produces paired/replace_partner instead of active/reject_full.
Two-peer rendezvous role assignment controller: one ready / duplicate ready · case 01
While one_ready, event duplicate_ready produces active/start_both instead of one_ready/ack_existing.
Two-peer rendezvous role assignment controller: one ready / duplicate ready · case 02
While one_ready, event duplicate_ready produces active/start_both instead of one_ready/ack_existing.
Two-peer rendezvous role assignment controller: one ready / duplicate ready · case 03
While one_ready, event duplicate_ready produces active/start_both instead of one_ready/ack_existing.
Two-peer rendezvous role assignment controller: one ready / duplicate ready · case 04
While one_ready, event duplicate_ready produces active/start_both instead of one_ready/ack_existing.
Two-peer rendezvous role assignment controller: one ready / duplicate ready · case 05
While one_ready, event duplicate_ready produces active/start_both instead of one_ready/ack_existing.
Two-peer rendezvous role assignment controller: empty / ready · case 01
While empty, event ready produces one_ready/record_ready instead of empty/reject_unpaired.
Two-peer rendezvous role assignment controller: empty / ready · case 02
While empty, event ready produces one_ready/record_ready instead of empty/reject_unpaired.
Two-peer rendezvous role assignment controller: empty / ready · case 03
While empty, event ready produces one_ready/record_ready instead of empty/reject_unpaired.
Two-peer rendezvous role assignment controller: empty / ready · case 04
While empty, event ready produces one_ready/record_ready instead of empty/reject_unpaired.
Two-peer rendezvous role assignment controller: empty / ready · case 05
While empty, event ready produces one_ready/record_ready instead of empty/reject_unpaired.
Two-peer rendezvous role assignment controller: active / both done · case 01
While active, event both_done produces active/retain instead of empty/release_pair.
Two-peer rendezvous role assignment controller: active / both done · case 02
While active, event both_done produces active/retain instead of empty/release_pair.
Two-peer rendezvous role assignment controller: active / both done · case 03
While active, event both_done produces active/retain instead of empty/release_pair.
Two-peer rendezvous role assignment controller: active / both done · case 04
While active, event both_done produces active/retain instead of empty/release_pair.
Two-peer rendezvous role assignment controller: active / both done · case 05
While active, event both_done produces active/retain instead of empty/release_pair.
Mirror baseline and delta cutover controller: empty / baseline offer · case 01
While empty, event baseline_offer produces live/accept_deltas instead of copying/create_shadow.
Mirror baseline and delta cutover controller: empty / baseline offer · case 02
While empty, event baseline_offer produces live/accept_deltas instead of copying/create_shadow.
Mirror baseline and delta cutover controller: empty / baseline offer · case 03
While empty, event baseline_offer produces live/accept_deltas instead of copying/create_shadow.
Mirror baseline and delta cutover controller: empty / baseline offer · case 04
While empty, event baseline_offer produces live/accept_deltas instead of copying/create_shadow.
Mirror baseline and delta cutover controller: empty / baseline offer · case 05
While empty, event baseline_offer produces live/accept_deltas instead of copying/create_shadow.
Mirror baseline and delta cutover controller: copying / baseline item · case 01
While copying, event baseline_item produces live/write_live instead of copying/write_shadow.
Mirror baseline and delta cutover controller: copying / baseline item · case 02
While copying, event baseline_item produces live/write_live instead of copying/write_shadow.
Mirror baseline and delta cutover controller: copying / baseline item · case 03
While copying, event baseline_item produces live/write_live instead of copying/write_shadow.
Mirror baseline and delta cutover controller: copying / baseline item · case 04
While copying, event baseline_item produces live/write_live instead of copying/write_shadow.
Mirror baseline and delta cutover controller: copying / baseline item · case 05
While copying, event baseline_item produces live/write_live instead of copying/write_shadow.
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 ↗