{"abstract":"A withdrawn 2.50 shot yields a 35p deduction instead of 40p.","category":"Betting odds conversion","checks":9,"contract":"Non-runner deduction for a winning bet. Each withdrawn runner's decimal price maps to pence-in-the-pound from the first band whose limit it does not exceed: [('1.30', 75), ('1.40', 70), ('1.53', 65), ('1.62', 60), ('1.80', 55), ('1.95', 50), ('2.20', 45), ('2.50', 40), ('2.75', 35), ('3.25', 30), ('4.00', 25), ('5.00', 20), ('6.50', 15), ('10.00', 10), ('15.00', 5)]; above 15.00 it is 0. Deductions from several withdrawals are summed and capped at 75. The deduction applies to winnings only: return = stake + floor(stake * (price - 1) * (100 - deduction) / 100). Return [deduction, return cents].","evaluation_group":"w2-odds-conversion-non-runner-deduction","failed_approach":"Looking up the last band whose limit is at or below the price is off by one band.","family":"w2-odds-conversion-non-runner-deduction-band-limit-inclusive","id":"FA-84656","implementations":{"attempt":{"sha256":"461f3feefd111a1bc90e27e17c31fce402b6cdadb8e29353895c537c0f042ec7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(stake_cents, price, withdrawn):\n    TABLE = [('1.30', 75), ('1.40', 70), ('1.53', 65), ('1.62', 60), ('1.80', 55), ('1.95', 50), ('2.20', 45), ('2.50', 40), ('2.75', 35), ('3.25', 30), ('4.00', 25), ('5.00', 20), ('6.50', 15), ('10.00', 10), ('15.00', 5)]\n    def ded(p):\n        p = Fraction(p)\n        for limit, pence in reversed(TABLE):\n            if p >= Fraction(limit):\n                return pence\n        return 0\n    total = min(75, sum(ded(w) for w in withdrawn))\n    profit = stake_cents * (Fraction(price) - 1)\n    return [total, stake_cents + math.floor(profit * (100 - total) / 100)]\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 no withdrawal', (1000, '5.00', []), [0, 5000]),\n  ('boundary price on band limit', (1000, '5.00', ['2.50']), [40, 3400]),\n  ('control long-shot withdrawal', (1000, '5.00', ['21.00']), [0, 5000]),\n  ('boundary cap at 75', (1000, '3.00', ['1.50', '1.50']), [75, 1500]),\n  ('control two withdrawals', (1000, '3.00', ['4.00', '6.00']), [40, 2200]),\n  ('regression: band limit inclusive', (250, '7.06', ['12.59', '11.90', '14.46']), [15, 1537]),\n  ('regression: band limit inclusive', (250, '4.38', ['13.48', '1.53', '13.32']), [75, 461]),\n  ('variant scenario 1', (250, '6.38', ['11.94', '1.40', '1.95']), [75, 586]),\n  ('variant scenario 2', (250, '9.32', ['14.14']), [5, 2226])],\n [('control no withdrawal', (1000, '5.00', []), [0, 5000]),\n  ('boundary price on band limit', (1000, '5.00', ['2.50']), [40, 3400]),\n  ('control long-shot withdrawal', (1000, '5.00', ['21.00']), [0, 5000]),\n  ('boundary cap at 75', (1000, '3.00', ['1.50', '1.50']), [75, 1500]),\n  ('control two withdrawals', (1000, '3.00', ['4.00', '6.00']), [40, 2200]),\n  ('regression: band limit inclusive', (250, '7.26', ['12.22', '5.00']), [25, 1423]),\n  ('variant scenario 1', (500, '10.70', ['2.20']), [45, 3167]),\n  ('variant scenario 2', (1000, '4.24', []), [0, 4240])],\n [('control no withdrawal', (1000, '5.00', []), [0, 5000]),\n  ('boundary price on band limit', (1000, '5.00', ['2.50']), [40, 3400]),\n  ('control long-shot withdrawal', (1000, '5.00', ['21.00']), [0, 5000]),\n  ('boundary cap at 75', (1000, '3.00', ['1.50', '1.50']), [75, 1500]),\n  ('control two withdrawals', (1000, '3.00', ['4.00', '6.00']), [40, 2200]),\n  ('regression: band limit inclusive', (500, '3.32', ['7.59']), [10, 1544]),\n  ('regression: band limit inclusive', (500, '5.82', ['6.50', '4.00']), [40, 1946]),\n  ('variant scenario 1', (250, '7.03', []), [0, 1757]),\n  ('variant scenario 2', (250, '8.15', ['16.13']), [0, 2037])],\n [('control no withdrawal', (1000, '5.00', []), [0, 5000]),\n  ('boundary price on band limit', (1000, '5.00', ['2.50']), [40, 3400]),\n  ('control long-shot withdrawal', (1000, '5.00', ['21.00']), [0, 5000]),\n  ('boundary cap at 75', (1000, '3.00', ['1.50', '1.50']), [75, 1500]),\n  ('control two withdrawals', (1000, '3.00', ['4.00', '6.00']), [40, 2200]),\n  ('regression: band limit inclusive', (1000, '7.86', ['15.00', '16.53', '5.00']), [25, 6145]),\n  ('variant scenario 1', (500, '6.13', []), [0, 3065]),\n  ('variant scenario 2', (250, '10.38', ['9.25', '2.20']), [55, 1305])],\n [('control no withdrawal', (1000, '5.00', []), [0, 5000]),\n  ('boundary price on band limit', (1000, '5.00', ['2.50']), [40, 3400]),\n  ('control long-shot withdrawal', (1000, '5.00', ['21.00']), [0, 5000]),\n  ('boundary cap at 75', (1000, '3.00', ['1.50', '1.50']), [75, 1500]),\n  ('control two withdrawals', (1000, '3.00', ['4.00', '6.00']), [40, 2200]),\n  ('regression: band limit inclusive', (250, '6.56', ['4.63']), [20, 1362]),\n  ('regression: band limit inclusive', (250, '7.41', ['1.40']), [70, 730]),\n  ('variant scenario 1', (1000, '4.49', []), [0, 4490]),\n  ('variant scenario 2', (500, '7.05', []), [0, 3525])]]\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":"8b9b71315a9f564d06ab638793369d81b3023ae68e3a5f3c7ef3353e283f2f22","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(stake_cents, price, withdrawn):\n    TABLE = [('1.30', 75), ('1.40', 70), ('1.53', 65), ('1.62', 60), ('1.80', 55), ('1.95', 50), ('2.20', 45), ('2.50', 40), ('2.75', 35), ('3.25', 30), ('4.00', 25), ('5.00', 20), ('6.50', 15), ('10.00', 10), ('15.00', 5)]\n    def ded(p):\n        p = Fraction(p)\n        for limit, pence in TABLE:\n            if p < Fraction(limit):\n                return pence\n        return 0\n    total = min(75, sum(ded(w) for w in withdrawn))\n    profit = stake_cents * (Fraction(price) - 1)\n    return [total, stake_cents + math.floor(profit * (100 - total) / 100)]\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 no withdrawal', (1000, '5.00', []), [0, 5000]),\n  ('boundary price on band limit', (1000, '5.00', ['2.50']), [40, 3400]),\n  ('control long-shot withdrawal', (1000, '5.00', ['21.00']), [0, 5000]),\n  ('boundary cap at 75', (1000, '3.00', ['1.50', '1.50']), [75, 1500]),\n  ('control two withdrawals', (1000, '3.00', ['4.00', '6.00']), [40, 2200]),\n  ('regression: band limit inclusive', (250, '7.06', ['12.59', '11.90', '14.46']), [15, 1537]),\n  ('regression: band limit inclusive', (250, '4.38', ['13.48', '1.53', '13.32']), [75, 461]),\n  ('variant scenario 1', (250, '6.38', ['11.94', '1.40', '1.95']), [75, 586]),\n  ('variant scenario 2', (250, '9.32', ['14.14']), [5, 2226])],\n [('control no withdrawal', (1000, '5.00', []), [0, 5000]),\n  ('boundary price on band limit', (1000, '5.00', ['2.50']), [40, 3400]),\n  ('control long-shot withdrawal', (1000, '5.00', ['21.00']), [0, 5000]),\n  ('boundary cap at 75', (1000, '3.00', ['1.50', '1.50']), [75, 1500]),\n  ('control two withdrawals', (1000, '3.00', ['4.00', '6.00']), [40, 2200]),\n  ('regression: band limit inclusive', (250, '7.26', ['12.22', '5.00']), [25, 1423]),\n  ('variant scenario 1', (500, '10.70', ['2.20']), [45, 3167]),\n  ('variant scenario 2', (1000, '4.24', []), [0, 4240])],\n [('control no withdrawal', (1000, '5.00', []), [0, 5000]),\n  ('boundary price on band limit', (1000, '5.00', ['2.50']), [40, 3400]),\n  ('control long-shot withdrawal', (1000, '5.00', ['21.00']), [0, 5000]),\n  ('boundary cap at 75', (1000, '3.00', ['1.50', '1.50']), [75, 1500]),\n  ('control two withdrawals', (1000, '3.00', ['4.00', '6.00']), [40, 2200]),\n  ('regression: band limit inclusive', (500, '3.32', ['7.59']), [10, 1544]),\n  ('regression: band limit inclusive', (500, '5.82', ['6.50', '4.00']), [40, 1946]),\n  ('variant scenario 1', (250, '7.03', []), [0, 1757]),\n  ('variant scenario 2', (250, '8.15', ['16.13']), [0, 2037])],\n [('control no withdrawal', (1000, '5.00', []), [0, 5000]),\n  ('boundary price on band limit', (1000, '5.00', ['2.50']), [40, 3400]),\n  ('control long-shot withdrawal', (1000, '5.00', ['21.00']), [0, 5000]),\n  ('boundary cap at 75', (1000, '3.00', ['1.50', '1.50']), [75, 1500]),\n  ('control two withdrawals', (1000, '3.00', ['4.00', '6.00']), [40, 2200]),\n  ('regression: band limit inclusive', (1000, '7.86', ['15.00', '16.53', '5.00']), [25, 6145]),\n  ('variant scenario 1', (500, '6.13', []), [0, 3065]),\n  ('variant scenario 2', (250, '10.38', ['9.25', '2.20']), [55, 1305])],\n [('control no withdrawal', (1000, '5.00', []), [0, 5000]),\n  ('boundary price on band limit', (1000, '5.00', ['2.50']), [40, 3400]),\n  ('control long-shot withdrawal', (1000, '5.00', ['21.00']), [0, 5000]),\n  ('boundary cap at 75', (1000, '3.00', ['1.50', '1.50']), [75, 1500]),\n  ('control two withdrawals', (1000, '3.00', ['4.00', '6.00']), [40, 2200]),\n  ('regression: band limit inclusive', (250, '6.56', ['4.63']), [20, 1362]),\n  ('regression: band limit inclusive', (250, '7.41', ['1.40']), [70, 730]),\n  ('variant scenario 1', (1000, '4.49', []), [0, 4490]),\n  ('variant scenario 2', (500, '7.05', []), [0, 3525])]]\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":"f86ea0ea282273eff08d44156b19ecd51ff71f8c81bb2a1f7f19670d306213e3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(stake_cents, price, withdrawn):\n    TABLE = [('1.30', 75), ('1.40', 70), ('1.53', 65), ('1.62', 60), ('1.80', 55), ('1.95', 50), ('2.20', 45), ('2.50', 40), ('2.75', 35), ('3.25', 30), ('4.00', 25), ('5.00', 20), ('6.50', 15), ('10.00', 10), ('15.00', 5)]\n    def ded(p):\n        p = Fraction(p)\n        for limit, pence in TABLE:\n            if p <= Fraction(limit):\n                return pence\n        return 0\n    total = min(75, sum(ded(w) for w in withdrawn))\n    profit = stake_cents * (Fraction(price) - 1)\n    return [total, stake_cents + math.floor(profit * (100 - total) / 100)]\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 no withdrawal', (1000, '5.00', []), [0, 5000]),\n  ('boundary price on band limit', (1000, '5.00', ['2.50']), [40, 3400]),\n  ('control long-shot withdrawal', (1000, '5.00', ['21.00']), [0, 5000]),\n  ('boundary cap at 75', (1000, '3.00', ['1.50', '1.50']), [75, 1500]),\n  ('control two withdrawals', (1000, '3.00', ['4.00', '6.00']), [40, 2200]),\n  ('regression: band limit inclusive', (250, '7.06', ['12.59', '11.90', '14.46']), [15, 1537]),\n  ('regression: band limit inclusive', (250, '4.38', ['13.48', '1.53', '13.32']), [75, 461]),\n  ('variant scenario 1', (250, '6.38', ['11.94', '1.40', '1.95']), [75, 586]),\n  ('variant scenario 2', (250, '9.32', ['14.14']), [5, 2226])],\n [('control no withdrawal', (1000, '5.00', []), [0, 5000]),\n  ('boundary price on band limit', (1000, '5.00', ['2.50']), [40, 3400]),\n  ('control long-shot withdrawal', (1000, '5.00', ['21.00']), [0, 5000]),\n  ('boundary cap at 75', (1000, '3.00', ['1.50', '1.50']), [75, 1500]),\n  ('control two withdrawals', (1000, '3.00', ['4.00', '6.00']), [40, 2200]),\n  ('regression: band limit inclusive', (250, '7.26', ['12.22', '5.00']), [25, 1423]),\n  ('variant scenario 1', (500, '10.70', ['2.20']), [45, 3167]),\n  ('variant scenario 2', (1000, '4.24', []), [0, 4240])],\n [('control no withdrawal', (1000, '5.00', []), [0, 5000]),\n  ('boundary price on band limit', (1000, '5.00', ['2.50']), [40, 3400]),\n  ('control long-shot withdrawal', (1000, '5.00', ['21.00']), [0, 5000]),\n  ('boundary cap at 75', (1000, '3.00', ['1.50', '1.50']), [75, 1500]),\n  ('control two withdrawals', (1000, '3.00', ['4.00', '6.00']), [40, 2200]),\n  ('regression: band limit inclusive', (500, '3.32', ['7.59']), [10, 1544]),\n  ('regression: band limit inclusive', (500, '5.82', ['6.50', '4.00']), [40, 1946]),\n  ('variant scenario 1', (250, '7.03', []), [0, 1757]),\n  ('variant scenario 2', (250, '8.15', ['16.13']), [0, 2037])],\n [('control no withdrawal', (1000, '5.00', []), [0, 5000]),\n  ('boundary price on band limit', (1000, '5.00', ['2.50']), [40, 3400]),\n  ('control long-shot withdrawal', (1000, '5.00', ['21.00']), [0, 5000]),\n  ('boundary cap at 75', (1000, '3.00', ['1.50', '1.50']), [75, 1500]),\n  ('control two withdrawals', (1000, '3.00', ['4.00', '6.00']), [40, 2200]),\n  ('regression: band limit inclusive', (1000, '7.86', ['15.00', '16.53', '5.00']), [25, 6145]),\n  ('variant scenario 1', (500, '6.13', []), [0, 3065]),\n  ('variant scenario 2', (250, '10.38', ['9.25', '2.20']), [55, 1305])],\n [('control no withdrawal', (1000, '5.00', []), [0, 5000]),\n  ('boundary price on band limit', (1000, '5.00', ['2.50']), [40, 3400]),\n  ('control long-shot withdrawal', (1000, '5.00', ['21.00']), [0, 5000]),\n  ('boundary cap at 75', (1000, '3.00', ['1.50', '1.50']), [75, 1500]),\n  ('control two withdrawals', (1000, '3.00', ['4.00', '6.00']), [40, 2200]),\n  ('regression: band limit inclusive', (250, '6.56', ['4.63']), [20, 1362]),\n  ('regression: band limit inclusive', (250, '7.41', ['1.40']), [70, 730]),\n  ('variant scenario 1', (1000, '4.49', []), [0, 4490]),\n  ('variant scenario 2', (500, '7.05', []), [0, 3525])]]\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-non-runner-deduction-band-limit-inclusive","generated_at":"2026-09-29T14:50:33.069451+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Racing settlement reduces winnings when a runner is withdrawn after prices were struck.","repair":"A price equal to a band limit belongs to that band.","root_cause":"The band test uses p < limit.","sha256":"adb96e68c00f19e1f2ac13f841af2485de5673587decc11d0e78e726e9301dc8","title":"Withdrawn price on a band limit takes the next band · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.854,"exit_code":1,"observations":[{"actual":[0,5000],"check":"control no withdrawal","expected":[0,5000],"passed":true},{"actual":[40,3400],"check":"boundary price on band limit","expected":[40,3400],"passed":true},{"actual":[5,4800],"check":"control long-shot withdrawal","expected":[0,5000],"passed":false},{"actual":[75,1500],"check":"boundary cap at 75","expected":[75,1500],"passed":true},{"actual":[45,2100],"check":"control two withdrawals","expected":[40,2200],"passed":false},{"actual":[30,1310],"check":"regression: band limit inclusive","expected":[15,1537],"passed":false},{"actual":[75,461],"check":"regression: band limit inclusive","expected":[75,461],"passed":true},{"actual":[75,586],"check":"variant scenario 1","expected":[75,586],"passed":true},{"actual":[10,2122],"check":"variant scenario 2","expected":[5,2226],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control no withdrawal\", \"actual\": [0, 5000], \"expected\": [0, 5000], \"passed\": true}, {\"check\": \"boundary price on band limit\", \"actual\": [40, 3400], \"expected\": [40, 3400], \"passed\": true}, {\"check\": \"control long-shot withdrawal\", \"actual\": [5, 4800], \"expected\": [0, 5000], \"passed\": false}, {\"check\": \"boundary cap at 75\", \"actual\": [75, 1500], \"expected\": [75, 1500], \"passed\": true}, {\"check\": \"control two withdrawals\", \"actual\": [45, 2100], \"expected\": [40, 2200], \"passed\": false}, {\"check\": \"regression: band limit inclusive\", \"actual\": [30, 1310], \"expected\": [15, 1537], \"passed\": false}, {\"check\": \"regression: band limit inclusive\", \"actual\": [75, 461], \"expected\": [75, 461], \"passed\": true}, {\"check\": \"variant scenario 1\", \"actual\": [75, 586], \"expected\": [75, 586], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [10, 2122], \"expected\": [5, 2226], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.33,"exit_code":1,"observations":[{"actual":[0,5000],"check":"control no withdrawal","expected":[0,5000],"passed":true},{"actual":[35,3600],"check":"boundary price on band limit","expected":[40,3400],"passed":false},{"actual":[0,5000],"check":"control long-shot withdrawal","expected":[0,5000],"passed":true},{"actual":[75,1500],"check":"boundary cap at 75","expected":[75,1500],"passed":true},{"actual":[35,2300],"check":"control two withdrawals","expected":[40,2200],"passed":false},{"actual":[15,1537],"check":"regression: band limit inclusive","expected":[15,1537],"passed":true},{"actual":[70,503],"check":"regression: band limit inclusive","expected":[75,461],"passed":false},{"actual":[75,586],"check":"variant scenario 1","expected":[75,586],"passed":true},{"actual":[5,2226],"check":"variant scenario 2","expected":[5,2226],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control no withdrawal\", \"actual\": [0, 5000], \"expected\": [0, 5000], \"passed\": true}, {\"check\": \"boundary price on band limit\", \"actual\": [35, 3600], \"expected\": [40, 3400], \"passed\": false}, {\"check\": \"control long-shot withdrawal\", \"actual\": [0, 5000], \"expected\": [0, 5000], \"passed\": true}, {\"check\": \"boundary cap at 75\", \"actual\": [75, 1500], \"expected\": [75, 1500], \"passed\": true}, {\"check\": \"control two withdrawals\", \"actual\": [35, 2300], \"expected\": [40, 2200], \"passed\": false}, {\"check\": \"regression: band limit inclusive\", \"actual\": [15, 1537], \"expected\": [15, 1537], \"passed\": true}, {\"check\": \"regression: band limit inclusive\", \"actual\": [70, 503], \"expected\": [75, 461], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [75, 586], \"expected\": [75, 586], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [5, 2226], \"expected\": [5, 2226], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":52.745,"exit_code":0,"observations":[{"actual":[0,5000],"check":"control no withdrawal","expected":[0,5000],"passed":true},{"actual":[40,3400],"check":"boundary price on band limit","expected":[40,3400],"passed":true},{"actual":[0,5000],"check":"control long-shot withdrawal","expected":[0,5000],"passed":true},{"actual":[75,1500],"check":"boundary cap at 75","expected":[75,1500],"passed":true},{"actual":[40,2200],"check":"control two withdrawals","expected":[40,2200],"passed":true},{"actual":[15,1537],"check":"regression: band limit inclusive","expected":[15,1537],"passed":true},{"actual":[75,461],"check":"regression: band limit inclusive","expected":[75,461],"passed":true},{"actual":[75,586],"check":"variant scenario 1","expected":[75,586],"passed":true},{"actual":[5,2226],"check":"variant scenario 2","expected":[5,2226],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control no withdrawal\", \"actual\": [0, 5000], \"expected\": [0, 5000], \"passed\": true}, {\"check\": \"boundary price on band limit\", \"actual\": [40, 3400], \"expected\": [40, 3400], \"passed\": true}, {\"check\": \"control long-shot withdrawal\", \"actual\": [0, 5000], \"expected\": [0, 5000], \"passed\": true}, {\"check\": \"boundary cap at 75\", \"actual\": [75, 1500], \"expected\": [75, 1500], \"passed\": true}, {\"check\": \"control two withdrawals\", \"actual\": [40, 2200], \"expected\": [40, 2200], \"passed\": true}, {\"check\": \"regression: band limit inclusive\", \"actual\": [15, 1537], \"expected\": [15, 1537], \"passed\": true}, {\"check\": \"regression: band limit inclusive\", \"actual\": [75, 461], \"expected\": [75, 461], \"passed\": true}, {\"check\": \"variant scenario 1\", \"actual\": [75, 586], \"expected\": [75, 586], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [5, 2226], \"expected\": [5, 2226], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}