{"abstract":"A two-team teaser at -120 pays 2.20 instead of about 1.83.","category":"Betting odds conversion","checks":8,"contract":"Point-spread teaser. legs rows are [team spread line, team margin of victory]; every line is moved in the bettor's favour by points (adjusted = line + points). A leg wins if margin + adjusted > 0, pushes if = 0, loses if < 0. Any losing leg loses the ticket. Pushed legs are dropped; fewer than 2 remaining winners refunds the stake. Payout by winning legs from the American table {2: -120, 3: +160, 4: +260, 5: +400} (5 or more pay +400). Return [status, return cents rounded down].","contract_signature":"legs, points, stake_cents","evaluation_group":"w2-odds-conversion-football-teaser-grading","failed_approach":"Dividing 100 by the signed value produces a price below 1.","family":"w2-odds-conversion-football-teaser-grading-negative-line-payout","id":"FA-84766","implementations":{"attempt":{"sha256":"a697211cbf1401a2d2b25b5baf56b704c95409a54a74e421b8df887cb85273f2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(legs, points, stake_cents):\n    TABLE = {2: -120, 3: 160, 4: 260, 5: 400}\n    wins = 0\n    for line, margin in legs:\n        adj = Fraction(line) + Fraction(points)\n        v = margin + adj\n        if v < 0:\n            return ['lose', 0]\n        if v > 0:\n            wins += 1\n    if wins < 2:\n        return ['refund', stake_cents]\n    am = TABLE[min(wins, 5)]\n    dec = 1 + (Fraction(am, 100) if am > 0 else Fraction(100, am))\n    return ['win', math.floor(stake_cents * dec)]\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-team teaser', ([['-7.5', 3], ['+2.5', -5]], '6', 1200), ['win', 2200]),\n  ('boundary push drops a leg', ([['-7', 1], ['+3', 0], ['-1', 2]], '6', 1000), ['win', 1833]),\n  ('boundary reduced to one leg', ([['-7', 1], ['+3', 5]], '6', 1000), ['refund', 1000]),\n  ('control losing leg', ([['-10', 2], ['+3', 5], ['+7', 0]], '6', 1000), ['lose', 0]),\n  ('control three winners', ([['-3', 1], ['+3', 0], ['-1', 0]], '6', 1000), ['win', 2600]),\n  ('regression: negative line payout', ([['-7.5', 11], ['+3', -5]], '6.5', 1100), ['win', 2016]),\n  ('variant scenario 1', ([['-1', -13], ['+7', 14], ['-1', -9]], '6', 1100), ['lose', 0]),\n  ('variant scenario 2',\n   ([['-7', -3], ['+7', 12], ['+7', -1], ['-7.5', 0], ['-3', -5]], '6.5', 1000),\n   ['lose', 0])],\n [('control two-team teaser', ([['-7.5', 3], ['+2.5', -5]], '6', 1200), ['win', 2200]),\n  ('boundary push drops a leg', ([['-7', 1], ['+3', 0], ['-1', 2]], '6', 1000), ['win', 1833]),\n  ('boundary reduced to one leg', ([['-7', 1], ['+3', 5]], '6', 1000), ['refund', 1000]),\n  ('control losing leg', ([['-10', 2], ['+3', 5], ['+7', 0]], '6', 1000), ['lose', 0]),\n  ('control three winners', ([['-3', 1], ['+3', 0], ['-1', 0]], '6', 1000), ['win', 2600]),\n  ('regression: negative line payout', ([['-7', 7], ['+2.5', 1]], '6', 1000), ['win', 1833]),\n  ('variant scenario 1',\n   ([['+7', 3], ['+7', -3], ['+3', 8], ['+1.5', 2], ['-1', 13], ['+1.5', 1]], '6', 1100),\n   ['win', 5500]),\n  ('variant scenario 2',\n   ([['+3', 10], ['-6', -4], ['-7.5', 11], ['+3', 3]], '7', 500),\n   ['lose', 0])],\n [('control two-team teaser', ([['-7.5', 3], ['+2.5', -5]], '6', 1200), ['win', 2200]),\n  ('boundary push drops a leg', ([['-7', 1], ['+3', 0], ['-1', 2]], '6', 1000), ['win', 1833]),\n  ('boundary reduced to one leg', ([['-7', 1], ['+3', 5]], '6', 1000), ['refund', 1000]),\n  ('control losing leg', ([['-10', 2], ['+3', 5], ['+7', 0]], '6', 1000), ['lose', 0]),\n  ('control three winners', ([['-3', 1], ['+3', 0], ['-1', 0]], '6', 1000), ['win', 2600]),\n  ('regression: negative line payout',\n   ([['-1', 13], ['+3', 6], ['-10', 4]], '6', 1000),\n   ['win', 1833]),\n  ('variant scenario 1',\n   ([['-7.5', 5], ['-7.5', -7], ['+2.5', -5], ['+2.5', 13], ['-7.5', 14], ['-3', 13]], '7', 500),\n   ['lose', 0]),\n  ('variant scenario 2',\n   ([['+7', 10], ['-10', 2], ['-7.5', -11], ['-7', -12], ['+3', -11], ['-7.5', 12]], '6', 1000),\n   ['lose', 0])],\n [('control two-team teaser', ([['-7.5', 3], ['+2.5', -5]], '6', 1200), ['win', 2200]),\n  ('boundary push drops a leg', ([['-7', 1], ['+3', 0], ['-1', 2]], '6', 1000), ['win', 1833]),\n  ('boundary reduced to one leg', ([['-7', 1], ['+3', 5]], '6', 1000), ['refund', 1000]),\n  ('control losing leg', ([['-10', 2], ['+3', 5], ['+7', 0]], '6', 1000), ['lose', 0]),\n  ('control three winners', ([['-3', 1], ['+3', 0], ['-1', 0]], '6', 1000), ['win', 2600]),\n  ('regression: negative line payout', ([['+3', 1], ['+7', 4]], '7', 1000), ['win', 1833]),\n  ('variant scenario 1',\n   ([['+3', 6], ['+2.5', -10], ['-7', -5], ['-6', -10], ['-7', 4], ['+1.5', 2]], '6.5', 500),\n   ['lose', 0]),\n  ('variant scenario 2',\n   ([['-7', -5], ['-10', 0], ['-3', 4], ['-6', -10], ['+7', 2]], '6', 1100),\n   ['lose', 0])],\n [('control two-team teaser', ([['-7.5', 3], ['+2.5', -5]], '6', 1200), ['win', 2200]),\n  ('boundary push drops a leg', ([['-7', 1], ['+3', 0], ['-1', 2]], '6', 1000), ['win', 1833]),\n  ('boundary reduced to one leg', ([['-7', 1], ['+3', 5]], '6', 1000), ['refund', 1000]),\n  ('control losing leg', ([['-10', 2], ['+3', 5], ['+7', 0]], '6', 1000), ['lose', 0]),\n  ('control three winners', ([['-3', 1], ['+3', 0], ['-1', 0]], '6', 1000), ['win', 2600]),\n  ('regression: negative line payout', ([['+2.5', 1], ['+1.5', 7]], '6', 500), ['win', 916]),\n  ('variant scenario 1',\n   ([['-7.5', 8], ['-10', -13], ['+3', 2], ['-6', -9]], '6.5', 1000),\n   ['lose', 0]),\n  ('variant scenario 2',\n   ([['-1', -8], ['-6', 1], ['-7.5', 8], ['-7.5', -8]], '7', 1000),\n   ['lose', 0])]]\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":"232e1f0c6e2a8769a434a4d83da1d97a834070573df2f5a6530d9ebec60900e2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(legs, points, stake_cents):\n    TABLE = {2: -120, 3: 160, 4: 260, 5: 400}\n    wins = 0\n    for line, margin in legs:\n        adj = Fraction(line) + Fraction(points)\n        v = margin + adj\n        if v < 0:\n            return ['lose', 0]\n        if v > 0:\n            wins += 1\n    if wins < 2:\n        return ['refund', stake_cents]\n    am = TABLE[min(wins, 5)]\n    dec = 1 + (Fraction(am, 100) if am > 0 else Fraction(-am, 100))\n    return ['win', math.floor(stake_cents * dec)]\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-team teaser', ([['-7.5', 3], ['+2.5', -5]], '6', 1200), ['win', 2200]),\n  ('boundary push drops a leg', ([['-7', 1], ['+3', 0], ['-1', 2]], '6', 1000), ['win', 1833]),\n  ('boundary reduced to one leg', ([['-7', 1], ['+3', 5]], '6', 1000), ['refund', 1000]),\n  ('control losing leg', ([['-10', 2], ['+3', 5], ['+7', 0]], '6', 1000), ['lose', 0]),\n  ('control three winners', ([['-3', 1], ['+3', 0], ['-1', 0]], '6', 1000), ['win', 2600]),\n  ('regression: negative line payout', ([['-7.5', 11], ['+3', -5]], '6.5', 1100), ['win', 2016]),\n  ('variant scenario 1', ([['-1', -13], ['+7', 14], ['-1', -9]], '6', 1100), ['lose', 0]),\n  ('variant scenario 2',\n   ([['-7', -3], ['+7', 12], ['+7', -1], ['-7.5', 0], ['-3', -5]], '6.5', 1000),\n   ['lose', 0])],\n [('control two-team teaser', ([['-7.5', 3], ['+2.5', -5]], '6', 1200), ['win', 2200]),\n  ('boundary push drops a leg', ([['-7', 1], ['+3', 0], ['-1', 2]], '6', 1000), ['win', 1833]),\n  ('boundary reduced to one leg', ([['-7', 1], ['+3', 5]], '6', 1000), ['refund', 1000]),\n  ('control losing leg', ([['-10', 2], ['+3', 5], ['+7', 0]], '6', 1000), ['lose', 0]),\n  ('control three winners', ([['-3', 1], ['+3', 0], ['-1', 0]], '6', 1000), ['win', 2600]),\n  ('regression: negative line payout', ([['-7', 7], ['+2.5', 1]], '6', 1000), ['win', 1833]),\n  ('variant scenario 1',\n   ([['+7', 3], ['+7', -3], ['+3', 8], ['+1.5', 2], ['-1', 13], ['+1.5', 1]], '6', 1100),\n   ['win', 5500]),\n  ('variant scenario 2',\n   ([['+3', 10], ['-6', -4], ['-7.5', 11], ['+3', 3]], '7', 500),\n   ['lose', 0])],\n [('control two-team teaser', ([['-7.5', 3], ['+2.5', -5]], '6', 1200), ['win', 2200]),\n  ('boundary push drops a leg', ([['-7', 1], ['+3', 0], ['-1', 2]], '6', 1000), ['win', 1833]),\n  ('boundary reduced to one leg', ([['-7', 1], ['+3', 5]], '6', 1000), ['refund', 1000]),\n  ('control losing leg', ([['-10', 2], ['+3', 5], ['+7', 0]], '6', 1000), ['lose', 0]),\n  ('control three winners', ([['-3', 1], ['+3', 0], ['-1', 0]], '6', 1000), ['win', 2600]),\n  ('regression: negative line payout',\n   ([['-1', 13], ['+3', 6], ['-10', 4]], '6', 1000),\n   ['win', 1833]),\n  ('variant scenario 1',\n   ([['-7.5', 5], ['-7.5', -7], ['+2.5', -5], ['+2.5', 13], ['-7.5', 14], ['-3', 13]], '7', 500),\n   ['lose', 0]),\n  ('variant scenario 2',\n   ([['+7', 10], ['-10', 2], ['-7.5', -11], ['-7', -12], ['+3', -11], ['-7.5', 12]], '6', 1000),\n   ['lose', 0])],\n [('control two-team teaser', ([['-7.5', 3], ['+2.5', -5]], '6', 1200), ['win', 2200]),\n  ('boundary push drops a leg', ([['-7', 1], ['+3', 0], ['-1', 2]], '6', 1000), ['win', 1833]),\n  ('boundary reduced to one leg', ([['-7', 1], ['+3', 5]], '6', 1000), ['refund', 1000]),\n  ('control losing leg', ([['-10', 2], ['+3', 5], ['+7', 0]], '6', 1000), ['lose', 0]),\n  ('control three winners', ([['-3', 1], ['+3', 0], ['-1', 0]], '6', 1000), ['win', 2600]),\n  ('regression: negative line payout', ([['+3', 1], ['+7', 4]], '7', 1000), ['win', 1833]),\n  ('variant scenario 1',\n   ([['+3', 6], ['+2.5', -10], ['-7', -5], ['-6', -10], ['-7', 4], ['+1.5', 2]], '6.5', 500),\n   ['lose', 0]),\n  ('variant scenario 2',\n   ([['-7', -5], ['-10', 0], ['-3', 4], ['-6', -10], ['+7', 2]], '6', 1100),\n   ['lose', 0])],\n [('control two-team teaser', ([['-7.5', 3], ['+2.5', -5]], '6', 1200), ['win', 2200]),\n  ('boundary push drops a leg', ([['-7', 1], ['+3', 0], ['-1', 2]], '6', 1000), ['win', 1833]),\n  ('boundary reduced to one leg', ([['-7', 1], ['+3', 5]], '6', 1000), ['refund', 1000]),\n  ('control losing leg', ([['-10', 2], ['+3', 5], ['+7', 0]], '6', 1000), ['lose', 0]),\n  ('control three winners', ([['-3', 1], ['+3', 0], ['-1', 0]], '6', 1000), ['win', 2600]),\n  ('regression: negative line payout', ([['+2.5', 1], ['+1.5', 7]], '6', 500), ['win', 916]),\n  ('variant scenario 1',\n   ([['-7.5', 8], ['-10', -13], ['+3', 2], ['-6', -9]], '6.5', 1000),\n   ['lose', 0]),\n  ('variant scenario 2',\n   ([['-1', -8], ['-6', 1], ['-7.5', 8], ['-7.5', -8]], '7', 1000),\n   ['lose', 0])]]\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-football-teaser-grading-negative-line-payout","generated_at":"2026-09-29T14:50:33.993573+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Sportsbooks grade teasers with shifted lines, push reduction and a tiered payout table.","root_cause":"The negative table value is converted with |am| / 100.","sha256":"59286c02bc9abc13b6636f4096556ad00c0369fb0368a87922548bfb4c054d8d","title":"Negative American payout converted as a positive line · 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":42.948,"exit_code":1,"observations":[{"actual":["win",200],"check":"control two-team teaser","expected":["win",2200],"passed":false},{"actual":["win",166],"check":"boundary push drops a leg","expected":["win",1833],"passed":false},{"actual":["refund",1000],"check":"boundary reduced to one leg","expected":["refund",1000],"passed":true},{"actual":["lose",0],"check":"control losing leg","expected":["lose",0],"passed":true},{"actual":["win",2600],"check":"control three winners","expected":["win",2600],"passed":true},{"actual":["win",183],"check":"regression: negative line payout","expected":["win",2016],"passed":false},{"actual":["lose",0],"check":"variant scenario 1","expected":["lose",0],"passed":true},{"actual":["lose",0],"check":"variant scenario 2","expected":["lose",0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control two-team teaser\", \"actual\": [\"win\", 200], \"expected\": [\"win\", 2200], \"passed\": false}, {\"check\": \"boundary push drops a leg\", \"actual\": [\"win\", 166], \"expected\": [\"win\", 1833], \"passed\": false}, {\"check\": \"boundary reduced to one leg\", \"actual\": [\"refund\", 1000], \"expected\": [\"refund\", 1000], \"passed\": true}, {\"check\": \"control losing leg\", \"actual\": [\"lose\", 0], \"expected\": [\"lose\", 0], \"passed\": true}, {\"check\": \"control three winners\", \"actual\": [\"win\", 2600], \"expected\": [\"win\", 2600], \"passed\": true}, {\"check\": \"regression: negative line payout\", \"actual\": [\"win\", 183], \"expected\": [\"win\", 2016], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [\"lose\", 0], \"expected\": [\"lose\", 0], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [\"lose\", 0], \"expected\": [\"lose\", 0], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.947,"exit_code":1,"observations":[{"actual":["win",2640],"check":"control two-team teaser","expected":["win",2200],"passed":false},{"actual":["win",2200],"check":"boundary push drops a leg","expected":["win",1833],"passed":false},{"actual":["refund",1000],"check":"boundary reduced to one leg","expected":["refund",1000],"passed":true},{"actual":["lose",0],"check":"control losing leg","expected":["lose",0],"passed":true},{"actual":["win",2600],"check":"control three winners","expected":["win",2600],"passed":true},{"actual":["win",2420],"check":"regression: negative line payout","expected":["win",2016],"passed":false},{"actual":["lose",0],"check":"variant scenario 1","expected":["lose",0],"passed":true},{"actual":["lose",0],"check":"variant scenario 2","expected":["lose",0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control two-team teaser\", \"actual\": [\"win\", 2640], \"expected\": [\"win\", 2200], \"passed\": false}, {\"check\": \"boundary push drops a leg\", \"actual\": [\"win\", 2200], \"expected\": [\"win\", 1833], \"passed\": false}, {\"check\": \"boundary reduced to one leg\", \"actual\": [\"refund\", 1000], \"expected\": [\"refund\", 1000], \"passed\": true}, {\"check\": \"control losing leg\", \"actual\": [\"lose\", 0], \"expected\": [\"lose\", 0], \"passed\": true}, {\"check\": \"control three winners\", \"actual\": [\"win\", 2600], \"expected\": [\"win\", 2600], \"passed\": true}, {\"check\": \"regression: negative line payout\", \"actual\": [\"win\", 2420], \"expected\": [\"win\", 2016], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [\"lose\", 0], \"expected\": [\"lose\", 0], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [\"lose\", 0], \"expected\": [\"lose\", 0], \"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."}}