{"abstract":"A yankee is charged 4 units instead of 11.","category":"Betting odds conversion","checks":8,"contract":"Full-cover system bets. system: trixie (3 selections: doubles and treble), patent (3: singles, doubles, treble), yankee (4: doubles, trebles, fourfold), lucky15 (4: singles through fourfold). Wrong selection count returns \"invalid\". Every combination is a line staked unit_cents; a line with a losing selection returns 0; void selections count as price 1. Return [lines, total stake, total return rounded down].","contract_signature":"selections, unit_cents, system","evaluation_group":"w2-odds-conversion-full-cover-system-bets","failed_approach":"Multiplying by the number of line sizes still undercharges.","family":"w2-odds-conversion-full-cover-system-bets-total-stake","id":"FA-84651","implementations":{"attempt":{"sha256":"02ed6fb52d35b90ef82666beb3dc2f6f0a85435088e6c69479593fce65aeccbf","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport itertools\nimport math\nN = 1\nobservations = []\ndef solve(selections, unit_cents, system):\n    SYS = {'trixie': (3, [2, 3]), 'patent': (3, [1, 2, 3]), 'yankee': (4, [2, 3, 4]), 'lucky15': (4, [1, 2, 3, 4])}\n    n, sizes = SYS[system]\n    if len(selections) != n:\n        return 'invalid'\n    lines = [c for k in sizes for c in itertools.combinations(range(n), k)]\n    ret = Fraction(0)\n    for combo in lines:\n        m = Fraction(1)\n        for i in combo:\n            price, result = selections[i]\n            if result == 'lose':\n                m = Fraction(0)\n                break\n            if result == 'win':\n                m *= Fraction(price)\n        ret += unit_cents * m\n    return [len(lines), unit_cents * len(sizes), math.floor(ret)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ndef run(args):\n    try:\n        return solve(*args)\n    except Exception as exc:\n        return 'raised ' + type(exc).__name__\ncases = [[('control trixie all win',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 2000]),\n  ('control yankee line count',\n   ([['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'yankee'),\n   [11, 1100, 0]),\n  ('boundary void selection',\n   ([['2.00', 'void'], ['3.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 1700]),\n  ('boundary patent single winner',\n   ([['5.00', 'win'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'patent'),\n   [7, 700, 500]),\n  ('boundary wrong count',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'yankee'),\n   'invalid'),\n  ('regression: total stake',\n   ([['2.81', 'win'], ['4.60', 'lose'], ['2.95', 'lose'], ['1.62', 'lose']], 25, 'lucky15'),\n   [15, 375, 70]),\n  ('variant scenario 1',\n   ([['5.79', 'lose'], ['3.41', 'void'], ['3.66', 'win']], 25, 'trixie'),\n   [4, 100, 91]),\n  ('variant scenario 2',\n   ([['3.01', 'lose'], ['4.93', 'win'], ['2.10', 'lose']], 50, 'patent'),\n   [7, 350, 246])],\n [('control trixie all win',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 2000]),\n  ('control yankee line count',\n   ([['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'yankee'),\n   [11, 1100, 0]),\n  ('boundary void selection',\n   ([['2.00', 'void'], ['3.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 1700]),\n  ('boundary patent single winner',\n   ([['5.00', 'win'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'patent'),\n   [7, 700, 500]),\n  ('boundary wrong count',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'yankee'),\n   'invalid'),\n  ('regression: total stake',\n   ([['4.89', 'win'], ['3.10', 'win'], ['3.26', 'win'], ['3.49', 'lose']], 50, 'yankee'),\n   [11, 550, 4531]),\n  ('variant scenario 1',\n   ([['2.52', 'win'], ['2.43', 'void'], ['1.54', 'win'], ['5.51', 'void']], 100, 'lucky15'),\n   [15, 1500, 3476]),\n  ('variant scenario 2',\n   ([['2.97', 'lose'], ['3.94', 'void'], ['1.41', 'win'], ['5.60', 'lose']], 100, 'yankee'),\n   [11, 1100, 141])],\n [('control trixie all win',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 2000]),\n  ('control yankee line count',\n   ([['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'yankee'),\n   [11, 1100, 0]),\n  ('boundary void selection',\n   ([['2.00', 'void'], ['3.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 1700]),\n  ('boundary patent single winner',\n   ([['5.00', 'win'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'patent'),\n   [7, 700, 500]),\n  ('boundary wrong count',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'yankee'),\n   'invalid'),\n  ('regression: total stake',\n   ([['2.82', 'win'], ['3.33', 'lose'], ['1.68', 'lose'], ['2.92', 'lose']], 100, 'lucky15'),\n   [15, 1500, 282]),\n  ('variant scenario 1',\n   ([['3.30', 'win'], ['2.92', 'lose'], ['4.87', 'void']], 100, 'patent'),\n   [7, 700, 760]),\n  ('variant scenario 2',\n   ([['1.96', 'lose'], ['5.37', 'void'], ['3.43', 'void'], ['2.72', 'win']], 50, 'yankee'),\n   [11, 550, 458])],\n [('control trixie all win',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 2000]),\n  ('control yankee line count',\n   ([['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'yankee'),\n   [11, 1100, 0]),\n  ('boundary void selection',\n   ([['2.00', 'void'], ['3.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 1700]),\n  ('boundary patent single winner',\n   ([['5.00', 'win'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'patent'),\n   [7, 700, 500]),\n  ('boundary wrong count',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'yankee'),\n   'invalid'),\n  ('regression: total stake',\n   ([['3.79', 'lose'], ['4.05', 'win'], ['4.66', 'win'], ['5.16', 'void']], 100, 'yankee'),\n   [11, 1100, 4645]),\n  ('variant scenario 1',\n   ([['3.13', 'void'], ['4.79', 'win'], ['4.77', 'win'], ['1.56', 'win']], 50, 'yankee'),\n   [11, 550, 7896]),\n  ('variant scenario 2',\n   ([['5.53', 'lose'], ['4.16', 'win'], ['2.16', 'win'], ['2.29', 'void']], 100, 'lucky15'),\n   [15, 1500, 3161])],\n [('control trixie all win',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 2000]),\n  ('control yankee line count',\n   ([['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'yankee'),\n   [11, 1100, 0]),\n  ('boundary void selection',\n   ([['2.00', 'void'], ['3.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 1700]),\n  ('boundary patent single winner',\n   ([['5.00', 'win'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'patent'),\n   [7, 700, 500]),\n  ('boundary wrong count',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'yankee'),\n   'invalid'),\n  ('regression: total stake',\n   ([['3.05', 'win'], ['4.52', 'win'], ['3.40', 'win']], 50, 'patent'),\n   [7, 350, 4868]),\n  ('variant scenario 1',\n   ([['2.02', 'win'], ['2.56', 'win'], ['2.79', 'void'], ['2.20', 'win']], 25, 'lucky15'),\n   [15, 375, 1695]),\n  ('variant scenario 2',\n   ([['2.95', 'lose'], ['3.69', 'win'], ['3.92', 'win']], 50, 'patent'),\n   [7, 350, 1103])]]\nfor label, args, expected in cases[N - 1]:\n    check(label, run(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":"8ad615feca50b086149989ab4d122e2d6e159eac18e97aa40e0b916cb9f02c87","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport itertools\nimport math\nN = 1\nobservations = []\ndef solve(selections, unit_cents, system):\n    SYS = {'trixie': (3, [2, 3]), 'patent': (3, [1, 2, 3]), 'yankee': (4, [2, 3, 4]), 'lucky15': (4, [1, 2, 3, 4])}\n    n, sizes = SYS[system]\n    if len(selections) != n:\n        return 'invalid'\n    lines = [c for k in sizes for c in itertools.combinations(range(n), k)]\n    ret = Fraction(0)\n    for combo in lines:\n        m = Fraction(1)\n        for i in combo:\n            price, result = selections[i]\n            if result == 'lose':\n                m = Fraction(0)\n                break\n            if result == 'win':\n                m *= Fraction(price)\n        ret += unit_cents * m\n    return [len(lines), unit_cents * n, math.floor(ret)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ndef run(args):\n    try:\n        return solve(*args)\n    except Exception as exc:\n        return 'raised ' + type(exc).__name__\ncases = [[('control trixie all win',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 2000]),\n  ('control yankee line count',\n   ([['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'yankee'),\n   [11, 1100, 0]),\n  ('boundary void selection',\n   ([['2.00', 'void'], ['3.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 1700]),\n  ('boundary patent single winner',\n   ([['5.00', 'win'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'patent'),\n   [7, 700, 500]),\n  ('boundary wrong count',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'yankee'),\n   'invalid'),\n  ('regression: total stake',\n   ([['2.81', 'win'], ['4.60', 'lose'], ['2.95', 'lose'], ['1.62', 'lose']], 25, 'lucky15'),\n   [15, 375, 70]),\n  ('variant scenario 1',\n   ([['5.79', 'lose'], ['3.41', 'void'], ['3.66', 'win']], 25, 'trixie'),\n   [4, 100, 91]),\n  ('variant scenario 2',\n   ([['3.01', 'lose'], ['4.93', 'win'], ['2.10', 'lose']], 50, 'patent'),\n   [7, 350, 246])],\n [('control trixie all win',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 2000]),\n  ('control yankee line count',\n   ([['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'yankee'),\n   [11, 1100, 0]),\n  ('boundary void selection',\n   ([['2.00', 'void'], ['3.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 1700]),\n  ('boundary patent single winner',\n   ([['5.00', 'win'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'patent'),\n   [7, 700, 500]),\n  ('boundary wrong count',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'yankee'),\n   'invalid'),\n  ('regression: total stake',\n   ([['4.89', 'win'], ['3.10', 'win'], ['3.26', 'win'], ['3.49', 'lose']], 50, 'yankee'),\n   [11, 550, 4531]),\n  ('variant scenario 1',\n   ([['2.52', 'win'], ['2.43', 'void'], ['1.54', 'win'], ['5.51', 'void']], 100, 'lucky15'),\n   [15, 1500, 3476]),\n  ('variant scenario 2',\n   ([['2.97', 'lose'], ['3.94', 'void'], ['1.41', 'win'], ['5.60', 'lose']], 100, 'yankee'),\n   [11, 1100, 141])],\n [('control trixie all win',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 2000]),\n  ('control yankee line count',\n   ([['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'yankee'),\n   [11, 1100, 0]),\n  ('boundary void selection',\n   ([['2.00', 'void'], ['3.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 1700]),\n  ('boundary patent single winner',\n   ([['5.00', 'win'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'patent'),\n   [7, 700, 500]),\n  ('boundary wrong count',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'yankee'),\n   'invalid'),\n  ('regression: total stake',\n   ([['2.82', 'win'], ['3.33', 'lose'], ['1.68', 'lose'], ['2.92', 'lose']], 100, 'lucky15'),\n   [15, 1500, 282]),\n  ('variant scenario 1',\n   ([['3.30', 'win'], ['2.92', 'lose'], ['4.87', 'void']], 100, 'patent'),\n   [7, 700, 760]),\n  ('variant scenario 2',\n   ([['1.96', 'lose'], ['5.37', 'void'], ['3.43', 'void'], ['2.72', 'win']], 50, 'yankee'),\n   [11, 550, 458])],\n [('control trixie all win',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 2000]),\n  ('control yankee line count',\n   ([['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'yankee'),\n   [11, 1100, 0]),\n  ('boundary void selection',\n   ([['2.00', 'void'], ['3.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 1700]),\n  ('boundary patent single winner',\n   ([['5.00', 'win'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'patent'),\n   [7, 700, 500]),\n  ('boundary wrong count',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'yankee'),\n   'invalid'),\n  ('regression: total stake',\n   ([['3.79', 'lose'], ['4.05', 'win'], ['4.66', 'win'], ['5.16', 'void']], 100, 'yankee'),\n   [11, 1100, 4645]),\n  ('variant scenario 1',\n   ([['3.13', 'void'], ['4.79', 'win'], ['4.77', 'win'], ['1.56', 'win']], 50, 'yankee'),\n   [11, 550, 7896]),\n  ('variant scenario 2',\n   ([['5.53', 'lose'], ['4.16', 'win'], ['2.16', 'win'], ['2.29', 'void']], 100, 'lucky15'),\n   [15, 1500, 3161])],\n [('control trixie all win',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 2000]),\n  ('control yankee line count',\n   ([['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'yankee'),\n   [11, 1100, 0]),\n  ('boundary void selection',\n   ([['2.00', 'void'], ['3.00', 'win'], ['2.00', 'win']], 100, 'trixie'),\n   [4, 400, 1700]),\n  ('boundary patent single winner',\n   ([['5.00', 'win'], ['2.00', 'lose'], ['2.00', 'lose']], 100, 'patent'),\n   [7, 700, 500]),\n  ('boundary wrong count',\n   ([['2.00', 'win'], ['2.00', 'win'], ['2.00', 'win']], 100, 'yankee'),\n   'invalid'),\n  ('regression: total stake',\n   ([['3.05', 'win'], ['4.52', 'win'], ['3.40', 'win']], 50, 'patent'),\n   [7, 350, 4868]),\n  ('variant scenario 1',\n   ([['2.02', 'win'], ['2.56', 'win'], ['2.79', 'void'], ['2.20', 'win']], 25, 'lucky15'),\n   [15, 375, 1695]),\n  ('variant scenario 2',\n   ([['2.95', 'lose'], ['3.69', 'win'], ['3.92', 'win']], 50, 'patent'),\n   [7, 350, 1103])]]\nfor label, args, expected in cases[N - 1]:\n    check(label, run(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":"Stipulated, bounded toy contract stated in the contract field; not a claim of conformance with any operator, exchange or regulator rule set. 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-odds-conversion-full-cover-system-bets-total-stake","generated_at":"2026-09-29T14:50:33.067585+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Bookmaker settlement expands system bets into combination lines before pricing each one.","root_cause":"Total stake multiplies the unit by the number of selections.","sha256":"1fecd5e728637276869c9744d6a8adc8dfb173fdfb2bd75215395c676626e68e","title":"System total stake computed per selection or per line size · 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":48.982,"exit_code":1,"observations":[{"actual":[4,200,2000],"check":"control trixie all win","expected":[4,400,2000],"passed":false},{"actual":[11,300,0],"check":"control yankee line count","expected":[11,1100,0],"passed":false},{"actual":[4,200,1700],"check":"boundary void selection","expected":[4,400,1700],"passed":false},{"actual":[7,300,500],"check":"boundary patent single winner","expected":[7,700,500],"passed":false},{"actual":"invalid","check":"boundary wrong count","expected":"invalid","passed":true},{"actual":[15,100,70],"check":"regression: total stake","expected":[15,375,70],"passed":false},{"actual":[4,50,91],"check":"variant scenario 1","expected":[4,100,91],"passed":false},{"actual":[7,150,246],"check":"variant scenario 2","expected":[7,350,246],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control trixie all win\", \"actual\": [4, 200, 2000], \"expected\": [4, 400, 2000], \"passed\": false}, {\"check\": \"control yankee line count\", \"actual\": [11, 300, 0], \"expected\": [11, 1100, 0], \"passed\": false}, {\"check\": \"boundary void selection\", \"actual\": [4, 200, 1700], \"expected\": [4, 400, 1700], \"passed\": false}, {\"check\": \"boundary patent single winner\", \"actual\": [7, 300, 500], \"expected\": [7, 700, 500], \"passed\": false}, {\"check\": \"boundary wrong count\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"regression: total stake\", \"actual\": [15, 100, 70], \"expected\": [15, 375, 70], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [4, 50, 91], \"expected\": [4, 100, 91], \"passed\": false}, {\"check\": \"variant scenario 2\", \"actual\": [7, 150, 246], \"expected\": [7, 350, 246], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.18,"exit_code":1,"observations":[{"actual":[4,300,2000],"check":"control trixie all win","expected":[4,400,2000],"passed":false},{"actual":[11,400,0],"check":"control yankee line count","expected":[11,1100,0],"passed":false},{"actual":[4,300,1700],"check":"boundary void selection","expected":[4,400,1700],"passed":false},{"actual":[7,300,500],"check":"boundary patent single winner","expected":[7,700,500],"passed":false},{"actual":"invalid","check":"boundary wrong count","expected":"invalid","passed":true},{"actual":[15,100,70],"check":"regression: total stake","expected":[15,375,70],"passed":false},{"actual":[4,75,91],"check":"variant scenario 1","expected":[4,100,91],"passed":false},{"actual":[7,150,246],"check":"variant scenario 2","expected":[7,350,246],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control trixie all win\", \"actual\": [4, 300, 2000], \"expected\": [4, 400, 2000], \"passed\": false}, {\"check\": \"control yankee line count\", \"actual\": [11, 400, 0], \"expected\": [11, 1100, 0], \"passed\": false}, {\"check\": \"boundary void selection\", \"actual\": [4, 300, 1700], \"expected\": [4, 400, 1700], \"passed\": false}, {\"check\": \"boundary patent single winner\", \"actual\": [7, 300, 500], \"expected\": [7, 700, 500], \"passed\": false}, {\"check\": \"boundary wrong count\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"regression: total stake\", \"actual\": [15, 100, 70], \"expected\": [15, 375, 70], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [4, 75, 91], \"expected\": [4, 100, 91], \"passed\": false}, {\"check\": \"variant scenario 2\", \"actual\": [7, 150, 246], \"expected\": [7, 350, 246], \"passed\": false}], \"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."}}