{"abstract":"A canasta containing wild cards scores 500.","category":"Card game rule engines","checks":8,"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].","evaluation_group":"w2-card-game-rule-engines-canasta-meld","failed_approach":"Treating one wild card as still natural overpays mixed canastas.","family":"w2-card-game-rule-engines-canasta-meld-natural-versus-mixed-canasta","id":"FA-83821","implementations":{"attempt":{"sha256":"0dc8fb11a219b4ee7b513dd7fdbe7bed52d6198e12abee8b4be927cef1c2952d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    meld = x\n    wild = [c for c in meld if c == 'JK' or c[0] == '2']\n    nat = [c for c in meld if c not in wild]\n    if len(meld) < 3 or len(nat) < 2 or len(wild) > 3:\n        return ['invalid', 0, 0]\n    if len(set(c[0] for c in nat)) != 1 or nat[0][0] == '3':\n        return ['invalid', 0, 0]\n    def pts(c):\n        if c == 'JK':\n            return 50\n        if c[0] in '2A':\n            return 20\n        if c[0] in '89TJQK':\n            return 10\n        return 5\n    bonus = 0\n    if len(meld) >= 7:\n        bonus = 500 if len(wild) <= 1 else 300\n    return ['valid', bonus, sum(pts(c) for c in meld)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[['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]]]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"meld case %d\" % i, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"5e97c73a8f07135204852e646516af01daa4624d93a095bbecc78b4bd73677ad","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    meld = x\n    wild = [c for c in meld if c == 'JK' or c[0] == '2']\n    nat = [c for c in meld if c not in wild]\n    if len(meld) < 3 or len(nat) < 2 or len(wild) > 3:\n        return ['invalid', 0, 0]\n    if len(set(c[0] for c in nat)) != 1 or nat[0][0] == '3':\n        return ['invalid', 0, 0]\n    def pts(c):\n        if c == 'JK':\n            return 50\n        if c[0] in '2A':\n            return 20\n        if c[0] in '89TJQK':\n            return 10\n        return 5\n    bonus = 0\n    if len(meld) >= 7:\n        bonus = 300 if not wild else 500\n    return ['valid', bonus, sum(pts(c) for c in meld)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[['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]]]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"meld case %d\" % i, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"db981062b97e498d7c0ab19670d529132527543e624d4d3ff320cc5e829c91c2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    meld = x\n    wild = [c for c in meld if c == 'JK' or c[0] == '2']\n    nat = [c for c in meld if c not in wild]\n    if len(meld) < 3 or len(nat) < 2 or len(wild) > 3:\n        return ['invalid', 0, 0]\n    if len(set(c[0] for c in nat)) != 1 or nat[0][0] == '3':\n        return ['invalid', 0, 0]\n    def pts(c):\n        if c == 'JK':\n            return 50\n        if c[0] in '2A':\n            return 20\n        if c[0] in '89TJQK':\n            return 10\n        return 5\n    bonus = 0\n    if len(meld) >= 7:\n        bonus = 500 if not wild else 300\n    return ['valid', bonus, sum(pts(c) for c in meld)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[['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]]]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"meld case %d\" % i, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-card-game-rule-engines-canasta-meld-natural-versus-mixed-canasta","generated_at":"2026-09-29T14:50:25.207574+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Card-game engines, scoring apps and online tables apply this rule automatically on every hand.","repair":"Natural canasta 500, mixed 300.","root_cause":"The bonus values are swapped.","sha256":"93a2921ef3a7694ed162712f5f1b82ef35d3c21413a0ebdd626ff6fb99984a00","title":"Mixed canastas earn the natural bonus · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":37.792,"exit_code":1,"observations":[{"actual":["valid",500,140],"check":"meld case 0","expected":["valid",300,140],"passed":false},{"actual":["valid",0,30],"check":"meld case 1","expected":["valid",0,30],"passed":true},{"actual":["invalid",0,0],"check":"meld case 2","expected":["invalid",0,0],"passed":true},{"actual":["invalid",0,0],"check":"meld case 3","expected":["invalid",0,0],"passed":true},{"actual":["valid",0,70],"check":"meld case 4","expected":["valid",0,70],"passed":true},{"actual":["valid",0,80],"check":"meld case 5","expected":["valid",0,80],"passed":true},{"actual":["valid",0,40],"check":"meld case 6","expected":["valid",0,40],"passed":true},{"actual":["valid",500,120],"check":"meld case 7","expected":["valid",300,120],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"meld case 0\", \"actual\": [\"valid\", 500, 140], \"expected\": [\"valid\", 300, 140], \"passed\": false}, {\"check\": \"meld case 1\", \"actual\": [\"valid\", 0, 30], \"expected\": [\"valid\", 0, 30], \"passed\": true}, {\"check\": \"meld case 2\", \"actual\": [\"invalid\", 0, 0], \"expected\": [\"invalid\", 0, 0], \"passed\": true}, {\"check\": \"meld case 3\", \"actual\": [\"invalid\", 0, 0], \"expected\": [\"invalid\", 0, 0], \"passed\": true}, {\"check\": \"meld case 4\", \"actual\": [\"valid\", 0, 70], \"expected\": [\"valid\", 0, 70], \"passed\": true}, {\"check\": \"meld case 5\", \"actual\": [\"valid\", 0, 80], \"expected\": [\"valid\", 0, 80], \"passed\": true}, {\"check\": \"meld case 6\", \"actual\": [\"valid\", 0, 40], \"expected\": [\"valid\", 0, 40], \"passed\": true}, {\"check\": \"meld case 7\", \"actual\": [\"valid\", 500, 120], \"expected\": [\"valid\", 300, 120], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.236,"exit_code":1,"observations":[{"actual":["valid",500,140],"check":"meld case 0","expected":["valid",300,140],"passed":false},{"actual":["valid",0,30],"check":"meld case 1","expected":["valid",0,30],"passed":true},{"actual":["invalid",0,0],"check":"meld case 2","expected":["invalid",0,0],"passed":true},{"actual":["invalid",0,0],"check":"meld case 3","expected":["invalid",0,0],"passed":true},{"actual":["valid",0,70],"check":"meld case 4","expected":["valid",0,70],"passed":true},{"actual":["valid",0,80],"check":"meld case 5","expected":["valid",0,80],"passed":true},{"actual":["valid",0,40],"check":"meld case 6","expected":["valid",0,40],"passed":true},{"actual":["valid",500,120],"check":"meld case 7","expected":["valid",300,120],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"meld case 0\", \"actual\": [\"valid\", 500, 140], \"expected\": [\"valid\", 300, 140], \"passed\": false}, {\"check\": \"meld case 1\", \"actual\": [\"valid\", 0, 30], \"expected\": [\"valid\", 0, 30], \"passed\": true}, {\"check\": \"meld case 2\", \"actual\": [\"invalid\", 0, 0], \"expected\": [\"invalid\", 0, 0], \"passed\": true}, {\"check\": \"meld case 3\", \"actual\": [\"invalid\", 0, 0], \"expected\": [\"invalid\", 0, 0], \"passed\": true}, {\"check\": \"meld case 4\", \"actual\": [\"valid\", 0, 70], \"expected\": [\"valid\", 0, 70], \"passed\": true}, {\"check\": \"meld case 5\", \"actual\": [\"valid\", 0, 80], \"expected\": [\"valid\", 0, 80], \"passed\": true}, {\"check\": \"meld case 6\", \"actual\": [\"valid\", 0, 40], \"expected\": [\"valid\", 0, 40], \"passed\": true}, {\"check\": \"meld case 7\", \"actual\": [\"valid\", 500, 120], \"expected\": [\"valid\", 300, 120], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.533,"exit_code":0,"observations":[{"actual":["valid",300,140],"check":"meld case 0","expected":["valid",300,140],"passed":true},{"actual":["valid",0,30],"check":"meld case 1","expected":["valid",0,30],"passed":true},{"actual":["invalid",0,0],"check":"meld case 2","expected":["invalid",0,0],"passed":true},{"actual":["invalid",0,0],"check":"meld case 3","expected":["invalid",0,0],"passed":true},{"actual":["valid",0,70],"check":"meld case 4","expected":["valid",0,70],"passed":true},{"actual":["valid",0,80],"check":"meld case 5","expected":["valid",0,80],"passed":true},{"actual":["valid",0,40],"check":"meld case 6","expected":["valid",0,40],"passed":true},{"actual":["valid",300,120],"check":"meld case 7","expected":["valid",300,120],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"meld case 0\", \"actual\": [\"valid\", 300, 140], \"expected\": [\"valid\", 300, 140], \"passed\": true}, {\"check\": \"meld case 1\", \"actual\": [\"valid\", 0, 30], \"expected\": [\"valid\", 0, 30], \"passed\": true}, {\"check\": \"meld case 2\", \"actual\": [\"invalid\", 0, 0], \"expected\": [\"invalid\", 0, 0], \"passed\": true}, {\"check\": \"meld case 3\", \"actual\": [\"invalid\", 0, 0], \"expected\": [\"invalid\", 0, 0], \"passed\": true}, {\"check\": \"meld case 4\", \"actual\": [\"valid\", 0, 70], \"expected\": [\"valid\", 0, 70], \"passed\": true}, {\"check\": \"meld case 5\", \"actual\": [\"valid\", 0, 80], \"expected\": [\"valid\", 0, 80], \"passed\": true}, {\"check\": \"meld case 6\", \"actual\": [\"valid\", 0, 40], \"expected\": [\"valid\", 0, 40], \"passed\": true}, {\"check\": \"meld case 7\", \"actual\": [\"valid\", 300, 120], \"expected\": [\"valid\", 300, 120], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}