{"abstract":"After a top-rarity hit the next hit arrives far too early.","category":"Game economy crafting balance","checks":8,"contract":"Each roll is 0..999. Pull number n = pity+1. Top-rarity rate is 6 per mille, plus 50*(n-73) from n >= 74 (soft pity); n >= 90 always hits. On a hit pity resets to 0; the item is featured (\"F\") if guarantee is set or the roll is even, otherwise lost (\"L\") and the guarantee is set; a featured hit clears the guarantee. Misses (\"-\") set pity = n.","evaluation_group":"w2-game-economy-crafting-balance-banner-pity","failed_approach":"Resetting to one counts the winning pull toward the next cycle.","family":"w2-game-economy-crafting-balance-banner-pity-pity-reset","id":"FA-85926","implementations":{"attempt":{"sha256":"c87210c97bc859b729a952023377d1717dc51dd161f1906deb9fbdccd3af0b3a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rolls, state):\n    pity = state['pity']\n    guarantee = state['guarantee']\n    out = []\n    for r in rolls:\n        n = pity + 1\n        rate = 6\n        if n >= 74:\n            rate += 50 * (n - 73)\n        if n >= 90 or r < rate:\n            pity = 1\n            if guarantee or r % 2 == 0:\n                out.append('F')\n                guarantee = False\n            else:\n                out.append('L')\n                guarantee = True\n        else:\n            pity = n\n            out.append('-')\n    return {'results': ''.join(out), 'pity': pity, 'guarantee': guarantee}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('hard pity pull #1',\n   [[999, 999], {'pity': 89, 'guarantee': False}],\n   {'results': 'L-', 'pity': 1, 'guarantee': True}),\n  ('first soft pity pull #1',\n   [[100, 3], {'pity': 73, 'guarantee': True}],\n   {'results': '-F', 'pity': 0, 'guarantee': False}),\n  ('lost fifty fifty then featured #1',\n   [[1, 999, 0], {'pity': 10, 'guarantee': False}],\n   {'results': 'L-F', 'pity': 0, 'guarantee': False}),\n  ('regression pity reset #1',\n   [[15, 31, 302, 259, 332, 886, 12, 851, 55, 45, 6, 903, 946, 869, 725], {'pity': 88, 'guarantee': True}],\n   {'results': 'F--------------', 'pity': 14, 'guarantee': False}),\n  ('regression pity reset #2',\n   [[507, 965, 27, 525, 851], {'pity': 73, 'guarantee': True}],\n   {'results': '--F--', 'pity': 2, 'guarantee': False}),\n  ('regression pity reset #3',\n   [[480, 489, 823, 13, 936, 776, 44, 409, 26, 974, 9, 54, 911, 804, 433, 47, 942, 847],\n    {'pity': 89, 'guarantee': True}],\n   {'results': 'F-----------------', 'pity': 17, 'guarantee': False}),\n  ('control #1', [[911], {'pity': 73, 'guarantee': True}], {'results': '-', 'pity': 74, 'guarantee': True}),\n  ('control #2',\n   [[685, 976, 49, 33, 16, 30, 427, 839], {'pity': 0, 'guarantee': False}],\n   {'results': '--------', 'pity': 8, 'guarantee': False})],\n [('first soft pity pull #1',\n   [[100, 3], {'pity': 73, 'guarantee': True}],\n   {'results': '-F', 'pity': 0, 'guarantee': False}),\n  ('lost fifty fifty then featured #1',\n   [[1, 999, 0], {'pity': 10, 'guarantee': False}],\n   {'results': 'L-F', 'pity': 0, 'guarantee': False}),\n  ('regression pity reset #1',\n   [[15, 31, 302, 259, 332, 886, 12, 851, 55, 45, 6, 903, 946, 869, 725], {'pity': 88, 'guarantee': True}],\n   {'results': 'F--------------', 'pity': 14, 'guarantee': False}),\n  ('regression pity reset #2',\n   [[507, 965, 27, 525, 851], {'pity': 73, 'guarantee': True}],\n   {'results': '--F--', 'pity': 2, 'guarantee': False}),\n  ('regression pity reset #3',\n   [[480, 489, 823, 13, 936, 776, 44, 409, 26, 974, 9, 54, 911, 804, 433, 47, 942, 847],\n    {'pity': 89, 'guarantee': True}],\n   {'results': 'F-----------------', 'pity': 17, 'guarantee': False}),\n  ('regression pity reset #4',\n   [[922, 571, 11, 40, 49, 776, 996, 952, 946, 14, 108, 822, 888, 25], {'pity': 84, 'guarantee': False}],\n   {'results': '-L------------', 'pity': 12, 'guarantee': True}),\n  ('control #1',\n   [[773, 957, 60, 353, 59, 19, 862, 820, 993, 27, 22, 893, 950], {'pity': 0, 'guarantee': True}],\n   {'results': '-------------', 'pity': 13, 'guarantee': True}),\n  ('control #2', [[54], {'pity': 61, 'guarantee': False}], {'results': '-', 'pity': 62, 'guarantee': False})],\n [('lost fifty fifty then featured #1',\n   [[1, 999, 0], {'pity': 10, 'guarantee': False}],\n   {'results': 'L-F', 'pity': 0, 'guarantee': False}),\n  ('hard pity pull #1',\n   [[999, 999], {'pity': 89, 'guarantee': False}],\n   {'results': 'L-', 'pity': 1, 'guarantee': True}),\n  ('regression pity reset #1',\n   [[507, 965, 27, 525, 851], {'pity': 73, 'guarantee': True}],\n   {'results': '--F--', 'pity': 2, 'guarantee': False}),\n  ('regression pity reset #2',\n   [[480, 489, 823, 13, 936, 776, 44, 409, 26, 974, 9, 54, 911, 804, 433, 47, 942, 847],\n    {'pity': 89, 'guarantee': True}],\n   {'results': 'F-----------------', 'pity': 17, 'guarantee': False}),\n  ('regression pity reset #3',\n   [[922, 571, 11, 40, 49, 776, 996, 952, 946, 14, 108, 822, 888, 25], {'pity': 84, 'guarantee': False}],\n   {'results': '-L------------', 'pity': 12, 'guarantee': True}),\n  ('regression pity reset #4',\n   [[18, 973, 5], {'pity': 72, 'guarantee': False}],\n   {'results': '--L', 'pity': 0, 'guarantee': True}),\n  ('control #1',\n   [[938, 58, 37, 11, 926, 889, 844, 11, 265], {'pity': 0, 'guarantee': False}],\n   {'results': '---------', 'pity': 9, 'guarantee': False}),\n  ('control #2',\n   [[43, 382, 597, 932, 22, 950, 46, 694, 804, 21, 825, 523, 125, 765], {'pity': 26, 'guarantee': False}],\n   {'results': '--------------', 'pity': 40, 'guarantee': False})],\n [('hard pity pull #1',\n   [[999, 999], {'pity': 89, 'guarantee': False}],\n   {'results': 'L-', 'pity': 1, 'guarantee': True}),\n  ('first soft pity pull #1',\n   [[100, 3], {'pity': 73, 'guarantee': True}],\n   {'results': '-F', 'pity': 0, 'guarantee': False}),\n  ('regression pity reset #1',\n   [[922, 571, 11, 40, 49, 776, 996, 952, 946, 14, 108, 822, 888, 25], {'pity': 84, 'guarantee': False}],\n   {'results': '-L------------', 'pity': 12, 'guarantee': True}),\n  ('regression pity reset #2',\n   [[18, 973, 5], {'pity': 72, 'guarantee': False}],\n   {'results': '--L', 'pity': 0, 'guarantee': True}),\n  ('regression pity reset #3',\n   [[935, 90, 29, 166, 937, 997, 903, 315, 848, 1, 893, 36, 218, 730, 858, 726, 972, 10],\n    {'pity': 89, 'guarantee': True}],\n   {'results': 'F--------L--------', 'pity': 8, 'guarantee': True}),\n  ('regression pity reset #4',\n   [[815, 889, 39, 873, 939, 933, 908, 992, 421, 939, 821, 53, 12, 40, 8, 884, 975, 551, 967, 39],\n    {'pity': 63, 'guarantee': True}],\n   {'results': '-----------F--------', 'pity': 8, 'guarantee': False}),\n  ('control #1', [[901], {'pity': 54, 'guarantee': False}], {'results': '-', 'pity': 55, 'guarantee': False}),\n  ('control #2',\n   [[40, 846, 823, 917, 973, 874, 95, 46, 59, 36, 36, 872, 9, 854, 926, 882, 133],\n    {'pity': 0, 'guarantee': False}],\n   {'results': '-----------------', 'pity': 17, 'guarantee': False})],\n [('first soft pity pull #1',\n   [[100, 3], {'pity': 73, 'guarantee': True}],\n   {'results': '-F', 'pity': 0, 'guarantee': False}),\n  ('lost fifty fifty then featured #1',\n   [[1, 999, 0], {'pity': 10, 'guarantee': False}],\n   {'results': 'L-F', 'pity': 0, 'guarantee': False}),\n  ('regression pity reset #1',\n   [[935, 90, 29, 166, 937, 997, 903, 315, 848, 1, 893, 36, 218, 730, 858, 726, 972, 10],\n    {'pity': 89, 'guarantee': True}],\n   {'results': 'F--------L--------', 'pity': 8, 'guarantee': True}),\n  ('regression pity reset #2',\n   [[815, 889, 39, 873, 939, 933, 908, 992, 421, 939, 821, 53, 12, 40, 8, 884, 975, 551, 967, 39],\n    {'pity': 63, 'guarantee': True}],\n   {'results': '-----------F--------', 'pity': 8, 'guarantee': False}),\n  ('regression pity reset #3',\n   [[4, 155, 441, 951, 967, 353, 21], {'pity': 68, 'guarantee': False}],\n   {'results': 'F------', 'pity': 6, 'guarantee': False}),\n  ('regression pity reset #4',\n   [[18, 16, 60, 53, 197, 713, 972, 933], {'pity': 75, 'guarantee': True}],\n   {'results': 'F-------', 'pity': 7, 'guarantee': False}),\n  ('control #1',\n   [[986, 892, 958, 29, 925, 855, 10, 138, 806, 213, 889, 837, 994, 19], {'pity': 14, 'guarantee': False}],\n   {'results': '--------------', 'pity': 28, 'guarantee': False}),\n  ('control #2',\n   [[806, 775, 826, 58], {'pity': 66, 'guarantee': False}],\n   {'results': '----', 'pity': 70, 'guarantee': False})]]\nfor label, args, expected in cases[N-1]:\n    check(label, solve(*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":"a67cf26e007aa79c17b98689ddc382784ea59d778a2f6bc431b9efaefdb0c65b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rolls, state):\n    pity = state['pity']\n    guarantee = state['guarantee']\n    out = []\n    for r in rolls:\n        n = pity + 1\n        rate = 6\n        if n >= 74:\n            rate += 50 * (n - 73)\n        if n >= 90 or r < rate:\n            pity = n\n            if guarantee or r % 2 == 0:\n                out.append('F')\n                guarantee = False\n            else:\n                out.append('L')\n                guarantee = True\n        else:\n            pity = n\n            out.append('-')\n    return {'results': ''.join(out), 'pity': pity, 'guarantee': guarantee}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('hard pity pull #1',\n   [[999, 999], {'pity': 89, 'guarantee': False}],\n   {'results': 'L-', 'pity': 1, 'guarantee': True}),\n  ('first soft pity pull #1',\n   [[100, 3], {'pity': 73, 'guarantee': True}],\n   {'results': '-F', 'pity': 0, 'guarantee': False}),\n  ('lost fifty fifty then featured #1',\n   [[1, 999, 0], {'pity': 10, 'guarantee': False}],\n   {'results': 'L-F', 'pity': 0, 'guarantee': False}),\n  ('regression pity reset #1',\n   [[15, 31, 302, 259, 332, 886, 12, 851, 55, 45, 6, 903, 946, 869, 725], {'pity': 88, 'guarantee': True}],\n   {'results': 'F--------------', 'pity': 14, 'guarantee': False}),\n  ('regression pity reset #2',\n   [[507, 965, 27, 525, 851], {'pity': 73, 'guarantee': True}],\n   {'results': '--F--', 'pity': 2, 'guarantee': False}),\n  ('regression pity reset #3',\n   [[480, 489, 823, 13, 936, 776, 44, 409, 26, 974, 9, 54, 911, 804, 433, 47, 942, 847],\n    {'pity': 89, 'guarantee': True}],\n   {'results': 'F-----------------', 'pity': 17, 'guarantee': False}),\n  ('control #1', [[911], {'pity': 73, 'guarantee': True}], {'results': '-', 'pity': 74, 'guarantee': True}),\n  ('control #2',\n   [[685, 976, 49, 33, 16, 30, 427, 839], {'pity': 0, 'guarantee': False}],\n   {'results': '--------', 'pity': 8, 'guarantee': False})],\n [('first soft pity pull #1',\n   [[100, 3], {'pity': 73, 'guarantee': True}],\n   {'results': '-F', 'pity': 0, 'guarantee': False}),\n  ('lost fifty fifty then featured #1',\n   [[1, 999, 0], {'pity': 10, 'guarantee': False}],\n   {'results': 'L-F', 'pity': 0, 'guarantee': False}),\n  ('regression pity reset #1',\n   [[15, 31, 302, 259, 332, 886, 12, 851, 55, 45, 6, 903, 946, 869, 725], {'pity': 88, 'guarantee': True}],\n   {'results': 'F--------------', 'pity': 14, 'guarantee': False}),\n  ('regression pity reset #2',\n   [[507, 965, 27, 525, 851], {'pity': 73, 'guarantee': True}],\n   {'results': '--F--', 'pity': 2, 'guarantee': False}),\n  ('regression pity reset #3',\n   [[480, 489, 823, 13, 936, 776, 44, 409, 26, 974, 9, 54, 911, 804, 433, 47, 942, 847],\n    {'pity': 89, 'guarantee': True}],\n   {'results': 'F-----------------', 'pity': 17, 'guarantee': False}),\n  ('regression pity reset #4',\n   [[922, 571, 11, 40, 49, 776, 996, 952, 946, 14, 108, 822, 888, 25], {'pity': 84, 'guarantee': False}],\n   {'results': '-L------------', 'pity': 12, 'guarantee': True}),\n  ('control #1',\n   [[773, 957, 60, 353, 59, 19, 862, 820, 993, 27, 22, 893, 950], {'pity': 0, 'guarantee': True}],\n   {'results': '-------------', 'pity': 13, 'guarantee': True}),\n  ('control #2', [[54], {'pity': 61, 'guarantee': False}], {'results': '-', 'pity': 62, 'guarantee': False})],\n [('lost fifty fifty then featured #1',\n   [[1, 999, 0], {'pity': 10, 'guarantee': False}],\n   {'results': 'L-F', 'pity': 0, 'guarantee': False}),\n  ('hard pity pull #1',\n   [[999, 999], {'pity': 89, 'guarantee': False}],\n   {'results': 'L-', 'pity': 1, 'guarantee': True}),\n  ('regression pity reset #1',\n   [[507, 965, 27, 525, 851], {'pity': 73, 'guarantee': True}],\n   {'results': '--F--', 'pity': 2, 'guarantee': False}),\n  ('regression pity reset #2',\n   [[480, 489, 823, 13, 936, 776, 44, 409, 26, 974, 9, 54, 911, 804, 433, 47, 942, 847],\n    {'pity': 89, 'guarantee': True}],\n   {'results': 'F-----------------', 'pity': 17, 'guarantee': False}),\n  ('regression pity reset #3',\n   [[922, 571, 11, 40, 49, 776, 996, 952, 946, 14, 108, 822, 888, 25], {'pity': 84, 'guarantee': False}],\n   {'results': '-L------------', 'pity': 12, 'guarantee': True}),\n  ('regression pity reset #4',\n   [[18, 973, 5], {'pity': 72, 'guarantee': False}],\n   {'results': '--L', 'pity': 0, 'guarantee': True}),\n  ('control #1',\n   [[938, 58, 37, 11, 926, 889, 844, 11, 265], {'pity': 0, 'guarantee': False}],\n   {'results': '---------', 'pity': 9, 'guarantee': False}),\n  ('control #2',\n   [[43, 382, 597, 932, 22, 950, 46, 694, 804, 21, 825, 523, 125, 765], {'pity': 26, 'guarantee': False}],\n   {'results': '--------------', 'pity': 40, 'guarantee': False})],\n [('hard pity pull #1',\n   [[999, 999], {'pity': 89, 'guarantee': False}],\n   {'results': 'L-', 'pity': 1, 'guarantee': True}),\n  ('first soft pity pull #1',\n   [[100, 3], {'pity': 73, 'guarantee': True}],\n   {'results': '-F', 'pity': 0, 'guarantee': False}),\n  ('regression pity reset #1',\n   [[922, 571, 11, 40, 49, 776, 996, 952, 946, 14, 108, 822, 888, 25], {'pity': 84, 'guarantee': False}],\n   {'results': '-L------------', 'pity': 12, 'guarantee': True}),\n  ('regression pity reset #2',\n   [[18, 973, 5], {'pity': 72, 'guarantee': False}],\n   {'results': '--L', 'pity': 0, 'guarantee': True}),\n  ('regression pity reset #3',\n   [[935, 90, 29, 166, 937, 997, 903, 315, 848, 1, 893, 36, 218, 730, 858, 726, 972, 10],\n    {'pity': 89, 'guarantee': True}],\n   {'results': 'F--------L--------', 'pity': 8, 'guarantee': True}),\n  ('regression pity reset #4',\n   [[815, 889, 39, 873, 939, 933, 908, 992, 421, 939, 821, 53, 12, 40, 8, 884, 975, 551, 967, 39],\n    {'pity': 63, 'guarantee': True}],\n   {'results': '-----------F--------', 'pity': 8, 'guarantee': False}),\n  ('control #1', [[901], {'pity': 54, 'guarantee': False}], {'results': '-', 'pity': 55, 'guarantee': False}),\n  ('control #2',\n   [[40, 846, 823, 917, 973, 874, 95, 46, 59, 36, 36, 872, 9, 854, 926, 882, 133],\n    {'pity': 0, 'guarantee': False}],\n   {'results': '-----------------', 'pity': 17, 'guarantee': False})],\n [('first soft pity pull #1',\n   [[100, 3], {'pity': 73, 'guarantee': True}],\n   {'results': '-F', 'pity': 0, 'guarantee': False}),\n  ('lost fifty fifty then featured #1',\n   [[1, 999, 0], {'pity': 10, 'guarantee': False}],\n   {'results': 'L-F', 'pity': 0, 'guarantee': False}),\n  ('regression pity reset #1',\n   [[935, 90, 29, 166, 937, 997, 903, 315, 848, 1, 893, 36, 218, 730, 858, 726, 972, 10],\n    {'pity': 89, 'guarantee': True}],\n   {'results': 'F--------L--------', 'pity': 8, 'guarantee': True}),\n  ('regression pity reset #2',\n   [[815, 889, 39, 873, 939, 933, 908, 992, 421, 939, 821, 53, 12, 40, 8, 884, 975, 551, 967, 39],\n    {'pity': 63, 'guarantee': True}],\n   {'results': '-----------F--------', 'pity': 8, 'guarantee': False}),\n  ('regression pity reset #3',\n   [[4, 155, 441, 951, 967, 353, 21], {'pity': 68, 'guarantee': False}],\n   {'results': 'F------', 'pity': 6, 'guarantee': False}),\n  ('regression pity reset #4',\n   [[18, 16, 60, 53, 197, 713, 972, 933], {'pity': 75, 'guarantee': True}],\n   {'results': 'F-------', 'pity': 7, 'guarantee': False}),\n  ('control #1',\n   [[986, 892, 958, 29, 925, 855, 10, 138, 806, 213, 889, 837, 994, 19], {'pity': 14, 'guarantee': False}],\n   {'results': '--------------', 'pity': 28, 'guarantee': False}),\n  ('control #2',\n   [[806, 775, 826, 58], {'pity': 66, 'guarantee': False}],\n   {'results': '----', 'pity': 70, 'guarantee': False})]]\nfor label, args, expected in cases[N-1]:\n    check(label, solve(*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":"deac2d0ab196e5a301bb29fd9d2bc73c89f0159c8f120f32541a788a6d6d1dfe","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rolls, state):\n    pity = state['pity']\n    guarantee = state['guarantee']\n    out = []\n    for r in rolls:\n        n = pity + 1\n        rate = 6\n        if n >= 74:\n            rate += 50 * (n - 73)\n        if n >= 90 or r < rate:\n            pity = 0\n            if guarantee or r % 2 == 0:\n                out.append('F')\n                guarantee = False\n            else:\n                out.append('L')\n                guarantee = True\n        else:\n            pity = n\n            out.append('-')\n    return {'results': ''.join(out), 'pity': pity, 'guarantee': guarantee}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('hard pity pull #1',\n   [[999, 999], {'pity': 89, 'guarantee': False}],\n   {'results': 'L-', 'pity': 1, 'guarantee': True}),\n  ('first soft pity pull #1',\n   [[100, 3], {'pity': 73, 'guarantee': True}],\n   {'results': '-F', 'pity': 0, 'guarantee': False}),\n  ('lost fifty fifty then featured #1',\n   [[1, 999, 0], {'pity': 10, 'guarantee': False}],\n   {'results': 'L-F', 'pity': 0, 'guarantee': False}),\n  ('regression pity reset #1',\n   [[15, 31, 302, 259, 332, 886, 12, 851, 55, 45, 6, 903, 946, 869, 725], {'pity': 88, 'guarantee': True}],\n   {'results': 'F--------------', 'pity': 14, 'guarantee': False}),\n  ('regression pity reset #2',\n   [[507, 965, 27, 525, 851], {'pity': 73, 'guarantee': True}],\n   {'results': '--F--', 'pity': 2, 'guarantee': False}),\n  ('regression pity reset #3',\n   [[480, 489, 823, 13, 936, 776, 44, 409, 26, 974, 9, 54, 911, 804, 433, 47, 942, 847],\n    {'pity': 89, 'guarantee': True}],\n   {'results': 'F-----------------', 'pity': 17, 'guarantee': False}),\n  ('control #1', [[911], {'pity': 73, 'guarantee': True}], {'results': '-', 'pity': 74, 'guarantee': True}),\n  ('control #2',\n   [[685, 976, 49, 33, 16, 30, 427, 839], {'pity': 0, 'guarantee': False}],\n   {'results': '--------', 'pity': 8, 'guarantee': False})],\n [('first soft pity pull #1',\n   [[100, 3], {'pity': 73, 'guarantee': True}],\n   {'results': '-F', 'pity': 0, 'guarantee': False}),\n  ('lost fifty fifty then featured #1',\n   [[1, 999, 0], {'pity': 10, 'guarantee': False}],\n   {'results': 'L-F', 'pity': 0, 'guarantee': False}),\n  ('regression pity reset #1',\n   [[15, 31, 302, 259, 332, 886, 12, 851, 55, 45, 6, 903, 946, 869, 725], {'pity': 88, 'guarantee': True}],\n   {'results': 'F--------------', 'pity': 14, 'guarantee': False}),\n  ('regression pity reset #2',\n   [[507, 965, 27, 525, 851], {'pity': 73, 'guarantee': True}],\n   {'results': '--F--', 'pity': 2, 'guarantee': False}),\n  ('regression pity reset #3',\n   [[480, 489, 823, 13, 936, 776, 44, 409, 26, 974, 9, 54, 911, 804, 433, 47, 942, 847],\n    {'pity': 89, 'guarantee': True}],\n   {'results': 'F-----------------', 'pity': 17, 'guarantee': False}),\n  ('regression pity reset #4',\n   [[922, 571, 11, 40, 49, 776, 996, 952, 946, 14, 108, 822, 888, 25], {'pity': 84, 'guarantee': False}],\n   {'results': '-L------------', 'pity': 12, 'guarantee': True}),\n  ('control #1',\n   [[773, 957, 60, 353, 59, 19, 862, 820, 993, 27, 22, 893, 950], {'pity': 0, 'guarantee': True}],\n   {'results': '-------------', 'pity': 13, 'guarantee': True}),\n  ('control #2', [[54], {'pity': 61, 'guarantee': False}], {'results': '-', 'pity': 62, 'guarantee': False})],\n [('lost fifty fifty then featured #1',\n   [[1, 999, 0], {'pity': 10, 'guarantee': False}],\n   {'results': 'L-F', 'pity': 0, 'guarantee': False}),\n  ('hard pity pull #1',\n   [[999, 999], {'pity': 89, 'guarantee': False}],\n   {'results': 'L-', 'pity': 1, 'guarantee': True}),\n  ('regression pity reset #1',\n   [[507, 965, 27, 525, 851], {'pity': 73, 'guarantee': True}],\n   {'results': '--F--', 'pity': 2, 'guarantee': False}),\n  ('regression pity reset #2',\n   [[480, 489, 823, 13, 936, 776, 44, 409, 26, 974, 9, 54, 911, 804, 433, 47, 942, 847],\n    {'pity': 89, 'guarantee': True}],\n   {'results': 'F-----------------', 'pity': 17, 'guarantee': False}),\n  ('regression pity reset #3',\n   [[922, 571, 11, 40, 49, 776, 996, 952, 946, 14, 108, 822, 888, 25], {'pity': 84, 'guarantee': False}],\n   {'results': '-L------------', 'pity': 12, 'guarantee': True}),\n  ('regression pity reset #4',\n   [[18, 973, 5], {'pity': 72, 'guarantee': False}],\n   {'results': '--L', 'pity': 0, 'guarantee': True}),\n  ('control #1',\n   [[938, 58, 37, 11, 926, 889, 844, 11, 265], {'pity': 0, 'guarantee': False}],\n   {'results': '---------', 'pity': 9, 'guarantee': False}),\n  ('control #2',\n   [[43, 382, 597, 932, 22, 950, 46, 694, 804, 21, 825, 523, 125, 765], {'pity': 26, 'guarantee': False}],\n   {'results': '--------------', 'pity': 40, 'guarantee': False})],\n [('hard pity pull #1',\n   [[999, 999], {'pity': 89, 'guarantee': False}],\n   {'results': 'L-', 'pity': 1, 'guarantee': True}),\n  ('first soft pity pull #1',\n   [[100, 3], {'pity': 73, 'guarantee': True}],\n   {'results': '-F', 'pity': 0, 'guarantee': False}),\n  ('regression pity reset #1',\n   [[922, 571, 11, 40, 49, 776, 996, 952, 946, 14, 108, 822, 888, 25], {'pity': 84, 'guarantee': False}],\n   {'results': '-L------------', 'pity': 12, 'guarantee': True}),\n  ('regression pity reset #2',\n   [[18, 973, 5], {'pity': 72, 'guarantee': False}],\n   {'results': '--L', 'pity': 0, 'guarantee': True}),\n  ('regression pity reset #3',\n   [[935, 90, 29, 166, 937, 997, 903, 315, 848, 1, 893, 36, 218, 730, 858, 726, 972, 10],\n    {'pity': 89, 'guarantee': True}],\n   {'results': 'F--------L--------', 'pity': 8, 'guarantee': True}),\n  ('regression pity reset #4',\n   [[815, 889, 39, 873, 939, 933, 908, 992, 421, 939, 821, 53, 12, 40, 8, 884, 975, 551, 967, 39],\n    {'pity': 63, 'guarantee': True}],\n   {'results': '-----------F--------', 'pity': 8, 'guarantee': False}),\n  ('control #1', [[901], {'pity': 54, 'guarantee': False}], {'results': '-', 'pity': 55, 'guarantee': False}),\n  ('control #2',\n   [[40, 846, 823, 917, 973, 874, 95, 46, 59, 36, 36, 872, 9, 854, 926, 882, 133],\n    {'pity': 0, 'guarantee': False}],\n   {'results': '-----------------', 'pity': 17, 'guarantee': False})],\n [('first soft pity pull #1',\n   [[100, 3], {'pity': 73, 'guarantee': True}],\n   {'results': '-F', 'pity': 0, 'guarantee': False}),\n  ('lost fifty fifty then featured #1',\n   [[1, 999, 0], {'pity': 10, 'guarantee': False}],\n   {'results': 'L-F', 'pity': 0, 'guarantee': False}),\n  ('regression pity reset #1',\n   [[935, 90, 29, 166, 937, 997, 903, 315, 848, 1, 893, 36, 218, 730, 858, 726, 972, 10],\n    {'pity': 89, 'guarantee': True}],\n   {'results': 'F--------L--------', 'pity': 8, 'guarantee': True}),\n  ('regression pity reset #2',\n   [[815, 889, 39, 873, 939, 933, 908, 992, 421, 939, 821, 53, 12, 40, 8, 884, 975, 551, 967, 39],\n    {'pity': 63, 'guarantee': True}],\n   {'results': '-----------F--------', 'pity': 8, 'guarantee': False}),\n  ('regression pity reset #3',\n   [[4, 155, 441, 951, 967, 353, 21], {'pity': 68, 'guarantee': False}],\n   {'results': 'F------', 'pity': 6, 'guarantee': False}),\n  ('regression pity reset #4',\n   [[18, 16, 60, 53, 197, 713, 972, 933], {'pity': 75, 'guarantee': True}],\n   {'results': 'F-------', 'pity': 7, 'guarantee': False}),\n  ('control #1',\n   [[986, 892, 958, 29, 925, 855, 10, 138, 806, 213, 889, 837, 994, 19], {'pity': 14, 'guarantee': False}],\n   {'results': '--------------', 'pity': 28, 'guarantee': False}),\n  ('control #2',\n   [[806, 775, 826, 58], {'pity': 66, 'guarantee': False}],\n   {'results': '----', 'pity': 70, 'guarantee': False})]]\nfor label, args, expected in cases[N-1]:\n    check(label, solve(*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":"Deterministic toy contract stipulated for this model; integer or exact arithmetic only, not a reproduction of any specific game engine. 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-game-economy-crafting-balance-banner-pity-pity-reset","generated_at":"2026-09-29T14:50:44.860995+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Game economies leak or destroy currency when one crafting or pricing rule is off by one boundary, rounding stage or state update; the defect is observable in exact integer outcomes.","repair":"Restore `pity = 0` at the pity reset step.","root_cause":"A hit stores the pull number as the new pity instead of resetting to zero.","sha256":"74cf391282dd0865ccd42c57bc386d783834985de9998dafafe77ee1f8340c27","title":"Banner pity counter: Pity is not reset on a hit · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.338,"exit_code":1,"observations":[{"actual":{"guarantee":true,"pity":2,"results":"L-"},"check":"hard pity pull #1","expected":{"guarantee":true,"pity":1,"results":"L-"},"passed":false},{"actual":{"guarantee":false,"pity":1,"results":"-F"},"check":"first soft pity pull #1","expected":{"guarantee":false,"pity":0,"results":"-F"},"passed":false},{"actual":{"guarantee":false,"pity":1,"results":"L-F"},"check":"lost fifty fifty then featured #1","expected":{"guarantee":false,"pity":0,"results":"L-F"},"passed":false},{"actual":{"guarantee":false,"pity":15,"results":"F--------------"},"check":"regression pity reset #1","expected":{"guarantee":false,"pity":14,"results":"F--------------"},"passed":false},{"actual":{"guarantee":false,"pity":3,"results":"--F--"},"check":"regression pity reset #2","expected":{"guarantee":false,"pity":2,"results":"--F--"},"passed":false},{"actual":{"guarantee":false,"pity":18,"results":"F-----------------"},"check":"regression pity reset #3","expected":{"guarantee":false,"pity":17,"results":"F-----------------"},"passed":false},{"actual":{"guarantee":true,"pity":74,"results":"-"},"check":"control #1","expected":{"guarantee":true,"pity":74,"results":"-"},"passed":true},{"actual":{"guarantee":false,"pity":8,"results":"--------"},"check":"control #2","expected":{"guarantee":false,"pity":8,"results":"--------"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"hard pity pull #1\", \"actual\": {\"results\": \"L-\", \"pity\": 2, \"guarantee\": true}, \"expected\": {\"results\": \"L-\", \"pity\": 1, \"guarantee\": true}, \"passed\": false}, {\"check\": \"first soft pity pull #1\", \"actual\": {\"results\": \"-F\", \"pity\": 1, \"guarantee\": false}, \"expected\": {\"results\": \"-F\", \"pity\": 0, \"guarantee\": false}, \"passed\": false}, {\"check\": \"lost fifty fifty then featured #1\", \"actual\": {\"results\": \"L-F\", \"pity\": 1, \"guarantee\": false}, \"expected\": {\"results\": \"L-F\", \"pity\": 0, \"guarantee\": false}, \"passed\": false}, {\"check\": \"regression pity reset #1\", \"actual\": {\"results\": \"F--------------\", \"pity\": 15, \"guarantee\": false}, \"expected\": {\"results\": \"F--------------\", \"pity\": 14, \"guarantee\": false}, \"passed\": false}, {\"check\": \"regression pity reset #2\", \"actual\": {\"results\": \"--F--\", \"pity\": 3, \"guarantee\": false}, \"expected\": {\"results\": \"--F--\", \"pity\": 2, \"guarantee\": false}, \"passed\": false}, {\"check\": \"regression pity reset #3\", \"actual\": {\"results\": \"F-----------------\", \"pity\": 18, \"guarantee\": false}, \"expected\": {\"results\": \"F-----------------\", \"pity\": 17, \"guarantee\": false}, \"passed\": false}, {\"check\": \"control #1\", \"actual\": {\"results\": \"-\", \"pity\": 74, \"guarantee\": true}, \"expected\": {\"results\": \"-\", \"pity\": 74, \"guarantee\": true}, \"passed\": true}, {\"check\": \"control #2\", \"actual\": {\"results\": \"--------\", \"pity\": 8, \"guarantee\": false}, \"expected\": {\"results\": \"--------\", \"pity\": 8, \"guarantee\": false}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.349,"exit_code":1,"observations":[{"actual":{"guarantee":false,"pity":91,"results":"LF"},"check":"hard pity pull #1","expected":{"guarantee":true,"pity":1,"results":"L-"},"passed":false},{"actual":{"guarantee":false,"pity":75,"results":"-F"},"check":"first soft pity pull #1","expected":{"guarantee":false,"pity":0,"results":"-F"},"passed":false},{"actual":{"guarantee":false,"pity":13,"results":"L-F"},"check":"lost fifty fifty then featured #1","expected":{"guarantee":false,"pity":0,"results":"L-F"},"passed":false},{"actual":{"guarantee":false,"pity":103,"results":"FLFLFFFLFLFLFLF"},"check":"regression pity reset #1","expected":{"guarantee":false,"pity":14,"results":"F--------------"},"passed":false},{"actual":{"guarantee":false,"pity":78,"results":"--F--"},"check":"regression pity reset #2","expected":{"guarantee":false,"pity":2,"results":"--F--"},"passed":false},{"actual":{"guarantee":true,"pity":107,"results":"FLFLFFFLFFLFLFLFFL"},"check":"regression pity reset #3","expected":{"guarantee":false,"pity":17,"results":"F-----------------"},"passed":false},{"actual":{"guarantee":true,"pity":74,"results":"-"},"check":"control #1","expected":{"guarantee":true,"pity":74,"results":"-"},"passed":true},{"actual":{"guarantee":false,"pity":8,"results":"--------"},"check":"control #2","expected":{"guarantee":false,"pity":8,"results":"--------"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"hard pity pull #1\", \"actual\": {\"results\": \"LF\", \"pity\": 91, \"guarantee\": false}, \"expected\": {\"results\": \"L-\", \"pity\": 1, \"guarantee\": true}, \"passed\": false}, {\"check\": \"first soft pity pull #1\", \"actual\": {\"results\": \"-F\", \"pity\": 75, \"guarantee\": false}, \"expected\": {\"results\": \"-F\", \"pity\": 0, \"guarantee\": false}, \"passed\": false}, {\"check\": \"lost fifty fifty then featured #1\", \"actual\": {\"results\": \"L-F\", \"pity\": 13, \"guarantee\": false}, \"expected\": {\"results\": \"L-F\", \"pity\": 0, \"guarantee\": false}, \"passed\": false}, {\"check\": \"regression pity reset #1\", \"actual\": {\"results\": \"FLFLFFFLFLFLFLF\", \"pity\": 103, \"guarantee\": false}, \"expected\": {\"results\": \"F--------------\", \"pity\": 14, \"guarantee\": false}, \"passed\": false}, {\"check\": \"regression pity reset #2\", \"actual\": {\"results\": \"--F--\", \"pity\": 78, \"guarantee\": false}, \"expected\": {\"results\": \"--F--\", \"pity\": 2, \"guarantee\": false}, \"passed\": false}, {\"check\": \"regression pity reset #3\", \"actual\": {\"results\": \"FLFLFFFLFFLFLFLFFL\", \"pity\": 107, \"guarantee\": true}, \"expected\": {\"results\": \"F-----------------\", \"pity\": 17, \"guarantee\": false}, \"passed\": false}, {\"check\": \"control #1\", \"actual\": {\"results\": \"-\", \"pity\": 74, \"guarantee\": true}, \"expected\": {\"results\": \"-\", \"pity\": 74, \"guarantee\": true}, \"passed\": true}, {\"check\": \"control #2\", \"actual\": {\"results\": \"--------\", \"pity\": 8, \"guarantee\": false}, \"expected\": {\"results\": \"--------\", \"pity\": 8, \"guarantee\": false}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.747,"exit_code":0,"observations":[{"actual":{"guarantee":true,"pity":1,"results":"L-"},"check":"hard pity pull #1","expected":{"guarantee":true,"pity":1,"results":"L-"},"passed":true},{"actual":{"guarantee":false,"pity":0,"results":"-F"},"check":"first soft pity pull #1","expected":{"guarantee":false,"pity":0,"results":"-F"},"passed":true},{"actual":{"guarantee":false,"pity":0,"results":"L-F"},"check":"lost fifty fifty then featured #1","expected":{"guarantee":false,"pity":0,"results":"L-F"},"passed":true},{"actual":{"guarantee":false,"pity":14,"results":"F--------------"},"check":"regression pity reset #1","expected":{"guarantee":false,"pity":14,"results":"F--------------"},"passed":true},{"actual":{"guarantee":false,"pity":2,"results":"--F--"},"check":"regression pity reset #2","expected":{"guarantee":false,"pity":2,"results":"--F--"},"passed":true},{"actual":{"guarantee":false,"pity":17,"results":"F-----------------"},"check":"regression pity reset #3","expected":{"guarantee":false,"pity":17,"results":"F-----------------"},"passed":true},{"actual":{"guarantee":true,"pity":74,"results":"-"},"check":"control #1","expected":{"guarantee":true,"pity":74,"results":"-"},"passed":true},{"actual":{"guarantee":false,"pity":8,"results":"--------"},"check":"control #2","expected":{"guarantee":false,"pity":8,"results":"--------"},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"hard pity pull #1\", \"actual\": {\"results\": \"L-\", \"pity\": 1, \"guarantee\": true}, \"expected\": {\"results\": \"L-\", \"pity\": 1, \"guarantee\": true}, \"passed\": true}, {\"check\": \"first soft pity pull #1\", \"actual\": {\"results\": \"-F\", \"pity\": 0, \"guarantee\": false}, \"expected\": {\"results\": \"-F\", \"pity\": 0, \"guarantee\": false}, \"passed\": true}, {\"check\": \"lost fifty fifty then featured #1\", \"actual\": {\"results\": \"L-F\", \"pity\": 0, \"guarantee\": false}, \"expected\": {\"results\": \"L-F\", \"pity\": 0, \"guarantee\": false}, \"passed\": true}, {\"check\": \"regression pity reset #1\", \"actual\": {\"results\": \"F--------------\", \"pity\": 14, \"guarantee\": false}, \"expected\": {\"results\": \"F--------------\", \"pity\": 14, \"guarantee\": false}, \"passed\": true}, {\"check\": \"regression pity reset #2\", \"actual\": {\"results\": \"--F--\", \"pity\": 2, \"guarantee\": false}, \"expected\": {\"results\": \"--F--\", \"pity\": 2, \"guarantee\": false}, \"passed\": true}, {\"check\": \"regression pity reset #3\", \"actual\": {\"results\": \"F-----------------\", \"pity\": 17, \"guarantee\": false}, \"expected\": {\"results\": \"F-----------------\", \"pity\": 17, \"guarantee\": false}, \"passed\": true}, {\"check\": \"control #1\", \"actual\": {\"results\": \"-\", \"pity\": 74, \"guarantee\": true}, \"expected\": {\"results\": \"-\", \"pity\": 74, \"guarantee\": true}, \"passed\": true}, {\"check\": \"control #2\", \"actual\": {\"results\": \"--------\", \"pity\": 8, \"guarantee\": false}, \"expected\": {\"results\": \"--------\", \"pity\": 8, \"guarantee\": false}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}