{"abstract":"A number-eleven bowler out first ball loses 2 points.","category":"Fantasy sports scoring","checks":7,"contract":"Score a T20 batting innings: 1 per run, +1 per four, +2 per six; only the highest milestone bonus applies (30+ -> 4, 50+ -> 8, 100+ -> 16). A duck (-2) applies when the batter is out for 0 after facing at least one ball, except for BOWL-role players. Strike-rate bonus for non-BOWL players with at least 10 balls, using exact runs*100 vs balls: >170 +6, >150 +4, >=130 +2, >=70 0, >=60 -2, >=50 -4, below -6.","contract_signature":"inn","evaluation_group":"w2-fantasy-sports-scoring-cricket-batting","failed_approach":"Exempting all-rounders as well removes a penalty the contract keeps.","family":"w2-fantasy-sports-scoring-cricket-batting-bowler-duck-exemption","id":"FA-85176","implementations":{"attempt":{"sha256":"1f8a3ebf60f4af8c296c592669414389cc9ed8fed712602cf271d1558c8e8974","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(inn):\n    pts = inn['runs'] + inn['fours'] + inn['sixes'] * 2\n    if inn['runs'] >= 100:\n        pts += 16\n    elif inn['runs'] >= 50:\n        pts += 8\n    elif inn['runs'] >= 30:\n        pts += 4\n    if inn['out'] and inn['runs'] == 0 and inn['balls'] >= 1 and inn['role'] not in ('BOWL', 'AR'):\n        pts -= 2\n    if inn['balls'] >= 10 and inn['role'] != 'BOWL':\n        r, b = inn['runs'] * 100, inn['balls']\n        if r > 170 * b:\n            pts += 6\n        elif r > 150 * b:\n            pts += 4\n        elif r >= 130 * b:\n            pts += 2\n        elif r >= 70 * b:\n            pass\n        elif r >= 60 * b:\n            pts -= 2\n        elif r >= 50 * b:\n            pts -= 4\n        else:\n            pts -= 6\n    return pts\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: bowler duck exemption',\n   [{'balls': 47, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 0, 'sixes': 0}], 0),\n  ('partial repair probe: bowler duck exemption',\n   [{'balls': 22, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -8),\n  ('second regression', [{'balls': 11, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 0, 'sixes': 0}], 0),\n  ('normal control 1', [{'balls': 41, 'fours': 14, 'out': True, 'role': 'AR', 'runs': 70, 'sixes': 0}], 98),\n  ('normal control 2', [{'balls': 1, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 29, 'sixes': 3}], 35),\n  ('normal control 3', [{'balls': 20, 'fours': 0, 'out': True, 'role': 'BAT', 'runs': 50, 'sixes': 2}], 68),\n  ('normal control 4', [{'balls': 47, 'fours': 11, 'out': False, 'role': 'BAT', 'runs': 50, 'sixes': 1}],\n   71)],\n [('regression: bowler duck exemption',\n   [{'balls': 1, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 0, 'sixes': 0}], 0),\n  ('partial repair probe: bowler duck exemption',\n   [{'balls': 23, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -8),\n  ('second regression', [{'balls': 47, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -8),\n  ('normal control 1', [{'balls': 47, 'fours': 3, 'out': False, 'role': 'BOWL', 'runs': 30, 'sixes': 0}], 37),\n  ('normal control 2', [{'balls': 10, 'fours': 8, 'out': False, 'role': 'BAT', 'runs': 34, 'sixes': 0}], 52),\n  ('normal control 3', [{'balls': 10, 'fours': 2, 'out': True, 'role': 'AR', 'runs': 29, 'sixes': 0}], 37),\n  ('normal control 4', [{'balls': 23, 'fours': 0, 'out': False, 'role': 'WK', 'runs': 0, 'sixes': 0}], -6)],\n [('regression: bowler duck exemption',\n   [{'balls': 9, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 0, 'sixes': 0}], 0),\n  ('partial repair probe: bowler duck exemption',\n   [{'balls': 47, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -8),\n  ('second regression', [{'balls': 20, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 0, 'sixes': 0}], 0),\n  ('normal control 1', [{'balls': 34, 'fours': 14, 'out': True, 'role': 'BAT', 'runs': 58, 'sixes': 0}], 86),\n  ('normal control 2', [{'balls': 53, 'fours': 3, 'out': False, 'role': 'AR', 'runs': 91, 'sixes': 1}], 110),\n  ('normal control 3', [{'balls': 47, 'fours': 0, 'out': True, 'role': 'BAT', 'runs': 0, 'sixes': 0}], -8),\n  ('normal control 4', [{'balls': 47, 'fours': 5, 'out': True, 'role': 'BOWL', 'runs': 71, 'sixes': 8}],\n   100)],\n [('regression: bowler duck exemption',\n   [{'balls': 1, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 0, 'sixes': 0}], 0),\n  ('partial repair probe: bowler duck exemption',\n   [{'balls': 10, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -8),\n  ('second regression', [{'balls': 20, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -8),\n  ('normal control 1', [{'balls': 10, 'fours': 1, 'out': True, 'role': 'BAT', 'runs': 29, 'sixes': 4}], 44),\n  ('normal control 2', [{'balls': 1, 'fours': 1, 'out': True, 'role': 'AR', 'runs': 100, 'sixes': 2}], 121),\n  ('normal control 3', [{'balls': 1, 'fours': 0, 'out': False, 'role': 'WK', 'runs': 30, 'sixes': 3}], 40),\n  ('normal control 4', [{'balls': 21, 'fours': 7, 'out': False, 'role': 'WK', 'runs': 28, 'sixes': 0}], 37)],\n [('regression: bowler duck exemption',\n   [{'balls': 9, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 0, 'sixes': 0}], 0),\n  ('partial repair probe: bowler duck exemption',\n   [{'balls': 9, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -2),\n  ('second regression', [{'balls': 20, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -8),\n  ('normal control 1', [{'balls': 23, 'fours': 11, 'out': False, 'role': 'BAT', 'runs': 51, 'sixes': 1}], 78),\n  ('normal control 2', [{'balls': 47, 'fours': 18, 'out': True, 'role': 'BOWL', 'runs': 100, 'sixes': 4}],\n   142),\n  ('normal control 3', [{'balls': 9, 'fours': 0, 'out': False, 'role': 'AR', 'runs': 30, 'sixes': 5}], 44),\n  ('normal control 4', [{'balls': 40, 'fours': 5, 'out': False, 'role': 'WK', 'runs': 34, 'sixes': 2}], 47)]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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":"cecac0de5db2e32f54894edfa44298b8fac9a7ed746769da5cb7bed62b47654e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(inn):\n    pts = inn['runs'] + inn['fours'] + inn['sixes'] * 2\n    if inn['runs'] >= 100:\n        pts += 16\n    elif inn['runs'] >= 50:\n        pts += 8\n    elif inn['runs'] >= 30:\n        pts += 4\n    if inn['out'] and inn['runs'] == 0 and inn['balls'] >= 1:\n        pts -= 2\n    if inn['balls'] >= 10 and inn['role'] != 'BOWL':\n        r, b = inn['runs'] * 100, inn['balls']\n        if r > 170 * b:\n            pts += 6\n        elif r > 150 * b:\n            pts += 4\n        elif r >= 130 * b:\n            pts += 2\n        elif r >= 70 * b:\n            pass\n        elif r >= 60 * b:\n            pts -= 2\n        elif r >= 50 * b:\n            pts -= 4\n        else:\n            pts -= 6\n    return pts\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: bowler duck exemption',\n   [{'balls': 47, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 0, 'sixes': 0}], 0),\n  ('partial repair probe: bowler duck exemption',\n   [{'balls': 22, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -8),\n  ('second regression', [{'balls': 11, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 0, 'sixes': 0}], 0),\n  ('normal control 1', [{'balls': 41, 'fours': 14, 'out': True, 'role': 'AR', 'runs': 70, 'sixes': 0}], 98),\n  ('normal control 2', [{'balls': 1, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 29, 'sixes': 3}], 35),\n  ('normal control 3', [{'balls': 20, 'fours': 0, 'out': True, 'role': 'BAT', 'runs': 50, 'sixes': 2}], 68),\n  ('normal control 4', [{'balls': 47, 'fours': 11, 'out': False, 'role': 'BAT', 'runs': 50, 'sixes': 1}],\n   71)],\n [('regression: bowler duck exemption',\n   [{'balls': 1, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 0, 'sixes': 0}], 0),\n  ('partial repair probe: bowler duck exemption',\n   [{'balls': 23, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -8),\n  ('second regression', [{'balls': 47, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -8),\n  ('normal control 1', [{'balls': 47, 'fours': 3, 'out': False, 'role': 'BOWL', 'runs': 30, 'sixes': 0}], 37),\n  ('normal control 2', [{'balls': 10, 'fours': 8, 'out': False, 'role': 'BAT', 'runs': 34, 'sixes': 0}], 52),\n  ('normal control 3', [{'balls': 10, 'fours': 2, 'out': True, 'role': 'AR', 'runs': 29, 'sixes': 0}], 37),\n  ('normal control 4', [{'balls': 23, 'fours': 0, 'out': False, 'role': 'WK', 'runs': 0, 'sixes': 0}], -6)],\n [('regression: bowler duck exemption',\n   [{'balls': 9, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 0, 'sixes': 0}], 0),\n  ('partial repair probe: bowler duck exemption',\n   [{'balls': 47, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -8),\n  ('second regression', [{'balls': 20, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 0, 'sixes': 0}], 0),\n  ('normal control 1', [{'balls': 34, 'fours': 14, 'out': True, 'role': 'BAT', 'runs': 58, 'sixes': 0}], 86),\n  ('normal control 2', [{'balls': 53, 'fours': 3, 'out': False, 'role': 'AR', 'runs': 91, 'sixes': 1}], 110),\n  ('normal control 3', [{'balls': 47, 'fours': 0, 'out': True, 'role': 'BAT', 'runs': 0, 'sixes': 0}], -8),\n  ('normal control 4', [{'balls': 47, 'fours': 5, 'out': True, 'role': 'BOWL', 'runs': 71, 'sixes': 8}],\n   100)],\n [('regression: bowler duck exemption',\n   [{'balls': 1, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 0, 'sixes': 0}], 0),\n  ('partial repair probe: bowler duck exemption',\n   [{'balls': 10, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -8),\n  ('second regression', [{'balls': 20, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -8),\n  ('normal control 1', [{'balls': 10, 'fours': 1, 'out': True, 'role': 'BAT', 'runs': 29, 'sixes': 4}], 44),\n  ('normal control 2', [{'balls': 1, 'fours': 1, 'out': True, 'role': 'AR', 'runs': 100, 'sixes': 2}], 121),\n  ('normal control 3', [{'balls': 1, 'fours': 0, 'out': False, 'role': 'WK', 'runs': 30, 'sixes': 3}], 40),\n  ('normal control 4', [{'balls': 21, 'fours': 7, 'out': False, 'role': 'WK', 'runs': 28, 'sixes': 0}], 37)],\n [('regression: bowler duck exemption',\n   [{'balls': 9, 'fours': 0, 'out': True, 'role': 'BOWL', 'runs': 0, 'sixes': 0}], 0),\n  ('partial repair probe: bowler duck exemption',\n   [{'balls': 9, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -2),\n  ('second regression', [{'balls': 20, 'fours': 0, 'out': True, 'role': 'AR', 'runs': 0, 'sixes': 0}], -8),\n  ('normal control 1', [{'balls': 23, 'fours': 11, 'out': False, 'role': 'BAT', 'runs': 51, 'sixes': 1}], 78),\n  ('normal control 2', [{'balls': 47, 'fours': 18, 'out': True, 'role': 'BOWL', 'runs': 100, 'sixes': 4}],\n   142),\n  ('normal control 3', [{'balls': 9, 'fours': 0, 'out': False, 'role': 'AR', 'runs': 30, 'sixes': 5}], 44),\n  ('normal control 4', [{'balls': 40, 'fours': 5, 'out': False, 'role': 'WK', 'runs': 34, 'sixes': 2}], 47)]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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 deterministic toy scoring contract stipulated for this example; it is not the rulebook of any real fantasy platform. 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-fantasy-sports-scoring-cricket-batting-bowler-duck-exemption","generated_at":"2026-09-29T14:50:37.946415+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Cricket fantasy contests hinge on exclusive milestones, duck eligibility and strike-rate bands evaluated exactly.","root_cause":"The duck penalty omits the bowler-role exemption.","sha256":"18e0d2144a42275354a9c17ba2c55a43d69886f9c2c8229f250987e470c8b5a2","title":"Tail-end bowlers penalized for ducks · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":39.162,"exit_code":1,"observations":[{"actual":0,"check":"regression: bowler duck exemption","expected":0,"passed":true},{"actual":-6,"check":"partial repair probe: bowler duck exemption","expected":-8,"passed":false},{"actual":0,"check":"second regression","expected":0,"passed":true},{"actual":98,"check":"normal control 1","expected":98,"passed":true},{"actual":35,"check":"normal control 2","expected":35,"passed":true},{"actual":68,"check":"normal control 3","expected":68,"passed":true},{"actual":71,"check":"normal control 4","expected":71,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: bowler duck exemption\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"partial repair probe: bowler duck exemption\", \"actual\": -6, \"expected\": -8, \"passed\": false}, {\"check\": \"second regression\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"normal control 1\", \"actual\": 98, \"expected\": 98, \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": 35, \"expected\": 35, \"passed\": true}, {\"check\": \"normal control 3\", \"actual\": 68, \"expected\": 68, \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": 71, \"expected\": 71, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.421,"exit_code":1,"observations":[{"actual":-2,"check":"regression: bowler duck exemption","expected":0,"passed":false},{"actual":-8,"check":"partial repair probe: bowler duck exemption","expected":-8,"passed":true},{"actual":-2,"check":"second regression","expected":0,"passed":false},{"actual":98,"check":"normal control 1","expected":98,"passed":true},{"actual":35,"check":"normal control 2","expected":35,"passed":true},{"actual":68,"check":"normal control 3","expected":68,"passed":true},{"actual":71,"check":"normal control 4","expected":71,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: bowler duck exemption\", \"actual\": -2, \"expected\": 0, \"passed\": false}, {\"check\": \"partial repair probe: bowler duck exemption\", \"actual\": -8, \"expected\": -8, \"passed\": true}, {\"check\": \"second regression\", \"actual\": -2, \"expected\": 0, \"passed\": false}, {\"check\": \"normal control 1\", \"actual\": 98, \"expected\": 98, \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": 35, \"expected\": 35, \"passed\": true}, {\"check\": \"normal control 3\", \"actual\": 68, \"expected\": 68, \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": 71, \"expected\": 71, \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}