FAILURE MAP
← Case archive

FA-83821 / Card game rule engines / Open access

Mixed canastas earn the natural bonus · case 01

A canasta containing wild cards scores 500.

Verified by executionVariant 1 · 8 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The bonus values are swapped.

VERIFIED REPAIR

Natural canasta 500, mixed 300.

Unsuccessful approach: Treating one wild card as still natural overpays mixed canastas.

Case contract

Input a meld (cards; "JK" joker and deuces are wild). Valid: >= 3 cards, >= 2 naturals of one rank (not threes), at most 3 wild cards. Card points: joker 50, A and 2 20, 8-K 10, 4-7 and black 3 5. A canasta (7+ cards) earns 500 if natural, 300 if mixed. Return [valid|invalid, bonus, card_points].

Why this case matters

Card-game engines, scoring apps and online tables apply this rule automatically on every hand.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    meld = x
    wild = [c for c in meld if c == 'JK' or c[0] == '2']
    nat = [c for c in meld if c not in wild]
    if len(meld) < 3 or len(nat) < 2 or len(wild) > 3:
        return ['invalid', 0, 0]
    if len(set(c[0] for c in nat)) != 1 or nat[0][0] == '3':
        return ['invalid', 0, 0]
    def pts(c):
        if c == 'JK':
            return 50
        if c[0] in '2A':
            return 20
        if c[0] in '89TJQK':
            return 10
        return 5
    bonus = 0
    if len(meld) >= 7:
        bonus = 300 if not wild else 500
    return ['valid', bonus, sum(pts(c) for c in meld)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[['AH', 'AS', 'AH', 'AH', 'AH', 'AH', '2H'], ['valid', 300, 140]], [['JH', 'JH', 'JC'], ['valid', 0, 30]], [['JK', '2S', '2H', '2D'], ['invalid', 0, 0]], [['2H', '5C', '2D', '2H', '2D'], ['invalid', 0, 0]], [['2H', '2H', '6H', '2S', '6H'], ['valid', 0, 70]], [['AD', 'AC', 'AS', '2S'], ['valid', 0, 80]], [['TH', '2S', 'TS'], ['valid', 0, 40]], [['JS', 'JS', 'JC', 'JK', 'JC', 'JH', 'JS', 'JH'], ['valid', 300, 120]]], [[['2H', '9D', '9D', '9H', '9C', '9D', '9D', '9C'], ['valid', 300, 90]], [['KH', 'JK', 'KD', 'JK', 'KH', 'KC'], ['valid', 0, 140]], [[], ['invalid', 0, 0]], [['3S', 'JK', '3H', '3H', '3D', '2S'], ['invalid', 0, 0]], [['2S', '2D', '5H', '2C', '5C', '5D', 'JK', '5D'], ['invalid', 0, 0]], [['TD', 'TH'], ['invalid', 0, 0]], [['8H', '2C', '8H', '2S'], ['valid', 0, 60]], [['AS', 'AD', 'AH', 'AH', 'AS', 'JK', 'AS', 'AS'], ['valid', 300, 190]]], [[['2H', '2C', '2H'], ['invalid', 0, 0]], [['KD', 'JS', '2C'], ['invalid', 0, 0]], [['2S', 'AH', 'AS', 'AC', 'AD', 'AH', 'AS', 'AD'], ['valid', 300, 160]], [['2D', 'AC', 'AH', 'AH', '2S'], ['valid', 0, 100]], [['7S', '2H'], ['invalid', 0, 0]], [['2S', '2D'], ['invalid', 0, 0]], [['JK', 'KD', 'KS'], ['valid', 0, 70]], [['AH', 'AS', 'AD', 'JK', 'AC', 'JK', 'AH', 'AC', '2S'], ['valid', 300, 240]]], [[['2D', 'QC', 'QH', 'QS', 'JK', 'JK', 'QH', 'JK', 'QH'], ['invalid', 0, 0]], [['AH', 'AS', 'AD', 'JK', 'AC', 'JK', 'AH', 'AC', '2S'], ['valid', 300, 240]], [['8D'], ['invalid', 0, 0]], [['AD', 'AD', 'AD', 'AH', '2S', 'AH'], ['valid', 0, 120]], [['2D', '9C', '9C', '9S', '9D'], ['valid', 0, 60]], [['KH', 'KD', 'KH', 'KS', 'KH'], ['valid', 0, 50]], [['2H', '9D', '2S', '9C', '2C', '9D', '9C', '9H', '9C', '9D'], ['valid', 300, 130]], [['2C', 'JD', 'JC', 'JC', 'JH', 'JD', 'JH'], ['valid', 300, 80]]], [[['5H', '2S', '5C'], ['valid', 0, 30]], [['TD', 'TH', 'TS', 'TD'], ['valid', 0, 40]], [['2D', '5D', 'JK', '2D', '5S'], ['valid', 0, 100]], [['7S', '2H', '7H', '7S', '6S'], ['invalid', 0, 0]], [['2H', 'JK', 'KC', '2H', 'KD', 'KH'], ['valid', 0, 120]], [['2H', 'TS', 'TD', 'JK'], ['valid', 0, 90]], [['2H', '7H', '7S', '7S', '7C', '7H', '7S', '7D'], ['valid', 300, 55]], [['9D', '9H', '9S', '9C', '9H', '2H', '9H', '9C'], ['valid', 300, 90]]]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("meld case %d" % i, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
meld case 0['valid', 500, 140]['valid', 300, 140]Failed
meld case 1['valid', 0, 30]['valid', 0, 30]Passed
meld case 2['invalid', 0, 0]['invalid', 0, 0]Passed
meld case 3['invalid', 0, 0]['invalid', 0, 0]Passed
meld case 4['valid', 0, 70]['valid', 0, 70]Passed
meld case 5['valid', 0, 80]['valid', 0, 80]Passed
meld case 6['valid', 0, 40]['valid', 0, 40]Passed
meld case 7['valid', 500, 120]['valid', 300, 120]Failed

SHA-256 / 5e97c73a8f07135204852e646516af01daa4624d93a095bbecc78b4bd73677ad

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    meld = x
    wild = [c for c in meld if c == 'JK' or c[0] == '2']
    nat = [c for c in meld if c not in wild]
    if len(meld) < 3 or len(nat) < 2 or len(wild) > 3:
        return ['invalid', 0, 0]
    if len(set(c[0] for c in nat)) != 1 or nat[0][0] == '3':
        return ['invalid', 0, 0]
    def pts(c):
        if c == 'JK':
            return 50
        if c[0] in '2A':
            return 20
        if c[0] in '89TJQK':
            return 10
        return 5
    bonus = 0
    if len(meld) >= 7:
        bonus = 500 if len(wild) <= 1 else 300
    return ['valid', bonus, sum(pts(c) for c in meld)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[['AH', 'AS', 'AH', 'AH', 'AH', 'AH', '2H'], ['valid', 300, 140]], [['JH', 'JH', 'JC'], ['valid', 0, 30]], [['JK', '2S', '2H', '2D'], ['invalid', 0, 0]], [['2H', '5C', '2D', '2H', '2D'], ['invalid', 0, 0]], [['2H', '2H', '6H', '2S', '6H'], ['valid', 0, 70]], [['AD', 'AC', 'AS', '2S'], ['valid', 0, 80]], [['TH', '2S', 'TS'], ['valid', 0, 40]], [['JS', 'JS', 'JC', 'JK', 'JC', 'JH', 'JS', 'JH'], ['valid', 300, 120]]], [[['2H', '9D', '9D', '9H', '9C', '9D', '9D', '9C'], ['valid', 300, 90]], [['KH', 'JK', 'KD', 'JK', 'KH', 'KC'], ['valid', 0, 140]], [[], ['invalid', 0, 0]], [['3S', 'JK', '3H', '3H', '3D', '2S'], ['invalid', 0, 0]], [['2S', '2D', '5H', '2C', '5C', '5D', 'JK', '5D'], ['invalid', 0, 0]], [['TD', 'TH'], ['invalid', 0, 0]], [['8H', '2C', '8H', '2S'], ['valid', 0, 60]], [['AS', 'AD', 'AH', 'AH', 'AS', 'JK', 'AS', 'AS'], ['valid', 300, 190]]], [[['2H', '2C', '2H'], ['invalid', 0, 0]], [['KD', 'JS', '2C'], ['invalid', 0, 0]], [['2S', 'AH', 'AS', 'AC', 'AD', 'AH', 'AS', 'AD'], ['valid', 300, 160]], [['2D', 'AC', 'AH', 'AH', '2S'], ['valid', 0, 100]], [['7S', '2H'], ['invalid', 0, 0]], [['2S', '2D'], ['invalid', 0, 0]], [['JK', 'KD', 'KS'], ['valid', 0, 70]], [['AH', 'AS', 'AD', 'JK', 'AC', 'JK', 'AH', 'AC', '2S'], ['valid', 300, 240]]], [[['2D', 'QC', 'QH', 'QS', 'JK', 'JK', 'QH', 'JK', 'QH'], ['invalid', 0, 0]], [['AH', 'AS', 'AD', 'JK', 'AC', 'JK', 'AH', 'AC', '2S'], ['valid', 300, 240]], [['8D'], ['invalid', 0, 0]], [['AD', 'AD', 'AD', 'AH', '2S', 'AH'], ['valid', 0, 120]], [['2D', '9C', '9C', '9S', '9D'], ['valid', 0, 60]], [['KH', 'KD', 'KH', 'KS', 'KH'], ['valid', 0, 50]], [['2H', '9D', '2S', '9C', '2C', '9D', '9C', '9H', '9C', '9D'], ['valid', 300, 130]], [['2C', 'JD', 'JC', 'JC', 'JH', 'JD', 'JH'], ['valid', 300, 80]]], [[['5H', '2S', '5C'], ['valid', 0, 30]], [['TD', 'TH', 'TS', 'TD'], ['valid', 0, 40]], [['2D', '5D', 'JK', '2D', '5S'], ['valid', 0, 100]], [['7S', '2H', '7H', '7S', '6S'], ['invalid', 0, 0]], [['2H', 'JK', 'KC', '2H', 'KD', 'KH'], ['valid', 0, 120]], [['2H', 'TS', 'TD', 'JK'], ['valid', 0, 90]], [['2H', '7H', '7S', '7S', '7C', '7H', '7S', '7D'], ['valid', 300, 55]], [['9D', '9H', '9S', '9C', '9H', '2H', '9H', '9C'], ['valid', 300, 90]]]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("meld case %d" % i, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
meld case 0['valid', 500, 140]['valid', 300, 140]Failed
meld case 1['valid', 0, 30]['valid', 0, 30]Passed
meld case 2['invalid', 0, 0]['invalid', 0, 0]Passed
meld case 3['invalid', 0, 0]['invalid', 0, 0]Passed
meld case 4['valid', 0, 70]['valid', 0, 70]Passed
meld case 5['valid', 0, 80]['valid', 0, 80]Passed
meld case 6['valid', 0, 40]['valid', 0, 40]Passed
meld case 7['valid', 500, 120]['valid', 300, 120]Failed

SHA-256 / 0dc8fb11a219b4ee7b513dd7fdbe7bed52d6198e12abee8b4be927cef1c2952d

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    meld = x
    wild = [c for c in meld if c == 'JK' or c[0] == '2']
    nat = [c for c in meld if c not in wild]
    if len(meld) < 3 or len(nat) < 2 or len(wild) > 3:
        return ['invalid', 0, 0]
    if len(set(c[0] for c in nat)) != 1 or nat[0][0] == '3':
        return ['invalid', 0, 0]
    def pts(c):
        if c == 'JK':
            return 50
        if c[0] in '2A':
            return 20
        if c[0] in '89TJQK':
            return 10
        return 5
    bonus = 0
    if len(meld) >= 7:
        bonus = 500 if not wild else 300
    return ['valid', bonus, sum(pts(c) for c in meld)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[['AH', 'AS', 'AH', 'AH', 'AH', 'AH', '2H'], ['valid', 300, 140]], [['JH', 'JH', 'JC'], ['valid', 0, 30]], [['JK', '2S', '2H', '2D'], ['invalid', 0, 0]], [['2H', '5C', '2D', '2H', '2D'], ['invalid', 0, 0]], [['2H', '2H', '6H', '2S', '6H'], ['valid', 0, 70]], [['AD', 'AC', 'AS', '2S'], ['valid', 0, 80]], [['TH', '2S', 'TS'], ['valid', 0, 40]], [['JS', 'JS', 'JC', 'JK', 'JC', 'JH', 'JS', 'JH'], ['valid', 300, 120]]], [[['2H', '9D', '9D', '9H', '9C', '9D', '9D', '9C'], ['valid', 300, 90]], [['KH', 'JK', 'KD', 'JK', 'KH', 'KC'], ['valid', 0, 140]], [[], ['invalid', 0, 0]], [['3S', 'JK', '3H', '3H', '3D', '2S'], ['invalid', 0, 0]], [['2S', '2D', '5H', '2C', '5C', '5D', 'JK', '5D'], ['invalid', 0, 0]], [['TD', 'TH'], ['invalid', 0, 0]], [['8H', '2C', '8H', '2S'], ['valid', 0, 60]], [['AS', 'AD', 'AH', 'AH', 'AS', 'JK', 'AS', 'AS'], ['valid', 300, 190]]], [[['2H', '2C', '2H'], ['invalid', 0, 0]], [['KD', 'JS', '2C'], ['invalid', 0, 0]], [['2S', 'AH', 'AS', 'AC', 'AD', 'AH', 'AS', 'AD'], ['valid', 300, 160]], [['2D', 'AC', 'AH', 'AH', '2S'], ['valid', 0, 100]], [['7S', '2H'], ['invalid', 0, 0]], [['2S', '2D'], ['invalid', 0, 0]], [['JK', 'KD', 'KS'], ['valid', 0, 70]], [['AH', 'AS', 'AD', 'JK', 'AC', 'JK', 'AH', 'AC', '2S'], ['valid', 300, 240]]], [[['2D', 'QC', 'QH', 'QS', 'JK', 'JK', 'QH', 'JK', 'QH'], ['invalid', 0, 0]], [['AH', 'AS', 'AD', 'JK', 'AC', 'JK', 'AH', 'AC', '2S'], ['valid', 300, 240]], [['8D'], ['invalid', 0, 0]], [['AD', 'AD', 'AD', 'AH', '2S', 'AH'], ['valid', 0, 120]], [['2D', '9C', '9C', '9S', '9D'], ['valid', 0, 60]], [['KH', 'KD', 'KH', 'KS', 'KH'], ['valid', 0, 50]], [['2H', '9D', '2S', '9C', '2C', '9D', '9C', '9H', '9C', '9D'], ['valid', 300, 130]], [['2C', 'JD', 'JC', 'JC', 'JH', 'JD', 'JH'], ['valid', 300, 80]]], [[['5H', '2S', '5C'], ['valid', 0, 30]], [['TD', 'TH', 'TS', 'TD'], ['valid', 0, 40]], [['2D', '5D', 'JK', '2D', '5S'], ['valid', 0, 100]], [['7S', '2H', '7H', '7S', '6S'], ['invalid', 0, 0]], [['2H', 'JK', 'KC', '2H', 'KD', 'KH'], ['valid', 0, 120]], [['2H', 'TS', 'TD', 'JK'], ['valid', 0, 90]], [['2H', '7H', '7S', '7S', '7C', '7H', '7S', '7D'], ['valid', 300, 55]], [['9D', '9H', '9S', '9C', '9H', '2H', '9H', '9C'], ['valid', 300, 90]]]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("meld case %d" % i, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
meld case 0['valid', 300, 140]['valid', 300, 140]Passed
meld case 1['valid', 0, 30]['valid', 0, 30]Passed
meld case 2['invalid', 0, 0]['invalid', 0, 0]Passed
meld case 3['invalid', 0, 0]['invalid', 0, 0]Passed
meld case 4['valid', 0, 70]['valid', 0, 70]Passed
meld case 5['valid', 0, 80]['valid', 0, 80]Passed
meld case 6['valid', 0, 40]['valid', 0, 40]Passed
meld case 7['valid', 300, 120]['valid', 300, 120]Passed

SHA-256 / db981062b97e498d7c0ab19670d529132527543e624d4d3ff320cc5e829c91c2

Verification & scope

A bounded toy rule contract stated explicitly in the contract field; cards are two-character codes (rank, suit). Not a complete implementation of any published rulebook or casino table rules. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-29T14:50:25.207574+00:00.

Case digest / 93a2921ef3a7694ed162712f5f1b82ef35d3c21413a0ebdd626ff6fb99984a00