{"abstract":"Lines containing a non-runner return nothing, or pay the non-runner price.","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":"Pricing the void at its original price pays it as a winner.","family":"w2-odds-conversion-full-cover-system-bets-void-selection","id":"FA-84646","implementations":{"attempt":{"sha256":"1725b4a9702436356e79d9b553b705fe85dd58423708fd4326957f3283a4031f","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 in ('win', 'void'):\n                m *= Fraction(price)\n        ret += unit_cents * m\n    return [len(lines), unit_cents * len(lines), 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: void selection',\n   ([['5.92', 'lose'], ['4.13', 'lose'], ['5.96', 'void']], 100, 'patent'),\n   [7, 700, 100]),\n  ('variant scenario 1',\n   ([['3.65', 'win'], ['3.16', 'win'], ['2.64', 'win'], ['4.07', 'win']], 100, 'lucky15'),\n   [15, 1500, 35598]),\n  ('variant scenario 2',\n   ([['4.68', 'lose'], ['2.86', 'lose'], ['2.47', 'lose'], ['4.63', 'win']], 100, 'lucky15'),\n   [15, 1500, 463])],\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: void selection',\n   ([['2.01', 'void'], ['2.91', 'void'], ['2.01', 'lose']], 100, 'trixie'),\n   [4, 400, 100]),\n  ('variant scenario 1',\n   ([['3.09', 'win'], ['4.05', 'void'], ['5.96', 'lose'], ['1.77', 'lose']], 50, 'yankee'),\n   [11, 550, 154]),\n  ('variant scenario 2',\n   ([['2.18', 'lose'], ['4.86', 'win'], ['3.65', 'win']], 100, 'trixie'),\n   [4, 400, 1773])],\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: void selection',\n   ([['4.32', 'win'], ['5.81', 'lose'], ['1.95', 'void'], ['3.80', 'win']], 100, 'yankee'),\n   [11, 1100, 4095]),\n  ('variant scenario 1',\n   ([['2.12', 'win'], ['3.26', 'win'], ['2.15', 'lose']], 50, 'patent'),\n   [7, 350, 614]),\n  ('variant scenario 2',\n   ([['5.95', 'win'], ['2.71', 'lose'], ['3.63', 'lose']], 25, 'patent'),\n   [7, 175, 148])],\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: void selection',\n   ([['2.47', 'lose'], ['4.09', 'win'], ['4.37', 'win'], ['2.66', 'void']], 100, 'yankee'),\n   [11, 1100, 4420]),\n  ('variant scenario 1',\n   ([['3.59', 'lose'], ['4.34', 'win'], ['3.89', 'win'], ['2.34', 'win']], 25, 'yankee'),\n   [11, 275, 1891]),\n  ('variant scenario 2',\n   ([['2.72', 'win'], ['5.80', 'lose'], ['2.62', 'lose']], 25, 'trixie'),\n   [4, 100, 0])],\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: void selection',\n   ([['4.84', 'lose'], ['1.69', 'win'], ['5.48', 'win'], ['5.81', 'void']], 50, 'yankee'),\n   [11, 550, 1284]),\n  ('variant scenario 1',\n   ([['3.45', 'win'], ['4.45', 'void'], ['3.65', 'win'], ['2.52', 'win']], 100, 'lucky15'),\n   [15, 1500, 14467]),\n  ('variant scenario 2',\n   ([['5.21', 'lose'], ['5.61', 'win'], ['5.91', 'void'], ['1.84', 'lose']], 25, 'lucky15'),\n   [15, 375, 305])]]\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":"5c0039b1d71fe0e7c33deb581087697f80b027f57a826f58f2690c446512d90e","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 in ('lose', 'void'):\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(lines), 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: void selection',\n   ([['5.92', 'lose'], ['4.13', 'lose'], ['5.96', 'void']], 100, 'patent'),\n   [7, 700, 100]),\n  ('variant scenario 1',\n   ([['3.65', 'win'], ['3.16', 'win'], ['2.64', 'win'], ['4.07', 'win']], 100, 'lucky15'),\n   [15, 1500, 35598]),\n  ('variant scenario 2',\n   ([['4.68', 'lose'], ['2.86', 'lose'], ['2.47', 'lose'], ['4.63', 'win']], 100, 'lucky15'),\n   [15, 1500, 463])],\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: void selection',\n   ([['2.01', 'void'], ['2.91', 'void'], ['2.01', 'lose']], 100, 'trixie'),\n   [4, 400, 100]),\n  ('variant scenario 1',\n   ([['3.09', 'win'], ['4.05', 'void'], ['5.96', 'lose'], ['1.77', 'lose']], 50, 'yankee'),\n   [11, 550, 154]),\n  ('variant scenario 2',\n   ([['2.18', 'lose'], ['4.86', 'win'], ['3.65', 'win']], 100, 'trixie'),\n   [4, 400, 1773])],\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: void selection',\n   ([['4.32', 'win'], ['5.81', 'lose'], ['1.95', 'void'], ['3.80', 'win']], 100, 'yankee'),\n   [11, 1100, 4095]),\n  ('variant scenario 1',\n   ([['2.12', 'win'], ['3.26', 'win'], ['2.15', 'lose']], 50, 'patent'),\n   [7, 350, 614]),\n  ('variant scenario 2',\n   ([['5.95', 'win'], ['2.71', 'lose'], ['3.63', 'lose']], 25, 'patent'),\n   [7, 175, 148])],\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: void selection',\n   ([['2.47', 'lose'], ['4.09', 'win'], ['4.37', 'win'], ['2.66', 'void']], 100, 'yankee'),\n   [11, 1100, 4420]),\n  ('variant scenario 1',\n   ([['3.59', 'lose'], ['4.34', 'win'], ['3.89', 'win'], ['2.34', 'win']], 25, 'yankee'),\n   [11, 275, 1891]),\n  ('variant scenario 2',\n   ([['2.72', 'win'], ['5.80', 'lose'], ['2.62', 'lose']], 25, 'trixie'),\n   [4, 100, 0])],\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: void selection',\n   ([['4.84', 'lose'], ['1.69', 'win'], ['5.48', 'win'], ['5.81', 'void']], 50, 'yankee'),\n   [11, 550, 1284]),\n  ('variant scenario 1',\n   ([['3.45', 'win'], ['4.45', 'void'], ['3.65', 'win'], ['2.52', 'win']], 100, 'lucky15'),\n   [15, 1500, 14467]),\n  ('variant scenario 2',\n   ([['5.21', 'lose'], ['5.61', 'win'], ['5.91', 'void'], ['1.84', 'lose']], 25, 'lucky15'),\n   [15, 375, 305])]]\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-void-selection","generated_at":"2026-09-29T14:50:32.991059+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":"Void selections are treated as losers.","sha256":"85cd6be868fef9d4e6a4886949931c23b039d85a8791eb6596ca9104c348964a","title":"Void selection kills or wins every line containing it · 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":43.024,"exit_code":1,"observations":[{"actual":[4,400,2000],"check":"control trixie all win","expected":[4,400,2000],"passed":true},{"actual":[11,1100,0],"check":"control yankee line count","expected":[11,1100,0],"passed":true},{"actual":[4,400,2800],"check":"boundary void selection","expected":[4,400,1700],"passed":false},{"actual":[7,700,500],"check":"boundary patent single winner","expected":[7,700,500],"passed":true},{"actual":"invalid","check":"boundary wrong count","expected":"invalid","passed":true},{"actual":[7,700,596],"check":"regression: void selection","expected":[7,700,100],"passed":false},{"actual":[15,1500,35598],"check":"variant scenario 1","expected":[15,1500,35598],"passed":true},{"actual":[15,1500,463],"check":"variant scenario 2","expected":[15,1500,463],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control trixie all win\", \"actual\": [4, 400, 2000], \"expected\": [4, 400, 2000], \"passed\": true}, {\"check\": \"control yankee line count\", \"actual\": [11, 1100, 0], \"expected\": [11, 1100, 0], \"passed\": true}, {\"check\": \"boundary void selection\", \"actual\": [4, 400, 2800], \"expected\": [4, 400, 1700], \"passed\": false}, {\"check\": \"boundary patent single winner\", \"actual\": [7, 700, 500], \"expected\": [7, 700, 500], \"passed\": true}, {\"check\": \"boundary wrong count\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"regression: void selection\", \"actual\": [7, 700, 596], \"expected\": [7, 700, 100], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [15, 1500, 35598], \"expected\": [15, 1500, 35598], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [15, 1500, 463], \"expected\": [15, 1500, 463], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.063,"exit_code":1,"observations":[{"actual":[4,400,2000],"check":"control trixie all win","expected":[4,400,2000],"passed":true},{"actual":[11,1100,0],"check":"control yankee line count","expected":[11,1100,0],"passed":true},{"actual":[4,400,600],"check":"boundary void selection","expected":[4,400,1700],"passed":false},{"actual":[7,700,500],"check":"boundary patent single winner","expected":[7,700,500],"passed":true},{"actual":"invalid","check":"boundary wrong count","expected":"invalid","passed":true},{"actual":[7,700,0],"check":"regression: void selection","expected":[7,700,100],"passed":false},{"actual":[15,1500,35598],"check":"variant scenario 1","expected":[15,1500,35598],"passed":true},{"actual":[15,1500,463],"check":"variant scenario 2","expected":[15,1500,463],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control trixie all win\", \"actual\": [4, 400, 2000], \"expected\": [4, 400, 2000], \"passed\": true}, {\"check\": \"control yankee line count\", \"actual\": [11, 1100, 0], \"expected\": [11, 1100, 0], \"passed\": true}, {\"check\": \"boundary void selection\", \"actual\": [4, 400, 600], \"expected\": [4, 400, 1700], \"passed\": false}, {\"check\": \"boundary patent single winner\", \"actual\": [7, 700, 500], \"expected\": [7, 700, 500], \"passed\": true}, {\"check\": \"boundary wrong count\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"regression: void selection\", \"actual\": [7, 700, 0], \"expected\": [7, 700, 100], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [15, 1500, 35598], \"expected\": [15, 1500, 35598], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [15, 1500, 463], \"expected\": [15, 1500, 463], \"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."}}