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
Install a replicated state snapshot: A snapshot rolls back applied state · case 01
The snapshot install operation is admitted even though a snapshot rolls back applied state.
Install a replicated state snapshot: A snapshot rolls back applied state · case 02
The snapshot install operation is admitted even though a snapshot rolls back applied state.
Install a replicated state snapshot: A snapshot rolls back applied state · case 03
The snapshot install operation is admitted even though a snapshot rolls back applied state.
Install a replicated state snapshot: A snapshot rolls back applied state · case 04
The snapshot install operation is admitted even though a snapshot rolls back applied state.
Install a replicated state snapshot: A snapshot rolls back applied state · case 05
The snapshot install operation is admitted even though a snapshot rolls back applied state.
Install a replicated state snapshot: An incomplete snapshot replaces the live state · case 01
The snapshot install operation is admitted even though an incomplete snapshot replaces the live state.
Install a replicated state snapshot: An incomplete snapshot replaces the live state · case 02
The snapshot install operation is admitted even though an incomplete snapshot replaces the live state.
Install a replicated state snapshot: An incomplete snapshot replaces the live state · case 03
The snapshot install operation is admitted even though an incomplete snapshot replaces the live state.
Install a replicated state snapshot: An incomplete snapshot replaces the live state · case 04
The snapshot install operation is admitted even though an incomplete snapshot replaces the live state.
Install a replicated state snapshot: An incomplete snapshot replaces the live state · case 05
The snapshot install operation is admitted even though an incomplete snapshot replaces the live state.
Install a replicated state snapshot: Corrupt snapshot contents become authoritative · case 01
The snapshot install operation is admitted even though corrupt snapshot contents become authoritative.
Install a replicated state snapshot: Corrupt snapshot contents become authoritative · case 02
The snapshot install operation is admitted even though corrupt snapshot contents become authoritative.
Install a replicated state snapshot: Corrupt snapshot contents become authoritative · case 03
The snapshot install operation is admitted even though corrupt snapshot contents become authoritative.
Install a replicated state snapshot: Corrupt snapshot contents become authoritative · case 04
The snapshot install operation is admitted even though corrupt snapshot contents become authoritative.
Install a replicated state snapshot: Corrupt snapshot contents become authoritative · case 05
The snapshot install operation is admitted even though corrupt snapshot contents become authoritative.
Install a replicated state snapshot: The snapshot omits its membership configuration · case 01
The snapshot install operation is admitted even though the snapshot omits its membership configuration.
Install a replicated state snapshot: The snapshot omits its membership configuration · case 02
The snapshot install operation is admitted even though the snapshot omits its membership configuration.
Install a replicated state snapshot: The snapshot omits its membership configuration · case 03
The snapshot install operation is admitted even though the snapshot omits its membership configuration.
Install a replicated state snapshot: The snapshot omits its membership configuration · case 04
The snapshot install operation is admitted even though the snapshot omits its membership configuration.
Install a replicated state snapshot: The snapshot omits its membership configuration · case 05
The snapshot install operation is admitted even though the snapshot omits its membership configuration.
Install a replicated state snapshot: Snapshot metadata refers to a different log term · case 01
The snapshot install operation is admitted even though snapshot metadata refers to a different log term.
Install a replicated state snapshot: Snapshot metadata refers to a different log term · case 02
The snapshot install operation is admitted even though snapshot metadata refers to a different log term.
Install a replicated state snapshot: Snapshot metadata refers to a different log term · case 03
The snapshot install operation is admitted even though snapshot metadata refers to a different log term.
Install a replicated state snapshot: Snapshot metadata refers to a different log term · case 04
The snapshot install operation is admitted even though snapshot metadata refers to a different log term.
Install a replicated state snapshot: Snapshot metadata refers to a different log term · case 05
The snapshot install operation is admitted even though snapshot metadata refers to a different log term.
Admit a leader log append: An old leader appends entries after a term change · case 01
The append log operation is admitted even though an old leader appends entries after a term change.
Admit a leader log append: An old leader appends entries after a term change · case 02
The append log operation is admitted even though an old leader appends entries after a term change.
Admit a leader log append: An old leader appends entries after a term change · case 03
The append log operation is admitted even though an old leader appends entries after a term change.
Admit a leader log append: An old leader appends entries after a term change · case 04
The append log operation is admitted even though an old leader appends entries after a term change.
Admit a leader log append: An old leader appends entries after a term change · case 05
The append log operation is admitted even though an old leader appends entries after a term change.
Admit a leader log append: An append references a missing predecessor index · case 01
The append log operation is admitted even though an append references a missing predecessor index.
Admit a leader log append: An append references a missing predecessor index · case 02
The append log operation is admitted even though an append references a missing predecessor index.
Admit a leader log append: An append references a missing predecessor index · case 03
The append log operation is admitted even though an append references a missing predecessor index.
Admit a leader log append: An append references a missing predecessor index · case 04
The append log operation is admitted even though an append references a missing predecessor index.
Admit a leader log append: An append references a missing predecessor index · case 05
The append log operation is admitted even though an append references a missing predecessor index.
Admit a leader log append: An append attaches to a conflicting predecessor term · case 01
The append log operation is admitted even though an append attaches to a conflicting predecessor term.
Admit a leader log append: An append attaches to a conflicting predecessor term · case 02
The append log operation is admitted even though an append attaches to a conflicting predecessor term.
Admit a leader log append: An append attaches to a conflicting predecessor term · case 03
The append log operation is admitted even though an append attaches to a conflicting predecessor term.
Admit a leader log append: An append attaches to a conflicting predecessor term · case 04
The append log operation is admitted even though an append attaches to a conflicting predecessor term.
Admit a leader log append: An append attaches to a conflicting predecessor term · case 05
The append log operation is admitted even though an append attaches to a conflicting predecessor term.
Admit a leader log append: Conflict truncation removes a committed entry · case 01
The append log operation is admitted even though conflict truncation removes a committed entry.
Admit a leader log append: Conflict truncation removes a committed entry · case 02
The append log operation is admitted even though conflict truncation removes a committed entry.
Admit a leader log append: Conflict truncation removes a committed entry · case 03
The append log operation is admitted even though conflict truncation removes a committed entry.
Admit a leader log append: Conflict truncation removes a committed entry · case 04
The append log operation is admitted even though conflict truncation removes a committed entry.
Admit a leader log append: Conflict truncation removes a committed entry · case 05
The append log operation is admitted even though conflict truncation removes a committed entry.
Admit a leader log append: Incoming log entries contain an index gap · case 01
The append log operation is admitted even though incoming log entries contain an index gap.
Admit a leader log append: Incoming log entries contain an index gap · case 02
The append log operation is admitted even though incoming log entries contain an index gap.
Admit a leader log append: Incoming log entries contain an index gap · case 03
The append log operation is admitted even though incoming log entries contain an index gap.
Admit a leader log append: Incoming log entries contain an index gap · case 04
The append log operation is admitted even though incoming log entries contain an index gap.
Admit a leader log append: Incoming log entries contain an index gap · case 05
The append log operation is admitted even though incoming log entries contain an index gap.
Serve a linearizable read at a confirmed index: A leader reads before committing an entry in its term · case 01
The read index operation is admitted even though a leader reads before committing an entry in its term.
Serve a linearizable read at a confirmed index: A leader reads before committing an entry in its term · case 02
The read index operation is admitted even though a leader reads before committing an entry in its term.
Serve a linearizable read at a confirmed index: A leader reads before committing an entry in its term · case 03
The read index operation is admitted even though a leader reads before committing an entry in its term.
Serve a linearizable read at a confirmed index: A leader reads before committing an entry in its term · case 04
The read index operation is admitted even though a leader reads before committing an entry in its term.
Serve a linearizable read at a confirmed index: A leader reads before committing an entry in its term · case 05
The read index operation is admitted even though a leader reads before committing an entry in its term.
Serve a linearizable read at a confirmed index: A read uses a response set lacking a voting majority · case 01
The read index operation is admitted even though a read uses a response set lacking a voting majority.
Serve a linearizable read at a confirmed index: A read uses a response set lacking a voting majority · case 02
The read index operation is admitted even though a read uses a response set lacking a voting majority.
Serve a linearizable read at a confirmed index: A read uses a response set lacking a voting majority · case 03
The read index operation is admitted even though a read uses a response set lacking a voting majority.
Serve a linearizable read at a confirmed index: A read uses a response set lacking a voting majority · case 04
The read index operation is admitted even though a read uses a response set lacking a voting majority.
Serve a linearizable read at a confirmed index: A read uses a response set lacking a voting majority · case 05
The read index operation is admitted even though a read uses a response set lacking a voting majority.
Serve a linearizable read at a confirmed index: The state machine has not applied the confirmed read index · case 01
The read index operation is admitted even though the state machine has not applied the confirmed read index.
Serve a linearizable read at a confirmed index: The state machine has not applied the confirmed read index · case 02
The read index operation is admitted even though the state machine has not applied the confirmed read index.
Serve a linearizable read at a confirmed index: The state machine has not applied the confirmed read index · case 03
The read index operation is admitted even though the state machine has not applied the confirmed read index.
Serve a linearizable read at a confirmed index: The state machine has not applied the confirmed read index · case 04
The read index operation is admitted even though the state machine has not applied the confirmed read index.
Serve a linearizable read at a confirmed index: The state machine has not applied the confirmed read index · case 05
The read index operation is admitted even though the state machine has not applied the confirmed read index.
Serve a linearizable read at a confirmed index: A delayed response confirms another read request · case 01
The read index operation is admitted even though a delayed response confirms another read request.
Serve a linearizable read at a confirmed index: A delayed response confirms another read request · case 02
The read index operation is admitted even though a delayed response confirms another read request.
Serve a linearizable read at a confirmed index: A delayed response confirms another read request · case 03
The read index operation is admitted even though a delayed response confirms another read request.
Serve a linearizable read at a confirmed index: A delayed response confirms another read request · case 04
The read index operation is admitted even though a delayed response confirms another read request.
Serve a linearizable read at a confirmed index: A delayed response confirms another read request · case 05
The read index operation is admitted even though a delayed response confirms another read request.
Serve a linearizable read at a confirmed index: A read completes after the leader observed a higher term · case 01
The read index operation is admitted even though a read completes after the leader observed a higher term.
Serve a linearizable read at a confirmed index: A read completes after the leader observed a higher term · case 02
The read index operation is admitted even though a read completes after the leader observed a higher term.
Serve a linearizable read at a confirmed index: A read completes after the leader observed a higher term · case 03
The read index operation is admitted even though a read completes after the leader observed a higher term.
Serve a linearizable read at a confirmed index: A read completes after the leader observed a higher term · case 04
The read index operation is admitted even though a read completes after the leader observed a higher term.
Serve a linearizable read at a confirmed index: A read completes after the leader observed a higher term · case 05
The read index operation is admitted even though a read completes after the leader observed a higher term.
Promise a proposal ballot: An acceptor promises a ballot below its durable promise · case 01
The acceptor prepare operation is admitted even though an acceptor promises a ballot below its durable promise.
Promise a proposal ballot: An acceptor promises a ballot below its durable promise · case 02
The acceptor prepare operation is admitted even though an acceptor promises a ballot below its durable promise.
Promise a proposal ballot: An acceptor promises a ballot below its durable promise · case 03
The acceptor prepare operation is admitted even though an acceptor promises a ballot below its durable promise.
Promise a proposal ballot: An acceptor promises a ballot below its durable promise · case 04
The acceptor prepare operation is admitted even though an acceptor promises a ballot below its durable promise.
Promise a proposal ballot: An acceptor promises a ballot below its durable promise · case 05
The acceptor prepare operation is admitted even though an acceptor promises a ballot below its durable promise.
Promise a proposal ballot: A prepare message targets a different consensus instance · case 01
The acceptor prepare operation is admitted even though a prepare message targets a different consensus instance.
Promise a proposal ballot: A prepare message targets a different consensus instance · case 02
The acceptor prepare operation is admitted even though a prepare message targets a different consensus instance.
Promise a proposal ballot: A prepare message targets a different consensus instance · case 03
The acceptor prepare operation is admitted even though a prepare message targets a different consensus instance.
Promise a proposal ballot: A prepare message targets a different consensus instance · case 04
The acceptor prepare operation is admitted even though a prepare message targets a different consensus instance.
Promise a proposal ballot: A prepare message targets a different consensus instance · case 05
The acceptor prepare operation is admitted even though a prepare message targets a different consensus instance.
Promise a proposal ballot: A promise response escapes before its durable write · case 01
The acceptor prepare operation is admitted even though a promise response escapes before its durable write.
Promise a proposal ballot: A promise response escapes before its durable write · case 02
The acceptor prepare operation is admitted even though a promise response escapes before its durable write.
Promise a proposal ballot: A promise response escapes before its durable write · case 03
The acceptor prepare operation is admitted even though a promise response escapes before its durable write.
Promise a proposal ballot: A promise response escapes before its durable write · case 04
The acceptor prepare operation is admitted even though a promise response escapes before its durable write.
Promise a proposal ballot: A promise response escapes before its durable write · case 05
The acceptor prepare operation is admitted even though a promise response escapes before its durable write.
Promise a proposal ballot: The response omits an already accepted value · case 01
The acceptor prepare operation is admitted even though the response omits an already accepted value.
Promise a proposal ballot: The response omits an already accepted value · case 02
The acceptor prepare operation is admitted even though the response omits an already accepted value.
Promise a proposal ballot: The response omits an already accepted value · case 03
The acceptor prepare operation is admitted even though the response omits an already accepted value.
Promise a proposal ballot: The response omits an already accepted value · case 04
The acceptor prepare operation is admitted even though the response omits an already accepted value.
Promise a proposal ballot: The response omits an already accepted value · case 05
The acceptor prepare operation is admitted even though the response omits an already accepted value.
Promise a proposal ballot: A prepare is counted under the wrong voting epoch · case 01
The acceptor prepare operation is admitted even though a prepare is counted under the wrong voting epoch.
Promise a proposal ballot: A prepare is counted under the wrong voting epoch · case 02
The acceptor prepare operation is admitted even though a prepare is counted under the wrong voting epoch.
Promise a proposal ballot: A prepare is counted under the wrong voting epoch · case 03
The acceptor prepare operation is admitted even though a prepare is counted under the wrong voting epoch.
Promise a proposal ballot: A prepare is counted under the wrong voting epoch · case 04
The acceptor prepare operation is admitted even though a prepare is counted under the wrong voting epoch.
Promise a proposal ballot: A prepare is counted under the wrong voting epoch · case 05
The acceptor prepare operation is admitted even though a prepare is counted under the wrong voting epoch.
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 ↗