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
Accept a proposal value: A value is accepted below the promised ballot · case 01
The acceptor accept operation is admitted even though a value is accepted below the promised ballot.
Accept a proposal value: A value is accepted below the promised ballot · case 02
The acceptor accept operation is admitted even though a value is accepted below the promised ballot.
Accept a proposal value: A value is accepted below the promised ballot · case 03
The acceptor accept operation is admitted even though a value is accepted below the promised ballot.
Accept a proposal value: A value is accepted below the promised ballot · case 04
The acceptor accept operation is admitted even though a value is accepted below the promised ballot.
Accept a proposal value: A value is accepted below the promised ballot · case 05
The acceptor accept operation is admitted even though a value is accepted below the promised ballot.
Accept a proposal value: The same ballot accepts two different values · case 01
The acceptor accept operation is admitted even though the same ballot accepts two different values.
Accept a proposal value: The same ballot accepts two different values · case 02
The acceptor accept operation is admitted even though the same ballot accepts two different values.
Accept a proposal value: The same ballot accepts two different values · case 03
The acceptor accept operation is admitted even though the same ballot accepts two different values.
Accept a proposal value: The same ballot accepts two different values · case 04
The acceptor accept operation is admitted even though the same ballot accepts two different values.
Accept a proposal value: The same ballot accepts two different values · case 05
The acceptor accept operation is admitted even though the same ballot accepts two different values.
Accept a proposal value: A forgotten slot is reopened without its chosen evidence · case 01
The acceptor accept operation is admitted even though a forgotten slot is reopened without its chosen evidence.
Accept a proposal value: A forgotten slot is reopened without its chosen evidence · case 02
The acceptor accept operation is admitted even though a forgotten slot is reopened without its chosen evidence.
Accept a proposal value: A forgotten slot is reopened without its chosen evidence · case 03
The acceptor accept operation is admitted even though a forgotten slot is reopened without its chosen evidence.
Accept a proposal value: A forgotten slot is reopened without its chosen evidence · case 04
The acceptor accept operation is admitted even though a forgotten slot is reopened without its chosen evidence.
Accept a proposal value: A forgotten slot is reopened without its chosen evidence · case 05
The acceptor accept operation is admitted even though a forgotten slot is reopened without its chosen evidence.
Accept a proposal value: An accept request bypasses the bounded value envelope · case 01
The acceptor accept operation is admitted even though an accept request bypasses the bounded value envelope.
Accept a proposal value: An accept request bypasses the bounded value envelope · case 02
The acceptor accept operation is admitted even though an accept request bypasses the bounded value envelope.
Accept a proposal value: An accept request bypasses the bounded value envelope · case 03
The acceptor accept operation is admitted even though an accept request bypasses the bounded value envelope.
Accept a proposal value: An accept request bypasses the bounded value envelope · case 04
The acceptor accept operation is admitted even though an accept request bypasses the bounded value envelope.
Accept a proposal value: An accept request bypasses the bounded value envelope · case 05
The acceptor accept operation is admitted even though an accept request bypasses the bounded value envelope.
Accept a proposal value: An accept acknowledgement precedes durable acceptance · case 01
The acceptor accept operation is admitted even though an accept acknowledgement precedes durable acceptance.
Accept a proposal value: An accept acknowledgement precedes durable acceptance · case 02
The acceptor accept operation is admitted even though an accept acknowledgement precedes durable acceptance.
Accept a proposal value: An accept acknowledgement precedes durable acceptance · case 03
The acceptor accept operation is admitted even though an accept acknowledgement precedes durable acceptance.
Accept a proposal value: An accept acknowledgement precedes durable acceptance · case 04
The acceptor accept operation is admitted even though an accept acknowledgement precedes durable acceptance.
Accept a proposal value: An accept acknowledgement precedes durable acceptance · case 05
The acceptor accept operation is admitted even though an accept acknowledgement precedes durable acceptance.
Choose a value after prepare responses: A proposer proceeds with too few distinct promises · case 01
The proposal adoption operation is admitted even though a proposer proceeds with too few distinct promises.
Choose a value after prepare responses: A proposer proceeds with too few distinct promises · case 02
The proposal adoption operation is admitted even though a proposer proceeds with too few distinct promises.
Choose a value after prepare responses: A proposer proceeds with too few distinct promises · case 03
The proposal adoption operation is admitted even though a proposer proceeds with too few distinct promises.
Choose a value after prepare responses: A proposer proceeds with too few distinct promises · case 04
The proposal adoption operation is admitted even though a proposer proceeds with too few distinct promises.
Choose a value after prepare responses: A proposer proceeds with too few distinct promises · case 05
The proposal adoption operation is admitted even though a proposer proceeds with too few distinct promises.
Choose a value after prepare responses: A proposer ignores the highest previously accepted ballot · case 01
The proposal adoption operation is admitted even though a proposer ignores the highest previously accepted ballot.
Choose a value after prepare responses: A proposer ignores the highest previously accepted ballot · case 02
The proposal adoption operation is admitted even though a proposer ignores the highest previously accepted ballot.
Choose a value after prepare responses: A proposer ignores the highest previously accepted ballot · case 03
The proposal adoption operation is admitted even though a proposer ignores the highest previously accepted ballot.
Choose a value after prepare responses: A proposer ignores the highest previously accepted ballot · case 04
The proposal adoption operation is admitted even though a proposer ignores the highest previously accepted ballot.
Choose a value after prepare responses: A proposer ignores the highest previously accepted ballot · case 05
The proposal adoption operation is admitted even though a proposer ignores the highest previously accepted ballot.
Choose a value after prepare responses: A proposer replaces the adopted value with its client value · case 01
The proposal adoption operation is admitted even though a proposer replaces the adopted value with its client value.
Choose a value after prepare responses: A proposer replaces the adopted value with its client value · case 02
The proposal adoption operation is admitted even though a proposer replaces the adopted value with its client value.
Choose a value after prepare responses: A proposer replaces the adopted value with its client value · case 03
The proposal adoption operation is admitted even though a proposer replaces the adopted value with its client value.
Choose a value after prepare responses: A proposer replaces the adopted value with its client value · case 04
The proposal adoption operation is admitted even though a proposer replaces the adopted value with its client value.
Choose a value after prepare responses: A proposer replaces the adopted value with its client value · case 05
The proposal adoption operation is admitted even though a proposer replaces the adopted value with its client value.
Choose a value after prepare responses: Prepare responses from different ballots are combined · case 01
The proposal adoption operation is admitted even though prepare responses from different ballots are combined.
Choose a value after prepare responses: Prepare responses from different ballots are combined · case 02
The proposal adoption operation is admitted even though prepare responses from different ballots are combined.
Choose a value after prepare responses: Prepare responses from different ballots are combined · case 03
The proposal adoption operation is admitted even though prepare responses from different ballots are combined.
Choose a value after prepare responses: Prepare responses from different ballots are combined · case 04
The proposal adoption operation is admitted even though prepare responses from different ballots are combined.
Choose a value after prepare responses: Prepare responses from different ballots are combined · case 05
The proposal adoption operation is admitted even though prepare responses from different ballots are combined.
Choose a value after prepare responses: Two proposers reuse one ballot identity · case 01
The proposal adoption operation is admitted even though two proposers reuse one ballot identity.
Choose a value after prepare responses: Two proposers reuse one ballot identity · case 02
The proposal adoption operation is admitted even though two proposers reuse one ballot identity.
Choose a value after prepare responses: Two proposers reuse one ballot identity · case 03
The proposal adoption operation is admitted even though two proposers reuse one ballot identity.
Choose a value after prepare responses: Two proposers reuse one ballot identity · case 04
The proposal adoption operation is admitted even though two proposers reuse one ballot identity.
Choose a value after prepare responses: Two proposers reuse one ballot identity · case 05
The proposal adoption operation is admitted even though two proposers reuse one ballot identity.
Promote a bootstrapped replica: A replica serves before loading its baseline snapshot · case 01
The replica bootstrap operation is admitted even though a replica serves before loading its baseline snapshot.
Promote a bootstrapped replica: A replica serves before loading its baseline snapshot · case 02
The replica bootstrap operation is admitted even though a replica serves before loading its baseline snapshot.
Promote a bootstrapped replica: A replica serves before loading its baseline snapshot · case 03
The replica bootstrap operation is admitted even though a replica serves before loading its baseline snapshot.
Promote a bootstrapped replica: A replica serves before loading its baseline snapshot · case 04
The replica bootstrap operation is admitted even though a replica serves before loading its baseline snapshot.
Promote a bootstrapped replica: A replica serves before loading its baseline snapshot · case 05
The replica bootstrap operation is admitted even though a replica serves before loading its baseline snapshot.
Promote a bootstrapped replica: The retained log starts after the snapshot successor · case 01
The replica bootstrap operation is admitted even though the retained log starts after the snapshot successor.
Promote a bootstrapped replica: The retained log starts after the snapshot successor · case 02
The replica bootstrap operation is admitted even though the retained log starts after the snapshot successor.
Promote a bootstrapped replica: The retained log starts after the snapshot successor · case 03
The replica bootstrap operation is admitted even though the retained log starts after the snapshot successor.
Promote a bootstrapped replica: The retained log starts after the snapshot successor · case 04
The replica bootstrap operation is admitted even though the retained log starts after the snapshot successor.
Promote a bootstrapped replica: The retained log starts after the snapshot successor · case 05
The replica bootstrap operation is admitted even though the retained log starts after the snapshot successor.
Promote a bootstrapped replica: Promotion occurs before replay reaches the required watermark · case 01
The replica bootstrap operation is admitted even though promotion occurs before replay reaches the required watermark.
Promote a bootstrapped replica: Promotion occurs before replay reaches the required watermark · case 02
The replica bootstrap operation is admitted even though promotion occurs before replay reaches the required watermark.
Promote a bootstrapped replica: Promotion occurs before replay reaches the required watermark · case 03
The replica bootstrap operation is admitted even though promotion occurs before replay reaches the required watermark.
Promote a bootstrapped replica: Promotion occurs before replay reaches the required watermark · case 04
The replica bootstrap operation is admitted even though promotion occurs before replay reaches the required watermark.
Promote a bootstrapped replica: Promotion occurs before replay reaches the required watermark · case 05
The replica bootstrap operation is admitted even though promotion occurs before replay reaches the required watermark.
Promote a bootstrapped replica: A replica interprets log records with an unsupported schema · case 01
The replica bootstrap operation is admitted even though a replica interprets log records with an unsupported schema.
Promote a bootstrapped replica: A replica interprets log records with an unsupported schema · case 02
The replica bootstrap operation is admitted even though a replica interprets log records with an unsupported schema.
Promote a bootstrapped replica: A replica interprets log records with an unsupported schema · case 03
The replica bootstrap operation is admitted even though a replica interprets log records with an unsupported schema.
Promote a bootstrapped replica: A replica interprets log records with an unsupported schema · case 04
The replica bootstrap operation is admitted even though a replica interprets log records with an unsupported schema.
Promote a bootstrapped replica: A replica interprets log records with an unsupported schema · case 05
The replica bootstrap operation is admitted even though a replica interprets log records with an unsupported schema.
Promote a bootstrapped replica: A snapshot from another cluster is installed · case 01
The replica bootstrap operation is admitted even though a snapshot from another cluster is installed.
Promote a bootstrapped replica: A snapshot from another cluster is installed · case 02
The replica bootstrap operation is admitted even though a snapshot from another cluster is installed.
Promote a bootstrapped replica: A snapshot from another cluster is installed · case 03
The replica bootstrap operation is admitted even though a snapshot from another cluster is installed.
Promote a bootstrapped replica: A snapshot from another cluster is installed · case 04
The replica bootstrap operation is admitted even though a snapshot from another cluster is installed.
Promote a bootstrapped replica: A snapshot from another cluster is installed · case 05
The replica bootstrap operation is admitted even though a snapshot from another cluster is installed.
Apply an anti-entropy repair range: A repair writes keys outside the receiver owned range · case 01
The anti entropy repair operation is admitted even though a repair writes keys outside the receiver owned range.
Apply an anti-entropy repair range: A repair writes keys outside the receiver owned range · case 02
The anti entropy repair operation is admitted even though a repair writes keys outside the receiver owned range.
Apply an anti-entropy repair range: A repair writes keys outside the receiver owned range · case 03
The anti entropy repair operation is admitted even though a repair writes keys outside the receiver owned range.
Apply an anti-entropy repair range: A repair writes keys outside the receiver owned range · case 04
The anti entropy repair operation is admitted even though a repair writes keys outside the receiver owned range.
Apply an anti-entropy repair range: A repair writes keys outside the receiver owned range · case 05
The anti entropy repair operation is admitted even though a repair writes keys outside the receiver owned range.
Apply an anti-entropy repair range: Repair overwrites a record with an older revision · case 01
The anti entropy repair operation is admitted even though repair overwrites a record with an older revision.
Apply an anti-entropy repair range: Repair overwrites a record with an older revision · case 02
The anti entropy repair operation is admitted even though repair overwrites a record with an older revision.
Apply an anti-entropy repair range: Repair overwrites a record with an older revision · case 03
The anti entropy repair operation is admitted even though repair overwrites a record with an older revision.
Apply an anti-entropy repair range: Repair overwrites a record with an older revision · case 04
The anti entropy repair operation is admitted even though repair overwrites a record with an older revision.
Apply an anti-entropy repair range: Repair overwrites a record with an older revision · case 05
The anti entropy repair operation is admitted even though repair overwrites a record with an older revision.
Apply an anti-entropy repair range: A deletion marker is dropped before repair safety horizon · case 01
The anti entropy repair operation is admitted even though a deletion marker is dropped before repair safety horizon.
Apply an anti-entropy repair range: A deletion marker is dropped before repair safety horizon · case 02
The anti entropy repair operation is admitted even though a deletion marker is dropped before repair safety horizon.
Apply an anti-entropy repair range: A deletion marker is dropped before repair safety horizon · case 03
The anti entropy repair operation is admitted even though a deletion marker is dropped before repair safety horizon.
Apply an anti-entropy repair range: A deletion marker is dropped before repair safety horizon · case 04
The anti entropy repair operation is admitted even though a deletion marker is dropped before repair safety horizon.
Apply an anti-entropy repair range: A deletion marker is dropped before repair safety horizon · case 05
The anti entropy repair operation is admitted even though a deletion marker is dropped before repair safety horizon.
Apply an anti-entropy repair range: Compared digests describe different snapshot generations · case 01
The anti entropy repair operation is admitted even though compared digests describe different snapshot generations.
Apply an anti-entropy repair range: Compared digests describe different snapshot generations · case 02
The anti entropy repair operation is admitted even though compared digests describe different snapshot generations.
Apply an anti-entropy repair range: Compared digests describe different snapshot generations · case 03
The anti entropy repair operation is admitted even though compared digests describe different snapshot generations.
Apply an anti-entropy repair range: Compared digests describe different snapshot generations · case 04
The anti entropy repair operation is admitted even though compared digests describe different snapshot generations.
Apply an anti-entropy repair range: Compared digests describe different snapshot generations · case 05
The anti entropy repair operation is admitted even though compared digests describe different snapshot generations.
Apply an anti-entropy repair range: A partial range response is marked fully repaired · case 01
The anti entropy repair operation is admitted even though a partial range response is marked fully repaired.
Apply an anti-entropy repair range: A partial range response is marked fully repaired · case 02
The anti entropy repair operation is admitted even though a partial range response is marked fully repaired.
Apply an anti-entropy repair range: A partial range response is marked fully repaired · case 03
The anti entropy repair operation is admitted even though a partial range response is marked fully repaired.
Apply an anti-entropy repair range: A partial range response is marked fully repaired · case 04
The anti entropy repair operation is admitted even though a partial range response is marked fully repaired.
Apply an anti-entropy repair range: A partial range response is marked fully repaired · case 05
The anti entropy repair operation is admitted even though a partial range response is marked fully repaired.
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 ↗