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
A paired hand spanning four ranks becomes a straight · case 01
5-5-6-7-9 is scored as a straight and beats ace high.
A paired hand spanning four ranks becomes a straight · case 02
5-5-6-7-9 is scored as a straight and beats ace high.
A paired hand spanning four ranks becomes a straight · case 03
5-5-6-7-9 is scored as a straight and beats ace high.
A paired hand spanning four ranks becomes a straight · case 04
5-5-6-7-9 is scored as a straight and beats ace high.
A paired hand spanning four ranks becomes a straight · case 05
5-5-6-7-9 is scored as a straight and beats ace high.
Ace counted high kills the wheel low · case 01
A-2-3-4-5 fails to qualify for low and loses to 7-5-4-3-2.
Ace counted high kills the wheel low · case 02
A-2-3-4-5 fails to qualify for low and loses to 7-5-4-3-2.
Ace counted high kills the wheel low · case 03
A-2-3-4-5 fails to qualify for low and loses to 7-5-4-3-2.
Ace counted high kills the wheel low · case 04
A-2-3-4-5 fails to qualify for low and loses to 7-5-4-3-2.
Ace counted high kills the wheel low · case 05
A-2-3-4-5 fails to qualify for low and loses to 7-5-4-3-2.
A paired low hand qualifies for the low half · case 01
2-2-4-6-8 is treated as an 8-6-4-2 low and wins the low pot.
A paired low hand qualifies for the low half · case 02
2-2-4-6-8 is treated as an 8-6-4-2 low and wins the low pot.
A paired low hand qualifies for the low half · case 03
2-2-4-6-8 is treated as an 8-6-4-2 low and wins the low pot.
A paired low hand qualifies for the low half · case 04
2-2-4-6-8 is treated as an 8-6-4-2 low and wins the low pot.
A paired low hand qualifies for the low half · case 05
2-2-4-6-8 is treated as an 8-6-4-2 low and wins the low pot.
Eight-high low rejected by the qualifier · case 01
An 8-6-4-3-2 low is disqualified and the pot is not split.
Eight-high low rejected by the qualifier · case 02
An 8-6-4-3-2 low is disqualified and the pot is not split.
Eight-high low rejected by the qualifier · case 03
An 8-6-4-3-2 low is disqualified and the pot is not split.
Eight-high low rejected by the qualifier · case 04
An 8-6-4-3-2 low is disqualified and the pot is not split.
Eight-high low rejected by the qualifier · case 05
An 8-6-4-3-2 low is disqualified and the pot is not split.
Lows compared by total pips · case 01
8-4-3-2-A beats 7-6-5-4-3 because its card total is smaller.
Lows compared by total pips · case 02
8-4-3-2-A beats 7-6-5-4-3 because its card total is smaller.
Lows compared by total pips · case 03
8-4-3-2-A beats 7-6-5-4-3 because its card total is smaller.
Lows compared by total pips · case 04
8-4-3-2-A beats 7-6-5-4-3 because its card total is smaller.
Lows compared by total pips · case 05
8-4-3-2-A beats 7-6-5-4-3 because its card total is smaller.
Suited wheel disqualified from low · case 01
A-2-3-4-5 all hearts and a 2-3-4-5-6 straight both fail to qualify for low.
Suited wheel disqualified from low · case 02
A-2-3-4-5 all hearts and a 2-3-4-5-6 straight both fail to qualify for low.
Suited wheel disqualified from low · case 03
A-2-3-4-5 all hearts and a 2-3-4-5-6 straight both fail to qualify for low.
Suited wheel disqualified from low · case 04
A-2-3-4-5 all hearts and a 2-3-4-5-6 straight both fail to qualify for low.
Suited wheel disqualified from low · case 05
A-2-3-4-5 all hearts and a 2-3-4-5-6 straight both fail to qualify for low.
Non-qualifying hand wins the low half · case 01
When only one player has a qualifying low, the other player is awarded the low.
Non-qualifying hand wins the low half · case 02
When only one player has a qualifying low, the other player is awarded the low.
Non-qualifying hand wins the low half · case 03
When only one player has a qualifying low, the other player is awarded the low.
Non-qualifying hand wins the low half · case 04
When only one player has a qualifying low, the other player is awarded the low.
Non-qualifying hand wins the low half · case 05
When only one player has a qualifying low, the other player is awarded the low.
Ace mirrored into the wrong low bit · case 01
A-2-3-4-5 in a seven-card hand is not found as a straight.
Ace mirrored into the wrong low bit · case 02
A-2-3-4-5 in a seven-card hand is not found as a straight.
Ace mirrored into the wrong low bit · case 03
A-2-3-4-5 in a seven-card hand is not found as a straight.
Ace mirrored into the wrong low bit · case 04
A-2-3-4-5 in a seven-card hand is not found as a straight.
Ace mirrored into the wrong low bit · case 05
A-2-3-4-5 in a seven-card hand is not found as a straight.
Scan stops before the five-high window · case 01
A wheel is reported as no straight although the ace bit is mirrored.
Scan stops before the five-high window · case 02
A wheel is reported as no straight although the ace bit is mirrored.
Scan stops before the five-high window · case 03
A wheel is reported as no straight although the ace bit is mirrored.
Scan stops before the five-high window · case 04
A wheel is reported as no straight although the ace bit is mirrored.
Scan stops before the five-high window · case 05
A wheel is reported as no straight although the ace bit is mirrored.
Four-card run accepted as a straight · case 01
9-T-J-Q with no eight or king is reported as a queen-high straight.
Four-card run accepted as a straight · case 02
9-T-J-Q with no eight or king is reported as a queen-high straight.
Four-card run accepted as a straight · case 03
9-T-J-Q with no eight or king is reported as a queen-high straight.
Four-card run accepted as a straight · case 04
9-T-J-Q with no eight or king is reported as a queen-high straight.
Four-card run accepted as a straight · case 05
9-T-J-Q with no eight or king is reported as a queen-high straight.
Paired ranks carry into the next bit · case 01
A pair inside a straight corrupts the mask and hides or invents straights.
Paired ranks carry into the next bit · case 02
A pair inside a straight corrupts the mask and hides or invents straights.
Paired ranks carry into the next bit · case 03
A pair inside a straight corrupts the mask and hides or invents straights.
Paired ranks carry into the next bit · case 04
A pair inside a straight corrupts the mask and hides or invents straights.
Paired ranks carry into the next bit · case 05
A pair inside a straight corrupts the mask and hides or invents straights.
Composite prime table entry fakes a pair · case 01
Any hand holding an ace and a trey or a seven is reported as containing a pair.
Composite prime table entry fakes a pair · case 02
Any hand holding an ace and a trey or a seven is reported as containing a pair.
Composite prime table entry fakes a pair · case 03
Any hand holding an ace and a trey or a seven is reported as containing a pair.
Composite prime table entry fakes a pair · case 04
Any hand holding an ace and a trey or a seven is reported as containing a pair.
Composite prime table entry fakes a pair · case 05
Any hand holding an ace and a trey or a seven is reported as containing a pair.
Each rank prime divided out only once · case 01
Every paired hand is reported as high card.
Each rank prime divided out only once · case 02
Every paired hand is reported as high card.
Each rank prime divided out only once · case 03
Every paired hand is reported as high card.
Each rank prime divided out only once · case 04
Every paired hand is reported as high card.
Each rank prime divided out only once · case 05
Every paired hand is reported as high card.
Unknown ten token silently hashes as an ace · case 01
A hand holding "10h" and an ace is reported as a pair.
Unknown ten token silently hashes as an ace · case 02
A hand holding "10h" and an ace is reported as a pair.
Unknown ten token silently hashes as an ace · case 03
A hand holding "10h" and an ace is reported as a pair.
Unknown ten token silently hashes as an ace · case 04
A hand holding "10h" and an ace is reported as a pair.
Unknown ten token silently hashes as an ace · case 05
A hand holding "10h" and an ace is reported as a pair.
Multiplicity pattern looked up in ascending order · case 01
Paired hands raise a lookup failure instead of being named.
Multiplicity pattern looked up in ascending order · case 02
Paired hands raise a lookup failure instead of being named.
Multiplicity pattern looked up in ascending order · case 03
Paired hands raise a lookup failure instead of being named.
Multiplicity pattern looked up in ascending order · case 04
Paired hands raise a lookup failure instead of being named.
Multiplicity pattern looked up in ascending order · case 05
Paired hands raise a lookup failure instead of being named.
Hold'em evaluated with Omaha two-card rule · case 01
When the board plays, or one hole card plays, the wrong player is paid.
Hold'em evaluated with Omaha two-card rule · case 02
When the board plays, or one hole card plays, the wrong player is paid.
Hold'em evaluated with Omaha two-card rule · case 03
When the board plays, or one hole card plays, the wrong player is paid.
Hold'em evaluated with Omaha two-card rule · case 04
When the board plays, or one hole card plays, the wrong player is paid.
Hold'em evaluated with Omaha two-card rule · case 05
When the board plays, or one hole card plays, the wrong player is paid.
Folded hole cards still reach showdown · case 01
A player who folded a set is declared the winner.
Folded hole cards still reach showdown · case 02
A player who folded a set is declared the winner.
Folded hole cards still reach showdown · case 03
A player who folded a set is declared the winner.
Folded hole cards still reach showdown · case 04
A player who folded a set is declared the winner.
Folded hole cards still reach showdown · case 05
A player who folded a set is declared the winner.
Split pots collapse to one winner · case 01
When the board plays, only one player is returned instead of a split.
Split pots collapse to one winner · case 02
When the board plays, only one player is returned instead of a split.
Split pots collapse to one winner · case 03
When the board plays, only one player is returned instead of a split.
Split pots collapse to one winner · case 04
When the board plays, only one player is returned instead of a split.
Split pots collapse to one winner · case 05
When the board plays, only one player is returned instead of a split.
Flushes compared on the top card only · case 01
Two ace-high flushes are split although one has a better second or fifth card.
Flushes compared on the top card only · case 02
Two ace-high flushes are split although one has a better second or fifth card.
Flushes compared on the top card only · case 03
Two ace-high flushes are split although one has a better second or fifth card.
Flushes compared on the top card only · case 04
Two ace-high flushes are split although one has a better second or fifth card.
Flushes compared on the top card only · case 05
Two ace-high flushes are split although one has a better second or fifth card.
Omaha hand plays four hole cards or the bare board · case 01
A single suited hole card makes a flush on a four-flush board, and four aces in hand count as quads.
Omaha hand plays four hole cards or the bare board · case 02
A single suited hole card makes a flush on a four-flush board, and four aces in hand count as quads.
Omaha hand plays four hole cards or the bare board · case 03
A single suited hole card makes a flush on a four-flush board, and four aces in hand count as quads.
Omaha hand plays four hole cards or the bare board · case 04
A single suited hole card makes a flush on a four-flush board, and four aces in hand count as quads.
Omaha hand plays four hole cards or the bare board · case 05
A single suited hole card makes a flush on a four-flush board, and four aces in hand count as quads.
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 ↗