{"abstract":"Made contracts with overtricks score only the bid value.","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":"Scoring ten per overtrick rewards sandbagging like bid tricks.","family":"w2-card-game-rule-engines-spades-score-overtrick-points","id":"FA-83446","implementations":{"attempt":{"sha256":"e6ed734782a63bf0276a330cbacbe521f747e8e35e7d4c62627dda36dd8850ef","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 += 10 * 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 = [[[[[6, 4], [13, 0], 7], [3, 0]], [[[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]], [[[1, 4], [6, 4], 5], [-45, 0]]], [[[[4, 5], [12, 1], 9], [-6, 3]], [[[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]], [[[2, 3], [8, 3], 4], [-44, 0]]], [[[[5, 5], [12, 1], 1], [103, 4]], [[[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]], [[[2, 5], [13, 0], 1], [76, 7]], [[[1, 5], [10, 2], 7], [-34, 3]]], [[[[5, 5], [12, 0], 5], [102, 7]], [[[1, 5], [10, 2], 7], [-34, 3]], [[[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]], [[[3, 5], [7, 3], 2], [82, 4]], [[[5, 3], [7, 2], 7], [81, 8]]], [[[[5, 1], [6, 7], 3], [-33, 0]], [[[5, 3], [7, 2], 7], [81, 8]], [[[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]], [[[6, 4], [1, 10], 5], [101, 6]], [[[2, 3], [13, 0], 3], [-42, 1]]]]\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":"af2bfbe198a082175524bc3bd26b7b968f9595e4e53007addc754b8d2330b49e","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        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 = [[[[[6, 4], [13, 0], 7], [3, 0]], [[[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]], [[[1, 4], [6, 4], 5], [-45, 0]]], [[[[4, 5], [12, 1], 9], [-6, 3]], [[[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]], [[[2, 3], [8, 3], 4], [-44, 0]]], [[[[5, 5], [12, 1], 1], [103, 4]], [[[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]], [[[2, 5], [13, 0], 1], [76, 7]], [[[1, 5], [10, 2], 7], [-34, 3]]], [[[[5, 5], [12, 0], 5], [102, 7]], [[[1, 5], [10, 2], 7], [-34, 3]], [[[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]], [[[3, 5], [7, 3], 2], [82, 4]], [[[5, 3], [7, 2], 7], [81, 8]]], [[[[5, 1], [6, 7], 3], [-33, 0]], [[[5, 3], [7, 2], 7], [81, 8]], [[[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]], [[[6, 4], [1, 10], 5], [101, 6]], [[[2, 3], [13, 0], 3], [-42, 1]]]]\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":"e2bdf1afb7f6ee7e0e8179ad179507f7238c797474d453f825ec8273b1571938","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 = [[[[[6, 4], [13, 0], 7], [3, 0]], [[[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]], [[[1, 4], [6, 4], 5], [-45, 0]]], [[[[4, 5], [12, 1], 9], [-6, 3]], [[[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]], [[[2, 3], [8, 3], 4], [-44, 0]]], [[[[5, 5], [12, 1], 1], [103, 4]], [[[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]], [[[2, 5], [13, 0], 1], [76, 7]], [[[1, 5], [10, 2], 7], [-34, 3]]], [[[[5, 5], [12, 0], 5], [102, 7]], [[[1, 5], [10, 2], 7], [-34, 3]], [[[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]], [[[3, 5], [7, 3], 2], [82, 4]], [[[5, 3], [7, 2], 7], [81, 8]]], [[[[5, 1], [6, 7], 3], [-33, 0]], [[[5, 3], [7, 2], 7], [81, 8]], [[[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]], [[[6, 4], [1, 10], 5], [101, 6]], [[[2, 3], [13, 0], 3], [-42, 1]]]]\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-overtrick-points","generated_at":"2026-09-29T14:50:21.654600+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":"Each overtrick scores one point and one bag.","root_cause":"Overtricks are added to bags but not to the score.","sha256":"1c5c7494041f181e6ddc6bc738cd46b358ce2f9742709303a67f3bbed534de4f","title":"Overtricks score no points · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.954,"exit_code":1,"observations":[{"actual":[30,0],"check":"team score case 0","expected":[3,0],"passed":false},{"actual":[-220,6],"check":"team score case 1","expected":[-220,6],"passed":true},{"actual":[130,8],"check":"team score case 2","expected":[85,8],"passed":false},{"actual":[130,4],"check":"team score case 3","expected":[103,4],"passed":false},{"actual":[-100,4],"check":"team score case 4","expected":[-154,4],"passed":false},{"actual":[10,1],"check":"team score case 5","expected":[-8,1],"passed":false},{"actual":[120,7],"check":"team score case 6","expected":[102,7],"passed":false},{"actual":[0,0],"check":"team score case 7","expected":[-45,0],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"team score case 0\", \"actual\": [30, 0], \"expected\": [3, 0], \"passed\": false}, {\"check\": \"team score case 1\", \"actual\": [-220, 6], \"expected\": [-220, 6], \"passed\": true}, {\"check\": \"team score case 2\", \"actual\": [130, 8], \"expected\": [85, 8], \"passed\": false}, {\"check\": \"team score case 3\", \"actual\": [130, 4], \"expected\": [103, 4], \"passed\": false}, {\"check\": \"team score case 4\", \"actual\": [-100, 4], \"expected\": [-154, 4], \"passed\": false}, {\"check\": \"team score case 5\", \"actual\": [10, 1], \"expected\": [-8, 1], \"passed\": false}, {\"check\": \"team score case 6\", \"actual\": [120, 7], \"expected\": [102, 7], \"passed\": false}, {\"check\": \"team score case 7\", \"actual\": [0, 0], \"expected\": [-45, 0], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.669,"exit_code":1,"observations":[{"actual":[0,0],"check":"team score case 0","expected":[3,0],"passed":false},{"actual":[-220,6],"check":"team score case 1","expected":[-220,6],"passed":true},{"actual":[80,8],"check":"team score case 2","expected":[85,8],"passed":false},{"actual":[100,4],"check":"team score case 3","expected":[103,4],"passed":false},{"actual":[-160,4],"check":"team score case 4","expected":[-154,4],"passed":false},{"actual":[-10,1],"check":"team score case 5","expected":[-8,1],"passed":false},{"actual":[100,7],"check":"team score case 6","expected":[102,7],"passed":false},{"actual":[-50,0],"check":"team score case 7","expected":[-45,0],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"team score case 0\", \"actual\": [0, 0], \"expected\": [3, 0], \"passed\": false}, {\"check\": \"team score case 1\", \"actual\": [-220, 6], \"expected\": [-220, 6], \"passed\": true}, {\"check\": \"team score case 2\", \"actual\": [80, 8], \"expected\": [85, 8], \"passed\": false}, {\"check\": \"team score case 3\", \"actual\": [100, 4], \"expected\": [103, 4], \"passed\": false}, {\"check\": \"team score case 4\", \"actual\": [-160, 4], \"expected\": [-154, 4], \"passed\": false}, {\"check\": \"team score case 5\", \"actual\": [-10, 1], \"expected\": [-8, 1], \"passed\": false}, {\"check\": \"team score case 6\", \"actual\": [100, 7], \"expected\": [102, 7], \"passed\": false}, {\"check\": \"team score case 7\", \"actual\": [-50, 0], \"expected\": [-45, 0], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.329,"exit_code":0,"observations":[{"actual":[3,0],"check":"team score case 0","expected":[3,0],"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":[-45,0],"check":"team score case 7","expected":[-45,0],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"team score case 0\", \"actual\": [3, 0], \"expected\": [3, 0], \"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\": [-45, 0], \"expected\": [-45, 0], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}