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
Route advertisement lifecycle controller: candidate / loop detected · case 01
While candidate, event loop_detected produces usable/install instead of rejected/suppress.
Route advertisement lifecycle controller: candidate / loop detected · case 02
While candidate, event loop_detected produces usable/install instead of rejected/suppress.
Route advertisement lifecycle controller: candidate / loop detected · case 03
While candidate, event loop_detected produces usable/install instead of rejected/suppress.
Route advertisement lifecycle controller: candidate / loop detected · case 04
While candidate, event loop_detected produces usable/install instead of rejected/suppress.
Route advertisement lifecycle controller: candidate / loop detected · case 05
While candidate, event loop_detected produces usable/install instead of rejected/suppress.
Route advertisement lifecycle controller: usable / withdraw · case 01
While usable, event withdraw produces usable/keep instead of withdrawn/remove_and_propagate.
Route advertisement lifecycle controller: usable / withdraw · case 02
While usable, event withdraw produces usable/keep instead of withdrawn/remove_and_propagate.
Route advertisement lifecycle controller: usable / withdraw · case 03
While usable, event withdraw produces usable/keep instead of withdrawn/remove_and_propagate.
Route advertisement lifecycle controller: usable / withdraw · case 04
While usable, event withdraw produces usable/keep instead of withdrawn/remove_and_propagate.
Route advertisement lifecycle controller: usable / withdraw · case 05
While usable, event withdraw produces usable/keep instead of withdrawn/remove_and_propagate.
Route advertisement lifecycle controller: withdrawn / stale announce · case 01
While withdrawn, event stale_announce produces usable/install instead of withdrawn/suppress.
Route advertisement lifecycle controller: withdrawn / stale announce · case 02
While withdrawn, event stale_announce produces usable/install instead of withdrawn/suppress.
Route advertisement lifecycle controller: withdrawn / stale announce · case 03
While withdrawn, event stale_announce produces usable/install instead of withdrawn/suppress.
Route advertisement lifecycle controller: withdrawn / stale announce · case 04
While withdrawn, event stale_announce produces usable/install instead of withdrawn/suppress.
Route advertisement lifecycle controller: withdrawn / stale announce · case 05
While withdrawn, event stale_announce produces usable/install instead of withdrawn/suppress.
Route advertisement lifecycle controller: usable / newer announce · case 01
While usable, event newer_announce produces usable/install instead of candidate/hold_validate.
Route advertisement lifecycle controller: usable / newer announce · case 02
While usable, event newer_announce produces usable/install instead of candidate/hold_validate.
Route advertisement lifecycle controller: usable / newer announce · case 03
While usable, event newer_announce produces usable/install instead of candidate/hold_validate.
Route advertisement lifecycle controller: usable / newer announce · case 04
While usable, event newer_announce produces usable/install instead of candidate/hold_validate.
Route advertisement lifecycle controller: usable / newer announce · case 05
While usable, event newer_announce produces usable/install instead of candidate/hold_validate.
Route advertisement lifecycle controller: usable / neighbor down · case 01
While usable, event neighbor_down produces usable/keep instead of unreachable/invalidate.
Route advertisement lifecycle controller: usable / neighbor down · case 02
While usable, event neighbor_down produces usable/keep instead of unreachable/invalidate.
Route advertisement lifecycle controller: usable / neighbor down · case 03
While usable, event neighbor_down produces usable/keep instead of unreachable/invalidate.
Route advertisement lifecycle controller: usable / neighbor down · case 04
While usable, event neighbor_down produces usable/keep instead of unreachable/invalidate.
Route advertisement lifecycle controller: usable / neighbor down · case 05
While usable, event neighbor_down produces usable/keep instead of unreachable/invalidate.
Route advertisement lifecycle controller: unreachable / neighbor up · case 01
While unreachable, event neighbor_up produces usable/install_cached instead of unknown/request_refresh.
Route advertisement lifecycle controller: unreachable / neighbor up · case 02
While unreachable, event neighbor_up produces usable/install_cached instead of unknown/request_refresh.
Route advertisement lifecycle controller: unreachable / neighbor up · case 03
While unreachable, event neighbor_up produces usable/install_cached instead of unknown/request_refresh.
Route advertisement lifecycle controller: unreachable / neighbor up · case 04
While unreachable, event neighbor_up produces usable/install_cached instead of unknown/request_refresh.
Route advertisement lifecycle controller: unreachable / neighbor up · case 05
While unreachable, event neighbor_up produces usable/install_cached instead of unknown/request_refresh.
Route advertisement lifecycle controller: rejected / corrected announce · case 01
While rejected, event corrected_announce produces rejected/suppress instead of candidate/check_path.
Route advertisement lifecycle controller: rejected / corrected announce · case 02
While rejected, event corrected_announce produces rejected/suppress instead of candidate/check_path.
Route advertisement lifecycle controller: rejected / corrected announce · case 03
While rejected, event corrected_announce produces rejected/suppress instead of candidate/check_path.
Route advertisement lifecycle controller: rejected / corrected announce · case 04
While rejected, event corrected_announce produces rejected/suppress instead of candidate/check_path.
Route advertisement lifecycle controller: rejected / corrected announce · case 05
While rejected, event corrected_announce produces rejected/suppress instead of candidate/check_path.
Route advertisement lifecycle controller: usable / duplicate announce · case 01
While usable, event duplicate_announce produces candidate/check_path instead of usable/refresh_liveness.
Route advertisement lifecycle controller: usable / duplicate announce · case 02
While usable, event duplicate_announce produces candidate/check_path instead of usable/refresh_liveness.
Route advertisement lifecycle controller: usable / duplicate announce · case 03
While usable, event duplicate_announce produces candidate/check_path instead of usable/refresh_liveness.
Route advertisement lifecycle controller: usable / duplicate announce · case 04
While usable, event duplicate_announce produces candidate/check_path instead of usable/refresh_liveness.
Route advertisement lifecycle controller: usable / duplicate announce · case 05
While usable, event duplicate_announce produces candidate/check_path instead of usable/refresh_liveness.
Application schema-version exchange controller: unset / describe · case 01
While unset, event describe produces ready/send_records instead of described/send_schema_id.
Application schema-version exchange controller: unset / describe · case 02
While unset, event describe produces ready/send_records instead of described/send_schema_id.
Application schema-version exchange controller: unset / describe · case 03
While unset, event describe produces ready/send_records instead of described/send_schema_id.
Application schema-version exchange controller: unset / describe · case 04
While unset, event describe produces ready/send_records instead of described/send_schema_id.
Application schema-version exchange controller: unset / describe · case 05
While unset, event describe produces ready/send_records instead of described/send_schema_id.
Application schema-version exchange controller: described / known schema · case 01
While described, event known_schema produces described/wait instead of ready/ack_schema.
Application schema-version exchange controller: described / known schema · case 02
While described, event known_schema produces described/wait instead of ready/ack_schema.
Application schema-version exchange controller: described / known schema · case 03
While described, event known_schema produces described/wait instead of ready/ack_schema.
Application schema-version exchange controller: described / known schema · case 04
While described, event known_schema produces described/wait instead of ready/ack_schema.
Application schema-version exchange controller: described / known schema · case 05
While described, event known_schema produces described/wait instead of ready/ack_schema.
Application schema-version exchange controller: described / unknown schema · case 01
While described, event unknown_schema produces ready/send_records instead of defining/send_definition.
Application schema-version exchange controller: described / unknown schema · case 02
While described, event unknown_schema produces ready/send_records instead of defining/send_definition.
Application schema-version exchange controller: described / unknown schema · case 03
While described, event unknown_schema produces ready/send_records instead of defining/send_definition.
Application schema-version exchange controller: described / unknown schema · case 04
While described, event unknown_schema produces ready/send_records instead of defining/send_definition.
Application schema-version exchange controller: described / unknown schema · case 05
While described, event unknown_schema produces ready/send_records instead of defining/send_definition.
Application schema-version exchange controller: defining / definition accepted · case 01
While defining, event definition_accepted produces defining/wait instead of ready/enable_records.
Application schema-version exchange controller: defining / definition accepted · case 02
While defining, event definition_accepted produces defining/wait instead of ready/enable_records.
Application schema-version exchange controller: defining / definition accepted · case 03
While defining, event definition_accepted produces defining/wait instead of ready/enable_records.
Application schema-version exchange controller: defining / definition accepted · case 04
While defining, event definition_accepted produces defining/wait instead of ready/enable_records.
Application schema-version exchange controller: defining / definition accepted · case 05
While defining, event definition_accepted produces defining/wait instead of ready/enable_records.
Application schema-version exchange controller: defining / definition rejected · case 01
While defining, event definition_rejected produces ready/enable_records instead of failed/stop_records.
Application schema-version exchange controller: defining / definition rejected · case 02
While defining, event definition_rejected produces ready/enable_records instead of failed/stop_records.
Application schema-version exchange controller: defining / definition rejected · case 03
While defining, event definition_rejected produces ready/enable_records instead of failed/stop_records.
Application schema-version exchange controller: defining / definition rejected · case 04
While defining, event definition_rejected produces ready/enable_records instead of failed/stop_records.
Application schema-version exchange controller: defining / definition rejected · case 05
While defining, event definition_rejected produces ready/enable_records instead of failed/stop_records.
Application schema-version exchange controller: ready / schema change · case 01
While ready, event schema_change produces ready/send_records instead of described/pause_describe.
Application schema-version exchange controller: ready / schema change · case 02
While ready, event schema_change produces ready/send_records instead of described/pause_describe.
Application schema-version exchange controller: ready / schema change · case 03
While ready, event schema_change produces ready/send_records instead of described/pause_describe.
Application schema-version exchange controller: ready / schema change · case 04
While ready, event schema_change produces ready/send_records instead of described/pause_describe.
Application schema-version exchange controller: ready / schema change · case 05
While ready, event schema_change produces ready/send_records instead of described/pause_describe.
Application schema-version exchange controller: ready / record · case 01
While ready, event record produces ready/decode_latest instead of ready/decode_agreed.
Application schema-version exchange controller: ready / record · case 02
While ready, event record produces ready/decode_latest instead of ready/decode_agreed.
Application schema-version exchange controller: ready / record · case 03
While ready, event record produces ready/decode_latest instead of ready/decode_agreed.
Application schema-version exchange controller: ready / record · case 04
While ready, event record produces ready/decode_latest instead of ready/decode_agreed.
Application schema-version exchange controller: ready / record · case 05
While ready, event record produces ready/decode_latest instead of ready/decode_agreed.
Application schema-version exchange controller: unset / record · case 01
While unset, event record produces ready/decode_default instead of unset/reject_untyped.
Application schema-version exchange controller: unset / record · case 02
While unset, event record produces ready/decode_default instead of unset/reject_untyped.
Application schema-version exchange controller: unset / record · case 03
While unset, event record produces ready/decode_default instead of unset/reject_untyped.
Application schema-version exchange controller: unset / record · case 04
While unset, event record produces ready/decode_default instead of unset/reject_untyped.
Application schema-version exchange controller: unset / record · case 05
While unset, event record produces ready/decode_default instead of unset/reject_untyped.
Application schema-version exchange controller: failed / fresh description · case 01
While failed, event fresh_description produces failed/stop_records instead of described/send_schema_id.
Application schema-version exchange controller: failed / fresh description · case 02
While failed, event fresh_description produces failed/stop_records instead of described/send_schema_id.
Application schema-version exchange controller: failed / fresh description · case 03
While failed, event fresh_description produces failed/stop_records instead of described/send_schema_id.
Application schema-version exchange controller: failed / fresh description · case 04
While failed, event fresh_description produces failed/stop_records instead of described/send_schema_id.
Application schema-version exchange controller: failed / fresh description · case 05
While failed, event fresh_description produces failed/stop_records instead of described/send_schema_id.
Application schema-version exchange controller: ready / duplicate definition · case 01
While ready, event duplicate_definition produces defining/replace_schema instead of ready/ack_existing.
Application schema-version exchange controller: ready / duplicate definition · case 02
While ready, event duplicate_definition produces defining/replace_schema instead of ready/ack_existing.
Application schema-version exchange controller: ready / duplicate definition · case 03
While ready, event duplicate_definition produces defining/replace_schema instead of ready/ack_existing.
Application schema-version exchange controller: ready / duplicate definition · case 04
While ready, event duplicate_definition produces defining/replace_schema instead of ready/ack_existing.
Application schema-version exchange controller: ready / duplicate definition · case 05
While ready, event duplicate_definition produces defining/replace_schema instead of ready/ack_existing.
Compression dictionary installation controller: empty / offer · case 01
While empty, event offer produces active/compress instead of offered/send_fingerprint.
Compression dictionary installation controller: empty / offer · case 02
While empty, event offer produces active/compress instead of offered/send_fingerprint.
Compression dictionary installation controller: empty / offer · case 03
While empty, event offer produces active/compress instead of offered/send_fingerprint.
Compression dictionary installation controller: empty / offer · case 04
While empty, event offer produces active/compress instead of offered/send_fingerprint.
Compression dictionary installation controller: empty / offer · case 05
While empty, event offer produces active/compress instead of offered/send_fingerprint.
Compression dictionary installation controller: offered / cache hit · case 01
While offered, event cache_hit produces installing/send_dictionary instead of active/select_cached.
Compression dictionary installation controller: offered / cache hit · case 02
While offered, event cache_hit produces installing/send_dictionary instead of active/select_cached.
Compression dictionary installation controller: offered / cache hit · case 03
While offered, event cache_hit produces installing/send_dictionary instead of active/select_cached.
Compression dictionary installation controller: offered / cache hit · case 04
While offered, event cache_hit produces installing/send_dictionary instead of active/select_cached.
Compression dictionary installation controller: offered / cache hit · case 05
While offered, event cache_hit produces installing/send_dictionary instead of active/select_cached.
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 ↗