{"abstract":"A 25 percent boost on 2.00 pays as if the price were 2.50.","category":"Betting odds conversion","checks":7,"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)].","contract_signature":"price, boost_pct, max_extra_cents, stake_cents","evaluation_group":"w2-odds-conversion-profit-boost-cap","failed_approach":"Boosting the stake instead of the profit pays the same extra on every price.","family":"w2-odds-conversion-profit-boost-cap-boost-base","id":"FA-84736","implementations":{"attempt":{"sha256":"58245b9ec366ba554bea1991a49b0059fbfabf14fd590b9bbeba7d10792e2fd8","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 + stake_cents * 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: boost base', ('3.27', '25', 100000, 500), ['3.84', 1918]),\n  ('variant scenario 1', ('2.55', '50', 500, 2000), ['3.33', 5600]),\n  ('variant scenario 2', ('4.35', '25', 100000, 2000), ['5.19', 10375])],\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: boost base', ('3.91', '50', 1000, 1000), ['5.37', 4910]),\n  ('regression: boost base', ('3.99', '20', 100000, 1000), ['4.59', 4588]),\n  ('variant scenario 1', ('3.03', '50', 500, 5000), ['4.05', 15650]),\n  ('variant scenario 2', ('1.95', '25', 1000, 1000), ['2.19', 2187])],\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: boost base', ('1.51', '10', 1000, 5000), ['1.56', 7805]),\n  ('variant scenario 1', ('6.92', '20', 5000, 5000), ['8.10', 39600]),\n  ('variant scenario 2', ('4.55', '100', 5000, 500), ['8.10', 4050])],\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: boost base', ('2.47', '10', 5000, 2000), ['2.62', 5234]),\n  ('variant scenario 1', ('6.20', '50', 500, 1000), ['8.80', 6700]),\n  ('variant scenario 2', ('6.96', '50', 1000, 5000), ['9.94', 35800])],\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: boost base', ('3.98', '10', 5000, 2000), ['4.28', 8556]),\n  ('variant scenario 1', ('4.51', '10', 500, 500), ['4.86', 2430]),\n  ('variant scenario 2', ('6.05', '100', 100000, 5000), ['11.10', 55500])]]\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":"5a520f7b9f736753651d88e2f64b36807e3b18833153b706411f8a06888dfb61","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 = stake_cents * d * (1 + b) - stake_cents\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: boost base', ('3.27', '25', 100000, 500), ['3.84', 1918]),\n  ('variant scenario 1', ('2.55', '50', 500, 2000), ['3.33', 5600]),\n  ('variant scenario 2', ('4.35', '25', 100000, 2000), ['5.19', 10375])],\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: boost base', ('3.91', '50', 1000, 1000), ['5.37', 4910]),\n  ('regression: boost base', ('3.99', '20', 100000, 1000), ['4.59', 4588]),\n  ('variant scenario 1', ('3.03', '50', 500, 5000), ['4.05', 15650]),\n  ('variant scenario 2', ('1.95', '25', 1000, 1000), ['2.19', 2187])],\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: boost base', ('1.51', '10', 1000, 5000), ['1.56', 7805]),\n  ('variant scenario 1', ('6.92', '20', 5000, 5000), ['8.10', 39600]),\n  ('variant scenario 2', ('4.55', '100', 5000, 500), ['8.10', 4050])],\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: boost base', ('2.47', '10', 5000, 2000), ['2.62', 5234]),\n  ('variant scenario 1', ('6.20', '50', 500, 1000), ['8.80', 6700]),\n  ('variant scenario 2', ('6.96', '50', 1000, 5000), ['9.94', 35800])],\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: boost base', ('3.98', '10', 5000, 2000), ['4.28', 8556]),\n  ('variant scenario 1', ('4.51', '10', 500, 500), ['4.86', 2430]),\n  ('variant scenario 2', ('6.05', '100', 100000, 5000), ['11.10', 55500])]]\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-boost-base","generated_at":"2026-09-29T14:50:33.859901+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.","root_cause":"The boost multiplies stake * price rather than the profit.","sha256":"4e4bcd40e05770004ab354704ce84b9764fa8c606f8e3c2c62bc3b291ba0d635","title":"Boost applied to the whole price instead of the profit · 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.959,"exit_code":1,"observations":[{"actual":["2.25",2250],"check":"control boosted evens","expected":["2.25",2250],"passed":true},{"actual":["7.00",5500],"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",2150],"check":"boundary display half-up","expected":["2.13",2125],"passed":false},{"actual":["3.84",1760],"check":"regression: boost base","expected":["3.84",1918],"passed":false},{"actual":["3.33",5600],"check":"variant scenario 1","expected":["3.33",5600],"passed":true},{"actual":["5.19",9200],"check":"variant scenario 2","expected":["5.19",10375],"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\", 5500], \"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\", 2150], \"expected\": [\"2.13\", 2125], \"passed\": false}, {\"check\": \"regression: boost base\", \"actual\": [\"3.84\", 1760], \"expected\": [\"3.84\", 1918], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [\"3.33\", 5600], \"expected\": [\"3.33\", 5600], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [\"5.19\", 9200], \"expected\": [\"5.19\", 10375], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.053,"exit_code":1,"observations":[{"actual":["2.25",2500],"check":"control boosted evens","expected":["2.25",2250],"passed":false},{"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",2375],"check":"boundary display half-up","expected":["2.13",2125],"passed":false},{"actual":["3.84",2043],"check":"regression: boost base","expected":["3.84",1918],"passed":false},{"actual":["3.33",5600],"check":"variant scenario 1","expected":["3.33",5600],"passed":true},{"actual":["5.19",10875],"check":"variant scenario 2","expected":["5.19",10375],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control boosted evens\", \"actual\": [\"2.25\", 2500], \"expected\": [\"2.25\", 2250], \"passed\": false}, {\"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\", 2375], \"expected\": [\"2.13\", 2125], \"passed\": false}, {\"check\": \"regression: boost base\", \"actual\": [\"3.84\", 2043], \"expected\": [\"3.84\", 1918], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [\"3.33\", 5600], \"expected\": [\"3.33\", 5600], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [\"5.19\", 10875], \"expected\": [\"5.19\", 10375], \"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."}}