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
Print-spool job transfer controller: page / page end · case 01
While page, event page_end produces printing/start_engine instead of declared/seal_page.
Print-spool job transfer controller: page / page end · case 02
While page, event page_end produces printing/start_engine instead of declared/seal_page.
Print-spool job transfer controller: page / page end · case 03
While page, event page_end produces printing/start_engine instead of declared/seal_page.
Print-spool job transfer controller: page / page end · case 04
While page, event page_end produces printing/start_engine instead of declared/seal_page.
Print-spool job transfer controller: page / page end · case 05
While page, event page_end produces printing/start_engine instead of declared/seal_page.
Print-spool job transfer controller: declared / job end · case 01
While declared, event job_end produces printing/start_partial instead of queued/enqueue_job.
Print-spool job transfer controller: declared / job end · case 02
While declared, event job_end produces printing/start_partial instead of queued/enqueue_job.
Print-spool job transfer controller: declared / job end · case 03
While declared, event job_end produces printing/start_partial instead of queued/enqueue_job.
Print-spool job transfer controller: declared / job end · case 04
While declared, event job_end produces printing/start_partial instead of queued/enqueue_job.
Print-spool job transfer controller: declared / job end · case 05
While declared, event job_end produces printing/start_partial instead of queued/enqueue_job.
Print-spool job transfer controller: page / job end · case 01
While page, event job_end produces queued/enqueue_job instead of page/reject_unsealed.
Print-spool job transfer controller: page / job end · case 02
While page, event job_end produces queued/enqueue_job instead of page/reject_unsealed.
Print-spool job transfer controller: page / job end · case 03
While page, event job_end produces queued/enqueue_job instead of page/reject_unsealed.
Print-spool job transfer controller: page / job end · case 04
While page, event job_end produces queued/enqueue_job instead of page/reject_unsealed.
Print-spool job transfer controller: page / job end · case 05
While page, event job_end produces queued/enqueue_job instead of page/reject_unsealed.
Print-spool job transfer controller: queued / engine accept · case 01
While queued, event engine_accept produces queued/enqueue_again instead of printing/transfer_ownership.
Print-spool job transfer controller: queued / engine accept · case 02
While queued, event engine_accept produces queued/enqueue_again instead of printing/transfer_ownership.
Print-spool job transfer controller: queued / engine accept · case 03
While queued, event engine_accept produces queued/enqueue_again instead of printing/transfer_ownership.
Print-spool job transfer controller: queued / engine accept · case 04
While queued, event engine_accept produces queued/enqueue_again instead of printing/transfer_ownership.
Print-spool job transfer controller: queued / engine accept · case 05
While queued, event engine_accept produces queued/enqueue_again instead of printing/transfer_ownership.
Print-spool job transfer controller: printing / completed · case 01
While printing, event completed produces printing/wait instead of done/report_success.
Print-spool job transfer controller: printing / completed · case 02
While printing, event completed produces printing/wait instead of done/report_success.
Print-spool job transfer controller: printing / completed · case 03
While printing, event completed produces printing/wait instead of done/report_success.
Print-spool job transfer controller: printing / completed · case 04
While printing, event completed produces printing/wait instead of done/report_success.
Print-spool job transfer controller: printing / completed · case 05
While printing, event completed produces printing/wait instead of done/report_success.
Print-spool job transfer controller: printing / paper fault · case 01
While printing, event paper_fault produces done/report_success instead of held/report_intervention.
Print-spool job transfer controller: printing / paper fault · case 02
While printing, event paper_fault produces done/report_success instead of held/report_intervention.
Print-spool job transfer controller: printing / paper fault · case 03
While printing, event paper_fault produces done/report_success instead of held/report_intervention.
Print-spool job transfer controller: printing / paper fault · case 04
While printing, event paper_fault produces done/report_success instead of held/report_intervention.
Print-spool job transfer controller: printing / paper fault · case 05
While printing, event paper_fault produces done/report_success instead of held/report_intervention.
Print-spool job transfer controller: held / operator resume · case 01
While held, event operator_resume produces queued/restart_entire_job instead of printing/resume_engine.
Print-spool job transfer controller: held / operator resume · case 02
While held, event operator_resume produces queued/restart_entire_job instead of printing/resume_engine.
Print-spool job transfer controller: held / operator resume · case 03
While held, event operator_resume produces queued/restart_entire_job instead of printing/resume_engine.
Print-spool job transfer controller: held / operator resume · case 04
While held, event operator_resume produces queued/restart_entire_job instead of printing/resume_engine.
Print-spool job transfer controller: held / operator resume · case 05
While held, event operator_resume produces queued/restart_entire_job instead of printing/resume_engine.
Print-spool job transfer controller: queued / cancel job · case 01
While queued, event cancel_job produces printing/start_engine instead of cancelled/dequeue_delete.
Print-spool job transfer controller: queued / cancel job · case 02
While queued, event cancel_job produces printing/start_engine instead of cancelled/dequeue_delete.
Print-spool job transfer controller: queued / cancel job · case 03
While queued, event cancel_job produces printing/start_engine instead of cancelled/dequeue_delete.
Print-spool job transfer controller: queued / cancel job · case 04
While queued, event cancel_job produces printing/start_engine instead of cancelled/dequeue_delete.
Print-spool job transfer controller: queued / cancel job · case 05
While queued, event cancel_job produces printing/start_engine instead of cancelled/dequeue_delete.
Negotiated urgent-message lane controller: ordinary / request urgent · case 01
While ordinary, event request_urgent produces urgent/send_urgent instead of requested/send_lane_request.
Negotiated urgent-message lane controller: ordinary / request urgent · case 02
While ordinary, event request_urgent produces urgent/send_urgent instead of requested/send_lane_request.
Negotiated urgent-message lane controller: ordinary / request urgent · case 03
While ordinary, event request_urgent produces urgent/send_urgent instead of requested/send_lane_request.
Negotiated urgent-message lane controller: ordinary / request urgent · case 04
While ordinary, event request_urgent produces urgent/send_urgent instead of requested/send_lane_request.
Negotiated urgent-message lane controller: ordinary / request urgent · case 05
While ordinary, event request_urgent produces urgent/send_urgent instead of requested/send_lane_request.
Negotiated urgent-message lane controller: requested / lane granted · case 01
While requested, event lane_granted produces requested/wait instead of urgent/bind_lane.
Negotiated urgent-message lane controller: requested / lane granted · case 02
While requested, event lane_granted produces requested/wait instead of urgent/bind_lane.
Negotiated urgent-message lane controller: requested / lane granted · case 03
While requested, event lane_granted produces requested/wait instead of urgent/bind_lane.
Negotiated urgent-message lane controller: requested / lane granted · case 04
While requested, event lane_granted produces requested/wait instead of urgent/bind_lane.
Negotiated urgent-message lane controller: requested / lane granted · case 05
While requested, event lane_granted produces requested/wait instead of urgent/bind_lane.
Negotiated urgent-message lane controller: requested / lane denied · case 01
While requested, event lane_denied produces urgent/send_urgent instead of ordinary/notify_denied.
Negotiated urgent-message lane controller: requested / lane denied · case 02
While requested, event lane_denied produces urgent/send_urgent instead of ordinary/notify_denied.
Negotiated urgent-message lane controller: requested / lane denied · case 03
While requested, event lane_denied produces urgent/send_urgent instead of ordinary/notify_denied.
Negotiated urgent-message lane controller: requested / lane denied · case 04
While requested, event lane_denied produces urgent/send_urgent instead of ordinary/notify_denied.
Negotiated urgent-message lane controller: requested / lane denied · case 05
While requested, event lane_denied produces urgent/send_urgent instead of ordinary/notify_denied.
Negotiated urgent-message lane controller: urgent / budget empty · case 01
While urgent, event budget_empty produces urgent/send_urgent instead of throttled/queue_urgent.
Negotiated urgent-message lane controller: urgent / budget empty · case 02
While urgent, event budget_empty produces urgent/send_urgent instead of throttled/queue_urgent.
Negotiated urgent-message lane controller: urgent / budget empty · case 03
While urgent, event budget_empty produces urgent/send_urgent instead of throttled/queue_urgent.
Negotiated urgent-message lane controller: urgent / budget empty · case 04
While urgent, event budget_empty produces urgent/send_urgent instead of throttled/queue_urgent.
Negotiated urgent-message lane controller: urgent / budget empty · case 05
While urgent, event budget_empty produces urgent/send_urgent instead of throttled/queue_urgent.
Negotiated urgent-message lane controller: throttled / budget grant · case 01
While throttled, event budget_grant produces throttled/wait instead of urgent/drain_urgent.
Negotiated urgent-message lane controller: throttled / budget grant · case 02
While throttled, event budget_grant produces throttled/wait instead of urgent/drain_urgent.
Negotiated urgent-message lane controller: throttled / budget grant · case 03
While throttled, event budget_grant produces throttled/wait instead of urgent/drain_urgent.
Negotiated urgent-message lane controller: throttled / budget grant · case 04
While throttled, event budget_grant produces throttled/wait instead of urgent/drain_urgent.
Negotiated urgent-message lane controller: throttled / budget grant · case 05
While throttled, event budget_grant produces throttled/wait instead of urgent/drain_urgent.
Negotiated urgent-message lane controller: urgent / lane revoked · case 01
While urgent, event lane_revoked produces ordinary/relabel_inflight instead of draining/stop_admission.
Negotiated urgent-message lane controller: urgent / lane revoked · case 02
While urgent, event lane_revoked produces ordinary/relabel_inflight instead of draining/stop_admission.
Negotiated urgent-message lane controller: urgent / lane revoked · case 03
While urgent, event lane_revoked produces ordinary/relabel_inflight instead of draining/stop_admission.
Negotiated urgent-message lane controller: urgent / lane revoked · case 04
While urgent, event lane_revoked produces ordinary/relabel_inflight instead of draining/stop_admission.
Negotiated urgent-message lane controller: urgent / lane revoked · case 05
While urgent, event lane_revoked produces ordinary/relabel_inflight instead of draining/stop_admission.
Negotiated urgent-message lane controller: draining / inflight empty · case 01
While draining, event inflight_empty produces draining/wait instead of ordinary/release_lane.
Negotiated urgent-message lane controller: draining / inflight empty · case 02
While draining, event inflight_empty produces draining/wait instead of ordinary/release_lane.
Negotiated urgent-message lane controller: draining / inflight empty · case 03
While draining, event inflight_empty produces draining/wait instead of ordinary/release_lane.
Negotiated urgent-message lane controller: draining / inflight empty · case 04
While draining, event inflight_empty produces draining/wait instead of ordinary/release_lane.
Negotiated urgent-message lane controller: draining / inflight empty · case 05
While draining, event inflight_empty produces draining/wait instead of ordinary/release_lane.
Negotiated urgent-message lane controller: throttled / ordinary message · case 01
While throttled, event ordinary_message produces throttled/queue_ordinary instead of throttled/send_ordinary.
Negotiated urgent-message lane controller: throttled / ordinary message · case 02
While throttled, event ordinary_message produces throttled/queue_ordinary instead of throttled/send_ordinary.
Negotiated urgent-message lane controller: throttled / ordinary message · case 03
While throttled, event ordinary_message produces throttled/queue_ordinary instead of throttled/send_ordinary.
Negotiated urgent-message lane controller: throttled / ordinary message · case 04
While throttled, event ordinary_message produces throttled/queue_ordinary instead of throttled/send_ordinary.
Negotiated urgent-message lane controller: throttled / ordinary message · case 05
While throttled, event ordinary_message produces throttled/queue_ordinary instead of throttled/send_ordinary.
Negotiated urgent-message lane controller: urgent / ordinary message · case 01
While urgent, event ordinary_message produces urgent/send_urgent instead of urgent/send_ordinary.
Negotiated urgent-message lane controller: urgent / ordinary message · case 02
While urgent, event ordinary_message produces urgent/send_urgent instead of urgent/send_ordinary.
Negotiated urgent-message lane controller: urgent / ordinary message · case 03
While urgent, event ordinary_message produces urgent/send_urgent instead of urgent/send_ordinary.
Negotiated urgent-message lane controller: urgent / ordinary message · case 04
While urgent, event ordinary_message produces urgent/send_urgent instead of urgent/send_ordinary.
Negotiated urgent-message lane controller: urgent / ordinary message · case 05
While urgent, event ordinary_message produces urgent/send_urgent instead of urgent/send_ordinary.
Negotiated urgent-message lane controller: ordinary / urgent receipt · case 01
While ordinary, event urgent_receipt produces urgent/bind_lane instead of ordinary/reject_unbound.
Negotiated urgent-message lane controller: ordinary / urgent receipt · case 02
While ordinary, event urgent_receipt produces urgent/bind_lane instead of ordinary/reject_unbound.
Negotiated urgent-message lane controller: ordinary / urgent receipt · case 03
While ordinary, event urgent_receipt produces urgent/bind_lane instead of ordinary/reject_unbound.
Negotiated urgent-message lane controller: ordinary / urgent receipt · case 04
While ordinary, event urgent_receipt produces urgent/bind_lane instead of ordinary/reject_unbound.
Negotiated urgent-message lane controller: ordinary / urgent receipt · case 05
While ordinary, event urgent_receipt produces urgent/bind_lane instead of ordinary/reject_unbound.
Two-party resource reservation controller: free / request · case 01
While free, event request produces reserved/confirm instead of tentative/hold_resource.
Two-party resource reservation controller: free / request · case 02
While free, event request produces reserved/confirm instead of tentative/hold_resource.
Two-party resource reservation controller: free / request · case 03
While free, event request produces reserved/confirm instead of tentative/hold_resource.
Two-party resource reservation controller: free / request · case 04
While free, event request produces reserved/confirm instead of tentative/hold_resource.
Two-party resource reservation controller: free / request · case 05
While free, event request produces reserved/confirm instead of tentative/hold_resource.
Two-party resource reservation controller: tentative / confirm · case 01
While tentative, event confirm produces free/release instead of reserved/commit_hold.
Two-party resource reservation controller: tentative / confirm · case 02
While tentative, event confirm produces free/release instead of reserved/commit_hold.
Two-party resource reservation controller: tentative / confirm · case 03
While tentative, event confirm produces free/release instead of reserved/commit_hold.
Two-party resource reservation controller: tentative / confirm · case 04
While tentative, event confirm produces free/release instead of reserved/commit_hold.
Two-party resource reservation controller: tentative / confirm · case 05
While tentative, event confirm produces free/release instead of reserved/commit_hold.
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 ↗