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
An exactly dealt deck produces a kitty containing the whole deck · case 01
When no cards remain, the kitty repeats the deck.
An exactly dealt deck produces a kitty containing the whole deck · case 02
When no cards remain, the kitty repeats the deck.
An exactly dealt deck produces a kitty containing the whole deck · case 03
When no cards remain, the kitty repeats the deck.
An exactly dealt deck produces a kitty containing the whole deck · case 04
When no cards remain, the kitty repeats the deck.
An exactly dealt deck produces a kitty containing the whole deck · case 05
When no cards remain, the kitty repeats the deck.
Each player receives the whole pattern before the next player is served · case 01
In a 3-2 deal the first player gets five consecutive cards.
Each player receives the whole pattern before the next player is served · case 02
In a 3-2 deal the first player gets five consecutive cards.
Each player receives the whole pattern before the next player is served · case 03
In a 3-2 deal the first player gets five consecutive cards.
Each player receives the whole pattern before the next player is served · case 04
In a 3-2 deal the first player gets five consecutive cards.
Each player receives the whole pattern before the next player is served · case 05
In a 3-2 deal the first player gets five consecutive cards.
Split aces may be hit · case 01
A hand from split aces can draw more cards.
Split aces may be hit · case 02
A hand from split aces can draw more cards.
Split aces may be hit · case 03
A hand from split aces can draw more cards.
Split aces may be hit · case 04
A hand from split aces can draw more cards.
Split aces may be hit · case 05
A hand from split aces can draw more cards.
Doubling is offered after a split without DAS · case 01
Split hands can double on tables that forbid it.
Doubling is offered after a split without DAS · case 02
Split hands can double on tables that forbid it.
Doubling is offered after a split without DAS · case 03
Split hands can double on tables that forbid it.
Doubling is offered after a split without DAS · case 04
Split hands can double on tables that forbid it.
Doubling is offered after a split without DAS · case 05
Split hands can double on tables that forbid it.
A fourth split is offered · case 01
Players can split into five hands.
A fourth split is offered · case 02
Players can split into five hands.
A fourth split is offered · case 03
Players can split into five hands.
A fourth split is offered · case 04
Players can split into five hands.
A fourth split is offered · case 05
Players can split into five hands.
Surrender is offered after splitting · case 01
Split hands may surrender.
Surrender is offered after splitting · case 02
Split hands may surrender.
Surrender is offered after splitting · case 03
Split hands may surrender.
Surrender is offered after splitting · case 04
Split hands may surrender.
Surrender is offered after splitting · case 05
Split hands may surrender.
A hand totalling 21 is offered hit · case 01
Players at 21 can still draw.
A hand totalling 21 is offered hit · case 02
Players at 21 can still draw.
A hand totalling 21 is offered hit · case 03
Players at 21 can still draw.
A hand totalling 21 is offered hit · case 04
Players at 21 can still draw.
A hand totalling 21 is offered hit · case 05
Players at 21 can still draw.
Aces beat twos · case 01
A single 2 can be topped by an ace.
Aces beat twos · case 02
A single 2 can be topped by an ace.
Aces beat twos · case 03
A single 2 can be topped by an ace.
Aces beat twos · case 04
A single 2 can be topped by an ace.
Aces beat twos · case 05
A single 2 can be topped by an ace.
Same-rank plays cannot beat each other by suit · case 01
5S cannot be played over 5D.
Same-rank plays cannot beat each other by suit · case 02
5S cannot be played over 5D.
Same-rank plays cannot beat each other by suit · case 03
5S cannot be played over 5D.
Same-rank plays cannot beat each other by suit · case 04
5S cannot be played over 5D.
Same-rank plays cannot beat each other by suit · case 05
5S cannot be played over 5D.
A single can beat a pair · case 01
Plays of a different size are compared by rank alone.
A single can beat a pair · case 02
Plays of a different size are compared by rank alone.
A single can beat a pair · case 03
Plays of a different size are compared by rank alone.
A single can beat a pair · case 04
Plays of a different size are compared by rank alone.
A single can beat a pair · case 05
Plays of a different size are compared by rank alone.
Pairs are compared by their lowest suit · case 01
5D-5S cannot beat 5C-5H.
Pairs are compared by their lowest suit · case 02
5D-5S cannot beat 5C-5H.
Pairs are compared by their lowest suit · case 03
5D-5S cannot beat 5C-5H.
Pairs are compared by their lowest suit · case 04
5D-5S cannot beat 5C-5H.
Pairs are compared by their lowest suit · case 05
5D-5S cannot beat 5C-5H.
Four of a kind is accepted as a plain combination · case 01
Four same-rank cards are played like a triple.
Four of a kind is accepted as a plain combination · case 02
Four same-rank cards are played like a triple.
Four of a kind is accepted as a plain combination · case 03
Four same-rank cards are played like a triple.
Four of a kind is accepted as a plain combination · case 04
Four same-rank cards are played like a triple.
Four of a kind is accepted as a plain combination · case 05
Four same-rank cards are played like a triple.
The royal marriage inside a run is scored twice · case 01
A trump run scores 190 instead of 150.
The royal marriage inside a run is scored twice · case 02
A trump run scores 190 instead of 150.
The royal marriage inside a run is scored twice · case 03
A trump run scores 190 instead of 150.
The royal marriage inside a run is scored twice · case 04
A trump run scores 190 instead of 150.
The royal marriage inside a run is scored twice · case 05
A trump run scores 190 instead of 150.
Double arounds score twice the single value · case 01
Eight aces score 200 instead of 1000.
Double arounds score twice the single value · case 02
Eight aces score 200 instead of 1000.
Double arounds score twice the single value · case 03
Eight aces score 200 instead of 1000.
Double arounds score twice the single value · case 04
Eight aces score 200 instead of 1000.
Double arounds score twice the single value · case 05
Eight aces score 200 instead of 1000.
Double pinochle scores as two single pinochles · case 01
Both jacks of diamonds and queens of spades score 80.
Double pinochle scores as two single pinochles · case 02
Both jacks of diamonds and queens of spades score 80.
Double pinochle scores as two single pinochles · case 03
Both jacks of diamonds and queens of spades score 80.
Double pinochle scores as two single pinochles · case 04
Both jacks of diamonds and queens of spades score 80.
Double pinochle scores as two single pinochles · case 05
Both jacks of diamonds and queens of spades score 80.
Trump marriages score like plain marriages · case 01
A royal marriage scores 20.
Trump marriages score like plain marriages · case 02
A royal marriage scores 20.
Trump marriages score like plain marriages · case 03
A royal marriage scores 20.
Trump marriages score like plain marriages · case 04
A royal marriage scores 20.
Trump marriages score like plain marriages · case 05
A royal marriage scores 20.
The hook is applied after the dealer has bid · case 01
The dealer is unrestricted.
The hook is applied after the dealer has bid · case 02
The dealer is unrestricted.
The hook is applied after the dealer has bid · case 03
The dealer is unrestricted.
The hook is applied after the dealer has bid · case 04
The dealer is unrestricted.
The hook is applied after the dealer has bid · case 05
The dealer is unrestricted.
Nobody may bid every trick · case 01
A bid equal to the hand size is missing.
Nobody may bid every trick · case 02
A bid equal to the hand size is missing.
Nobody may bid every trick · case 03
A bid equal to the hand size is missing.
Nobody may bid every trick · case 04
A bid equal to the hand size is missing.
Nobody may bid every trick · case 05
A bid equal to the hand size is missing.
The dealer is forbidden the current total · case 01
The wrong bid is removed from the dealer choices.
The dealer is forbidden the current total · case 02
The wrong bid is removed from the dealer choices.
The dealer is forbidden the current total · case 03
The wrong bid is removed from the dealer choices.
The dealer is forbidden the current total · case 04
The wrong bid is removed from the dealer choices.
The dealer is forbidden the current total · case 05
The wrong bid is removed from the dealer choices.
Games without the club jack count zero matadors · case 01
Declarers missing the top trumps score only the game level.
Games without the club jack count zero matadors · case 02
Declarers missing the top trumps score only the game level.
Games without the club jack count zero matadors · case 03
Declarers missing the top trumps score only the game level.
Games without the club jack count zero matadors · case 04
Declarers missing the top trumps score only the game level.
Games without the club jack count zero matadors · case 05
Declarers missing the top trumps score only the game level.
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 ↗