{"abstract":"Large boosted bets exceed the promotional cap, or pay less than the unboosted price.","category":"Betting odds conversion","checks":8,"contract":"Profit boost promotion. Normal profit = stake * (price - 1). The boost increases the profit by boost_pct percent, but the extra winnings over the normal profit are capped at max_extra_cents. The displayed boosted price is 1 + (price - 1) * (1 + boost/100) rounded half up to two decimals (display only). Return [displayed price, potential return = stake + floor(normal profit + extra)].","evaluation_group":"w2-odds-conversion-profit-boost-cap","failed_approach":"Capping the whole boosted profit can pay less than the unboosted bet.","family":"w2-odds-conversion-profit-boost-cap-extra-cap-scope","id":"FA-84741","implementations":{"attempt":{"sha256":"27443754206ae9a5dda6732908b67ccca7afbf4271b29c2794b54f17fcf54d58","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(price, boost_pct, max_extra_cents, stake_cents):\n    d = Fraction(price)\n    b = Fraction(boost_pct) / 100\n    normal = stake_cents * (d - 1)\n    boosted = normal * (1 + b)\n    extra = min(boosted, max_extra_cents) - normal\n    shown = 1 + (d - 1) * (1 + b)\n    c = math.floor(shown * 100 + Fraction(1, 2))\n    return ['%d.%02d' % (c // 100, c % 100), stake_cents + math.floor(normal + extra)]\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 boosted evens', ('2.00', '25', 100000, 1000), ['2.25', 2250]),\n  ('boundary capped extra', ('5.00', '50', 1000, 1000), ['7.00', 6000]),\n  ('control no boost', ('3.00', '0', 1000, 1000), ['3.00', 3000]),\n  ('boundary display half-up', ('1.90', '25', 100000, 1000), ['2.13', 2125]),\n  ('regression: extra cap scope', ('6.51', '25', 5000, 1000), ['7.89', 7887]),\n  ('regression: extra cap scope', ('1.74', '25', 500, 5000), ['1.93', 9200]),\n  ('variant scenario 1', ('4.59', '20', 5000, 5000), ['5.31', 26540]),\n  ('variant scenario 2', ('7.77', '50', 5000, 500), ['11.16', 5577])],\n [('control boosted evens', ('2.00', '25', 100000, 1000), ['2.25', 2250]),\n  ('boundary capped extra', ('5.00', '50', 1000, 1000), ['7.00', 6000]),\n  ('control no boost', ('3.00', '0', 1000, 1000), ['3.00', 3000]),\n  ('boundary display half-up', ('1.90', '25', 100000, 1000), ['2.13', 2125]),\n  ('regression: extra cap scope', ('2.46', '50', 500, 2000), ['3.19', 5420]),\n  ('variant scenario 1', ('1.74', '20', 1000, 1000), ['1.89', 1888]),\n  ('variant scenario 2', ('7.11', '100', 500, 1000), ['13.22', 7610])],\n [('control boosted evens', ('2.00', '25', 100000, 1000), ['2.25', 2250]),\n  ('boundary capped extra', ('5.00', '50', 1000, 1000), ['7.00', 6000]),\n  ('control no boost', ('3.00', '0', 1000, 1000), ['3.00', 3000]),\n  ('boundary display half-up', ('1.90', '25', 100000, 1000), ['2.13', 2125]),\n  ('regression: extra cap scope', ('5.08', '25', 1000, 1000), ['6.10', 6080]),\n  ('variant scenario 1', ('3.91', '50', 5000, 1000), ['5.37', 5365]),\n  ('variant scenario 2', ('2.97', '25', 100000, 1000), ['3.46', 3462])],\n [('control boosted evens', ('2.00', '25', 100000, 1000), ['2.25', 2250]),\n  ('boundary capped extra', ('5.00', '50', 1000, 1000), ['7.00', 6000]),\n  ('control no boost', ('3.00', '0', 1000, 1000), ['3.00', 3000]),\n  ('boundary display half-up', ('1.90', '25', 100000, 1000), ['2.13', 2125]),\n  ('regression: extra cap scope', ('3.51', '25', 5000, 5000), ['4.14', 20687]),\n  ('regression: extra cap scope', ('5.33', '25', 500, 5000), ['6.41', 27150]),\n  ('variant scenario 1', ('1.34', '20', 500, 500), ['1.41', 704]),\n  ('variant scenario 2', ('4.55', '50', 5000, 2000), ['6.33', 12650])],\n [('control boosted evens', ('2.00', '25', 100000, 1000), ['2.25', 2250]),\n  ('boundary capped extra', ('5.00', '50', 1000, 1000), ['7.00', 6000]),\n  ('control no boost', ('3.00', '0', 1000, 1000), ['3.00', 3000]),\n  ('boundary display half-up', ('1.90', '25', 100000, 1000), ['2.13', 2125]),\n  ('regression: extra cap scope', ('6.53', '20', 5000, 2000), ['7.64', 15272]),\n  ('regression: extra cap scope', ('4.26', '10', 500, 2000), ['4.59', 9020]),\n  ('variant scenario 1', ('1.61', '25', 1000, 500), ['1.76', 881]),\n  ('variant scenario 2', ('1.38', '20', 100000, 2000), ['1.46', 2912])]]\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":"8516014db5fc16223073cd359b2dc2ba61134415bfd126a558245a8d7981e4c3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(price, boost_pct, max_extra_cents, stake_cents):\n    d = Fraction(price)\n    b = Fraction(boost_pct) / 100\n    normal = stake_cents * (d - 1)\n    boosted = normal * (1 + b)\n    extra = boosted - normal\n    shown = 1 + (d - 1) * (1 + b)\n    c = math.floor(shown * 100 + Fraction(1, 2))\n    return ['%d.%02d' % (c // 100, c % 100), stake_cents + math.floor(normal + extra)]\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 boosted evens', ('2.00', '25', 100000, 1000), ['2.25', 2250]),\n  ('boundary capped extra', ('5.00', '50', 1000, 1000), ['7.00', 6000]),\n  ('control no boost', ('3.00', '0', 1000, 1000), ['3.00', 3000]),\n  ('boundary display half-up', ('1.90', '25', 100000, 1000), ['2.13', 2125]),\n  ('regression: extra cap scope', ('6.51', '25', 5000, 1000), ['7.89', 7887]),\n  ('regression: extra cap scope', ('1.74', '25', 500, 5000), ['1.93', 9200]),\n  ('variant scenario 1', ('4.59', '20', 5000, 5000), ['5.31', 26540]),\n  ('variant scenario 2', ('7.77', '50', 5000, 500), ['11.16', 5577])],\n [('control boosted evens', ('2.00', '25', 100000, 1000), ['2.25', 2250]),\n  ('boundary capped extra', ('5.00', '50', 1000, 1000), ['7.00', 6000]),\n  ('control no boost', ('3.00', '0', 1000, 1000), ['3.00', 3000]),\n  ('boundary display half-up', ('1.90', '25', 100000, 1000), ['2.13', 2125]),\n  ('regression: extra cap scope', ('2.46', '50', 500, 2000), ['3.19', 5420]),\n  ('variant scenario 1', ('1.74', '20', 1000, 1000), ['1.89', 1888]),\n  ('variant scenario 2', ('7.11', '100', 500, 1000), ['13.22', 7610])],\n [('control boosted evens', ('2.00', '25', 100000, 1000), ['2.25', 2250]),\n  ('boundary capped extra', ('5.00', '50', 1000, 1000), ['7.00', 6000]),\n  ('control no boost', ('3.00', '0', 1000, 1000), ['3.00', 3000]),\n  ('boundary display half-up', ('1.90', '25', 100000, 1000), ['2.13', 2125]),\n  ('regression: extra cap scope', ('5.08', '25', 1000, 1000), ['6.10', 6080]),\n  ('variant scenario 1', ('3.91', '50', 5000, 1000), ['5.37', 5365]),\n  ('variant scenario 2', ('2.97', '25', 100000, 1000), ['3.46', 3462])],\n [('control boosted evens', ('2.00', '25', 100000, 1000), ['2.25', 2250]),\n  ('boundary capped extra', ('5.00', '50', 1000, 1000), ['7.00', 6000]),\n  ('control no boost', ('3.00', '0', 1000, 1000), ['3.00', 3000]),\n  ('boundary display half-up', ('1.90', '25', 100000, 1000), ['2.13', 2125]),\n  ('regression: extra cap scope', ('3.51', '25', 5000, 5000), ['4.14', 20687]),\n  ('regression: extra cap scope', ('5.33', '25', 500, 5000), ['6.41', 27150]),\n  ('variant scenario 1', ('1.34', '20', 500, 500), ['1.41', 704]),\n  ('variant scenario 2', ('4.55', '50', 5000, 2000), ['6.33', 12650])],\n [('control boosted evens', ('2.00', '25', 100000, 1000), ['2.25', 2250]),\n  ('boundary capped extra', ('5.00', '50', 1000, 1000), ['7.00', 6000]),\n  ('control no boost', ('3.00', '0', 1000, 1000), ['3.00', 3000]),\n  ('boundary display half-up', ('1.90', '25', 100000, 1000), ['2.13', 2125]),\n  ('regression: extra cap scope', ('6.53', '20', 5000, 2000), ['7.64', 15272]),\n  ('regression: extra cap scope', ('4.26', '10', 500, 2000), ['4.59', 9020]),\n  ('variant scenario 1', ('1.61', '25', 1000, 500), ['1.76', 881]),\n  ('variant scenario 2', ('1.38', '20', 100000, 2000), ['1.46', 2912])]]\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"},"fixed":{"sha256":"e5bdbca2d29a8109407b345d4a9748be8cb29746781ad025f94e34bff1b22fe5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(price, boost_pct, max_extra_cents, stake_cents):\n    d = Fraction(price)\n    b = Fraction(boost_pct) / 100\n    normal = stake_cents * (d - 1)\n    boosted = normal * (1 + b)\n    extra = min(boosted - normal, max_extra_cents)\n    shown = 1 + (d - 1) * (1 + b)\n    c = math.floor(shown * 100 + Fraction(1, 2))\n    return ['%d.%02d' % (c // 100, c % 100), stake_cents + math.floor(normal + extra)]\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 boosted evens', ('2.00', '25', 100000, 1000), ['2.25', 2250]),\n  ('boundary capped extra', ('5.00', '50', 1000, 1000), ['7.00', 6000]),\n  ('control no boost', ('3.00', '0', 1000, 1000), ['3.00', 3000]),\n  ('boundary display half-up', ('1.90', '25', 100000, 1000), ['2.13', 2125]),\n  ('regression: extra cap scope', ('6.51', '25', 5000, 1000), ['7.89', 7887]),\n  ('regression: extra cap scope', ('1.74', '25', 500, 5000), ['1.93', 9200]),\n  ('variant scenario 1', ('4.59', '20', 5000, 5000), ['5.31', 26540]),\n  ('variant scenario 2', ('7.77', '50', 5000, 500), ['11.16', 5577])],\n [('control boosted evens', ('2.00', '25', 100000, 1000), ['2.25', 2250]),\n  ('boundary capped extra', ('5.00', '50', 1000, 1000), ['7.00', 6000]),\n  ('control no boost', ('3.00', '0', 1000, 1000), ['3.00', 3000]),\n  ('boundary display half-up', ('1.90', '25', 100000, 1000), ['2.13', 2125]),\n  ('regression: extra cap scope', ('2.46', '50', 500, 2000), ['3.19', 5420]),\n  ('variant scenario 1', ('1.74', '20', 1000, 1000), ['1.89', 1888]),\n  ('variant scenario 2', ('7.11', '100', 500, 1000), ['13.22', 7610])],\n [('control boosted evens', ('2.00', '25', 100000, 1000), ['2.25', 2250]),\n  ('boundary capped extra', ('5.00', '50', 1000, 1000), ['7.00', 6000]),\n  ('control no boost', ('3.00', '0', 1000, 1000), ['3.00', 3000]),\n  ('boundary display half-up', ('1.90', '25', 100000, 1000), ['2.13', 2125]),\n  ('regression: extra cap scope', ('5.08', '25', 1000, 1000), ['6.10', 6080]),\n  ('variant scenario 1', ('3.91', '50', 5000, 1000), ['5.37', 5365]),\n  ('variant scenario 2', ('2.97', '25', 100000, 1000), ['3.46', 3462])],\n [('control boosted evens', ('2.00', '25', 100000, 1000), ['2.25', 2250]),\n  ('boundary capped extra', ('5.00', '50', 1000, 1000), ['7.00', 6000]),\n  ('control no boost', ('3.00', '0', 1000, 1000), ['3.00', 3000]),\n  ('boundary display half-up', ('1.90', '25', 100000, 1000), ['2.13', 2125]),\n  ('regression: extra cap scope', ('3.51', '25', 5000, 5000), ['4.14', 20687]),\n  ('regression: extra cap scope', ('5.33', '25', 500, 5000), ['6.41', 27150]),\n  ('variant scenario 1', ('1.34', '20', 500, 500), ['1.41', 704]),\n  ('variant scenario 2', ('4.55', '50', 5000, 2000), ['6.33', 12650])],\n [('control boosted evens', ('2.00', '25', 100000, 1000), ['2.25', 2250]),\n  ('boundary capped extra', ('5.00', '50', 1000, 1000), ['7.00', 6000]),\n  ('control no boost', ('3.00', '0', 1000, 1000), ['3.00', 3000]),\n  ('boundary display half-up', ('1.90', '25', 100000, 1000), ['2.13', 2125]),\n  ('regression: extra cap scope', ('6.53', '20', 5000, 2000), ['7.64', 15272]),\n  ('regression: extra cap scope', ('4.26', '10', 500, 2000), ['4.59', 9020]),\n  ('variant scenario 1', ('1.61', '25', 1000, 500), ['1.76', 881]),\n  ('variant scenario 2', ('1.38', '20', 100000, 2000), ['1.46', 2912])]]\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-profit-boost-cap-extra-cap-scope","generated_at":"2026-09-29T14:50:33.857879+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Promotional boosts must be applied to profit, not stake, and respect maximum extra winnings.","repair":"Cap only the extra winnings above the normal profit.","root_cause":"The extra winnings are not capped.","sha256":"1bc143bc5649f99d42292c669671fdefa6fdc9dd9d8fbf1cb98d8b3b5f201cee","title":"Maximum extra winnings cap applied to total profit or not at all · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.8,"exit_code":1,"observations":[{"actual":["2.25",2250],"check":"control boosted evens","expected":["2.25",2250],"passed":true},{"actual":["7.00",2000],"check":"boundary capped extra","expected":["7.00",6000],"passed":false},{"actual":["3.00",2000],"check":"control no boost","expected":["3.00",3000],"passed":false},{"actual":["2.13",2125],"check":"boundary display half-up","expected":["2.13",2125],"passed":true},{"actual":["7.89",6000],"check":"regression: extra cap scope","expected":["7.89",7887],"passed":false},{"actual":["1.93",5500],"check":"regression: extra cap scope","expected":["1.93",9200],"passed":false},{"actual":["5.31",10000],"check":"variant scenario 1","expected":["5.31",26540],"passed":false},{"actual":["11.16",5500],"check":"variant scenario 2","expected":["11.16",5577],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control boosted evens\", \"actual\": [\"2.25\", 2250], \"expected\": [\"2.25\", 2250], \"passed\": true}, {\"check\": \"boundary capped extra\", \"actual\": [\"7.00\", 2000], \"expected\": [\"7.00\", 6000], \"passed\": false}, {\"check\": \"control no boost\", \"actual\": [\"3.00\", 2000], \"expected\": [\"3.00\", 3000], \"passed\": false}, {\"check\": \"boundary display half-up\", \"actual\": [\"2.13\", 2125], \"expected\": [\"2.13\", 2125], \"passed\": true}, {\"check\": \"regression: extra cap scope\", \"actual\": [\"7.89\", 6000], \"expected\": [\"7.89\", 7887], \"passed\": false}, {\"check\": \"regression: extra cap scope\", \"actual\": [\"1.93\", 5500], \"expected\": [\"1.93\", 9200], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [\"5.31\", 10000], \"expected\": [\"5.31\", 26540], \"passed\": false}, {\"check\": \"variant scenario 2\", \"actual\": [\"11.16\", 5500], \"expected\": [\"11.16\", 5577], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.95,"exit_code":1,"observations":[{"actual":["2.25",2250],"check":"control boosted evens","expected":["2.25",2250],"passed":true},{"actual":["7.00",7000],"check":"boundary capped extra","expected":["7.00",6000],"passed":false},{"actual":["3.00",3000],"check":"control no boost","expected":["3.00",3000],"passed":true},{"actual":["2.13",2125],"check":"boundary display half-up","expected":["2.13",2125],"passed":true},{"actual":["7.89",7887],"check":"regression: extra cap scope","expected":["7.89",7887],"passed":true},{"actual":["1.93",9625],"check":"regression: extra cap scope","expected":["1.93",9200],"passed":false},{"actual":["5.31",26540],"check":"variant scenario 1","expected":["5.31",26540],"passed":true},{"actual":["11.16",5577],"check":"variant scenario 2","expected":["11.16",5577],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control boosted evens\", \"actual\": [\"2.25\", 2250], \"expected\": [\"2.25\", 2250], \"passed\": true}, {\"check\": \"boundary capped extra\", \"actual\": [\"7.00\", 7000], \"expected\": [\"7.00\", 6000], \"passed\": false}, {\"check\": \"control no boost\", \"actual\": [\"3.00\", 3000], \"expected\": [\"3.00\", 3000], \"passed\": true}, {\"check\": \"boundary display half-up\", \"actual\": [\"2.13\", 2125], \"expected\": [\"2.13\", 2125], \"passed\": true}, {\"check\": \"regression: extra cap scope\", \"actual\": [\"7.89\", 7887], \"expected\": [\"7.89\", 7887], \"passed\": true}, {\"check\": \"regression: extra cap scope\", \"actual\": [\"1.93\", 9625], \"expected\": [\"1.93\", 9200], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [\"5.31\", 26540], \"expected\": [\"5.31\", 26540], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [\"11.16\", 5577], \"expected\": [\"11.16\", 5577], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.044,"exit_code":0,"observations":[{"actual":["2.25",2250],"check":"control boosted evens","expected":["2.25",2250],"passed":true},{"actual":["7.00",6000],"check":"boundary capped extra","expected":["7.00",6000],"passed":true},{"actual":["3.00",3000],"check":"control no boost","expected":["3.00",3000],"passed":true},{"actual":["2.13",2125],"check":"boundary display half-up","expected":["2.13",2125],"passed":true},{"actual":["7.89",7887],"check":"regression: extra cap scope","expected":["7.89",7887],"passed":true},{"actual":["1.93",9200],"check":"regression: extra cap scope","expected":["1.93",9200],"passed":true},{"actual":["5.31",26540],"check":"variant scenario 1","expected":["5.31",26540],"passed":true},{"actual":["11.16",5577],"check":"variant scenario 2","expected":["11.16",5577],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control boosted evens\", \"actual\": [\"2.25\", 2250], \"expected\": [\"2.25\", 2250], \"passed\": true}, {\"check\": \"boundary capped extra\", \"actual\": [\"7.00\", 6000], \"expected\": [\"7.00\", 6000], \"passed\": true}, {\"check\": \"control no boost\", \"actual\": [\"3.00\", 3000], \"expected\": [\"3.00\", 3000], \"passed\": true}, {\"check\": \"boundary display half-up\", \"actual\": [\"2.13\", 2125], \"expected\": [\"2.13\", 2125], \"passed\": true}, {\"check\": \"regression: extra cap scope\", \"actual\": [\"7.89\", 7887], \"expected\": [\"7.89\", 7887], \"passed\": true}, {\"check\": \"regression: extra cap scope\", \"actual\": [\"1.93\", 9200], \"expected\": [\"1.93\", 9200], \"passed\": true}, {\"check\": \"variant scenario 1\", \"actual\": [\"5.31\", 26540], \"expected\": [\"5.31\", 26540], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [\"11.16\", 5577], \"expected\": [\"11.16\", 5577], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}