{"abstract":"Tricks taken by a failed nil bidder count toward the partner bid.","category":"Card game rule engines","checks":8,"contract":"Input [[bid1, bid2], [tricks1, tricks2], bags_before]. Nil (0) bids score +100 if the player took no tricks, else -100 and their tricks become bags. Other bids combine into a contract made by the non-nil players tricks: made -> 10*bid + 1 per overtrick (overtricks are bags); set -> -10*bid. Every 10 accumulated bags costs 100 and removes 10 bags. Return [score_delta, bags].","evaluation_group":"w2-card-game-rule-engines-spades-score","failed_approach":"Dropping failed nil tricks entirely forgets the bags they produce.","family":"w2-card-game-rule-engines-spades-score-failed-nil-tricks","id":"FA-83451","implementations":{"attempt":{"sha256":"a936b1c4c6368f89ecfd5fc7594a3c9fd1a178d936914bf366d706e04990b687","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    bids, tricks, bags = x\n    score = 0\n    contract = 0\n    made = 0\n    for b, t in zip(bids, tricks):\n        if b == 0:\n            if t == 0:\n                score += 100\n            else:\n                score -= 100\n        else:\n            contract += b\n            made += t\n    if made >= contract:\n        score += 10 * contract\n        over = made - contract\n        score += over\n        bags += over\n    else:\n        score -= 10 * contract\n    while bags >= 10:\n        score -= 100\n        bags -= 10\n    return [score, bags]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[[5, 0], [13, 0], 5], [58, 3]], [[[0, 2], [12, 1], 4], [-220, 6]], [[[3, 5], [1, 12], 3], [85, 8]], [[[5, 5], [12, 1], 1], [103, 4]], [[[0, 4], [3, 10], 5], [-154, 4]], [[[3, 6], [3, 8], 9], [-8, 1]], [[[5, 5], [12, 0], 5], [102, 7]], [[[5, 0], [0, 10], 7], [-250, 7]]], [[[[1, 4], [6, 4], 5], [-45, 0]], [[[4, 0], [1, 8], 8], [-240, 6]], [[[1, 0], [9, 2], 4], [-182, 4]], [[[5, 1], [6, 7], 3], [-33, 0]], [[[1, 4], [3, 8], 0], [56, 6]], [[[1, 6], [2, 0], 5], [-70, 5]], [[[4, 5], [9, 4], 4], [94, 8]], [[[3, 0], [11, 2], 0], [-162, 0]]], [[[[2, 3], [8, 3], 4], [-44, 0]], [[[1, 5], [7, 0], 2], [61, 3]], [[[3, 4], [11, 1], 1], [75, 6]], [[[3, 1], [12, 0], 9], [-52, 7]], [[[5, 6], [7, 3], 6], [-110, 6]], [[[6, 0], [8, 3], 7], [-138, 2]], [[[5, 0], [0, 10], 7], [-250, 7]], [[[0, 5], [9, 4], 4], [-250, 3]]], [[[[1, 5], [10, 2], 7], [-34, 3]], [[[3, 5], [12, 0], 0], [84, 4]], [[[0, 4], [1, 4], 9], [-160, 0]], [[[6, 2], [3, 4], 8], [-80, 8]], [[[3, 2], [8, 2], 6], [-45, 1]], [[[3, 4], [7, 2], 9], [-28, 1]], [[[1, 0], [5, 8], 0], [-186, 2]], [[[0, 6], [11, 0], 1], [-260, 2]]], [[[[5, 3], [7, 2], 7], [81, 8]], [[[2, 2], [10, 1], 9], [-53, 6]], [[[3, 5], [9, 2], 5], [83, 8]], [[[5, 3], [7, 5], 2], [84, 6]], [[[6, 2], [8, 0], 9], [80, 9]], [[[3, 0], [2, 0], 9], [70, 9]], [[[0, 2], [8, 5], 5], [-177, 6]], [[[0, 0], [13, 0], 9], [-200, 2]]]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"team score 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":"b02e39819d6cd40bcd75d0c5696d7bbcf9c6526f8b62f0a2cbea763fc23ba9d7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    bids, tricks, bags = x\n    score = 0\n    contract = 0\n    made = 0\n    for b, t in zip(bids, tricks):\n        if b == 0:\n            if t == 0:\n                score += 100\n            else:\n                score -= 100\n                made += t\n        else:\n            contract += b\n            made += t\n    if made >= contract:\n        score += 10 * contract\n        over = made - contract\n        score += over\n        bags += over\n    else:\n        score -= 10 * contract\n    while bags >= 10:\n        score -= 100\n        bags -= 10\n    return [score, bags]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[[5, 0], [13, 0], 5], [58, 3]], [[[0, 2], [12, 1], 4], [-220, 6]], [[[3, 5], [1, 12], 3], [85, 8]], [[[5, 5], [12, 1], 1], [103, 4]], [[[0, 4], [3, 10], 5], [-154, 4]], [[[3, 6], [3, 8], 9], [-8, 1]], [[[5, 5], [12, 0], 5], [102, 7]], [[[5, 0], [0, 10], 7], [-250, 7]]], [[[[1, 4], [6, 4], 5], [-45, 0]], [[[4, 0], [1, 8], 8], [-240, 6]], [[[1, 0], [9, 2], 4], [-182, 4]], [[[5, 1], [6, 7], 3], [-33, 0]], [[[1, 4], [3, 8], 0], [56, 6]], [[[1, 6], [2, 0], 5], [-70, 5]], [[[4, 5], [9, 4], 4], [94, 8]], [[[3, 0], [11, 2], 0], [-162, 0]]], [[[[2, 3], [8, 3], 4], [-44, 0]], [[[1, 5], [7, 0], 2], [61, 3]], [[[3, 4], [11, 1], 1], [75, 6]], [[[3, 1], [12, 0], 9], [-52, 7]], [[[5, 6], [7, 3], 6], [-110, 6]], [[[6, 0], [8, 3], 7], [-138, 2]], [[[5, 0], [0, 10], 7], [-250, 7]], [[[0, 5], [9, 4], 4], [-250, 3]]], [[[[1, 5], [10, 2], 7], [-34, 3]], [[[3, 5], [12, 0], 0], [84, 4]], [[[0, 4], [1, 4], 9], [-160, 0]], [[[6, 2], [3, 4], 8], [-80, 8]], [[[3, 2], [8, 2], 6], [-45, 1]], [[[3, 4], [7, 2], 9], [-28, 1]], [[[1, 0], [5, 8], 0], [-186, 2]], [[[0, 6], [11, 0], 1], [-260, 2]]], [[[[5, 3], [7, 2], 7], [81, 8]], [[[2, 2], [10, 1], 9], [-53, 6]], [[[3, 5], [9, 2], 5], [83, 8]], [[[5, 3], [7, 5], 2], [84, 6]], [[[6, 2], [8, 0], 9], [80, 9]], [[[3, 0], [2, 0], 9], [70, 9]], [[[0, 2], [8, 5], 5], [-177, 6]], [[[0, 0], [13, 0], 9], [-200, 2]]]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"team score 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":"2c95a2ea757ea85b2b7a81464f5714c793d23a443052a3c250f8d6246c60238b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    bids, tricks, bags = x\n    score = 0\n    contract = 0\n    made = 0\n    for b, t in zip(bids, tricks):\n        if b == 0:\n            if t == 0:\n                score += 100\n            else:\n                score -= 100\n                bags += t\n        else:\n            contract += b\n            made += t\n    if made >= contract:\n        score += 10 * contract\n        over = made - contract\n        score += over\n        bags += over\n    else:\n        score -= 10 * contract\n    while bags >= 10:\n        score -= 100\n        bags -= 10\n    return [score, bags]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[[5, 0], [13, 0], 5], [58, 3]], [[[0, 2], [12, 1], 4], [-220, 6]], [[[3, 5], [1, 12], 3], [85, 8]], [[[5, 5], [12, 1], 1], [103, 4]], [[[0, 4], [3, 10], 5], [-154, 4]], [[[3, 6], [3, 8], 9], [-8, 1]], [[[5, 5], [12, 0], 5], [102, 7]], [[[5, 0], [0, 10], 7], [-250, 7]]], [[[[1, 4], [6, 4], 5], [-45, 0]], [[[4, 0], [1, 8], 8], [-240, 6]], [[[1, 0], [9, 2], 4], [-182, 4]], [[[5, 1], [6, 7], 3], [-33, 0]], [[[1, 4], [3, 8], 0], [56, 6]], [[[1, 6], [2, 0], 5], [-70, 5]], [[[4, 5], [9, 4], 4], [94, 8]], [[[3, 0], [11, 2], 0], [-162, 0]]], [[[[2, 3], [8, 3], 4], [-44, 0]], [[[1, 5], [7, 0], 2], [61, 3]], [[[3, 4], [11, 1], 1], [75, 6]], [[[3, 1], [12, 0], 9], [-52, 7]], [[[5, 6], [7, 3], 6], [-110, 6]], [[[6, 0], [8, 3], 7], [-138, 2]], [[[5, 0], [0, 10], 7], [-250, 7]], [[[0, 5], [9, 4], 4], [-250, 3]]], [[[[1, 5], [10, 2], 7], [-34, 3]], [[[3, 5], [12, 0], 0], [84, 4]], [[[0, 4], [1, 4], 9], [-160, 0]], [[[6, 2], [3, 4], 8], [-80, 8]], [[[3, 2], [8, 2], 6], [-45, 1]], [[[3, 4], [7, 2], 9], [-28, 1]], [[[1, 0], [5, 8], 0], [-186, 2]], [[[0, 6], [11, 0], 1], [-260, 2]]], [[[[5, 3], [7, 2], 7], [81, 8]], [[[2, 2], [10, 1], 9], [-53, 6]], [[[3, 5], [9, 2], 5], [83, 8]], [[[5, 3], [7, 5], 2], [84, 6]], [[[6, 2], [8, 0], 9], [80, 9]], [[[3, 0], [2, 0], 9], [70, 9]], [[[0, 2], [8, 5], 5], [-177, 6]], [[[0, 0], [13, 0], 9], [-200, 2]]]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"team score 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-spades-score-failed-nil-tricks","generated_at":"2026-09-29T14:50:21.788925+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":"Failed nil tricks only become bags.","root_cause":"Failed nil tricks are added to made tricks.","sha256":"ae0f7a6f7d4fb49f6689ad6fc14c599e273d4eeb61209df74143ddcaafe11449","title":"A failed nil helps the partner make the contract · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.294,"exit_code":1,"observations":[{"actual":[58,3],"check":"team score case 0","expected":[58,3],"passed":true},{"actual":[-120,4],"check":"team score case 1","expected":[-220,6],"passed":false},{"actual":[85,8],"check":"team score case 2","expected":[85,8],"passed":true},{"actual":[103,4],"check":"team score case 3","expected":[103,4],"passed":true},{"actual":[-154,1],"check":"team score case 4","expected":[-154,4],"passed":false},{"actual":[-8,1],"check":"team score case 5","expected":[-8,1],"passed":true},{"actual":[102,7],"check":"team score case 6","expected":[102,7],"passed":true},{"actual":[-150,7],"check":"team score case 7","expected":[-250,7],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"team score case 0\", \"actual\": [58, 3], \"expected\": [58, 3], \"passed\": true}, {\"check\": \"team score case 1\", \"actual\": [-120, 4], \"expected\": [-220, 6], \"passed\": false}, {\"check\": \"team score case 2\", \"actual\": [85, 8], \"expected\": [85, 8], \"passed\": true}, {\"check\": \"team score case 3\", \"actual\": [103, 4], \"expected\": [103, 4], \"passed\": true}, {\"check\": \"team score case 4\", \"actual\": [-154, 1], \"expected\": [-154, 4], \"passed\": false}, {\"check\": \"team score case 5\", \"actual\": [-8, 1], \"expected\": [-8, 1], \"passed\": true}, {\"check\": \"team score case 6\", \"actual\": [102, 7], \"expected\": [102, 7], \"passed\": true}, {\"check\": \"team score case 7\", \"actual\": [-150, 7], \"expected\": [-250, 7], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.122,"exit_code":1,"observations":[{"actual":[58,3],"check":"team score case 0","expected":[58,3],"passed":true},{"actual":[-169,5],"check":"team score case 1","expected":[-220,6],"passed":false},{"actual":[85,8],"check":"team score case 2","expected":[85,8],"passed":true},{"actual":[103,4],"check":"team score case 3","expected":[103,4],"passed":true},{"actual":[-151,4],"check":"team score case 4","expected":[-154,4],"passed":false},{"actual":[-8,1],"check":"team score case 5","expected":[-8,1],"passed":true},{"actual":[102,7],"check":"team score case 6","expected":[102,7],"passed":true},{"actual":[-145,2],"check":"team score case 7","expected":[-250,7],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"team score case 0\", \"actual\": [58, 3], \"expected\": [58, 3], \"passed\": true}, {\"check\": \"team score case 1\", \"actual\": [-169, 5], \"expected\": [-220, 6], \"passed\": false}, {\"check\": \"team score case 2\", \"actual\": [85, 8], \"expected\": [85, 8], \"passed\": true}, {\"check\": \"team score case 3\", \"actual\": [103, 4], \"expected\": [103, 4], \"passed\": true}, {\"check\": \"team score case 4\", \"actual\": [-151, 4], \"expected\": [-154, 4], \"passed\": false}, {\"check\": \"team score case 5\", \"actual\": [-8, 1], \"expected\": [-8, 1], \"passed\": true}, {\"check\": \"team score case 6\", \"actual\": [102, 7], \"expected\": [102, 7], \"passed\": true}, {\"check\": \"team score case 7\", \"actual\": [-145, 2], \"expected\": [-250, 7], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.18,"exit_code":0,"observations":[{"actual":[58,3],"check":"team score case 0","expected":[58,3],"passed":true},{"actual":[-220,6],"check":"team score case 1","expected":[-220,6],"passed":true},{"actual":[85,8],"check":"team score case 2","expected":[85,8],"passed":true},{"actual":[103,4],"check":"team score case 3","expected":[103,4],"passed":true},{"actual":[-154,4],"check":"team score case 4","expected":[-154,4],"passed":true},{"actual":[-8,1],"check":"team score case 5","expected":[-8,1],"passed":true},{"actual":[102,7],"check":"team score case 6","expected":[102,7],"passed":true},{"actual":[-250,7],"check":"team score case 7","expected":[-250,7],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"team score case 0\", \"actual\": [58, 3], \"expected\": [58, 3], \"passed\": true}, {\"check\": \"team score case 1\", \"actual\": [-220, 6], \"expected\": [-220, 6], \"passed\": true}, {\"check\": \"team score case 2\", \"actual\": [85, 8], \"expected\": [85, 8], \"passed\": true}, {\"check\": \"team score case 3\", \"actual\": [103, 4], \"expected\": [103, 4], \"passed\": true}, {\"check\": \"team score case 4\", \"actual\": [-154, 4], \"expected\": [-154, 4], \"passed\": true}, {\"check\": \"team score case 5\", \"actual\": [-8, 1], \"expected\": [-8, 1], \"passed\": true}, {\"check\": \"team score case 6\", \"actual\": [102, 7], \"expected\": [102, 7], \"passed\": true}, {\"check\": \"team score case 7\", \"actual\": [-250, 7], \"expected\": [-250, 7], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}