{"abstract":"A parlay with a pushed leg pays nothing, or pays as if the push had won.","category":"Betting odds conversion","checks":9,"contract":"Accumulator settlement. legs rows are [decimal price, result] with results win, lose, push, void, half-win (half the stake wins at the price, half is refunded: factor (1 + d) / 2) and half-lose (half refunded: factor 1/2). push and void legs have factor 1, win factor d, lose makes the whole bet lose. Return [combined factor rounded half up to four decimals as a string, payout in cents rounded down].","contract_signature":"legs, stake_cents","evaluation_group":"w2-odds-conversion-parlay-leg-adjustments","failed_approach":"Paying the push at its price inflates the parlay.","family":"w2-odds-conversion-parlay-leg-adjustments-push-leg-factor","id":"FA-84466","implementations":{"attempt":{"sha256":"2ee7a1ab7c27d66df06b94e83130c83f99542c3e9fd06d0a04f5530cbfff2128","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(legs, stake_cents):\n    factor = Fraction(1)\n    for price, result in legs:\n        d = Fraction(price)\n        if result == 'lose':\n            factor = Fraction(0)\n            break\n        if result in ('win', 'push'):\n            factor *= d\n        elif result == 'half-win':\n            factor *= (1 + d) / 2\n        elif result == 'half-lose':\n            factor *= Fraction(1, 2)\n    q = math.floor(factor * 10000 + Fraction(1, 2))\n    return ['%d.%04d' % (q // 10000, q % 10000), math.floor(stake_cents * factor)]\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 two winners', ([['2.00', 'win'], ['1.50', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary pushed leg', ([['2.00', 'win'], ['1.90', 'push']], 1000), ['2.0000', 2000]),\n  ('boundary half-win leg', ([['2.00', 'half-win'], ['2.00', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary half-lose leg', ([['2.00', 'half-lose'], ['3.00', 'win']], 1000), ['1.5000', 1500]),\n  ('control losing leg', ([['2.00', 'win'], ['1.50', 'lose']], 1000), ['0.0000', 0]),\n  ('control payout rounds down', ([['1.33', 'win']], 333), ['1.3300', 442]),\n  ('regression: push leg factor',\n   ([['2.02', 'win'], ['3.91', 'push'], ['3.42', 'half-win']], 1999),\n   ['4.4642', 8923]),\n  ('variant scenario 1',\n   ([['2.72', 'void'], ['3.99', 'win'], ['2.58', 'half-win'], ['2.13', 'win']], 333),\n   ['15.2127', 5065]),\n  ('variant scenario 2', ([['1.93', 'win'], ['2.74', 'half-lose']], 333), ['0.9650', 321])],\n [('control two winners', ([['2.00', 'win'], ['1.50', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary pushed leg', ([['2.00', 'win'], ['1.90', 'push']], 1000), ['2.0000', 2000]),\n  ('boundary half-win leg', ([['2.00', 'half-win'], ['2.00', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary half-lose leg', ([['2.00', 'half-lose'], ['3.00', 'win']], 1000), ['1.5000', 1500]),\n  ('control losing leg', ([['2.00', 'win'], ['1.50', 'lose']], 1000), ['0.0000', 0]),\n  ('control payout rounds down', ([['1.33', 'win']], 333), ['1.3300', 442]),\n  ('regression: push leg factor',\n   ([['3.97', 'half-win'], ['2.47', 'push'], ['3.54', 'push'], ['2.82', 'push']], 1999),\n   ['2.4850', 4967]),\n  ('variant scenario 1',\n   ([['3.53', 'win'], ['3.05', 'lose'], ['3.20', 'lose']], 1999),\n   ['0.0000', 0]),\n  ('variant scenario 2', ([['1.56', 'win'], ['1.40', 'half-win']], 1000), ['1.8720', 1872])],\n [('control two winners', ([['2.00', 'win'], ['1.50', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary pushed leg', ([['2.00', 'win'], ['1.90', 'push']], 1000), ['2.0000', 2000]),\n  ('boundary half-win leg', ([['2.00', 'half-win'], ['2.00', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary half-lose leg', ([['2.00', 'half-lose'], ['3.00', 'win']], 1000), ['1.5000', 1500]),\n  ('control losing leg', ([['2.00', 'win'], ['1.50', 'lose']], 1000), ['0.0000', 0]),\n  ('control payout rounds down', ([['1.33', 'win']], 333), ['1.3300', 442]),\n  ('regression: push leg factor',\n   ([['3.05', 'push'], ['1.88', 'win'], ['2.45', 'win'], ['2.97', 'win'], ['3.27', 'win']], 1000),\n   ['44.7330', 44733]),\n  ('variant scenario 1',\n   ([['3.22', 'push'], ['1.43', 'half-lose'], ['1.82', 'lose'], ['3.41', 'win']], 1000),\n   ['0.0000', 0]),\n  ('variant scenario 2',\n   ([['2.42', 'win'], ['1.45', 'void'], ['2.68', 'lose'], ['1.68', 'void'], ['1.92', 'win']], 100),\n   ['0.0000', 0])],\n [('control two winners', ([['2.00', 'win'], ['1.50', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary pushed leg', ([['2.00', 'win'], ['1.90', 'push']], 1000), ['2.0000', 2000]),\n  ('boundary half-win leg', ([['2.00', 'half-win'], ['2.00', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary half-lose leg', ([['2.00', 'half-lose'], ['3.00', 'win']], 1000), ['1.5000', 1500]),\n  ('control losing leg', ([['2.00', 'win'], ['1.50', 'lose']], 1000), ['0.0000', 0]),\n  ('control payout rounds down', ([['1.33', 'win']], 333), ['1.3300', 442]),\n  ('regression: push leg factor',\n   ([['2.62', 'push'], ['1.90', 'void'], ['2.00', 'win'], ['1.86', 'win']], 1999),\n   ['3.7200', 7436]),\n  ('variant scenario 1',\n   ([['3.37', 'win'],\n     ['1.36', 'half-lose'],\n     ['2.40', 'half-lose'],\n     ['1.81', 'win'],\n     ['2.31', 'half-win']],\n    333),\n   ['2.5238', 840]),\n  ('variant scenario 2', ([['3.23', 'win'], ['1.87', 'win']], 333), ['6.0401', 2011])],\n [('control two winners', ([['2.00', 'win'], ['1.50', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary pushed leg', ([['2.00', 'win'], ['1.90', 'push']], 1000), ['2.0000', 2000]),\n  ('boundary half-win leg', ([['2.00', 'half-win'], ['2.00', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary half-lose leg', ([['2.00', 'half-lose'], ['3.00', 'win']], 1000), ['1.5000', 1500]),\n  ('control losing leg', ([['2.00', 'win'], ['1.50', 'lose']], 1000), ['0.0000', 0]),\n  ('control payout rounds down', ([['1.33', 'win']], 333), ['1.3300', 442]),\n  ('regression: push leg factor',\n   ([['2.00', 'push'], ['1.86', 'half-win'], ['3.31', 'win'], ['2.46', 'half-lose']], 1999),\n   ['2.3667', 4730]),\n  ('variant scenario 1',\n   ([['3.66', 'half-lose'], ['1.36', 'win'], ['3.09', 'win'], ['1.39', 'win'], ['3.11', 'win']],\n    1000),\n   ['9.0833', 9083]),\n  ('variant scenario 2',\n   ([['2.28', 'void'], ['1.44', 'half-lose'], ['3.81', 'push'], ['2.38', 'void']], 100),\n   ['0.5000', 50])]]\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":"b661720e268049be113d62200cd5d75d64726b96500d97b1912fa46db52f14c8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(legs, stake_cents):\n    factor = Fraction(1)\n    for price, result in legs:\n        d = Fraction(price)\n        if result in ('lose', 'push'):\n            factor = Fraction(0)\n            break\n        if result == 'win':\n            factor *= d\n        elif result == 'half-win':\n            factor *= (1 + d) / 2\n        elif result == 'half-lose':\n            factor *= Fraction(1, 2)\n    q = math.floor(factor * 10000 + Fraction(1, 2))\n    return ['%d.%04d' % (q // 10000, q % 10000), math.floor(stake_cents * factor)]\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 two winners', ([['2.00', 'win'], ['1.50', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary pushed leg', ([['2.00', 'win'], ['1.90', 'push']], 1000), ['2.0000', 2000]),\n  ('boundary half-win leg', ([['2.00', 'half-win'], ['2.00', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary half-lose leg', ([['2.00', 'half-lose'], ['3.00', 'win']], 1000), ['1.5000', 1500]),\n  ('control losing leg', ([['2.00', 'win'], ['1.50', 'lose']], 1000), ['0.0000', 0]),\n  ('control payout rounds down', ([['1.33', 'win']], 333), ['1.3300', 442]),\n  ('regression: push leg factor',\n   ([['2.02', 'win'], ['3.91', 'push'], ['3.42', 'half-win']], 1999),\n   ['4.4642', 8923]),\n  ('variant scenario 1',\n   ([['2.72', 'void'], ['3.99', 'win'], ['2.58', 'half-win'], ['2.13', 'win']], 333),\n   ['15.2127', 5065]),\n  ('variant scenario 2', ([['1.93', 'win'], ['2.74', 'half-lose']], 333), ['0.9650', 321])],\n [('control two winners', ([['2.00', 'win'], ['1.50', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary pushed leg', ([['2.00', 'win'], ['1.90', 'push']], 1000), ['2.0000', 2000]),\n  ('boundary half-win leg', ([['2.00', 'half-win'], ['2.00', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary half-lose leg', ([['2.00', 'half-lose'], ['3.00', 'win']], 1000), ['1.5000', 1500]),\n  ('control losing leg', ([['2.00', 'win'], ['1.50', 'lose']], 1000), ['0.0000', 0]),\n  ('control payout rounds down', ([['1.33', 'win']], 333), ['1.3300', 442]),\n  ('regression: push leg factor',\n   ([['3.97', 'half-win'], ['2.47', 'push'], ['3.54', 'push'], ['2.82', 'push']], 1999),\n   ['2.4850', 4967]),\n  ('variant scenario 1',\n   ([['3.53', 'win'], ['3.05', 'lose'], ['3.20', 'lose']], 1999),\n   ['0.0000', 0]),\n  ('variant scenario 2', ([['1.56', 'win'], ['1.40', 'half-win']], 1000), ['1.8720', 1872])],\n [('control two winners', ([['2.00', 'win'], ['1.50', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary pushed leg', ([['2.00', 'win'], ['1.90', 'push']], 1000), ['2.0000', 2000]),\n  ('boundary half-win leg', ([['2.00', 'half-win'], ['2.00', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary half-lose leg', ([['2.00', 'half-lose'], ['3.00', 'win']], 1000), ['1.5000', 1500]),\n  ('control losing leg', ([['2.00', 'win'], ['1.50', 'lose']], 1000), ['0.0000', 0]),\n  ('control payout rounds down', ([['1.33', 'win']], 333), ['1.3300', 442]),\n  ('regression: push leg factor',\n   ([['3.05', 'push'], ['1.88', 'win'], ['2.45', 'win'], ['2.97', 'win'], ['3.27', 'win']], 1000),\n   ['44.7330', 44733]),\n  ('variant scenario 1',\n   ([['3.22', 'push'], ['1.43', 'half-lose'], ['1.82', 'lose'], ['3.41', 'win']], 1000),\n   ['0.0000', 0]),\n  ('variant scenario 2',\n   ([['2.42', 'win'], ['1.45', 'void'], ['2.68', 'lose'], ['1.68', 'void'], ['1.92', 'win']], 100),\n   ['0.0000', 0])],\n [('control two winners', ([['2.00', 'win'], ['1.50', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary pushed leg', ([['2.00', 'win'], ['1.90', 'push']], 1000), ['2.0000', 2000]),\n  ('boundary half-win leg', ([['2.00', 'half-win'], ['2.00', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary half-lose leg', ([['2.00', 'half-lose'], ['3.00', 'win']], 1000), ['1.5000', 1500]),\n  ('control losing leg', ([['2.00', 'win'], ['1.50', 'lose']], 1000), ['0.0000', 0]),\n  ('control payout rounds down', ([['1.33', 'win']], 333), ['1.3300', 442]),\n  ('regression: push leg factor',\n   ([['2.62', 'push'], ['1.90', 'void'], ['2.00', 'win'], ['1.86', 'win']], 1999),\n   ['3.7200', 7436]),\n  ('variant scenario 1',\n   ([['3.37', 'win'],\n     ['1.36', 'half-lose'],\n     ['2.40', 'half-lose'],\n     ['1.81', 'win'],\n     ['2.31', 'half-win']],\n    333),\n   ['2.5238', 840]),\n  ('variant scenario 2', ([['3.23', 'win'], ['1.87', 'win']], 333), ['6.0401', 2011])],\n [('control two winners', ([['2.00', 'win'], ['1.50', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary pushed leg', ([['2.00', 'win'], ['1.90', 'push']], 1000), ['2.0000', 2000]),\n  ('boundary half-win leg', ([['2.00', 'half-win'], ['2.00', 'win']], 1000), ['3.0000', 3000]),\n  ('boundary half-lose leg', ([['2.00', 'half-lose'], ['3.00', 'win']], 1000), ['1.5000', 1500]),\n  ('control losing leg', ([['2.00', 'win'], ['1.50', 'lose']], 1000), ['0.0000', 0]),\n  ('control payout rounds down', ([['1.33', 'win']], 333), ['1.3300', 442]),\n  ('regression: push leg factor',\n   ([['2.00', 'push'], ['1.86', 'half-win'], ['3.31', 'win'], ['2.46', 'half-lose']], 1999),\n   ['2.3667', 4730]),\n  ('variant scenario 1',\n   ([['3.66', 'half-lose'], ['1.36', 'win'], ['3.09', 'win'], ['1.39', 'win'], ['3.11', 'win']],\n    1000),\n   ['9.0833', 9083]),\n  ('variant scenario 2',\n   ([['2.28', 'void'], ['1.44', 'half-lose'], ['3.81', 'push'], ['2.38', 'void']], 100),\n   ['0.5000', 50])]]\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-parlay-leg-adjustments-push-leg-factor","generated_at":"2026-09-29T14:50:31.178117+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Settlement engines must collapse pushed, voided and Asian half results inside multiples.","root_cause":"The push result falls into the losing branch.","sha256":"2fa318a37eb8fd49fa9c9da1a7f029d8b304ae9f4cc7b4ace1a85493411934e2","title":"Pushed leg treated as a loser or a winner · 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.072,"exit_code":1,"observations":[{"actual":["3.0000",3000],"check":"control two winners","expected":["3.0000",3000],"passed":true},{"actual":["3.8000",3800],"check":"boundary pushed leg","expected":["2.0000",2000],"passed":false},{"actual":["3.0000",3000],"check":"boundary half-win leg","expected":["3.0000",3000],"passed":true},{"actual":["1.5000",1500],"check":"boundary half-lose leg","expected":["1.5000",1500],"passed":true},{"actual":["0.0000",0],"check":"control losing leg","expected":["0.0000",0],"passed":true},{"actual":["1.3300",442],"check":"control payout rounds down","expected":["1.3300",442],"passed":true},{"actual":["17.4550",34892],"check":"regression: push leg factor","expected":["4.4642",8923],"passed":false},{"actual":["15.2127",5065],"check":"variant scenario 1","expected":["15.2127",5065],"passed":true},{"actual":["0.9650",321],"check":"variant scenario 2","expected":["0.9650",321],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control two winners\", \"actual\": [\"3.0000\", 3000], \"expected\": [\"3.0000\", 3000], \"passed\": true}, {\"check\": \"boundary pushed leg\", \"actual\": [\"3.8000\", 3800], \"expected\": [\"2.0000\", 2000], \"passed\": false}, {\"check\": \"boundary half-win leg\", \"actual\": [\"3.0000\", 3000], \"expected\": [\"3.0000\", 3000], \"passed\": true}, {\"check\": \"boundary half-lose leg\", \"actual\": [\"1.5000\", 1500], \"expected\": [\"1.5000\", 1500], \"passed\": true}, {\"check\": \"control losing leg\", \"actual\": [\"0.0000\", 0], \"expected\": [\"0.0000\", 0], \"passed\": true}, {\"check\": \"control payout rounds down\", \"actual\": [\"1.3300\", 442], \"expected\": [\"1.3300\", 442], \"passed\": true}, {\"check\": \"regression: push leg factor\", \"actual\": [\"17.4550\", 34892], \"expected\": [\"4.4642\", 8923], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [\"15.2127\", 5065], \"expected\": [\"15.2127\", 5065], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [\"0.9650\", 321], \"expected\": [\"0.9650\", 321], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.933,"exit_code":1,"observations":[{"actual":["3.0000",3000],"check":"control two winners","expected":["3.0000",3000],"passed":true},{"actual":["0.0000",0],"check":"boundary pushed leg","expected":["2.0000",2000],"passed":false},{"actual":["3.0000",3000],"check":"boundary half-win leg","expected":["3.0000",3000],"passed":true},{"actual":["1.5000",1500],"check":"boundary half-lose leg","expected":["1.5000",1500],"passed":true},{"actual":["0.0000",0],"check":"control losing leg","expected":["0.0000",0],"passed":true},{"actual":["1.3300",442],"check":"control payout rounds down","expected":["1.3300",442],"passed":true},{"actual":["0.0000",0],"check":"regression: push leg factor","expected":["4.4642",8923],"passed":false},{"actual":["15.2127",5065],"check":"variant scenario 1","expected":["15.2127",5065],"passed":true},{"actual":["0.9650",321],"check":"variant scenario 2","expected":["0.9650",321],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control two winners\", \"actual\": [\"3.0000\", 3000], \"expected\": [\"3.0000\", 3000], \"passed\": true}, {\"check\": \"boundary pushed leg\", \"actual\": [\"0.0000\", 0], \"expected\": [\"2.0000\", 2000], \"passed\": false}, {\"check\": \"boundary half-win leg\", \"actual\": [\"3.0000\", 3000], \"expected\": [\"3.0000\", 3000], \"passed\": true}, {\"check\": \"boundary half-lose leg\", \"actual\": [\"1.5000\", 1500], \"expected\": [\"1.5000\", 1500], \"passed\": true}, {\"check\": \"control losing leg\", \"actual\": [\"0.0000\", 0], \"expected\": [\"0.0000\", 0], \"passed\": true}, {\"check\": \"control payout rounds down\", \"actual\": [\"1.3300\", 442], \"expected\": [\"1.3300\", 442], \"passed\": true}, {\"check\": \"regression: push leg factor\", \"actual\": [\"0.0000\", 0], \"expected\": [\"4.4642\", 8923], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [\"15.2127\", 5065], \"expected\": [\"15.2127\", 5065], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [\"0.9650\", 321], \"expected\": [\"0.9650\", 321], \"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."}}