{"abstract":"A win of exactly the threshold is taxed, or one just above it is not.","category":"Betting odds conversion","checks":9,"contract":"Withholding on a settled winning bet. Net winnings = return - stake. If net winnings strictly exceed the threshold, the whole net winnings (not only the excess) are taxed at rate_pct, rounded half up to a cent; otherwise no tax. Return [tax, payout after tax].","contract_signature":"stake_cents, return_cents, threshold_cents, rate_pct","evaluation_group":"w2-odds-conversion-winnings-tax-withholding","failed_approach":"Comparing whole currency units drops the cents that put a win over the threshold.","family":"w2-odds-conversion-winnings-tax-withholding-threshold-inclusivity","id":"FA-84816","implementations":{"attempt":{"sha256":"4765fb5b4cba60a6f04a30b0eb357b998bc4f22553ba811ff4d27740a5f4d1b3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(stake_cents, return_cents, threshold_cents, rate_pct):\n    net = return_cents - stake_cents\n    tax = 0\n    if net // 100 > threshold_cents // 100:\n        tax = math.floor(net * Fraction(rate_pct) / 100 + Fraction(1, 2))\n    return [tax, return_cents - tax]\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 below threshold', (1000, 50000, 60000, '15'), [0, 50000]),\n  ('boundary exactly threshold', (1000, 61000, 60000, '15'), [0, 61000]),\n  ('boundary one cent above', (1000, 61001, 60000, '15'), [9000, 52001]),\n  ('control losing bet', (1000, 0, 60000, '15'), [0, 0]),\n  ('control large win', (5000, 105000, 60000, '20'), [20000, 85000]),\n  ('regression: threshold inclusivity', (100, 60101, 60000, '12.5'), [7500, 52601]),\n  ('regression: threshold inclusivity', (5000, 65000, 60000, '20'), [0, 65000]),\n  ('variant scenario 1', (20000, 63223, 60000, '20'), [0, 63223]),\n  ('variant scenario 2', (20000, 79999, 60000, '20'), [0, 79999])],\n [('control below threshold', (1000, 50000, 60000, '15'), [0, 50000]),\n  ('boundary exactly threshold', (1000, 61000, 60000, '15'), [0, 61000]),\n  ('boundary one cent above', (1000, 61001, 60000, '15'), [9000, 52001]),\n  ('control losing bet', (1000, 0, 60000, '15'), [0, 0]),\n  ('control large win', (5000, 105000, 60000, '20'), [20000, 85000]),\n  ('regression: threshold inclusivity', (20000, 80001, 60000, '12.5'), [7500, 72501]),\n  ('regression: threshold inclusivity', (1000, 61000, 60000, '15'), [0, 61000]),\n  ('variant scenario 1', (1000, 60999, 60000, '15'), [0, 60999]),\n  ('variant scenario 2', (1000, 195918, 60000, '12.5'), [24365, 171553])],\n [('control below threshold', (1000, 50000, 60000, '15'), [0, 50000]),\n  ('boundary exactly threshold', (1000, 61000, 60000, '15'), [0, 61000]),\n  ('boundary one cent above', (1000, 61001, 60000, '15'), [9000, 52001]),\n  ('control losing bet', (1000, 0, 60000, '15'), [0, 0]),\n  ('control large win', (5000, 105000, 60000, '20'), [20000, 85000]),\n  ('regression: threshold inclusivity', (1000, 61001, 60000, '15'), [9000, 52001]),\n  ('regression: threshold inclusivity', (1000, 61000, 60000, '15'), [0, 61000]),\n  ('variant scenario 1', (20000, 297537, 60000, '15'), [41631, 255906]),\n  ('variant scenario 2', (20000, 20000, 60000, '12.5'), [0, 20000])],\n [('control below threshold', (1000, 50000, 60000, '15'), [0, 50000]),\n  ('boundary exactly threshold', (1000, 61000, 60000, '15'), [0, 61000]),\n  ('boundary one cent above', (1000, 61001, 60000, '15'), [9000, 52001]),\n  ('control losing bet', (1000, 0, 60000, '15'), [0, 0]),\n  ('control large win', (5000, 105000, 60000, '20'), [20000, 85000]),\n  ('regression: threshold inclusivity', (100, 60101, 60000, '20'), [12000, 48101]),\n  ('regression: threshold inclusivity', (20000, 80000, 60000, '12.5'), [0, 80000]),\n  ('variant scenario 1', (100, 0, 60000, '20'), [0, 0]),\n  ('variant scenario 2', (1000, 61000, 60000, '20'), [0, 61000])],\n [('control below threshold', (1000, 50000, 60000, '15'), [0, 50000]),\n  ('boundary exactly threshold', (1000, 61000, 60000, '15'), [0, 61000]),\n  ('boundary one cent above', (1000, 61001, 60000, '15'), [9000, 52001]),\n  ('control losing bet', (1000, 0, 60000, '15'), [0, 0]),\n  ('control large win', (5000, 105000, 60000, '20'), [20000, 85000]),\n  ('regression: threshold inclusivity', (1000, 61050, 60000, '12.5'), [7506, 53544]),\n  ('regression: threshold inclusivity', (100, 60100, 60000, '15'), [0, 60100]),\n  ('variant scenario 1', (100, 100534, 60000, '20'), [20087, 80447]),\n  ('variant scenario 2', (5000, 5000, 60000, '20'), [0, 5000])]]\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":"9fc69fc0b88cdc8c84b3b7d319deb2bb6104aca318e284281a99527006e5e9f5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(stake_cents, return_cents, threshold_cents, rate_pct):\n    net = return_cents - stake_cents\n    tax = 0\n    if net >= threshold_cents:\n        tax = math.floor(net * Fraction(rate_pct) / 100 + Fraction(1, 2))\n    return [tax, return_cents - tax]\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 below threshold', (1000, 50000, 60000, '15'), [0, 50000]),\n  ('boundary exactly threshold', (1000, 61000, 60000, '15'), [0, 61000]),\n  ('boundary one cent above', (1000, 61001, 60000, '15'), [9000, 52001]),\n  ('control losing bet', (1000, 0, 60000, '15'), [0, 0]),\n  ('control large win', (5000, 105000, 60000, '20'), [20000, 85000]),\n  ('regression: threshold inclusivity', (100, 60101, 60000, '12.5'), [7500, 52601]),\n  ('regression: threshold inclusivity', (5000, 65000, 60000, '20'), [0, 65000]),\n  ('variant scenario 1', (20000, 63223, 60000, '20'), [0, 63223]),\n  ('variant scenario 2', (20000, 79999, 60000, '20'), [0, 79999])],\n [('control below threshold', (1000, 50000, 60000, '15'), [0, 50000]),\n  ('boundary exactly threshold', (1000, 61000, 60000, '15'), [0, 61000]),\n  ('boundary one cent above', (1000, 61001, 60000, '15'), [9000, 52001]),\n  ('control losing bet', (1000, 0, 60000, '15'), [0, 0]),\n  ('control large win', (5000, 105000, 60000, '20'), [20000, 85000]),\n  ('regression: threshold inclusivity', (20000, 80001, 60000, '12.5'), [7500, 72501]),\n  ('regression: threshold inclusivity', (1000, 61000, 60000, '15'), [0, 61000]),\n  ('variant scenario 1', (1000, 60999, 60000, '15'), [0, 60999]),\n  ('variant scenario 2', (1000, 195918, 60000, '12.5'), [24365, 171553])],\n [('control below threshold', (1000, 50000, 60000, '15'), [0, 50000]),\n  ('boundary exactly threshold', (1000, 61000, 60000, '15'), [0, 61000]),\n  ('boundary one cent above', (1000, 61001, 60000, '15'), [9000, 52001]),\n  ('control losing bet', (1000, 0, 60000, '15'), [0, 0]),\n  ('control large win', (5000, 105000, 60000, '20'), [20000, 85000]),\n  ('regression: threshold inclusivity', (1000, 61001, 60000, '15'), [9000, 52001]),\n  ('regression: threshold inclusivity', (1000, 61000, 60000, '15'), [0, 61000]),\n  ('variant scenario 1', (20000, 297537, 60000, '15'), [41631, 255906]),\n  ('variant scenario 2', (20000, 20000, 60000, '12.5'), [0, 20000])],\n [('control below threshold', (1000, 50000, 60000, '15'), [0, 50000]),\n  ('boundary exactly threshold', (1000, 61000, 60000, '15'), [0, 61000]),\n  ('boundary one cent above', (1000, 61001, 60000, '15'), [9000, 52001]),\n  ('control losing bet', (1000, 0, 60000, '15'), [0, 0]),\n  ('control large win', (5000, 105000, 60000, '20'), [20000, 85000]),\n  ('regression: threshold inclusivity', (100, 60101, 60000, '20'), [12000, 48101]),\n  ('regression: threshold inclusivity', (20000, 80000, 60000, '12.5'), [0, 80000]),\n  ('variant scenario 1', (100, 0, 60000, '20'), [0, 0]),\n  ('variant scenario 2', (1000, 61000, 60000, '20'), [0, 61000])],\n [('control below threshold', (1000, 50000, 60000, '15'), [0, 50000]),\n  ('boundary exactly threshold', (1000, 61000, 60000, '15'), [0, 61000]),\n  ('boundary one cent above', (1000, 61001, 60000, '15'), [9000, 52001]),\n  ('control losing bet', (1000, 0, 60000, '15'), [0, 0]),\n  ('control large win', (5000, 105000, 60000, '20'), [20000, 85000]),\n  ('regression: threshold inclusivity', (1000, 61050, 60000, '12.5'), [7506, 53544]),\n  ('regression: threshold inclusivity', (100, 60100, 60000, '15'), [0, 60100]),\n  ('variant scenario 1', (100, 100534, 60000, '20'), [20087, 80447]),\n  ('variant scenario 2', (5000, 5000, 60000, '20'), [0, 5000])]]\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-winnings-tax-withholding-threshold-inclusivity","generated_at":"2026-09-29T14:50:34.635068+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Operators in taxed jurisdictions withhold on net winnings above a reporting threshold.","root_cause":"The threshold comparison uses >=.","sha256":"8a3937bc903923d5d2475b79fa757e528826a8918ac1903c7f507fb0a70210f2","title":"Winnings equal to the threshold taxed or cents ignored · 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":40.751,"exit_code":1,"observations":[{"actual":[0,50000],"check":"control below threshold","expected":[0,50000],"passed":true},{"actual":[0,61000],"check":"boundary exactly threshold","expected":[0,61000],"passed":true},{"actual":[0,61001],"check":"boundary one cent above","expected":[9000,52001],"passed":false},{"actual":[0,0],"check":"control losing bet","expected":[0,0],"passed":true},{"actual":[20000,85000],"check":"control large win","expected":[20000,85000],"passed":true},{"actual":[0,60101],"check":"regression: threshold inclusivity","expected":[7500,52601],"passed":false},{"actual":[0,65000],"check":"regression: threshold inclusivity","expected":[0,65000],"passed":true},{"actual":[0,63223],"check":"variant scenario 1","expected":[0,63223],"passed":true},{"actual":[0,79999],"check":"variant scenario 2","expected":[0,79999],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control below threshold\", \"actual\": [0, 50000], \"expected\": [0, 50000], \"passed\": true}, {\"check\": \"boundary exactly threshold\", \"actual\": [0, 61000], \"expected\": [0, 61000], \"passed\": true}, {\"check\": \"boundary one cent above\", \"actual\": [0, 61001], \"expected\": [9000, 52001], \"passed\": false}, {\"check\": \"control losing bet\", \"actual\": [0, 0], \"expected\": [0, 0], \"passed\": true}, {\"check\": \"control large win\", \"actual\": [20000, 85000], \"expected\": [20000, 85000], \"passed\": true}, {\"check\": \"regression: threshold inclusivity\", \"actual\": [0, 60101], \"expected\": [7500, 52601], \"passed\": false}, {\"check\": \"regression: threshold inclusivity\", \"actual\": [0, 65000], \"expected\": [0, 65000], \"passed\": true}, {\"check\": \"variant scenario 1\", \"actual\": [0, 63223], \"expected\": [0, 63223], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [0, 79999], \"expected\": [0, 79999], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.842,"exit_code":1,"observations":[{"actual":[0,50000],"check":"control below threshold","expected":[0,50000],"passed":true},{"actual":[9000,52000],"check":"boundary exactly threshold","expected":[0,61000],"passed":false},{"actual":[9000,52001],"check":"boundary one cent above","expected":[9000,52001],"passed":true},{"actual":[0,0],"check":"control losing bet","expected":[0,0],"passed":true},{"actual":[20000,85000],"check":"control large win","expected":[20000,85000],"passed":true},{"actual":[7500,52601],"check":"regression: threshold inclusivity","expected":[7500,52601],"passed":true},{"actual":[12000,53000],"check":"regression: threshold inclusivity","expected":[0,65000],"passed":false},{"actual":[0,63223],"check":"variant scenario 1","expected":[0,63223],"passed":true},{"actual":[0,79999],"check":"variant scenario 2","expected":[0,79999],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control below threshold\", \"actual\": [0, 50000], \"expected\": [0, 50000], \"passed\": true}, {\"check\": \"boundary exactly threshold\", \"actual\": [9000, 52000], \"expected\": [0, 61000], \"passed\": false}, {\"check\": \"boundary one cent above\", \"actual\": [9000, 52001], \"expected\": [9000, 52001], \"passed\": true}, {\"check\": \"control losing bet\", \"actual\": [0, 0], \"expected\": [0, 0], \"passed\": true}, {\"check\": \"control large win\", \"actual\": [20000, 85000], \"expected\": [20000, 85000], \"passed\": true}, {\"check\": \"regression: threshold inclusivity\", \"actual\": [7500, 52601], \"expected\": [7500, 52601], \"passed\": true}, {\"check\": \"regression: threshold inclusivity\", \"actual\": [12000, 53000], \"expected\": [0, 65000], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [0, 63223], \"expected\": [0, 63223], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [0, 79999], \"expected\": [0, 79999], \"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."}}